[论文解读] Some Results on the Janowski's Starlike Functions of Complex Order

Yaşar Polatog̃lu, Metın Bolcal|ArXiv.org|Jul 21, 2000

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

一句话总结

本文推导了复数阶Janowski星性函数类的精确星性半径、畸变定理及Koebe区域，该类是单芽函数类的推广，涵盖熟知的复数阶星性函数与λ-螺旋函数等子类。作者运用涉及P(A,B)类与次序关系的解析技巧，为这些几何性质建立了精确界限，其显式公式依赖于参数A、B与复数b。主要贡献在于提出了星性半径的统一精确表达式，该表达式在特定情况下可退化为已知结果。

ABSTRACT

The purpose of this paper is to give exact value of the radius of starlikeness and distortion theorem, Koebe domain for the class of Janowski's starlike functions of complex order. We note that the class of Janowski's starlike functions of complex order contain many interesting subclasses of univalent functions.

研究动机与目标

• 确定Janowski复数阶星性函数类 $S^{*}(A,B,b)$ 的精确星性半径。
• 为 $S^{*}(A,B,b)$ 中的函数建立精确的畸变定理，提供单位圆盘内 $|f(z)|$ 的界限。
• 在给定参数约束下，计算类 $S^{*}(A,B,b)$ 的Koebe区域（即当 $|z| \to 1^-$ 时 $|f(z)|$ 的下确界）。
• 通过推导在参数特化时可退化为星性函数复数阶、λ-螺旋函数及β阶函数等已知结果的公式，统一并推广了这些子类的已知结论。

提出的方法

• 作者使用了具有正实部的解析函数类 $P(A,B)$，其通过次序关系定义为 $\frac{1+A\omega(z)}{1+B\omega(z)}$，其中 $\omega(z) \in \Omega$，即Schwarz函数类。
• 他们应用了Janowski（1970）提出的关键引理，该引理界定了 $p(z) \in P(A,B)$ 与其中心之间的差值，从而导出 $\left| \frac{zf'(z)}{f(z)} - \text{center} \right|$ 的界。
• 通过确保 $\frac{zf'(z)}{f(z)}$ 的实部保持为正，推导出星性半径，得到关于 $r$ 的二次不等式，其最小正根即为 $r_s$。
• 畸变与Koebe区域结果通过分析在不等式中取等的极值函数 $f_*(z)$ 获得，并在 $r \to 1^-$ 时取极限以确定Koebe区域。
• 该方法依赖于复分析技术，包括次序关系、最大模原理，以及每种情形下极值函数的显式构造。
• 通过代入A、B与b的特定值，推导出特殊情形，验证了文献中已知结果的正确性。

实验结果

研究问题

• RQ1 类 $S^{*}(A,B,b)$ 的复数阶Janowski星性函数的精确且最优的星性半径是什么？
• RQ2 在单位圆盘内，$S^{*}(A,B,b)$ 中函数的 $|f(z)|$ 的精确畸变界限是什么？
• RQ3 类 $S^{*}(A,B,b)$ 的Koebe区域（即当 $|z| \to 1^-$ 时 $|f(z)|$ 的下确界）是什么？
• RQ4 对 $S^{*}(A,B,b)$ 推导出的结果如何在参数特化时退化为熟知子类（如复数阶星性函数、λ-螺旋函数及β阶函数）的已知结果？
• RQ5 实现半径与畸变定理界限的极值函数 $f_*(z)$ 是否可显式构造？

主要发现

• 类 $S^{*}(A,B,b)$ 的精确星性半径为 $r_s = \frac{2}{|b|(A-B) + \sqrt{|b|^2(A-B)^2 + 4[B^2 + (AB - B^2)\operatorname{Re} b]}}$，且该界限是精确的。
• 当 $A=1, B=-1$ 时，半径退化为 $r_s = \frac{1}{|b| + \sqrt{|b|^2 - 2\operatorname{Re} b + 1}}$，与复数阶星性函数的已知半径一致。
• 畸变定理表明，对于特定参数选择，$|f(z)|$ 的界限为 $re^{\pm \beta \operatorname{Re}(b) r}$，并为每个子类导出了显式界限。
• 当 $B \neq 0$ 时，$S^{*}(A,B,b)$ 的Koebe区域为 $R = (1-B)^{\frac{|b|(A-B)}{B}}$；当 $B = 0$ 时，$R = e^{-|b|A}$，所有特殊情况均有显式值。
• 当 $A=1, B=-1$ 时，Koebe区域为 $R = \frac{1}{4^{|b|}}$，当 $b=1$ 时退化为经典Koebe $\frac{1}{4}$-定理，当 $b=1-\alpha$ 时退化为 $\frac{1}{4^{(1-\alpha)}}$，与已知结果一致。
• 实现半径与畸变不等式界限的极值函数 $f_*(z)$ 显式给出为：当 $B \neq 0$ 时，$f_*(z) = z(1+Bz)^{\frac{b(A-B)}{B}}$；当 $B = 0$ 时，$f_*(z) = e^{bAz}$，从而证实了界限的精确性。