A planar bi-Lipschitz extension Theorem

Abstract

We prove that, given a planar bi-Lipschitz homeomorphism $u$ defined on the boundary of the unit square, it is possible to extend it to a function $v$ of the whole square, in such a way that $v$ is still bi-Lipschitz. In particular, denoting by $L$ and $\tilde{L}$ the bi-Lipschitz constants of $u$ and $v$, with our construction one has $\tilde{L}\le C{L}^4$ (being $C$ an explicit geometrical constant). The same result was proved in 1980 by Tukia (see \cite{Tukia}), using a completely different argument, but without any estimate on the constant $\tilde{L}$. In particular, the function $v$ can be taken either smooth or (countably) piecewise affine.

55 pages, 21 figures