[论文解读] Initial coefficient bounds for a general class of bi-univalent functions

Halit Orhan, N. Magesh+1 more|arXiv (Cornell University)|Mar 11, 2013

Analytic and geometric function theory参考文献 15被引用 4

一句话总结

本文引入了一类新的广义双等值函数，记为 $\mathcal{N}\mathcal{P}^{\mu,\lambda}_{\Sigma}(\beta,h)$，并利用次序关系与系数比较技术，建立了初始系数 $|a_2|$ 和 $|a_3|$ 的精确上界。主要贡献在于提出了一套新颖的系数估计框架，该框架推广了以往的结果，并在特殊子类中改进了现有 $|a_2|$ 和 $|a_3|$ 的界，尤其是在 $\beta = 0$ 时。结果通过复分析技术推导得出，涉及 Schwarz 函数以及 $f(z)$ 与其逆函数 $f^{-1}(z)$ 的次序条件。

ABSTRACT

Inspired by the recent works of Srivastava et al. (HMS-AKM-PG), Frasin and Aouf (BAF-MKA) and others (Ali-Ravi-Ma-Mina-class,Caglar-Orhan,Goyal-Goswami,Xu-HMS-AML,Xu-HMS-AMC), we propose to investigate the coefficient estimates for a general class of analytic and bi-univalent functions. Also, we obtain estimates on the coefficients |a2| and |a3| for functions in this new class. Some interesting remarks, corollaries and applications of the results presented here are also discussed.

研究动机与目标

• 定义并研究在单位开圆盘内的一类新的广义解析双等值函数。
• 通过聚焦于 $|a_2|$ 和 $|a_3|$，解决估计 Taylor-Maclaurin 系数 $|a_n|$（$n \geq 3$）的开放问题。
• 通过引入参数 $\mu$、$\lambda$、$\beta$ 和一个凸单芽函数 $h(z)$，推广以往的双等值函数子类。
• 通过次序关系与系数比较技术，推导出精确界，从而改进现有非精确系数估计。
• 提供一个统一框架，可作为文献中已知结果的特例被恢复并进一步优化。

提出的方法

• 通过 $f(z)$ 及其逆函数 $f^{-1}(z)$ 的次序条件，定义类 $\mathcal{N}\mathcal{P}^{\mu,\lambda}_{\Sigma}(\beta,h)$，其中涉及参数 $\mu \geq 0$、$\lambda \geq 1$、$\beta \in (-\pi/2, \pi/2)$，以及满足 $h(0) = 1$ 且 $\Re(h(z)) > 0$ 的凸函数 $h(z)$。
• 将逆函数 $f^{-1}(w)$ 表示为 $w$ 的幂级数，展开至 $w^4$ 阶，利用 $a_2, a_3, a_4$ 的已知系数展开式。
• 应用次序理论，假设涉及 $f(z)$ 和 $f^{-1}(w)$ 的表达式次序于 $h(z)\cos\beta + i\sin\beta$，进而进行系数比较。
• 利用 Schwarz 引理及次序函数的系数界，应用 $|p_m| \leq |B_1|$ 和 $|q_m| \leq |B_1|$（$m=1,2$），其中 $B_1$ 是 $h(z)$ 的泰勒展开首项系数。
• 推导出将 $a_2$、$a_3$ 与次序函数 $h(z)$ 的系数 $p_1, p_2, q_1, q_2$ 相关联的显式方程 (2.7)–(2.10)，并利用对称性与三角不等式求解 $|a_2|$ 和 $|a_3|$。
• 应用 $|B_1| = A - B$（当 $h(z) = \frac{1+Az}{1+Bz}$ 时）和 $|B_1| = 2(1 - \alpha)$（当 $h(z) = \frac{1 + (1 - 2\alpha)z}{1 - z}$ 时）的界，获得具体定量估计。

实验结果

研究问题

• RQ1 在通过次序关系定义于凸函数 $h(z)$ 的一类新的广义双等值函数中，初始系数 $|a_2|$ 和 $|a_3|$ 的精确上界是什么？
• RQ2 参数 $\mu$、$\lambda$、$\beta$ 以及 $h(z)$ 的选择如何影响类 $\mathcal{N}\mathcal{P}^{\mu,\lambda}_{\Sigma}(\beta,h)$ 中的系数估计？
• RQ3 所提出的类能否恢复并改进以往文献中已知的系数估计，如 [5]、[6]、[10] 和 [14] 中的结果？
• RQ4 参数 $\beta$ 在细化系数界中起什么作用，特别是在 $\beta = 0$ 时？
• RQ5 所推导的界与文献中现有的非精确估计相比如何，特别是针对 $|a_3|$？

主要发现

• 本文建立了类 $\mathcal{N}\mathcal{P}^{\mu,\lambda}_{\Sigma}(\beta,h)$ 的精确界 $|a_2| \leq \sqrt{\frac{2|B_1|\cos\beta}{(1+\mu)(2\lambda+\mu)}}$，其中 $|B_1|$ 为 $h(z)$ 泰勒展开的首项系数。
• 对于子类 $h(z) = \frac{1+Az}{1+Bz}$，该界变为 $|a_2| \leq \sqrt{\frac{2(A-B)\cos\beta}{(1+\mu)(2\lambda+\mu)}}$，优于早期估计。
• $|a_3|$ 的界为 $|a_3| \leq \frac{2|B_1|\cos\beta}{(2\lambda+\mu)(1+\mu)}$，比以往的非精确估计更精确。
• 当 $h(z) = \frac{1 + (1 - 2\alpha)z}{1 - z}$ 时，界变为 $|a_2| \leq \sqrt{\frac{4(1-\alpha)\cos\beta}{(1+\mu)(2\lambda+\mu)}}$ 和 $|a_3| \leq \frac{4(1-\alpha)\cos\beta}{(2\lambda+\mu)(1+\mu)}$，进一步优化了已知结果。
• 在特殊情形 $\mu = 0$、$\lambda = 1$、$\beta = 0$ 时，$|a_2| \leq \sqrt{2(1-\alpha)}$ 与已知结果一致，但 $|a_3| \leq 2(1-\alpha)$ 改进了早期估计。
• 当 $\mu = 1$、$\lambda = 1$、$\beta = 0$ 时，$|a_3| \leq \frac{2(1-\alpha)}{3}$ 改进了 [14, 定理 2] 中的估计，体现了当前框架的先进性。