Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am trying to find a way of extending functions in the Sobolev Space $W^{1, \infty}(U)$ to $W^{1, \infty}(\mathbb{R}^n)$ where $U\subset\mathbb{R}^{n}$ is open such that $U\subset\subset V$ for $V\subset\mathbb{R}^{n}$ also open and bounded. Furthermore, assume $\partial U$ is $C^1$.

share|improve this question
1  
Your space $W^{1,\infty}(U)$ is in fact the space of Lipschitz continuous functions defined on $U$. It looks like you need something like this: en.wikipedia.org/wiki/Kirszbraun_theorem –  Beni Bogosel Jun 15 '12 at 18:11
1  
Kirszbraun's theorem works, but for scalar-valued functions. McShane-Whitney formula $U(y)=\inf_{x\in U}u(x)+L|x-y|$ is all one needs. Either way, one first needs to know that $W^{1,\infty}(U)=\mathrm{Lip}(U)$ for the indicated class of domains $U$. If this nontrivial fact cannot be taken for granted, it will be the main part of the proof. –  user31373 Jun 15 '12 at 18:22
    
@LeonidKovalev : What should one take care of in this case compared to extension of $W^{1,p}$ ? why does it not work for $p=\infty $ –  Theorem Jun 15 '12 at 18:46
    
@Theorem The Whitney-type extension, as described, e.g., in Stein's 1970 book, works fine for all $1\le p\le \infty$. But when $p=\infty$, one is tempted to give a shorter proof using the identification of $W^{1,\infty}$ with the Lipschitz space, see the comment by Beni Bogosel. I made a remark to the effect that the identification is not entirely trivial. ... Side remark: it's hard to answer question like this without knowing the tools that the questioner has in disposal. I can't tell if Nirav knows about Whitney decomposition etc. –  user31373 Jun 15 '12 at 18:55

1 Answer 1

I am not familiar with the Whitney extension theorem, etc. but maybe the following proof will do?

