Riesz fractional integrals in grand Lebesgue spaces on \(\mathbb{R}^{n}\) (Q2628810)

For \(p\in(1,\infty)\), \(\delta\in(0,p-1)\), \(\theta>0\), and a weight \(a\) on \({\mathbb R}^n\), consider \[ {\mathcal M}_{p,a,\delta}(f)=\delta^{p\theta}\int_{{\mathbb R}^n}|f(x)|^{p-\delta}a(x)^{\delta/p}dx \] and define the grand Lebesgue space \(L_a^{p),\theta}({\mathbb R}^n)\) as the set of all measurable functions \(f\) such that \(\|f\|_{L_a^{p),\theta}({\mathbb R}^n)}=\sup_{0<\delta<p-1}({\mathcal M}_{p,a,\delta}(f))^{1/(p-\delta)}<\infty\). Further, let \(\dot{L}_a^{p),\theta}({\mathbb R}^n)\) denote the subspace of \(L_a^{p),\theta}({\mathbb R}^n)\) consisting of functions \(f\in L_a^{p),\theta}({\mathbb R}^n)\) such that \(\lim_{\delta\to 0}{\mathcal M}_{p,a,\delta}(f)=0\). The following results are proved. Theorem A. If \(a\in L^1({\mathbb R}^n)\) and there is a number \(\nu>0\) such that \(a^\nu\) belongs to the Muckenhoupt class \(A_\infty\), then the Hardy-Littlewood maximal operator \(M\) is bounded both in \(L_a^{p),\theta}({\mathbb R}^n)\) and in \(\dot{L}_a^{p),\theta}({\mathbb R}^n)\). Theorem B. If \(0<\alpha<n\), \(1<p<n/\alpha\), \(1/q=1/p-\alpha/n\), and \(a\in L^1({\mathbb R}^n)\) is such that \(a^\nu\in A_\infty\) for some \(\nu>0\), then the Riesz fractional operator \(I_\alpha\) is bounded from \(L_a^{p),\theta}({\mathbb R}^n)\) to \(L_a^{q),\theta}({\mathbb R}^n)\) and from \(\dot{L}_a^{p),\theta}({\mathbb R}^n)\) to \(\dot{L}_a^{q),\theta}({\mathbb R}^n)\). Theorem C. Under the assumptions of Theorem A, the set \(C_0^\infty({\mathbb R}^n)\) is dense in \(\dot{L}_a^{p),\theta}({\mathbb R}^n)\). Theorem D. Under the assumptions of Theorem B, \({\mathbb D}^\alpha I_\alpha f=f\) for all \(f\in \dot{L}_a^{p),\theta}({\mathbb R}^n)\), where \({\mathbb D}^\alpha\) is a hypersingular integral operator, which is formally defined as the fractional power of the negative Laplacian: \({\mathbb D}^\alpha=(-\Delta)^{\alpha/2}\).