[論文レビュー] A note on the Bohr inequality

Bappaditya Bhowmik, Nilanjan Das|arXiv (Cornell University)|Nov 15, 2019

Advanced Banach Space Theory参考文献 14被引用数 4

ひとこと要約

本稿は、特異性と主要化技術を用いて、正則関数の導関数および奇正則関数の部分関係的族のための改良されたボーア半径推定値を確立する。奇正則関数 $ f $ で $ f(0) = 0 $ を満たすものに対して、$ f' $ のボーア半径が少なくとも $ 1/\rho $ であることを証明し、幾何的制約のもとで、球面的凸関数 $ \tilde{\mathcal{K}}_s(\alpha) $ および有界型の凸関数 $ CV(R_1, R_2) $ に対して、鋭い半径 $ r_s $ および $ r_c $ を提供する。

ABSTRACT

This article focuses on the Bohr radius problem for the derivatives of analytic functions, along with a technique of establishing Bohr inequalities in classical and generalized settings.

研究の動機と目的

• 単位円板の正則自己写像の導関数におけるボーア現象を調査すること、特に $ f(0) = 0 $ の条件下で。
• 古典的ボーア不等式を、奇正則関数における特異性と主要化を含む一般化された設定に拡張すること。
• 球面的凸関数 $ \tilde{\mathcal{K}}_s(\alpha) $ および有界型の凸関数 $ CV(R_1, R_2) $ に対して、鋭いボーア半径推定値を導出すること。
• 局所的単葉でない場合でも、$ \mathcal{M}_{g'}(r) $ と $ \mathcal{M}_{f'}(r) $ の間の比較定理を特異性または主要化の下で確立すること。
• 関数 $ f' $ の主要化級が、$ f(0) $ から $ f(\mathbb{D}) $ の境界までの距離によって常に有界であるような条件を特定すること。

提案手法

• 特異性 $ g \prec f $ を用い、$ g = f \circ \phi $ で $ \phi $ が正則で $ \phi(0) = 0 $、$ |\phi(z)| < 1 $ を満たすものとする。
• 文献[6]の補題1を用いて、主要化級 $ \mathcal{M}_g(r) $ と $ \mathcal{M}_f(r) $ を比較し、それを導関数級 $ \mathcal{M}_{g'}(r) $ と $ \mathcal{M}_{f'}(r) $ に拡張する。
• 曲率および $ f $ における幾何的制約を用いて、$ \mathcal{M}_f(r) \leq \delta = d(f(0), \partial f(\mathbb{D})) $ に対する鋭い上限を導出する。
• 球面的凸関数 $ f \in \mathcal{K}_s(\alpha) $ に対して、$ f(z)/\alpha z \prec 1/(1 + z\sqrt{1 - \alpha^2}) $ の表現を用いて係数を評価する。
• 関数 $ CV(R_1, R_2) $ に対しては、$ f(z) \prec Bz/(1 - Az) $ という特異性を適用し、$ A = (R_2 - \delta)/R_2 $、$ B = (2R_2 - \delta)\delta/R_2 $ とする。
• 極値関数 $ k_\alpha(z) = \alpha z / (1 - \sqrt{1 - \alpha^2} z) $ および $ k_a(z) = z / (1 - a z) $ における直接計算により、鋭さを確立する。

実験結果

リサーチクエスチョン

• RQ1 単位円板 $ \mathbb{D} $ から $ \mathbb{D} $ への正則関数 $ f $ で $ f(0) = 0 $ を満たすとき、$ f' $ のボーア半径を $ f $ に依存しない形で確立できるか？
• RQ2 奇正則関数 $ f $ で $ f(0) = 0 $ を満たすとき、$ \mathcal{M}_{f'}(r) \leq \delta $ を満たす最良の半径 $ r $ は何か？
• RQ3 正則関数間の特異性および主要化関係が、それらの導関数の主要化級にどのように影響するか？
• RQ4 球面的凸関数 $ \mathcal{K}_s(\alpha) $ の鋭いボーア半径は何か？また、$ \alpha $ および $ \delta $ に依存するか？
• RQ5 関数 $ f \in CV(R_1, R_2) $ に対して、ボーア不等式 $ \mathcal{M}_f(r) \leq \delta $ が成り立つための $ R_1, R_2, \delta $ に関する条件は何か？

主な発見

• 奇正則関数 $ f(z) = \alpha z + \sum_{n=2}^\infty a_n z^n \in \mathcal{K}_s(\alpha) $ で $ 0 < \alpha \leq \sqrt{3}/2 $ を満たすものに対して、主要化級はすべての $ r \leq r_s = 1/(1 + 2\sqrt{1 - \alpha^2}) $ に対して $ \mathcal{M}_f(r) \leq \delta $ を満たし、この半径は鋭い。
• 極値関数 $ k_\alpha(z) = \alpha z / (1 - \sqrt{1 - \alpha^2} z) $ は $ r = r_s $ で等号を達成し、鋭さが確認される。
• 関数 $ f \in CV(R_1, R_2) $ で $ R_2 \geq 2\delta $ を満たすとき、すべての $ r \leq r_c = R_2 / (3R_2 - 2\delta) $ に対して主要化級は $ \mathcal{M}_f(r) \leq \delta $ を満たし、$ k_a(z) = z / (1 - a z) $（$ a \in [1/2, 1) $）に対してこの半径は鋭い。
• $ \alpha \leq \sqrt{3}/2 $ のとき、半径 $ r_s $ は少なくとも $ 1/3 $ であり、同様に $ r_c \geq 1/3 $ であることが示され、古典的結果よりも改善されている。
• 結果は、特異性と主要化技術が、対称性（奇関数性）や幾何的凸性が存在する場合、古典的手法よりも鋭いボーア半径をもたらすことができることを示している。
• $ R_2 \geq 2\delta $ の条件により $ r_c \leq A $ が保証され、補題1の適用が可能となり、半径 $ r_c $ は $ R_1 $ に依存せず、$ R_2 $ と $ \delta $ のみに依存する。