Fix $x^0\in\partial U$. Assume for now that for some ball $B=B(x^0, r)$ about $x^0$, the boundary is straightened, such that $B\cap U\subset \mathbb{R}_{+}^n$. Let $B^+=\{x\in B\ \mid \ x_n\geq 0\}$ and $B^-=\{x\in B\ \mid \ x_n\leq 0\}$. Define \begin{equation} \bar{u}(x)\equiv\left\{ \begin{array}{l l} u(x', x_n)&\quad x\in B^+\\ u(x', -x_n)&\quad x\in B^-. \end{array}\right. \end{equation} Let $u^+=\bar{u}|_{B^+}$ and $u^-=\bar{u}|_{B^-}$. On $\{x_n=0\}$ we observe that $u^+=u^-$. Since $u\in L_{\text{loc}}^1(U)$ we can deduce that $\bar{u}\in L_{\text{loc}}^1(B)$. We now claim that the weak derivative of $\bar{u}$ is \begin{equation}%\label{eq: dve} D\bar{u}(x)=\left\{ \begin{array}{l l} Du(x', x_n)&\quad x\in B^+\\ D_{x'}u(x', -x_n)&\quad x\in B^-\\ -D_{x_n}u(x', -x_n)&\quad x\in B^-. \end{array}\right. \end{equation} We prove it as follows. Let $\varphi\in C_{c}^{\infty}(B)$ and assume for now that $u\in C^1(\overline{B^+\setminus\mathbb{R}^{n-1}})$ then \begin{align*} \int_{B}\bar{u}\varphi_{x_n}\mathrm{d}x &=\int_{B^{+}}\bar{u}\varphi_{x_n}\mathrm{d}x+\int_{B^-}\bar{u}\varphi_{x_n}\mathrm{d}x\\ &=\int_{B^{+}}u\varphi_{x_n}\mathrm{d}x-\int_{B^+}u(y', y_n)\varphi_{y_n}(y', -y_n)\mathrm{d}y\\ &=-\int_{\{x_n=0\}}u\varphi\mathrm{d}S_x-\int_{B^+}u_{x_n}(x', x_n)\varphi(x', x_n)\mathrm{d}x+\int_{\{y_n=0\}}u\varphi\mathrm{d}S_y-\int_{B^+}-u_{y_n}(y', y_n)\varphi(y', -y_n)\mathrm{d}y\\ &=-\int_{B^+}u_{x_n}(x', x_n)\varphi(x', x_n)\mathrm{d}x-\int_{B^+}-u_{y_n}(y', y_n)\varphi(y', -y_n)\mathrm{d}y\\ &=-\int_{B^+}u_{x_n}(x', x_n)\varphi(x', x_n)\mathrm{d}x-\int_{B^-}-u_{x_n}(x', -x_n)\varphi(x', x_n)\mathrm{d}x \end{align*} and using the same technique for $i\neq n$ we obtain for every multi index $\alpha$ such that $\vert\alpha\vert=1$ \begin{equation*} \int_{B}\bar{u}D^{\alpha}\varphi\mathrm{d}x=\left\{ \begin{array}{l} -\int_{B^+}D_{x'}u(x', x_n)\varphi(x', x_n)\mathrm{d}x-\int_{B^-}D_{x'}u(x', -x_n)\varphi(x', x_n)\mathrm{d}x\\ -\int_{B^+}D_{x_n}u(x', x_n)\varphi(x', x_n)\mathrm{d}x-\int_{B^-}-D_{x_n}u(x', -x_n)\varphi(x', x_n)\mathrm{d}x. \end{array}\right. \end{equation*}

Let $C^+\equiv B^+\setminus\{x_n=0\}$. Since $u\in W^{1, \infty}(C^+)$ is locally integrable in $C^+$, we can define its $\varepsilon$ mollification in $C_{\varepsilon}^+$ and we also know that: \begin{equation*} D^{\alpha}u^{\varepsilon}(x)\equiv \eta_{\varepsilon}\ast D^{\alpha}u(x)\quad x\in C_{\varepsilon}^+, \ \vert\alpha\vert\leq1. \end{equation*} Here, we define the cutoff function $\eta:\mathbb{R}^n\rightarrow\mathbb{R}$ as \begin{equation*} \eta(x)\equiv\left\{ \begin{array}{l l} C\exp\left[\frac{-1}{1-\|x\|^2}\right] &\quad \|x\|<1\\ 0&\quad \|x\|\geq 1 \end{array}\right. \end{equation*} where $C$ is chosen such that $\int_{\mathbb{R}^n}\eta\mathrm{d}x=1$ and then we define $\eta_{\varepsilon}(x)\equiv\frac{1}{\varepsilon^n}\eta\left(\frac{x}{\varepsilon}\right)$.

Define $v_{\varepsilon}: C^{+}\rightarrow\mathbb{R}$ as \begin{equation*} v_{\varepsilon}(x)\equiv\left\{ \begin{array}{l l} u^{\varepsilon}(x) &\quad x\in C_{\varepsilon}^{+}\\ 0&\quad x\in C^{+}\setminus C_{\varepsilon}^{+}. \end{array}\right. \end{equation*} Now, because $u^{\varepsilon}\in C^{\infty}(D)$ for every open bounded set $D\subset C^+$, by repeated application of the mean value theorem, the derivatives of all orders are bounded on such $D$. Therefore $D^{\alpha}u$ is Lipschitz continuous on $D$ for all $\vert\alpha\vert\leq 1$. In particular, $D^{\alpha}u$ is uniformly continuous on open bounded subsets of $C^{+}$ for all $\vert\alpha\vert\leq 1$. So we can say that $v^{\varepsilon}\in C^1(\overline{C_{\varepsilon}^{+}})$. Now for $\vert\alpha\vert=1$ we claim that the weak derivative of $v_{\varepsilon}$ exists and is given by: \begin{equation} D^{\alpha}v_{\varepsilon}(x)\equiv\left\{ \begin{array}{l l} D^{\alpha}u^{\varepsilon}(x) &\quad x\in C_{\varepsilon}^{+}\\ 0&\quad x\in C^{+}\setminus C_{\varepsilon}^{+}. \end{array}\right. \end{equation} We check it as follows, let $\vert\alpha\vert=1$ and let $\varphi\in C_{c}^{\infty}(C^+)$, then \begin{align*} \int_{C^+}v_{\varepsilon}\varphi_{x_i}\mathrm{d}x &=\int_{C_{\varepsilon}^{+}}v_{\varepsilon}\varphi_{x_i}\mathrm{d}x\\ &=-\int_{C_{\varepsilon}^+}(v_{\varepsilon})_{x_i}\varphi\mathrm{d}x+0\\ &=-\int_{C_{\varepsilon}^+}u^{\varepsilon}_{x_i}\varphi\mathrm{d}x \end{align*} for $i=1, \dots, n$ whence we conclude that the weak derivative exists. Since $\|D^{\alpha}v_{\varepsilon}\|_{L^{\infty}(C^+)}\leq\|D^{\alpha}u\|_{L^{\infty}(C^+)}\infty$ for all $\vert\alpha\vert\leq 1$ we conclude that $v_{\varepsilon}\in W^{1, \infty}(C^+)$. Moreover as $\varepsilon\rightarrow0$ \begin{equation*} D^{\alpha}v^{\varepsilon}\rightarrow D^{\alpha}u\quad\text{a.e. in } C^+, \ \vert\alpha\vert\leq 1. \end{equation*} We can write \begin{equation*} C^+\equiv\bigcup_{i=1}^{\infty}C_{1/i}^{+} \end{equation*} and $D^{\alpha}v_{i}: C^{+}\rightarrow\mathbb{R}$ for each $\vert\alpha\vert\leq 1$ \begin{equation*} D^{\alpha}v_{i}(x)\equiv\left\{ \begin{array}{l l} D^{\alpha}v^{\frac{1}{i}}(x) &\quad x\in C_{1/i}^{+}\\ 0&\quad x\in C^+\setminus C_{1/i}^{+}. \end{array}\right. \end{equation*} Since $D^{\alpha}v_i$ is measurable and uniformly bounded almost everywhere in $C^+$ by $\|D^{\alpha}v\|_{\infty}$ for each $\vert\alpha\vert\leq 1$, we deduce by the dominated convergence theorem that: \begin{equation*} \lim_{i\rightarrow \infty}\int_{C^+}D^{\alpha}v_i\mathrm{d}x=\int_{C^+}D^{\alpha}u\mathrm{d}x\quad \vert\alpha\vert\leq 1. \end{equation*} Since $\mathcal{L}^{n}(\mathbb{R}^{n-1})=0$ we can define $D^{\alpha}v_i$ arbitrarily there and write \begin{equation*} \lim_{i\rightarrow \infty}\int_{B^+}D^{\alpha}v_i\mathrm{d}x=\int_{B^+}D^{\alpha}u\mathrm{d}x \quad\vert\alpha\vert\leq 1. \end{equation*} Now let $\bar{u}$ be as defined initially, $\alpha=(0, \dots, 1)$ and $\varphi\in C_{c}^{\infty}(B)$, then %replacing $D^{\alpha}v_i$ with $D^{\alpha}u_i$ we have \begin{align*} \int_{B}\bar{u}D^{\alpha}\varphi\mathrm{d}x &=\int_{B^{+}}\bar{u}D^{\alpha}\varphi\mathrm{d}x+\int_{B^-}\bar{u}D^{\alpha}\varphi\mathrm{d}x\\ &=\int_{B^{+}}uD^{\alpha}\varphi\mathrm{d}x-\int_{B^+}u(y', y_n)D^{\alpha}\varphi_{y_n}(y', -y_n)\mathrm{d}y\\ &=\lim_{i\rightarrow \infty}\int_{B^{+}}v_iD^{\alpha}\varphi\mathrm{d}x-\lim_{i\rightarrow \infty}\int_{B^+}v_i(y', y_n)D^{\alpha}\varphi(y', -y_n)\mathrm{d}y\\ &=-\lim_{i\rightarrow \infty}\int_{B^+}D^{\alpha}v_i(x', x_n)\varphi(x', x_n)\mathrm{d}x-\lim_{i\rightarrow \infty}\int_{B^+}-D^{\alpha}v_i(y', y_n)\varphi(y', -y_n)\mathrm{d}y\\ &=-\int_{B^+}D^{\alpha}u(x', x_n)\varphi(x', x_n)\mathrm{d}x-\int_{B^+}-D^{\alpha}u(y', y_n)\varphi(y', -y_n)\mathrm{d}y\\ &=-\int_{B^+}D^{\alpha}u(x', x_n)\varphi(x', x_n)\mathrm{d}x-\int_{B^-}-D^{\alpha}u(x', -x_n)\varphi(x', x_n)\mathrm{d}x. \end{align*} We obtain the corresponding result for any other multi index $\alpha$ such that $\vert\alpha\vert=1$. So we conclude that the weak derivative of $\bar{u}$ is as claimed.

Furthermore, we have that for $\vert \alpha\vert\leq 1$: \begin{equation*} \vert\vert D^{\alpha}\bar{u}\vert\vert_{L^{\infty}(B)}\leq\vert\vert D^{\alpha}\bar{u}\vert\vert_{L^{\infty}(B^+)}+\vert\vert D^{\alpha}\bar{u}\vert\vert_{L^{\infty}(B^-)}=2\vert\vert D^{\alpha}u\vert\vert_{L^{\infty}(B^+)} \end{equation*} and hence \begin{equation*} \vert\vert \bar{u}\vert\vert_{W^{1, \infty}(B)}\leq 2\vert\vert u\vert\vert_{W^{1, \infty}(B^+)}. \end{equation*} If the boundary is not already straightened out we can do so under the map $\Phi: W\rightarrow B$ and unstraighten it under $\Psi: B\rightarrow W$ as defined in Evans, where $\Psi (B)=W$. Writing $\Phi(x)=y$ and $\Psi(y)=x$ we define $u'(y)\equiv u\circ\Psi (y)$ . Then we have: \begin{equation*} \vert\vert \bar{u'}\vert\vert_{W^{1, \infty}(B)}\leq 2\vert\vert u'\vert\vert_{W^{1, \infty}(B^+)} \end{equation*} and converting back to original coordinates we have \begin{equation} \vert\vert \bar{u}\vert\vert_{W^{1, \infty}(W)}\leq 2\vert\vert u\vert\vert_{W^{1, \infty}(U)} \end{equation} We know that $\overline{U}\subset\mathbb{R}^n$ is paracompact so it admits locally finite partitions of unity subordinate to any countable cover of open sets. Cover the boundary $\partial U$ with the cover $\{W_x\}_{x\in\partial U}$ such that each open set $W_x$ is a ball about $x$ and we obtain inequality as above for each $W_x$. The boundary is compact so we can pass to a finite subcover $\{W_i\}_{i=1}^{N}$ and have the corresponding extensions $\bar{u}_i$. Choose any $W_0\subset\subset U$ such that $U\subset\bigcup_{i=0}^{N} W_i$ and define $\bar{u}_0\equiv u$ in $W_0$.

Let $\{\zeta_i\}_{i=1}^{N}$ be a locally finite smooth partition of unity subordinate to the cover $\{W_i\}_{i=0}^{N}$. Define $\bar{u}\equiv\sum_{i=0}^{N}\zeta_i\bar{u}_i$. Then we obtain the bound: \begin{align*} \vert\vert \bar{u}\vert\vert_{W^{1, \infty}(\mathbb{R}^n)}&=\left\| \sum_{i=0}^{N}\zeta_i\bar{u}_i\right\|_{W^{1, \infty}(\mathbb{R}^n)}\\ &\leq\sum_{i=0}^{N}\|\zeta_i\bar{u}_i\|_{W^{1, \infty}(W_i)}\\ &\leq\sum_{i=0}^{N}\|\bar{u}_i\|_{W^{1, \infty}(W_i)}\\ &\leq \sum_{i=0}^{N}2\|u\|_{W^{1, \infty}(U)}\\ &\leq C\|u\|_{W^{1, \infty}(U)}. \end{align*}

Furthermore we can arrange for the support of $\bar{u}$ to lie within some $V\supset\supset U$. Define $Eu\equiv\bar{u}$. Then we can see that the map $E: W^{1, \infty}(U)\rightarrow W^{1, \infty}(\mathbb{R}^n)$ is a linear operator such that

  1. $Eu=u$ almost everywhere in $U$.
  2. $Eu$ has support within $V\supset\supset U$
  3. $\vert\vert Eu\vert\vert_{W^{1, \infty}(\mathbb{R}^n)}\leq C\|u\|_{W^{1, \infty}(U)}$ for $C=2N$.
share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.