[論文レビュー] Solving the Loewner PDE in complete hyperbolic starlike domains of $\C^N$

Leandro Arosio, Filippo Bracci+1 more|arXiv (Cornell University)|Jul 11, 2012

Analytic and geometric function theory参考文献 19被引用数 8

ひとこと要約

本稿は、$\mathbb{C}^N$ 内の完全双曲的スターリー型領域（有界凸領域および単位球を含む）におけるローレンツ偏微分方程式が、$\mathbb{C}^N$ 値の単値的解を有することを確立し、ローレンツの範囲がランゲおよびステイン領域であることを示している。証明は下半連続な正則拡張とランゲ対理論に依拠し、進化族構造を通じて、解族の像がネストされたランゲ埋め込みの増大和をなしていることを示している。

ABSTRACT

We prove that any Loewner PDE in a complete hyperbolic starlike domain of $\C^N$ (in particular in bounded convex domains) admits an essentially unique univalent solution with values in $\C^N$.

研究の動機と目的

• $\ mathbb{C}^N$ 内の完全双曲的スターリー型領域におけるローレンツ偏微分方程式が、$\ mathbb{C}^N$ 値の単値的解を有するかどうかという未解決問題を解消すること。
• ローレンツの範囲 $R = \bigcup_{t \geq 0} f_t(D)$ が $\ mathbb{C}^N$ 内でランゲおよびステイン領域であることを確立することにより、正則関数の多項式近似と正則凸性を保証すること。
• 古典的ローレンツ理論を単位円板から、有界凸領域および単位球を含む高次元の完全双曲的スターリー型領域へと拡張すること。
• 任意のローレンツ偏微分方程式の解が、範囲上での正則写像による合成を除き本質的に一意的であることを示すこと。

提案手法

• $d \in [1, \infty]$ の順序をもつエルグローツベクトル場を用いてローレンツ偏微分方程式を定義する：$ \frac{\partial f_t}{\partial t}(z) = -d f_t(z) G(z,t) $ ほとんど everywhere で $t \geq 0$。
• 定理 2.4 を適用して、$G(z,t)$ に関連する一般化されたローレンツ常微分方程式を解く一意的な進化族 $(\varphi_{s,t})$ を構成する。
• 各 $f_n(D)$ が、$0 \leq t \leq 1$ の範囲で $t \mapsto f_{n+t}(D)$ の族を介して $f_{n+1}(D)$ に下半連続に正則拡張可能であることを確立する。これは定義 4.1 の条件 (0)–(4) を満たす。
• 定理 4.2 を適用して、すべての $n \in \mathbb{N}$ に対して $(f_n(D), f_{n+1}(D))$ がランゲ対であることを結論づける。これは $D$ のステインおよび双曲的構造に依拠する。
• 定理 3.4 を用いて、増大和 $R = \bigcup_{t \geq 0} f_t(D)$ が $\ mathbb{C}^N$ 内のランゲおよびステイン領域に正則同型であることを導出する。
• $D$ の双曲的性質に依拠して、逆写像の正規性を保証し、これにより下半連続拡張の性質が支えられる。

実験結果

リサーチクエスチョン

• RQ1 $\ mathbb{C}^N$ 内の完全双曲的スターリー型領域におけるローレンツ偏微分方程式は、$\ mathbb{C}^N$ 値の単値的解を有するか？
• RQ2 ローレンツの範囲 $R = \bigcup_{t \geq 0} f_t(D)$ は $\ mathbb{C}^N$ 内でランゲおよびステイン領域か？
• RQ3 解族 $f_t$ は、連続的なレベル間でランゲ対の性質を持つネストされた増大和をなすように構成可能か？
• RQ4 ローレンツ偏微分方程式の解は、範囲上での正則写像による合成を除き本質的に一意的か？
• RQ5 抽象的解理論が、スターリー型領域に対して $\ mathbb{C}^N$ 内にランゲおよびステイン領域として埋め込めるか？

主な発見

• 任意の完全双曲的スターリー型領域 $D \subset \mathbb{C}^N$ におけるローレンツ偏微分方程式は、$d \in [1, \infty]$ の順序をもつ単値的解 $f_t: D \to \mathbb{C}^N$ を有し、$ \frac{\partial f_t}{\partial t}(z) = -d f_t(z) G(z,t) $ がほとんど everywhere で $t \geq 0$ に成立する。
• ローレンツの範囲 $R = \bigcup_{t \geq 0} f_t(D)$ は $\ mathbb{C}^N$ 内のランゲおよびステイン領域であり、$R$ 上の正則関数が多項式で近似可能であることを保証する。
• 他の任意のローレンツ偏微分方程式の解は、ある正則写像 $\Phi: R \to \mathbb{C}^N$ を用いて $\Phi \circ f_t$ の形に表されるため、本質的の一意性が証明される。
• 族 $f_n(D)$ は、$t \mapsto f_{n+t}(D)$ の経路を介して $f_{n+1}(D)$ に下半連続に正則拡張可能であり、定義 4.1 のすべての条件を満たす。
• すべての $n \in \mathbb{N}$ に対して、対 $(f_n(D), f_{n+1}(D))$ はランゲ対であることが、定理 4.2 および $D$ のステイン構造により保証される。
• 増大和 $R = \bigcup_{t \geq 0} f_t(D)$ は $\ mathbb{C}^N$ 内のランゲおよびステイン領域に正則同型であることが示され、スターリー型領域における主問題が解決される。