[论文解读] Equivalent moduli of continuity, Bloch's theorem for pluriharmonic mappings in $\mathbb{B}^{n}$

S-H Chen, Saminathan Ponnusamy+1 more|arXiv (Cornell University)|Dec 3, 2011

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

一句话总结

本文建立了单位球 $\mathbb{B}^n$ 中全纯调和映射的 Schwarz-Pick 型定理，推导了等价的连续模，并证明了此类映射的 Landau 定理与 Bloch 定理。文中引入了 Lipschitz 型空间中新的范数等价性，并通过雅可比行列式最大畸变率给出了 Bloch 常数的精确估计。

ABSTRACT

In this paper, we first establish a Schwarz-Pick type theorem for pluriharmonic mappings and then we apply it to discuss the equivalent norms on Lipschitz-type spaces. Finally, we obtain several Landau's and Bloch's type theorems for pluriharmonic mappings.

研究动机与目标

• 建立单位球 $\mathbb{B}^n$ 中全纯调和映射的 Schwarz-Pick 型不等式。
• 通过连续模刻画 Lipschitz 型空间中的等价范数。
• 推导单位球 $\mathbb{B}^n$ 中全纯调和映射的 Landau 型与 Bloch 型定理。
• 利用雅可比行列式与畸变界，确定 Bloch 常数的精确估计。

提出的方法

• 利用 $K$-拟正则调和映射框架，推导全纯调和映射的广义 Schwarz-Pick 不等式。
• 将该不等式应用于通过正则控制函数 $\omega$ 刻画 Lipschitz 型空间中的等价范数。
• 利用可求长曲线上的积分条件，刻画 $\Lambda_\omega$-扩张域的几何特征。
• 应用 Fitzgerald–Thomas 引理由凸映射控制 $\mathbb{B}^n$ 中高阶导数的界。
• 构造归一化映射 $F(\zeta) = \frac{1}{t}[f(p(\zeta)) - f(z_0)]$，通过积分控制估计 Bloch 半径。
• 利用最大值原理与行列式界，定位极值点 $z_0$，使得 $ (1-|z_0|)^n |\det f_z(z_0)| = 1 $。

实验结果

研究问题

• RQ1 单位球 $\mathbb{B}^n$ 中全纯调和映射的精确 Schwarz-Pick 型不等式是什么？
• RQ2 全纯调和映射在 Lipschitz 型空间中，如何刻画等价的连续模？
• RQ3 单位球 $\mathbb{B}^n$ 中全纯调和映射的最优 Bloch 常数是多少？
• RQ4 单位球 $\mathbb{B}^n$ 中全纯调和映射像内包含的最大单芽球半径是多少？
• RQ5 雅可比行列式畸变估计如何影响单芽性与 Bloch 型定理？

主要发现

• 建立了精确的 Schwarz-Pick 型不等式：$ |\nabla\overline{f}(z)\cdot\theta| + |\nabla f(z)\cdot\overline{\theta}| \leq K \frac{1 - |f(z)|^2}{1 - |z|^2} $，其中 $ K = \frac{1+k}{1-k} $，且 $ f \in \mathcal{H}_k(\mathbb{B}^n) $。
• Bloch 常数 $ B_f $ 满足 $ B_f \geq \max_{0<t<1} \left\{ \frac{\alpha \pi^{4n} t}{8m(4M(t))^{4n-1}} \right\} $，其中 $ M(t) = \frac{M^*}{t} \log\left(\frac{1}{1-t}\right) $。
• 对于满足 $ |f(z)| < 1 $ 的 $ f \in \mathcal{H}_k(\mathbb{B}^n) $，雅可比行列式在满足 $ (1 - |z_0|)^n |\det f_z(z_0)| = 1 $ 的点 $ z_0 $ 处取得最大值。
• 当 $ (m_2 + m_3)\rho_1 < 1 $ 时，$ f $ 在 $ \mathbb{B}^n(0, \rho_1) $ 内是单芽的，其中 $ \rho_1 \leq r_3 = 1/3 $，且 $ m_2 \approx 9.444 $，$ m_3 = 6.75 $。
• 通过正则控制函数条件 $ \int_0^\delta \frac{\omega(t)}{t} dt \leq C\omega(\delta) $ 与 $ \delta \int_\delta^\infty \frac{\omega(t)}{t^2} dt \leq C\omega(\delta) $，建立了 Lipschitz 型空间中的范数等价性。
• 像集 $ f(\mathbb{B}^n) $ 包含一个半径至少为 $ \max_t \left\{ \frac{\alpha \pi^{4n} t}{8m(4M(t))^{4n-1}} \right\} $ 的单芽球，其中 $ M(t) $ 通过归一化映射 $ F $ 定义。