[論文レビュー] Second Hankel determinant of logarithmic coefficients of certain analytic functions

Vasudevarao Allu, Vibhuti Arora|arXiv (Cornell University)|Oct 11, 2021

Analytic and geometric function theory被引用数 4

ひとこと要約

本稿では、単位円板内における解析的かつ単葉関数の部分族に対して、対数係数の第二ハンケル行列式 $ |H_{2,1}(F_f/2)| $ の鋭鋭な上界を、カラテオドリ関数のパラメトリック表現と複素パラメータに関する最適化を用いて確立する。主な結果として、凸関数およびスパイラル型関数に対して明示的な鋭鋭な上限が得られ、$ \lambda = 1/2 $ や $ \lambda = 1 $ などの特定のケースについて数値的確認がなされている。

ABSTRACT

We consider a family of all analytic and univalent functions (i.e., one-to-one) in the unit disk $\mathbb{D}:=\{z\in \mathbb{C}:|z|<1\}$ of the form $f(z)=z+a_2z^2+a_3z^3+\cdots$. In this paper, we obtain the sharp bounds of the second Hankel determinant of Logarithmic coefficients for some subclasses of analytic functions.

研究の動機と目的

• 単葉関数の部分族における対数係数の第二ハンケル行列式 $ H_{2,1}(F_f/2) $ の鋭鋭な上限を推定するという未解決問題に取り組む。
• テイラー係数ではなく対数係数に注目することで、ハンケル行列式に関する先行研究を拡張する。
• カラテオドリクラスに属する関数のパラメトリック表現を用いて、鋭鋭な不等式を統一的枠組みで導出する。
• 極値関数の明示的構成により、上限の鋭鋭さを確認する。
• パrameter $ \lambda \in [1/2, 1] $ を導入することで、凸関数およびスパイラル型関数の結果を一般化する。

提案手法

• 複素パラメータ $ p_1 \in [0,1] $, $ p_2, p_3 \in \overline{\mathbb{D}} $ を用いて、カラテオドリ関数 $ p \in \mathcal{P} $ の係数 $ c_1, c_2, c_3 $ をパラメトリックに表現する。
• テイラー係数 $ a_n $ を用いて対数係数 $ \gamma_n $ を表現し、第二ハンケル行列式 $ H_{2,1}(F_f/2) = \gamma_1\gamma_3 - \gamma_2^2 $ を $ a_2, a_3, a_4 $ に関する四次形式として導出する。
• 問題をパラメータ空間へ写像するため、変換 $ a_2 = \frac{(2\lambda+1)}{2} p_1 $, $ a_3 = \frac{(2\lambda+1)}{6} ((3+2\lambda)p_1^2 - 1) $, および $ a_4 = \frac{(2\lambda+1)(2\lambda+3)}{24} ((2\lambda+5)p_1^2 - 3)p_1 $ を適用する。
• 係数の表現から導かれる $ |A|, |B|, |C| $ に関する不等式を用い、$ p_1 \in [0,1] $ における行列式の表現の最適化を、臨界点の解析と境界挙動の検討によって行う。
• 臨界点方程式から定義される $ s_3 $ を用いて、極値関数 $ f_3 $ を構成することで、鋭鋭さを確立する。
• 最大値が $ s_3 $ で達成されることを確認し、与えられたクラスにおける上限が鋭鋭であることを裏付ける。

実験結果

リサーチクエスチョン

• RQ1 凸関数クラスにおける対数係数の第二ハンケル行列式 $ |H_{2,1}(F_f/2)| $ の鋭鋭な上界は何か？
• RQ2 $ \lambda \in [1/2, 1] $ の $ \lambda $-スパイラル型関数のより一般的なクラスにおいて、この上限はどのように変化するか？
• RQ3 これらのクラスにおいて、鋭鋭な上限に達する極値関数を明示的に構成できるか？
• RQ4 上限は回転に対して不変であるか？ これは最適化プロセスにどのように影響するか？
• RQ5 カラテオドリ関数のパラメトリック表現を用いて導かれた上限は、以前の結果よりも tighter な推定をもたらすか？

主な発見

• 凸関数（$ \lambda = 1/2 $）クラスにおける $ |H_{2,1}(F_f/2)| $ の鋭鋭な上界は $ 0.030303 $ であり、これが鋭鋭であることが確認された。
• $ \mathcal{C}(-1/2) $（$ \lambda = 1 $ に対応）クラスでは、鋭鋭な上限が $ 0.070811 $ に達し、明示的な極値関数によって達成された。
• 上限は $ \frac{(2\lambda+1)^2(12\lambda^2 - 60\lambda - 165)}{576(4\lambda^2 - 12\lambda - 39)} $ として得られ、$ \lambda \in [1/2, 1] $ に対して有効である。
• 極値関数は $ p_3(z) = \frac{1 - z^2}{1 - 2s_3 z + z^2} $ を用いて構成され、$ s_3 $ は臨界点方程式 $ h'(s_3) = 0 $ を満たす。
• 数値的検証により、$ h(\sqrt{y_2}) = T(\sqrt{y_2}) $ が成り立つことが確認され、遷移点における連続性と最大性が保証された。
• 構成された関数 $ f_3 $ に対して等号が成立することから、上限が鋭鋭であることが示された。係数 $ a_2, a_3, a_4 $ は $ s_3 $ から明示的に計算可能である。