Sublinear operators on radial rearrangement-invariant quasi-Banach function spaces (Q2300115)

Rearrangement-invariant quasi-Banach function spaces (r.i.q. B.f.s) on \(\mathbb{R}^n\) are defined as quasi-normed spaces \(X\) that are rearrangement invariant with associated quasi-norm \(\rho_X\), defined on measurable functions on \([0,\infty)\), satisfying certain monotonicity conditions, and \(\Vert f\Vert_X=\rho_X(f^\ast)\) where \(f^\ast:[0,\infty)\to [0,\infty)\) is the radially decreasing rearrangement of \(f:\mathbb{R}^n\to \mathbb{R}\). One defines \(\overline{X}\) to be those measurable \(f\) such that \(\rho_X(f)<\infty\). One defines \(X_{\text{rad}}\) to be the radial subspace of \(X\) of those \(f\) whose values \(f(x)\) depend only on \(\vert x\vert \). The lower Boyd index \(p_X\) of \(X\) is defined as \(\sup\{p>0:\exists C>0, \forall s\in [0,1), \Vert D_s\Vert_{\overline{X}\to\overline{X}}\leq Cs^{-1/p}\}\) where \((D_sf)(r)=f(st)\). The upper Boyd index \(q_X\) is defined similarly, replacing sup by inf and \(s\in [0,1)\) by \(s\in [1,\infty)\). The main result, Theorem. 3.2, states that if \(0<p_0<p_1<\infty\) and \(T\) is a sublinear operator bounded from \(L^{p_i}_{\text{rad}}\) to \(L^{p_i}\), \(i=0,1\), and if \(p_0<p_X<p_1\), then \(T\) is bounded from \(X_{\text{rad}}\) to \(X\). Boundedness properties on radial spaces of several sublinear operators that are well-studied on \(L^p\)-spaces follow. For example if \((S_Rf)(x)=\int_{\vert \xi\vert <R} \hat{f}(\xi) \, e^{2\pi i x\cdot \xi}\, d\xi\) and \((S^\ast f)(x)=\sup_{R>0} \vert S_R f(x)\vert \) denotes the Fourier maximal partial sum operator, then since \(S^\ast\) is known to be bounded on \(L^p_{\text{rad}}\), \(p\in (2n/(n+1),2n/(n-1))\), (\(n\geq 2\)), it follows that if \(2n/(n+1)<p_X<q_X<2n/(n-1)\) then \(S^\ast\) is bounded on \(X_{\text{rad}}\). Corresponding results are described for maximal Bochner-Riesz means, Hankel multipliers, and rough singular integral operators and various maximal operators. Specific examples are given for Lorentz-Karamata spaces \(X=L^{p,q,b}\) with (quasi)-norms \(\Vert f\Vert_{L^p,q,b}^q=\int_0^\infty (t^{1/p}\gamma_b(t) f^\ast (t))^{q}\frac{dt}{t}\). Here, \(\gamma_b(t)=b(\max\{t,1/t\})\) and \(b\) is slowly varying in the sense that for any \(\epsilon>0\) there is a nondecreasing function equilalent to (i.e., respectively bounding and bounded by fixed multiples of) \(t^\epsilon b(t)\), and a nonincreasing function equivalent to \(t^{-\epsilon} b(t)\). The main theorem follows from a pointwise rearrangement inequality for bounded sublinear operators.