[Math] Extension and trace operators for Sobolev spaces

functional-analysisoperator-theorysobolev-spacestrace

Given that $\Omega \subset \mathbb{R}^{n}$ is an open, convex, Lipschitz bounded set. Let $O \subset \Omega$ be open bounded set then consider. $$u_{m} \rightharpoonup^{*} u \text{ in } W^{1,\infty}_{o}(O)$$ Assume that we can find $v_{m}$ such that $$v_{m} \rightharpoonup^{*} u \text{ in } W^{1,\infty}(O)$$$$ v_{m} = u \text{ on } \partial O$$ Assume that we apply the linear continuous operator $$P: W^{1,\infty}(O) \rightarrow W^{1,\infty}(\Omega)$$ We then extend $u$ from $O$ to $\Omega$ in such a way that the extension $\bar{u} \in W^{1,\infty}(\Omega)$ and similarly since $v_{m} = u$ on $\partial O$ we define ${\bar{v}}_{m} = v_{m}$ in $O$ and ${\bar{v}}_{m} = \bar{u}$ in $\Omega – O$.

We then have $${\bar{v}}_{m} \rightharpoonup^{*} \bar{u} \text{ in } W^{1,\infty}_{o}(\Omega)$$

  1. In Lawrence's book "Partial Differential Equations" the trace operator isn't defined for $p = \infty$. If the trace operator isn't defined how would you describe how '$v_{m} = u$ on $\partial O$' is defined?

  2. Can we immediately state that $v_{m} \in W^{1,\infty}_{o}(O)$ since $v_{m} = u$ on $\partial O$ and $u \in W^{1,\infty}_{o}(O)$?

  3. Do we get ${\bar{v}}_{m} \rightharpoonup^{*} \bar{u}$ in $W^{1,\infty}_{o}(\Omega)$ since we have that from the extension operator it follows that $P_{2}: W^{1,\infty}_{o}(O) \rightarrow W^{1,\infty}_{o}(\Omega)$ is also a continuous linear extension operator? If this is true, how would you go about showing this?

Thanks for any assistance

Best Answer

Expanding the comment by user127096.

The space $W^{1,\infty}({\cal{O}})$ is equal to the space of bounded locally Lipschitz functions. This means for every element $u\in W^{1,\infty}({\cal{O}})$ it is possible to find a function $v$ that is Lipschitz continuous by just rearranging a set of measure zero.

The trace then can be taken as you take the trace of continuous functions by pointwise convergence.

Related Question