[論文レビュー] The Bohr Phenomenon for analytic functions on simply connected domains

Molla Basir Ahamed, Vasudevarao Allu+1 more|arXiv (Cornell University)|Nov 27, 2020

Holomorphic and Operator Theory参考文献 23被引用数 9

ひとこと要約

本稿は、単連結領域上での正則関数に対するボアール現象を調査し、特に $0 \leq \gamma < 1$ の場合の円板 $\Omega_\gamma = \left\{ z \in \mathbb{C} : \left| z + \frac{\gamma}{1-\gamma} \right| < \frac{1}{1-\gamma} \right\}$ に対して、クラス $\mathcal{B}(\Omega_\gamma)$ のための鋭い改良ボアール半径 $\frac{1+\gamma}{3+\gamma}$ を確立した。古典的ボアール不等式は、係数推定とメジャント系列解析を通じて改良された。

ABSTRACT

In this paper, we investigate the Bohr phenomenon for the class of analytic functions defined on the simply connected domain \begin{equation*} Ω_γ=\bigg\{z\in\mathbb{C} : \bigg|z+\fracγ{1-γ}\bigg|

研究の動機と目的

• 古典的ボアール現象を、一般の単連結領域に定義された正則関数へと拡張すること。特に $\Omega_\gamma$ を対象とする。
• 関数が $\Omega_\gamma$ 内で正則かつ絶対値が 1 以下であるクラス $\mathcal{B}(\Omega_\gamma)$ のための鋭い改良ボアール半径を特定すること。
• クラス $\mathcal{B}(\Omega_\gamma)$ の関数に対してボアール＝ロゴシンスキー半径と改良ボアール半径を調査し、単位円板でない領域への古典的結果の一般化を図ること。
• $\gamma$ を用いた定量的推定を提供し、メジャント系列および関連和の収束に関する評価を明示すること。

提案手法

• Evdoridis らの Lemma 1.5 の一般化を用いて、$\mathcal{B}(\Omega_\gamma)$ 内の関数の係数推定を導出し、$n \geq 1$ に対して $|a_n| \leq \frac{1 - |a_0|^2}{1 + \gamma}$ を示す。
• 領域の中心を $-\frac{\gamma}{1-\gamma}$ にシフトする変換を適用し、$\gamma \in \mathbb{D}$ を中心とする既知の係数推定を適用可能にする。
• メジャント系列 $\sum_{n=0}^\infty |a_n|r^n$ を分析し、$|f(z)|$ と尾項を含む修正された和を導入してボアール＝ロゴシンスキー半径を定義する。
• 関数 $\mathcal{T}(a)$ に対する最適化技法を用い、和 $\sum_{n=1}^\infty |a_n|r^n + \left(\frac{1}{1+|a_1|} + \frac{r}{1-r}\right)\sum_{n=2}^\infty |a_n|^2 r^{2n-1}$ が $r \leq \frac{1+\gamma}{3+\gamma}$ のとき 1 以下であることを証明する。
• テスト関数 $f_a(z)$ を構成し、$a \to 1^-$ のとき $r > \frac{1+\gamma}{3+\gamma}$ で不等式が成り立たないことを示すことで、鋭さを確認する。
• 高階微分 ($\mathcal{T}'''(a) > 0$) を用いて、境界関数の凸性および単調性を証明し、半径が最適であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 絶対値が 1 以下で $\Omega_\gamma$ 上で正則な関数のクラスに対して、鋭い改良ボアール半径は何か？
• RQ2 クラス $\mathcal{B}(\Omega_\gamma)$ の関数に対してボアール＝ロゴシンスキー半径はどのように振る舞い、その最適値は何か？
• RQ3 古典的ボアール不等式は、$f(0)$ の代わりに関数値 $f(z)$ を組み込むことで改良可能か？その場合の半径は何か？
• RQ4 改良ボアール不等式に対して、半径 $\frac{1+\gamma}{3+\gamma}$ は鋭いか？その証明はどのように行われるか？
• RQ5 係数推定は $\Omega_\gamma$ 上で、メジャント系列および関連和の収束にどのように影響を与えるか？

主な発見

• クラス $\mathcal{B}(\Omega_\gamma)$ のための改良ボアール半径は、正確に $\frac{1+\gamma}{3+\gamma}$ であり、この値は鋭い。
• クラス $\mathcal{B}(\Omega_\gamma)$ のボアール＝ロゴシンスキー半径も $\frac{1+\gamma}{3+\gamma}$ であり、$|f(z)|$ と尾項を含む修正された和を用いた定義により確立された。
• すべての $f \in \mathcal{B}(\Omega_\gamma)$ に対して、$r \leq \frac{1+\gamma}{3+\gamma}$ のとき不等式 $\sum_{n=1}^\infty |a_n|r^n + \left(\frac{1}{1+|a_1|} + \frac{r}{1-r}\right)\sum_{n=2}^\infty |a_n|^2 r^{2n-1} \leq 1$ が成り立つ。
• 関数 $f_a(z)$ を構成し、$a \to 1^-$ のとき $r > \frac{1+\gamma}{3+\gamma}$ で不等式が成り立たないことを示すことにより、半径の鋭さが確認された。
• 係数推定 $|a_n| \leq \frac{1 - |a_0|^2}{1 + \gamma}$（$n \geq 1$）は、改良半径を導出するための主要な要素であった。
• メジャント系列と係数推定から導かれる関数 $\mathcal{T}(a)$ は、$r \leq \frac{1+\gamma}{3+\gamma}$ のとき $[0,1]$ 上で単調増加であり、最終的な評価 $\mathcal{T}(a) \leq r$ が得られた。