---
title: Fractional Bessel–Sobolev Spaces
url: https://www.emergentmind.com/topics/fractional-bessel-sobolev-spaces
type: topic
---

# Fractional Bessel–Sobolev Spaces

Fractional Bessel–Sobolev spaces are fractional-order Sobolev spaces defined spectrally through Bessel potentials, and more generally through operator or transform-adapted multiplier calculi. In the Euclidean setting they are the spaces
\[
H^{s,p}(\mathbb{R}^n):=\{f\in \mathcal{S}'(\mathbb{R}^n):(I-\Delta)^{s/2}f\in L^p(\mathbb{R}^n)\},
\qquad 
\|f\|_{H^{s,p}}=\|(I-\Delta)^{s/2}f\|_{L^p},
\]
equivalently the image of \(L^p\) under the Bessel potential \(J_s=(I-\Delta)^{-s/2}\) [2503.04310]. The same structural principle persists in non-Euclidean and weighted settings: fractional Hankel–Bessel spaces \(H^s_{\alpha,\nu}\) are defined on the transform side by the fractional Hankel–Bessel transform [2601.03091], while weighted Bessel geometries on \(\mathbb{R}^n_+\) use the Bessel–Laplace operator \(\Delta_a\) and Bessel translation rather than the Euclidean Laplacian and ordinary differences [2509.03287].

## 1. Euclidean Bessel potential spaces

In the classical Euclidean theory, the Bessel potential operator of order \(s\) is
\[
J^{s}:=(I-\Delta)^{-s/2},
\]
whose Fourier symbol is \((1+|\xi|^2)^{-s/2}\). A widely used equivalent convention replaces this symbol by \((1+4\pi^2|\xi|^2)^{-s/2}\); the two choices differ only by constants determined by the Fourier convention [2503.04310]. For \(s>0\), there is a Bessel kernel \(G_s\in L^1(\mathbb{R}^n)\) such that
\[
\widehat{G_s}(\xi)=(1+4\pi^2|\xi|^2)^{-s/2},\qquad \int_{\mathbb{R}^n}G_s(x)\,dx=1,
\]
and \(A_sf=G_s*f\) acts boundedly on \(L^p(\mathbb{R}^n)\), \(1<p<\infty\). Accordingly, \(f\in H^{s,p}\) if and only if \(f=A_sg\) for some \(g\in L^p(\mathbb{R}^n)\), with \(\|f\|_{H^{s,p}}\asymp \|g\|_{L^p}\) [2503.04310].

The Hilbert case is completely explicit. For \(p=2\),
\[
\|u\|_{H^{s,2}(\mathbb{R}^n)}^2
=
\int_{\mathbb{R}^n}(1+|\xi|^2)^s\,|\widehat{u}(\xi)|^2\,d\xi,
\]
and \(H^{k,2}=W^{k,2}\) for \(k\in\mathbb{N}\) [2509.14703]. Moreover, for \(0<s<1\), \(H^{s,2}(\mathbb{R}^n)=W^{s,2}(\mathbb{R}^n)\) with equivalence of norms [2503.04310]. Density and duality are part of the basic structure: \(\mathcal{S}(\mathbb{R}^n)\) is dense in \(H^{s,p}(\mathbb{R}^n)\), and
\[
(H^{s,p}(\mathbb{R}^n))^*\cong H^{-s,p'}(\mathbb{R}^n),\qquad \frac1p+\frac1{p'}=1
\]
for \(1<p<\infty\) [2509.14703].

A distinct but related \(L^2\)-based convention appears in one-dimensional approximation theory, where
\[
H^\alpha:=\{f\in L^2(\mathbb{R}): |v|^\alpha \widehat f(v)\in L^2(\mathbb{R})\},
\]
with norm \(\|f\|_{L^2}+\|D^{\{\alpha\}}f\|_{L^2}\), where \(D^{\{\alpha\}}\) is the strong Riesz derivative. In that framework, \(H^r=W^{r,2}\) for integer \(r\), and \(\widehat{D^{\{\alpha\}}f}(v)=|v|^\alpha\widehat f(v)\) [1605.02777]. This is a homogeneous formulation rather than the inhomogeneous \((I-\Delta)^{s/2}\)-based norm, but it fits the same general Bessel–Sobolev paradigm.

## 2. Interpolation scale, embeddings, and relation to \(W^{s,p}\)

A central structural fact is that Euclidean Bessel potential spaces are interpolation spaces. If \(m\in\mathbb{N}\), \(0<\theta<1\), \(1<p<\infty\), and \(s=\theta m\), then
\[
[L^p(\mathbb{R}^n),W^{m,p}(\mathbb{R}^n)]_\theta=H^{s,p}(\mathbb{R}^n),
\]
with equivalence of norms [2503.04310]. More generally, for \(s_0\neq s_1\), \(1<p_0,p_1<\infty\), and \(0<\theta<1\),
\[
[H^{s_0,p_0}(\mathbb{R}^n),H^{s_1,p_1}(\mathbb{R}^n)]_\theta
=
H^{(1-\theta)s_0+\theta s_1,\;p(\theta)}(\mathbb{R}^n),
\qquad
\frac1{p(\theta)}=\frac{1-\theta}{p_0}+\frac{\theta}{p_1}.
\]
In the Hilbert scale \(p=2\), real and complex interpolation coincide [2503.04310].

This immediately separates Bessel potential spaces from Gagliardo–Slobodeckij spaces. For \(0<s<1\),
\[
W^{s,p}(\mathbb{R}^n)=(L^p(\mathbb{R}^n),W^{1,p}(\mathbb{R}^n))_{s,p}
\]
is a real interpolation space, whereas \(H^{s,p}(\mathbb{R}^n)\) is the corresponding complex interpolation space [2509.14703]. The two scales coincide only in the Hilbert case. Specifically,
\[
H^{s,2}(\mathbb{R}^n)=W^{s,2}(\mathbb{R}^n),
\]
while for \(1<p<2\),
\[
W^{s,p}(\mathbb{R}^n)\subset H^{s,p}(\mathbb{R}^n),
\]
and for \(2<p<\infty\),
\[
H^{s,p}(\mathbb{R}^n)\subset W^{s,p}(\mathbb{R}^n),
\]
with strict inclusions unless \(p=2\) [2503.04310]. A common misconception is therefore that “fractional Sobolev,” “Bessel potential,” and “Slobodeckij” are interchangeable at arbitrary \(p\); the cited results show that this is false outside the Hilbert scale.

The Euclidean embedding theory is also standard and sharp. For \(s\in(0,1)\), \(1<p<\infty\), and \(sp<n\),
\[
H^{s,p}(\mathbb{R}^n)\hookrightarrow L^{p^*}(\mathbb{R}^n),
\qquad
p^*=\frac{np}{n-sp}.
\]
If \(sp=n\), then \(H^{s,p}(\mathbb{R}^n)\hookrightarrow L^q(\mathbb{R}^n)\) for every \(q\in[p,\infty)\), and more precisely \(H^{s,p}(\mathbb{R}^n)\hookrightarrow \mathrm{BMO}(\mathbb{R}^n)\). If \(sp>n\), then
\[
H^{s,p}(\mathbb{R}^n)\hookrightarrow C^\alpha(\mathbb{R}^n),
\qquad
\alpha=s-\frac np>0,
\]
and more generally into Morrey–Campanato spaces [2503.04310]. There are also scale-to-scale embeddings:
\[
H^{s,p}(\mathbb{R}^n)\hookrightarrow H^{t,q}(\mathbb{R}^n)
\quad\text{if}\quad
0<t<s<1,\qquad \frac1q=\frac1p-\frac{s-t}{n}
\]
[2503.04310].

On bounded Lipschitz domains, compactness complements continuity. If \(\Omega\subset\mathbb{R}^n\) is bounded Lipschitz and \(s\in(0,1)\), then the embeddings into Lebesgue or Hölder targets are compact in the subcritical, critical, and supercritical regimes, and moreover
\[
H^{s,p}(\mathbb{R}^n)\hookrightarrow\hookrightarrow H^{t,p}(\Omega)
\quad\text{for}\quad 0<t<s<1
\]
[2506.01677]. These compact embeddings are established by three distinct arguments: complex interpolation, translation estimates combined with Fréchet–Kolmogorov–Riesz, and reduction to the corresponding compactness theorem for Gagliardo spaces [2506.01677].

## 3. Fractional Hankel–Bessel and transform-side Sobolev spaces

A transform-adapted version of the theory replaces the Euclidean Fourier transform by the fractional Hankel–Bessel transform. Fix \(\nu>-1/2\) and \(\alpha\in\mathbb{R}\setminus\pi\mathbb{Z}\). On a Schwartz-type space \(S(0,\infty)\),
\[
(\mathcal{H}^{\alpha}_{\nu} f)(x)
=
\int_{0}^{\infty}
(xy)^{1/2}\,J_{\nu}(xy\sin\alpha)\,
e^{\frac{i}{2}(x^{2}+y^{2})\cos\alpha}\,
f(y)\,dy,
\qquad x>0.
\]
Its kernel is
\[
K_{\alpha,\nu}(x,y)
=
(xy)^{1/2}\,J_{\nu}(xy\sin\alpha)\,
e^{\frac{i}{2}(x^{2}+y^{2})\cos\alpha}.
\]
At \(\alpha=\pi/2\), one recovers the classical Hankel transform of order \(\nu\) [2601.03091].

The transform \(\mathcal{H}^{\alpha}_{\nu}\) extends uniquely to a unitary operator on \(L^2(0,\infty)\), with inverse \((\mathcal{H}^{\alpha}_{\nu})^{-1}=\mathcal{H}^{-\alpha}_{\nu}\), and satisfies the Plancherel identity
\[
\|\mathcal{H}^{\alpha}_{\nu} f\|_{L^2(0,\infty)}
=
\|f\|_{L^2(0,\infty)}.
\]
The parameter \(\alpha\) inserts a fractional Fourier-type phase into the Hankel kernel: the oscillatory factor is rotated by \(\cos\alpha\), and the Bessel argument is scaled by \(\sin\alpha\) [2601.03091].

The associated fractional Hankel–Sobolev spaces are
\[
H^{s}_{\alpha,\nu}
=
\left\{
f\in L^2(0,\infty):
(1+x^2)^{s/2}(\mathcal{H}^{\alpha}_{\nu}f)(x)\in L^2(0,\infty)
\right\},
\]
with norm
\[
\|f\|_{H^{s}_{\alpha,\nu}}
=
\|(1+x^2)^{s/2}(\mathcal{H}^{\alpha}_{\nu}f)(x)\|_{L^2(0,\infty)}.
\]
They are Hilbert spaces, reduce to the classical Hankel–Sobolev spaces when \(\alpha=\pi/2\), satisfy the monotone embedding
\[
H^{s_1}_{\alpha,\nu}\hookrightarrow H^{s_2}_{\alpha,\nu}
\quad\text{if}\quad s_1\ge s_2,
\]
and enjoy density of \(S(0,\infty)\) together with the duality identification
\[
(H^{s}_{\alpha,\nu})'\cong H^{-s}_{\alpha,\nu}
\]
through the \(L^2\)-pairing and unitarity of \(\mathcal{H}^{\alpha}_{\nu}\) [2601.03091].

The definition is spectral. If \(\Lambda_\alpha\) is the model self-adjoint operator determined by
\[
\mathcal{H}^{\alpha}_{\nu}(\Lambda_\alpha f)(x)=x\,(\mathcal{H}^{\alpha}_{\nu}f)(x),
\]
then \(H^{s}_{\alpha,\nu}\) is the domain of \((I+\Lambda_\alpha^2)^{s/2}\), equipped with the graph norm [2601.03091]. This parallels the classical Fourier characterization of Euclidean \(H^{s,2}\), but the analysis proceeds entirely through the transform and multiplier side rather than through an explicit differential expression for \(\Lambda_\alpha\).

These spaces form the natural background for a pseudo-differential calculus adapted to \(\mathcal{H}^{\alpha}_{\nu}\). For \(m\in\mathbb{R}\), a symbol \(\sigma\in C^\infty((0,\infty)^2)\) belongs to the global Shubin-type class \(S^m_{FH}\) if
\[
|\partial_x^k\partial_y^\ell \sigma(x,y)|
\le
C_{k,\ell}(1+x^2+y^2)^{(m-k-\ell)/2}.
\]
The associated operator is
\[
(A_{\sigma,\alpha}f)(x)
=
\int_0^\infty K_{\alpha,\nu}(x,y)\,\sigma(x,y)\,(\mathcal{H}^{\alpha}_{\nu}f)(y)\,dy.
\]
Kernel estimates imply \(L^p\)-boundedness for order-zero symbols and, more generally,
\[
A_{\sigma,\alpha}:H^{s+m}_{\alpha,\nu}\to H^s_{\alpha,\nu}
\]
continuously for every \(s\in\mathbb{R}\) and \(\sigma\in S^m_{FH}\) [2601.03091]. In this sense, the fractional Bessel–Sobolev scale is not only a regularity scale but also the exact domain/range scale for a transform-dependent pseudo-differential calculus.

## 4. Weighted Bessel geometry on \(\mathbb{R}^n_+\)

A different meaning of “fractional Bessel–Sobolev” arises in Bessel geometry on the positive orthant. Here the ambient space is
\[
\mathbb{R}^n_+=\{x=(x_1,\dots,x_n):x_i>0\},
\]
equipped with the weighted measure \(x^a\,dx\), where \(a=(a_1,\dots,a_n)\), \(a_i=2\alpha_i+1>0\), and \(\alpha_i>-1/2\). The underlying operator is the Bessel–Laplace operator
\[
\Delta_a
=
\sum_{i=1}^n B_{\alpha_i},
\qquad
B_\alpha
=
\frac{\partial^2}{\partial x^2}
+
\frac{2\alpha+1}{x}\frac{\partial}{\partial x},
\]
together with the Bessel translation \(T_a^t\) and the associated Bessel convolution and Hankel transform \(\mathcal{H}_a\) [2509.03287].

The integer-order Sobolev scale is
\[
W^{m,p}_{\Delta_a}
=
\left\{f:\Delta_a^k f\in L^p_a,\ k=0,\dots,m\right\},
\qquad
\|f\|_{W^{m,p}_{\Delta_a}}
=
\Big(\sum_{k=0}^m \|\Delta_a^k f\|_{p,a}^p\Big)^{1/p},
\]
where \(L^p_a(\mathbb{R}^n_+)\) denotes the weighted space with norm
\[
\|f\|_{p,a}^p=\int_{\mathbb{R}^n_+}|f(x)|^p x^a\,dx.
\]
The fractional theory is built not from Euclidean increments but from spherical Bessel differences and the corresponding modulus of smoothness. For \(0<s<2\),
\[
W_{\Delta_a}^{s/2,p}(\mathbb{R}^n_+)
:=
\left\{
f\in L^p_a:
\|f\|_{W_{\Delta_a}^{s/2,p}}<\infty
\right\},
\]
with
\[
\|f\|_{W_{\Delta_a}^{s/2,p}}
=
\Big(\|f\|_{p,a}^p+[f]_{sph,s,p,a}^p\Big)^{1/p},
\]
where \([f]_{sph,s,p,a}\) is the spherical Gagliardo-type seminorm induced by Bessel translation [2509.03287].

A foundational theorem identifies the Bessel \(K\)-functional with the spherical modulus of smoothness:
\[
\frac1c\,\omega_{sph,m}(f,t)_{a,p}
\le
K(f,t^{2m};L_a^p,W_{\Delta_a}^{m,p})
\le
c\,\omega_{sph,m}(f,t)_{a,p},
\]
for \(m\in\mathbb{N}\), \(1\le p\le\infty\), and \(c=c(m,n,a)\) [2509.03287]. This yields the interpolation-theoretic description of the fractional spaces and shows that the relevant modulus is adapted to the Bessel geometry rather than to Euclidean translation.

The corresponding Bessel \(B\)-potential spaces are defined through the Bessel kernel \(G_{a,\nu}\) by
\[
L_a^{\nu,p}(\mathbb{R}^n_+)
=
\{f:\exists g\in L^p_a\ \text{with}\ f=G_{a,\nu}*_a g\}.
\]
For integer orders,
\[
W_{\Delta_a}^{m,p}=L_a^{2m,p}
\]
with equivalent norms, while for \(0<s<2\) and any \(\varepsilon\in(0,s)\),
\[
L_a^{s+\varepsilon,p}\hookrightarrow W_{\Delta_a}^{s/2,p}\hookrightarrow L_a^{s-\varepsilon,p}
\]
[2509.03287]. The paper also emphasizes that \(W_{\Delta_a}^{m,p}\) does not coincide with the weighted classical Sobolev space defined through ordinary derivatives \(D^\alpha f\in L^p_a\): the two scales are genuinely different because the Bessel operator, Bessel translation, and weight are built into the norm [2509.03287].

This Bessel geometry also supports a potential theory. For operators
\[
Lu=\sum_{k=1}^m a_k (I-\Delta_a)^{s_k/2}u,
\qquad 0<s_k<2,
\]
removability of compact sets is characterized by the vanishing of Bessel capacities \(C_{p,a,s}(K)\); in the single-term case \(L=(I-\Delta_a)^{s/2}\), a compact set \(K\) is removable if and only if \(C_{p',a,s}(K)=0\) [2509.03287].

## 5. Weighted, Orlicz, and geometric generalizations

The Euclidean \(H^{s,p}\) theory has several substantial extensions in which the Bessel potential viewpoint survives intact.

In the weighted \(A_p\) setting, for \(w\in A_p\) and \(s\in(0,1)\), the Bessel potential space on \(\mathbb{R}^n\) is
\[
H^{s,p}_w(\mathbb{R}^n)
=
\{u\in\mathcal{S}'(\mathbb{R}^n):\Lambda_{-s}u\in L^p_w(\mathbb{R}^n)\},
\qquad
\Lambda_s f=\mathfrak{F}^{-1}(\langle\xi\rangle^{-s}\widehat f(\xi)),
\]
with \(\langle\xi\rangle=(1+4\pi^2|\xi|^2)^{1/2}\). The spaces built from the Riesz fractional gradient,
\[
X^{s,p}_w(\mathbb{R}^n)
=
\overline{C_c^\infty(\mathbb{R}^n)}^{\,\|u\|_{L^p_w}+\|\nabla^s u\|_{L^p_w}},
\]
satisfy
\[
X^{s,p}_w(\mathbb{R}^n)=H^{s,p}_w(\mathbb{R}^n)
\]
with equivalence of norms [2512.09575]. On bounded Lipschitz domains,
\[
H^{s,p}_{0,w}(\Omega)
=
[L^p_w(\Omega),W^{k,p}_{0,w}(\Omega)]_{s/k},
\]
there is a weighted Poincaré inequality,
\[
\|u\|_{L^p_w(\Omega)}
\le
\frac{C}{1-2^{-s}}\|\nabla^s u\|_{L^p_w(\mathbb{R}^n)},
\]
and the embedding
\[
X^{s,p}_{0,w}(\Omega)\hookrightarrow L^p_w(\Omega)
\]
is compact [2512.09575].

In generalized Orlicz and Musielak–Orlicz settings, the same equivalence persists. If \(\Phi\) satisfies \((A0)\), \((A1)\), \((A2)\), \((\mathrm{Inc})_p\), and \((\mathrm{Dec})_q\), then the fractional Sobolev–Orlicz space defined through the Riesz fractional gradient,
\[
W^{s,\Phi}_{\mathrm{Riesz}}(\mathbb{R}^n)
=
\overline{C_c^\infty(\mathbb{R}^n)}^{\,\|u\|_{L^\Phi}+\|\nabla^s u\|_{L^\Phi}},
\]
coincides with the generalized Bessel potential space
\[
H^{s,\Phi}(\mathbb{R}^n)
=
\{u\in\mathcal{S}'(\mathbb{R}^n):J_{-s}u\in L^\Phi(\mathbb{R}^n)\},
\]
and
\[
[L^\Phi(\mathbb{R}^n),W^{1,\Phi}(\mathbb{R}^n)]_\theta
=
H^{\theta,\Phi}(\mathbb{R}^n)
=
W^{\theta,\Phi}_{\mathrm{Riesz}}(\mathbb{R}^n)
\]
for \(0<\theta<1\) [2606.17770]. A closely related framework, denoted \(\Lambda^{s,A}_0(\Omega)\), is built on the norm \(\|u\|_{L^A}+\|D^s u\|_{L^A}\) and likewise extends classical Lions–Calderón/Bessel potential spaces to generalized \(\Phi\)-growth [2412.06346].

Geometric irregularity changes the theory substantially. On non-Lipschitz subsets of \(\mathbb{R}^n\), extrinsic Bessel potential spaces defined by restriction or support,
\[
H^s(\Omega)=\{u|_\Omega:u\in H^s(\mathbb{R}^n)\},
\qquad
H^s_F=\{u\in H^s(\mathbb{R}^n):\operatorname{supp}u\subset F\},
\]
retain clean duality and restriction properties, but intrinsic Slobodeckij spaces may fail to coincide with these extrinsic spaces [1607.01994]. On quasicircles in the plane, the unit-circle identity
\[
H^s(\mathbb{T})=B_{2,2}^s(\mathbb{T})=(I-\Delta)^{-s/2}(L^2(\mathbb{T}))
\]
holds for \(p=2\), whereas for \(p\neq 2\) the corresponding paper explicitly states that \(B_{p,p}^s(\mathbb{T})\) is not equal to the Bessel potential image \((I-\Delta)^{-s/2}(L^p)\) and therefore uses Besov terminology rather than Bessel-potential terminology [2601.01348]. This distinction is a genuine structural feature, not a notational preference.

A noncommutative analogue appears on Carnot groups. If \(L=-\Delta_H\) is the positive sub-Laplacian, then
\[
H^{s,p}(G)
=
\{f\in\mathcal{S}'(G):(I+L)^{s/2}f\in L^p(G)\},
\qquad
\dot H^{s,p}(G)
=
\{f\in\mathcal{S}'(G):L^{s/2}f\in L^p(G)\},
\]
and Poisson square functions give lower bounds for \(\|L^{s/2}f\|_{L^p}\), implying in particular that the fractional Sobolev norm controls the Poisson-defined Besov norm with \(q=2\) [2005.06363]. This is a spectral Bessel–Sobolev theory with the sub-Laplacian in place of the Euclidean Laplacian.

## 6. Analytical roles, applications, and terminological scope

Fractional Bessel–Sobolev spaces are used not merely as definitions of regularity but as functional settings for operators and PDEs.

One line of application concerns operator theory. In the fractional Hankel–Bessel calculus, the mapping theorem
\[
A_{\sigma,\alpha}:H^{s+m}_{\alpha,\nu}\to H^s_{\alpha,\nu}
\]
for \(\sigma\in S^m_{FH}\) is the analogue of classical Sobolev mapping for pseudo-differential operators [2601.03091]. On Carnot groups, Poisson-square-function bounds for \(L^{s/2}\) are used to establish commutator estimates for fractional powers of the sub-Laplacian [2005.06363].

Another line concerns nonlocal PDEs driven by the Riesz fractional gradient. In the Euclidean \(L^p\) setting, the identification of \(H^{s,p}\) with the closure of \(C_c^\infty\) under \(\|u\|_{L^p}+\|D^s u\|_{L^p}\) links Bessel potential spaces directly to equations involving \(D^s\), \(\operatorname{div}^s\), and \((-\Delta)^{s/2}\) [2503.04310]. In the generalized Orlicz framework, the spaces \(\Lambda^{s,A}_0(\Omega)\) support existence, uniqueness, and continuous dependence results for quasilinear equations of the form
\[
-D^s\cdot\big(a(x,D^s u)D^s u\big)=F_s
\]
with \(u=0\) on \(\mathbb{R}^d\setminus\Omega\) [2412.06346]. In the weighted \(A_p\) setting, the same role is played by \(X^{s,p}_{0,w}(\Omega)=H^{s,p}_{0,w}(\Omega)\), which yields existence and uniqueness for degenerate fractional elliptic problems
\[
-\operatorname{div}^s\big(w(x)|\nabla^s u|^{p-2}\nabla^s u\big)=f
\]
and, in the Hilbert case, for linear equations with degenerate elliptic matrix coefficients [2512.09575].

Compact embeddings are essential in variational arguments. For ordinary Bessel potential spaces on bounded Lipschitz domains, compactness into \(L^q\), into lower-order Bessel spaces, and into Hölder spaces in the supercritical regime is used to control nonlinear terms and to pass from weak to strong convergence [2506.01677]. A closely related interpolation inequality also enters spectral theory for mixed local–nonlocal operators: for
\[
\mathcal{L}_\alpha u=-\Delta u+\alpha(-\Delta)^s u
\]
on a bounded \(C^1\) domain with Dirichlet exterior condition, the cited note proves a discrete spectrum with compact resolvent and a min–max characterization of eigenvalues, using the compact embedding of the energy space into \(L^2(\Omega)\) [2509.14703].

Potential theory provides a further role. In the Bessel geometry of \(\mathbb{R}^n_+\), Bessel capacities determine removable sets for fractional elliptic operators built from \((I-\Delta_a)^{s/2}\) [2509.03287]. On non-Lipschitz and fractal subsets of Euclidean space, the extrinsic \(H^s\)-scale supplies precise well-posedness criteria for boundary integral equations in terms of \(s\)-nullity and support conditions, rather than in terms of smooth boundaries [1607.01994].

Terminologically, “fractional Bessel–Sobolev space” therefore does not refer to a single model. It may designate the classical Euclidean spaces \(H^{s,p}\), the transform-defined spaces \(H^s_{\alpha,\nu}\), the Bessel-geometry spaces \(W_{\Delta_a}^{s/2,p}\), weighted \(A_p\) analogues, Musielak–Orlicz analogues, or spectral spaces associated with non-Euclidean operators such as sub-Laplacians. What unifies these constructions is the use of a Bessel potential, a spectral multiplier, or a transform-side weight as the primary definition of fractional regularity; the comparison with difference-quotient or Gagliardo-type norms is then a theorem, not a definition.

Source: https://www.emergentmind.com/topics/fractional-bessel-sobolev-spaces