3
$\begingroup$

The question I would be asking is roughly : do the smooth Sobolev functions defined on an open bounded domain extend to smooth Sobolev functions on the Euclidean space ?

For detail :

Fix $p \geq 1. $ By the word 'smooth', I will always mean $C^{\infty}$ .Let $U, V$ be two bounded, connected open domains in $ \mathbb{R}^n $ with smooth boundary, so that $\bar{U}\subset V $. Let $u \in W^{1,p}(U) \cap C^0(\bar{U}) $. In many PDE books ( for example , L.C. Evans' "Partial Differential Equations", P. 254 ) there are standard methods described to produce an extension $Eu$ of $u$ such that :

$Eu \in W^{1,p}(\mathbb{R}^n), support (Eu) \subset V, Eu = u $ a.e.on $U$ . The method is first to treat the case where $u \in W^{1,p}(U) \cap C^0(\bar{U}) \cap C^{\infty}(\bar{U}) $ ,locally flatten the boundary $ \partial{U} $, extend $u$ by higher order reflection across the boundary, using partition of unity and then approach arbitrary $u \in W^{1,p}(U) $ by $C^{\infty}(\bar{U})$ functions in $W^{1,p}(U)$ -norm. We do not even need $ u \in C^0(\bar{U}) $ in this proof .

I understand that if $u \in C^{\infty}(\bar{U}) $as well. , then $Eu \in C^\infty(\mathbb{R}^n)$, but is the same true if $u \in C^{\infty}(U) \cap C^0(\bar{U}) $ only, not $C^{\infty}(\bar{U})$ ? This is my main question.

$\endgroup$
3
  • $\begingroup$ If $p > n$, then this won't work, because $W^{1,p} \subset C^{\alpha}$ for some $\alpha > 0$. So if $u$ is not Holder continuous on $\overline{U}$, it cannot be extended in $W^{1,p}$ beyond $\overline{U}$. $\endgroup$
    – Deane Yang
    Apr 21, 2012 at 21:58
  • $\begingroup$ @ Prof. Deane Yang : Thank you. If we assume $ p > n $, then is there any condition on $u$ that would make sure that the smooth Sobolev function $u$ on $ U $ can be extended to $Eu \in C^{\infty}(\mathbb{R}^n) \cap W^{1,p}(\mathbb{R}^n)$. Is Holder continuity of $u$ or that $ u $ is Lipchitz enough for this ? Actually, I am looking at this problem as a part of another problem, and there I have $ p > 2, u $ is Lipchitz upto the boundary, because its derivatives are bounded in the interior. $\endgroup$ Apr 21, 2012 at 22:37
  • $\begingroup$ For my case, $n = 2$. $\endgroup$ Apr 21, 2012 at 22:40

2 Answers 2

5
$\begingroup$

To my taste, the cleanest approach to the extension problem is contained in Stein's 1970 book "Singular integrals and differentiability properties of functions". For a bounded open set with Lipschitz boundary, he constructs a 'universal' extension operator which, when applied to a $W^{k,p}$ function on the open set, produces a $W^{k,p}$ function on the whole space, with support in a fixed neighbourhood, and suitable bounds on the norm. The method also works if the set is unbounded, provided some uniform bounds at infinity are assumed on the coordinate patches at the boundary. It is not necessary at any step to assume continuity or smoothness up to the boundary.

As Pietro mentions in his answer, the extension property is blatantly false if the boundary contains inward cusps, but I understand from your question that your boundary is smooth hence at least Lipschitz.

$\endgroup$
3
  • $\begingroup$ More generally, if a bounded set $\Omega$ is regularly open (i.e. $\Omega=\mathrm{int}(\overline{\Omega})$) and has finite perimeter (i.e. its characteristic function $1_\Omega$ is of bounded variation), does it satisfy the extension property? I've required $\Omega$ to be regularly open so that its reduced boundary $\partial^*\Omega$ satisfies $\overline{\partial^*\Omega}=\partial\Omega$ and therefore $\partial\Omega\smallsetminus\partial^*\Omega$ is as small as possible. $\endgroup$ Jul 27, 2018 at 20:24
  • $\begingroup$ I think the elementary counterexamples are all of finite perimeter $\endgroup$ Jul 28, 2018 at 8:22
  • $\begingroup$ I am looking for an extension over a Torus $\mathbb{T}^n$ instead of $\mathbb{R}^n$. Please see this question: mathoverflow.net/q/401090/14414 Appreciate any comments/references. $\endgroup$
    – Rajesh D
    Aug 6, 2021 at 5:54
3
$\begingroup$

Extension is a well studied topic in the theory of Sobolev spaces, included in any treatise on the topic. Have a look e.g. to Adams' Sobolev spaces, Chapter 4 (Interpolation and Extension theorems). For positive results, you need geometric properties of domains.

$\endgroup$
1
  • $\begingroup$ I am looking for an extension over a Torus $\mathbb{T}^n$ instead of $\mathbb{R}^n$. Please see this question: mathoverflow.net/q/401090/14414 Appreciate any comments/references. $\endgroup$
    – Rajesh D
    Aug 6, 2021 at 5:55

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.