[论文解读] Bohr inequality for odd analytic functions

I. R. Kayumov, Saminathan Ponnusamy|arXiv (Cornell University)|Jan 14, 2017

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

一句话总结

该论文通过确定奇解析函数的精确博赫半径 $ r_2 = 0.789991\ldots $，解决了阿里、巴纳德和索利宁关于博赫不等式的猜想。研究将结果推广至 $ p $-对称函数，并利用系数估计与施瓦茨引理技术，为亚纯于奇单芽函数的函数建立了新的博赫半径。

ABSTRACT

We determine the Bohr radius for the class of odd functions $f$ satisfying $|f(z)|\le 1$ for all $|z|<1$, settling the recent conjecture of Ali, Barnard and Solynin \cite{AliBarSoly}. In fact, we solve this problem in a more general setting. Then we discuss Bohr's radius for the class of analytic functions $g$, when $g$ is subordinate to a member of the class of odd univalent functions.

研究动机与目标

• 解决阿里、巴纳德和索利宁关于单位圆盘内有界模为1的奇解析函数的博赫半径的猜想。
• 将博赫不等式推广至 $ p $-对称函数，其中 $ f(z) = z\sum_{k=0}^\infty a_{pk+1}z^{pk} $，并推导出精确半径 $ r_p $。
• 为亚纯于奇单芽函数的函数建立新的博赫半径，由于奇单芽函数缺乏精确的系数界，系数估计方法不足。
• 利用罗戈辛斯基定理和 $ \ell^2 $-范数估计，为奇单芽函数中系数绝对值之和提供精确上界。

提出的方法

• 利用 $ f(z) $ 的 $ p $-对称结构，导出特征方程：$ -6r^{p-1} + r^{2(p-1)} + 8r^{2p} + 1 = 0 $，其在 $ (0,1) $ 内的最大正根即为博赫半径 $ r_p $。
• 构造形如 $ z(z^p - a)/(1 - a z^p) $ 的极值函数，其中 $ a $ 由 $ r_p $ 确定，以验证精确性。
• 应用亚纯性理论：若 $ g \prec f $，则 $ g(z) = f(w(z)) $，其中 $ w(0) = 0 $，$ |w(z)| < 1 $，并利用施瓦茨引理控制 $ |g'(0)| $。
• 利用 $ \ell^2 $-范数估计 $ \sum_{k=1}^n |a_{2k-1}|^2 \leq n $ 对奇单芽函数成立，从而导出 $ \sum |a_{2k-1}| r^{2k-1} \leq \frac{r}{1 - r^2} $。
• 对 $ \sum |b_k| r^k $ 应用柯西-施瓦茨不等式，得到 $ \sum |b_k| r^k \leq \frac{r}{(1 - r)\sqrt{1 + r}} $，当 $ r^3 - 2r^2 - r + 1 \geq 0 $ 时该式 $ \leq 1 $。
• 通过约束优化 $ \psi(x,y) $ 改进该界，得到优化后的半径 $ r \approx 0.564 $，并证明上界 $ (\sqrt{5} - 1)/2 \approx 0.618 $ 对于 $ f(z) = z/(1 - z^2) $ 是精确的。

实验结果

研究问题

• RQ1 对于满足 $ |f(z)| \leq 1 $ 的奇解析函数类，其精确博赫半径是多少？
• RQ2 博赫不等式能否推广至 $ p $-对称函数？对应的博赫半径 $ r_p $ 是多少？
• RQ3 对于亚纯于奇单芽函数 $ f $ 的函数 $ g $，其博赫半径是多少？由于奇单芽函数缺乏精确的系数界，系数估计方法不足。
• RQ4 能否通过系数范数的约束优化，将博赫半径改进至 $ r > 0.564 $？
• RQ5 半径 $ (\sqrt{5} - 1)/2 \approx 0.618 $ 对于满足 $ a_1 = 1 $ 的奇单芽函数类是否为精确上界？

主要发现

• 满足 $ |f(z)| \leq 1 $ 的奇解析函数的博赫半径精确为 $ r_2 = 0.789991\ldots $，证实了阿里、巴纳德和索利宁的猜想。
• 对于 $ p $-对称函数，博赫半径 $ r_p $ 是方程 $ -6r^{p-1} + r^{2(p-1)} + 8r^{2p} + 1 = 0 $ 在 $ (0,1) $ 内的最大正根，极值函数为 $ z(z^p - a)/(1 - a z^p) $。
• 对于亚纯于奇单芽函数 $ f $ 的函数 $ g $，其博赫半径至少为 $ r \approx 0.564 $，优于由 $ r^3 - 2r^2 - r + 1 \geq 0 $ 得到的初始界。
• 上界 $ (\sqrt{5} - 1)/2 \approx 0.618 $ 对于满足 $ a_1 = 1 $ 的奇单芽函数类是精确的，且在 $ f(z) = z/(1 - z^2) $ 处达到。
• 对于满足 $ |a_1| = \alpha \leq 1 $ 的奇单芽函数，博赫半径为 $ r\_\alpha = \frac{-\alpha + \sqrt{4 + \alpha^2}}{2} $，极值函数为 $ \alpha z / (1 - z^2) $。
• 不等式 $ \sum |a_{2k-1}| r^{2k-1} \leq \frac{r}{1 - r^2} $ 对奇单芽函数成立，其推导基于 $ \ell^2 $-范数约束与罗戈辛斯基定理。