[论文解读] 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$ 的完全双曲星形区域（包括有界凸区域和单位球）中，Loewner 偏微分方程存在取值于 $\mathbb{C}^N$ 的单值解，且 Loewner 范围为 Runge 与 Stein 区域。证明依赖于下半连续全纯延拓与 Runge 对理论，通过演化族结构表明解族的像构成一个嵌套的、Runge 嵌入的递增并集。

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$ 中完全双曲星形区域的 Loewner 偏微分方程是否存在取值于 $\ mathbb{C}^N$ 的单值解这一开放问题。
• 证明 Loewner 范围 $R = \bigcup_{t \geq 0} f_t(D)$ 在 $\ mathbb{C}^N$ 中既是 Runge 又是 Stein 区域，从而保证全纯函数的全纯逼近与全纯凸性。
• 将经典 Loewner 理论从单位圆盘推广至高维完全双曲星形区域，包括有界凸区域与单位球。
• 证明 Loewner 偏微分方程的任一解本质上唯一，唯一性仅由范围上全纯映射的复合决定。

提出的方法

• 利用阶数 $d \in [1, \infty]$ 的 Herglotz 向量场定义 Loewner 偏微分方程：$ \frac{\partial f_t}{\partial t}(z) = -d f_t(z) G(z,t) $ 几乎处处成立，$t \geq 0$。
• 应用定理 2.4 构造唯一演化族 $(\varphi_{s,t})$，求解与 $G(z,t)$ 关联的广义 Loewner 常微分方程。
• 证明每个 $f_n(D)$ 沿路径 $t \mapsto f_{n+t}(D)$（$0 \leq t \leq 1$）可下半连续地全纯延拓至 $f_{n+1}(D)$，并满足定义 4.1 中的条件 (0)–(4)。
• 应用定理 4.2 推出对所有 $n \in \mathbb{N}$，$(f_n(D), f_{n+1}(D))$ 是 Runge 对，利用 $D$ 的 Stein 与双曲结构。
• 利用定理 3.4 推出递增并集 $R = \bigcup_{t \geq 0} f_t(D)$ 与 $\ mathbb{C}^N$ 中的 Runge 与 Stein 区域双全纯等价。
• 依赖 $D$ 的双曲性以保证逆映射的正规性，从而支持下半连续延拓性质。

实验结果

研究问题

• RQ1 在 $\ mathbb{C}^N$ 的完全双曲星形区域中，Loewner 偏微分方程是否存在取值于 $\ mathbb{C}^N$ 的单值解？
• RQ2 Loewner 范围 $R = \bigcup_{t \geq 0} f_t(D)$ 是否为 $\ mathbb{C}^N$ 中的 Runge 与 Stein 区域？
• RQ3 能否构造解族 $f_t$，使其像构成一个嵌套的、递增的并集，并在连续层次之间具有 Runge 对性质？
• RQ4 Loewner 偏微分方程的解是否本质上唯一，唯一性仅由范围上全纯映射的复合决定？
• RQ5 抽象解理论能否嵌入 $\ mathbb{C}^N$，使得星形区域的解范围为 Runge 与 Stein 区域？

主要发现

• 在任意完全双曲星形区域 $D \subset \mathbb{C}^N$ 中，Loewner 偏微分方程存在阶数 $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) $ 几乎处处成立，$t \geq 0$。
• Loewner 范围 $R = \bigcup_{t \geq 0} f_t(D)$ 是 $\ mathbb{C}^N$ 中的 Runge 与 Stein 区域，保证 $R$ 上的全纯函数可被多项式逼近。
• 任一其他解的形式均为 $\Phi \circ f_t$，其中 $\Phi: R \to \mathbb{C}^N$ 为某全纯映射，从而证明了解的实质唯一性。
• 族 $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))$ 是 Runge 对，由定理 4.2 及 $D$ 的 Stein 结构保证。
• 递增并集 $R = \bigcup_{t \geq 0} f_t(D)$ 与 $\ mathbb{C}^N$ 中的 Runge 与 Stein 区域双全纯等价，从而解决了星形区域的主要问题。