MATHEMATICS

V. G. Maz'ya

CLASSES OF DOMAINS AND EMBEDDING THEOREMS FOR FUNCTIONAL SPACES

(Presented by Academician V. I. Smirnov on 28 III 1960)

The embedding theorems of S. L. Sobolev ((^1)) were proved for functions defined in domains that can be divided into a finite number of domains star-shaped with respect to a ball. The proof made essential use of S. L. Sobolev’s integral representation and the properties of potential-type operators. Embedding theorems are the subject of works by V. P. Il'in ((^2)), who, using an analogous method, obtained new results. V. P. Il'in considered functions defined in domains satisfying the “cone condition.” In ((^3)) E. Gagliardo gave a new proof of embedding theorems for domains satisfying the “cone condition,” and obtained some new results.

In the present note we formulate sufficient, and in some cases necessary and sufficient, conditions on a domain under which various embedding theorems are valid. The method of proof differs from the methods of S. L. Sobolev and E. Gagliardo.

Let (D) be a domain of the (n)-dimensional Euclidean space (E_n). By the space (L_p^{(i)}(D)) we shall mean the closure of (C^{(i)}(\overline{D})) in the norm
[
|u|{L_p^{(i)}(D)}=|\operatorname{grad}_i u|,
]
where
[
\operatorname{grad}i u=
\left{
\frac{\partial^i u}{\partial x_1^{\alpha_1}\partial x_2^{\alpha_2}\ldots \partial x_n^{\alpha_n}}
\right},
\qquad
\sum\nu \alpha_\nu=i,\quad i\geqslant 0.
]
By the space (W_p^{(l)}(D)) ((p\geqslant 1)) we shall mean the closure of (C^{(l)}(\overline{D})) in the norm
[
|u|{W_p^{(l)}(D)}
=
\sum.}^{l}|u|_{L_p^{(i)}(D)
]
In what follows the boundary of an arbitrary set (E) will be denoted by (\Gamma E).

Consider a function (u(x)\in C^{(1)}(\overline{D})). For simplicity assume that (u>0) and (|\operatorname{grad} u|>0) everywhere except, perhaps, on a set of (n)-dimensional measure zero. Construct the level surfaces of the function (u(x)). These surfaces generate a continuum of nested subsets (E_\mu), where (\mu=\operatorname{mes}n E\mu), such that (u(x)\geqslant u(y)) if (x\in E_\mu,\ y\in D\setminus E_\mu). The level surface corresponding to the set (E_\mu) will be denoted by (S_\mu). Suppose also that (\operatorname{mes}_n E{x;\ u(x)\geqslant t}<\infty) for (t\in(0,\infty)).

