[論文レビュー] Construction of Toeplitz Matrices whose elements are the coefficients of univalent functions associated with $q$-derivative operator

N. Magesh, Şahsene Altınkaya+1 more|arXiv (Cornell University)|Aug 11, 2017

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

ひとこと要約

本稿は、$ q $-微分作用素を用いて定義される新しい部分族 $ R(q) $ において、単一関数の対称トーペリッツ行列式の係数の上限を構築する。$ q $-微分作用素を正の実部をもつ関数と関連づけ、カラテオドリ関数を用いた係数推定を適用することで、$ |T_2(2)| $、$ |T_2(3)| $、$ |T_3(2)| $、$ |T_3(1)| $ の明示的な上界が得られ、$ q \in (0,1) $ に応じたタイトな推定が可能となり、幾何的関数論の古典的結果を一般化する。

ABSTRACT

In this paper, we find the coefficient bounds using symmetric Toeplitz determinants for the functions belonging to the subclass $R(q)$.

研究の動機と目的

• 新しい部分族 $ R(q) $ の対称トーペリッツ行列式を調査すること。ここで $ R(q) $ は $ q $-微分作用素を用いて定義される単一関数の族である。
• $ q $-微積分の道具を統合することで、幾何的関数論における古典的係数推定を拡張すること。
• $ R(q) $ のクラスにおいて、$ |T_2(2)| $、$ |T_2(3)| $、$ |T_3(2)| $、$ |T_3(1)| $ の明示的な上界を確立すること。
• 古典的 $ RT $ クラス（$ \Re(f'(z)) > 0 $）の結果を $ q $-解析的設定に一般化すること。

提案手法

• 単位円板内で $ \Re(D_q f(z)) > 0 $ を満たす正則関数 $ f(z) = z + \sum_{n=2}^\infty a_n z^n $ としてクラス $ R(q) $ を定義する。
• $ q $-微分作用素 $ D_q f(z) = 1 + \sum_{n=2}^\infty [n]_q a_n z^{n-1} $ を用いる。ここで $ [n]_q = (1 - q^n)/(1 - q) $ である。
• $ D_q f(z) $ を正の実部をもつカラテオドリ関数 $ p(z) $ に関連づけ、$ D_q f(z) = p(z) $ とおく。
• 係数 $ a_n $ を $ p_k $ を用いて $ a_n = p_{n-1} / [n]_q $ と表現し、$ p_k $ に関する補題 2.2 の係数推定を適用する。
• 三角不等号と $ |x| \in [0,1] $、$ p \in [0,2] $ における微積分的最適化を用いて、トーペリッツ行列式の上界を導出する。
• 代数的簡略化と代入を用いて、最終的な上界を $ q $ の関数として表現する。例えば $ \frac{4q^2(q^2 + 2q + 2)}{(1 + 2q + 2q^2 + q^3)^2} $ のように。

実験結果

リサーチクエスチョン

• RQ1 クラス $ R(q) $ における対称トーペリッツ行列式 $ |T_2(2)| $、$ |T_2(3)| $、$ |T_3(2)| $、$ |T_3(1)| $ の鋭い上界は何か？
• RQ2 $ q $-微分作用素は、古典的 $ RT $ クラスと比較して係数推定にどのように影響を及けるか？
• RQ3 $ R(q) $ におけるトーペリッツ行列式の上界を $ q \in (0,1) $ の関数として明示的に表現できるか？
• RQ4 カラテオドリ関数のパrameterization は、これらの上界を導出する際に果たす役割は何か？
• RQ5 $ q \to 1^- $ のとき、上界はどのように振る舞い、古典的ケースの既知の結果を回復するか？

主な発見

• $ |T_2(2)| $ の上界は $ \frac{4q^2(q^2 + 2q + 2)}{(1 + 2q + 2q^2 + q^3)^2} $ であり、$ p = 2 $ かつ $ |x| = 1 $ のとき達成される。
• $ |T_2(3)| $ の上界は $ \frac{16q^2}{(1+q+q^2+q^3)(1+q+q^2)^2} $ であり、$ |x| \in [0,1] $ における関数の最大化によって得られる。
• $ |T_3(2)| $ の上界は $ \frac{16q^2}{(1+q+q^2+q^3)(1+q+q^2)^2} $ であり、$ |a_2 - a_4| $ と $ |a_2^2 - 2a_3^2 + a_2 a_4| $ の推定を組み合わせることで得られる。
• $ |T_3(1)| $ の上界は $ 1 + \frac{4}{(1+q+q^2)^2} $ であり、最大値は $ p = 2 $ のとき達成される。
• すべての上界は鋭く、$ q $ に明示的に依存しており、$ q \to 1^- $ のとき古典的結果に収束する。
• 導出は補題 2.2 を用いて $ p_2 $ と $ p_3 $ を $ p_1 $、$ x $、$ z $ の関数として表現し、$ |x| \in [0,1] $ における微積分的最適化を実行することで行われる。