3
$\begingroup$

Hi,

i know that the following statement is used extensively, but i cannot find a proof anywhere:

For $\Omega$ a Lipschitz domain with boundary $\Gamma$, the space $H^{1/2}(\Gamma)$ is dense in $L_2(\Gamma)$.

Here, the space $H^{1/2}(\Gamma)$ is defined as the trace space, i.e. as $\gamma_0(H^1(\Omega))$, where $\gamma_0$ is the trace operator.

I read that one has to use density of $C^\infty(\overline\Omega)$ in $H^1(\Omega)$, but i dont see how - i can't extend an $L_2(\Gamma)$ function to a function in $H^1(\Omega)$ in a bounded way, right?

I tried Google and looked in all the books I have access to, but didn't find a proof. Does anyone have a hint?

Thanks, Mike

Improve this question
$\endgroup$

1 Answer 1

Reset to default
2
$\begingroup$

Lipschitz continuous functions on $\Gamma$ are dense in $L^2(\Gamma)$ and are contained in $H^{1/2}(\Gamma)$.

Improve this answer
$\endgroup$
3
  • $\begingroup$ Hi, so there exists an extension operator from the set of Lipschitz continuous functions on $\Gamma$ to $H^1(\Omega)$? $\endgroup$
    – Mike
    Commented Apr 21, 2012 at 8:28
  • $\begingroup$ If $f$ is Lipschitz on $\Gamma$, use a partition of unity to work locally, then use a Lipschitz continuous local change of variables to straighten the boundary, and you are reduced to the case $\Gamma$ is $x _n=0$. If you have a Lipschitz function on $x _n=0$ it is trivial to extend it to a Lipschitz function on the whole space (just take $F(x',x_n)=f(x')$). $\endgroup$
    – Piero D'Ancona
    Commented Apr 21, 2012 at 9:10
  • 1
    $\begingroup$ Also, a $k$-Lipschitz function $f$ on a subset $Y$ of a metric space $(X,d)$ has a cheap $k$-Lipschitz extension $$\tilde f(x):=\inf_{y\in Y} f(y)+kd(x,y)$$ $\endgroup$
    – Pietro Majer
    Commented Apr 21, 2012 at 12:36

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .