Skip to main content

Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator

Abstract

In this paper, we propose a method for estimating the Sobolev-type embedding constant from \(W^{1,q}(\Omega)\) to \(L^{p}(\Omega)\) on a domain \(\Omega\subset\mathbb{R}^{n}\) (\(n=2,3,\dots\)) with minimally smooth boundary (also known as a Lipschitz domain), where \(p\in(n/(n-1),\infty)\) and \(q=np/(n+p)\). We estimate the embedding constant by constructing an extension operator from \(W^{1,q}(\Omega)\) to \(W^{1,q}(\mathbb{R}^{n})\) and computing its operator norm. We also present some examples of estimating the embedding constant for certain domains.

1 Introduction

Let \(\Omega\subset\mathbb{R}^{n} \) (\(n=2,3,\dots\)) be a domain with minimally smooth boundary (also known as a Lipschitz domain), the definition of which will be introduced in Definition 2.6. We are concerned with a concrete value of a constant \(C_{p}(\Omega)\) for the embedding \(W^{1,q}(\Omega) \hookrightarrow L^{p}(\Omega)\), i.e., \(C_{p}(\Omega)\) satisfies

$$\begin{aligned} \Vert u\Vert _{L^{p}(\Omega)}\leq C_{p}(\Omega)\Vert u\Vert _{W^{1,q}(\Omega)},\quad \forall u\in W^{1,q}(\Omega), \end{aligned}$$
(1)

where \(p\in(n/(n-1),\infty)\), \(q=np/(n+p)\), and the norm \(\Vert \cdot \Vert _{W^{1,q}(\Omega)}\) denotes the σ-weighted \(W^{1,q}\) norm defined as

$$\begin{aligned} \Vert \cdot \Vert _{W^{1,q}(\Omega)}^{q}:=\Vert \nabla\cdot \Vert _{L^{q}(\Omega)}^{q}+\sigma \Vert \cdot \Vert _{L^{q}(\Omega )}^{q} \end{aligned}$$
(2)

for given \(\sigma>0\).

Since the Sobolev-type embedding theorems are important in studies on partial differential equations (PDEs), many studies have investigated such theorems and their applications, e.g., [116]. In particular, a concrete value of the embedding constant is indispensable for verified numerical computation and computer-assisted proof for PDEs; see, e.g., [911, 13]. The best constant in the classical Sobolev inequality on \(\mathbb {R}^{n}\) was independently shown by Aubin [1] and Talenti [14] in 1976 (see Theorem B.1). Moreover, since all elements u in \(W_{0}^{k,q}(\Omega)\), the commonly defined closure of \(C_{0}^{\infty}(\Omega)\), can be regarded as elements of \(W^{k,q}(\mathbb{R}^{n})\) by zero extension outside Ω, a constant for the embedding \(W_{0}^{1,q} (\Omega )\hookrightarrow L^{p} (\Omega )\) can be estimated for a general domain \(\Omega\subset\mathbb{R}^{n}\) by calculating the best constant of the classical embedding constant. Although, as a limited result, one can find in [17] a formula that gives a concrete value of a constant for the embedding \(W^{1,2} (\Omega )\hookrightarrow L^{p} (\Omega )\) on a square \(\Omega\subset\mathbb{R}^{2}\), little is known about a concrete value of a constant for the embedding \(W^{1,q} (\Omega )\hookrightarrow L^{p} (\Omega )\) on general domains.

To estimate a concrete value of the embedding constant defined by (1), we construct a linear and bounded operator E from \(W^{1,q}(\Omega)\) to \(W^{1,q}(\mathbb{R}^{n})\) such that \((Eu)(x)=u(x)\) for all \(x\in\Omega\), which is called an extension operator from \(W^{1,q}(\Omega)\) to \(W^{1,q}(\mathbb{R}^{n})\). We then estimate bounds for the operator norm \(A_{q} (\Omega )\) of E satisfying

$$\begin{aligned} \bigl\Vert \nabla (Eu )\bigr\Vert _{L^{q} (\mathbb{R}^{n} )}\leq A_{q} ( \Omega ) \bigl(\Vert \nabla u\Vert _{L^{q} (\Omega )}+\sigma^{1/q} \Vert u\Vert _{L^{q} (\Omega )} \bigr), \quad\forall u\in W^{1,q}( \Omega), \end{aligned}$$
(3)

which leads to bounds for the embedding constant. Several construction methods for extension operators have been proposed. For example, a summary of the reflection method, which was originally proposed by Whitney [16] and Hestenes [7], can be found in, e.g., [18, 19]. In addition, Calderón [5] constructed a k-dependent extension operator from \(W^{k,p}(\Omega)\) to \(W^{k,p}(\mathbb{R}^{n})\), \(1< p<\infty\), on domains satisfying the uniform cone condition. Stein [12] subsequently showed that a k-independent extension operator from \(W^{k,p}(\Omega)\) to \(W^{k,p}(\mathbb{R}^{n})\), \(1\leq p\leq\infty\), can be constructed on domains with minimally smooth boundary. The extension theorems of Calderón and Stein are summarized in, e.g., [18]. Furthermore, Stein’s extension theorem was recently generalized by Rogers [20] to the so-called \((\varepsilon ,\delta )\)-domain, the notation of which was originally introduced in [21]. Although many studies have investigated such extension operators (see, e.g., [2225]), little is known about the concrete values of their operator norms.

The main contribution of this paper is to propose a formula that gives a concrete value of \(A_{q} (\Omega )\) for the extension operator constructed by Stein’s method. Stein first constructed an extension operator on the special Lipschitz domain and then expanded it to that on domains with minimally smooth boundary. In his method, the regularized distance plays an important role; it is a \(C^{\infty}\) function that approximates the distance from a given closed set \(S\subset\mathbb{R}^{n}\) to any point in its complement \(S^{c}\). Subsequent to the development of Stein’s construction method, the regularized distance was generalized to a one-parameter family of smooth functions by Fraenkel [26]. In this paper, we construct an extension operator using Stein’s method with the generalized regularized distance to derive the embedding constant.

2 Preparation

Throughout this paper, the following notation is used:

  • \(\mathbb{N}=\{1,2,3,\dots\}\) and \(\mathbb{N}_{0}=\{0,1,2,\dots\}\);

  • \(B (x,r )\) is an open ball with center x and radius \(r\geq0\);

  • for any point \(x= (x_{1}, x_{2}, \dots, x_{n} )\in \mathbb{R}^{n}\) and any \(p>0\), define \(\vert x\vert _{p}:=(\vert x_{1}\vert ^{p}+\vert x_{2}\vert ^{p}+\cdots+\vert x_{n}\vert ^{p})^{\frac{1}{p}}\);

  • if no confusion arises, we denote \(\vert \cdot \vert =\vert \cdot \vert _{2}\);

  • for any set \(S\subset\mathbb{R}^{n}\), \(S^{c}\) is its complementary set, and is its closure set;

  • for any set \(S\subset\mathbb{R}^{n}\) and any \(\varepsilon>0\), define \(S^{\varepsilon}:=\{x\in\mathbb{R}^{n} : B (x,\varepsilon )\subset S\}\);

  • for any point \(x\in\mathbb{R}^{n}\) and any set \(S\subset\mathbb {R}^{n}\), define \(\operatorname{dist} (x,S):=\inf\{\vert x-y\vert : y\in S\}\);

  • for any function f, supp f denotes the support of f;

  • for any function f over \(\mathbb{R}\), \(f'\) denotes the ordinary derivative of f;

  • for any function f over \(\mathbb{R}^{n} \) (\(n=2,3,\dots\)), \(\partial_{x_{i}}f\) denotes the partial derivative of f with respect to the ith component \(x_{i}\) of x.

Let \(L^{p} (\Omega )\) (\(1\leq p<\infty\)) be the functional space of pth-power Lebesgue-integrable functions over Ω. Let \(W^{k,p}(\Omega)\) (\(k\in\mathbb{N}\), \(1\leq p<\infty\)) be the kth-order \(L^{p}\) Sobolev space on Ω; in particular, we denote \(H^{k} (\Omega ):=W^{k,2}(\Omega)\).

Definition 2.1

(Mollifier)

A nonnegative function \(\rho\in C^{\infty} (\mathbb{R}^{n} )\) is said to be a mollifier if

$$\begin{aligned} \rho (x )=0\quad \mbox{for } \vert x\vert \geq1 \quad\mbox{and}\quad \int_{\mathbb{R}^{n}}\rho (x )\,dx=1. \end{aligned}$$

For example, the function

$$\begin{aligned} \rho (x ):= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} c\exp (\frac{-1}{1-\vert x\vert ^{2}} ),&\vert x\vert < 1,\\ 0,&\vert x\vert \geq1 \end{array}\displaystyle \right . \end{aligned}$$
(4)

becomes a mollifier, where c is chosen such that \(\int _{\mathbb{R}^{n}}\rho (x )\,dx=1\).

In the following lemma, the existence of a \(C^{\infty}\) function approximating Lipschitz continuous functions is guaranteed.

Lemma 2.2

(Fraenkel [26])

Let \(f:\mathbb{R}^{n}\rightarrow\mathbb{R}\) be a function satisfying the Lipschitz continuous condition, i.e., for some \(M>0\),

$$\begin{aligned} \bigl\vert f (x )-f (y )\bigr\vert \leq M\vert x-y\vert , \quad \forall x,y \in\mathbb{R}^{n}. \end{aligned}$$

Suppose that there is an open set \(G\subset\mathbb{R}^{n}\) such that \(f(x)>0\) for all \(x\in G\). Then, for any given \(\varepsilon\in(0,1)\), there is a function \(g\in C^{\infty}(G)\) such that, for all \(x\in G\),

$$\begin{aligned} (1+\varepsilon )^{-2}f (x )\leq g (x )\leq (1-\varepsilon )^{-2}f (x ) \end{aligned}$$
(5)

and

$$\begin{aligned} &\biggl\vert \frac{\partial^{\alpha}}{\partial x^{\alpha}}g (x )\biggr\vert \leq P_{\alpha}M^{\alpha} \bigl\{ \varepsilon f (x ) \bigr\} ^{1-\vert \alpha \vert }, \quad \forall\alpha\in\mathbb {N}_{0}^{n} \textit{ with } \vert \alpha \vert \geq1. \end{aligned}$$
(6)

Here, \(P_{\alpha}\) is a constant depending only on α.

We can find in the proof of Lemma 2.2 (see [26]) that one of the concrete values of \(P_{\alpha}\) can be derived as follows.

Lemma 2.3

Let ρ be the mollifier defined in (4). Let \(\rho_{*}:\mathbb{R}\rightarrow\mathbb{R}\) be a function such that \(\rho_{*} (\vert x\vert )=\rho (x )\), \(x\in\mathbb{R}^{n}\). The multiindex α is written as \(\alpha=\beta+\gamma\) for \(\beta ,\gamma\in\mathbb{N}_{0}^{n}\) with \(\vert \gamma \vert =1\). Then, inequality (6) holds for

$$\begin{aligned} P_{\alpha}= \int_{\mathbb{R}^{n}}\frac{\vert \frac{\partial ^{\beta}}{\partial x^{\beta}}\rho_{1}(y)\vert (1+\vert y\vert )^{\vert \beta \vert }}{1-\vert y\vert }\,dy, \end{aligned}$$
(7)

