Density of smooth functions in Musielak–Orlicz–Sobolev spaces Wk,Φ(Ω)$W^{k,\Phi }(\Omega)$

Abstract

We consider here Musielak–Orlicz–Sobolev (MOS) spaces , where is an open subset of , and is a Musielak–Orlicz function. The main outcomes consist of the results on density of the space of compactly supported smooth functions in . One section is devoted to compare the various conditions on appearing in the literature in the context of maximal operator and density theorems in MOS spaces. The assumptions on we apply here are substantially weaker than in the earlier papers on the topics of approximation by smooth functions. One of the reasons is that in the process of proving density theorems, we do not use the fact that the Hardy–Littlewood maximal operator on Musielak–Orlicz space is bounded, a standard tool employed in density results for different types of Sobolev spaces. We show in particular that under some regularity assumptions on , (A1) and that are not sufficient for the maximal operator to be bounded, the space of is dense in . In the case of variable exponent Sobolev space , we obtain the similar density result under the assumption that , , , , satisfies the log‐Hölder condition and the exponent function is essentially bounded.