Weighted fully measurable grand Lebesgue spaces and the maximal theorem (Q310505)

Let \(I=(0,1)\) and let \(M\) be the set of all Lebesgue measurable functions in \(I\) with values in \([-\infty,+\infty]\), \(M^+\) the subset of the nonnegative functions, \(M_\theta\) the subset of the real-valued functions, and \(M_\theta^+\) the subset of the real-valued, nonnegative functions. Let \(\omega\) be weight function on \(I\), i.e, a positive, integrable function on \(I\). Define the space \[ L^{p[.],\delta(.),\omega}(I)=\{f\in M_\theta:\| f\|_{p[.],\delta(.),\omega}=\rho_{p[.],\delta(.),\omega}(|f|)<\infty\}, \] where \[ \rho_{p[.],\delta(.),\omega}(f)=\mathrm{ess\,sup}_{x\in I}\rho_{p(x),\omega}(\delta(x)f(.)),\quad f\in M_\theta^+, \] and \[ \rho_{p(x),\omega}(\delta(x)f(.))=\left(\int_{I}(\delta(x)f(t))^{p(x)}\omega(t)\,dt\right)^{1/p(x)}, \quad 0<\delta(x)\leq 1\leq p(x)<\infty. \] This space is a Banach space with the norm \(\| .\|_{p[.],\delta(.),\omega}\), which we will call the weighted fully measurable grand Lebesgue space. In Section 2, the authors define the weighted fully measurable grand Lebesgue space and investigate some properties. In Section 3, the authors characterize the weights for which the Hardy-Littlewood maximal operator \[ Mf(x)=\sup_{x\in J\subset I}(1/(|J|))\int_{J}|f|\,dt,\quad x\in I, \] is bounded on the weighted fully measurable grand Lebesgue space \( L^{p[.],\delta(.),\omega}(I)\). They prove the following. Theorem. Let \(\omega\) be weight function on \(I\), \(p(.)\in M_\theta\) be such that \(p(.)>1\) a.e., \(p^+<\infty\) and \(\delta\in L^\infty(I)\), \(\delta>0\) a.e., \(0<|\delta\|_\infty\leq 1\). Then the inequality \[ \| Mf\|_{p[.],\delta(.),\omega}\leq c\| f\|_{p[.],\delta(.),\omega} \] holds if and only if \(\omega\) belongs to the Muckenhoupt class \(A_{p^+}\), where \(c\) is a constant independent of \(f\).