Logarithmic Potentials and Quasiconformal Flows on the Heisenberg Group

2017/01/16 by Austin, Alex D.
#30L10 #53C17 #Classical Analysis and ODEs (math.CA) #FOS: Mathematics

paper · doi:10.48550/arxiv.1701.04163

Abstract

Let ℍ be the sub-Riemannian Heisenberg group. That ℍ supports a rich family of quasiconformal mappings was demonstrated by Korányi and Reimann using the so-called flow method. Here we supply further evidence of the flexible nature of this family, constructing quasiconformal mappings with extreme behavior on small sets. More precisely, we establish criteria to determine when a given logarithmic potential Λ on ℍ is such that there exists a quasiconformal mapping of ℍ with Jacobian comparable to e^2Λ (so that the Jaobian is zero or infinity at the same points as e^2Λ). When Λ is continuous and meets the criteria, we show the canonical (sub-Riemannian) metric g₀ and the weighted metric g = e^Λg₀ generate bi-Lipschitz equivalent distance functions. These results rest on an extension to the theory of quasiconformal flows on ℍ and constructions that adapt the iterative method of Bonk, Heinonen, and Saksman.

Related

• A new proof of the C^∞ regularity of C² conformal mappings on the Heisenberg group
• A Koebe distortion theorem for quasiconformal mappings in the Heisenberg group
• Heisenberg quasiregular ellipticity
• Global weak solutions for the inverse mean curvature flow in the Heisenberg group
• Geometric construction of quasiconformal mappings in the Heisenberg group