[论文解读] 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

一句话总结

本文研究了在单连通区域上解析函数的玻尔现象，特别是针对区域 $\Omega_\gamma = \left\{ z \in \mathbb{C} : \left| z + \frac{\gamma}{1-\gamma} \right| < \frac{1}{1-\gamma} \right\}$（其中 $0 \leq \gamma < 1$）的情形。研究建立了类 $\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$。
• 确定类 $\mathcal{B}(\Omega_\gamma)$ 的精确改进玻尔半径，其中函数在 $\Omega_\gamma$ 内解析且模有界于 1。
• 研究 $\mathcal{B}(\Omega_\gamma)$ 中函数的玻尔-罗戈辛斯基半径与改进玻尔半径，将经典结果推广至非单位圆盘区域。
• 为最大项级数及其相关和提供关于 $\gamma$ 的精确定量估计。

提出的方法

• 通过推广Evdoridis等人论文中引理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 对于在单连通区域 $\Omega_\gamma$ 上定义、模有界于 1 的解析函数类，其精确改进玻尔半径是多少？
• RQ2 函数在 $\mathcal{B}(\Omega_\gamma)$ 中时，玻尔-罗戈辛斯基半径的行为如何？其最优值是什么？
• RQ3 能否通过用 $f(z)$ 替代 $f(0)$ 来改进经典玻尔不等式？由此得到的半径是什么？
• RQ4 半径 $\frac{1+\gamma}{3+\gamma}$ 对于 $\Omega_\gamma$ 中的改进玻尔不等式是否精确？其证明方法是什么？
• RQ5 在 $\Omega_\gamma$ 中的系数估计如何影响最大项级数及其相关和的收敛性？

主要发现

• 类 $\mathcal{B}(\Omega_\gamma)$ 的改进玻尔半径恰好为 $\frac{1+\gamma}{3+\gamma}$，且该值是精确的。
• 对于 $\mathcal{B}(\Omega_\gamma)$，玻尔-罗戈辛斯基半径同样为 $\frac{1+\gamma}{3+\gamma}$，这是通过引入涉及 $|f(z)|$ 和余项的改进和而建立的。
• 当 $r \leq \frac{1+\gamma}{3+\gamma}$ 时，对所有 $f \in \mathcal{B}(\Omega_\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$。