Sobolev homeomorphic extensions onto John domains

DOI10.1016/J.JFA.2020.108719MaRDI QIDQ2197802zbMATH OpenOpenAlexWikidataFDO

Authors Pekka Koskela, Aleksis Koski, Jani Onninen

Publication date 1 September 2020

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2004.09669

zbMATH Keywords

John domainsquasidisksSobolev extensionsSobolev homeomorphisms

Mathematics Subject Classification ID

Quasiconformal mappings in the complex plane (30C62) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Harmonic maps, etc. (58E20)

Abstract: Given the planar unit disk as the source and a Jordan domain as the target, we study the problem of extending a given boundary homeomorphism as a Sobolev homeomorphism. For general targets, this Sobolev variant of the classical Jordan-Schoenflies theorem may admit no solution - it is possible to have a boundary homeomorphism which admits a continuous $W^{1,2}$-extension but not even a homeomorphic $W^{1,1}$-extension. We prove that if the target is assumed to be a John disk, then any boundary homeomorphism from the unit circle admits a Sobolev homeomorphic extension for all exponents $p<2$. John disks, being one sided quasidisks, are of fundamental importance in Geometric Function Theory.

Review text

The classical Schöenflies theorem states that every homeomorphism from the unit circle onto a Jordan curve \(\partial Y\) in the plane extends to a homeomorphism from the closed unit disk onto \(\overline{Y}\). The authors study the problem of finding such extensions lying in a Sobolev space \(W^{1,p}\). If \(\partial Y\) is rectifiable, then for any homeomorphism from the unit circle onto \(\partial Y\) and for \(p=1\) there exists such an extension by work of the second and the third author [``Sobolev homeomorphic extensions, J. Eur. Math. Soc. 23, No. 12, 4065--4089 (2021), \url{doi:10.4171/jems/1099}]. In the current paper, the authors prove that if \(\partial Y\) is a quasicircle, then the same result is true for all \(1\leq p<2\). The argument generalizes to John disks; these are also known as one-sided quasidisks, allowing for inward cusps but not outward ones. The proof relies on an extension result for homeomorphisms of the unit circle, which provides a locally Lipschitz homeomorphic extension to the unit disk with finite weighted Sobolev energy. The precise statement is as follows. Let \(1\leq p<2\) and \(p\beta<1\). Then every homeomorphism \(h\) of the unit circle has a locally Lipschitz extension to a homeomorphism of the unit disk \(\mathbb{D}\) such that \[ \int_{\mathbb{D}} \frac{|Dh|^p}{(1-|h|)^{p\beta}}<\infty. \] Then this result is transported to quasidisks using the global Hölder continuity of quasiconformal maps from the unit disk onto a quasidisk, giving the proof of the main theorem.

Recommendations

• The Sobolev Jordan-Schönflies problem
• A planar Sobolev extension theorem for piecewise linear homeomorphisms
• Sobolev homeomorphic extensions
• Sobolev and Quasiconformal Extension Domains
• John disks and extension of maps

Cites work

• \(L^p\)-integrability \& weak type \(L^{2}\)-estimates for the gradient of harmonic mappings of \(\mathbb D\)
• Convexity conditions and existence theorems in nonlinear elasticity
• Deformations of bi-conformal energy and a new characterization of quasiconformality
• Extension of quasisymmetric and Lipschitz embeddings of the real line into the plane
• Geometric function theory and nonlinear analysis
• Hardy spaces, A_\infty, and singular integrals on chord-arc domains
• Harmonic homeomorphisms of the closed disc to itself need be in $W^\{1,p\}$, $p<2$, but not $W^\{1,2\}$
• scientific article; zbMATH DE number 3779696 (Why is no real title available?)
• scientific article; zbMATH DE number 42598 (Why is no real title available?)
• scientific article; zbMATH DE number 192847 (Why is no real title available?)
• scientific article; zbMATH DE number 5024737 (Why is no real title available?)
• scientific article; zbMATH DE number 5495288 (Why is no real title available?)
• Injectivity theorems in plane and space
• John disks
• John disks and K-quasiconformal harmonic mappings
• John disks and extension of maps
• John disks are local bilipschitz images of quasidisks
• Kleinian groups and John domains
• Lectures on mappings of finite distortion
• Lipschitz and quasiconformal approximation and extension
• Nonlinear problems of elasticity
• Quadrilaterals and John disks
• Quasicircles and bounded turning circles modulo bi-Lipschitz maps
• Quasicircles modulo bilipschitz maps
• Quasiconformally homogeneous domains
• Quasihyperbolic geodesics in John domains.
• Rotation and strain
• Schoenflies solutions of conformal boundary values may fail to be Sobolev
• The Degree of Regularity of a Quasiconformal Mapping
• The planar Schönflies theorem for Lipschitz maps
• Unions of John domains

Cited in

(14)

• Sobolev-Poincaré implies John
• Improved regularity of harmonic diffeomorphic extensions on quasihyperbolic domains
• Weighted estimates for diffeomorphic extensions of homeomorphisms
• The Sobolev Jordan-Schönflies problem
• Singularities in \(\mathscr{L}^p\)-quasidisks
• Schoenflies solutions of conformal boundary values may fail to be Sobolev
• Quasisymmetry and quasihyperbolicity of mappings on John domains
• Bi-Sobolev extensions
• A Schoenflies extension theorem for a class of locally bi-Lipschitz homeomorphisms
• Extension of planar Hölder homeomorphisms
• Homeomorphic Sobolev extensions of parametrizations of Jordan curves
• Geometric characterization of generalized Hajłasz-Sobolev embedding domains
• Sobolev homeomorphic extensions
• Solutions of the divergence operator on John domains

This page was built for publication: Sobolev homeomorphic extensions onto John domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2197802)