On the rearrangement estimates and the boundedness of the generalized fractional integrals associated with the Laplace-Bessel differential operator (Q949836)

The authors introduce the generalized fractional integrals generated by the Laplace-Bessel differential operator and give some results for them. The generalized shift operator is defined as follows. \[ T^y f(x)=C_{k,\gamma}\int_0^{\pi}\cdots\int_0^{\pi}f((x'\cdot y')_{\alpha},x''- y'')d\mu(\alpha), \] where \[ C_{k,\gamma}=\pi^{-k/2}\prod_{i=1}^k\frac{\Gamma((\gamma_i+1)/2)}{\Gamma(\gamma_i/2)},\quad(x_i\cdot y_i)_{\alpha_i}=\sqrt{x_i^2-2x_iy_i\cos\alpha_i+y_i^2}, \] \[ (x'\cdot y')_{\alpha}=((x_1\cdot y_1)_{\alpha_1},\ldots,(x_k\cdot y_k)_{\alpha_k}) \quad \text{and} \quad d\mu(\alpha)=\prod_{i=1}^k\sin^{\gamma_i-1}\alpha_i d\alpha_i. \] The generalized shift operator is closely related to the \(\Delta_B\) Laplace-Bessel differential operator \[ \Delta_B=\sum_{i=1}^{k}B_i +\sum_{i=k+1}^{n}\frac{\partial^2}{\partial x_i^2}. \] Let \(\mathbb{R}_{k,+}^n=\{x=(x_1,\ldots,x_n);x_1>0,\ldots,x_k >0\}\) and write \(x=(x',x'')\) where \(x'=(x_1,\ldots,x_k)\in \mathbb{R}^k \) and \(x''=(x_{k+1},\ldots,x_n)\in \mathbb{R}^{n-k}\) and define \(S_{k,+}^{n-1}=\{x\in \mathbb{R}_{k,+}^n;| x|=1\}\). Denote by \(L_{p,\gamma}(\mathbb{R}_{k,+}^n)\) the set of all functions \(f\) such that \[ \| f\|_{L_{p,\gamma}}=\Bigl(\int_{\mathbb{R}_{k,+}^n} | f(x)|^p (x')^{\gamma}dx \Bigr)^{1/p} \] and define the generalized \(B\)-Riesz potential by \[ I_{\Omega,\alpha,\gamma}f(x)=\int_{\mathbb{R}_{k,+}^n}\frac{\Omega(y)}{| y|^{Q-\alpha}}T^y f(x)(y')^{\gamma}dy, \] where \(0\leq\alpha<Q\) and \(Q=n+|\alpha|\). They prove the following. Let \(0<\alpha<Q\) and \(\Omega\) be homogeneous of degree zero on \(\mathbb{R}_{k,+}^n\) and \(\Omega\in L_{Q/(Q-\alpha),\gamma}(S_{k,+}^n)\). If \(1<p<Q/\alpha\) and \(1/p-1/q=\alpha/Q\) then \[ \| I_{\Gamma,\alpha,\gamma }\|_{L_{q,\gamma}}\leq C\| f\|_{L_{p,\gamma}}. \] They also consider the generalized fractional \(B\)-maximal function and the generalized \(B\)-convolution operator. To prove these results they give pointwise rearrangement estimates for these operators.