[論文レビュー] Refined Bohr inequality for bounded analytic functions

Gang Liu, Zhihong Liu+1 more|arXiv (Cornell University)|Jun 16, 2020

Advanced Banach Space Theory参考文献 17被引用数 12

ひとこと要約

この論文は、単位円板内における有界な正則関数に対する古典的Bohr不等式を、導関数および平方係数を含む高次項を組み込むことで精緻化する。既知のBohr半径を改善する鋭い不等式を確立し、組み合わせノルム-導関数-和の式に対しては、最良の半径 $rac{ extstyleackslash sqrt extbraceleft 17 extbraceright - 3}{4} \approx 0.28005$ が得られ、二乗絶対値の変種に対しては $r_0 \approx 0.385795$ が得られる。これは、精密化された係数推定とSchwarz-Pick型不等式を用いることで達成された。

ABSTRACT

In this article, by combining appropriate refined Bohr's inequalities with some techniques concerning bounded analytic functions defined in the unit disk, we generalize and improve several Bohr type inequalities for such functions.

研究の動機と目的

• 単位円板内における有界な正則関数に対する既存のBohr型不等式の一般化と改善。
• 最初の導関数および平方テイラー係数を組み込むことで、古典的Bohr不等式の精緻化。
• $|f(z)|$、$|f'(z)|r$、および係数和を含む不等式の最良の半径を特定すること。
• 極値関数の構成と係数解析を通じて、改善された半径の鋭さを確立すること。
• 精密化された係数推定を用いて、先行研究のBohr-Rogosinskiおよび面積に基づく不等式を統合・拡張すること。

提案手法

• 先行研究（例：[28]の補題3）における精密化された係数不等式とSchwarz-Pick補題を組み合わせ、$|f(z)|$ および $|f'(z)|$ を評価する。
• $|z| = r$ に対して、Schwarz-Pick補題から導かれる不等式 $|f(z)| \leq \frac{r + |a_0|}{1 + r|a_0|}$ を用いる。
• 導関数項を制御するため、$|f'(z)| \leq \frac{|z|}{1 - |z|^2}(1 - |f(z)|^2)$ の境界を適用する。
• 係数 $\frac{1}{1 + |a_0|} + \frac{r}{1 - r}$ を持つ $\sum |a_n|^2 r^{2n}$ の重み付き和を導入し、古典的 $\sum |a_n| r^n$ 項を精緻化する。
• $|a_0| \in [0,1)$ における最適化技術を用いて一様な境界を導出し、最良の半径を特定する。
• 極値関数 $\varphi_a(z) = \frac{a + z}{1 + az}$ を用いて鋭さをテストし、等号成立条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 すべての $f \in \mathcal{B}$ に対して、$|f(z)| + |f'(z)|r + \sum_{n=2}^\infty |a_n| r^n + \left(\frac{1}{1 + |a_0|} + \frac{r}{1 - r}\right)\sum_{n=1}^\infty |a_n|^2 r^{2n} \leq 1$ が $|z| = r$ で成り立つ最大の半径 $r$ は何か？
• RQ2 導関数項および二次係数項を含めることで、古典的Bohr不等式を改善できるか？
• RQ3 すべての $f \in \mathcal{B}$ に対して、$|f(z)|^2 + |f'(z)|r + \sum_{n=2}^\infty |a_n| r^n + \left(\frac{1}{1 + |a_0|} + \frac{r}{1 - r}\right)\sum_{n=1}^\infty |a_n|^2 r^{2n} \leq 1$ が $|z| = r$ で成り立つ最良の半径 $r_0$ は何か？
• RQ4 $|f'(z)|r$ 項の含みが、古典的および先行の精緻化バージョンと比較してBohr半径の鋭さにどのように影響するか？
• RQ5 導関数および二次項を含む精緻化された不等式に対して、半径 $\frac{\sqrt{17} - 3}{4}$ が最適であるか？

主な発見

• 不等式 $|f(z)| + |f'(z)|r + \sum_{n=2}^\infty |a_n| r^n + \left(\frac{1}{1 + |a_0|} + \frac{r}{1 - r}\right)\sum_{n=1}^\infty |a_n|^2 r^{2n} \leq 1$ は、すべての $f \in \mathcal{B}$ および $|z| = r \leq \frac{\sqrt{17} - 3}{4} \approx 0.28005$ に対して成り立ち、この半径は最良のものである。
• 不等式 $|f(z)|^2 + |f'(z)|r + \sum_{n=2}^\infty |a_n| r^n + \left(\frac{1}{1 + |a_0|} + \frac{r}{1 - r}\right)\sum_{n=1}^\infty |a_n|^2 r^{2n} \leq 1$ は、$|z| = r \leq r_0$ に対して成り立ち、$r_0 \approx 0.385795$ は方程式 $1 - 2r - r^2 - r^3 - r^4 = 0$ の唯一の正の解であり、この半径も最良のものである。
• 極値関数 $\varphi_a(z) = \frac{a + z}{1 + az}$ を用いて $a \to 1^-$ の場合に解析した結果、定数 $\frac{\sqrt{17} - 3}{4}$ を改善することはできない。
• $r_0 \approx 0.385795$ は鋭い半径である。$a \to 1^-$ のとき、$r > r_0$ に対して式の値が1を超えるため、最適性が確認された。
• 古典的Bohr半径 $1/3 \approx 0.333$ よりも改善が達成された：$r_0 > \frac{\sqrt{17} - 3}{4}$ であり、両者とも $1/3$ より厳密に大きい。
• 係数 $\frac{1}{1 + |a_0|} + \frac{r}{1 - r}$ は最適であり、ある $f \in \mathcal{B}$ に対して不等式が破られる可能性があるため、より大きな表現に置き換えることはできない。