[論文レビュー] Quasiconformal and HQC mappings between Lyapunov Jordan domains

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

Analytic and geometric function theory被引用数 1

ひとこと要約

本稿は、単位円板からリャプノフジョルダン領域への調和準等角（hqc）写像が共リプシッツであることを確立し、未解決問題を解決した。局所的な特別なリャプノフ領域への近似と、準双曲的距離および境界歪みの幾何的推定を用いて、写像 h のヤコビアンが正の定数で下から抑えられることを証明し、これが円板全体での共リプシッツ連続性を示す。

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）写像が共リプシッツであるかどうかという未解決問題を解決すること。
• 境界に接する特別なリャプノフ領域を用いた qc 写像の局所的幾何的モデルを確立すること。
• h のヤコビアンが正の定数で下から抑えられることを示し、これが共リプシッツ連続性を意味すること。
• 幾何的および距離的推定を用いて、ケロッグ＝ヴァルシャフスキーの定理を調和準等角設定に拡張すること。
• ドメイン近似と準双曲的距離を用いて、カラジュの結果（hqc 写像がリャプノフ領域上に双リプシッツである）の新しい証明を提供すること。

提案手法

• 境界点 a で接する特別なリャプノフ領域 Ua ⊂ U と、h(a) = b で接するリャプノフ領域 lyp(D)−b ⊂ D を定義する。両者とも固定された形状を持つ。
• Gehring-Osgood 不等式 (GeOs) とその精密化 (S-0) を用いて、qc 写像下での角度と準双曲的距離を比較する。
• ハーナック型推定を適用し、|Fa(z′) − b| ≥ s0(1 − |z′|) を示す。ここで Fa = h ∘ φa であり、φa は U を Ua に写像する。
• 幾何的推定を確立する：b の近傍における w に対して db(w) ≈ |w − b| であり、また db(w) ⪰ d(z′) = 1 − |z′| が成り立つ。ここで z′ = φa−1(z) である。
• qc 写像下での準双曲的距離の不変性と、リャプノフ領域における準双曲的距離の有界性を用いて、一様な下界を導出する。
• 推定を組み合わせ、すべての z ∈ U に対して λh(z) ≈ Λh(z) ≥ s4 > 0 が成り立つことを示し、これが共リプシッツ連続性を意味する。

実験結果

リサーチクエスチョン

• RQ1 単位円板からリャプノフ領域への調和準等角写像は共リプシッツ連続か？
• RQ2 境界付近における qc 写像の局所的挙動は、固定形状の凸リャプノフ領域への写像で近似可能か？
• RQ3 リャプノフ領域上での調和 qc 写像のヤコビアンは、一様に正の下界を持つか？
• RQ4 解析関数に対するケロッグ＝ヴァルシャフスキーの定理は、調和準等角写像に拡張可能か？
• RQ5 準双曲的距離と準等角歪みは、調和 qc 写像の境界歪みを制御するために果たす役割は何か？

主な発見

• 任意の a ∈ ∂U に対して、a で接する特別なリャプノフ領域 Ua ⊂ U と、h(a) = b で接する凸リャプノフ領域 lyp(D)−b ⊂ D が存在し、lyp(D)−b ⊂ h(Ua) ⊂ Hb を満たす。ここで Hb は b を含む半平面である。
• 距離関数 db(w) = dist(w, ∂D−b) は、b の近傍における w に対して db(w) ⪰ |w − b| を満たし、また z′ ∈ Ua に対して db(w) ⪰ d(z′) = 1 − |z′| が成り立つ。
• ヤコビアン関連量 Λh(z) = |∂h| + |∂̄h| は、すべての z ∈ U に対して Λh(z) ≥ s4 > 0 を満たし、s4 は z に依存しない。
• 量 λh(z) = |∂h| − |∂̄h| は、すべての z ∈ U に対して λh(z) ≈ Λh(z) ≥ s4 > 0 を満たし、写像が共リプシッツであることを示す。
• 本結果により、リャプノフ領域間の調和準等角写像が共リプシッツであることが確認され、分野における未解決問題が解決された。
• 証明は、グローバルな共リプシッツ性を、特定の写像 h に依存しない一様推定を用いた局所的凸性モデルに還元している。