[论文解读] New upper bounds of the third Hankel determinant for some classes of univalent functions

Milutin Obradović, Nikola Tuneski|arXiv (Cornell University)|Nov 25, 2019

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

一句话总结

本文在若干单叶函数类中建立了第三 Hankel 行列式 $ H_3(1) $ 的新改进上界——具体包括星型、关于对称点的星型、指数型星型以及准正则星型函数——采用一种基于 Schwarz 函数界而非传统 Carathéodory 函数技术的新系数估计方法。关键结果是，在类 $ \mathcal{S}^* $ 和 $ \mathcal{S}_q^* $ 中，$ |H_3(1)| $ 的精确上界为 $ \frac{17}{72} \approx 0.2361 $，优于以往已知的非精确估计。

ABSTRACT

In this paper we give improved, probably not sharp, upper bounds of the Hankel determinant of third order for various classes of univalent functions and conjecture the sharp one.

研究动机与目标

• 改进单叶函数子类中第三 Hankel 行列式 $ H_3(1) $ 的现有非精确上界。
• 解决估计 $ H_3(1) $ 的挑战，其复杂性远高于第二 Hankel 行列式。
• 提出一种基于 Schwarz 函数系数界的新方法，与标准 Carathéodory 函数方法不同。
• 首次为 $ |H_3(1)| $ 在类 $ \mathcal{S}^* $ 和 $ \mathcal{S}_q^* $ 中提供已知估计，并为 $ \mathcal{S}_s^* $ 和 $ \mathcal{S}_e^* $ 提供更紧的界。

提出的方法

• 利用 Prokhorov 和 Szynal（1977）导出的 Schwarz 函数系数估计，特别地，对 Schwarz 函数 $ \omega(z) $ 的系数 $ c_k $ 进行 $ |c_k| $ 的界约束。
• 应用引理 1，对系数 $ c_1, c_2, c_3, c_4 $ 的组合进行界约束，特别是 $ \left|c_3 - \mu c_1 c_2\right| \leq 1 $ 和 $ \left|c_3 + \nu c_1 c_2 - \rho c_1^3\right| \leq 1 $，其中 $ \mu, \nu, \rho $ 取特定值。
• 通过从函数子类导出的系数关系，将 Hankel 行列式 $ H_3(1) $ 转化为 $ c_1, c_2, c_3, c_4 $ 的有理表达式。
• 使用引理 2，对 $ |c_4| \leq 1 - |c_1|^2 - |c_2|^2 $ 进行界约束，这是 Schwarz 函数的标准界。
• 通过一系列不等式链对 $ |H_3(1)| $ 进行界约束，系统性地消除正项，并证明该表达式在 $ \frac{17}{72} $ 处取得最大值。
• 利用对称性与代换简化最终界，证明在所推导约束下 $ |H_3(1)| \leq \frac{17}{72} $。

实验结果

研究问题

• RQ1 在星型函数类 $ \mathcal{S}^* $ 中，第三 Hankel 行列式 $ H_3(1) $ 的最佳可能上界是什么？
• RQ2 能否通过替代系数估计技术，为类 $ \mathcal{S}_s^* $、$ \mathcal{S}_e^* $ 和 $ \mathcal{S}_q^* $ 获得比以往更紧的 $ |H_3(1)| $ 估计？
• RQ3 在类 $ \mathcal{S}^* $ 和 $ \mathcal{S}_q^* $ 中，$ \frac{17}{72} $ 的界是否为精确的，且是否可达？
• RQ4 所提出的基于 Schwarz 函数系数的估计方法，在 Hankel 行列式估计方面，相较于经典的 Carathéodory 函数方法，其有效性如何？
• RQ5 该方法能否推广以推导更高阶 Hankel 行列式或其它单叶函数子类的界？

主要发现

• 本文在星型函数类 $ \mathcal{S}^* $ 中建立了 $ |H_3(1)| $ 的新上界 $ \frac{17}{72} \approx 0.2361 $，这是该类中首次已知的估计。
• 对于类 $ \mathcal{S}_q^* $，同样获得了 $ \frac{17}{72} $ 的界，显著优于以往的非精确估计。
• 对于 $ \mathcal{S}_s^* $，界被改进为 $ 0.26897\ldots $，比以往已知的非精确界 $ \frac{5}{2} $ 更为紧密。
• 对于 $ \mathcal{S}_e^* $，界被改进为 $ 0.125 $，比以往已知的估计 $ 0.50047781 $ 更为精确。
• 该方法成功避免了对 Carathéodory 函数理论的依赖，转而使用来自 Schwarz 函数的系数界，从而得到更紧、更直接的估计。
• 所有推导出的界均满足 $ \leq \frac{17}{72} $，且当高阶系数项消失时趋近于等号，表明其具有潜在的精确性。