We study the mean radius growth function for quasiconformal mappings. We give a new sub-class of quasiconformal mappings in $\mathbb{R}^n$, for $n\geq 2$, called bounded integrable parameterization mappings, or BIP maps for short. These have the property that the restriction of the Zorich transform to each slice has uniformly bounded derivative in $L^{n/(n-1)}$. For BIP maps, the logarithmic transform of the mean radius function is bi-Lipschitz. We then apply our result to BIP maps with simple infinitesimal spaces to show that the asymptotic representation is indeed quasiconformal by showing that its Zorich transform is a bi-Lipschitz map.
In an attempt to develop higher-dimensional quasiconformal mappings on metric measure spaces with curvature conditions, i.e. from Ahlfors to Alexsandrov, we show that a non-collapsed $\mathrm{RCD}(0,n)$ space ($n\geq2$) with Euclidean growth volume is an $n$-Loewner space and satisfies the infinitesimal-to-global principle.
We demonstrate that the complex plane and a class of generalized Grushin planes $G_r$, where $r$ is a function satisfying specific requirements, are quasisymmetrically equivalent. Then using conjugation we are able to develop an analytic definition of quasisymmetry for homeomorphisms on $G_r$ spaces. In the last section we show our analytic definition of quasisymmetry is consistent with earlier notions of conformal mappings on the Grushin plane. This leads to several characterizations of conformal mappings on the generalized Grushin planes.
A behavior of open discrete mappings, which are quasiconformal in the mean, is investigated. It is proved that the classes of mappings mentioned above are equicontinuous (normal).
In this paper, we extend Ahlfors's univalent criteria and Ahlfors's quasiconformal extension for analytic functions to harmonic mappings defined in the unit disk. Moreover, we give a general quasiconformal extension of harmonic Teichmüller mappings, whose maximal dilatation estimate is asymptotically sharp.
The main aim of this article is to establish certain relationships between $K$-quasiconformal harmonic mappings and John disks. The results of this article are the generalizations of the corresponding results of Ch.~Pommerenke \cite{Po}.
We prove that a harmonic quasiconformal mapping defined on a finitely connected domain in the plane, all of whose boundary components are either points or quasicircles, admits a quasiconformal extension to the whole plane if its Schwarzian derivative is small. We also make the observation that a univalence criterion for harmonic mappings holds on uniform domains.
We prove a Koebe distortion theorem for the average derivative of a quasiconformal mapping between domains in the sub-Riemannian Heisenberg group $\mathbb{H}_1$. Several auxiliary properties of quasiconformal mappings between subdomains of $\mathbb{H}_1$ are proven, including distortion of balls estimates and local BMO-estimates for the logarithm of the Jacobian of a quasiconformal mapping. Applications of the Koebe theorem include diameter bounds for images of curves, comparison of integrals of the average derivative and the operator norm of the horizontal differential, as well as the study o…
In this article, we first discuss the Lipschitz characteristic and the linear measure distortion of $K$-quasiconformal harmonic mappings. Then we give some characterizations of the radial John disks with the help of Pre-Schwarzian of harmonic mappings.
In this paper we extend Rado-Choquet-Kneser theorem for the mappings with Lipschitz boundary data and essentially positive Jacobian at the boundary, without restriction on the convexity of image domain. It is an extension of a recent result of Alessandrini and Nesi \cite{ale}. Some applications for the family of quasiconformal harmonic mappings between Jordan domains are given.
We prove that if the Schwarzian norm of a given complex-valued locally univalent harmonic mapping $f$ in the unit disk is small enough, then $f$ is, indeed, globally univalent and can be extended to a quasiconformal mapping in the extended complex plane.
In this article, we continue our investigations of the boundary behavior of harmonic mappings. We first discuss the classical problem on the growth of radial length and obtain a sharp growth theorem of the radial length of $K$-quasiconformal harmonic mappings. Then we present an alternate characterization of radial John disks. In addition, we investigate the linear measure distortion and the Lipschitz continuity on $K$-quasiconformal harmonic mappings of the unit disk onto a radial John disk. Finally, using Pommerenke interior domains, we characterize certain differential properties of $K$-qua…
In this paper, we provide partial solutions to a problem raised by Väisälä on local properties of free quasiconformal mappings. In particular, we show that a locally free quasiconformal mapping is globally free quasiconformal under the condition of locally relative quasisymmetry.
We consider quasiconformal mappings of the unit disk that have a planar extension which have $p$-integrable distortion. In this paper, we establish a bound for the modulus of continuity for the inverse mapping and show sharpness of this bound. Furthermore, we also obtain bounds for the compression multifractal spectra of such mappings.
It is shown that the dispersionless scalar integrable hierarchies and, in general, the universal Whitham hierarchy are nothing but classes of integrable deformations of quasiconformal mappings on the plane. Examples of deformations of quasiconformal mappings associated with explicit solutions of the dispersionless KP hierarchy are presented.
Harmonic K-quasiconformal Koebe functions: construction and application to Pavlovic's problem
Hunan First Normal University（湖南第一师范学院）；Liaocheng University（聊城大学）；Guangdong Technion-Israel Institute of Technology（广东以色列理工学院）；Technion-Israel Institute of Technology（以色列理工学院）；Changsha University of Science and Technology（长沙理工大学）
We establish that every $K$-quasiconformal mapping $w$ of the unit ball $\IB$ onto a $C^2$-Jordan domain $Ω$ is Hölder continuous with constant $α= 2-\frac{n}{p}$, provided that its weak Laplacean $Δw$ is in $ L^p(\IB)$ for some $n/2<p<n$. In particular it is Hölder continuous for every $0<α<1$ provided that $Δw\in L^n(\IB)$.
We study quasiconformal mappings of the unit disk that have planar extension with controlled distortion. For these mappings we prove a bound for the modulus of continuity of the inverse map, which somewhat surprisingly is almost as good as for global quasiconformal maps. Furthermore, we give examples which improve the known bounds for the three point property of generalized quasidisks. Finally, we establish optimal regularity of such maps when the image of the unit disk has cusp type singularities.
The main aim of this paper is to study the Lipschitz continuity of certain $(K, K')$-quasiconformal mappings with respect to the distance ratio metric, and the Lipschitz continuity of the solution of a quasilinear differential equation with respect to the distance ratio metric.
We present a new and simple proof of Teichmüller-Wittich-Belinskii's and Gutlyanskii-Martio's theorems on the conformality of quasiconformal mappings at a given point. Known proofs gave separate estimates for the radial and angular variations, but our proof unifies them using Grötzsch-type inequality for the variation of cross-ratio of four points on the Riemann sphere. We also give a sufficient condition for $C^{1+α}$-conformality
Let $h$ be a quasiconformal (qc) mapping of the unit disk $\mathbb{U}$ onto a Lyapunov domain. We show that $h$ maps subdomains of Lyapunov type of $\mathbb{U}$, which touch the boundary of $\mathbb{U}$, onto domains of similar type. In particular if $h$ is a harmonic qc (hqc) mapping of $\mathbb{U}$ onto a Lyapunov domain, using it, we prove that $h$ is co-Lipschitz (co-Lip) on $\mathbb{U}$. This settles an open intriguing problem.
We construct quasiconformal mappings $f\colon \mathbb{R}^{3} \rightarrow \mathbb{R}^{3}$ for which there is a Borel set $E \subset \mathbb{R}^2 \times \{0\}$ of positive Lebesgue $2$-measure whose image $f(E)$ has Hausdorff $2$-measure zero. This gives a solution to the open problem of inverse absolute continuity of quasiconformal mappings on hypersurfaces, attributed to Gehring. By implication, our result also answers questions of Väisälä and Astala--Bonk--Heinonen.
A K-quasiconformal selfmap of the unit disk with identity boundary values satisfies the Hölder estimate $|f(z)-f(w)| \leq 4^{1-1/K} |z-w|^{1/K}$. The constant $4^{1-\frac{1}{K}}$ is sharp.
In the present paper, we discuss several basic properties of a class of quasiconformal close-to-convex harmonic mappings with starlike analytic part, such results as coefficient inequalities, an integral representation, a growth theorem, an area theorem, and radii of close-to-convexity of partial sums of the class, are derived.
This is a commentary on Teichm{ü}ller's paper Ein Verschiebungssatz der quasikonformen Abbildung (A displacement theorem of quasiconformal mapping), published in 1944. We explain in detail how Teichm{ü}ller solves the problem of finding the quasiconformal mapping from the unit disc to itself, sending 0 to a strictly negative point on the real line, holding the boundary of the disc pointwise fixed and with the smallest quasiconformal dilatation. We mention also some consequences of this extremal problem and we ask a question.
Let $D$ and $Ω$ be Jordan domains with Dini's smooth boundaries and and let $f:D\mapsto Ω$ be a harmonic homeomorphism. The object of the paper is to prove the following result: If $f$ is quasiconformal, then $f$ is Lipschitz. This extends some recent results, where stronger assumptions on the boundary are imposed, and somehow is optimal, since it coincides with the best condition for Lipschitz behavior of conformal mappings in the plane and conformal parametrization of minimal surfaces.
Suppose that $f: D\to D'$ is a quasiconformal mapping, where $D$ and $D'$ are domains in ${\mathbb R}^n$, and that $D$ is a broad domain. Then for every arcwise connected subset $A$ in $D$, the weak quasisymmetry of the restriction $f|_A: A\to f(A)$ implies its quasisymmetry, and as a consequence, we see that the answer to one of the open problems raised by Heinonen from 1989 is affirmative under the additional condition that $A$ is arcwise connected. As an application, we establish nine equivalent conditions for a bounded domain, which is quasiconformally equivalent to a bounded and simply co…
In this article, we establish the Bohr inequalities for the sense-preserving $K$-quasiconformal harmonic mappings defined in the unit disk $\mathbb{D}$ involving classes of Ma-Minda starlike and convex univalent functions, usually denoted by $\mathcal{S}^*(ψ)$ and $\mathcal{C}(ψ)$ respectively, and for $\log (f(z)/z)$ where $f$ belongs to the Ma-Minda classes or satisfies certain differential subordination. We also estimate Logarithmic coefficient's bounds for the functions in $\mathcal{C}(ψ)$ for the case $ψ(\mathbb{D})$ be convex.
We give an example of a totally disconnected set E in R^3 which is not removable for quasiconformal homeomorphisms, i.e., there is a homeomorphism f of R^3 to itself which is quasiconformal off E, but not quasiconformal on all of R^3. The set E may be taken with Hausdorff dimension 2. The construction also gives a non-removable set for locally biLipschitz homeomorphisms.
We prove that for harmonic quasiconformal mappings $α$-Hölder continuity on the boundary implies $α$-Hölder continuity of the map itself. Our result holds for the class of uniformly perfect bounded domains, in fact we can allow that a portion of the boundary is thin in the sense of capacity. The problem for general bounded domains remains open.
In this article, we examine stretching and rotation of planar quasiconformal mappings on a line. We show that for almost every point on the line, the set of complex stretching exponents (describing stretching and rotation jointly) is contained in the disk $ \overline{B}(1/(1-k^4),k^2/(1-k^4))$. This yields a quadratic improvement over the known optimal estimate for general sets of Hausdorff dimension $1$. Our proof is based on holomorphic motions and estimates for dimensions of quasicircles. We also give a lower bound for the dimension of the image of a $1$-dimensional subset of a line under a…
In this paper, we solve two problems dealing with the homogenization of random media. We show that a random quasiconformal mapping is close to an affine mapping, while a circle packing of a random Delauney triangulation is close to a conformal map, confirming a conjecture of Stephenson. We also show that on a Riemann surface equipped with a conformal metric, a random Delauney triangulation is close to being circle packed.
We study $C^2$ extremal quasiconformal mappings in space and establish necessary and sufficient conditions for a `localized' form of extremality in the spirit of the work of G. Aronsson on absolutely minimizing Lipschitz extensions. We also prove short time existence for smooth solutions of a gradient flow of QC diffeomorphisms associated to the extremal problem.
Let $\overline{\mathbb{D}}$ be the closure of the unit disk $\mathbb{D}$ in the complex plane $\mathbb{C}$ and $g$ be a continuous function in $\overline{\mathbb{D}}$. In this paper, we discuss some characterizations of elliptic mappings $f$ satisfying the Poisson's equation $Δf=g$ in $\mathbb{D}$, and then establish some sharp distortion theorems on elliptic mappings with the finite perimeter and the finite radial length, respectively. The obtained results are the extension of the corresponding classical results.
We define a universal Teichmüller space for locally quasiconformal mappings whose dilatation grows not faster than a certain rate. Paralleling the classical Teichmüller theory, we prove results of existence and uniqueness for extremal mappings in the generalized Teichmüller class. Further, we analyze the circle maps that arise.
If $Ω$ is a simply connected domain in $\overline{\mathbb C}$ then, according to the Ahlfors-Gehring theorem, $Ω$ is a quasidisk if and only if there exists a sufficient condition for the univalence of holomorphic functions in $Ω$ in relation to the growth of their Schwarzian derivative. We extend this theorem to harmonic mappings by proving a univalence criterion on quasidisks. We also show that the mappings satisfying this criterion admit a homeomorphic extension to $\overline{\mathbb C}$ and, under the additional assumption of quasiconformality in $Ω$, they admit a quasiconformal extension …
We extend a well-known theorem by Jones and Makarov [JM] on the singularity of boundary distortion of planar conformal mappings. We use a different technique to recover the previous result and, moreover, generalize the result for quasiconformal mappings of the unit ball $\B^n\subset \mathbb{R}^n$, $n\ge 2$. We also establish an estimate on the Hausdorff (gauge) dimension of the boundary of the image domain outside an exceptional set of given size on the sphere $\partial \B^n$. Furthermore, we show that this estimate is essentially sharp. [JM] P. W. Jones and N. Makarov: Density properties of h…
It is stated a series of criteria of equicontinuity and normality for classes of space mappings with integral restrictions. It is shown that the found conditions are not only sufficient but also necessary. It is given applications to Sobolev's classes.
The main aim of this paper is to give a complete solution to one of the open problems, raised by Heinonen from 1989, concerning the subinvariance of John domains under quasiconformal mappings in $\IR^n$. As application, the quasisymmetry of quasiconformal mappings is discussed.
On Koebe-type functions for harmonic quasiconformal mappings
Hunan First Normal University（湖南第一师范学院）；Changsha University of Science and Technology（长沙理工大学）；Guangdong Technion-Israel Institute of Technology（广东以色列理工学院）；Technion-Israel Institute of Technology（以色列理工学院）
This paper first studies the regularity of conformal homeomorphisms on smooth locally embeddable strongly pseudoconvex CR manifolds. Then moduli of curve families are used to estimate the maximal dilatations of quasiconformal homeomorphisms. On certain CR 3-manifolds, namely, CR circle bundles over flat tori, extremal quasiconformal homeomorphisms in some homotopy classes are constructed. These extremal mappings have similar behaviors to Teichmüller mappings on Riemann surfaces.
Teichmüller's classical mapping problem for plane domains concerns finding a lower bound for the maximal dilatation of a quasiconformal homeomorphism which holds the boundary pointwise fixed, maps the domain onto itself, and maps a given point of the domain to another given point of the domain. For a domain $D \subset {\mathbb R}^n\,,n\ge 2\,,$ we consider the class of all $K$- quasiconformal maps of $D$ onto itself with identity boundary values and Teichmüller's problem in this context. Given a map $f$ of this class and a point $x\in D\,,$ we show that the maximal dilatation of $f$ has a lowe…
In his celebrated paper on area distortion for quasiconformal mappings, Astala showed optimal area distortion bounds and dimension distortion estimates for planar quasiconformal mappings. He asked (Question 4.4) whether a finer result held, namely absolute continuity of Hausdorff measures under push-forward by quasiconformal mappings. This was proved in one particular case relevant for removability questions, in joint work of Astala, Clop, Mateu, Orobitg and the author ("Distortion of Hausdorff measures and improved Painlev'e removability for bounded quasiregular mappings", Duke Math J., to ap…
