Maximal functions on Musielak--Orlicz spaces and generalized Lebesgue spaces (Q2572085): Difference between revisions

It is proved that the uniform boundedness of averaging operators corresponding to families of disjoint cubes is equivalent to the boundedness of the Hardy--Littlewood maximal operator \(M\) on generalized Lebesgue space \(L^{p(\cdot)}(\mathbb R^d)\) with \(1< \operatorname{ess}\inf p\leq \operatorname{ess}\sup p< \infty\). It is also proved that the boundedness of \(M\) is equivalent to the following conditions: (a)~\(M_q\) is bounded on \(L^{p(\cdot)}(\mathbb R^d)\) for some \(q> 1\), where \(M_qf=(M(| f| ^q))^{1/q}\); (b)~\(M\) is bounded on \(L^{\frac{p(\cdot)}{q}}(\mathbb R^d)\) for some \(q> 1\); (c)~\(M\) is bounded on \(L^{p'(\cdot)}(\mathbb R^d)\), where \(\frac{1}{p}+\frac{1}{p'}=1\). Applications concerning Calderon--Zygmund operators and the Korn inequality are also given.