[论文解读] Geometric subfamily of locally univalent functions, Blaschke products and quasidisk

Molla Basir Ahamed, Rajesh Hossain|arXiv (Cornell University)|Jan 3, 2026

Analytic and geometric function theory被引用 0

一句话总结

本文定义并分析局部单值解析函数族 F(α)，在 Re(1 + z f''(z)/f'(z)) > 1 − α/2 对 α∈(0,3] 的条件下，建立尖锐的 Schwarzian 和 pre-Schwarzian 边界，关联有限 Blaschke 乘积，证明像域为拟圆盘，并将结果推广到具有最优 pre-Schwarzian 范数的 sense-preserving 调和映射。

ABSTRACT

In this article, we consider the family $\mathcal{F}(α)$ defined for $α\in (0, 3]$ by \begin{align*} { m Re}\left(1+\frac{zf''(z)}{f'(z)} ight) > 1 - \fracα{2} \quad ext{for } z \in \mathbb{D}. \end{align*} Our primary objective is to show that this family possesses significant geometric and analytic properties, including connections with Blaschke products and the Schwarzian derivative, as well as its sharp bounds. Furthermore, we prove that if $f \in \mathcal{F}(α)$, then the image $f(\mathbb{D})$ is a quasidisk. We also show that if $f \in \mathcal{F}(α)$, then $\|S_f\| = 2α(2-α)$. Moreover, we establish the sharp estimate $\|P_{f}\| \leq 2α+1$ for the pre-Schwarzian derivative of harmonic mappings $f = h + \bar{g} \in \mathcal{F}_{\mathcal{H}}(α)$, where the analytic part $h$ belongs to $\mathcal{F}(α)$.

研究动机与目标

• 用统一的凸/单位圆整流框架，激发对局部单值解析类的研究动机。
• 用有限 Blaschke 乘积表征 F(α) 并给出导数界限。
• 证明像域 f(D) 为拟圆盘，并推导对调和映射的含义。
• 将解析结果推广到 analytical 部分属于 F(α) 的 sense-preserving 调和映射。
• 导出调和扩展类的最优 pre-Schwarzian 范数估计。

提出的方法

• 利用 Carathéodory/Blaschke 框架，推导 F(α) 中 Re(z h''(z)/h'(z)) 的尖锐不等式。
• 通过关于单位圆测度和 Blaschke 乘积的表示来刻画 h'(z)（定理 3.1）。
• 给出基于 Blaschke 乘积的判据，表示 f' 与次数 m 及权重 t_k 的关系（定理 3.2）。
• 计算 Schwarzian 导数并应用 Becker 型的单值判据来证明拟圆盘像（定理 4.1，引理 4.1）。
• 得到尖锐的 Schwarzian 范数界，且等价情形为 f'(z)=(1−ζz)^{−α}（定理 4.2）。
• 推广到解析部分为 h∈F(α) 的调和映射 f=h+ g，推导在调和情形下的 pre-Schwarzian 边界（第 5–6 节）。

实验结果

研究问题

• RQ1 F(α) 中 Schwarzian 与 pre-Schwarzian 导数的尖锐界限是多少？
• RQ2 F(α) 如何与有限 Blaschke 乘积相关，以及这对边界行为有何含义？
• RQ3 F(α) 的像域 f(𝔻) 是否为拟圆盘，如何证明？
• RQ4 解析结果如何推广到解析部分在 F(α) 的 sense-preserving 调和映射？
• RQ5 调和扩展类的最优 pre-Schwarzian 范数估计是什么？

主要发现

• F(α) 函数满足关于 Re(z h''(z)/h'(z)) 的尖锐下界，该下界与 α 与 |h''/h'|^2 有关。
• h'(z) 支配于 H_α(z)=(1−z)^{−α}，且 h'(z) 可表示为基于 Blaschke 乘积的形式。
• 若 f' 由次数为 m 的有限 Blaschke 乘积描述，则 f'(z)=∏_{k=1}^{m+1}(1−ζ_k z)^{−α t_k}，其中 ζ_k 为单位圆上不同点，0<t_k<1，∑ t_k=1。
• 由于导数的支配性和 Becker 型结果，∼f(𝔻) 是拟圆盘（对 α∈(0,3] 的结果）。
• Schwarzian 范数满足 ∥S_f∥ ≤ 2α(2−α) 对 0<α<2，等价情形为 f′(z)=(1−ζ z)^{−α}。
• 对于解析部分在 F(α) 的调和映射，得到最优的 pre-Schwarzian 范数，并将单值性判据推广到调和情形。