[论文解读] Logarithmic coefficients of some close-to-convex functions

Md. Firoz Ali, Vasudevarao Allu|arXiv (Cornell University)|Jul 29, 2016

Analytic and geometric function theory参考文献 5被引用 3

一句话总结

本文确定了关于奇星形函数的拟凸函数类中前三个对数系数 $|γ_1|$、$|γ_2|$ 和 $|γ_3|$ 的精确上确界。通过系数估计与参数化类别的优化，作者证明了 $|γ_3| \leq \frac{1}{972}(95 + 23\sqrt{46}) \approx 0.2582$，且当取特定极值函数时等号成立。

ABSTRACT

The logarithmic coefficients $γ_n$ of an analytic and univalent function $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ with the normalization $f(0)=0=f'(0)-1$ are defined by $\log \frac{f(z)}{z}= 2\sum_{n=1}^{\infty} γ_n z^n$. In the present paper, we consider close-to-convex functions (with argument $0$) with respect to odd starlike functions and determine the sharp upper bound of $|γ_n|$, $n=1,2,3$ for such functions $f$.

研究动机与目标

• 确定关于奇星形函数的拟凸函数类中前三个对数系数 $|\gamma_n|$ ($n=1,2,3$) 的精确上确界。
• 解决一个开放问题：该类函数是否满足 $|\gamma_n| \leq \frac{1}{n}$，特别是当 $n \geq 3$ 时，鉴于先前的声明被发现存在缺陷。
• 通过解析方法与参数化系数表示，建立精确的极值结果，克服早期方法的局限性。

提出的方法

• 作者使用对数系数定义 $\log\left(\frac{f(z)}{z}\right) = 2\sum_{n=1}^\infty \gamma_n z^n$，将 $\gamma_n$ 表示为函数 $f$ 的泰勒系数 $a_n$ 的形式。
• 他们通过引入一个具有指定初值系数的函数 $P(z) \in \mathcal{P}$，对关于奇星形函数的拟凸函数类进行参数化表示。
• 关键步骤包括构造函数 $g(z) = \frac{z}{1 - z^2}$，其为奇函数且为星形函数，并通过定义 $zf'(z) = g(z)P(z)$ 来生成所需函数类。
• 通过卡斯托雷多函数的凸组合，推导出 $P(z)$ 的系数 $c_1, c_2, c_3$，从而控制函数 $f$ 的初值系数。
• 在 $(c,r,p)$-空间中的有界区域 $R$ 上建立一个优化问题，以最大化与 $|\gamma_3|$ 相关的函数 $F(c,r,p)$。
• 通过偏导数分析临界点，发现在定义域的内点处取得最大值，从而确认了上确界的精确性。

实验结果

研究问题

• RQ1 在关于奇星形函数的拟凸函数类中，$|\gamma_3|$ 的精确上确界是什么？
• RQ2 对于 $n \geq 3$，不等式 $|\gamma_n| \leq \frac{1}{n}$ 是否在该类函数中成立，尽管它在一般拟凸函数中不成立？
• RQ3 能否显式构造一个极值函数，使其在 $|\gamma_3|$ 的上界中取等号？
• RQ4 系数估计与解析函数的参数化表示如何有助于推导对数系数的精确上确界？

主要发现

• 关于 $|\gamma_1|$ 的精确上确界为 $1$，当 $a_2 = 2$ 时取等，与已知结果一致。
• 关于 $|\gamma_2|$ 的精确上确界为 $\frac{1}{2}(1 + 2e^{-2}) \approx 0.635$，由 Fekete-Szegő 不等式导出。
• 关于 $|\gamma_3|$ 的精确上确界为 $\frac{1}{972}(95 + 23\sqrt{46}) \approx 0.2582$，严格小于 $\frac{1}{3} \approx 0.333$。
• 当 $f$ 由 $zf'(z) = g(z)P(z)$ 定义时，$|\gamma_3|$ 的上确界取等，其中 $g(z) = \frac{z}{1 - z^2}$，且 $P(z)$ 是 $\mathcal{P}$ 类中具有给定系数的特定函数。
• 该极值函数对应于参数 $c_1 = \frac{1}{3}(8 - \sqrt{46})$，$x = \frac{1}{75}(11 - \sqrt{46})$，$t = 1$，从而确认了上确界的精确性。