[论文解读] Locally one-to-one harmonic functions with starlike analytic part

Ikkei Hotta, Andrzej Michalski|arXiv (Cornell University)|Apr 7, 2014

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

一句话总结

本文通过推导共解析部分和整体映射的精确系数、畸变、增长及雅可比估计，刻画了单位圆盘内局部单射、保向的调和函数，其解析部分为星形。关键贡献在于利用亚历山大变换建立与凸映射的联系，精确界定了此类函数的第二类扩张与增长。

ABSTRACT

Let $L_H$ denote the set of all normalized locally one-to-one and sense-preserving harmonic functions in the unit disc $Δ$. It is well-known that every complex-valued harmonic function in the unit disc $Δ$ can be uniquely represented as $f = h + \overline{g}$, where $h$ and $g$ are analytic in $Δ$. In particular the decomposition formula holds true for functions of the class $L_H$. For a fixed analytic function $h$, an interesting problem arises - to describe all functions $g$, such that $f$ belongs to $L_H$. The case when $f\in L_H$ and $h$ is the identity mapping was considered [2]. More general results are given in [3], where $f\in L_H$ and letting $h$ to be a convex analytic mapping. The focus of our present research is to characterize the set of all functions $f\in L_H$ having starlike analytic part $h$. In this paper, we provide coefficient, distortion and growth estimates of $g$. We also give growth and Jacobian estimates of $f$.

研究动机与目标

• 刻画单位圆盘内局部单射、保向调和函数类，其解析部分为星形。
• 确定所有共解析部分 $ g $ 的集合，使得当 $ h $ 为星形时，$ f = h + \overline{g} \in L_H $。
• 为 $ \check{L}_H^\alpha $ 的子类（定义为 $ |b_1| = \alpha $）中的函数推导精确的系数、畸变、增长与雅可比估计。
• 通过亚历山大变换，建立 $ \check{L}_H^\alpha $ 与解析部分为凸的调和映射类之间的联系。
• 提供 $ |g(z)| $、$ |f(z)| $ 与 $ J_f(z) $ 的精确界，显式依赖于 $ \alpha = |b_1| $。

提出的方法

• 使用分解 $ f = h + \overline{g} $，其中 $ h $ 与 $ g $ 在单位圆盘 $ \Delta $ 内解析，且满足 $ h(0) = 0 $，$ h'(0) = 1 $，$ g(0) = 0 $。
• 应用亚历山大变换，将星形 $ h $ 与凸 $ H $ 联系起来，其中 $ h(z) = zH'(z) $，使得 $ H $ 为标准化凸函数且 $ H(0) = 0 $。
• 定义 $ g(z) = zG'(z) $，使得 $ G $ 解析且 $ G(0) = 0 $，且 $ |G'(0)| = \alpha $，从而将 $ f \in \check{L}_H^\alpha $ 与 $ F = H + \overline{G} \in S_H $ 联系起来。
• 利用不等式 $ |\omega(z)| \leq \frac{\alpha + |z|}{1 + \alpha|z|} $ 推导第二类扩张 $ \omega(z) = g'(z)/h'(z) $ 的界，该不等式控制了雅可比行列式。
• 沿径向线段使用积分估计，结合 $ G' $ 的增长界与关系 $ g(z) = zG'(z) $，对 $ |g(z)| $ 进行控制。
• 应用三角不等式与已知的 $ h(z) $ 增长估计，结合 $ |h(z)| $ 与 $ |g(z)| $ 的估计，推导 $ |f(z)| $ 的上下界。

实验结果

研究问题

• RQ1 当解析部分 $ h $ 为星形且 $ |b_1| = \alpha $ 时，共解析部分 $ g $ 的精确系数估计为何？
• RQ2 函数 $ g $ 与 $ f $ 的畸变与增长估计如何依赖于 $ \alpha $，即 $ g $ 的初始系数？
• RQ3 $ \check{L}_H^\alpha $ 中 $ f $ 的雅可比行列式 $ J_f(z) $ 的最佳可能界为何？其如何依赖于 $ \alpha $ 与 $ |z| $？
• RQ4 能否以 $ \alpha $ 表达 $ f $ 的增长界？这些界是否精确？
• RQ5 类 $ \check{L}_H^\alpha $ 与类 $ S_H $（单值调和映射类）之间有何关系，特别是通过亚历山大变换？

主要发现

• 对于 $ f \in \check{L}_H^\alpha $，其第二类扩张 $ \omega(z) $ 满足 $ |\omega(z)| \leq \frac{\alpha + |z|}{1 + \alpha|z|} $，且对极值函数可取等号。
• 雅可比行列式 $ J_f(z) $ 满足精确的双侧估计： $$ \frac{(1-\alpha^2)(1-|z|^2)}{(1+\alpha|z|)^2} \cdot \frac{(1-|z|)^2}{(1+|z|)^6} \leq J_f(z) \leq \begin{cases} \frac{(1-\alpha^2)(1-|z|^2)}{(1-\alpha|z|)^2} \cdot \frac{(1+|z|)^2}{(1-|z|)^6}, & |z| < \alpha, \\ \frac{(1+|z|)^2}{(1-|z|)^6}, & |z| \geq \alpha \end{cases} $$
• 共解析部分 $ g $ 满足精确的增长估计： $$ |g(z)| \geq \begin{cases} \frac{|z|(\alpha - |z|)}{(1 - \alpha|z|)(1 + |z|)^2}, & |z| < \alpha, \\ 0, & |z| \geq \alpha \end{cases} \quad \text{且} \quad |g(z)| \leq \left(\frac{1-\alpha}{1+\alpha}\right)^2 \log\left(\frac{1+\alpha|z|}{1-|z|}\right) + \frac{|z|}{(1-|z|)^2} - \left(\frac{1-\alpha}{1+\alpha}\right)\frac{2|z|}{1-|z|} $$
• 整体映射 $ f $ 满足精确的增长估计： $$ |f(z)| \geq \frac{(1-\alpha)|z|(1-|z|)}{(1+\alpha|z|)(1+|z|)^2} \quad \text{且} \quad |f(z)| \leq \left(\frac{1-\alpha}{1+\alpha}\right)^2 \log\left(\frac{1+\alpha|z|}{1-|z|}\right) + \frac{2|z|}{(1-|z|)^2} - \left(\frac{1-\alpha}{1+\alpha}\right)\frac{2|z|}{1-|z|} $$
• 上界 $ |f(z)| $ 还可进一步被控制为 $ \frac{(1+\alpha)|z|(1+|z|)}{(1+\alpha|z|)(1-|z|)^2} $，对某些极值函数是精确的。
• 例 1.3 中的极值函数 $ f_\zeta $ 在 $ |z| < \alpha $ 时在 $ |g(z)| $ 的下界中取等号，证实了估计的精确性。