[論文レビュー] On behavior of homeomorphisms with inverse modulus conditions

Evgeny Sevost’yanov, С. А. Скворцов|arXiv (Cornell University)|Dec 20, 2017

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

ひとこと要約

本稿は、逆写像 $ f = g^{-1} $ がすべての適切な $ \rho $ に対して $ M(f(\Gamma)) \leq \int_D Q(x) \rho^n(x)\,dm(x) $ の形の逆モジュラス条件を満たすような、$ g: D' \to D $ の局所的および境界上の挙動を調査する。$ Q \in L^1(D) $ であり、境界の局所的連結性と弱い平坦性を仮定すると、著者らは $ D' $ における $ g $ の等連続性および $ \overline{D'} $ への連続的拡張を証明し、拡張された族が閉包上で等連続であることを示す。

ABSTRACT

We consider some class of homeomorphisms of domains of Euclidean space, which are more general than quasiconformal mappings. For these homeomorphisms, we have obtained theorems on local behavior of it's inverse mappings in a given domain. Under some additional conditions, we proved results about behavior of mappings mentioned above in the closure of the domain.

研究の動機と目的

• ホメオモルフィズム $ g $ の局所的および境界的挙動を分析すること。ただし、その逆写像 $ f $ は一般化された逆モジュラス条件を満たす。
• 従来の研究で用いられていた、2点を固定する正規化制約を排除することで、より広範な適用可能性を達成すること。
• 幾何的および可積分性条件のもとで、$ D' $ における等連続性および領域の閉包への連続的拡張を確立すること。
• 逆家族 $ \{f_m\} $ が $ \{g_m\} = \{f_m^{-1}\} $ が等連続であっても、等連続でないことがあることを示し、逆モジュラス条件における挙動の非対称性を強調すること。

提案手法

• すべての適切な $ \rho $ に対して $ M(f(\Gamma)) \leq \int_D Q(x) \rho^n(x)\,dm(x) $ を満たす写像 $ g: D' \to D $ のクラス $ \mathfrak{R}_Q(D, D') $ を定義する。
• 曲線族のモジュラス $ M(\Gamma(E,F,D)) $ を用いて、連結性および境界挙動を定量化する。
• 幾何的条件を適用する：境界点における局所的連結性および $ \partial D' $ の弱い平坦性。これにより、小さな近傍が大きなモジュラスを持つ集合を分離することを保証する。
• $ Q \in L^1(D) $ のもとで、モジュラス推定とコンパクトネスの議論により $ D' $ における等連続性を確立する。
• 弱い平坦性および局所的連結性の仮定を用いて、$ \overline{D'} $ への連続的拡張を証明し、$ \overline{D'} $ への像が $ \overline{D} $ に一致することを保証する。
• 球 $ \mathbb{B}^n \to B(0,2) $ を写像する反例 $ f_m $ を用いて、$ \{f_m\} $ は 0 において等連続でないが、$ \{g_m = f_m^{-1}\} $ は $ \overline{B(0,2)} $ 上で等連続であることを示し、逆モジュラス条件における挙動の非対称性を説明する。

実験結果

リサーチクエスチョン

• RQ1 逆モジュラス条件を満たすホメオモルフィズム $ g: D' \to D $ の族が $ D' $ で等連続となる条件は何か？
• RQ2 このような写像 $ g $ は閉包 $ \overline{D'} $ に連続的に拡張可能か？ また、拡張された族が等連続となる条件は何か？
• RQ3 局所的連結性および弱い平坦性といった幾何的境界条件が、$ Q $ の可積分性とどのように作用し、等連続性を保証するか？
• RQ4 逆家族 $ \{f_m\} $ の挙動は、$ \{g_m = f_m^{-1}\} $ が等連続である場合にどうなるか？ そして、この現象は準等角写像に見られる対称性を破るのか？
• RQ5 2点を固定する正規化制約を排除することで、結果を準等角写像を超える一般化することは可能か？

主な発見

• すべての $ Q \in L^1(D) $ および $ \overline{D}, \overline{D'} $ がコンパクトである限り、族 $ \mathfrak{R}_Q(D, D') $ は $ D' $ で等連続である。
• すべての境界点で $ D $ が局所的連結であり、$ D' $ が弱い平坦性を持つ場合、$ Q \in L^1(D) $ ならば、各 $ g \in \mathfrak{S}_{\delta,A,Q}(D,D') $ は $ \overline{D'} $ に連続的に拡張可能であり、拡張された族は $ \overline{D'} $ 上で等連続である。
• 拡張写像 $ \overline{g}: \overline{D'} \to \overline{D} $ は $ \overline{g}(\overline{D'}) = \overline{D} $ を満たし、閉包構造を保存する。
• 反例における逆家族 $ \{f_m\} $ は、0 において等連続でないが、$ \{g_m = f_m^{-1}\} $ は $ \overline{B(0,2)} $ 上で等連続であるため、逆モジュラス条件は逆方向に等連続性を保証しない。
• $ Q \in L^1(D) $ であることは等連続性にとって本質的である。これがないと、モジュラスの制御が失敗し、等連続性は保証できない。
• $ f_m $ と $ g_m $ の例は、逆モジュラス条件を満たす写像のクラスが準等角写像を厳密に超えており、その逆家族の挙動が非常に異なることがあることを示している。