[論文レビュー] On boundary correspondence of q.c. harmonic mappings between smooth Jordan domains

David Kalaj|arXiv (Cornell University)|Oct 26, 2009

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

ひとこと要約

本稿は、滑らかなジョルダン領域間の擬等角調和写像について、定量的なリプシッツおよびコリプシッツ評価を確立し、境界関数の $ L^∞ $ ノルムとそのハーディー変換に依存する明示的な擬等角歪度定数を提供する。ハーディー変換と境界データを用いて $ K $-擬等角調和写像を特徴付け、歪度 $ K $ に対する鋭い上限を証明し、正則写像の場合に等号が成立することを示す。

ABSTRACT

A quantitative version of an inequality obtained in \cite[Theorem~2.1]{mathz} is given. More precisely, for normalized $K$ quasiconformal harmonic mappings of the unit disk onto a Jordan domain $Ω\in C^{1,μ} $ ($0

研究の動機と目的

• 滑らかなジョルダン領域間の擬等角調和写像に関する既存の不等式の定量的バージョンを提供すること。
• 単位円板から $ C^{1,μ} $ ジョルダン領域への $ K $-擬等角調和写像の明示的なリプシッツ定数を、$ K $ と領域の幾何構造に依存して導出すること。
• 境界関数のハーディー変換を用いて、$ C^{2,\alpha} $-境界を持つジョルダン領域への $ K $-擬等角調和写像を特徴付けること。
• 境界関数の $ L^\infty $ ノルムとそのハーディー変換に依存する鋭い明示的擬等角定数を確立すること。

提案手法

• 調和関数のポisson積分表現を用いて、境界データと内部微分の関係を確立する。
• ハーディー変換を応用し、導関数 $ f' $ の境界挙動を特徴付け、それらをベルトラミ係数 $ \mu $ と関連付ける。
• $ C^{1,\mu} $ の正則性を用いて、ヤコビアン推定式 $ \limsup_{r\to1^-} J_w(re^{i\varphi}) \leq C_\gamma |f'(\varphi)| \int \frac{d_\gamma^{1+\mu}}{x^2} dx $ を導出する。
• 関数 $ \frac{|w_z|^2 + |w_{\bar{z}}|^2}{(|w_z| - |w_{\bar{z}}|)^2} $ の本質的上界を $ \|f'\|_\infty $ と $ \|H(f')\|_\infty $ に依存して鋭く評価する。
• 関数 $ |\mu(z)| $ の下調和性と関数 $ \phi(t) = \frac{1+t}{1-t} $ の凸性を用いて、単位円板全体にわたる歪度 $ K(z) $ を一様に評価する。
• 鋭い擬等角定数 $ K = \frac{\sqrt{\|f'\|_\infty^2 + \|H(f')\|_\infty^2 - l(f)^2}}{l(f)} $ を導出する。等号は $ w $ が正則写像のとき成立する。

実験結果

リサーチクエスチョン

• RQ1 単位円板から $ C^{1,\mu} $ ジョルダン領域への $ K $-擬等角調和写像の明示的リプシッツ定数は何か？ これは $ K $ と領域構造に依存するか？
• RQ2 境界関数のハーディー変換を用いて、$ C^{2,\alpha} $-境界を持つ領域への $ K $-擬等角調和写像をどのように特徴付けることができるか？
• RQ3 境界導関数の $ L^\infty $ ノルムとそのハーディー変換に依存する調和写像の擬等角歪度 $ K $ の鋭い上界は何か？
• RQ4 単位円板の擬等角調和自己写像は、境界関数が非微分可能であっても、正則写像に限りなく近づけることができるか？
• RQ5 調和写像の擬等角性に関して、$ \|H(f')\|_\infty \leq \|f'\|_\infty $ は必要十分条件か？

主な発見

• 境界曲線の $ C^{1,\mu} $ ノルムに依存する $ K $-擬等角調和写像の明示的リプシッツ定数が導出された。
• 調和写像の擬等角歪度 $ K $ は $ \frac{\sqrt{\|f'\|_\infty^2 + \|H(f')\|_\infty^2 - l(f)^2}}{l(f)} $ で上界が与えられ、$ w $ が正則写像のとき等号が成立する。
• 等号成立の確認として、$ w $ が恒等写像のとき $ K=1 $ であることを示した。
• 調和拡張が擬等角であるためには境界関数 $ f $ が絶対連続でなければならないことが、ファトウの定理と径方向極限を用いて確立された。
• 反例により、$ |w_z| = |w_{\bar{z}}| $ が境界点で成立する場合、調和多項式ですら擬等角でないことがあることが示された。これは $ K $-擬等角条件を破る。
• 例により、$ K \to 1 $ のときでさえ、非滑らかな境界関数を持つ $ K $-擬等角調和自己写像が存在しうることを示した。これは正則写像の場合とは対照的である。