On the uniqueness of extremal mappings of finite distortion

arXiv2207.05935MaRDI QIDQ6404791FDOQ6404791

Authors: Gaven J. Martin, Cong Yao 

Publication date: 12 July 2022

Abstract: For an arbitrary convex function $Psi:[1,infty)o[1,infty)$, we consider uniqueness in the following two related extremal problems: Problem A boundary value problem: Establish the existence of, and describe the mapping $f$, achieving [ inf_f Big{ int_{Bbb D} Psi({Bbb K}(z,f)); dz : f:�ar{Bbb D} o �ar{Bbb D} ; mbox{a homeomorphism in $W_0^{1,1}(BbbD)+f_0$} Big}. ] Here the data $$ is a homeomorphism of finite distortion with $in{t}_{BbbD}Psi(BbbK(z,f_0));dz<infty$ -- a barrier. Next, given two homeomorphic Riemann surfaces $R$ and $S$ and data $f_0:RoS$ a diffeomorphism. oindent{�f Problem B} {em (extremal in homotopy class):} Establish the existence of, and describe the mapping $f$, achieving [ inf_f Big{ int_R Psi({Bbb K}(z,f)); ;dsigma(z) : mbox{$f$ a homeomorphism homotopic to $f_0$} Big}. ] There are two basic obstructions to existence and regularity. These are first, the existence of an Ahlfors-Hopf differential and second that the minimiser is a homeomorphism. When these restrictions are met (as they often can be) we show uniqueness is assured. These results are established through a generalisation the classical Reich-Strebel inequalities to this variational setting.

Mathematics Subject Classification ID

Quasiconformal mappings in the complex plane (30C62) Harmonic, subharmonic, superharmonic functions in two dimensions (31A05) Existence theories for free problems in two or more independent variables (49J10)

This page was built for publication: On the uniqueness of extremal mappings of finite distortion

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