[论文解读] Bohr operator on analytic functions

Yusuf Abu-Muhanna, Rosihan M. Ali+1 more|arXiv (Cornell University)|Dec 26, 2019

Advanced Banach Space Theory参考文献 26被引用 6

一句话总结

本文引入了一个基于范数理论的框架，用于单位圆盘内解析函数上的Bohr算子 $\mathcal{M}_r(f) = \sum_{n=0}^\infty |a_n|r^n$，在次序与准次序条件下建立了精确不等式。证明了若 $f \prec h$，则当 $|z| \leq 1/3$ 时有 $\mathcal{M}_r(f) \leq \mathcal{M}_r(h)$，并针对 $k$-阶截断部分在半径 $1/2$ 和 $1/3$ 处给出了类似界，同时还推导出关于Schwarz函数的von Neumann型不等式。

ABSTRACT

For $f(z) = \sum_{n=0}^{\infty} a_n z^n$ and a fixed $z$ in the unit disk, $|z| = r,$ the Bohr operator $\mathcal{M}_r$ is given by \[\mathcal{M}_r (f) = \sum_{n=0}^{\infty} |a_n| |z^n| = \sum_{n=0}^{\infty} |a_n| r^n.\] This papers develops normed theoretic approaches on $\mathcal{M}_r$. Using earlier results of Bohr and Rogosinski, the following results are readily established: if $f(z)=\sum_{n=0}^{\infty} a_{n}z^{n}$ is subordinate (or quasi-subordinate) to $h(z)=\sum_{n=0}^{\infty} b_{n}z^{n}$ in the unit disk, then \[\mathcal{M}_{r}(f) \leq \mathcal{M}_{r}(h), \quad 0 \leq r \leq 1/3,\] that is, \[\sum_{n=0}^{\infty} \ | a_{n}\ | |z|^{n} \leq \sum_{n=0}^{\infty} \ | b_{n}\ |t |z|^{n}, \quad 0 \leq |z| \leq 1/3. \] Further, each $k$-th section $s_k(f) = a_0 + a_1 z + \cdots + a_kz^k$ satisfies \[\ | s_k(f)\ | \leq \mathcal{M}_r \ ( s_k(h)\ ), \quad 0 \leq r \leq 1/2,\] and \[\mathcal{M}_{r}\ ( s_{k}(f) \ ) \leq \mathcal{M}_{r}(s_{k}(h)), \quad 0 \leq r \leq 1/3.\] A von Neumann-type inequality is also obtained for the class consisting of Schwarz functions in the unit disk.

研究动机与目标

• 为单位圆盘内解析函数上的Bohr算子 $\mathcal{M}_r$ 建立范数理论方法。
• 将经典的Bohr与Rogosinski半径结果推广至次序与准次序的语境。
• 为解析函数的部分和（截断部分）上的Bohr算子建立精确界。
• 利用 $\mathcal{M}_r$ 算子为Schwarz函数推导von Neumann型不等式。
• 通过算子理论方法统一并推广先前关于控制与系数估计的结果。

提出的方法

• 定义了单位圆盘内满足 $|z| = r < 1$ 的解析函数的Bohr算子 $\mathcal{M}_r(f) = \sum_{n=0}^\infty |a_n|r^n$，将其视为解析函数Banach代数上的范数。
• 证明算子 $\mathcal{M}_r$ 满足次可加性、齐次性与次乘性，从而确立其为Banach代数范数。
• 利用Bohr与Rogosinski的早期结果，证明当 $f \prec h$ 时，$\mathcal{M}_r(f) \leq \mathcal{M}_r(h)$ 对于 $r \leq 1/3$ 成立，借助控制与系数估计。
• 对于 $k$-阶截断部分 $s_k(f)$，应用Rogosinski定理与Schwarz函数的性质，推导出当 $r \leq 1/2$ 时有 $|s_k(f)| \leq \mathcal{M}_r(s_k(h))$，且当 $r \leq 1/3$ 时有 $\mathcal{M}_r(s_k(f)) \leq \mathcal{M}_r(s_k(h))$。
• 通过控制与 $\ell^1$-范数控制，推导出关于 $\mathcal{M}_r(h(\varphi)) \leq \|h\|_\infty$ 的von Neumann型不等式，其中 $r \leq 1/3$ 且 $\varphi$ 为任意Schwarz函数。
• 证明依赖于次序关系 $f(z) = h(\varphi(z))$ 以及单位圆盘内 $\varphi$ 的有界性，结合对 $\mathcal{M}_r(\varphi^n)$ 的估计。

实验结果

研究问题

• RQ1 当 $f$ 次序于 $h$ 时，$\mathcal{M}_r(f) \leq \mathcal{M}_r(h)$ 在何种条件下成立？
• RQ2 在次序关系下，使得 $\mathcal{M}_r(s_k(f)) \leq \mathcal{M}_r(s_k(h))$ 成立的最优半径 $r$ 是多少？
• RQ3 能否为Bohr算子 $\mathcal{M}_r$ 与Schwarz函数复合的情形建立von Neumann型不等式？
• RQ4 在次序关系下，$|s_k(f)|$ 与 $\mathcal{M}_r(s_k(f))$ 的界与 $\mathcal{M}_r(s_k(h))$ 的界相比如何？
• RQ5 当 $f$ 准次序于 $h$ 时，控制结果的精确半径是多少？

主要发现

• 若 $f \prec h$，则对所有 $r \leq 1/3$ 有 $\mathcal{M}_r(f) \leq \mathcal{M}_r(h)$，且等式成立仅当 $f$ 与 $h$ 为常数倍关系。
• 对于 $k$-阶截断部分 $s_k(f)$，当 $r \leq 1/2$ 时有 $|s_k(f)| \leq \mathcal{M}_r(s_k(h))$，将Rogosinski半径推广至截断部分的控制关系。
• 不等式 $\mathcal{M}_r(s_k(f)) \leq \mathcal{M}_r(s_k(h))$ 在 $r \leq 1/3$ 时成立，确认Bohr半径为系数范数控制的精确阈值。
• von Neumann型不等式成立：对所有Schwarz函数 $\varphi$ 及 $r \leq 1/3$，有 $\mathcal{M}_r(h(\varphi)) \leq \|h\|_\infty$，将算子范数与函数空间联系起来。
• 对于单芽函数 $h$，分别在 $r \leq 1/2$ 和 $r \leq 1/3$ 时，建立了界 $|s_k(f)| \leq |b_0| + \frac{k(k+1)}{2}|b_1|$ 与 $\mathcal{M}_r(s_k(f)) \leq |b_0| + \frac{k(k+1)}{2}|b_1|$，其中使用了de Branges关于系数的定理。
• 结果是精确的：半径 $1/3$ 与 $1/2$ 无法进一步改进，这由Bohr与Rogosinski的经典极值例子所证实。