Chain Rule, Extensions, and Trace in W^{1,p}

Theorem 1.  Let f:\mathbb{R}^n\to\mathbb{C} be differentiable with bounded and continuous derivatives and g\in W_{loc}^{1,p}(\Omega).  Then h=f\circ g\in W_{loc}^{1,p}(\Omega) and

\displaystyle\partial_i h=\sum_j\partial_j f(g)\,\partial_i g_j.

In particular if g_j\in W^{1,p}(\Omega) for all j, then h\in W^{1,p}(\Omega) and the chain rule holds provided f(0)=0.

Let U,V be open sets in \mathbb{R}^n.  We say U is compactly contained in V, denoted U\sqsubset V if for any U' such that U\subset U'\subset V, U' is compact.  We now extend functions in W^{1,p}(\Omega) to functions on W^{1,p}(\mathbb{R}^n).

Theorem 2.  Let \Omega be bounded, \partial\Omega be a C^1-manifold, and \Omega\sqsubset V.  Then there exists a linear map E:W^{1,p}(\Omega)\to W^{1,p}(\mathbb{R}^n) such that for all f\in W^{1,p}(\Omega) we have

  1. Ef=f\mbox{~a.e. in~}U,
  2. \mbox{supp~}E\subseteq V,
  3. \|Ef\|_{W^{1,p}(\mathbb{R^n})}\leq C\|f\|_{W^{1,p}(\Omega)} where C depends upon p,\Omega, and V.

Proof Outline.  Let x_0\in\partial\Omega and \Pi be the tangent hyperplane at x_0–which satisfies x_n=0.  Since \partial\Omega is locally homeomorphic to \mathbb{R}^{n-1}, \Pi approximately bisects a small ball around x_0: one which intersects with \Omega and one that does not.  We will respectively call these B^{+} and B^{-}.  Suppose f\in C^1(\overline{\Omega}) and define

\displaystyle\overline{f}(x)=\left\{\begin{array}{lcl}\displaystyle f(x)&\mbox{if}&x\in B^{+}\\\displaystyle -3f(x_1,...,x_{n-1},-x_n)+4f(x_1,...,x_{n-1},\frac{-x_n}{2})&\mbox{if}&x\in B^{-}\end{array}\right.

Note that the two parts of the function agree on \partial\Omega and that \overline{f}\in C^1(B) since if we let f^{-}=\overline{f}|_{B^{-}}, then

\displaystyle\partial_nf^{-}(x)=3\frac{\partial f}{\partial x_n}(x_1,...,-x_n)-2\frac{\partial f}{\partial x_n}(x_1,...,\frac{-x_n}{2})=\partial_n f

on \partial\Omega (where x_n=0.)  Thus derivatives agree on \Pi.  Thus \overline{f}\in C^1(B).

\Omega\sqsubset V then allows one to use partitions of unity on \partial\Omega to write f in local coordinates and establish the bounds in (3).  (2) is then established by continuously sending the function to 0 in B^{-}, or a slightly larger set.  \overline{f} is then defined as 0 elsewhere.

Above we assumed f\in C^1(\overline{\Omega}).  If we assume more generally that f\in W^{1,p}(\Omega) as in the hypotheses, then we can approximate (as seen in the last post) by functions in C^1(\Omega) (a special case of which is on C^1(\overline{\Omega}) if \Omega is bounded and \partial\Omega is a C^1-manifold [see 5.3.2 and 5.3.3 in [2]]) which yields the result with consequence (1).

Lastly we begin with a function f\in W^{1,p}(\Omega) and attempt to extend it to the boundary.

Theorem 3.  Let \Omega be bounded and \partial\Omega be a C^1-manifold.  Then there exists a bounded linear operator T:W^{1,p}(\Omega)\to L^p(\partial\Omega) such that

  1. Tf=f|_{\partial\Omega} if f\in W^{1,p}(\Omega)\cap C(\overline{\Omega}),
  2. \|Tf\|_{L^p(\partial\Omega)}\leq C\|f\|_{W^{1,p}(\Omega)}.

The function T is called the trace of f on \partial\Omega.  We also have

Proposition 4.  Again let \Omega be bounded and \partial\Omega be a C^1-manifold.  Let f\in W^{1,p}(\Omega).  Then

\displaystyle Tf=0\mbox{~on~}\partial\Omega\Leftrightarrow f\in W_0^{1,p}(\Omega).

This sort of seems intuitive since it’s like saying the summable extension is 0 on the boundary iff it belongs to the class of functions whose derivatives vanish on the boundary.  Recall elements of W_0^{1,p}(\Omega) are functions whose support is a compact subset of \Omega or whose support extends to \partial\Omega.  The proof is rather technical in the forward direction (see [2] for details).  The backwards direction uses density of C_c^\infty(\Omega) in W^{1,p}(\Omega).

Regarding Theorem 3, at first glance this reminded me of Stokes’ theorem on manifolds, although Evans doesn’t mention anything about it (nor uses it in either of the two proofs).  Recall the statement.

Stokes’ Theorem.  Let M be a an n-dimensional, C^k, oriented, and compact manifold with boundary such that \omega is an (n-1)-form on M.  Then

\displaystyle\int_M\,d\omega=\int_{\partial M}\omega.

Since f\in W^{1,p}(\Omega), its derivatives were integrable (i.e. the left side), and under the trace f is sent to a function which is integrable on the boundary.

[1]  Lieb, Elliot and Michael Loss.  Analysis.  2nd Edition.  Graduate Studies in Mathematics.  Vol. 14.  American Mathematical Society.  2001.

[2]  Evans, Lawrence.  Partial Differential Equations.  Graduate Studies in Mathematics.  Vol. 19.  American Mathematical Society.  1998.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: