[论文解读] Chebyshev polynomial coefficient bounds for a subclass of bi-univalent functions

Şahsene Altınkaya, Sibel Yalçın|arXiv (Cornell University)|May 26, 2016

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

一句话总结

本文通过使用第二类切比雪夫多项式展开，建立了新子类 $H_{\infty\Sigma}(\lambda,t)$ 的双等值解析函数初始泰勒系数 $|a_2|$ 和 $|a_3|$ 的精确系数界。通过利用涉及第二类切比雪夫多项式的次序条件，作者推导出显式上界，并解决了 Fekete-Szeg€¶o 问题，首次为该类中 $n \geq 4$ 的 $|a_n|$ 提供了通用估计。

ABSTRACT

In this work, considering a general subclass of bi-univalent functions and using the Chebyshev polynomials, we obtain coefficient expansions for functions in this class.

研究动机与目标

• 将双等值函数的系数估计扩展至前两个系数之外，这些估计在 $n \geq 4$ 时仍大多未被探索。
• 引入并分析一个通过次序关系于与第二类切比雪夫多项式相关的生成函数定义的新子类 $H_{\Sigma}(\lambda,t)$ 的双等值函数。
• 使用切比雪夫多项式展开和次序技术，为 $|a_2|$ 和 $|a_3|$ 提供显式但非精确的界。
• 解决类 $H_{\Sigma}(\lambda,t)$ 的 Fekete-Szeg€¶o 问题，确定 $|a_3 - \mu a_2^2|$ 的精确上界。

提出的方法

• 通过将 $f$ 和 $f^{-1}$ 的对数导数次序于生成函数 $H(z,t) = (1 - 2tz + z^2)^{-1}$ 来定义类 $H_{\Sigma}(\lambda,t)$，该函数与第二类切比雪夫多项式相关。
• 使用第二类切比雪夫多项式展开 $U_n(t)$（其中 $U_1(t) = 2t$ 且 $U_2(t) = 4t^2 - 1$）表达次序条件，以推导系数关系。
• 利用施瓦茨引理对次序函数的幂级数系数 $c_j$ 和 $d_j$ 进行有界，确保 $|c_j| \leq 1$ 且 $|d_j| \leq 1$。
• 通过次序展开推导出 $a_2$、$a_3$ 与系数 $c_1, c_2, d_1, d_2$ 之间的函数方程。
• 利用对称性与代数化简，通过 $c_1 = -d_1$ 和 $a_2^2$ 的表达式消除 $c_2$ 和 $d_2$，从而分离出 $|a_2|$ 和 $|a_3|$。
• 通过分析 $|a_3 - \mu a_2^2|$ 的两种情况（基于 $\mu$ 的值），利用从系数表达式导出的 $h(\mu)$ 的界，解决 Fekete-Szeg€¶o 问题。

实验结果

研究问题

• RQ1 在通过切比雪夫多项式次序定义的双等值函数类 $H_{\Sigma}(\lambda,t)$ 中，初始系数 $|a_2|$ 和 $|a_3|$ 的精确上界是什么？
• RQ2 系数 $a_2$ 和 $a_3$ 如何依赖于参数 $\lambda \geq 0$ 和 $t \in (\sqrt{2}/2, 1]$？
• RQ3 在该类中，对于任意实数 $\mu$，Fekete-Szeg€¶o 泛函 $|a_3 - \mu a_2^2|$ 的精确上界是什么？
• RQ4 使用第二类切比雪夫多项式是否能为一般 $|a_n|$ 界未知的双等值函数类提供非平凡且显式的系数估计？

主要发现

• 本文建立了类 $H_{\Sigma}(\lambda,t)$ 中函数的界 $|a_2| \leq \frac{2t\sqrt{2t}}{\sqrt{|(1+\lambda)^2 - 4(\lambda + \lambda^2)t^2|}}$，该界依赖于 $\lambda$ 和 $t$。
• 推导出 $|a_3|$ 的精确界为 $|a_3| \leq \frac{4t^2}{(1+\lambda)^2} + \frac{t}{1+2\lambda}$，提供了对第一个系数之外的显式估计。
• 通过证明当 $|\mu - 1| \leq \frac{1}{8(1+2\lambda)} \left| \frac{(1+\lambda)^2}{t^2} - 4\lambda(1+\lambda) \right|$ 时，有 $|a_3 - \mu a_2^2| \leq \frac{t}{1+2\lambda}$，并在此之外给出更大的界，解决了 Fekete-Szeg€¶o 问题。
• 在 $\mu = 1$ 的情况下，证明了 $|a_3 - a_2^2| \leq \frac{t}{1+2\lambda}$ 的界是精确的。
• 结果表明，切比雪夫多项式展开为在双等值函数类中推导非平凡系数估计提供了强有力的工具。
• 本研究通过使用正交多项式方法，填补了文献空白，首次为结构化双等值函数子类中 $n \geq 4$ 的 $|a_n|$ 提供了通用系数界。