7
$\begingroup$

The trace theorem says that the restriction of a $W^{1,p}(\Omega)$ function $u$, $Tu$ belongs to $W^{1-1/p,p}(\partial\Omega)$ if $\Omega$ satisfies some smooth condition, for example, $\Omega$ is convex. Now my question is the inverse of the Trace Theorem. Suppose $\Omega$ is convex, and $\phi\in W^{1-1/p,p}(\partial\Omega)$, is there exists a fucntion $\Phi\in W^{1,p}(\Omega)$ with $\|\Phi\|\leq C\|\phi\|?$

Dees the extension theorem is related to this question? But usually the extension Theorem talks about the extension from a domain to the whole space.

$\endgroup$
1

2 Answers 2

5
$\begingroup$

I think your question is answered in

Article (JonWal1978) Jonsson, A. & Wallin, H. A Whitney extension theorem in $L_p$ and Besov spaces Ann. Inst. Fourier (Grenoble), 1978, 28, vi, 139-192

and

Article (Marsch1987) Marschall, J. The trace of Sobolev-Slobodeckij spaces on Lipschitz domains Manuscripta Math., 1987, 58, 47-65

Theorem 2 of the latter paper states that if $\Omega$ is a Lipschitz domain, with $s,p$ satisfying some inequalities (as usual), then $W^{s,p}(\Omega)$ traces to (as a surjection) some Besov space on the boundary $\partial\Omega$ and that the trace operator has bounded linear right inverse if $s-1/p$ is not an integer.

$\endgroup$
3
$\begingroup$

At least if $p=2$ (Hilbert case), the answer is yes. Not only that, but there exist explicit right inverses, that is linear bounded operators $L:W^{1/2}(\partial\Omega)\rightarrow W^{1,2}(\Omega)$ such that $T\circ L$ is the identity. Since such operators are pseudo-differential, it is likely that they are bounded for $p\ne2$ as well, and thus satisfy again $T\circ L={\rm id}$.

$\endgroup$
4
  • $\begingroup$ Could you give a reference about these explicit right inverses? $\endgroup$
    – user37238
    Aug 3, 2015 at 10:42
  • $\begingroup$ @37238. When $\Omega$ is a half-space, just make a Fourier transform in the variables tangent to the boundary. Then you build by hand the inverse. $\endgroup$ Aug 3, 2015 at 12:53
  • $\begingroup$ Thank you for your quick answer. In fact, I was thinking about explicit right inverses for a general domain (say $\Omega$ $\mathcal{C}^1$ bounded). $\endgroup$
    – user37238
    Aug 3, 2015 at 12:55
  • $\begingroup$ One denomination is Babitch inverse $\endgroup$ Aug 3, 2015 at 12:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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