[論文レビュー] Coefficient Estimates for Meromorphic Bi-Univalent Functions

Suzeini Abd Halim, Samaneh G. Hamidi+1 more|arXiv (Cornell University)|Aug 20, 2011

Analytic and geometric function theory参考文献 1被引用数 7

ひとこと要約

本稿では、穿孔単位円板上でのメロモーレィックな双一意的関数の部分クラスを導入し、正の実部をとる関数を用いて初期係数 $ b_0 $ および $ b_1 $ の鋭い係数推定値を導出する。関数をクラス $ \mathcal{P} $ に属する正則関数と関連付けることで、パrameter $ \alpha $ および $ \beta $ を含む境界を確立し、古典的な係数推定値をメロモーレィックな双一意的関数の文脈に一般化する。$ |b_0| \leq 2(1-\alpha) $ および $ |b_1| \leq (1-\alpha)\sqrt{4\alpha^2 - 8\alpha + 5} $ の明示的な不等式が得られる。結果として、解析的双一意的関数に関する先行研究をメロモーレィックな場合に拡張し、新たな鋭い係数制約を提示する。

ABSTRACT

A univalent meromorphic function defined on $Δ:= \{z \in \mathbb{C}: 1

研究の動機と目的

• 解析的関数からメロモーレィック関数への双一意的性の概念を、$ \Delta = \{ z : 1 < |z| < \infty \} $ で定義された穿孔円板上に拡張すること。
• 星型および Bazilevič 型クラスを含む、順序 $ \alpha $ のメロモーレィックな双一意的関数の部分クラスを導入し、それらを研究すること。
• このような関数のローラン級数展開における初期係数 $ b_0 $ および $ b_1 $ の鋭い推定値を導出すること。
• 正の実部関数の技法を用いて、解析的双一意的関数の古典的係数境界をメロモーレィックな文脈に一般化すること。
• パrameter $ \alpha $ および $ \beta $ を含む新しい不等式を確立し、Schiffer や Springer らの結果をメロモーレィックな双一意的関数の文脈に拡張すること。

提案手法

• 関数 $ g $ 及びその逆関数 $ g^{-1} $ が正の実部をとる関数との劣andra条件を満たすことを要件とする、メロモーレィックな星型双一意的関数のクラス $ \Sigma_{\mathcal{B}}^*(\alpha) $ を定義する。
• 関数 $ g(z) = z + \sum_{n=0}^{\infty} \frac{b_n}{z^n} $ 及びその逆関数 $ g^{-1}(w) = w + \sum_{n=0}^{\infty} \frac{B_n}{w^n} $ の級数展開を用い、合成および逆関数の性質を分析して係数を評価する。
• 正則関数 $ p \in \mathcal{P} $ に対して係数が $ |c_n| \leq 2 $ を満たすという古典的補題を適用し、$ d_1, c_1, d_2 $ との関係を通じて $ b_0 $ および $ b_1 $ の係数を評価する。
• 関数 $ g $、その逆関数、および正の実部をとる関数 $ q(w) $ の間の関数的関係を確立し、$ \left( \frac{w}{h(w)} \right)^{1-\beta} h'(w) = (q(w))^\alpha $ のような方程式を導出する。
• $ \left( \frac{w}{h(w)} \right)^{1-\beta} h'(w) $ の級数展開を用い、$ (q(w))^\alpha $ の係数と等置することで、$ b_0 $ および $ b_1 $ に対する再帰的不等式を導出する。
• 補題1における $ |c_n| \leq 2 $ の境界を適用し、$ |b_0| $ および $ |b_1| $ の鋭い上界を導出し、$ \alpha $ および $ \beta $ を含む明示的な不等式を得る。

実験結果

リサーチクエスチョン

• RQ1 順序 $ \alpha $ のメロモーレィックな双一意的関数のローラン展開における初期係数 $ b_0 $ および $ b_1 $ の鋭い係数推定値は何か？
• RQ2 穿孔円板 $ \Delta $ 上のメロモーレィック関数に対して、双一意的性の概念をどのように意味的に拡張できるか？
• RQ3 単位円板内での正の実部をとる関数と関連付けることによって、メロモーレィックな双一意的関数にどのような意味があるか？
• RQ4 メロモーレィックな双一意的関数の係数境界は、解析的双一意的関数および古典的なメロモーレィック一意的関数の境界とどのように比較できるか？
• RQ5 Bazilevič 型や順序 $ \alpha $ の星型関数を含む、新たなメロモーレィックな双一意的関数の部分クラスは、より緊密またはより一般化された係数推定値をもたらすか？

主な発見

• クラス $ \Sigma_{\mathcal{B}}^*(\alpha) $ に属する関数に対して、係数 $ b_0 $ は鋭い推定値 $ |b_0| \leq 2(1 - \alpha) $ を満たし、関連する $ \mathcal{P} $ に属する関数が $ |c_1| = 2 $ を達成する極値状態で等号が成立する。
• 係数 $ b_1 $ は鋭い境界 $ |b_1| \leq (1 - \alpha) \sqrt{4\alpha^2 - 8\alpha + 5} $ を満たし、$ b_0 = 0 $ の場合、定理4で示されるように $ |b_1| \leq \alpha $ に簡略化される。
• 部分クラス $ \Sigma^{B}_{\mathcal{B}}(\beta, \alpha) $ に対して、$ |b_1| \leq \frac{2\alpha^2}{(1 - \beta)(2 - \beta)} \sqrt{2(1 - \beta)(2 - \beta) + 1} $ の境界が導出され、以前の結果を一般化する。
• $ b_0 = 0 $ の場合、逆関数のローラン展開は、Schober [13] が以前に研究した形式と一致し、既存の文献と整合性が確認される。
• 一般化された部分クラス $ \Sigma^{B}_{\mathcal{B}}(\beta, \alpha) $ において、$ |b_0| \leq 2\alpha / (1 - \beta) $ の境界が確立され、$ \alpha $ および $ \beta $ の両方に依存することが示される。
• 結果として、Schiffer の推定値（$ |b_n| \leq 2/(n+1) $）および Springer の推定値（$ |B_3| \leq 1 $）を双一意的関数の文脈に一般化し、初期係数に対する新たな鋭い制約を提示する。