Boundedness of the fractional maximal operator on Orlicz-Lorentz spaces

Abstract In this paper, we prove that the fractional maximal operator $$M_\alpha $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>M</mml:mi> <mml:mi>α</mml:mi> </mml:msub> </mml:math> is bounded from the Orlicz-Lorentz space $$L_{\varPsi ,p}(\mathbb {R}^n)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>L</mml:mi> <mml:mrow> <mml:mi>Ψ</mml:mi> <mml:mo>,</mml:mo> <mml:mi>p</mml:mi> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mrow> <mml:mi>R</mml:mi> </mml:mrow> <mml:mi>n</mml:mi> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> to the Orlicz-Lorentz space $$L_{\varPhi ,q}(\mathbb {R}^n)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>L</mml:mi> <mml:mrow> <mml:mi>Φ</mml:mi> <mml:mo>,</mml:mo> <mml:mi>q</mml:mi> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mrow> <mml:mi>R</mml:mi> </mml:mrow> <mml:mi>n</mml:mi> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> , where $$n\in \mathbb {N}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>∈</mml:mo> <mml:mi>N</mml:mi> </mml:mrow> </mml:math> , $$0\le \alpha &lt;n$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mn>0</mml:mn> <mml:mo>≤</mml:mo> <mml:mi>α</mml:mi> <mml:mo>&lt;</mml:mo> <mml:mi>n</mml:mi> </mml:mrow> </mml:math> , $$0&lt;p\le q\le \infty $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mn>0</mml:mn> <mml:mo>&lt;</mml:mo> <mml:mi>p</mml:mi> <mml:mo>≤</mml:mo> <mml:mi>q</mml:mi> <mml:mo>≤</mml:mo> <mml:mi>∞</mml:mi> </mml:mrow> </mml:math> , $$\varPhi $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>Φ</mml:mi> </mml:math> is an Orlicz function of upper type $$p_{\varPhi }\in (0,\infty )$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>p</mml:mi> <mml:mi>Φ</mml:mi> </mml:msub> <mml:mo>∈</mml:mo> <mml:mrow> <mml:mo>(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>∞</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> and $$\varPsi $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>Ψ</mml:mi> </mml:math> is an Orlicz function of lower type $$p_{\varPsi }\in (1,\infty )$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>p</mml:mi> <mml:mi>Ψ</mml:mi> </mml:msub> <mml:mo>∈</mml:mo> <mml:mrow> <mml:mo>(</mml:mo> <mml:mn>1</mml:mn> <mml:mo>,</mml:mo> <mml:mi>∞</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> . During the proof of the result, we have essentially used an inequality for the non-increasing rearrangement of the fractional maximal operator. Moreover, we also present several novel characterizations of Campanato type spaces by means of commutators of the fractional maximal operator. As an application, some conditions implying the Fefferman-Stein vector-valued inequalities for fractional maximal operator and its commutators on Orlicz-Lorentz spaces are established. The results obtained are substantial improvements and extensions of some known results.