Let $\Omega$ be a bounded open set in $\mathbb{R}^n$ with smooth boundary. Let $u \in H^1(\Omega)$. I would like a reference for the fact that the trace of $u$ on $\partial \Omega$ is in $H^\frac{1}{2}(\partial \Omega)$.
trace of an $H^1$ function is in $H^\frac{1}{2}$
6
$\begingroup$
sobolev-spaces
-
0I guess $H^{\frac 12}(\partial \Omega)$ is defined using a partition of unity $\{\beta_j\}_{1\leq j\leq N}$ subordinated to the open cover $\bigcup_{j=1}^NO_j$ of $\partial(\Omega)$. We can first show that the map $\gamma\colon\mathcal D(\mathbb R^n)\to\mathbb R^{n-1}$, $u\mapsto u(x',0)$ can be extended to a linear continuous map $\gamma \colon H^1(\mathbb R^n)\to H^{\frac 12}(\mathbb R^{n-1})$, then use local coordinates. Maybe a good reference is Adam's book, _Sobolev spaces_ but I don't remember if these questions are treated. – 2012-01-27
2 Answers
4
n case anyone is curious, the answer seems to be at mipa.unimes.fr/preprints/MIPA-Preprint05-2011.pdf, Proposition 4.5. This is an excellent introduction to fractional-order Sobolev spaces.
1
In some books, $H^{1/2}$ is defined to be the trace of $H^{1}$ functions, for example in Girault, V.; Raviart, P.-A., Finite Element Methods for Navier-Stokes Equations. Theory and Algorithms
-
0Unless the answer is completely wrong or a spam, no answer deserves a -1. – 2012-06-11