[论文解读] Second Hankel determinant of logarithmic coefficients of certain analytic functions

Vasudevarao Allu, Vibhuti Arora|arXiv (Cornell University)|Oct 11, 2021

Analytic and geometric function theory被引用 4

一句话总结

本文通过卡塔内多里函数的参数表示及复参数上的优化，为单位圆内解析与单芽函数子类的对数系数的二阶海格尔行列式 $ |H_{2,1}(F_f/2)| $ 建立了精确的上界。关键结果为凸函数与螺旋型函数提供了显式的精确上界，特定情形如 $ \lambda = 1/2 $ 和 $ \lambda = 1 $ 的数值结果已得到验证。

ABSTRACT

We consider a family of all analytic and univalent functions (i.e., one-to-one) in the unit disk $\mathbb{D}:=\{z\in \mathbb{C}:|z|<1\}$ of the form $f(z)=z+a_2z^2+a_3z^3+\cdots$. In this paper, we obtain the sharp bounds of the second Hankel determinant of Logarithmic coefficients for some subclasses of analytic functions.

研究动机与目标

• 解决对数系数二阶海格尔行列式 $ H_{2,1}(F_f/2) $ 在单芽函数子类中估计精确上界的开放问题。
• 通过聚焦对数系数而非泰勒系数，扩展先前关于海格尔行列式的成果。
• 利用卡塔内多里类中函数的参数表示，建立统一框架以推导精确不等式。
• 通过显式构造极值函数，验证上界的精确性。
• 通过引入参数 $ \lambda \in [1/2, 1] $，将结果推广至凸函数与螺旋型函数。

提出的方法

• 使用卡塔内多里函数 $ p \in \mathcal{P} $ 的参数表示，其中系数 $ c_1, c_2, c_3 $ 以复参数 $ p_1 \in [0,1] $，$ p_2, p_3 \in \overline{\mathbb{D}} $ 表示。
• 将对数系数 $ \gamma_n $ 用泰勒系数 $ a_n $ 表示，并将二阶海格尔行列式 $ H_{2,1}(F_f/2) = \gamma_1\gamma_3 - \gamma_2^2 $ 表示为 $ a_2, a_3, a_4 $ 的四次型。
• 通过变换 $ a_2 = \frac{(2\lambda+1)}{2} p_1 $，$ a_3 = \frac{(2\lambda+1)}{6} ((3+2\lambda)p_1^2 - 1) $，以及 $ a_4 = \frac{(2\lambda+1)(2\lambda+3)}{24} ((2\lambda+5)p_1^2 - 3)p_1 $ 将问题映射到参数空间。
• 通过分析临界点与边界行为，在 $ p_1 \in [0,1] $ 上优化行列式表达式，利用由系数表达式导出的涉及 $ |A|, |B|, |C| $ 的不等式。
• 通过构造对应于 $ p_3(z) = \frac{1 - z^2}{1 - 2s_3 z + z^2} $ 的极值函数 $ f_3 $，确立精确性，其中 $ s_3 $ 由临界点方程定义。
• 验证最大值在 $ s_3 $ 处取得，从而确认该类中界的精确性。

实验结果

研究问题

• RQ1 在凸函数类中，对数系数的二阶海格尔行列式 $ |H_{2,1}(F_f/2)| $ 的精确上界是什么？
• RQ2 对于更一般的 $ \lambda $-螺旋型函数类 $ \lambda \in [1/2, 1] $，该上界如何变化？
• RQ3 能否为这些类显式构造出实现精确上界的极值函数？
• RQ4 该上界是否在旋转下保持不变，这如何影响优化过程？
• RQ5 通过卡塔内多里函数的参数表示推导出的上界是否比先前结果更紧？

主要发现

• 在凸函数类（$ \lambda = 1/2 $）中，$ |H_{2,1}(F_f/2)| $ 的精确上界为 $ 0.030303 $，且已被确认为精确值。
• 对于类 $ \mathcal{C}(-1/2) $（对应 $ \lambda = 1 $），精确上界为 $ 0.070811 $，由显式构造的极值函数实现。
• 该上界表示为 $ \frac{(2\lambda+1)^2(12\lambda^2 - 60\lambda - 165)}{576(4\lambda^2 - 12\lambda - 39)} $，适用于 $ \lambda \in [1/2, 1] $。
• 极值函数通过 $ p_3(z) = \frac{1 - z^2}{1 - 2s_3 z + z^2} $ 构造，其中 $ s_3 $ 为满足 $ h'(s_3) = 0 $ 的临界点。
• 数值验证表明 $ h(\sqrt{y_2}) = T(\sqrt{y_2}) $，确保在过渡点处连续且取最大值。
• 该上界是精确的，因为对于构造的函数 $ f_3 $，等号成立，且系数 $ a_2, a_3, a_4 $ 可由 $ s_3 $ 显式计算得出。