[論文レビュー] Coefficient problems on the class $U(\lambda)$

Saminathan Ponnusamy, Karl‐Joachim Wirths|arXiv (Cornell University)|Sep 19, 2017

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

ひとこと要約

本稿は、単葉関数の族 $\mathcal{U}(\lambda)$ における係数問題に取り組み、$|a_n|$ に対して非鋭な上限を提示するとともに、第二係数問題を明示的に解き、劣微分とロゴシンスキーの定理を用いて $|a_n| \leq 1 + \lambda\sqrt{n-1}\sqrt{\sum_{k=0}^{n-2}\lambda^{2k}}$ を導出する。また、$|\omega(z)| \leq 1$ かつ $\omega(0) = a$ を満たす $\omega(z)$ に関連する極値関数を用いて $a_2$ の鋭い上限を証明する。本研究は、$\mathcal{U}(\lambda)$ における係数推定に関する未解決の予想を前進させる。

ABSTRACT

For $0<\\lambda \\leq 1$, let ${\\mathcal U}(\\lambda)$ denote the family of functions $f(z)=z+\\sum_{n=2}^{\\infty}a_nz^n$ analytic in the unit disk $\\ID$ satisfying the condition $\\left |\\left (\\frac{z}{f(z)}\ ight )^{2}f'(z)-1\ ight |<\\lambda $ in $\\ID$. Although functions in this family are known to be univalent in $\\ID$, the coefficient conjecture about $a_n$ for $n\\geq 5$ remains an open problem. In this article, we shall first present a non-sharp bound for $|a_n|$. Some members of the family ${\\mathcal U}(\\lambda)$ are given by $$ \\frac{z}{f(z)}=1-(1+\\lambda)\\phi(z) + \\lambda (\\phi(z))^2 $$ with $\\phi(z)=e^{i\ heta}z$, that solve many extremal problems in ${\\mathcal U}(\\lambda)$. Secondly, we shall consider the following question: Do there exist functions $\\phi$ analytic in $\\ID$ with $|\\phi (z)|<1$ that are not of the form $\\phi(z)=e^{i\ heta}z$ for which the corresponding functions $f$ of the above form are members of the family ${\\mathcal U}(\\lambda)$? Finally, we shall solve the second coefficient ($a_2$) problem in an explicit form for $f\\in {\\mathcal U}(\\lambda)$ of the form $$f(z) =\\frac{z}{1-a_2z+\\lambda z\\int_0^z\\omega(t)\\,dt}, $$ where $\\omega$ is analytic in $\\ID$ such that $|\\omega(z)|\\leq 1$ and $\\omega(0)=a$, where $a\\in \\overline{\\ID}$.

研究の動機と目的

• 「$n \geq 5$ の場合に $|a_n| \leq \sum_{k=0}^{n-1} \lambda^k$ が成り立つ」という $\mathcal{U}(\lambda)$ における未解決の係数予想を扱うこと。この不等式はまだ証明されていない。
• 劣微分と古典的不等式を用いて、$\mathcal{U}(\lambda)$ における $|a_n|$ に対して非鋭的だが明示的な上界を確立すること。
• $\mathbb{D}$ で正則で $|\phi(z)| < 1$ を満たす関数 $\phi$ が、$\phi(z) = e^{i\theta}z$ の形でない場合に、$\frac{z}{f(z)} = 1 - (1+\lambda)\phi(z) + \lambda(\phi(z))^2$ の表現によって $\mathcal{U}(\lambda)$ の元を生成できるかどうかを調査すること。
• $f \in \mathcal{U}(\lambda)$ が $f(z) = z / \left(1 - a_2 z + \lambda z \int_0^z \omega(t) dt\right)$ の形で表され、$|\omega(z)| \leq 1$ かつ $\omega(0) = a$ を満たす場合に、第二係数問題を明示的に解くこと。

提案手法

