[论文解读] Quasiconformal and HQC mappings between Lyapunov Jordan domains

Vladimir Bozin Miodrag Mateljević|arXiv (Cornell University)|May 11, 2018

Analytic and geometric function theory被引用 1

一句话总结

该论文证明了从单位圆盘到Lyapunov Jordan区域的调和拟共形（hqc）映射是共-Lipschitz的，解决了长期悬而未决的问题。通过使用特殊Lyapunov区域的局部逼近以及对拟双曲距离和边界畸变的几何估计，作者证明了h的雅可比行列式下界为正的常数，从而在整张圆盘上推出共-Lipschitz连续性。

ABSTRACT

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.

研究动机与目标

• 解决调和拟共形（hqc）映射从单位圆盘到Lyapunov区域是否为共-Lipschitz的公开问题。
• 利用接触边界且在h下具有凸像的特殊Lyapunov区域，建立拟共形映射的局部几何模型。
• 证明h的雅可比行列式下界为正的常数，从而推出共-Lipschitz连续性。
• 通过几何和度量估计，将Kellogg-Warschawski定理推广到调和拟共形情形。
• 使用区域逼近和拟双曲度量，为Kalaj关于hqc映射在Lyapunov区域上具有双-Lipschitz性质的结果提供新证明。

提出的方法

• 定义特殊Lyapunov区域Ua ⊂ U和lyp(D)−b ⊂ D，二者形状固定，满足Ua在a处接触边界，lyp(D)−b在h(a) = b处接触边界。
• 使用Gehring-Osgood不等式（GeOs）及改进形式（S-0），比较拟共形映射下的角度与拟双曲距离。
• 应用Harnack型估计，证明|Fa(z′) − b| ≥ s0(1 − |z′|)，其中Fa = h ∘ φa，φa将U映射到Ua。
• 建立几何估计：当w接近b时，db(w) ≈ |w − b|，且db(w) ⪰ d(z′) = 1 − |z′|，其中z′ = φa−1(z)。
• 利用拟共形映射下拟双曲度量的不变性以及Lyapunov区域中拟双曲度量的有界性，推导出一致的下界。
• 综合各项估计，证明对所有z ∈ U有λh(z) ≈ Λh(z) ≥ s4 > 0，从而推出共-Lipschitz连续性。

实验结果

研究问题

• RQ1 从单位圆盘到Lyapunov区域的调和拟共形映射是否为共-Lipschitz连续？
• RQ2 拟共形映射在边界附近的局部行为能否通过映射到固定形状的凸Lyapunov区域来逼近？
• RQ3 Lyapunov区域上调和拟共形映射的雅可比行列式是否具有统一的正下界？
• RQ4 Kellogg-Warschawski定理对解析函数的结论能否推广到调和拟共形映射？
• RQ5 拟双曲度量与拟共形畸变在控制调和拟共形映射边界畸变方面起什么作用？

主要发现

• 对每个a ∈ ∂U，存在一个特殊Lyapunov区域Ua ⊂ U，其在a处接触边界，且存在一个凸Lyapunov区域lyp(D)−b ⊂ D，其在h(a)处接触边界，使得lyp(D)−b ⊂ h(Ua) ⊂ Hb，其中Hb是包含b的半平面。
• 距离函数db(w) = dist(w, ∂D−b)满足：当w接近b时，db(w) ⪰ |w − b|，且对z′ ∈ Ua有db(w) ⪰ d(z′) = 1 − |z′|。
• 与雅可比行列式相关的量Λh(z) = |∂h| + |∂̄h|在U上一致满足Λh(z) ≥ s4 > 0，其中s4与z无关。
• 量λh(z) = |∂h| − |∂̄h|满足对所有z ∈ U有λh(z) ≈ Λh(z) ≥ s4 > 0，表明映射是共-Lipschitz的。
• 结果确认了Lyapunov区域之间的调和拟共形映射是共-Lipschitz的，解决了该领域的一个公开问题。
• 证明将全局共-Lipschitz性质归约为局部凸性模型，利用与具体映射h无关的统一估计。