[论文解读] Coefficient problems on the class $U(\lambda)$

Saminathan Ponnusamy, Karl‐Joachim Wirths|arXiv (Cornell University)|Sep 19, 2017

Analytic and geometric function theory参考文献 5被引用 3

一句话总结

本文研究了单芽函数类 $\mathcal{U}(\lambda)$ 的系数问题，给出了 $|a_n|$ 的非精确上界，并显式求解了第二系数问题。通过次序关系与罗戈辛斯基定理，推导出 $|a_n| \leq 1 + \lambda\sqrt{n-1}\sqrt{\sum_{k=0}^{n-2}\lambda^{2k}}$，并利用与 $|\omega(z)| \leq 1$ 且 $\omega(0) = a$ 相关的极值函数，证明了 $a_2$ 的精确上界。该研究推进了 $\mathcal{U}(\lambda)$ 中系数估计的开放猜想。

ABSTRACT

For $0<\\lambda \\leq 1$, let ${\\mathcal U}(\\lambda)$ denote the family of functions $f(z)=z+\\sum_{n=2}^{\\infty}a_nz^n$ analytic in the unit disk $\\ID$ satisfying the condition $\\left |\\left (\\frac{z}{f(z)}\ ight )^{2}f'(z)-1\ ight |<\\lambda $ in $\\ID$. Although functions in this family are known to be univalent in $\\ID$, the coefficient conjecture about $a_n$ for $n\\geq 5$ remains an open problem. In this article, we shall first present a non-sharp bound for $|a_n|$. Some members of the family ${\\mathcal U}(\\lambda)$ are given by $$ \\frac{z}{f(z)}=1-(1+\\lambda)\\phi(z) + \\lambda (\\phi(z))^2 $$ with $\\phi(z)=e^{i\ heta}z$, that solve many extremal problems in ${\\mathcal U}(\\lambda)$. Secondly, we shall consider the following question: Do there exist functions $\\phi$ analytic in $\\ID$ with $|\\phi (z)|<1$ that are not of the form $\\phi(z)=e^{i\ heta}z$ for which the corresponding functions $f$ of the above form are members of the family ${\\mathcal U}(\\lambda)$? Finally, we shall solve the second coefficient ($a_2$) problem in an explicit form for $f\\in {\\mathcal U}(\\lambda)$ of the form $$f(z) =\\frac{z}{1-a_2z+\\lambda z\\int_0^z\\omega(t)\\,dt}, $$ where $\\omega$ is analytic in $\\ID$ such that $|\\omega(z)|\\leq 1$ and $\\omega(0)=a$, where $a\\in \\overline{\\ID}$.

研究动机与目标

• 为 $\mathcal{U}(\lambda)$ 的开放系数猜想提供解决，特别是当 $n \geq 5$ 时，其中 $|a_n| \leq \sum_{k=0}^{n-1} \lambda^k$ 尚未被证明。
• 通过次序关系与经典不等式，为 $\mathcal{U}(\lambda)$ 中的 $|a_n|$ 建立一个非精确但显式的上界。
• 研究是否存在解析函数 $\phi$ 满足在 $\mathbb{D}$ 内 $|\phi(z)| < 1$，且不为 $\phi(z) = e^{i\theta}z$ 的形式，使得通过表示式 $\frac{z}{f(z)} = 1 - (1+\lambda)\phi(z) + \lambda(\phi(z))^2$ 生成 $\mathcal{U}(\lambda)$ 中的成员。
• 显式求解 $f \in \mathcal{U}(\lambda)$ 中形式为 $f(z) = z / \left(1 - a_2 z + \lambda z \int_0^z \omega(t) dt\right)$ 的第二系数问题，其中 $|\omega(z)| \leq 1$ 且 $\omega(0) = a$。

提出的方法

