[論文レビュー] 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) $ の螺旋的性質を調査し、$ \lambda \in (-\pi/2, \pi/2) $ に対して $ f $ が $ \lambda $-螺旋的であるための必要十分条件を確立する。主な貢献は、パラメータの組み合わせの実部に基づく新しい十分条件であり、特に複素パラメータを含む、星型でないが螺旋的である関数の明示的例を提供している。

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 $-螺旋的性質の必要条件を導出する。
• 実部条件による基準、すなわち $ e^{-i\lambda} \frac{zf'(z)}{f(z)} $ の実部に基づく基準を適用し、$ \lambda $-螺旋的性質を特徴づける。
• パラメータの実部と虚部を用いた十分条件を導出し、特に $ L, M, N $ が $ a, b, c $ の対称的組み合わせの実部であるとき、判別式 $ LN - M^2 \geq 0 $ を用いる。
• アレクサンダー関係 $ zg'(z) = f(z) $ を用いて、$ f $ の星型性と $ g $ の凸性を関連させ、クラス間の結果の移行を可能にする。
• $ f $ の強星型性の条件 $ \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) $ の螺旋的性質を決定づける役割を果たすか？

主な発見

• パラメータ $ 3 \leq b+c $ かつ $ b \leq c $ を満たす $ f(z) = z{}_2F_1(2, b+is; c+is; z) $ に対して、$ f $ は星型であり、$ g(z) = z{}_2F_1(1, b+is; c+is; z) $ は凸である。
• $ \operatorname{Re}[ab] = p $ において等号が成立するが、$ \operatorname{Re} b > 3/2 $ のとき $ z{}_2F_1(2, b; 3 - \bar{b}; z) $ は星型でない。これは、不等号条件の鋭さを示している。
• $ 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) の既知の結果と整合的である。