[論文レビュー] Muckenhoupt weights and Lindel\"of theorem for harmonic mappings

David Kalaj|arXiv (Cornell University)|Oct 30, 2014

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

ひとこと要約

この論文は、Lindel"ofの古典的定理を、調和な準同形写像へと拡張する。境界の滑らかさに関する基準を確立する：画像領域の境界が$C^1$であるための必要十分条件は、角微分の偏角$\arg(\partial_\varphi f(z)/z)$が単位円に連続的に拡張可能であることである。この結果は、Muckenhoupt重みと、弦弧領域における調和測度と弧長測度の$A_\infty$同値性に依拠しており、Lavrentievの定理を準同形調和写像の文脈に一般化する。

ABSTRACT

We extend the result of Lavrentiev which asserts that the harmonic measure and the arc-length measure are $A_\\infty$ equivalent in a chord-arc Jordan domain. By using this result we extend the classical result of Lindel\\"of to the class of quasiconformal (q.c.) harmonic mappings by proving the following assertion. Assume that $f$ is a quasiconformal harmonic mapping of the unit disk $\\mathbf{U}$ onto a Jordan domain. Then the function $A(z)=\\arg(\\partial_\\varphi(f(z))/z)$ where $z=re^{i\\varphi}$, is well-defined and smooth in $\\mathbf{U}^*=\\{z: 0<|z|<1\\}$ and has a continuous extension to the boundary of the unit disk if and only if the image domain has $C^1$ boundary.

研究の動機と目的

• 解析関数に対する古典的Lindel"of定理を、準同形調和写像へと拡張すること。
• 角微分の偏角の連続的拡張を用いて、準同形調和写像の像領域の境界正則性基準を確立すること。
• Muckenhoupt重みを用いて、弦弧領域における調和測度と弧長測度の$A_\infty$同値性を一般化し、Lavrentievの結果を準同形調和設定に拡張すること。
• 穿孔された単位円板内での$\arg(\partial_\varphi f(z)/z)$の挙動を用いて、像領域の$C^1$境界正則性を特徴付けること。

提案手法

• 弦弧領域における調和測度と弧長測度の$A_\infty$同値性を、Lavrentievの定理とMuckenhoupt重み理論を用いて確立する。
• 調和写像のポisson積分表現を適用し、境界関数を表現し、角微分を分析する。
• ポisson核と角微分の推定値を用いた複素解析的手法を用い、微分の偏角を制御する。
• 準同形写像の歪み不等式を用いて、ベルトラミ係数の有界性を保証し、調和写像の正則性を制御する。
• Muckenhoupt重み$A_p$の理論を用いて、境界測度の可積分性およびダブルィング性を分析する。
• Carleson型不等式を確立し、$L^p$推定値を用いて、境界付近における偏角関数$A(z)$の変動を制御する。

実験結果

リサーチクエスチョン

• RQ1 準同形調和写像に対して、角微分の偏角$\arg(\partial_\varphi f(z)/z)$が単位円板の境界に連続的に拡張可能となる条件は何か？
• RQ2 弦弧領域における調和測度と弧長測度の$A_\infty$同値性は、像領域の境界正則性とどのように関係するか？
• RQ3 Lindel"ofの古典的定理（解析関数に関するもの）は、準同形調和写像のクラスへと拡張可能か？
• RQ4 像領域の境界の滑らかさと、角微分の偏角の正則性の間には、どのような明確な関係があるか？
• RQ5 Muckenhoupt重みは、境界付近における準同形調和写像の正則性をどの程度特徴付けるのか？

主な発見

• 任意の単位円板からジョルダン領域への準同形調和写像$f$に対して、関数$A(z) = \arg(\partial_\varphi f(z)/z)$は、穿孔された単位円板$\mathbf{U}^* = \{z: 0 < |z| < 1\}$上で正しく定義され、滑らかである。
• 偏角$A(z)$が境界$\partial\mathbf{U}$に連続的に拡張可能であることと、像領域が$C^1$境界を持つことは、同値である。
• 弦弧領域における調和測度と弧長測度の$A_\infty$同値性は、主要な道具として確立され、Lavrentievの結果が準同形調和設定に一般化された。
• 証明は、$L^p$推定値とMuckenhoupt重み理論に依拠しており、$|A(z)/B(z)| < \epsilon$（$|z|$が1に近いとき）を示し、一様連続性を示している。
• 逆方向の証明では、$A(z)$が連続的に拡張可能であるならば、像曲線に連続的な接ベクトルが存在することを示し、$C^1$境界正則性を導く。
• この結果は、$f$が準同形調和写像であるという仮定のもとで成り立ち、ベルトラミ係数の有界性とポisson積分表現の使用が、中心的な役割を果たす。