[论文解读] On the Fekete-Szegö inequality for Certain class of analytic functions

S. Sivaprasad Kumar, Virendra Kumar|arXiv (Cornell University)|Feb 15, 2012

Analytic and geometric function theory参考文献 14被引用 8

一句话总结

本文建立了通过卷积算子 $\mathscr{L}_{g}$ 和次级函数 $\phi$ 定义的新一类解析函数 $\mathcal{S}^{\alpha}_{\mathscr{L}_{g}}(\phi)$ 的 Fekete-Szegő 不等式。作者利用次级关系和系数估计，推导了泛函 $|a_3 - \mu a_2^2|$ 的精确界，推广了星型与凸函数的经典结果，并扩展了 Răducanu 的近期工作。

ABSTRACT

In the present investigation, we derive Fekete-Szegö inequality for the class $\mathcal{S}^α_{\mathscr{L}_{g}}(ϕ)$, introduced here. In addition to that, certain applications of our results are also discussed.

研究动机与目标

• 引入并研究通过卷积算子 $\mathscr{L}_{g}$ 和次级函数 $\phi$ 定义的解析函数类 $\mathcal{S}^{\alpha}_{\mathscr{L}_{g}}(\phi)$。
• 通过引入参数 $\alpha$ 和一般卷积算子，推广单变量函数子类的 Fekete-Szegő 问题。
• 将星型与凸函数以及 Răducanu 关于 $\mathcal{HS}^{*}_{m}(\alpha)$ 的已知结果，扩展到更广泛的解析框架中。
• 根据 $g$ 的系数和参数 $\alpha$，提供泛函 $|a_3 - \mu a_2^2|$ 的精确估计，并应用于特殊情况。

提出的方法

• 定义卷积算子 $\mathscr{L}_{g}(f) = f * g$，其中 $f, g \in \mathcal{A}$，推广了已知算子（如 Ruscheweyh 导数和 Sălăgean 微分算子）。
• 通过条件 $\Psi_g(f)(z) \prec \phi(z)$ 引入类 $\mathcal{S}^{\alpha}_{\mathscr{L}_{g}}(\phi)$，其中 $\Psi_g(f)$ 涉及 $\mathscr{L}_g(f)$ 的对数导数。
• 利用次级理论和类 $\mathcal{P}$ 函数的 Fekete-Szegő 不等式，根据 $\mu$、$\alpha$ 和 $g$ 的系数 $b_2, b_3$，对泛函 $|a_3 - \mu a_2^2|$ 进行有界。
• 应用引理 1.5（关于类 $\mathcal{P}$ 中函数的系数界），在 $\mu$ 的不同取值范围内推导 $|a_3 - \mu a_2^2|$ 的精确估计，关键值为 $\sigma_1, \sigma_2, \sigma_3$。
• 在 $\mu$ 的三个区间内推导 $|a_3 - \mu a_2^2|$ 的显式界，通过加权三角不等式在中间区间获得改进估计。
• 通过构造极值函数并验证引理 1.5 中的等式条件，验证边界的精确性。

实验结果

研究问题

• RQ1 对于一般 $\phi$，在类 $\mathcal{S}^{\alpha}_{\mathscr{L}_{g}}(\phi)$ 中，Fekete-Szegő 泛函 $|a_3 - \mu a_2^2|$ 的精确界是什么？
• RQ2 参数 $\alpha$ 和 $g$ 的选择如何影响该广义类中的 Fekete-Szegő 不等式？
• RQ3 星型函数、凸函数以及 $\mathcal{HS}^{*}_{m}(\alpha)$ 函数的已知结果能否作为该框架的特例被恢复？
• RQ4 在 $\mu$ 的中间区间内，使用加权三角不等式进行估计时，可能获得哪些改进？

主要发现

• 对于 $f \in \mathcal{S}^{\alpha}_{\mathscr{L}_{g}}\left(\frac{1+z}{1-z}\right)$，有界 $|a_2| \leq \frac{2}{(1+\alpha)|b_2|}$ 成立，推广了星型函数的经典结果 $|a_2| \leq 2$。
• 对于实数 $\mu$，$|a_3 - \mu a_2^2|$ 的精确界为分段定义：当 $\mu \leq \sigma_1$ 时为 $\frac{1}{(1+\alpha)^2|b_3|}\left(\frac{3+10\alpha-\alpha^2}{2\alpha+1} - \frac{4\mu b_3}{b_2^2}\right)$；当 $\sigma_1 \leq \mu \leq \sigma_2$ 时为 $\frac{1}{(2\alpha+1)|b_3|}$；当 $\mu \geq \sigma_2$ 时为 $\frac{1}{(1+\alpha)^2|b_3|}\left(\frac{\alpha^2-10\alpha-3}{2\alpha+1} + \frac{4\mu b_3}{b_2^2}\right)$，其中 $\sigma_1, \sigma_2$ 显式地由 $b_2, b_3, \alpha$ 定义。
• 通过引入涉及 $|a_2|^2$ 的非负修正项，在区间 $\sigma_1 \leq \mu \leq \sigma_2$ 内获得改进估计，当 $\mu \in [\sigma_1, \sigma_3]$ 或 $[\sigma_3, \sigma_2]$ 时边界更紧。
• 当 $\alpha = 0$ 且 $g(z) = \frac{z}{1-z}$ 时，结果恢复了星型函数的经典 Fekete-Szegő 不等式：$|a_3 - \mu a_2^2| \leq \max\{1, |4\mu - 3|\}$。
• 当 $\alpha = 1$ 且 $g(z) = \frac{z}{1-z}$ 时，结果恢复了凸函数的已知不等式：$|a_3 - \mu a_2^2| \leq \max\{\frac{1}{3}, |\mu - 1|\}$。
• 对于一般情形 $\phi(z) = \frac{1+Cz}{1+Dz}$，得到一个包含复模项的最大值表达式作为界，当 $C=1, D=-1$ 时退化为已知结果。