• 劣微分理論を用いる：$f \in \mathcal{U}(\lambda)$ ならば $\frac{f(z)}{z} \prec \frac{1}{(1-z)(1-\lambda z)}$ が成り立ち、これによりロゴシンスキーの定理を用いて係数を比較可能となる。
• 劣微分から得られるべき乗級数の係数の積にコーシー＝シュワルツの不等式を適用し、$|a_{n+1}| \leq 1 + \sqrt{n} \sqrt{\sum_{k=1}^n \lambda^{2k}}$ の上限を得る。
• $\omega(z)$ を $\omega(z) = \frac{a + z\varphi(z)}{1 + \overline{a}z\varphi(z)}$（$|\varphi(z)| \leq 1$）として表現し、$\int_0^z \omega(t) dt$ を $B_a(z)$ への劣微分を用いて分析可能とする。
• $a \in \overline{\mathbb{D}}$ の場合に $B_a(z)$ を明示的に定義し、境界値を用いて $|a_2|$ を $|a_2| \leq 1 + \lambda \max_{t \in [0,2\pi]} |B_a(e^{it})|$ で抑え、これにより $a_2$ の上限を得る。
• 極値関数を構成することで上限の鋭さを証明する。分母の零点を含まない性質を確認することで、対応する $f$ が $\mathcal{U}(\lambda)$ に属することを検証する。
• $C_\omega(z) = \frac{1}{z} + \lambda \int_0^z \omega(t) dt$ が $\overline{\mathbb{D}}$ 上で単葉であることに着目し、$a_2 \in \bigcup_{\omega(0)=a} A_2(\omega)$ が成り立つ。ここで $A_2(\omega)$ は $\mathbb{C} \setminus C_\omega(\partial\mathbb{D})$ の有界成分である。

実験結果

リサーチクエスチョン

• RQ1 $\phi(z) = e^{i\theta}z$ でない非線形分数線形変換 $\phi$ が、$\frac{z}{f(z)} = 1 - (1+\lambda)\phi(z) + \lambda(\phi(z))^2$ を満たす場合に、$f \in \mathcal{U}(\lambda)$ を生成できるか。
• RQ2 劣微分と係数推定を用いて、$n=4$ を超える範囲にまで係数予想 $|a_n| \leq \sum_{k=0}^{n-1} \lambda^k$ を拡張できるか。
• RQ3 $f$ が $|\omega(z)| \leq 1$ かつ $\omega(0) = a$ を満たす $\omega(z)$ でパラメータ化される場合、$\mathcal{U}(\lambda)$ における $|a_2|$ の正確な鋭い上限は何か。
• RQ4 不等式 $|a_n| \leq 1 + \lambda\sqrt{n-1}\sqrt{\sum_{k=0}^{n-2}\lambda^{2k}}$ が $n \geq 2$ のいずれかの $n$ に対して鋭いかどうか。
• RQ5 係数 $a_2$ の極値関数が、$\omega(0) = a$ を満たす $\omega(z)$ から明示的に構成可能で、上限で等号が成立するか。

主な発見

• 非鋭な $|a_n|$ の上限が確立された：$n \geq 2$ に対して $|a_n| \leq 1 + \lambda\sqrt{n-1}\sqrt{\sum_{k=0}^{n-2}\lambda^{2k}}$ が劣微分とコーシー＝シュワルツの不等式を用いて導出された。
• 第二係数 $a_2$ は $|a_2| \leq 1 + \lambda \max_{t \in [0,2\pi]} |B_a(e^{it})|$ を満たし、特定の $\omega(z)$ に対して等号が達成可能であることが示され、鋭さが証明された。
• 特に $a \in \mathbb{D} \setminus \{0\}$ の場合、$B_a(z)$ は $\frac{1}{z} \int_0^z \frac{a + t}{1 + \overline{a}t} dt$ として定義され、$a = 0$ の場合は $B_0(z) = \frac{1}{2}$、$|a| = 1$ の場合は $B_a(z) = a$ である。
• 上限に等号を達成する極値関数は、$\omega(z) = \frac{a + z e^{i\psi}}{1 + \overline{a} z e^{i\psi}}$ と設定し、$a_2 = e^{-i\theta} + \lambda e^{i\theta} B_a(e^{it_0})$ と選ぶことで構成可能である。ここで $t_0$ は $|B_a(e^{it})|$ を最大にする点である。
• $f(z) = z/D(z)$ の分母 $D(z)$ は $\mathbb{D}$ 内にちょうど一つの零点を持つため、$f \in \mathcal{U}(\lambda)$ が保証され、極値構成が有効であることが確認された。
• 本稿では $a_2$ の上限が鋭いことを確認し、$C_\omega$ が $\partial\mathbb{D}$ 上での像を用いて、$a_2$ の取り得る値の集合を完全に特徴づけた。