• 使用次序理论：$f \in \mathcal{U}(\lambda)$ 意味着 $\frac{f(z)}{z} \prec \frac{1}{(1-z)(1-\lambda z)}$，从而通过罗戈辛斯基定理进行系数比较。
• 对由次序关系导出的幂级数系数乘积应用柯西-施瓦茨不等式，得到上界 $|a_{n+1}| \leq 1 + \sqrt{n} \sqrt{\sum_{k=1}^n \lambda^{2k}}$。
• 通过 $\omega(z) = \frac{a + z\varphi(z)}{1 + \overline{a}z\varphi(z)}$ 表示 $\omega(z)$，其中 $|\varphi(z)| \leq 1$，从而通过次序关系到 $B_a(z)$ 分析 $\int_0^z \omega(t) dt$。
• 显式定义 $B_a(z)$ 对于 $a \in \overline{\mathbb{D}}$，并利用其边界值通过 $|a_2| \leq 1 + \lambda \max_{t \in [0,2\pi]} |B_a(e^{it})|$ 来界定 $|a_2|$。
• 通过构造极值 $\omega(z)$ 并验证对应 $f$ 的分母无零点，证明该上界的精确性。
• 利用 $C_\omega(z) = \frac{1}{z} + \lambda \int_0^z \omega(t) dt$ 在 $\overline{\mathbb{D}}$ 上单芽的性质，得出 $a_2 \in \bigcup_{\omega(0)=a} A_2(\omega)$，其中 $A_2(\omega)$ 是 $\mathbb{C} \setminus C_\omega(\partial\mathbb{D})$ 的有界连通分支。

实验结果

研究问题

• RQ1 是否存在非线性分式变换 $\phi(z) = e^{i\theta}z$，使得 $\frac{z}{f(z)} = 1 - (1+\lambda)\phi(z) + \lambda(\phi(z))^2$ 生成 $f \in \mathcal{U}(\lambda)$？
• RQ2 能否通过次序关系与系数估计，将系数猜想 $|a_n| \leq \sum_{k=0}^{n-1} \lambda^k$ 推广至 $n > 4$？
• RQ3 当 $f$ 由满足 $|\omega(z)| \leq 1$ 且 $\omega(0) = a$ 的 $\omega(z)$ 参数化时，$|a_2|$ 的精确最优上界是什么？
• RQ4 对于任意 $n \geq 2$，不等式 $|a_n| \leq 1 + \lambda\sqrt{n-1}\sqrt{\sum_{k=0}^{n-2}\lambda^{2k}}$ 是否为精确上界？
• RQ5 能否从 $\omega(z)$ 满足 $\omega(0) = a$ 的极值函数显式构造出使上界取等的 $a_2$？

主要发现

• 建立了 $|a_n|$ 的非精确上界：对于 $n \geq 2$，有 $|a_n| \leq 1 + \lambda\sqrt{n-1}\sqrt{\sum_{k=0}^{n-2}\lambda^{2k}}$，该结果通过次序关系与柯西-施瓦茨不等式推导得出。
• $a_2$ 满足 $|a_2| \leq 1 + \lambda \max_{t \in [0,2\pi]} |B_a(e^{it})|$，且对特定 $\omega(z)$ 可达等号，证明了该上界的精确性。
• 对于 $a \in \mathbb{D} \setminus \{0\}$，定义 $B_a(z) = \frac{1}{z} \int_0^z \frac{a + t}{1 + \overline{a}t} dt$；当 $a = 0$ 时，$B_0(z) = \frac{1}{2}$；当 $|a| = 1$ 时，$B_a(z) = a$。
• 通过设定 $\omega(z) = \frac{a + z e^{i\psi}}{1 + \overline{a} z e^{i\psi}}$ 并选择 $a_2 = e^{-i\theta} + \lambda e^{i\theta} B_a(e^{it_0})$，其中 $t_0$ 是使 $|B_a(e^{it})|$ 最大的点，构造出达到上界的极值函数。
• $f(z) = z/D(z)$ 的分母 $D(z)$ 在 $\mathbb{D}$ 内恰好有一个零点，确保 $f \in \mathcal{U}(\lambda)$，从而验证了极值构造的有效性。
• 本文确认了 $a_2$ 的上界是精确的，并通过 $C_\omega$ 在 $\partial\mathbb{D}$ 上的像，完整刻画了可能的 $a_2$ 值集合。