Continuous and compact imbeddings of weighted Sobolev spaces

In this note, continuous and compact imbeddings of weighted Sobolev spaces into weighted Lebegue spaces are considered. Let \(\Omega\) be a domain. By a weight function, we mean a function which is finite, measurable and positive a.e. on \(\Omega\). We denote by S the set of all weight functions defined on \(\Omega\). We use the symbols \(\hookrightarrow\) and \(\hookrightarrow\hookrightarrow\) for continuous and compact imbedding respectively. The typical result of this paper is the following: Theorem 1: Let \(\Omega\in C^{0,1}\) and \(1\leq q < p < \infty\). \begin{itemize} \item[(a)] If either \(s_1\) is non-decreasing in a neighbourhood of zero with \(\lim_{t\to 0}s_1(t)=0\), or \(s_1\) is non-increasing in a neighbourhood of zero with \(\lim_{t\to 0}s_1(t)=\infty\) and \(s_1\) is of type I, then the imbedding \[ W^{1,p}(\Omega;s_1(d))\hookrightarrow L^q(\Omega;s_0(d))\tag{1} \] holds if and only if \[ \biggl [\int_0^\lambda\biggl[\biggl(\int_0^z s_0(x)dx\biggr)^{1/q}\biggl(\int_z^\lambda(s_1(x))^{1-p'}dx\biggr)^{1/{q'}}\biggr]^r(s_1(z))^{1-p'}dz\biggr]^{1/r}<\infty .\tag{2} \] \item[(b)] If \(s_1\) is non-increasing in a neighbourhood of zero with \(\lim_{t\to 0}s_1(t)=\infty\) and \(s_1\) is of type II, then the imbedding (3.1) holds if and only if (3.2) or \[ \biggl[\int_0^\lambda\biggl[\biggl(\int_z^\lambda s_0(x)dx\biggr)^{1/q}\biggl(\int_0^z (s_1(x))^{1-p'}dx\biggr)^{1/{q'}}\biggr]^r(s_1(z))^{1-p'}dz\biggr]^{1/r}<\infty\tag{3} \] hold, where \(s_1\in\)S and the definition of \(C^{0,1}\) and concepts of type I and type II are found in \textit{A. Kufner} [Weighted Sobolev spaces, John Wiley \& Sons, Chichester-New York-Brisbane-Toronto-Singapore (1985; Zbl 0567.46009)]. \end{itemize} For compact imbeddings, we have Theorem: Let the hypothesis of Theorem 1 hold. Then the compact imbedding \[ W^{1,p}(\Omega;s_1(d))\hookrightarrow\hookrightarrow L^q(\Omega;s_0(d)) \] holds if and only if the continuous imbedding (1) holds.

Recommendations

Cited in

(22)

This page was built for publication: Continuous and compact imbeddings of weighted Sobolev spaces

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