No label defined (Q4955900)

The author characterizes boundedness of the Bessel potential operator in weighted Lebesgue spaces. More precisely, he proves that the Bessel potential operator \(J_{s,\lambda}\), defined by the formula \[ (J_{s,\lambda}f)\sphat (\xi) =(4\pi ^2|\xi |^2+\lambda ^{1/s})^{-s/2}\widehat {f}(\xi), \quad \xi \in \mathbb R^n, \] where \(\lambda >0\), \(s\in (0,n)\), and \(\widehat {g}\) denotes the Fourier transform of a function \(g\), i.e., \[ \widehat {g}(\xi)=\int \limits _{\mathbb R^n}e^{-2i\pi y\cdot \xi}g(y)\,dy, \] is bounded from the weighted Lebesgue space \(L^p_v\), here \(v\) is a weight, i.e., a nonnegative measurable function, norm in this space is defined by \[ \| f\|_{L^p_v}=\big (\int _{\mathbb R^n}|f(x)|^p v(x)\, dx\big)^{1/p}, \] into the weighted Lebesgue space \(L^q_u\) (with the weight \(u\); the norm is defined analogously), provided \(1<p\leq q<\infty \) and \(\sigma :=v^{-1/(p-1)}\in L^1_{\text{loc}}(\mathbb R^n)\), if and only if there are constants \(C_1, C_2>0\) such that \[ \Big (\int _Q(I_sg)^q(x)u(x)\, dx\Big)^{1/q}\leq C_1\Big (\int _{3Q}g^p(x)v(x)\, dx\Big)^{1/p}, \] and \[ \Big (\int _{\mathbb R^n\setminus 3Q}|x_Q-y|^{(s-n)p'}\exp (-C_1\lambda ^{\frac 1{2s}}|x_q-y|) \sigma (y)\, dy\Big)^{1/p'}\Big (\int _Qu\Big)^{1/q}\leq C_2 \] (where \((I_sg)(x)=\int _{\mathbb R^n}|x-y|^{s-n}f(y)\, dy\) denotes the Riesz potential operator) for all cubes \(Q\) centered at \(x_Q\), with sidelength \(\lambda ^{-\frac 1{2s}}\), and for all nonnegative functions \(g\) supported in \(3Q\) (the cube concentric with \(Q\) whose sidelength is three times bigger than that of \(Q\)). The author's result implies a result of \textit{V. G. Maz'ya} and \textit{I. E. Verbitsky} [Ark. Mat. 33, No. 1, 81--115 (1995; Zbl 0834.31006)] concerning boundedness of \[ J_{s,1}: L^p_1\to L^p_{(J_{s,1}w)^{p/(p-1)}}. \]