[論文レビュー] New upper bounds of the third Hankel determinant for some classes of univalent functions

Milutin Obradović, Nikola Tuneski|arXiv (Cornell University)|Nov 25, 2019

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

ひとこと要約

本稿は、シュワーツ関数の係数評価に基づく、従来のカラテオドリ関数手法とは異なる新規な係数推定法を用いて、単一関数のクラスにおける第3ハンケル行列式 $ H_3(1) $ の新たな、より良い上界を確立している。具体的には、星型関数 $ \mathcal{S}^* $、対称点に関して星型関数 $ \mathcal{S}_s^* $、指数的星型関数 $ \mathcal{S}_e^* $、準正則星型関数 $ \mathcal{S}_q^* $ の各クラスについて、$ |H_3(1)| $ の上限を評価した。主な結果として、$ \mathcal{S}^* $ および $ \mathcal{S}_q^* $ のクラスにおける $ |H_3(1)| $ の鋭い上界 $ \frac{17}{72} \approx 0.2361 $ が得られ、従来の非鋭い推定値を改善した。

ABSTRACT

In this paper we give improved, probably not sharp, upper bounds of the Hankel determinant of third order for various classes of univalent functions and conjecture the sharp one.

研究の動機と目的

• 単一関数の部分クラスにおける第3ハンケル行列式 $ H_3(1) $ の既存の非鋭い上界を改善すること。
• 第2ハンケル行列式よりもはるかに複雑である $ H_3(1) $ の推定という課題に取り組むこと。
• 従来のカラテオドリ関数手法とは異なり、シュワーツ関数の係数の境界に基づく、新しい手法を導入すること。
• $ \mathcal{S}^* $ および $ \mathcal{S}_q^* $ のクラスにおける $ |H_3(1)| $ の最初の既知の推定値を提供すること。また、$ \mathcal{S}_s^* $ および $ \mathcal{S}_e^* $ のクラスについても、より緊密な境界を得ること。

提案手法

• プロホロフとシュニャル（1977年）が得たシュワーツ関数の係数推定を用い、関数 $ \omega(z) $ の係数 $ c_k $ に対する $ |c_k| $ の境界を導出する。
• 補題1を適用して、係数 $ c_1, c_2, c_3, c_4 $ の組み合わせを評価し、特に $ \left|c_3 - \mu c_1 c_2\right| \leq 1 $ および $ \left|c_3 + \nu c_1 c_2 - \rho c_1^3\right| \leq 1 $ の形の不等式を、特定の $ \mu, \nu, \rho $ に対して適用する。
• 関数の部分クラスから得られる係数関係を用いて、ハンケル行列式 $ H_3(1) $ を $ c_1, c_2, c_3, c_4 $ の有理式に変換する。
• 補題2を用いて $ |c_4| \leq 1 - |c_1|^2 - |c_2|^2 $ を導出し、これはシュワーツ関数の標準的境界である。
• 不等式の連鎖を用いて $ |H_3(1)| $ を評価し、正の項を段階的に除去することで、式が $ \frac{17}{72} $ で最大値をとることを示す。
• 対称性と変数変換を用いて最終的な境界を簡略化し、導出された制約のもとで $ |H_3(1)| \leq \frac{17}{72} $ を証明する。

実験結果

リサーチクエスチョン

• RQ1 星型関数のクラス $ \mathcal{S}^* $ における第3ハンケル行列式 $ H_3(1) $ の最良の可能な上界は何か？
• RQ2 代替的な係数推定法を用いることで、$ \mathcal{S}_s^* $、$ \mathcal{S}_e^* $、$ \mathcal{S}_q^* $ のクラスにおける $ |H_3(1)| $ の推定値を、従来のものよりも厳密に得ることは可能か？
• RQ3 クラス $ \mathcal{S}^* $ および $ \mathcal{S}_q^* $ における $ H_3(1) $ の上界 $ \frac{17}{72} $ は鋭いか？また、その値は達成可能か？
• RQ4 ハンケル行列式推定において、シュワーツ関数係数に基づく本手法は、古典的なカラテオドリ関数手法に比べてどれほど有効か？
• RQ5 本手法は、より高次のハンケル行列式や他の単一関数の部分クラスの境界を導出するために一般化可能か？

主な発見

• 本稿では、星型関数のクラス $ \mathcal{S}^* $ における $ |H_3(1)| $ の新たな上界 $ \frac{17}{72} \approx 0.2361 $ を確立した。これは、このクラスにおける最初の既知の推定値である。
• 準正則星型関数のクラス $ \mathcal{S}_q^* $ に対しても、上記の上界 $ \frac{17}{72} $ が得られ、従来の非鋭い推定値よりも顕著に改善された。
• 対称点に関して星型関数のクラス $ \mathcal{S}_s^* $ については、上界が $ 0.26897\ldots $ に改善され、従来の非鋭い上界 $ \frac{5}{2} $ よりも緊密になった。
• 指数的星型関数のクラス $ \mathcal{S}_e^* $ については、上界が $ 0.125 $ に改善され、従来の推定値 $ 0.50047781 $ よりも鋭くなった。
• 本手法はカラテオドリ関数理論への依存を回避し、代わりにシュワーツ関数の係数境界を用いることで、より緊密で直接的な推定値をもたらした。
• 導出されたすべての上界が $ \frac{17}{72} $ 以下であることが示され、高次係数項が消える際に等号が成立する可能性があることから、鋭さの可能性が示唆された。