[论文解读] Coefficient Estimates for Meromorphic Bi-Univalent Functions

Suzeini Abd Halim, Samaneh G. Hamidi+1 more|arXiv (Cornell University)|Aug 20, 2011

Analytic and geometric function theory参考文献 1被引用 7

一句话总结

本文引入了在穿孔单位圆盘上的一类亚纯双单芽函数的子类，并利用具有正实部的函数，推导出初始系数 $ b_0 $ 和 $ b_1 $ 的精确系数估计。通过将这些函数与类 $ \mathcal{P} $ 中的解析函数相关联，作者建立了涉及参数 $ \alpha $ 和 $ \beta $ 的界，将经典系数估计推广至亚纯双单芽情形，给出了 $ |b_0| \leq 2(1-\alpha) $ 和 $ |b_1| \leq (1-\alpha)\sqrt{4\alpha^2 - 8\alpha + 5} $ 的显式不等式。结果将先前关于解析双单芽函数的研究扩展至亚纯情形，提出了新的、精确的系数约束。

ABSTRACT

A univalent meromorphic function defined on $Δ:= \{z \in \mathbb{C}: 1

研究动机与目标

• 将双单芽性概念从解析函数推广至定义在穿孔圆盘 $ \Delta = \{ z : 1 < \lvert z \rvert < \infty \} $ 上的亚纯函数。
• 引入并研究亚纯双单芽函数的子类，包括星形与 Bazilevič 型类，其阶为 $ \alpha $。
• 推导此类函数在洛朗级数展开中初始系数 $ b_0 $ 和 $ b_1 $ 的精确估计。
• 通过正实部函数技术，将解析双单芽函数的经典系数界推广至亚纯情形。
• 建立涉及参数 $ \alpha $ 和 $ \beta $ 的新不等式，将 Schiffer、Springer 等人的结果推广至双单芽亚纯函数背景。

提出的方法

• 定义亚纯星形双单芽函数阶 $ \alpha $ 的类 $ \Sigma_{\mathcal{B}}^*(\alpha) $，要求函数 $ g $ 及其逆 $ g^{-1} $ 均满足具有正实部的下拉条件。
• 使用函数 $ g(z) = z + \sum_{n=0}^{\infty} \frac{b_n}{z^n} $ 及其逆 $ g^{-1}(w) = w + \sum_{n=0}^{\infty} \frac{B_n}{w^n} $ 的级数展开，通过复合与反演分析系数。
• 应用经典引理：对属于 $ \mathcal{P} $ 的函数 $ p $，其系数满足 $ |c_n| \leq 2 $，通过与 $ d_1, c_1, d_2 $ 的关系来界定系数 $ b_0 $ 和 $ b_1 $。
• 建立 $ g $、其逆与正实部函数 $ q(w) $ 之间的函数关系，导出如 $ \left( \frac{w}{h(w)} \right)^{1-\beta} h'(w) = (q(w))^\alpha $ 的方程。
• 对 $ \left( \frac{w}{h(w)} \right)^{1-\beta} h'(w) $ 进行级数展开，并与 $ (q(w))^\alpha $ 的系数比较，推导出 $ b_0 $ 和 $ b_1 $ 的递推不等式。
• 应用引理 1 中的界 $ |c_n| \leq 2 $，推导出 $ |b_0| $ 和 $ |b_1| $ 的精确上界，得到涉及 $ \alpha $ 和 $ \beta $ 的显式不等式。

实验结果

研究问题

• RQ1 在亚纯双单芽函数的洛朗展开中，初始系数 $ b_0 $ 和 $ b_1 $ 的精确系数估计是什么？
• RQ2 如何在穿孔圆盘 $ \Delta $ 上有意义地将双单芽性概念扩展至亚纯函数？
• RQ3 将亚纯双单芽函数与单位圆盘中正实部函数相关联，其含义是什么？
• RQ4 亚纯双单芽函数的系数界与解析双单芽函数及经典亚纯单芽函数的系数界相比如何？
• RQ5 能否通过引入新的亚纯双单芽函数子类（如 Bazilevič 型或阶为 $ \alpha $ 的星形类）获得更紧或更一般的系数估计？

主要发现

• 对于类 $ \Sigma_{\mathcal{B}}^*(\alpha) $ 中的函数，系数 $ b_0 $ 满足精确估计 $ |b_0| \leq 2(1 - \alpha) $，当关联函数在 $ \mathcal{P} $ 中达到极值系数 $ |c_1| = 2 $ 时等号成立。
• 系数 $ b_1 $ 满足精确界 $ |b_1| \leq (1 - \alpha) \sqrt{4\alpha^2 - 8\alpha + 5} $，当 $ b_0 = 0 $ 时退化为 $ |b_1| \leq \alpha $，如定理 4 所示。
• 对于子类 $ \Sigma^{B}_{\mathcal{B}}(\beta, \alpha) $，导出界 $ |b_1| \leq \frac{2\alpha^2}{(1 - \beta)(2 - \beta)} \sqrt{2(1 - \beta)(2 - \beta) + 1} $，推广了早期结果。
• 当 $ b_0 = 0 $ 时，其逆函数的洛朗展开形式与 Schober [13] 之前研究的形式一致，确认了与现有文献的一致性。
• 在广义子类 $ \Sigma^{B}_{\mathcal{B}}(\beta, \alpha) $ 下，建立了 $ |b_0| \leq 2\alpha / (1 - \beta) $ 的界，表明其依赖于 $ \alpha $ 和 $ \beta $ 两个参数。
• 结果将 Schiffer 的经典估计（$ |b_n| \leq 2/(n+1) $）和 Springer 的估计（$ |B_3| \leq 1 $）推广至双单芽情形，为初始系数提供了新的、精确的约束。