[論文レビュー] On mappings satisfying the inverse Poletsky inequality

Evgeny Sevost’yanov, Sergei Skvortsov+1 more|arXiv (Cornell University)|Mar 26, 2019

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

ひとこと要約

本稿は、曲線族のモジュラスを含む逆ポレツキー不等式を満たす開かつ離散的な写像の局所的および境界上の挙動を調査する。歪み関数 $ Q $ の $ L^1 $-ノルムを用いて、このような写像の点ごとのホルダー型推定式を確立し、領域 $ D $ の幾何的仮定が弱いかぎりで、家族 $ \mathfrak{F}_Q(D) $ が内部および境界で同調連続であることを証明する。

ABSTRACT

We have studied the local and boundary behavior of mappings satisfying one estimate of the distortion of the modulus of families of paths. In particular, we have obtained conditions under which the families of the indicated mappings are equicontinuous inside and on the boundary of a domain.

研究の動機と目的

• 一般化された逆ポレツキー不等式を満たす写像の局所的および境界上の挙動を分析すること。
• このような写像の族が領域の内部および境界で同調連続であるための条件を確立すること。
• ホメオモルフィズムに制限された既存の結果を一般化し、分岐をもつ写像への同調連続性の拡張を行うこと。
• 特に局所的連結性および弱い平坦性といった、領域の幾何的性質がこうした写像の正則性に与える影響を調査すること。
• 境界成分の非退化性を仮定しない場合に同調連続性が成り立つかどうかという未解決の問題に取り組むこと。

提案手法

• 写像 $ f: D \to \mathbb{R}^n $ がすべての $ y_0 \in f(D) $ に対して逆ポレツキー不等式 (4) を満たす開かつ離散的で閉じた写像の族 $ \mathfrak{F}_Q(D) $ を定義し、歪み関数 $ Q \in L^1(\mathbb{R}^n) $ を導入する。
• 曲線族 $ \Gamma_f(y_0, r_1, r_2) $ のモジュラス推定を用い、$ \int_{r_1}^{r_2} \eta(r)\,dr \geq 1 $ を満たすテスト関数 $ \eta $ に対する $ Q $ の積分と関連付ける。
• 点ごとの上界 $ |f(x) - f(x_0)| $ を $ \|Q\|_1 $ と $ \log^{-1/n}(1 + r_0/|x - x_0|) $ の関数として導出し、ホルダー型の制御を確立する。
• 境界近傍での曲線族のモジュラスを制御するために、弱い平坦性および境界の局所的連結性の概念を用いる。
• 反証法を用い、写像の列と双曲的距離の挙動を考察することで、$ \overline{D} $ 上での同調連続性を証明する。
• 特に Martio, Ryazanov, Srebro, Yakubov (2009) の結果に基づき、$ Q $-ホメオモルフィズムおよびモジュラス不等式の既知の結果を非ホメオモルフィズム写像へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 逆ポレツキー不等式を満たす写像の族が領域の内部および境界で同調連続であるための条件は何か？
• RQ2 歪み関数 $ Q $ の $ L^1 $-ノルムがこうした写像のモジュラス連続性にどのように影響するか？
• RQ3 分岐をもつ（非ホメオモルフィズムな）写像について、逆ポレツキー条件のもとで同調連続性を確立できるか？
• RQ4 領域の幾何的性質（例えば、弱い平坦性、局所的連結性）が境界正則性に与える必要条件は何か？
• RQ5 境界成分の非退化性は同調連続性に不可欠であるのか、それとも取り除けるか？

主な発見

• 任意の $ f \in \mathfrak{F}_Q(D) $ に対して、$ 2r_0 < \text{dist}(x_0, \partial D) $ を満たすすべての $ x \in B(x_0, r_0) $ に対して、点ごとの推定式 $ |f(x) - f(x_0)| \leq \frac{C_n \cdot \|Q\|_1^{1/n}}{\log^{1/n}\left(1 + \frac{r_0}{|x - x_0|}\right)} $ が成り立つ。ここで $ C_n $ は次元 $ n $ のみに依存する定数である。
• すべての $ Q \in L^1(\mathbb{R}^n) $ に対して、モジュラス推定の均一な減衰性により、家族 $ \mathfrak{F}_Q(D) $ は $ D $ で同調連続である。
• $ \partial D $ が局所的に連結で弱い平坦性を満たすと仮定すれば、境界近傍でのモジュラスの制御が可能となり、$ \overline{D} $ 上での同調連続性が確立される。
• 証明は反証法に依拠する：非同調連続性を仮定すると、前像の双曲的直径が一様に有界な写像列が得られ、これはモジュラス推定と矛盾する。
• 結果は分岐をもつ写像に対しても成り立ち、従来のホメオモルフィズムに制限された結果を一般化する。
• 未解決の問題として、境界成分の非退化性を仮定しない場合に同調連続性が保たれるかは、現在の証明では依然として必要条件のままである。