No label defined (Q4944152)

Let \(\Omega\) be an arbitrary open set in \(\mathbb{R}^N\) and let \(m\) be a nonnegative integer. Assume that \(M: [0,\infty)\to [0,\infty)\) is a nonvanishing convex function for which \(M(0)= 0\) and there exists a constant \(L>0\) such that \[ M(2u)\leq LM(u) \] for every \(u>0\). The Luxemburg norm in the Orlicz-Sobolev space \(W^{j,M}(\Omega)\) is denoted by \(\|\cdot\|_j\), \(j\in \{0,1,\dots, m\}\). Let \(W^{j,M}_0(\Omega)\) be the closure of \(C^\infty_0(\Omega)\) in the space \(W^{m,M}(\Omega)\). Then there exists a constant \(K= K(m,M,N)\) such that \[ \|u\|_j\leq K\|u\|^{j/m}_m\|u\|^{(m- j)/m}_0 \] for \(0\leq j\leq m\) and any \(u\in W^{m,M}_0(\Omega)\).