The L^p Teichmüller theory: existence and regularity of critical points

DOI10.1007/S00205-023-01955-9arXiv2007.15149OpenAlexW4391485741MaRDI QIDQ6153489FDOQ6153489

Authors: Gaven J. Martin, Cong Yao 

Publication date: 14 February 2024

Published in: Archive for Rational Mechanics and Analysis (Search for Journal in Brave)

Abstract: We study minimisers of the $p$-conformal energy functionals, [ mathsf{E}_p(f):=int_ID IK^p(z,f),dz,quad f|_IS=f_0|_IS, ] defined for self mappings $f:IDoID$ with finite distortion and prescribed boundary values $f_0$. Here [ IK(z,f) = frac{|Df(z)|^2}{J(z,f)} = frac{1+|mu_f(z)|^2}{1-|mu_f(z)|^2}] is the pointwise distortion functional and $m{u}_f(z)$ is the Beltrami coefficient of $f$. We show that for quasisymmetric boundary data the limiting regimes $poinfty$ recover the classical Teichm"uller theory of extremal quasiconformal mappings (in part a result of Ahlfors), and for $po1$ recovers the harmonic mapping theory. Critical points of $mathsf{E}_p$ always satisfy the inner-variational distributional equation [ 2pint_ID IK^p;frac{overline{mu_f}}{1+|mu_f|^2}varphi_zbar ; dz=int_ID IK^p ; varphi_z; dz,quadforallvarphiin C_0^infty(ID ). ] We establish the existence of minimisers in the {em a priori} regularity class $W^{1,frac2pp+1}(ID)$ and show these minimisers have a pseudo-inverse - a continuous $W^{1,2}(ID)$ surjection of $ID$ with $(hcircf)(z)=z$ almost everywhere. We then give a sufficient condition to ensure $C^{infty}(ID)$ smoothness of solutions to the distributional equation. For instance $IK(z,f)in{L}_{loc}^r(ID)$ for any $r>p+1$ is enough to imply the solutions to the distributional equation are local diffeomorphisms. Further $IK(w,h)in{L}^1(ID)$ will imply $h$ is a homeomorphism, and together these results yield a diffeomorphic minimiser. We show such higher regularity assumptions to be necessary for critical points of the inner variational equation.

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

zbMATH Keywords

minimizerdistortion\(p\)-conformal energy functional

Mathematics Subject Classification ID

Quasiconformal mappings in the complex plane (30C62)

Cites Work

• Title not available (Why is that?)
• Quasiconformal mappings and spaces of functions with generalized first derivatives
• Geometric function theory and nonlinear analysis
• Extremal inequalities in Sobolev spaces and quasiconformal mappings
• Conformally natural extension of homeomorphisms of the circle
• Title not available (Why is that?)
• On minimisers of \(L^p\)-mean distortion
• Deformations with smallest weighted \(L^{p}\) average distortion and Nitsche-type phenomena
• Extremal mappings of finite distortion
• Change of variables formula under minimal assumptions
• $L^p$--bounds for the Beurling--Ahlfors transform
• Heating of the Ahlfors–Beurling operator, and estimates of its norm
• On quasiconformal mappings
• Lipschitz regularity for inner-variational equations
• Mappings of finite distortion: The zero set of the Jacobian
• Quasiregular families bounded in \(L^p\) and elliptic estimates
• Super regularity for Beltrami systems
• An Introduction to the Theory of Higher-Dimensional Quasiconformal Mappings
• Dirichlet's principle, uniqueness of harmonic maps and extremal QC mappings
• Title not available (Why is that?)
• A special case of Schönflies theorem for quasiconformal mappings in n-space

Cited In (1)

• Lower semicontinuity, Stoilow factorization and principal maps

This page was built for publication: The \(L^p\) Teichmüller theory: existence and regularity of critical points

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