[论文解读] On the radius constants for classes of analytic functions

Rosihan M. Ali, Naveen Kumar Jain+1 more|arXiv (Cornell University)|Jul 19, 2012

Analytic and geometric function theory参考文献 29被引用 26

一句话总结

本文确定了单位圆盘上若干类解析函数的精确半径常数，包括正阶次的星形性、抛物星形性、伯努利双纽星形性以及一致凸性。通过次序关系与实部估计，作者推导出这些半径的显式公式，关键结果包括：对于满足 $\Sigma(\alpha)$ 的类，其 $\Sigma$-半径是精确的；对于满足 $|f'(z)/g'(z) - 1| < 1$ 且 $g$ 为单值的函数类，一致凸性半径为 $R_{\mathcal{UCV}} = 5 - 2\sqrt{6}$。

ABSTRACT

Radius constants for several classes of analytic functions on the unit disk are obtained. These include the radius of starlikeness of a positive order, radius of parabolic starlikeness, radius of Bernoulli lemniscate starlikeness, and radius of uniform convexity. In the main, the radius constants obtained are sharp. Conjectures on the non-sharp constants are given.

研究动机与目标

• 确定单位圆盘中解析函数的正阶次星形性半径。
• 计算特定函数类的抛物星形性与伯努利双纽星形性半径。
• 为由与星形或凸函数的比值条件定义的类建立一致凸性半径。
• 利用极值函数与次序关系技术，为这些半径提供精确界。
• 通过考虑通过函数比值定义的新子类，扩展现有半径常数结果。

提出的方法

• 作者利用次序理论与解析函数实部的估计，以控制单位圆盘中 $f$ 与 $g$ 的行为。
• 应用广义三角不等式，并对 $|1 + zf''(z)/f'(z) - (1 + r^2)/(1 - r^2)|$ 进行界估计，以推导半径估计。
• 使用关键不等式如 $\operatorname{Re}(1 + zf''(z)/f'(z)) \geq (1 - 5r)/(1 - r^2)$ 来确定 $\mathcal{C}(\alpha)$-半径。
• 构造极值函数 $f_0$ 与 $g_0$ 以验证半径界估计的精确性。
• 应用关于圆盘包含于抛物区域内的引理，以推导 $\mathcal{UCV}$-半径。
• 结果在假设 $g$ 为单值、星形或凸函数的前提下得出，具体取决于所研究的类。

实验结果

研究问题

• RQ1 对于给定类中的所有 $f$，最大的 $r > 0$ 是多少，使得 $r^{-1}f(rz)$ 为阶次 $\alpha$ 的星形函数？
• RQ2 在何种 $r$ 下，$f$ 在 $\mathbb{D}_r$ 上的像位于抛物区域内，从而保证抛物星形性？
• RQ3 最大的 $r$ 是多少，使得 $f$ 将 $\mathbb{D}_r$ 映射为凸区域，从而保证一致凸性？
• RQ4 比值条件如 $|f(z)/g(z) - 1| < 1$ 或 $|f'(z)/g'(z) - 1| < 1$ 如何影响几何性质的半径？
• RQ5 能否为通过与星形或凸函数的次序关系定义的类推导出精确半径常数？

主要发现

• 对于满足 $|f'(z)/g'(z) - 1| < 1$ 且 $g$ 为单值的函数类，$\mathcal{C}(\alpha)$-半径为 $R_{\mathcal{C}(\alpha)} = \frac{2(1 - \alpha)}{5 + \sqrt{25 + 4\alpha(\alpha - 1)}}$。
• 同一类的 $\mathcal{UCV}$-半径为 $R_{\mathcal{UCV}} = 5 - 2\sqrt{6} \approx 0.101021$，且该界是精确的。
• 当 $g$ 为星形函数时，$\mathcal{C}(\alpha)$-半径为 $R_{\mathcal{C}(\alpha)} = \frac{2(1 - \alpha)}{3 + \sqrt{9 + 4\alpha(\alpha - 1)}}$，且 $R_{\mathcal{UCV}} = 3 - 2\sqrt{2} \approx 0.171573$。
• 当 $g$ 为凸函数时，$\mathcal{UCV}$-半径为 $3 - 2\sqrt{2}$，且该结果是精确的，由极值函数 $f_0(z) = \int_0^z \frac{1 + t}{(1 - t)^2} dt$ 得到验证。
• 抛物星形性的半径通过确保像圆盘位于抛物区域 $\{w : |w - 1| < \operatorname{Re} w\}$ 内来确定。
• 在证明中构造的极值函数 $f_0$ 与 $g_0$ 在实部界估计中达到等号，从而确认了所有推导出的半径常数的精确性。