[论文解读] Schwarz lemma and Kobayashi metrics for holomorphic and pluriharmonic functions

Miodrag Mateljević|arXiv (Cornell University)|Apr 21, 2017

Holomorphic and Operator Theory参考文献 14被引用 3

一句话总结

本文利用Kobayashi度量和双曲几何，将经典的Schwarz引理推广至多复变函数中的全纯函数与调和函数。它建立了Kobayashi-Schwarz引理的几何形式，统一并扩展了近期关于双曲域（如单位球、多圆柱、穿孔圆盘和带形域）的研究成果，通过不变度量和不变Laplacian，提供了导数的精确估计。

ABSTRACT

The Schwarz lemma as one of the most influential results in complex analysis and it has a great impact to the development of several research fields, such as geometric function theory, hyperbolic geometry, complex dynamical systems, and theory of quasi-conformal mappings. In this note we mainly consider various version of Schwarz lemma and its relatives related to holomorphic functions including several variables.

研究动机与目标

• 将经典Schwarz引理的结果推广至使用Kobayashi几何的多复变函数。
• 在统一框架下整合Kalaj-Vuorinen、Chen、Dyakanov等人的近期成果。
• 建立适用于单位球、多圆柱、穿孔圆盘和带形域等域的Kobayashi-Schwarz引理的几何形式。
• 通过不变度量和不变Laplacian分析全holomorphic和pluriharmonic函数的行为。
• 利用复域中的双曲距离和伪双曲距离，推导出导数的精确估计。

提出的方法

• 使用Ahlfors-Schwarz引理作为基础工具，推导全纯映射的导数界。
• 提出Kobayashi-Schwarz引理的几何形式（定理4），将不等式推广至多变量情形。
• 应用不变Laplacian算子 $\tilde{\triangle}$，研究单位球上 $\mathcal{M}$-调和与pluriharmonic函数。
• 采用自同构不变度量和双曲密度 $\mathrm{Hyp}_G(z)$，比较全纯映射下切向量范数。
• 通过变换 $F = \varphi_{w_1} \circ f \circ \varphi_{z_1}$ 推导估计，将一般情形约化为导数为零的问题。
• 使用不变梯度 $\tilde{D}f(z)$，并通过因子 $s_z = \frac{1 - |z|^2}{2}$ 将其与标准梯度 $Df(z)$ 关联。

实验结果

研究问题

• RQ1 如何将经典Schwarz引理推广至 $\mathbb{C}^n$ 中双曲域之间的全纯映射？
• RQ2 Kobayashi度量在推导全holomorphic和pluriharmonic函数的精确导数估计中起什么作用？
• RQ3 不变度量和不变Laplacian $\tilde{\triangle}$ 如何帮助统一关于穿孔圆盘和带形域的近期研究成果？
• RQ4 Ahlfors-Schwarz引理能否被调整以对具有非恒定曲率的域中的映射获得最优界？
• RQ5 不变梯度 $\tilde{D}f(z)$、标准梯度 $Df(z)$ 和双曲度量之间的确切关系是什么？

主要发现

• Kobayashi-Schwarz引理的几何形式（定理4）表明：对 $f: \mathbb{B}_n \to G$，有 $\mathrm{Hyp}_G(fz) \cdot |f'(z)| \leq \frac{1}{s_z^2}$，其中 $s_z = \frac{1 - |z|^2}{2}$。
• 对 $f \in \mathcal{O}(\mathbb{B}_n, \mathbb{U}^\prime)$，其中 $\mathbb{U}^\prime$ 为穿孔圆盘，不等式 $ (1 - |a|^2) |f'(a)| \leq 2|b| \ln \frac{1}{|b|} $ 成立，恢复了Dyakanov的结果。
• 不变梯度满足 $ s_z^2 |Df(z)| \leq |\tilde{D}f(z)| \leq s_z |Df(z)| $，将标准导数与不变导数联系起来。
• 对 $f: \mathbb{B}_n \to G$，对切向量 $u$，有不等式 $ \mathrm{Hyp}_G(fz) \cdot |u_*|_e \leq M_{\mathbb{B}_2}(a,u) \cdot |u|_e $，推广了逐点导数界。
• 通过不变Laplacian和双曲几何，该结果可推广至pluriharmonic函数 $u: \mathbb{B}_n \to (a,b)^m$。
• 该框架通过嵌入单一不变度量方法，统一了Kalaj-Vuorinen、Chen、Dyakanov和Melentijević的研究成果。