[論文レビュー] On Sobolev's mappings on Riemann surfaces

Vladimir Ryazanov, С. В. Волков|arXiv (Cornell University)|Apr 1, 2016

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

ひとこと要約

本稿は、リーマン面上の領域における有限歪みをもつソボレフ写像の境界への連続的かつホメオモルフィックな延長について、境界点近傍における歪み関数 $ K_f $ の挙動を用いて鋭い条件を確立する。歪み関数 $ K_f $ が特定の可積分性または振動条件（例えば対数的成長や有限平均振動）を満たすならば、写像は領域の閉包へホメオモルフィズムとして延長されることを示している。

ABSTRACT

In terms of dilatations, it is proved a series of criteria for continuous and homeomorphic extension to the boundary of mappings with finite distortion between regular domains on the Riemann surfaces

研究の動機と目的

• リーマン面上の領域の境界への、有限歪みをもつ $ W^{1,1}_{\text{loc}} $ の写像が連続的に延長可能となる十分条件を確立すること。
• 特に境界点近傍における歪み関数 $ K_f $ を用いて、このような写像の境界挙動を特徴づけること。
• $ K_f $ の境界近傍における成長または振動に基づいた、効果的で積分型および点별基準を提供すること。
• 複素平面における既知の結果を、リーマン面上の内在的幾何的・解析的道具を用いて一般化すること。
• 歪み関数に適切な条件が満たされれば、写像が領域の閉包間のホメオモルフィズムとして延長されることを証明すること。

提案手法

• ソボレフ写像の歪みを制御する中心的解析的対象として、最大歪み $ K_f(p) $ を用いる。
• 境界点における $ K_f $ の FMO（有限平均振動）条件を適用し、境界への延長を保証する。
• メトリック円 $ h(p,p_0) = r $ 上での $ K_f $ の $ L^1 $-平均 $ ||K_f||(p_0,r) $ を用いた積分条件 $ \int_0^\delta \frac{dr}{||K_f||(p_0,r)} = \infty $ を用いる。
• FMO 条件と、境界正則性を保証する limsup 条件 $ \limsup_{\varepsilon \to 0} \mathchoice{{\vbox{\hbox{$\textstyle-$}}\kern-5.83331pt}}{{\vbox{\hbox{$\scriptstyle-$}}\kern-3.90001pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-2.75pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-2.25pt}}\!\int_{B(p_0,\varepsilon)} K_f(p)\,dh(p) < \infty $ の同値性を活用する。
• 凸関数 $ \Phi(K_f) $ を用いた成長条件と、$ \int_\delta^\infty \frac{d\tau}{\tau \Phi^{-1}(\tau)} = \infty $ を満たす条件を用いて可積分性を保証し、境界への延長を導く。
• リーマン面上の共形座標変換のもとでのソボレフおよび歪みクラスの不変性を活用する。

実験結果

リサーチクエスチョン

• RQ1 リーマン面上の領域の境界への、有限歪みをもつソボレフ写像が連続的に延長可能となるための歪み関数 $ K_f $ の条件は何か？
• RQ2 境界点近傍における $ K_f $ の局所的挙動（例えば対数的成長や有限平均振動）が、写像の境界への延長にどのように影響するか？
• RQ3 積分 $ \int_0^\delta \frac{dr}{||K_f||(p_0,r)} $ の発散条件が、領域の閉包へのホメオモルフィック延長を保証できるか？
• RQ4 境界点における $ K_f $ の FMO 条件が写像の延長を保証するために果たす役割は何か？
• RQ5 指数的可積分条件 $ \int_U e^{\alpha K_f} \, dh < \infty $ が $ K_f $ に対して成り立つ場合、境界正則性とはどのように関係するか？

主な発見

• すべての $ p_0 \in \partial D $ に対して $ \int_0^\delta \frac{dr}{||K_f||(p_0,r)} = \infty $ が成り立つならば、写像 $ f $ は $ \overline{D} $ へホメオモルフィズムとして延長される。
• $ K_f(p) = O\left(\log \frac{1}{h(p,p_0)}\right) $ が $ p \to p_0 $ のとき成り立つならば、境界近傍における歪みの対数的成長を示している。
• すべての $ p_0 \in \partial D $ に対して $ \limsup_{\varepsilon \to 0} \mathchoice{{\vbox{\hbox{$\textstyle-$}}\kern-5.83331pt}}{{\vbox{\hbox{$\scriptstyle-$}}\kern-3.90001pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-2.75pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-2.25pt}}\!\int_{B(p_0,\varepsilon)} K_f(p)\,dh(p) < \infty $ が成り立つならば、$ f $ は $ \overline{D} $ へ連続的に延長される。
• 凸関数 $ \Phi $ が $ \int_\delta^\infty \frac{d\tau}{\tau \Phi^{-1}(\tau)} = \infty $ を満たすならば、$ \int_U \Phi(K_f(p))\,dh(p) < \infty $ が成り立つと、$ f $ は $ \overline{D} $ へホメオモルフィズムとして延長される。
• 特に、ある $ \alpha > 0 $ に対して $ \int_U e^{\alpha K_f(p)}\,dh(p) < \infty $ が成り立つならば、$ f $ は閉包へホメオモルフィズムとして延長される。
• $ \int_{\varepsilon < h(p,p_0) < \varepsilon_0} K_f(p) \frac{dh(p)}{h(p,p_0)^2} = o\left(\left[\log \frac{1}{\varepsilon}\right]^2\right) $ が $ \varepsilon \to 0 $ のとき成り立つならば、$ f $ は $ \overline{D} $ へホメオモルフィズムとして延長される。