[论文解读] Spirallikeness of shifted hypergeometric functions

Toshiyuki Sugawa, Limei Wang|arXiv (Cornell University)|Apr 18, 2016

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

一句话总结

本文研究了具有复参数 $ a, b, c $ 的移位超几何函数 $ f(z) = z{}_2F_1(a,b;c;z) $ 的螺旋性，建立了 $ f $ 为 $ \lambda $-螺旋的必要与充分条件，其中 $ \lambda \in (-\pi/2, \pi/2) $。主要贡献在于提出了一种基于参数组合实部的新充分条件，从而得到了一系列螺旋但非星型函数的显式例子，包括复参数情形。

ABSTRACT

In the present paper, we study spirallikenss (including starlikeness) of the shifted hypergeometric function $f(z)=z_2F_1(a,b;c;z)$ with complex parameters $a,b,c,$ where $_2F_1(a,b;c;z)$ stands for the Gaussian hypergeometric function. First, we observe the asymptotic behaviour of $_2F_1(a,b;c;z)$ around the point $z=1$ to obtain necessary conditions for $f$ to be $λ$-spirallike for a given $λ$ with $- π/2< λ

研究动机与目标

• 将几何函数理论扩展至具有复参数的移位超几何函数，特别是超越已知的实参数情形。
• 解决超几何函数中螺旋性研究的不足，因为以往工作主要集中于实参数下的星型性与凸性。
• 推导 $ f(z) = z{}_2F_1(a,b;c;z) $ 为 $ \lambda $-螺旋的必要与充分条件，从而推广星型性概念。
• 构造显式例子，展示 $ \lambda $-螺旋但非星型的函数，以体现新条件的更广泛应用范围。

提出的方法

• 分析 $ {}_2F_1(a,b;c;z) $ 在 $ z=1 $ 附近的渐近行为，以推导 $ \lambda $-螺旋性的必要条件。
• 应用基于 $ \operatorname{Re}\left(e^{-i\lambda} \frac{zf'(z)}{f(z)}\right) $ 的判别准则，该准则通过实部条件刻画 $ \lambda $-螺旋性。
• 利用参数的实部与虚部，推导出一个充分条件，特别是通过判别式 $ LN - M^2 \geq 0 $，其中 $ L, M, N $ 是 $ a, b, c $ 对称组合的实部。
• 利用亚历山大关系 $ zg'(z) = f(z) $，将 $ f $ 的星型性与 $ g $ 的凸性联系起来，从而在不同类之间传递结果。
• 应用强星型性的条件 $ \sigma(f) \geq \alpha $，并通过 $ \alpha = 1 - \frac{2}{\pi}|\lambda| $ 将其与 $ \lambda $-螺旋性关联。
• 通过参数约束如 $ a + b = s \in \mathbb{R} $，$ ab = qe^{i\lambda} $ 构造显式例子，并推导出保证 $ \lambda $-螺旋性的 $ q $ 与 $ s $ 的边界。

实验结果

研究问题

• RQ1 对于复参数 $ a, b, c $，移位超几何函数 $ f(z) = z{}_2F_1(a,b;c;z) $ 为 $ \lambda $-螺旋的必要条件是什么？
• RQ2 在 $ f $ 非星型的情况下，确保 $ f(z) $ 为 $ \lambda $-螺旋的充分条件是什么？
• RQ3 能否为复参数构造出 $ \lambda $-螺旋但非星型函数的显式例子？
• RQ4 参数对称性以及 $ ab $、$ b+c $、$ c-b $ 的实部如何影响螺旋性？
• RQ5 判别式 $ LN - M^2 \geq 0 $ 在确定 $ f(z) $ 的螺旋性方面起什么作用？

主要发现

• 对于 $ f(z) = z{}_2F_1(2, b+is; c+is; z) $，当 $ 3 \leq b+c $ 且 $ b \leq c $ 时，函数是星型的，且 $ g(z) = z{}_2F_1(1, b+is; c+is; z) $ 是凸的。
• 函数 $ z{}_2F_1(2, b; 3 - \bar{b}; z) $ 满足定理 1.2 的所有条件，且在 $ \operatorname{Re}[ab] = p $ 处取等号，但当 $ \operatorname{Re} b > 3/2 $ 时不是星型的，表明不等式条件的紧致性。
• 当 $ a = 2e^{i\lambda}\cos\lambda $，$ b > 0 $ 时，函数 $ z{}_2F_1(a, b; a + b + 1; z) $ 对所有 $ b > 0 $ 均为 $ \lambda $-螺旋，且满足 $ L > 0 $，$ M = 0 $，$ N > 0 $，从而保证 $ LN - M^2 > 0 $。
• 推论 4.5 提供了当 $ a + b = s \in \mathbb{R} $，$ ab = qe^{i\lambda} $ 时 $ \lambda $-螺旋性的充分条件，要求 $ 2s - \frac{q}{\cos\lambda} \geq \frac{4\cos^2\lambda - 1}{2\cos^2\lambda + 1} $。
• 以 $ \lambda = \pi/4 $，$ s = 35/8 $，$ q = 125/(16\sqrt{2}) $ 为例，满足不等式，得到一个 $ \lambda $-螺旋但非星型的函数，因为在 $ z = e^{i\pi/4} $ 处有 $ \operatorname{Re}(zf'(z)/f(z)) \approx -0.0374 $。
• 函数 $ z{}_2F_1(1, \gamma+1; \gamma+2; z) $ 在 $ \operatorname{Re} \gamma \geq 0 $ 时为凸函数，与 Ruscheweyh (1991) 的已知结果一致。