[論文レビュー] Chebyshev polynomial coefficient bounds for a subclass of bi-univalent functions

Şahsene Altınkaya, Sibel Yalçın|arXiv (Cornell University)|May 26, 2016

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

ひとこと要約

本稿は、第二種チェビシェフ多項式を用いた係数関係に基づくサブクラス $H_{\infty\Sigma}(\lambda,t)$ における双正則関数の初期テイラー係数 $|a_2|$ および $|a_3|$ の鋭い係数評価を確立する。第二種チェビシェフ多項式を用いたサブダミネーション条件を活用することで、明示的な上界を導出し、Fekete-Szeg€¶o 問題を解き、$n \geq 4$ の $|a_n|$ に対する初めての一般評価を提供する。

ABSTRACT

In this work, considering a general subclass of bi-univalent functions and using the Chebyshev polynomials, we obtain coefficient expansions for functions in this class.

研究の動機と目的

• 双正則関数の係数評価を $n \geq 4$ の場合にまで拡張すること、これはこれまでほとんど未解明の領域である。
• 第二種チェビシェフ多項式の生成関数に関連するサブダミネーションに基づく、新しい双正則関数のサブクラス $H_{\Sigma}(\lambda,t)$ の定義と分析を行うこと。
• 第二種チェビシェフ多項式展開とサブダミネーション技術を用いて、$|a_2|$ および $|a_3|$ の明示的かつ非鋭い評価を提供すること。
• クラス $H_{\Sigma}(\lambda,t)$ における Fekete-Szeg€¶o 問題を解き、$|a_3 - \mu a_2^2|$ の鋭い上界を特定すること。

提案手法

• 関数 $f$ 及びその逆関数 $f^{-1}$ の対数微分が生成関数 $H(z,t) = (1 - 2tz + z^2)^{-1}$ にサブダミネートするように、クラス $H_{\Sigma}(\lambda,t)$ を定義する。この生成関数は第二種チェビシェフ多項式と関連している。
• 第二種チェビシェフ多項式 $U_n(t)$ を用いてサブダミネーション条件を表現する。ここで $U_1(t) = 2t$ および $U_2(t) = 4t^2 - 1$ である。これにより係数関係を導出する。
• シュワーツの補題を用いて、サブダミネート関数のべき級数の係数 $c_j$ および $d_j$ を評価し、$|c_j| \leq 1$ および $|d_j| \leq 1$ を保証する。
• サブダミネーション展開を用いて、$a_2$, $a_3$ と係数 $c_1, c_2, d_1, d_2$ の間の関数方程式を導出する。
• 対称性と代数的変形を用い、$c_2$ および $d_2$ を消去する。$c_1 = -d_1$ および $a_2^2$ の式を用いて、$|a_2|$ および $|a_3|$ を分離する。
• 係数式から得られる $h(\mu)$ の評価を用い、$\mu$ の値に基づく2つの場合に分けて、$|a_3 - \mu a_2^2|$ を分析することで Fekete-Szeg€¶o 問題を解く。

実験結果

リサーチクエスチョン

• RQ1 第二種チェビシェフ多項式のサブダミネーションに基づいて定義される双正則関数クラス $H_{\Sigma}(\lambda,t)$ において、初期係数 $|a_2|$ および $|a_3|$ の鋭い上界は何か？
• RQ2 係数 $a_2$ および $a_3$ はパラメータ $\lambda \geq 0$ および $t \in (\sqrt{2}/2, 1]$ にどのように依存するか？
• RQ3 任意の実数 $\mu$ に対して、このクラスにおける Fekete-Szeg€¶o 機能 $|a_3 - \mu a_2^2|$ の鋭い上界は何か？
• RQ4 第二種チェビシェフ多項式の使用は、一般の $|a_n|$ 評価が不明な双正則関数クラスにおいて、非自明で明示的な係数評価を導くことができるか？

主な発見

• 本稿は、$H_{\Sigma}(\lambda,t)$ に属する関数に対して、$|a_2| \leq \frac{2t\sqrt{2t}}{\sqrt{|(1+\lambda)^2 - 4(\lambda + \lambda^2)t^2|}}$ という評価を確立し、これは $\lambda$ と $t$ の両方に依存する。
• $|a_3|$ に対して鋭い評価 $|a_3| \leq \frac{4t^2}{(1+\lambda)^2} + \frac{t}{1+2\lambda}$ を導出し、最初の係数を超える明示的評価を提供する。
• Fekete-Szeg€¶o 問題は、$|\mu - 1| \leq \frac{1}{8(1+2\lambda)} \left| \frac{(1+\lambda)^2}{t^2} - 4\lambda(1+\lambda) \right|$ のとき $|a_3 - \mu a_2^2| \leq \frac{t}{1+2\lambda}$ であり、それ以外の場合はより大きな上界であることを示すことで解かれる。
• $\mu = 1$ の場合に $|a_3 - a_2^2| \leq \frac{t}{1+2\lambda}$ が鋭い上界であることが示され、評価が鋭いことが確認される。
• 結果は、第二種チェビシェフ多項式展開が双正則関数クラスにおける非自明な係数評価を導出する強力なツールであることを示している。
• 本研究は、直交多項式法を用いて、双正則関数の構造的サブクラスにおいて、$n \geq 4$ の $|a_n|$ に対する最初の一般係数評価を提供する点で、文献における空白を埋めている。