[论文解读] On $H_3(1)$ Hankel determinant for some classes of univalent functions

K. O. Babalola|ArXiv.org|Oct 20, 2009

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

一句话总结

本文确定了单位圆内三类经典单叶函数类——有界转角（R）、星象（S*）和凸（C）函数——的第三个Hankel行列式 $ H_3(1) $ 的精确上界。通过使用Libera–Zlotkiewicz方法，并结合具有正实部的函数类 $ P $ 的系数估计，该文通过分析Fekete–Szego泛函及已知的系数不等式，完成了对 $ H_3(1) $ 长期以来的上界系列研究。关键结果为：对于 $ R $，有 $ |H_3(1)| \leq \frac{993}{1620} $；对于 $ S^* $，有 $ \leq 16 $；对于 $ C $，有 $ \leq \frac{15}{24} $，且等号由显式极值函数达到。

ABSTRACT

Focus in this paper is on the Hankel determinant, $H_3(1)$, for the well-known classes of bounded-turning, starlike and convex functions in the open unit disk $E=\{z\in \mathbb{C}\colon|z|<1\}$. The results obtained complete the series of research works in the search for sharp upper bounds on $H_3(1)$ for each of these classes.

研究动机与目标

• 确定有界转角、星象和凸单值函数类中第三个Hankel行列式 $ H_3(1) $ 的精确上界。
• 通过解决这些经典函数类中 $ H_3(1) $ 剩余的未解问题，完成对 $ H_3(1) $ 的系列研究。
• 应用Libera和Zlotkiewicz的经典方法，结合具有正实部的函数类 $ P $，推导系数不等式。
• 建立Fekete–Szego泛函 $ |a_2a_3 - a_4| $ 的精确上界，该结果此前在有界转角类中尚不明确。
• 将已知的系数界与新推导的泛函估计相结合，为每种类别推导出 $ |H_3(1)| $ 的紧致上界。

提出的方法

• 利用Libera–Zlotkiewicz方法，将系数 $ a_2, a_3, a_4, a_5 $ 用函数类 $ P $ 中函数的系数 $ c_1, c_2, c_3 $ 表示，其中 $ p(z) = 1 + c_1 z + c_2 z^2 + \cdots $ 且满足 $ \operatorname{Re} p(z) > 0 $。
• 应用基本不等式 $ |c_k| \leq 2 $（当 $ p \in P $ 时），并使用参数表示：$ 2c_2 = c_1^2 + x(4 - c_1^2) $ 和 $ 4c_3 = c_1^3 + 2xc_1(4 - c_1^2) - x^2c_1(4 - c_1^2) + 2z(1 - |x|^2)(4 - c_1^2) $，其中 $ |x| \leq 1 $，$ |z| \leq 1 $。
• 对每种类别（$ R $、$ S^* $、$ C $），推导 $ |a_2a_3 - a_4| $ 关于 $ c_1 $、$ x $ 和 $ z $ 的表达式，然后应用三角不等式，并在 $ x $ 和 $ z $ 上优化以找到最大值。
• 使用已知的精确上界：$ |a_k| \leq 2/k $（对于 $ R $），$ |a_k| \leq k $（对于 $ S^* $），$ |a_k| \leq 1 $（对于 $ C $），以及 $ |a_2a_4 - a_3^2| \leq 4/9 $、$ 1 $、$ 1/8 $ 分别对应。
• 将推导出的 $ |a_2a_3 - a_4| $ 的上界与已知的 $ |a_2a_4 - a_3^2| $、$ |a_3 - a_2^2| $ 和 $ |a_k| $ 的界结合，对 $ |H_3(1)| $ 应用三角不等式，从而得出最终的精确上界。
• 通过构造极值函数验证精确性：$ R $ 类为 $ f(z) = \int_0^z \frac{1+t^3}{1-t^3} dt $，$ S^* $ 类为Koebe函数 $ k(z) = z/(1-z)^2 $，$ C $ 类为特定积分形式，表明等号可被达到。

实验结果

研究问题

• RQ1 在有界转角函数类（$ R $）中，第三个Hankel行列式 $ H_3(1) $ 的精确上界是什么？
• RQ2 在星象函数类（$ S^* $）中，$ H_3(1) $ 的精确上界是什么？
• RQ3 在凸函数类（$ C $）中，$ H_3(1) $ 的精确上界是什么？
• RQ4 在类 $ R $ 中，Fekete–Szego泛函 $ |a_2a_3 - a_4| $ 的精确上界是什么？此前该结果未知。
• RQ5 在三类函数中，哪些显式函数使 $ H_3(1) $ 的上界达到等号？

主要发现

• 对于有界转角函数类 $ R $，$ |a_2a_3 - a_4| $ 的精确上界为 $ \frac{1}{2} $，由函数 $ f(z) = \int_0^z \frac{1+t^3}{1-t^3} dt $ 达到。
• 对于 $ R $，$ |H_3(1)| $ 的精确上界为 $ \frac{993}{1620} \approx 0.613 $，由新推导的 $ |a_2a_3 - a_4| $ 上界与已知系数不等式结合得出。
• 对于星象函数类 $ S^* $，$ |a_2a_3 - a_4| $ 的精确上界为 $ 2 $，由Koebe函数 $ k(z) = z/(1-z)^2 $ 达到。
• 对于 $ S^* $，$ |H_3(1)| $ 的精确上界为 $ 16 $，由Koebe函数的旋转形式达到。
• 对于凸函数类 $ C $，$ |a_2a_3 - a_4| $ 的精确上界为 $ \frac{1}{6} $，由函数 $ f(z) = \int_0^z \left\{ s \cdot \exp\left( \int_0^s \frac{2t^3}{1-t^3} dt \right) \right\} ds $ 达到。
• 对于 $ C $，$ |H_3(1)| $ 的精确上界为 $ \frac{15}{24} = 0.625 $，通过将新泛函界与已知系数估计结合得到验证。