1
$\begingroup$

I'm trying to understand the proof of the trace theorem. This is from a course I am taking, so I will write out what we have done explicitly.

$\textbf{Trace Theorem}$ Suppose $\Omega \subset\mathbb{R}^n$ is bounded, open with $C^1$ boundary. Then there exists a bounded linear operator $Tr:W^{1,p}(\Omega )\rightarrow L^p(\partial\Omega )$. Further, if $u\in C(\overline\Omega )\cap W^{1,p}(\Omega )$ then $Tru=\overline{u}$ for all $x\in\partial\Omega$, where $\overline{u}$ denotes the uniformly continuous extension of $u$ to $\overline{\Omega}$.

To prove this, we need the extension theorem:

$\textbf{Extension Theorem}$ Suppose $\Omega \subset\mathbb{R}^n$ is bounded, open with $C^1$ boundary. Suppose further that $\overline{\Omega}\subset V$ where $V\subset\mathbb{R}^n$ is bounded. Then there exists a bounded linear operator $E:W^{1,p}(\Omega )\rightarrow W^{1,p}_0(V)$ such that $Eu = u$ a.e. for all $x\in \Omega$. Further, if $u\in C(\overline\Omega )\cap W^{1,p}(\Omega )$ then $Eu \in C(\overline{V})$.

Now we are in a position to prove the theorem. I won't go in to too much detail but the idea is standard. We prove the first part of the theorem for test functions. We then have the result for $Eu$ by density, so I define $Tr(u) = \lim _{n\rightarrow \infty}Tr(u_n)$ where $(u_n)$ is my approximating sequence of test functions for $Eu$ and $Tr(u_n):={u_n|}_{\partial \Omega}$

Now suppose $u$ is uniformly continuous. We want to show the two constructions coincide. Firstly, the extension theorem tells me that $Eu$ is a uniformly continuous extension of $u$ to $\overline{\Omega}$, and since this extension is unique we have that $Eu=\overline{u}$ on the boundary. So I need to show that $Eu=Tr(u)$ on the boundary. We know that $J_\epsilon\ast u\rightarrow u$ uniformly on $\partial\Omega$ as $\epsilon\rightarrow 0$, where $J_\epsilon$ is the standard mollifier. This is where I am stuck. In the notes it says that $J_\epsilon\ast u$ also converges in $L^p(\partial\Omega )$ and therefore this limit must be $Tr(u)$. Why? Why isn't it just $Eu$ again?

Any help much appreciated!

$\endgroup$
1
$\begingroup$

I don't know how your prove can work without prove the trace estimation...

Here is a more standard idea. (You can find it on Evans PDE book or Leoni's Sobolev space. I would say Evans, it is easier)

Suppose $\Omega$ is an bounded extension domain so that the extension theorem, which you quote in your post, will work. Next, for $u\in W^{1,p}(\Omega)$ you actually can obtain a sequence $(u_n)\subset C^\infty(\bar\Omega)\cap W^{1,p}(\Omega)$ such that $u_n\to u$ in $W^{1,p}$ norm. This is an standard result of global approximation and you could prove it easily by using extension theorem.

Next, you could prove that, and this is an very important result in trace theorem (I would say the most important), the Trace estimation $$ \|T [u_n]\|_{L^p(\partial \Omega)}\leq C \|u_n\|_{W^{1,p}(\Omega)}\tag 1$$ Remember here $u_n\in C^\infty(\bar\Omega)$, hence $T[u_n]=u\lfloor_{\partial\Omega}$ is well defined. (This estimation also )

Hence, you have $$ \|T [u_n]-T[u_m]\|_{L^p(\partial \Omega)}\leq C \|u_n-u_m\|_{W^{1,p}(\Omega)}\tag 2 \to 0$$ which implies that $T[u_n]$ is a cauchy sequence in $L^p(\partial\Omega)$ and hence you could define the limit and this limit is $T[u]$.

Finally, you have
$$\|T [u_n]-T[u]\|_{L^p(\partial \Omega)}\leq C \|u_n-u\|_{W^{1,p}(\Omega)}\to 0$$ which shows $u_n\to u$ a.e. on $\partial \Omega$, which addressed your question.

$\endgroup$
4
  • $\begingroup$ Hi Yes we are allowed to use the extension theorem. the proof in your post is exactly what we did, my problem is showing the two constructions are equal if u is uniformly continuous. I have seen the proof in Evans, where he essentially uses the theorem that $C^\infty (\overline{\Omega})\cap W^{1,p}(\Omega )$ is dense in $W^{1,p}(\Omega )$, in which case everything is fine. However, in my course we only proved that $C^\infty (\Omega )\cap W^{1,p}(\Omega )$ is dense in $W^{1,p}(\Omega )$. $\endgroup$ – tommyj Jan 11 '15 at 10:45
  • $\begingroup$ As long as you have extension domain, the global approx will hold. $\endgroup$ – spatially Jan 11 '15 at 18:39
  • $\begingroup$ And notice that the approx function converge to $u$ uniformly if $u$ is uniformly continuous $\endgroup$ – spatially Jan 11 '15 at 18:42
  • $\begingroup$ The problem is proving $(1)$. I don't know how to prove it for arbitrary extension domain. In Evans, they only proved for Lipschitz domain, and the prove highly depends on the structure of Lipschitz domain. $\endgroup$ – spatially Jan 11 '15 at 18:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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