[论文解读] A note on the Bohr inequality

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

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

一句话总结

本文利用次序与控制技术，建立了奇解析函数及其导数的改进Bohr半径估计，以及次序族的估计。研究证明，对于满足 $ f(0) = 0 $ 的奇解析函数 $ f $，其导数 $ f' $ 的Bohr半径至少为 $ 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.

研究动机与目标

• 研究单位圆盘自映射的解析函数导数的Bohr现象，特别关注 $ f(0) = 0 $ 的条件。
• 将经典的Bohr不等式推广至涉及次序与控制的广义情形，适用于奇解析函数。
• 推导球面凸函数 $ \tilde{\mathcal{K}}_s(\alpha) $ 和有界型凸函数 $ CV(R_1, R_2) $ 的精确Bohr半径估计。
• 在 $ f $ 不必局部单芽的情况下，建立 $ \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 $ 的解析函数。
• 应用引理1（来自[6]），比较控制级数 $ \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 当 $ f: \mathbb{D} \to \mathbb{D} $ 为解析函数且 $ f(0) = 0 $ 时，能否为 $ f' $ 建立一个与 $ f $ 无关的Bohr半径？
• RQ2 对于满足 $ f(0) = 0 $ 的奇解析函数 $ f $，使得 $ \mathcal{M}_{f'}(r) \leq \delta $ 成立的最优半径 $ r $ 是什么？
• RQ3 解析函数之间的次序与控制关系如何影响其导数的控制级数？
• RQ4 球面凸函数 $ \mathcal{K}_s(\alpha) $ 的精确Bohr半径是多少？其与 $ \alpha $ 和 $ \delta $ 的关系如何？
• RQ5 在什么 $ R_1, R_2, \delta $ 条件下，Bohr不等式 $ \mathcal{M}_f(r) \leq \delta $ 对于 $ CV(R_1, R_2) $ 中的函数成立？

主要发现

• 对于满足 $ 0 < \alpha \leq \sqrt{3}/2 $ 的奇解析函数 $ f(z) = \alpha z + \sum_{n=2}^\infty a_n z^n \in \mathcal{K}_s(\alpha) $，其控制级数满足 $ \mathcal{M}_f(r) \leq \delta $ 对所有 $ r \leq r_s = 1/(1 + 2\sqrt{1 - \alpha^2}) $ 成立，且该半径是精确的。
• 极值函数 $ k_\alpha(z) = \alpha z / (1 - \sqrt{1 - \alpha^2} z) $ 在 $ r = r_s $ 处达到该界等号，证实了精确性。
• 对于满足 $ R_2 \geq 2\delta $ 的 $ f \in CV(R_1, R_2) $，其控制级数满足 $ \mathcal{M}_f(r) \leq \delta $ 对所有 $ r \leq r_c = R_2 / (3R_2 - 2\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 $，表明结果优于经典结论。
• 结果表明，次序与控制技术可产生比经典方法更精确的Bohr半径，尤其在存在对称性（奇性）或几何凸性时。
• 条件 $ R_2 \geq 2\delta $ 确保 $ r_c \leq A $，从而可应用引理1，且半径 $ r_c $ 与 $ R_1 $ 无关，仅依赖于 $ R_2 $ 和 $ \delta $。