Gossez's approximation theorems in Musielak-Orlicz-Sobolev spaces

From MaRDI portal
Publication:1671390



Abstract: We prove the density of smooth functions in the modular topology in the Musielak-Orlicz-Sobolev spaces essentially extending the results of Gossez cite{GJP2} obtained in the Orlicz-Sobolev setting. We impose new systematic regularity assumption on M which allows to study the problem of density unifying and improving the known results in the Orlicz-Sobolev spaces, as well as the variable exponent Sobolev spaces. We confirm the precision of the method by showing the lack of the Lavrentiev phenomenon in the double-phase case. Indeed, we get the modular approximation of W01,p(Omega) functions by smooth functions in the double-phase space governed by the modular function H(x,s)=sp+a(x)sq with ainC0,alpha(Omega) excluding the Lavrentiev phenomenon within the sharp range q/pleq1+alpha/N. See cite[Theorem~4.1]{min-double-reg1} for the sharpness of the result.


Approximation properties of Musielak-Orlicz-Sobolev spaces strongly depend on the regularity of the corresponding modular function. The authors find optimal assumptions on interplay between types of regularity with respect to each of the variables that ensures the density of smooth functions. They relax the condition typical in the context of density in the variable exponent spaces, the so-called log-Hölder continuity of the exponent. Also, they exclude the Lavrentiev gap in the double phase spaces within the sharp range of parameters. Density results are given provided that the modular function is convex in one of the parameters and \(\varphi\)-regular in the other one. The latter property does not exist in the purely Orlicz setting. As for the method of the proof, Gossez's approach for proving that weak derivatives in Orlicz-Sobolev spaces are strong derivatives with respect to the modular topology is extended to the Musielak-Orlicz-Sobolev setting.



Cites work


Cited in
(84)








This page was built for publication: Gossez's approximation theorems in Musielak-Orlicz-Sobolev spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1671390)