Definition 1. A domain (D) belongs to the class (I_{p,q^}^n) ((p>1,\ q^\geqslant 1)) if there exist positive constants (M\leqslant \operatorname{mes}n D) and (\mathfrak{A}(M)<\infty) such that for every family of level surfaces (S\mu) ((0\leqslant \mu\leqslant M)) the inequality
[
\mu^{p'/q^*}\int_{\mu}^{M}\varphi_p^{-1}(\tau)\,d\tau
\leqslant \mathfrak{A}(M),
\tag{1}
]
holds, where
[
\varphi_p^{\,p-1}(\tau)=
\int_S\left(\frac{d\tau}{d\nu}\right)^{p-1}ds;
]
(d\nu) is the distance along the normal to (S_\tau) between (S_\tau) and (S_{\tau+d\tau}), and
[
p^{-1}+p'^{-1}=1.
]

Definition 2. A domain (D) belongs to the class (J_\alpha^{(n)}\left(\alpha \ge \frac{n-1}{n}\right)) if there exist positive constants (M \le \operatorname{mes}_n D) and (\mathfrak{B}(M)<\infty), depending only on the domain (D), such that for (\mu \le M) the inequality

[
\mu^\alpha \le \mathfrak{B}(M)\operatorname{mes}{n-1} S\mu .
\tag{2}
]

holds.

Example 1. A domain satisfying the “cone condition” ((^2,^3)) belongs to the class (J_{\frac{n-1}{n}}^{(n)}), but, for example, the domain (D \in J_{1/2}^{(2)}), composed of the squares
[
{2^{-k}\le x\le 2^{-k+1},\ 0<y\le 2^{-k}}\quad (k=0,1,\ldots),
]
does not satisfy the “cone condition.”

Example 2. The (n)-dimensional cone
[
\left{\left(\sum_{i=1}^{n-1} x_i^2\right)^{1/2}<x_n^\beta,\ 0<x_n<1\right}\quad (\beta\ge 1)
]
belongs to the class (J_{\beta(n-1)/\beta(n-1)+1}^{(n)}).

Theorem 1. If (p\le q^), (q\le q^), or (p>q^), (q<q^), then, for the validity of the inequality(^*)

[
|u|{L_q(D)} \le c\left{A_p|\operatorname{grad} u|
+M^{\frac{s-q^}{s q^}}|u|{L_s(D)}\right}^{\frac{q^(q-r)}{q(q^-r)}}
|u|^{\frac{r(q^-q)}{q(q^-r)}},
\tag{3}
]

where (s<q^), (r1) ((A_p=\mathfrak{A}^{1/p'})) and to the class (J_{1/q^}^{(n)}) for (p=1) ((A_1=\mathfrak{B})).

In the case (p>q^), (q=q^), the theorem is false.

One can prove the embedding
[
J_{1,q^+1/p'}^{(n)}\subset I_{p,q^}^{(n)}\quad (p>1).
]

A consequence of this is:

Theorem 2. If (D\in J_\alpha^{(n)}), (p\ge 1), (p(1-\alpha)<1),
[
q^=\frac{p}{1+p(\alpha-1)},
]
and if (q\le q^) for (\frac{n-1}{n}\le \alpha\le 1), or (q1), then inequality (3) holds ((A_p=\mathfrak{B})).

If (p>1), (\alpha<1), (p(1-\alpha)=1), then for any positive (q) inequality (3) holds ((A_p=\mathfrak{B})).

If (\alpha>1), then for the limiting exponent (q=q^*) the theorem is false.

Remark. In Theorem 2, for (p>1) and (q<q^*), condition (2) can be weakened by replacing it, for example, by the inequality

[
\mu^\alpha(1+|\ln\mu|^\delta)^{-1}\le \mathfrak{B}'(M)\operatorname{mes}{n-1}S\mu,\quad (\delta>0).
]

Definition 3. A domain (D) belongs to the class (\widetilde I_{p,q^}^{(n)}) ((p>1,\ q^\ge 1)), if (D\in I_{p,q^*}^{(n)}) and (\inf \mathfrak{A}(M)\to 0) as (M\to 0).

Definition 4. A domain (D) belongs to the class (\widetilde J_\alpha^{(n)}\left(\alpha>\frac{n-1}{n}\right)), if (D\in J_\alpha^{(n)}) and (\inf \mathfrak{B}(M)\to 0) as (M\to 0).

We now indicate conditions for complete continuity of the embedding operator.

Theorem 3. Let (\operatorname{mes}_n D<\infty).

1) For complete continuity of the embedding operator (L_p^{(1)}(D)\cap L_s(D)) into (L_{q^}(D)) ((p\le q^)), it is necessary and sufficient that for (p>1), (D\in \widetilde I_{p,q^}^{(n)}), and for (p=1), (D\in \widetilde J_{1/q^}^{(n)}).

2) Under the assumptions of Theorem 1, for (p>q^*>q), the embedding operator (L_p^{(1)}(D)\cap L_s(D)) into (L_q(D)) is completely continuous.

(^) Here and below (c) denotes constants depending only on (n,p,q,q^,r,s).

From the formulated results it follows:

Theorem 4. If (\operatorname{mes}n D<\infty), (D\in J\alpha^{(n)}\left(\alpha\geqslant \dfrac{n-1}{n}\right)) and if:

a) (p(1-\alpha)=1,\ p>1,\ q\geqslant 1) is an arbitrary number, or

b) (p(1-\alpha)<1,\ p\geqslant 1,\ q<q^*=\dfrac{p}{1+p(\alpha-1)}), then the embedding operator
(L_p^{(1)}(D)\cap L_s(D)) into (L_q(D)) is completely continuous.

In the limiting case (q=q^*) the theorem is false.

Remark. The Poincaré inequality

[
|u|{L_2(D)}\leqslant K{|\operatorname{grad}u|},}+|u|_{L(D)
]

as is known, is valid for domains of type (\mathfrak{R}) (4). It can be shown that every domain of type (\mathfrak{R}) belongs to the class (J_1^{(2)}), but, for example, the domain
(D\in J_1^{(2)}) equal to the sum of the squares
(Q_n{2^{-n}<x<3\cdot 2^{-n-1},\ 0<y<2^{-n-1}})
and the rectangles
(P_n:{3\cdot 2^{-n-2}\leqslant x\leqslant 2^{-n},\ 0<y<1})
((n=0,1\ldots)), is not a finite sum of normal domains.

Consider the question of the embedding of (L_p^{(1)}(D)\cap L_s(D)) into (C(D)), where (C(D)) is the space of functions continuous and bounded in (\overline{D}).

Theorem 5. If (D\in J_\alpha^{(n)}), where (1>\alpha\geqslant \dfrac{n-1}{n}), and if (p(1-\alpha)>1,\ r>0,\ s>0), then the inequality holds

[
|u|{C(D)}\leqslant c\Bigg{\mathfrak{B}(M)|\operatorname{grad}u|+
M^{\frac{1-p(1-\alpha)}{p}-\frac{1}{s}}|u|{L_s(D)}
\Bigg}^{\frac{p}{r[p(1-\alpha)-1]+p}}
|u|}^{\frac{r[p(1-\alpha)-1]}{r[p(1-\alpha)-1]+p}
\tag{4}
]

If (\operatorname{mes}_n D<\infty), then the embedding operator (L_p^{(1)}(D)\cap L_s(D)) into (C(D)) is completely continuous.

In the limiting case (p(1-\alpha)=1) the theorem is false.

Corollary. If (\operatorname{mes}n D<\infty) and (D\in J\alpha^{(n)}\left(1>\alpha\geqslant \dfrac{n-1}{n}\right)), and if
(lp(1-\alpha)>1), then the embedding operator (W_p^{(l)}(D)) into (C(D)) is bounded and completely continuous.

There is also a similar corollary of Theorems 2 and 4.

One may also consider other classes of domains, analogous to (J_{p,q^*}^{(n)}) and (J_\alpha^{(n)}), and prove embedding theorems for them. Define, for example, a class of domains satisfying the following condition. There exist constants (M) and (\mathfrak{F}<\infty), depending only on the domain, such that for (\mu\geqslant M) the inequality

[
\mu^\alpha\leqslant \mathfrak{F}\operatorname{mes}{n-1}S\mu,
\tag{5}
]

holds, where (0<\alpha\leqslant \dfrac{n-1}{n}). Condition (5) is satisfied, for example, by the two-dimensional domain

[
\left{0<x<\infty,\quad 0<y<x^{\frac{\alpha}{1-\alpha}}\right}
\quad (0<\alpha\leqslant 1/2).
]

Consider the conditions under which the space (L_p^{(1)}(D)\cap L_s(\Gamma D)) is embedded in (L_q(D)). Suppose that the boundary of the domain (D) is measurable (in the Hausdorff sense).

Definition 5. A domain (D) belongs to the class (K_\beta^{(n)}) ((\beta>0)) if there exist two constants (\mathfrak{C}) and (\mathfrak{D}), depending only on the domain (D), such that

[
\mu^{\frac{n-1}{n}}\leqslant \mathfrak{C}\operatorname{mes}{n-1}S\mu+\mathfrak{D}\operatorname{mes}{n-1}^{\beta}(\Gamma E\mu\setminus S_\mu).
\tag{6}
]

Example 3. The two-dimensional domains (D_1:{0<x<1,\ 0<y1)) and (D_2:{0