where \(\rho_{1}(y):= (n-1 )\rho_{*} (\vert y\vert )+\vert y\vert \rho_{*}' (\vert y\vert )\).

By applying Lemma 2.2 to distance functions, the regularized distance for any closed set can be derived.

Definition 2.4

(Regularized distance)

Let S be a closed set in \(\mathbb{R}^{n}\). For any given \(\xi\in(0,1)\), there exists a function \(\operatorname{RD}_{S,\xi} \in C^{\infty} (S^{c} )\) such that, for all \(x\in S^{c}\),

$$\begin{aligned} (1+\xi )^{-2}\operatorname{dist} (x,S )\leq\operatorname{RD}_{S,\xi} (x )\leq (1-\xi )^{-2}\operatorname{dist} (x,S ) \end{aligned}$$
(8)

and

$$\begin{aligned} &\biggl\vert \frac{\partial^{\alpha}}{\partial x^{\alpha}}\operatorname{RD}_{S,\xi } (x )\biggr\vert \leq P_{\alpha} \bigl(\xi \operatorname{dist} (x,S ) \bigr)^{1-\vert \alpha \vert },\quad \forall\alpha\in\mathbb {N}_{0}^{n} \mbox{ with } \vert \alpha \vert \geq1. \end{aligned}$$
(9)

The function \(\operatorname{RD}_{S,\xi}\) is called the regularized distance from S.

Next, we introduce two types of open sets.

Definition 2.5

(Special Lipschitz domain [12])

Let \(\phi:\mathbb{R}^{n-1}\rightarrow\mathbb{R}\) (\(n=2,3,\dots\)) be a function satisfying the Lipschitz condition, i.e., for some \(M>0\),

$$\begin{aligned} \bigl\vert \phi (x )-\phi (y )\bigr\vert \leq M\vert x-y\vert , \quad\forall x,y\in\mathbb{R}^{n-1}. \end{aligned}$$

Then, Ω is called a special Lipschitz domain if it is written as \(\Omega:=\{ (x',x_{n} )\in\mathbb{R}^{n} : x_{n}>\phi (x' )\}\) with \(x'=(x_{1},x_{2},\dots,x_{n-1})\in\mathbb{R}^{n-1}\).

The positive number M in Definition 2.5 is called the Lipschitz constant of Ω. Generalizing the special Lipschitz domain, the domain with minimally smooth boundary is defined as follows.

Definition 2.6

(Domain with minimally smooth boundary [12])

An open set \(\Omega\subset\mathbb{R}^{n}\) (\(n=2,3,\dots\)) is said to be a domain with minimally smooth boundary if there exist \(\varepsilon >0\), \(N\in\mathbb{N}\), \(M>0\), and a sequence \(\{U_{i} \}_{i\in \mathbb{N}}\) of open subsets of \(\mathbb{R}^{n}\) such that

  1. (1)

    for any \(x\in\partial\Omega\), \(B (x,\varepsilon )\subset U_{i}\) for some \(i\in\mathbb{N}\);

  2. (2)

    no point in \(\mathbb{R}^{n}\) belongs to more than N of \(U_{i}\); and

  3. (3)

    for any \(i\in\mathbb{N}\), there exists a special Lipschitz domain \(\Omega_{i}\), the Lipschitz bound of which is not more than M, such that \(U_{i}\cap\Omega=U_{i}\cap\Omega_{i}\).

The positive number M in Definition 2.6 is called the Lipschitz constant of Ω, and N in Definition 2.6 is called the overlap number of Ω.

Remark 2.7

The domain with minimally smooth boundary defined in Definition 2.6 is referred to by various names. For example, it is called a domain satisfying the strong local Lipschitz condition in [18]. In addition, numerous researchers simply call it a Lipschitz domain, although several other definitions exist (see, e.g., Section 1.2.1 in [27]).

3 Construction of extension operator

Here, we describe Stein’s construction method for extension operators [12]. Stein first constructed an extension operator on a special Lipschitz domain. He then expanded it to that on a domain with minimally smooth boundary.

3.1 Extension operator on special Lipschitz domain

Let \(\Omega'\subset\mathbb{R}^{n}\) (\(n=2,3,\dots\)) be a special Lipschitz domain, i.e., \(\Omega'\) is written in the form \(\Omega':=\{ (x',x_{n} )\in\mathbb{R}^{n}: x_{n}>\phi (x' )\}\), \(x'=(x_{1},x_{2},\dots,x_{n-1})\in\mathbb{R}^{n-1}\), with a Lipschitz continuous function \(\phi:\mathbb{R}^{n-1}\rightarrow\mathbb {R}\), the Lipschitz constant of which is \(M_{\Omega'}\). For given \(\xi>0\), let \(\operatorname{RD}_{\Omega',\xi}\) be the regularized distance with the bound \(P_{\alpha}\) as in (9). Moreover, for given \(\tau>0\), let us define \(g_{\Omega',\tau,\xi }^{*}:= (1+\tau )C_{\Omega',\xi}\operatorname{RD}_{\Omega',\xi}\) with \(C_{\Omega',\xi}:= (1+\xi )^{2}\sqrt{1+M_{\Omega'}^{2}}\). Then, for any \(k\in N_{0}\) and any \(p\in[1,\infty)\), the operator \(E_{\Omega',\tau,\xi}\), defined by

$$\begin{aligned} (E_{\Omega',\tau,\xi}u) \bigl(x',x_{n} \bigr) :=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} u (x',x_{n} ) ,&\forall (x',x_{n} )\in\overline{\Omega'},\\ \int_{1}^{\infty}u (x',x_{n}+tg_{\Omega',\tau,\xi }^{*} (x',x_{n} ) )\psi (t )\,dt ,&\forall (x',x_{n} )\in (\overline{\Omega'} )^{c}, \end{array}\displaystyle \right . \end{aligned}$$
(10)

becomes the extension operator from \(W^{k,p} (\Omega' )\) to \(W^{k,p} (\mathbb{R}^{n} )\), where \(\psi:\mathbb{R}\rightarrow\mathbb{R}\) is a function satisfying

$$\begin{aligned} \int_{1}^{\infty}\psi (t )\,dt=1,\qquad \int_{1}^{\infty}t^{m}\psi (t )\,dt=0,\quad \forall m \in\mathbb {N}. \end{aligned}$$
(11)

A concrete selection of the function ψ can be found in (31). Note that since \((1+M_{\Omega'}^{2} )^{-1/2}\operatorname{dist} (x, (\overline{\Omega'} )^{c} )\geq\phi (x' )-x_{n}\) for all \((x',x_{n} )\in (\overline{\Omega'} )^{c}\), we have \(g_{\Omega',\tau,\xi}^{*} (x',x_{n} )\geq (1+\tau)(\phi (x' )-x_{n})\).

Remark 3.1

In the original construction method, Stein set τ and ξ to concrete values [12]. However, since the selection of τ and ξ affects the accuracy of estimation of the embedding constants, we do not fix them above. Their selection will be discussed later.

3.2 Extension operator on domain with minimally smooth boundary

Let Ω be a domain with minimally smooth boundary. Let \(\{U_{i} \}_{i\in\mathbb{N}}\) be the sequence as in Definition 2.6. Let ε be a positive number such that \(U_{i}^{\frac {3}{4}\varepsilon}\) are not empty for all \(i\in\mathbb{N}\), and if \(\operatorname{dist} (x,\partial\Omega )\leq\varepsilon/2\), then \(x\in U_{i}^{\frac{1}{2}\varepsilon}\) for some \(i\in\mathbb{N}\). Let ρ be any given mollifier defined as in Definition 2.1, and put \(\rho_{\varepsilon} (x ):=\varepsilon ^{-n}\rho (x\varepsilon^{-1} )\). Let \(\chi_{i}\) be the characteristic function of \(U_{i}^{\frac {3}{4}\varepsilon}\), and put \(\lambda_{i}^{\varepsilon} (x ):=(\chi_{i}*\rho_{\frac{1}{4}\varepsilon}) (x )\). Put

$$\begin{aligned} &U_{0}= \biggl\{ x\in\mathbb{R}^{n} : \mathrm{d}\mathrm{i} \mathrm {s}\mathrm{t} (x,\Omega )< \frac{1}{4}\varepsilon \biggr\} ,\\ &U_{+}= \biggl\{ x\in\mathbb{R}^{n} : \mathrm{d}\mathrm{i} \mathrm {s}\mathrm{t} (x,\partial\Omega )< \frac{3}{4}\varepsilon \biggr\} , \end{aligned}$$

and

$$\begin{aligned} U_{-}= \biggl\{ x\in\Omega : \mathrm{d}\mathrm{i}\mathrm{s}\mathrm {t} (x,\partial\Omega )>\frac{1}{4}\varepsilon \biggr\} . \end{aligned}$$

Let \(\chi_{0}\), \(\chi_{+}\), and \(\chi_{-}\) be the corresponding characteristic functions of \(U_{0}\), \(U_{+}\), and \(U_{-}\), respectively. Let \(\lambda_{0}^{\varepsilon}:=\chi_{0}*\rho_{\frac{1}{4}\varepsilon }\), \(\lambda_{+}^{\varepsilon}:=\chi_{+}*\rho_{\frac{1}{4}\varepsilon}\), and \(\lambda_{-}^{\varepsilon}:=\chi_{-}*\rho_{\frac{1}{4}\varepsilon}\). Put

$$\begin{aligned} \Lambda_{+}^{\varepsilon}:=\lambda_{0}^{\varepsilon} \frac {\lambda_{+}^{\varepsilon}}{\lambda_{+}^{\varepsilon}+\lambda _{-}^{\varepsilon}} \quad\mbox{and}\quad \Lambda_{-}^{\varepsilon }:= \lambda_{0}^{\varepsilon}\frac{\lambda_{-}^{\varepsilon}}{\lambda _{+}^{\varepsilon}+\lambda_{-}^{\varepsilon}}. \end{aligned}$$

To each \(U_{i}\), there corresponds a special Lipschitz domain \(\Omega _{i}\) as in Definition 2.6. Let \(E_{\Omega_{i},\tau,\xi}^{i}\) be the extension operator for each \(\Omega_{i}\) constructed by (10). For any \(k\in N_{0}\) and any \(p\in[1,\infty)\), the following operator \(E_{\Omega,\tau,\xi,\varepsilon}\) becomes the extension operator from \(W^{k,p} (\Omega )\) to \(W^{k,p} (\mathbb{R}^{n} )\):

$$\begin{aligned} (E_{\Omega,\tau,\xi,\varepsilon}u ) (x ):=\Lambda _{+}^{\varepsilon} (x ) \biggl( \frac{ \sum_{i=1}^{\infty}\lambda_{i}^{\varepsilon} (x )E_{\Omega_{i},\tau ,\xi}^{i} (\lambda_{i}^{\varepsilon}u ) (x )}{ \sum_{i=1}^{\infty}\lambda_{i}^{\varepsilon} (x )^{2}} \biggr)+\Lambda_{-}^{\varepsilon} (x )u (x ) \end{aligned}$$
(12)

for all \(x\in\mathbb{R}^{n}\).

Here, one can observe that

  • supp \(\lambda_{i}^{\varepsilon}\subset U_{i}\), and \(\lambda_{i}^{\varepsilon} (x )=1\) if \(x\in U_{i}^{\frac {1}{2}\varepsilon}\);

  • if \(x\in\operatorname{supp} \Lambda_{+}^{\varepsilon}\), then \(\sum_{i\in\mathbb{N}}\lambda_{i}^{\varepsilon} (x )\geq1\);

  • the bounds of the derivatives of \(\lambda_{i}^{\varepsilon}\) are independent of i and depend only on the \(L^{1}\) norm of the corresponding derivatives of \(\rho_{\frac{1}{4}\varepsilon}\);

  • \(\lambda_{0}^{\varepsilon} (x )=1\) if \(x\in\overline {\Omega}\);

  • \(\lambda_{+}^{\varepsilon} (x )=1\) if \(\operatorname{dist} (x,\partial\Omega )\leq\varepsilon/2\);

  • \(\lambda_{-}^{\varepsilon} (x )=1\) if \(x\in\Omega\) and \(\operatorname{dist} (x,\partial\Omega )\geq\varepsilon/2\);

  • the supports of \(\lambda_{0}^{\varepsilon}\), \(\lambda _{+}^{\varepsilon}\), and \(\lambda_{-}^{\varepsilon}\) are contained in the \(\varepsilon/2\)-neighborhood of Ω, in the ε-neighborhood of Ω, and in Ω, respectively;

  • the functions \(\lambda_{0}^{\varepsilon}\), \(\lambda _{+}^{\varepsilon}\), and \(\lambda_{-}^{\varepsilon}\) are bounded in \(\mathbb{R}^{n}\), and all their partial derivatives are also bounded;

  • all the derivatives of \(\Lambda_{+}^{\varepsilon}\) and \(\Lambda _{-}^{\varepsilon}\) are bounded on \(\mathbb{R}^{n}\);

  • \(\Lambda_{+}^{\varepsilon}+\Lambda_{-}^{\varepsilon}\) is 1 on Ω̅ and is 0 outside the \(\varepsilon/2\)-neighborhood of Ω.

Remark 3.2

In Stein’s original construction method, \(\varepsilon>0\) is assumed to be sufficiently small [12]. However, since the bounds for the derivatives of \(\lambda _{i}^{\varepsilon}\) increase as ε decreases, a small ε makes the norm of the corresponding extension operator large. Therefore, we should select the value of ε by taking this property into consideration. The selection of ε for concrete domains Ω will be discussed in Section 5.2.

4 Formula for estimating operator norm

Let us first present the following lemma, which gives bounds for the operator norm of the extension operator on special Lipschitz domains constructed by the method in Section 3.1.

Lemma 4.1

For a special Lipschitz domain \(\Omega'\subset\mathbb{R}^{n}\) (\(n=2,3,\dots\)), let E (\(=E_{\Omega',\tau,\xi}\)) be the extension operator constructed by (10). Then,

$$\begin{aligned} \Vert Eu\Vert _{L^{p} (\mathbb{R}^{n} )}&\leq A_{p,\tau,\xi } \bigl( \Omega' \bigr)\Vert u\Vert _{L^{p} (\Omega' )}, \quad\forall u\in L^{p}\bigl(\Omega'\bigr), \end{aligned}$$
(13)

and

$$\begin{aligned} \bigl\Vert \nabla (Eu )\bigr\Vert _{L^{p} (\mathbb{R}^{n} )}&\leq A_{p,\tau,\xi}' \bigl(\Omega' \bigr)\Vert \nabla u\Vert _{L^{p} (\Omega' )},\quad \forall u\in W^{1,p}\bigl(\Omega'\bigr), \end{aligned}$$
(14)

for

$$\begin{aligned} A_{p,\tau,\xi} \bigl(\Omega' \bigr)= \bigl\{ (A_{0}Q )^{p}+1 \bigr\} ^{1/p} \end{aligned}$$

and

$$\begin{aligned} A_{p,\tau,\xi}' \bigl(\Omega' \bigr) = \max \bigl\{ \bigl[2^{p-1} (A_{0}Q )^{p}+1 \bigr]^{1/p}, \bigl[ (n-1 )2^{p-1} (BQ )^{p}+ \bigl\{ (A_{0}+B )Q \bigr\} ^{p}+1 \bigr]^{1/p} \bigr\} , \end{aligned}$$

respectively. Here,

  • \(A_{0}\) and \(A_{1}\) are constants satisfying \(\vert \psi (t )\vert \leq A_{0}/t^{2}\) (\(t\geq1\)) and \(\vert \psi (t )\vert \leq A_{1}/t^{3}\) (\(t\geq1\)), respectively;

  • P corresponds to \(P_{\alpha}\) with \(|\alpha|=1\);

  • Q and B are defined as

    $$\begin{aligned} &Q (=Q_{\Omega',\tau,\xi,p}):= \frac{p (1+\tau ) (1+\xi )^{2}}{(p+1)\tau^{1+1/p} (1-\xi )^{2}}\sqrt {1+M_{\Omega'}^{2}} \end{aligned}$$

    and

    $$\begin{aligned} &B (=B_{\Omega',\xi,\tau}):=A_{1}P (1+\xi )^{2} (1+\tau ) \sqrt{1+M_{\Omega'}^{2}}. \end{aligned}$$

Proof

Since \(C^{\infty}(\Omega')\) is dense in \(W^{1,p}(\Omega')\), it suffices to consider \(u\in C^{\infty}(\Omega')\). Moreover, \(\Omega'\) is written in the form \(\Omega':=\{ (x',x_{n} )\in\mathbb{R}^{n} : x_{n}>\phi (x' )\}\), \(x'=(x_{1},x_{2},\dots,x_{n-1})\in\mathbb{R}^{n-1}\), with a Lipschitz continuous function \(\phi:\mathbb{R}^{n-1}\rightarrow\mathbb{R}\), the Lipschitz constant of which is \(M_{\Omega'}\). Hereafter, for simplicity, we write \(u_{y}=\partial_{y}u\), \(g^{*}=g_{\Omega',\tau,\xi}^{*}\), \(g_{y}^{*}=\partial_{y}g^{*}\).

First step: estimating \(A_{p,\tau,\xi} (\Omega' )\)

If \(y<\phi (x )\) with \(y\in\mathbb{R}\) and \(x=(x_{1},x_{2},\dots,x_{n-1})\in\mathbb{R}^{n-1}\), then

$$\begin{aligned} \bigl\vert (Eu ) (x,y )\bigr\vert &=\biggl\vert \int_{1}^{\infty }u \bigl(x,y+tg^{*} (x,y ) \bigr)\psi (t )\,dt\biggr\vert \\ & \leq A_{0} \int_{1}^{\infty}\bigl\vert u \bigl(x,y+tg^{*} (x,y ) \bigr)\bigr\vert \frac{dt}{t^{2}}. \end{aligned}$$
(15)

Moreover, we have \(g^{*} (x,y )\geq (1+\tau ) (\phi (x )-y )= (1+\tau )\vert y-\phi (x )\vert \). In addition, it follows that \(\phi (x )-y\geq\operatorname {dist} ( (x,y ), \overline{\Omega'} )\) for all \(x\in \mathbb{R}^{n-1}\) and \(y\in\mathbb{R}\). Since \(\operatorname{dist} ( (x,y ), \overline{\Omega'} )\geq (1-\xi )^{2}\operatorname{RD}_{\Omega',\xi} (x_{,}y )\), it follows that

$$\begin{aligned} \bigl\vert y-\phi (x )\bigr\vert =&\geq\operatorname{dist} \bigl( (x,y ), \overline{\Omega'} \bigr) \\ &\geq (1-\xi )^{2}\operatorname{RD}_{\Omega',\xi} (x,y ) \\ &= (1-\xi )^{2} (1+\tau )^{-1}C_{\Omega',\xi }^{-1}g^{*} (x,y ). \end{aligned}$$
(16)

Now, recall that \(g^{*}= (1+\tau )C_{\Omega',\xi}\operatorname {RD}_{\Omega',\xi}\). From (16) we obtain \(g^{*} (x,y )\leq a\vert y-\phi (x )\vert \), where \(a (=a_{\Omega',\tau,\xi}):=(1+\tau )(1+\xi)^{2}(1-\xi)^{-2}\sqrt{1+M_{\Omega'}^{2}}\). Putting \(s=y-\phi (x )+tg^{*} (x,y )\), it follows from (15) that

$$\begin{aligned} \bigl\vert (Eu ) (x,y )\bigr\vert & \leq A_{0} \int_{1}^{\infty}\bigl\vert u \bigl(x,y+tg^{*} (x,y ) \bigr)\bigr\vert \frac{dt}{t^{2}} \\ &=A_{0}g^{*} (x,y ) \int_{y-\phi (x )+g^{*} (x,y )}^{\infty}\bigl\vert u \bigl(x,s+\phi(x) \bigr) \bigr\vert \bigl(s-\bigl(y-\phi (x )\bigr) \bigr)^{-2}\,ds \\ & \leq A_{0}a\bigl\vert y-\phi (x )\bigr\vert \int_{\tau \vert y-\phi (x )\vert }^{\infty}\bigl\vert u \bigl(x,s+\phi (x) \bigr)\bigr\vert s^{-2}\,ds. \end{aligned}$$

By changing the integration variable as \(\tau(y-\phi (x ))=w\), we have

$$\begin{aligned} &\int_{-\infty}^{\phi(x)}\bigl\vert (Eu ) (x,y )\bigr\vert ^{p}\,dy \\ &\quad\leq \biggl(\frac{aA_{0}}{\tau} \biggr)^{p} \int_{-\infty }^{\phi(x)} \biggl(\tau\bigl\vert y-\phi (x ) \bigr\vert \int_{\tau \vert y-\phi (x )\vert }^{\infty}\bigl\vert u \bigl(x,s+\phi(x) \bigr) \bigr\vert s^{-2}\,ds \biggr)^{p}\,dy, \\ &\quad= \biggl(\frac{aA_{0}}{\tau^{1+1/p}} \biggr)^{p} \int _{-\infty}^{0} \biggl(\vert w\vert \int_{\vert w\vert }^{\infty}\bigl\vert u \bigl(x,s+\phi(x) \bigr) \bigr\vert s^{-2}\,ds \biggr)^{p}\,dw \\ &\quad= \biggl(\frac{aA_{0}}{\tau^{1+1/p}} \biggr)^{p} \int _{0}^{\infty} \biggl( \int_{\vert w\vert }^{\infty}\bigl\vert u \bigl(x,s+\phi (x) \bigr)\bigr\vert s^{-2}\,ds \biggr)^{p}\vert w\vert ^{(p+1)-1}\,dw. \end{aligned}$$

Hardy’s inequality, which can be found in Lemma C.1, gives

$$\begin{aligned} \int_{-\infty}^{\phi(x)}\bigl\vert (Eu ) (x,y )\bigr\vert ^{p}\,dy& \leq \biggl(\frac {pA_{0}a}{(p+1)\tau^{1+1/p}} \biggr)^{p} \int_{0}^{\infty} \bigl(\bigl\vert u \bigl(x,s+\phi(x) \bigr)\bigr\vert s^{-1} \bigr)^{p}s^{p}\,ds \\ &= \biggl(\frac{pA_{0}a}{(p+1)\tau^{1+1/p}} \biggr)^{p} \int _{0}^{\infty}\bigl\vert u \bigl(x,s+\phi(x) \bigr) \bigr\vert ^{p}\,ds \\ &= \biggl(\frac{pA_{0}a}{(p+1)\tau^{1+1/p}} \biggr)^{p} \int _{\phi(x)}^{\infty}\bigl\vert u (x,y )\bigr\vert ^{p}\,dy. \end{aligned}$$
(17)

Moreover, from the definition (10) of the extension operator we have

$$\begin{aligned} \int_{\phi (x )}^{\infty}\bigl\vert (Eu ) (x,y )\bigr\vert ^{p}\,dy= \int_{\phi (x )}^{\infty}\bigl\vert u (x,y )\bigr\vert ^{p}\,dy. \end{aligned}$$
(18)

From (17) and (18) it follows that

$$\begin{aligned} & \biggl( \int_{-\infty}^{\infty}\bigl\vert (Eu ) (x,y )\bigr\vert ^{p}\,dy \biggr)^{1/p} \leq \bigl\{ (A_{0}Q )^{p}+1 \bigr\} ^{1/p} \biggl( \int_{\phi (x )}^{\infty}\bigl\vert u (x,y )\bigr\vert ^{p}\,dy \biggr)^{1/p}, \end{aligned}$$
(19)

where \(Q (=Q_{\Omega',\tau,\xi,p}):=pa_{\Omega',\tau,\xi}/ \{ (p+1)\tau^{1+1/p} \}\). Integrating both sides of (19) by x, we find that (13) holds for

$$\begin{aligned} A_{p,\tau,\xi} \bigl(\Omega' \bigr)= \bigl\{ (A_{0}Q )^{p}+1 \bigr\} ^{1/p}. \end{aligned}$$

Second step: estimating \(A_{p,\tau,\xi}^{\prime} (\Omega' )\)

Inequality (9) ensures that \(|g_{x_{j}}^{*} (x,y )|\leq B/A_{1}\) for \(j\in\{1,2,\dots,n\}\). If \(y<\phi (x )\) with \(y\in\mathbb{R}\) and \(x=(x_{1},x_{2},\dots,x_{n-1})\in\mathbb{R}^{n-1}\), then

$$\begin{aligned} \partial_{y} (Eu ) (x,y )={}& \partial _{y} \int_{1}^{\infty}u \bigl(x,y+tg^{*} (x,y ) \bigr)\psi (t )\,dt \\ ={}& \int_{1}^{\infty}u_{y} \bigl(x,y+tg^{*} (x,y ) \bigr) \bigl(1+tg_{y}^{*} (x,y ) \bigr)\psi (t )\,dt \\ ={}& \int_{1}^{\infty}u_{y} \bigl(x,y+tg^{*} (x,y ) \bigr)\psi (t )\,dt \\ &{} +g_{y}^{*} (x,y ) \int_{1}^{\infty }u_{y} \bigl(x,y+tg^{*} (x,y ) \bigr)t\psi (t )\,dt. \end{aligned}$$

Therefore, we have

$$\begin{aligned} &\bigl\vert \partial_{y} (Eu ) (x,y )\bigr\vert \\ &\quad\leq\biggl\vert \int_{1}^{\infty}u_{y} \bigl(x,y+tg^{*} (x,y ) \bigr)\psi (t )\,dt\biggr\vert \\ &\qquad{} +\bigl\vert g_{y}^{*} (x,y )\bigr\vert \biggl\vert \int _{1}^{\infty}u_{y} \bigl(x,y+tg^{*} (x,y ) \bigr)t^{3}\psi (t )\frac{dt}{t^{2}}\biggr\vert \\ &\quad\leq (A_{0}+B ) \int_{1}^{\infty}\bigl\vert u_{y} \bigl(x,y+tg^{*} (x,y ) \bigr)\bigr\vert \frac{dt}{t^{2}},\quad y< \phi (x ). \end{aligned}$$

From the similar discussion in the first step we have

$$\begin{aligned} \int_{-\infty}^{\infty}\bigl\vert \partial_{y} (Eu ) (x,y )\bigr\vert ^{p}\,dy\leq \bigl[ \bigl\{ (A_{0}+B )Q \bigr\} ^{p}+1 \bigr] \int_{\phi(x)}^{\infty}\bigl\vert u_{y} (x,y ) \bigr\vert ^{p}\,dy. \end{aligned}$$
(20)

On the other hand, for \(j\in \{1, 2, \dots, n-1 \}\) and \(y<\phi (x )\),

$$\begin{aligned} &\partial_{x_{j}} (Eu ) (x,y ) \\ &\quad= \partial_{x_{j}} \int_{1}^{\infty}u \bigl(x,y+tg^{*} (x,y ) \bigr)\psi (t )\,dt \\ &\quad= \int_{1}^{\infty} \bigl\{ u_{x_{j}} \bigl(x,y+tg^{*} (x,y ) \bigr)+u_{y} \bigl(x,y+tg^{*} (x,y ) \bigr)tg_{x_{j}}^{*} (x,y ) \bigr\} \psi (t )\,dt \\ &\quad= \int_{1}^{\infty}u_{x_{j}} \bigl(x,y+tg^{*} (x,y ) \bigr)\psi (t )\,dt \\ &\qquad{} +g_{x_{j}}^{*} (x,y ) \int _{1}^{\infty}u_{y} \bigl(x,y+tg^{*} (x,y ) \bigr)t\psi (t )\,dt. \end{aligned}$$

Therefore, we have

$$\begin{aligned} &\bigl\vert \partial_{x_{j}} (Eu ) (x,y )\bigr\vert \\ &\quad\leq\biggl\vert \int_{1}^{\infty}u_{x_{j}} \bigl(x,y+tg^{*} (x,y ) \bigr)\psi (t )\,dt\biggr\vert \\ &\qquad{} +\bigl\vert g_{x_{j}}^{*} (x,y )\bigr\vert \biggl\vert \int _{1}^{\infty}u_{y} \bigl(x,y+tg^{*} (x,y ) \bigr)t\psi (t )\,dt\biggr\vert \\ &\quad\leq A_{0} \int_{1}^{\infty}\bigl\vert u_{x_{j}} \bigl(x,y+tg^{*} (x,y ) \bigr)\bigr\vert \frac{dt}{t^{2}} \\ &\qquad{} +B \int_{1}^{\infty}\bigl\vert u_{y} \bigl(x,y+tg^{*} (x,y ) \bigr)\bigr\vert \frac{dt}{t^{2}},\quad y< \phi (x ). \end{aligned}$$

Since \((s+t )^{p}\leq2^{p-1} (s^{p}+t^{p} )\) for \(s,t>0\) and \(p>1\), it follows from the similar discussion in (17) that

$$\begin{aligned} &\int_{-\infty}^{\phi(x)}\bigl\vert \partial_{x_{j}} (Eu ) (x,y )\bigr\vert ^{p}\,dy \\ &\quad\leq2^{p-1} (A_{0}Q )^{p} \int_{\phi(x)}^{\infty }\bigl\vert u_{x_{j}} (x,y ) \bigr\vert ^{p}\,dy+2^{p-1} (BQ )^{p} \int_{\phi(x)}^{\infty}\bigl\vert u_{y} (x,y ) \bigr\vert ^{p}\,dy. \end{aligned}$$

Therefore,

$$\begin{aligned} \int_{-\infty}^{\infty}\bigl\vert \partial_{x_{j}} (Eu ) (x,y )\bigr\vert ^{p}\,dy \leq{}& \bigl\{ 2^{p-1} (A_{0}Q )^{p}+1 \bigr\} \int _{\phi(x)}^{\infty}\bigl\vert u_{x_{j}} (x,y ) \bigr\vert ^{p}\,dy \\ &{} +2^{p-1} (BQ )^{p} \int_{\phi(x)}^{\infty}\bigl\vert u_{y} (x,y ) \bigr\vert ^{p}\,dy \end{aligned}$$
(21)

for \(j\in \{1, 2, \dots, n-1 \}\). From (20) and (21) we have

$$\begin{aligned} & \sum_{j=1}^{n} \int_{-\infty}^{\infty}\bigl\vert \partial _{x_{j}} (Eu ) (x,y )\bigr\vert ^{p}\,dy \\ &\quad= \sum_{j=1}^{n-1} \int_{-\infty}^{\infty}\bigl\vert \partial _{x_{j}} (Eu ) (x,y )\bigr\vert ^{p}\,dy+ \int_{-\infty }^{\infty}\bigl\vert \partial_{y} (Eu ) (x,y )\bigr\vert ^{p}\,dy \\ &\quad\leq \bigl\{ 2^{p-1} (A_{0}Q )^{p}+1 \bigr\} \sum _{j=1}^{n-1} \int_{\phi(x)}^{\infty}\bigl\vert u_{x_{j}} (x,y ) \bigr\vert ^{p}\,dy \\ &\qquad{} + (n-1 )2^{p-1} (BQ )^{p} \int_{\phi(x)}^{\infty}\bigl\vert u_{y} (x,y ) \bigr\vert ^{p}\,dy \\ &\qquad{} + \bigl[ \bigl\{ (A_{0}+B )Q \bigr\} ^{p}+1 \bigr] \int_{\phi(x)}^{\infty}\bigl\vert u_{y} (x,y ) \bigr\vert ^{p}\,dy \\ &\quad= \bigl\{ 2^{p-1} (A_{0}Q )^{p}+1 \bigr\} \sum _{j=1}^{n-1} \int_{\phi(x)}^{\infty}\bigl\vert u_{x_{j}} (x,y ) \bigr\vert ^{p}\,dy \\ &\qquad{} + \bigl[ (n-1 )2^{p-1} (BQ )^{p}+ \bigl\{ (A_{0}+B )Q \bigr\} ^{p}+1 \bigr] \int_{\phi (x)}^{\infty}\bigl\vert u_{y} (x,y ) \bigr\vert ^{p}\,dy. \end{aligned}$$

This ensures that inequality (14) holds for

$$\begin{aligned} &A_{p,\tau,\xi}' \bigl(\Omega' \bigr)\\ &\quad= \max \bigl\{ \bigl[2^{p-1} (A_{0}Q )^{p}+1 \bigr]^{1/p}, \bigl[ (n-1 )2^{p-1} (BQ )^{p}+ \bigl\{ (A_{0}+B )Q \bigr\} ^{p}+1 \bigr]^{1/p} \bigr\} . \end{aligned}$$

 □

The following formula enables us to estimate the operator norm \(A_{q} (\Omega )\) for the extension operator on domains with minimally smooth boundary constructed by the method described in Section 3.

Theorem 4.2

For a domain \(\Omega\subset\mathbb{R}^{n}\) (\(n=2,3,\dots\)) with minimally smooth boundary, let E (\(=E_{\Omega,\tau,\xi,\varepsilon}\)) be the extension operator constructed by (12). Then, letting γ be a given positive number, we have

$$\begin{aligned} \bigl\Vert \nabla (Eu )\bigr\Vert _{L^{p} (\mathbb{R}^{n} )}\leq A_{p} ( \Omega ) \bigl(\Vert \nabla u\Vert _{L^{p} (\Omega )}+\gamma \Vert u\Vert _{L^{p} (\Omega )} \bigr), \quad\forall u\in W^{1,p}(\Omega), \end{aligned}$$
(22)

with

$$\begin{aligned} A_{p} (\Omega )=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} NA'+1,& R\leq\gamma,\\ b_{\varepsilon} (4NA+2N^{3/2}A+NA'+3 )n^{1/p}/\gamma,& R>\gamma, \end{array}\displaystyle \right . \end{aligned}$$
(23)

where N is the overlap number of Ω, \(b_{\varepsilon}\) is a positive number satisfying \(b_{\varepsilon}\geq \int_{\mathbb{R}^{n}}|\partial_{x_{j}}\rho_{\frac{1}{4}\varepsilon} (x )|\,dx\) for all \(j\in\{1,2,\dots,n\}\), and \(R:=b_{\varepsilon} (4NA+2N^{3/2}A+NA'+3 )\) \(n^{1/p}/ (NA'+1 )\). The constants A and \(A'\) are determined by \(A=\sup\{A_{p,\tau,\xi } (\Omega_{i} ) : i\in\mathbb{N}\}\) and \(A'=\sup\{A'_{p,\tau ,\xi} (\Omega_{i} ) : i\in\mathbb{N}\}\) for the operator norms \(A_{p,\tau,\xi} (\Omega_{i} )\) and \(A'_{p,\tau,\xi} (\Omega _{i} )\) of \(E^{i} \) (\(=E_{\Omega_{i},\tau,\xi}^{i}\)) satisfying (13) and (14) with the notational replacement \(\Omega'=\Omega_{i}\), respectively.

Proof

For any \(j\in\{1,2,\dots,n\}\), we have

$$\begin{aligned} \bigl\vert \partial_{x_{j}}\lambda_{i}^{\varepsilon}\bigr\vert \leq \int_{\mathbb{R}^{n}}\bigl\vert \partial_{x_{j}} \rho_{\frac{1}{4}\varepsilon } (x )\bigr\vert \,dx\leq b_{\varepsilon}; \end{aligned}$$
(24)

this bound does not depend on the index i. Likewise, \(\vert \partial_{x_{j}}\lambda_{0}^{\varepsilon} \vert \), \(\vert \partial_{x_{j}}\lambda_{+}^{\varepsilon} \vert \), and \(\vert \partial_{x_{j}}\lambda_{-}^{\varepsilon} \vert \) are bounded by \(b_{\varepsilon}\). Moreover,

$$\begin{aligned} \bigl\vert \partial_{x_{j}}\Lambda_{+}^{\varepsilon}\bigr\vert &=\biggl\vert \bigl(\partial_{x_{j}}\lambda_{0}^{\varepsilon} \bigr)\frac{\lambda _{+}^{\varepsilon}}{\lambda_{+}^{\varepsilon}+\lambda_{-}^{\varepsilon }}+\lambda_{0}^{\varepsilon}\frac{ (\partial_{x_{j}}\lambda _{+}^{\varepsilon} ) (\lambda_{+}^{\varepsilon}+\lambda _{-}^{\varepsilon} )-\lambda_{+}^{\varepsilon} (\partial _{x_{j}}\lambda_{+}^{\varepsilon}+\partial_{x_{j}}\lambda _{-}^{\varepsilon} )}{ (\lambda_{+}^{\varepsilon}+\lambda _{-}^{\varepsilon} )^{2}} \biggr\vert \\ &\leq3b_{\varepsilon}=:b_{+}. \end{aligned}$$

It is easily confirmed that \(\vert \partial_{x_{j}}\Lambda _{-}^{\varepsilon} \vert \) is also bounded by \(3b_{\varepsilon}=:b_{-}\) (we distinguish \(b_{+}\) and \(b_{-}\) to avoid confusion in the following proof). Hereafter, we simply denote \(\bigcup_{i}U_{i}^{\varepsilon/2}\) by \(U^{*}\), \(\sum_{i\in\mathbb{N}}\) by ∑, \(\lambda_{i}^{\varepsilon}\) by \(\lambda_{i}\), \(\Lambda_{+}^{\varepsilon}\) by \(\Lambda_{+}\), and \(\Lambda_{-}^{\varepsilon}\) by \(\Lambda_{-}\). For \(u\in W^{1,p}(\Omega)\),

$$\begin{aligned} &\bigl\Vert \nabla (Eu )\bigr\Vert _{L^{p} (\mathbb{R}^{n} )} \\ &\quad= \biggl(\sum_{j} \int_{\mathbb{R}^{n}}\bigl\vert \partial_{x_{j}} (Eu )\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq \biggl(\sum_{j} \int_{\mathbb{R}^{n}}\biggl\vert (\partial _{x_{j}} \Lambda_{+} ) \biggl(\frac{\sum\lambda_{i}E^{i} (\lambda _{i}u )}{\sum\lambda_{i}^{2}} \biggr)\biggr\vert ^{p}\,dx \biggr)^{1/p} + \biggl(\sum_{j} \int_{\mathbb{R}^{n}}\bigl\vert \Lambda_{+} (\circ )\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\qquad{}+ \biggl(\sum_{j} \int_{\mathbb{R}^{n}}\bigl\vert (\partial_{x_{j}}\Lambda _{-} )u\bigr\vert ^{p}\,dx \biggr)^{1/p}+ \biggl( \sum_{j} \int_{\mathbb {R}^{n}}\bigl\vert \Lambda_{-} ( \partial_{x_{j}}u )\bigr\vert ^{p}\,dx \biggr)^{1/p}, \end{aligned}$$
(25)

where

$$\begin{aligned} \circ:=\frac{ (\partial_{x_{j}}\sum\lambda _{i}E^{i} (\lambda_{i}u ) ) (\sum\lambda_{i}^{2} )- (\sum\lambda_{i}E^{i} (\lambda_{i}u ) ) (\partial_{x_{j}}\sum\lambda_{i}^{2} )}{ (\sum\lambda _{i}^{2} )^{2}}. \end{aligned}$$

From Lemma C.2, the first term of (25) is evaluated as

$$\begin{aligned} & \biggl(\sum_{j} \int_{\mathbb{R}^{n}}\biggl\vert (\partial_{x_{j}}\Lambda _{+} ) \biggl(\frac{\sum\lambda_{i}E^{i} (\lambda_{i}u )}{\sum\lambda_{i}^{2}} \biggr)\biggr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq b_{+} \biggl(\sum_{j} \int_{U^{*}}\biggl\vert \frac{\sum\lambda _{i}E^{i} (\lambda_{i}u )}{\sum\lambda_{i}^{2}}\biggr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq b_{+}n^{1/p} \biggl( \int_{U^{*}}\Bigl\vert \sum\lambda_{i}E^{i} (\lambda_{i}u )\Bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq b_{+}N^{1-1/p}n^{1/p} \biggl(\sum \int_{U_{i}}\bigl\vert E^{i}(\lambda _{i}u)\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq b_{+}N^{1-1/p}An^{1/p} \biggl(\sum \int_{\Omega} \vert \lambda _{i}u\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq b_{+}NAn^{1/p} \biggl( \int_{\Omega} \vert u\vert ^{p}\,dx \biggr)^{1/p}. \end{aligned}$$

The second term of (25) is evaluated as

$$\begin{aligned} & \biggl(\sum_{j} \int_{\mathbb{R}^{n}}\bigl\vert \Lambda_{+} (\circ )\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq \biggl(\sum_{j} \int_{U^{*}}\biggl\vert \frac{\partial_{x_{j}}\sum\lambda _{i}E^{i} (\lambda_{i}u )}{\sum\lambda_{i}^{2}}\biggr\vert ^{p}\,dx \biggr)^{1/p} \\ &\qquad{} + \biggl(\sum_{j} \int_{U^{*}}\biggl\vert \frac{ (\sum \lambda_{i}E^{i} (\lambda_{i}u ) ) (\partial _{x_{j}}\sum\lambda_{i}^{2} )}{ (\sum\lambda_{i}^{2} )^{2}}\biggr\vert ^{p}\,dx \biggr)^{1/p}. \end{aligned}$$
(26)

The first term of (26) is evaluated as

$$\begin{aligned} & \biggl(\sum_{j} \int_{U^{*}}\biggl\vert \frac{\partial_{x_{j}}\sum\lambda _{i}E^{i} (\lambda_{i}u )}{\sum\lambda_{i}^{2}}\biggr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad= \biggl(\sum_{j} \int_{U^{*}}\biggl\vert \frac{\sum (\partial _{x_{j}}\lambda_{i} )E^{i} (\lambda_{i}u )+\sum\lambda _{i} (\partial_{x_{j}}E^{i} (\lambda_{i}u ) )}{\sum \lambda_{i}^{2}}\biggr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq \biggl(\sum_{j} \int_{U^{*}}\Bigl\vert \sum (\partial_{x_{j}} \lambda _{i} )E^{i} (\lambda_{i}u )\Bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\qquad{} + \biggl(\sum_{j} \int_{U^{*}}\Bigl\vert \sum\lambda _{i} \bigl(\partial_{x_{j}}E^{i} (\lambda_{i}u ) \bigr) \Bigr\vert ^{p}\,dx \biggr)^{1/p}. \end{aligned}$$
(27)

The first term of (27) is evaluated as

$$\begin{aligned}[b] & \biggl(\sum_{j} \int_{U^{*}}\biggl\vert \sum_{i} (\partial_{x_{j}}\lambda _{i} )E^{i} ( \lambda_{i}u )\biggr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq \biggl(\sum_{j}N^{p-1}\sum _{i} \int_{U^{*}}\bigl\vert (\partial _{x_{j}} \lambda_{i} )E^{i} (\lambda_{i}u )\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq N^{1-1/p} \biggl(\sum_{j}\sum _{i} \int_{U_{i}}b_{\varepsilon}^{p}\bigl\vert E^{i} (\lambda_{i}u )\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq b_{\varepsilon}N^{1-1/p} \biggl(\sum_{j} \sum_{i} \int_{U_{i}}\bigl\vert E^{i} (\lambda_{i}u )\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq b_{\varepsilon}N^{1-1/p}n^{1/p} \biggl(\sum _{i} \int_{U_{i}}\bigl\vert E^{i} (\lambda_{i}u )\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq b_{\varepsilon}N^{1-1/p}An^{1/p} \biggl(\sum _{i} \int_{\Omega} \vert \lambda_{i}u\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq b_{\varepsilon}NAn^{1/p} \biggl( \int_{\Omega} \vert u\vert ^{p}\,dx \biggr)^{1/p}. \end{aligned} $$

The second term of (27) is evaluated as

$$\begin{aligned} & \biggl(\sum_{j} \int_{U^{*}}\biggl\vert \sum_{i} \lambda_{i} \bigl(\partial _{x_{j}}E^{i} ( \lambda_{i}u ) \bigr)\biggr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq \biggl(\sum_{j}N^{p-1}\sum _{i} \int_{U^{*}}\bigl\vert \lambda_{i} \bigl( \partial_{x_{j}}E^{i} (\lambda_{i}u ) \bigr)\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq N^{1-1/p} \biggl(\sum_{i}\sum _{j} \int_{U_{i}}\bigl\vert \partial _{x_{j}}E^{i} (\lambda_{i}u )\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq N^{1-1/p}A' \biggl(\sum_{i} \sum_{j} \int_{\Omega}\bigl\vert \partial _{x_{j}} ( \lambda_{i}u )\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad=N^{1-1/p}A' \biggl(\sum_{i} \sum_{j} \int_{\Omega}\bigl\vert (\partial _{x_{j}} \lambda_{i} )u+\lambda_{i} (\partial_{x_{j}}u )\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq N^{1-1/p}A' \biggl(\sum_{i} \int_{\Omega}\sum_{j}\bigl\vert ( \partial _{x_{j}}\lambda_{i} )u\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\qquad{} +N^{1-1/p}A' \biggl(\sum_{i} \int_{\Omega}\sum_{j}\bigl\vert \lambda_{i} (\partial_{x_{j}}u )\bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq NA' \biggl\{ \biggl(\sum_{j}b_{\varepsilon}^{p} \int_{\Omega} \vert u\vert ^{p}\,dx \biggr)^{1/p}+ \biggl( \int_{\Omega}\sum_{j}\vert \partial _{x_{j}}u\vert ^{p}\,dx \biggr)^{1/p} \biggr\} \\ &\quad\leq NA' \biggl\{ b_{\varepsilon}n^{1/p} \biggl( \int_{\Omega} \vert u\vert ^{p}\,dx \biggr)^{1/p}+ \biggl( \int_{\Omega}\sum_{j}\vert \partial _{x_{j}}u\vert ^{p}\,dx \biggr)^{1/p} \biggr\} . \end{aligned}$$

Since Hölder’s inequality ensures that \(\vert \sum(\partial _{x_{j}}\lambda_{i})\lambda_{i}\vert \leq b_{\varepsilon}N^{1/2} (\sum\lambda_{i}^{2} )^{1/2}\), the second term of (26) is evaluated as

$$\begin{aligned} & \biggl(\sum_{j} \int_{U^{*}}\biggl\vert \frac{ (\sum\lambda_{i}E^{i} (\lambda_{i}u ) ) (\partial_{x_{j}}\sum\lambda _{i}^{2} )}{ (\sum\lambda_{i}^{2} )^{2}}\biggr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq \biggl(\sum_{j} \int_{U^{*}}\biggl\vert \frac{ (\sum\lambda _{i}E^{i} (\lambda_{i}u ) ) (2\sum(\partial _{x_{j}}\lambda_{i})\lambda_{i} )}{ (\sum\lambda_{i}^{2} )^{2}}\biggr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq \biggl(\sum_{j} \int_{U^{*}}\biggl\vert \frac{ (\sum\lambda _{i}E^{i} (\lambda_{i}u ) ) (2b_{\varepsilon }N^{1/2} (\sum\lambda_{i}^{2} )^{\frac{1}{2}} )}{ (\sum\lambda_{i}^{2} )^{2}}\biggr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq 2b_{\varepsilon}N^{1/2} \biggl(\sum_{j} \int_{U^{*}}\Bigl\vert \sum\lambda _{i}E^{i} (\lambda_{i}u )\Bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq 2b_{\varepsilon}N^{3/2-1/p}n^{1/p} \biggl(\sum \int_{U_{i}}\bigl\vert E^{i}(\lambda_{i}u) \bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq 2b_{\varepsilon}N^{3/2-1/p}An^{1/p} \biggl(\sum \int_{\Omega} \vert \lambda_{i}u\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad\leq2b_{\varepsilon}N^{3/2}An^{1/p} \biggl( \int_{\Omega} \vert u\vert ^{p}\,dx \biggr)^{1/p}. \end{aligned}$$

From these evaluations we have

$$\begin{aligned} &\bigl\Vert \nabla (Eu )\bigr\Vert _{L^{p} (\mathbb{R}^{n} )} \\ &\quad\leq b_{+}NAn^{1/p} \biggl( \int_{\Omega} \vert u\vert ^{p}\,dx \biggr)^{1/p}+Nb_{\varepsilon}An^{1/p} \biggl( \int_{\Omega} \vert u\vert ^{p}\,dx \biggr)^{1/p} \\ &\qquad{}+NA' \biggl\{ b_{\varepsilon}n^{1/p} \biggl( \int_{\Omega} \vert u\vert ^{p}\,dx \biggr)^{1/p}+ \biggl( \int_{\Omega}\sum_{j}\vert \partial _{x_{j}}u\vert ^{p}\,dx \biggr)^{1/p} \biggr\} \\ &\qquad{}+2N^{3/2}b_{\varepsilon}An^{1/p} \biggl( \int_{\Omega} \vert u\vert ^{p}\,dx \biggr)^{1/p}+b_{-}n^{1/p} \biggl( \int_{\Omega} \vert u\vert ^{p}\,dx \biggr)^{1/p} \\ &\qquad{}+ \biggl( \int_{\Omega}\sum_{j}\vert \partial_{x_{j}}u\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad= \bigl(NA'+1 \bigr) \biggl( \int_{\Omega}\sum_{j}\vert \partial _{x_{j}}u\vert ^{p}\,dx \biggr)^{1/p} \\ &\qquad{} + \bigl(b_{+}NA+b_{\varepsilon}NA+2b_{\varepsilon }N^{3/2}A+b_{\varepsilon}NA'+b_{-} \bigr)n^{1/p} \biggl( \int_{\Omega} \vert u\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad= \bigl(NA'+1 \bigr)\Vert \nabla u\Vert _{L^{p} (\Omega )}+b_{\varepsilon} \bigl(4NA+2N^{3/2}A+NA'+3 \bigr)n^{1/p}\Vert u \Vert _{L^{p} (\Omega )}. \end{aligned}$$

Hence, inequality (22) holds for

$$\begin{aligned} A_{p} (\Omega )=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} NA'+1, & R\leq\gamma,\\ b_{\varepsilon} (4NA+2N^{3/2}A+NA'+3 )n^{1/p}/\gamma, & R>\gamma, \end{array}\displaystyle \right . \end{aligned}$$

where \(R:=b_{\varepsilon} (4NA+2N^{3/2}A+NA'+3 )n^{1/p}/ (NA'+1 )\). □

The operator norm derived by Theorem 4.2 leads to bounds for the embedding constant as in the following corollary.

Corollary 4.3

For given \(n\in\{2,3,\dots\}\) and \(p\in(n/(n-1),\infty)\), let \(T_{p}\) be a constant satisfying \(\Vert u\Vert _{L^{p} (\mathbb{R}^{n} )}\leq T_{p}\Vert \nabla u\Vert _{L^{q} (\mathbb{R}^{n} )}\) for all \(u\in W^{1,q}(\mathbb{R}^{n})\), where \(q=np/(n+p)\). Moreover, let \(\Omega\subset\mathbb{R}^{n}\) be a domain with minimally smooth boundary. Then,

$$\begin{aligned} \Vert u\Vert _{L^{p}(\Omega)}\leq C_{p}(\Omega)\Vert u\Vert _{W^{1,q}(\Omega)}, \quad\forall u\in W^{1,q}(\Omega), \end{aligned}$$
(28)

with

$$\begin{aligned} C_{p} (\Omega )=2^{\frac{q-1}{q}}T_{p}A_{q} (\Omega ). \end{aligned}$$

Here, \(\Vert \cdot \Vert _{W^{1,q}(\Omega)}\) denotes the σ-weighted \(W^{1,q}\) norm (2) for given \(\sigma>0\), and \(A_{q} (\Omega )\) is the upper bound of the operator norm derived by Theorem 4.2 with \(\gamma=\sigma^{1/q}\).

Proof

We have

$$\begin{aligned} \Vert u\Vert _{L^{p} (\Omega )} &\leq \Vert Eu\Vert _{L^{p} (\mathbb{R}^{n} )} \\ &\leq T_{p}\Vert \nabla Eu\Vert _{L^{q} (\mathbb{R}^{n} )} \\ &\leq T_{p}A_{q} (\Omega ) \bigl(\Vert \nabla u\Vert _{L^{q} (\Omega )}+\sigma^{1/q}\Vert u\Vert _{L^{q} (\Omega )} \bigr) \\ &\leq2^{\frac{q-1}{q}}T_{p}A_{q} (\Omega )\Vert u\Vert _{W^{1,q}(\Omega)} \end{aligned}$$
(29)

for all \(u\in W^{1,q}(\Omega)\). □

Remark 4.4

The value \(A_{p} (\Omega )\) derived by Theorem 4.2 monotonically decreases with \(\xi\in(0,1)\). Moreover, \(A_{p} (\Omega )\rightarrow A_{p} (\Omega )|_{\xi=0} \) (\(\xi\downarrow0\)). Therefore, \(A_{p} (\Omega )|_{\xi=0}+\delta\) and \(C_{p} (\Omega )|_{\xi=0}+\delta\) for any positive number δ become an upper bound of the norm of the extension operator E (defined by (12)) and an upper bound of the embedding constant (satisfying (1)), respectively, whereas the range of ξ is \((0,1)\).

Remark 4.5

The constant \(C_{p}' (\Omega )\) such that \(\Vert u\Vert _{L^{p}(\Omega)}\leq C_{p}' (\Omega )\Vert u\Vert _{H^{1}(\Omega)}\) for all \(u\in H^{1}(\Omega)\) is also important, especially for verified numerical computation and computer-assisted proof for PDEs summarized in, e.g., [911, 13]. We can obtain a formula that gives a concrete value of \(C_{p}' (\Omega )\) with additional assumptions for Ω and p (see Corollary D.1).

5 Examples

In this section, we present some examples of estimating the embedding constant \(C_{p} (\Omega )\) defined in (1) using Theorem 4.2 and Corollary 4.3. Throughout this section, we set ρ as the mollifier defined in (4) and \(\sigma=1\).

5.1 Calculation of constants

The constants \(A_{0}\), \(A_{1}\), P, and \(b_{\varepsilon}\) in Lemma 4.1 and Theorem 4.2 were numerically calculated. All computations were carried out on a computer with an Intel Core i7 860 CPU (2.80 GHz), 16.0 GB RAM, Windows 7, and MATLAB 2012b. Since all the rounding errors were strictly estimated using INTLAB version 6 [28], a toolbox for verified numerical computations, the accuracy of all results is mathematically guaranteed.

The constants \(A_{0}\) and \(A_{1}\) can be respectively computed as

$$\begin{aligned} A_{0}&= \sup \bigl\{ \bigl\vert t^{2}\psi (t )\bigr\vert : t\geq1 \bigr\} \quad \mbox{and}\quad A_{1}=\sup \bigl\{ \bigl\vert t^{3}\psi (t )\bigr\vert : t\geq1 \bigr\} \end{aligned}$$
(30)

with the function \(\psi:\mathbb{R}\rightarrow\mathbb{R}\) constructing the extension operator (10), which satisfies property (11). For example, the function

$$\begin{aligned} \psi (t ):=\frac{e}{\pi t}\operatorname{Im} \bigl(e^{-\omega (t-1 )^{\frac{1}{4}}} \bigr),\qquad \omega=C_{\omega }e^{-\frac{i\pi}{4}}=\frac{C_{\omega}}{\sqrt{2}} (1-i ) \end{aligned}$$
(31)

satisfies this property for any \(C_{\omega}>0\); a simple proof can be seen in, e.g., [6, 12]. Table 1 lists values of \(A_{0}\) and \(A_{1}\) for some selections of \(C_{\omega}\). We believe that \(C_{\omega}=4.83\) is a ‘good’ (albeit not optimal) selection for obtaining small \(A_{0}\) and \(A_{1}\). Moreover, recall that \(b_{\varepsilon}\) is a positive number satisfying

$$\begin{aligned} b_{\varepsilon}&\geq \int_{\mathbb{R}^{n}}\bigl\vert \partial_{x_{j}}\rho _{\frac{1}{4}\varepsilon} (x )\bigr\vert \,dx \biggl(= \frac{4}{\varepsilon} \int_{\mathbb{R}^{n}}\bigl\vert \partial_{x_{1}}\rho (x )\bigr\vert \,dx \biggr). \end{aligned}$$
(32)

For the mollifier defined in (4), the bounds for the integration in (32) are independent of the index j. Furthermore, one of the concrete values of P can be derived by (7) with the condition \(|\alpha|=1\), i.e., it can be computed as

$$\begin{aligned} P&= \int_{\mathbb{R}^{n}} \bigl\{ (n-1 )\rho _{*} \bigl(\vert x \vert \bigr)+\vert x\vert \rho_{*}' \bigl(\vert x \vert \bigr) \bigr\} \bigl(1-\vert x\vert \bigr)^{-1}\,dx. \end{aligned}$$

Using verified numerical computation, we derived the following estimation results:

$$\begin{aligned} \int_{\mathbb{R}^{2}}\bigl\vert \partial_{x_{1}}\rho (x )\bigr\vert \,dx&\in[1.86412, 1.92770] \quad\mbox{and}\quad P\in[7.45592, 7.50131] \end{aligned}$$

for the case of \(n=2\).

Table 1 Values of \(\pmb{A_{0}}\) and \(\pmb{A_{1}}\)

5.2 Examples of estimating the embedding constant

Here, we present estimation results for the following two concrete domains:

Example A

Let \(\Omega\subset\mathbb{R}^{2}\) be the domain as in Figure 1(a). We set \(\{U_{i} \}_{i\in\mathbb{N}}\) as follows: we first defined the two sets among \(U_{i}\) as in Figure 1(b); then, \(U_{i}\) (\(i=1,2,\dots,8\)) were obtained by symmetry reflections; and finally, we defined the other \(U_{i}\) (\(i=9,10,11,\dots\)) as empty sets. In this case, we chose \(M=1\), \(N=2\), and \(\varepsilon=0.25\). We can find in Figure 1(c) that these constants satisfy the required conditions mentioned in Theorem 4.2.

Figure 1
figure 1

Figures in Example A . (a): Domain Ω. (b) and (c): open sets \(U_{i}\) (\(i=1,2,\ldots,8\)).

Figure 2(a) shows the relationship between τ and \(A_{q} (\Omega )\) in the cases of \(p=4, 6, \mbox{and } 8\); recall that \(q=2p/(2+p)\). We can observe that \(A_{q} (\Omega )\) first decreases as τ increases. Then, it reaches a minimum point; thereafter, it monotonically increases with τ. The relationship between p and the value of τ that minimizes \(A_{q} (\Omega )\) can be seen in Figure 2(b). For example, in the cases of \(p=4, 6, \mbox{and } 8\), each \(A_{q} (\Omega )\) is minimized at the points \(\tau\approx8.12, 5.83, \mbox{and } 5.06\), respectively.

Figure 2
figure 2

The relationship between (a) τ and \(\pmb{A_{q} (\Omega )}\) with \(\pmb{p=4, 6, \mbox{and }8}\) , (b) p and τ that minimizes \(\pmb{A_{q} (\Omega )}\) , and (c) p and \(\pmb{C_{p} (\Omega )}\) .

Figure 2(c) shows the relationship between p and \(C_{p} (\Omega )\); we chose τ such that \(A_{q} (\Omega )\) (and \(C_{p} (\Omega )\)) are as small as possible. Recall that all the results in Figure 2 are mathematically guaranteed with verified numerical computation.

Example B

Let \(\Omega\subset\mathbb{R}^{2}\) be the domain as in Figure 3(a), the boundary of which is composed of five semicircles and a straight line. We set \(\{U_{i} \}_{i\in\mathbb{N}}\) as follows: we first set \(U_{i}\) (\(i=1,2,\dots,6\)) as in Figures 3(b), (c), (d); then, we obtained the other \(U_{i}\)s \((i=7,8,\dots,10)\) by symmetrical reflection; and finally, the other \(U_{i}\) (\(i=11,12,\dots\)) were defined as empty sets. In this case, we chose \(M=1\), \(N=2\), and \(\varepsilon=2\sin(\pi/8)/\{\sin (\pi/8)+1\}\). The selection of ε depends on the smallest semicircle that constitutes the boundary of Ω. We can find in Figure 4 that \(\varepsilon=2\sin(\pi/8)/\{\sin (\pi/8)+1\}\) satisfies the required condition in Theorem 4.2. The graphs of \(A_{q} (\Omega )\), τ that minimizes \(A_{q} (\Omega )\), and \(C_{p} (\Omega )\) are also shown in Figure 5.

Figure 3
figure 3

Figures in Example B . (a): Domain Ω. (b)-(d): \(U_{i}\) (\(i=1,2,\ldots,6\)) are shown; the other \(U_{i}\) (\(i=7,8,\ldots,10\)) can be obtained by symmetrical reflection.

Figure 4
figure 4

How to determine ε .

Figure 5
figure 5

The same as Figure  2 , but for the case of the domain Ω in Figure  3 (a).

6 Conclusion

We proposed a method for estimating the operator norm \(A_{q} (\Omega )\) (defined in (3)) of the extension operator constructed by Stein [12]. The concrete bounds for the operator norm lead to estimation of the embedding constant \(C_{p}(\Omega)\) from \(W^{1,q}(\Omega)\) to \(L^{p}(\Omega)\), as defined in (1). Here, Ω is only assumed to be a domain with minimally smooth boundary.

In addition, we presented some estimation results of the embedding constants. All the estimation results are mathematically guaranteed with verified numerical computation, whereas the derived constants may not be sharp because of some overestimations.

References

  1. Aubin, T: Problèmes isopérimétriques et espaces de Sobolev. J. Differ. Geom. 11(4), 573-598 (1976)

    MathSciNet  MATH  Google Scholar 

  2. Aubin, T: Nonlinear Analysis on Manifold. Monge-Ampère Equations. Springer, New York (1982)

    Book  Google Scholar 

  3. Beckner, W: Sharp Sobolev inequalities on the sphere and the Moser-Trudinger inequality. Ann. Math. 138(1), 213-242 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  4. Brezis, H, Nirenberg, L: Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents. Commun. Pure Appl. Math. 36(4), 437-477 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  5. Calderón, AP: Lebesgue spaces of differentiable functions and distributions. In: Proc. Sympos. Pure Math., vol. 4, pp. 33-49 (1961)

    Google Scholar 

  6. Edmunds, DE, Evans, W: Spectral Theory and Differential Operators. Oxford University Press, New York (1987)

    MATH  Google Scholar 

  7. Hestenes, MR: Extension of the range of a differentiable function. Duke Math. J. 8(1), 183-192 (1941)

    Article  MathSciNet  Google Scholar 

  8. Lieb, EH: Sharp constants in the Hardy-Littlewood-Sobolev and related inequalities. Ann. Math. 118, 349-374 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  9. Nakao, MT: Numerical verification methods for solutions of ordinary and partial differential equations. Numer. Funct. Anal. Optim. 22(3-4), 321-356 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  10. Plum, M: Computer-assisted enclosure methods for elliptic differential equations. Linear Algebra Appl. 324(1), 147-187 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  11. Plum, M: Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance. Jahresber. Dtsch. Math.-Ver. 110(1), 19-54 (2008)

    MathSciNet  MATH  Google Scholar 

  12. Stein, E: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton (1970)

    MATH  Google Scholar 

  13. Takayasu, A, Liu, X, Oishi, S: Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains. Nonlinear Theory Appl., IEICE 4(1), 34-61 (2013)

    Article  Google Scholar 

  14. Talenti, G: Best constant in Sobolev inequality. Ann. Mat. Pura Appl. 110(1), 353-372 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  15. Watanabe, K, Kametaka, Y, Nagai, A, Yamagishi, H, Takemura, K: Symmetrization of functions and the best constant of 1-dim Sobolev inequality. J. Inequal. Appl. 2009, 874631 (2009)

    Article  MathSciNet  Google Scholar 

  16. Whitney, H: Analytic extensions of differentiable functions defined in closed sets. Trans. Am. Math. Soc. 36(1), 63-89 (1934)

    Article  MathSciNet  Google Scholar 

  17. Cai, S, Nagatou, K, Watanabe, Y: A numerical verification method for a system of FitzHugh-Nagumo type. Numer. Funct. Anal. Optim. 33(10), 1195-1220 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  18. Adams, RA, Fournier, JJ: Sobolev Spaces, 2nd edn. Pure and Applied Mathematics. Academic Press, New York (2003)

    MATH  Google Scholar 

  19. Brezis, H: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer, New York (2011)

    MATH  Google Scholar 

  20. Rogers, LG: Degree-independent Sobolev extension on locally uniform domains. J. Funct. Anal. 235(2), 619-665 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  21. Jones, PW: Quasiconformal mappings and extendability of functions in Sobolev spaces. Acta Math. 147(1), 71-88 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  22. Azzam, J, Schul, R: Hard Sard: quantitative implicit function and extension theorems for Lipschitz maps. Geom. Funct. Anal. 22(5), 1062-1123 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  23. Fefferman, C: Whitney’s extension problem for \(C^{m}\). Ann. Math. 164(1), 313-359 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  24. Hiptmair, R, Li, J, Zou, J: Universal extension for Sobolev spaces of differential forms and applications. J. Funct. Anal. 263(2), 364-382 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  25. Pechstein, C: Shape-explicit constants for some boundary integral operators. Appl. Anal. 92(5), 949-974 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  26. Fraenkel, L: On regularized distance and related functions. Proc. R. Soc. Edinb., Sect. A, Math. 83(1-2), 115-122 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  27. Grisvard, P: Elliptic Problems in Nonsmooth Domains. Classics Appl. Math. SIAM, Philadelphia (2011)

    Book  MATH  Google Scholar 

  28. Rump, S: INTLAB - INTerval LABoratory. In: Csendes, T (ed.) Developments in Reliable Computing, pp. 77-104. Kluwer Academic, Dordrecht (1999) http://www.ti3.tuhh.de/rump/

    Chapter  Google Scholar 

  29. Hardy, GH, Littlewood, JE, Pólya, G: Inequalities. Cambridge University Press, Cambridge (1952)

    MATH  Google Scholar 

Download references

Acknowledgements

The authors express their sincere thanks to Professor M Kashiwagi (Waseda University, Tokyo, Japan) for his valuable comments. They also express their profound gratitude to an editor and two anonymous referees for their highly insightful comments and suggestions.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Kazuaki Tanaka.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All the authors contributed equally. All authors read and approved the final manuscript.

Appendices

Appendix 1: Relation between p-norms

The following lemma is required for proving Corollary B.2 and Corollary D.1.

Lemma A.1

For \(0< p< q\) and \(x\in\mathbb{R}^{n} \) (\(n\in\mathbb{N}\)), we have

$$\begin{aligned} \vert x\vert _{q}\leq \vert x\vert _{p}\leq n^{\frac{1}{p}-\frac {1}{q}}\vert x\vert _{q}, \end{aligned}$$
(33)

where both inequalities are optimal.

Proof

We first prove the left inequality in (33). This is clear when \(x=0\). Otherwise, since \(\vert x_{i}\vert /\vert x\vert _{q}\leq1\) for \(i=1,2,\dots,n\), we have

$$\begin{aligned} \sum_{i=1}^{n} \biggl(\frac{\vert x_{i}\vert }{\vert x\vert _{q}} \biggr)^{p}\geq\sum_{i=1}^{n} \biggl(\frac{\vert x_{i}\vert }{\vert x\vert _{q}} \biggr)^{q}=1, \end{aligned}$$

and therefore, \(\vert x\vert _{p}\geq \vert x\vert _{q}\). The equality is attained, e.g., when \(x_{1}=1\) and \(x_{i}=0\) (\(i=2,3,\dots,n\)).

We then prove the right inequality in (33). Holder’s inequality ensures that

$$\begin{aligned} \vert x\vert _{p}^{p}\leq \Biggl(\sum _{i=1}^{n} \bigl(\vert x_{i}\vert ^{p} \bigr)^{\frac{q}{p}} \Biggr)^{\frac{p}{q}} \Biggl(\sum _{i=1}^{n}1^{\frac{q}{q-p}} \Biggr)^{\frac{q-p}{q}}=n^{1-\frac {p}{q}} \Biggl(\sum_{i=1}^{n}\vert x_{i}\vert ^{q} \Biggr)^{\frac{p}{q}}. \end{aligned}$$

Raising both sides of this inequality to the power \(1/p\), we have \(\vert x\vert _{p}\leq n^{\frac{1}{p}-\frac{1}{q}}\vert x\vert _{q}\). The equality is attained, e.g., when \(x_{i}=1\) (\(i=1,2,\dots,n\)). □

Appendix 2: The best constant in the classical Sobolev inequality

The following theorem gives the best constant in the classical Sobolev inequality.

Theorem B.1

(Aubin [1] and Talenti [14])

Let u be any function in \(H^{1} (\mathbb{R}^{n} )\) (\(n=2,3,\dots\)). Moreover, let q be any real number such that \(1< q< n\), and set \(p=nq/ (n-q )\). Then,

$$\begin{aligned} \biggl( \int_{\mathbb{R}^{n}}\bigl\vert u(x)\bigr\vert ^{p}\,dx \biggr)^{\frac {1}{p}}\leq T_{p}' \biggl( \int_{\mathbb{R}^{n}}\bigl\vert \nabla u(x)\bigr\vert _{2}^{q}\,dx \biggr)^{\frac{1}{q}} \end{aligned}$$

with

$$\begin{aligned} T_{p}'=\pi^{-\frac{1}{2}}n^{-\frac{1}{q}} \biggl( \frac{q-1}{n-q} \biggr)^{1-\frac{1}{q}} \biggl\{ \frac{\Gamma (1+\frac{n}{2} )\Gamma (n )}{\Gamma (\frac{n}{q} )\Gamma (1+n-\frac {n}{q} )} \biggr\} ^{\frac{1}{n}}, \end{aligned}$$
(34)

where Γ is the gamma function.

From Lemma A.1 and Theorem B.1 the following corollary immediately follows.

Corollary B.2

Let u be any function in \(H^{1} (\mathbb{R}^{n} )\) (\(n=2,3,\dots\)). Moreover, let q be any real number such that \(1< q< n\), and set \(p=nq/ (n-q )\). Then,

$$\begin{aligned} \Vert u\Vert _{L^{p} (\mathbb{R}^{n} )}\leq T_{p}\Vert \nabla u\Vert _{L^{q} (\mathbb{R}^{n} )} \end{aligned}$$

with \(T_{p}=M_{2,q}T_{p}'\), where \(T_{p}'\) is defined by (34), and

$$\begin{aligned} M_{2,q}:=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} 1, &1< q< 2,\\ n^{\frac{1}{2}-\frac{1}{q}}, &2\leq q< n. \end{array}\displaystyle \right . \end{aligned}$$

Proof

Since Lemma A.1 ensures that

$$\begin{aligned} \biggl( \int_{\mathbb{R}^{n}}\bigl\vert \nabla u (x )\bigr\vert _{2}^{q}\,dx \biggr)^{\frac{1}{q}}\leq M_{2,q} \biggl( \int_{\mathbb {R}^{n}}\bigl\vert \nabla u (x )\bigr\vert _{q}^{q}\,dx \biggr)^{\frac {1}{q}}=M_{2,q}\Vert \nabla u\Vert _{L^{q} (\mathbb{R}^{n} )}, \end{aligned}$$

this corollary holds. □

Appendix 3: Lemmas for proving Lemma 4.1 and Theorem 4.2

The following two lemmas are required to prove Lemma 4.1 and Theorem 4.2.

Lemma C.1

(Hardy et al. [29])

Let \(p\in\mathbb{N}\) and \(r>0\). Suppose that a function \(f:\mathbb{R}\rightarrow\mathbb{R}\) satisfies \(f (x )\geq0\), \(\forall x\in\mathbb{R}\). Then, it follows that

$$\begin{aligned} \biggl( \int_{0}^{\infty} \biggl( \int_{0}^{x}f (y )\,dy \biggr)^{p}x^{-r-1}\,dx \biggr)^{1/p}& \leq\frac{p}{r} \biggl( \int _{0}^{\infty} \bigl(yf (y ) \bigr)^{p}y^{-r-1}\,dy \biggr)^{1/p} \end{aligned}$$

and

$$\begin{aligned} \biggl( \int_{0}^{\infty} \biggl( \int_{x}^{\infty}f (y )\,dy \biggr)^{p}x^{r-1}\,dx \biggr)^{1/p}& \leq\frac{p}{r} \biggl( \int _{0}^{\infty} \bigl(yf (y ) \bigr)^{p}y^{r-1}\,dy \biggr)^{1/p}. \end{aligned}$$

Lemma C.2

Let \(S\subseteq\mathbb{R}^{n}\) and \(p\in[1,\infty)\). Moreover, let \(\{a_{i} (x ) \}_{i\in\mathbb {N}}\subset L^{p} (S )\) be such that at most N of \(a_{i} (x )\) are not zero for each x. Then, we have

$$\begin{aligned} \biggl( \int_{S}\biggl\vert \sum_{i\in\mathbb{N}}a_{i} (x )\biggr\vert ^{p}\,dx \biggr)^{\frac{1}{p}}\leq N^{1-\frac{1}{p}} \biggl(\sum_{i\in \mathbb{N}} \int_{S}\bigl\vert a_{i} (x )\bigr\vert ^{p}\,dx \biggr)^{\frac{1}{p}}. \end{aligned}$$

Proof

This lemma follows from the inequality

$$\begin{aligned} \biggl\vert \sum_{i\in\mathbb{N}}a_{i} (x )\biggr\vert ^{p}\leq N^{p-1}\sum_{i\in\mathbb{N}} \bigl\vert a_{i} (x )\bigr\vert ^{p}, \end{aligned}$$

which comes from Hölder’s inequality. □

Appendix 4: The embedding constant from \(H^{1} (\Omega )\) to \(L^{p}(\Omega)\)

Corollary D.1, which comes from Theorem 4.2, gives a concrete estimation of the embedding constant from \(H^{1} (\Omega )\) to \(L^{p}(\Omega)\) under suitable assumptions for Ω and p.

Corollary D.1

For given \(n\in \{2,3,\dots \}\), let p be a real number such that \(p\in(n/(n-1),2n/(n-2))\) if \(n\geq3\) and \(p\in(n/(n-1),\infty)\) if \(n=2\), and set \(q=np/(n+p)\). Moreover, let \(\Omega\subset\mathbb{R}^{n}\) be a bounded domain with minimally smooth boundary. Then, for any \(r\in[q,2)\),

$$\begin{aligned} \Vert u\Vert _{L^{p}(\Omega)}\leq C_{p}' (\Omega ) \Vert u\Vert _{H^{1}(\Omega)}, \quad\forall u\in H^{1}(\Omega), \end{aligned}$$

with

$$\begin{aligned} C_{p}' (\Omega )=2^{1/2}\vert \Omega \vert ^{\frac {2-q}{2q}}T_{r^{*}}M_{r,2}A_{r} (\Omega ). \end{aligned}$$

Here, \(\Vert \cdot \Vert _{H^{1}(\Omega)}\) denotes the σ-weighted \(W^{1,2}\) norm (2) for given \(\sigma>0\), \(r^{*}:=nr/(n-r)\), \(T_{r^{*}}\) is a constant satisfying \(\Vert u\Vert _{L^{r^{*}} (\mathbb{R}^{n} )}\leq T_{r^{*}}\Vert \nabla u\Vert _{L^{r} (\mathbb{R}^{n} )}\) for all \(u\in W^{1,r}(\mathbb{R}^{n})\), \(M_{r,2}:=n^{\frac{1}{r}-\frac{1}{2}}\), and \(A_{r} (\Omega )\) is the upper bound for the operator norm derived by Theorem 4.2 with \(\gamma=\sigma^{1/2}\).

Proof

Since \(q\in(1,2)\), a real number r such that \(r\in[q,2)\) exists.

Let \(u\in H^{1} (\Omega )\). Hölder’s inequality gives

$$\begin{aligned} \Vert u\Vert _{L^{p}(\Omega)}^{p}&\leq \biggl( \int_{\Omega}\bigl\vert u (x )\bigr\vert ^{p\cdot\frac{r^{*}}{p}} \biggr)^{\frac{p}{r^{*}}} \biggl( \int_{\Omega}1^{\frac{r^{*}}{r^{*}-p}} \biggr)^{\frac{r^{*}-p}{r^{*}}} =\vert \Omega \vert ^{\frac{r^{*}-p}{r^{*}}}\Vert u\Vert _{L^{r^{*}} (\Omega )}^{p}, \end{aligned}$$

and we have

$$\begin{aligned} \Vert u\Vert _{L^{r^{*}} (\Omega )}&\leq \Vert Eu\Vert _{L^{r{*}} (\mathbb{R}^{n} )} \leq T_{r^{*}}\Vert \nabla Eu\Vert _{L^{r} (\mathbb{R}^{n} )} \\ &\leq T_{r^{*}}A_{r} (\Omega ) \bigl(\Vert \nabla u\Vert _{L^{r} (\Omega )}+\sigma^{1/2}\Vert u\Vert _{L^{r} (\Omega )} \bigr). \end{aligned}$$

Therefore, it follows that

$$\begin{aligned} \Vert u\Vert _{L^{p}(\Omega)}\leq \vert \Omega \vert ^{\frac {r^{*}-p}{pr^{*}}}T_{r^{*}}A_{r} (\Omega ) \bigl(\Vert \nabla u\Vert _{L^{r} (\Omega )}+\sigma^{1/2} \Vert u\Vert _{L^{r} (\Omega )} \bigr). \end{aligned}$$
(35)

Moreover, Hölder’s inequality again gives

$$\begin{aligned} \Vert \nabla u\Vert _{L^{r} (\Omega )}^{r}&\leq \biggl( \int _{\Omega}\bigl\vert \nabla u (x )\bigr\vert _{r}^{r\cdot\frac {2}{r}}\,dx \biggr)^{\frac{r}{2}} \biggl( \int_{\Omega}1^{\frac {2}{2-r}}\,dx \biggr)^{\frac{2-r}{2}} \\ &=\vert \Omega \vert ^{\frac{2-r}{2}} \biggl( \int_{\Omega}\bigl\vert \nabla u (x )\bigr\vert _{r}^{2}\,dx \biggr)^{\frac{r}{2}}, \end{aligned}$$

where \(\vert \Omega \vert \) is the measure of Ω. Therefore, it follows from Lemma A.1 that

$$\begin{aligned} \Vert \nabla u\Vert _{L^{r} (\Omega )}\leq \vert \Omega \vert ^{\frac{2-r}{2r}}M_{r,2}\Vert \nabla u\Vert _{L^{2} (\Omega )}. \end{aligned}$$
(36)

In the same manner, we have

$$\begin{aligned} \Vert u\Vert _{L^{r} (\Omega )}\leq \vert \Omega \vert ^{\frac{2-r}{2r}} \Vert u\Vert _{L^{2} (\Omega )}. \end{aligned}$$
(37)

Since \(M_{r,2}\geq1\) and \((r^{*}-p)/(pr^{*})+(2-r)/(2r)=(2-q)/(2q)\), it follows from (35), (36), and (37) that

$$\begin{aligned} \Vert u\Vert _{L^{p} (\Omega )}&\leq \vert \Omega \vert ^{\frac{r^{*}-p}{pr^{*}}+\frac{2-r}{2r}}T_{r^{*}}M_{r,2}A_{r} (\Omega ) \bigl(\Vert \nabla u\Vert _{L^{2} (\Omega )}+\sigma^{1/2} \Vert u\Vert _{L^{2} (\Omega )} \bigr) \\ &\leq2^{1/2}\vert \Omega \vert ^{\frac {2-q}{2q}}T_{r^{*}}M_{r,2}A_{r} (\Omega )\Vert u\Vert _{H^{1} (\Omega )}. \end{aligned}$$

 □

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Tanaka, K., Sekine, K., Mizuguchi, M. et al. Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator. J Inequal Appl 2015, 389 (2015). https://doi.org/10.1186/s13660-015-0907-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-015-0907-x

MSC

Keywords