[論文レビュー] Coefficient Inequalities for Starlikeness and Convexity

Rosihan M. Ali, Moradi Nargesi Mahnaz+1 more|arXiv (Cornell University)|Sep 3, 2011

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

ひとこと要約

本稿では、$ f(z) = z + \sum_{n=2}^\infty a_n z^n $ が星型的または$ \alpha $次凸的であることを保証する鋭い係数不等式を確立する。制約条件 $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ の下で、$ \mathcal{S}^*_{\alpha} $、$ \mathcal{C}_{\alpha} $、$ \mathcal{R}(\alpha,\beta) $ などの部分クラスへの属するための最適な$ \beta $の境界を導出する。また、これらの結果をガウス超幾何関数に応用し、明示的なパラメータ条件を提示する。

ABSTRACT

For an analytic function f(z)=z+\sum_{n=2}^\infty a_n z^n satisfying the inequality \sum_{n=2}^\infty n(n-1)|a_n|\leq β, sharp bound on $β$ is determined so that $f$ is either starlike or convex of order $α$. Several other coefficient inequalities related to certain subclasses are also investigated.

研究の動機と目的

• $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ が $ f \in \mathcal{S}^*(\alpha) $ や $ f \in \mathcal{C}(\alpha) $ を示すために最適な$ \beta $の範囲を特定すること。
• これらの係数条件を $ \mathcal{S}^*_{\alpha} $、$ \mathcal{C}_{\alpha} $、$ \mathcal{R}(\alpha,\beta) $ などの関連クラスに拡張し、境界の鋭さを確立すること。
• 負の係数をもつ関数に対する逆の包含関係を調査すること。
• 導出された係数不等式をガウス超幾何関数 $ zF(a,b;c;z) $ に応用し、$ \mathcal{R}(\alpha,\beta) $ への属するためのパラメータ条件を同定すること。

提案手法

• $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ を星型的・$ \alpha $次凸的であるための十分条件として用いる。
• 定理1.3に含まれる既知の必要十分係数条件（$ \sum (n - \alpha)|a_n| \leq 1 - \alpha $ および $ \sum n(n - \alpha)|a_n| \leq 1 - \alpha $）を応用する。
• $ \mathcal{TR}(\alpha, \beta) $ からの制約を用いて、$ \alpha n^2 + (1 - \alpha)n - \beta $ と $ a_n $ を含む不等式の係数を比較することで、鋭い境界を導出する。
• ガウス和公式 $ F(a,b;c;1) = \frac{\Gamma(c)\Gamma(c-a-b)}{\Gamma(c-a)\Gamma(c-b)} $ を用いて、$ z=1 $ における超幾何関数の値を評価する。
• 係数級数の代数的変形により、$ zF(a,b;c;z) \in \mathcal{R}(\alpha, \beta) $ であるための十分条件を導出し、複素数 $ a,b $ に対する $ c $ の境界を含む。
• 極値関数 $ f_0(z) = z - \frac{1 - \beta}{2\alpha + 2 - \beta} z^2 $ の構成により、鋭さを検証する。

実験結果

リサーチクエスチョン

• RQ1 $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ が $ f \in \mathcal{S}^*_{\alpha} $ を示すために許容される最大の$ \beta $ は何か？
• RQ2 同じ係数制約のもとで $ f \in \mathcal{C}_{\alpha} $ を保証する最適な$ \beta $ は何か？
• RQ3 係数境界 $ \sum n(n-1)|a_n| \leq \beta $ が与えられたとき、$ zF(a,b;c;z) \in \mathcal{R}(\alpha, \beta) $ となるパラメータ $ a,b,c $ は何か？
• RQ4 $ \beta \geq 2(1 - \alpha) $ のとき、$ \beta $ の境界は $ \alpha $ の値にどのように依存するか？
• RQ5 導出された係数不等式の鋭さはどのように評価され、その証明は何か？

主な発見

• $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \frac{1 - \alpha}{2 - \alpha} $ ならば $ f \in \mathcal{C}_{\alpha} $ であり、この境界は鋭い。
• $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \frac{1 - \alpha}{2 - \alpha} $ ならば $ f \in \mathcal{S}^*_{\alpha} $ であり、この境界は鋭い。
• $ \beta \geq 2(1 - \alpha) $ のとき、不等式 $ \sum_{n=2}^\infty n^2 |a_n| \leq \frac{4(1 - \beta)}{2\alpha + 2 - \beta} $ が成り立ち、この境界は鋭い。
• $ \beta < 3\alpha + 1 $ のとき、不等式 $ \sum_{n=2}^\infty (n-1)|a_n| \leq \frac{1 - \beta}{1 - \alpha} $ が成り立ち、これは鋭い。
• $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ のもとで、$ \alpha, \beta \geq 0 $ に対して $ \sum_{n=2}^\infty n|a_n| \leq \frac{2(1 - \beta)}{2\alpha + 2 - \beta} $ が成り立ち、この境界は鋭い。
• $ zF(a,b;c;z) \in \mathcal{R}(\alpha, \beta) $ の場合、$ F(|a|,|b|;c;1) $ とポッヒャーマー記号を含む十分条件が導出され、$ b = \overline{a} $ のとき $ c $ の境界が改善される。