Is it possible to extend a $C^1$-function smoothly from any Lipschitz domain?

1.8k Views Asked by At

If $\Omega$ is a cube in $\mathbb{R}^n$ and $f\in C^1(\overline\Omega)$. By reflection one can extend such a function to all of $\mathbb{R}^n$ and the extenstion is in $C^1(\mathbb{R}^n)$. If $\Omega$ is a polygon, has piecewise $C^1$ boundary (so edges and corneres are not to wild) or is a convex set this still seems to be possible. Can this be extended to arbitrary Lipschitz domains?

Are there examples and or references for these cases (starting from polygons)?

1

There are 1 best solutions below

7
On BEST ANSWER

As George Lowther pointed out, such an extension is possible for any quasiconvex domains (in particular, for any Lipschitz domain). This is the main result in a short paper by Whitney from 1934:

Whitney, Hassler. Functions differentiable on the boundaries of regions. Ann. of Math. (2) 35 (1934), no. 3, 482–485.

whitney

Property P is what we now call quasiconvexity:

quasiconvexity

This result, and many later developments, are presented in section 2.5 of the book

Brudnyi, Alexander; Brudnyi, Yuri. Methods of geometric analysis in extension and trace problems. Volume 1. Monographs in Mathematics, 102. Birkhäuser/Springer Basel AG, Basel, 2012.