English

Density of smooth functions in Musielak-Orlicz spaces

Functional Analysis 2022-02-02 v2

Abstract

We provide necessary and sufficient conditions for the space of smooth functions with compact supports CC(Ω)C^\infty_C(\Omega) to be dense in Musielak-Orlicz spaces LΦ(Ω)L^\Phi(\Omega) where Ω\Omega is an open subset of Rd\mathbb{R}^d. In particular we prove that if Φ\Phi satisfies condition Δ2\Delta_2, the closure of CC(Ω)LΦ(Ω)C^\infty_C(\Omega)\cap L^\Phi(\Omega) is equal to LΦ(Ω)L^\Phi(\Omega) if and only if the measure of singular points of Φ\Phi is equal to zero. This extends the earlier density theorems proved under the assumption of local integrability of Φ\Phi, which implies that the measure of the singular points of Φ\Phi is zero. As a corollary we obtain analogous results for Musielak-Orlicz spaces generated by double phase functional and we recover the well known result for variable exponent Lebesgue spaces.

Keywords

Cite

@article{arxiv.2201.05694,
  title  = {Density of smooth functions in Musielak-Orlicz spaces},
  author = {Anna Kamińska and Mariusz Żyluk},
  journal= {arXiv preprint arXiv:2201.05694},
  year   = {2022}
}