[論文レビュー] Logarithmic coefficients of some close-to-convex functions

Md. Firoz Ali, Vasudevarao Allu|arXiv (Cornell University)|Jul 29, 2016

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

ひとこと要約

本稿では、奇数星型関数に関して準凸関数における、最初の3つの対数係数の絶対値 $|γ_1|$、$|γ_2|$、$|γ_3|$ の鋭鋭上限を決定する。係数推定とパラメータ化されたクラスにおける最適化を用いて、著者らは $|γ_3| \leq \frac{1}{972}(95 + 23\sqrt{46}) \approx 0.2582$ を確立し、特定の極値関数で等号が成立することを示した。

ABSTRACT

The logarithmic coefficients $γ_n$ of an analytic and univalent function $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ with the normalization $f(0)=0=f'(0)-1$ are defined by $\log \frac{f(z)}{z}= 2\sum_{n=1}^{\infty} γ_n z^n$. In the present paper, we consider close-to-convex functions (with argument $0$) with respect to odd starlike functions and determine the sharp upper bound of $|γ_n|$, $n=1,2,3$ for such functions $f$.

研究の動機と目的

• 奇数星型関数に関して準凸関数のクラスにおける最初の3つの対数係数 $|\gamma_n|$ ($n=1,2,3$) の鋭鋭上限を決定すること。
• 以前の主張が誤りであることが判明したため、特に $n \geq 3$ の場合に $|\gamma_n| \leq \frac{1}{n}$ が成り立つかどうかという未解決問題を解明すること。
• 解析的手法とパラメータ化された係数表現を用いて、正確な極値値を確立することにより、従来の手法の制限を克服すること。

提案手法

• 著者らは、対数係数の定義 $\log\left(\frac{f(z)}{z}\right) = 2\sum_{n=1}^\infty \gamma_n z^n$ を用いて、$\gamma_n$ を $f$ のテイラー係数 $a_n$ で表現する。
• 関数 $P(z) \in \mathcal{P}$ で初期係数が指定されたパラメータ化表現を用いて、奇数星型関数に関して準凸関数のクラスをモデル化する。
• 重要なステップとして、$g(z) = \frac{z}{1 - z^2}$ という関数を構成し、これは奇数かつ星型である。$zf'(z) = g(z)P(z)$ を定義することで、所望の関数クラスを生成する。
• $P(z)$ の係数 $c_1, c_2, c_3$ は、カラテオドリ関数の凸結合を介して得られ、$f$ の初期係数を制御可能となる。
• $|\gamma_3|$ に関連する関数 $F(c,r,p)$ を最大化するための最適化問題を、$(c,r,p)$-空間内の有界領域 $R$ において定式化する。
• 偏導関数を用いて臨界点を解析し、最大値が定義域の内部に位置することを確認することで、上限の鋭鋭性が裏付けられる。

実験結果

リサーチクエスチョン

• RQ1 奇数星型関数に関して準凸関数において、$|\gamma_3|$ の鋭鋭上限は何か？
• RQ2 一般の準凸関数では成り立たないにもかかわらず、$n \geq 3$ の場合にこのクラスで $|\gamma_n| \leq \frac{1}{n}$ が成り立つかどうか？
• RQ3 特定の関数 $f$ が $|\gamma_3|$ の上限で等号を達成するように、極値関数を明示的に構成できるか？
• RQ4 係数推定と解析関数のパラメータ化表現は、対数係数の鋭鋭上限を導出するうえでどのように役立つか？

主な発見

• $|\gamma_1|$ の鋭鋭上限は $1$ であり、$a_2 = 2$ のときに達成され、既知の結果と整合的である。
• $|\gamma_2|$ の鋭鋭上限は $\frac{1}{2}(1 + 2e^{-2}) \approx 0.635$ であり、フェケーテ＝シュリーゲーの不等式から導出される。
• $|\gamma_3|$ の鋭鋭上限は $\frac{1}{972}(95 + 23\sqrt{46}) \approx 0.2582$ であり、これは $\frac{1}{3} \approx 0.333$ よりも厳密に小さい。
• 等号は、$zf'(z) = g(z)P(z)$ を満たす特定の関数 $f$ で達成され、ここで $g(z) = \frac{z}{1 - z^2}$ であり、$P(z)$ は与えられた係数を持つ $\mathcal{P}$ のクラスに属する特定の関数である。
• 極値関数はパラメータ $c_1 = \frac{1}{3}(8 - \sqrt{46})$、$x = \frac{1}{75}(11 - \sqrt{46})$、$t = 1$ に対応し、上限の鋭鋭性が確認される。