[論文レビュー] Lipschitz spaces and harmonic mappings

David Kalaj|ArXiv.org|Jan 25, 2009

Analytic and geometric function theory参考文献 24被引用数 24

ひとこと要約

本稿では、$C^{2,\beta}$境界（$\beta > 0$）をもつ2つのジョルダン領域間の擬等角調和写像が、以前の結果で要請されていた凸性の制限を除き、すべてが双リプシッツであることを確立する。証明は境界正則性、コンフォーマルリフト、シュワルツの相反原理およびサブハーモニック関数の推定による勾配の下界に依拠する。

ABSTRACT

In \cite{kamz} the author proved that every quasiconformal harmonic mapping between two Jordan domains with $C^{1,α}$, $0

研究の動機と目的

• 以前の結果で示された、ジョルダン領域間の擬等角調和写像が双リプシッツであるという事実における凸性制限を除去すること。
• $C^{2,\alpha}$ 境界（$\alpha > 0$）をもつジョルダン領域間の擬等角調和写像が双リプシッツ連続であることを確立すること。
• このような写像のヤコビアンが内部でゼロから離れていることを証明し、共リプシッツ性を保証すること。
• ヘインツ型の勾配推定を、単位円板および凸領域から一般の $C^{2,\alpha}$ ジョルダン領域へ拡張すること。

提案手法

• $C^{2,\alpha}$ 境界をもつターゲット領域 $\Omega_t^\tau$ を単位円板へリフトするためのコンフォーマル写像 $\eta_t^\tau$ の使用。
• $\eta_t^\tau$ との合成により、単位円板から $\Omega_t$ への調和的擬等角写像 $f_t^\tau$ の族の構成。
• シュワルツの相反原理を用いて、 $\nabla f \circ \eta_t$ の境界近傍における拡張と挙動制御。
• コンパクト性と一様な下界を用いて、単位円周に近いアニュラス上での $|\nabla f(z)|$ の下界の推定。
• 勾配ノルムから導かれるサブハーモニック関数 $S(z)$ を用い、最大原理を適用してグローバルな下界を導出。
• $\tau \to 0^+$ の極限を活用し、 $f_t^\tau$ を元の写像 $f$ と関連づけ、勾配の下界が保たれることを保証。

実験結果

リサーチクエスチョン

• RQ1 ターゲット領域の凸性を仮定しない限り、擬等角調和写像の双リプシッツ性は確立可能か？
• RQ2 $C^{2,\alpha}$ ジョルダン領域間の擬等角調和写像のヤコビアンはゼロから離れているか？
• RQ3 調和微分同相の勾配下界は、単位円板および凸領域から一般の $C^{2,\alpha}$ ターゲットへ拡張可能か？
• RQ4 ターゲット領域の $C^{2,\alpha}$ 境界正則性は、擬等角調和写像の双リプシッツ連続性を保証するのに十分か？

主な発見

• $C^{2,\alpha}$ 境界（$\alpha > 0$）をもつ2つのジョルダン領域間のすべての擬等角調和写像は双リプシッツである。
• 単位円周の穴あき近傍で、勾配 $|\nabla f(z)|$ は正の定数 $\tilde{C}(K, \Omega, a) > 0$ で下から抑えられる。
• 勾配ノルムに関連するサブハーモニック関数 $S(z)$ は単位円板内で1で抑えられ、勾配の均一な制御を示す。
• 共リプシッツ定数は $\frac{C(K,\Omega,a)}{K}$ で下から抑えられ、写像が明示的な $K$ および領域幾何学的依存性をもって双リプシッツであることを保証する。
• 本結果はヘインツの定理および以前の凸性制限付き結果を、非凸な $C^{2,\alpha}$ 領域へ一般化する。
• 条件 $\partial\Omega \in C^{2,\alpha}$ は本質的であり、追加仮定なしには $C^{1,\alpha}$ 領域へは結果が拡張されない。