[论文解读] 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半径，其中针对组合范数-导数-系数和表达式的最优半径为 $\frac{\sqrt{17}-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型不等式。
• 通过引入一阶导数和平方Taylor系数，改进经典Bohr不等式。
• 确定涉及 $|f(z)|$、$|f'(z)|r$ 和系数和的不等式的最优半径。
• 通过极值函数构造与系数分析，证明改进后半径的尖锐性。
• 利用改进的系数估计，统一并拓展先前关于Bohr-Rogosinski与面积型不等式的结果。

提出的方法

• 结合先前工作中的改进系数不等式（如文献[28]中的引理3）与Schwarz-Pick引理，以控制 $|f(z)|$ 和 $|f'(z)|$。
• 利用从Schwarz-Pick引理导出的不等式 $|f(z)| \leq \frac{r + |a_0|}{1 + r|a_0|}$ 来处理 $|z| = r$ 的情形。
• 应用不等式 $|f'(z)| \leq \frac{|z|}{1 - |z|^2}(1 - |f(z)|^2)$ 来控制导数项。
• 引入加权和 $\sum |a_n|^2 r^{2n}$，并引入系数 $\frac{1}{1 + |a_0|} + \frac{r}{1 - r}$，以改进经典项 $\sum |a_n| r^n$。
• 在 $|a_0| \in [0,1)$ 上使用优化技术，推导一致界并确定最优半径。
• 使用形式为 $\varphi_a(z) = \frac{a + z}{1 + az}$ 的极值函数，以检验尖锐性并验证等号成立条件。

实验结果

研究问题

• RQ1 是否存在最大的半径 $r$，使得对所有 $f \in \mathcal{B}$ 和 $|z| = r$，不等式 $|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$ 成立？
• RQ2 能否通过引入导数项与二次系数项来改进经典Bohr不等式？
• RQ3 是否存在最优半径 $r_0$，使得对所有 $|z| = r$，不等式 $|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$ 成立？
• 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$ 的唯一正实根，且该半径为最优。
• 常数 $\frac{\sqrt{17} - 3}{4}$ 不可改进，通过测试极值函数 $\varphi_a(z) = \frac{a + z}{1 + az}$ 并分析当 $a \to 1^-$ 时的表达式可得证明。
• 常数 $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}$ 违反不等式。