Ambient Hardy--Littlewood Maximal Functions on Weighted Musielak--Orlicz Spaces over Domains

Abstract

We study the ambient-domain Hardy--Littlewood maximal operator \[ \mathcal M_Ωf(x) := \sup_{B\ni x}\frac1{|B|}\int_{B\capΩ}|f(y)|\,dy, \qquad x\inΩ \] on weighted Musielak--Orlicz spaces over a general open set \(Ω\subset\mathbb R^n\), where the supremum is taken over all Euclidean balls \(B\subset\mathbb R^n\). For a Musielak--Orlicz function \(φ\), we use the pointwise lower Matuszewska--Orlicz index \(p_φ(\cdot)\) and the lower-index normalization \[ ψ_φ(x,t)=φ(x,t)^{1/p_φ(x)}. \] This factorizes the modular as a weighted variable-exponent modular applied to \(ψ_φ(x,|f|)\). Under endpoint lower growth, normalized weighted generalized Orlicz \((A0)\)--\((A2)\) assumptions and an admissible whole-space extension hypothesis for the weight at the lower-index exponent, we prove the boundedness of \[ \mathcal M_Ω:L^{φ(\cdot)}_ω(Ω)\to L^{φ(\cdot)}_ω(Ω). \] For the converse direction we use the natural Köthe-associate ambient ball condition \(A_φ(Ω)\). Under the local characteristic-function hypothesis, boundedness of \(\mathcal M_Ω\) implies \(ω\in A_φ(Ω)\). On the whole space \(\mathbb R^n\), this framework provides a weighted characterization conditional on an associate-to-lower-index product reduction. In the present paper this reduction is verified for uniformly lower-index-power-equivalent models; it remains open for genuinely two-phase growth such as \(t^p+a(x)t^q\). As an application, we prove density of \(C_c^\infty(\mathbb R^n)\) in weighted Musielak--Orlicz--Sobolev spaces.

36 pages