[论文解读] Coefficient Inequalities for Starlikeness and Convexity

Rosihan M. Ali, Moradi Nargesi Mahnaz+1 more|arXiv (Cornell University)|Sep 3, 2011

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

一句话总结

本文建立了精确的系数不等式，确保在约束 $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ 下，解析函数 $ f(z) = z + \sum_{n=2}^\infty a_n z^n $ 属于星形或 $ \alpha $ 阶凸性。推导了确保函数属于子类 $ \mathcal{S}^*_{\alpha} $、$ \mathcal{C}_{\alpha} $ 和 $ \mathcal{R}(\alpha,\beta) $ 的 $ \beta $ 的最优界，并将这些结果应用于高斯超几何函数，给出了明确的参数条件。

ABSTRACT

For an analytic function f(z)=z+\sum_{n=2}^\infty a_n z^n satisfying the inequality \sum_{n=2}^\infty n(n-1)|a_n|\leq β, sharp bound on $β$ is determined so that $f$ is either starlike or convex of order $α$. Several other coefficient inequalities related to certain subclasses are also investigated.

研究动机与目标

• 确定 $ \beta $ 的最优范围，使得 $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ 蕴含 $ f \in \mathcal{S}^*(\alpha) $ 或 $ f \in \mathcal{C}(\alpha) $。
• 将这些系数条件推广至相关类如 $ \mathcal{S}^*_{\alpha} $、$ \mathcal{C}_{\alpha} $ 和 $ \mathcal{R}(\alpha,\beta) $，并建立界值的最优性。
• 研究具有负系数函数的逆向蕴含关系。
• 将推导出的系数不等式应用于高斯超几何函数 $ zF(a,b;c;z) $，确定其属于 $ \mathcal{R}(\alpha,\beta) $ 的参数条件。

提出的方法

• 将系数不等式 $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ 作为 $ \alpha $ 阶星形与凸性的充分条件使用。
• 应用定理 1.3 中已知的必要与充分系数条件，涉及 $ \sum (n - \alpha)|a_n| \leq 1 - \alpha $ 和 $ \sum n(n - \alpha)|a_n| \leq 1 - \alpha $。
• 通过比较涉及 $ \alpha n^2 + (1 - \alpha)n - \beta $ 与 $ a_n $ 的不等式中的系数，利用 $ \mathcal{TR}(\alpha, \beta) $ 的约束条件，推导出最优界。
• 使用高斯求和公式 $ F(a,b;c;1) = \frac{\Gamma(c)\Gamma(c-a-b)}{\Gamma(c-a)\Gamma(c-b)} $ 计算 $ z=1 $ 处的超几何函数值。
• 对系数级数进行代数变形，推导出 $ zF(a,b;c;z) \in \mathcal{R}(\alpha, \beta) $ 的充分条件，包括对复数 $ a,b $ 的 $ c $ 的界。
• 通过构造极值函数如 $ f_0(z) = z - \frac{1 - \beta}{2\alpha + 2 - \beta} z^2 $ 验证最优性。

实验结果

研究问题

• RQ1 满足 $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ 时，使得 $ f \in \mathcal{S}^*_{\alpha} $ 成立的最大 $ \beta $ 是多少？
• RQ2 在相同系数约束下，确保 $ f \in \mathcal{C}_{\alpha} $ 的最优 $ \beta $ 是多少？
• RQ3 对于哪些参数 $ a,b,c $，有 $ zF(a,b;c;z) \in \mathcal{R}(\alpha, \beta) $，在系数界 $ \sum n(n-1)|a_n| \leq \beta $ 下？
• RQ4 当 $ \beta \geq 2(1 - \alpha) $ 时，$ \beta $ 的界如何随 $ \alpha $ 的取值而变化？
• RQ5 所推导的系数不等式的最优性状态如何？其证明方法是什么？

主要发现

• 若 $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \frac{1 - \alpha}{2 - \alpha} $，则 $ f \in \mathcal{C}_{\alpha} $，且该界值为最优。
• 若 $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \frac{1 - \alpha}{2 - \alpha} $，则 $ f \in \mathcal{S}^*_{\alpha} $，且该界值为最优。
• 当 $ \beta \geq 2(1 - \alpha) $ 时，有 $ \sum_{n=2}^\infty n^2 |a_n| \leq \frac{4(1 - \beta)}{2\alpha + 2 - \beta} $，且该界值为最优。
• 当 $ \beta < 3\alpha + 1 $ 时，有 $ \sum_{n=2}^\infty (n-1)|a_n| \leq \frac{1 - \beta}{1 - \alpha} $，且该界值为最优。
• 在 $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ 条件下，对所有 $ \alpha, \beta \geq 0 $，有 $ \sum_{n=2}^\infty n|a_n| \leq \frac{2(1 - \beta)}{2\alpha + 2 - \beta} $，且该界值为最优。
• 对于 $ zF(a,b;c;z) \in \mathcal{R}(\alpha, \beta) $，导出了涉及 $ F(|a|,|b|;c;1) $ 与 Pochhammer 符号的充分条件，当 $ b = \overline{a} $ 时，$ c $ 的界得到改进。