[论文解读] Radius of fully starlikeness and fully convexity of harmonic linear differential operator

Zhihong Liu, Saminathan Ponnusamy|arXiv (Cornell University)|Aug 13, 2017

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

一句话总结

本文在调和Bieberbach猜想与凸函数理论的系数条件下，确定了调和线性微分算子 $ D_f^\rho $ 及其凸组合 $ F_\rho(z) = (1-\rho)f + \rho D_f^\rho $ 的单性、完全星形性与完全凸性的精确半径。关键结果通过求解 $ (0,1) $ 区间内的特定多项式方程，给出了精确半径，并通过极值函数验证了结果的精确性。

ABSTRACT

Let $f=h+\overline{g}$ be a normalized harmonic mapping in the unit disk $\ID$. In this paper, we obtain the sharp radius of univalence, fully starlikeness and fully convexity of the harmonic linear differential operators $D_f^ε=zf_{z}-ε\overline{z}f_{\overline{z}}~(|ε|=1)$ and $F_λ(z)=(1-λ)f+λD_f^ε~(0\leqλ\leq 1)$ when the coefficients of $h$ and $g$ satisfy harmonic Bieberbach coefficients conjecture conditions. Similar problems are also solved when the coefficients of $h$ and $g$ satisfy the corresponding necessary conditions of the harmonic convex function $f=h+\overline{g}$. All results are sharp. Some of the results are motivated by the work of Kalaj et al. \cite{Kalaj2014} (Complex Var. Elliptic Equ. 59(4) (2014), 539--552).

研究动机与目标

• 确定在调和Bieberbach系数条件下，调和线性微分算子 $ D_f^\rho $ 及其凸组合 $ F_\rho $ 的单性、完全星形性与完全凸性的精确半径。
• 通过利用调和Bieberbach猜想与调和凸函数理论的系数不等式，将解析函数的已知结果推广至调和情形。
• 通过构造在系数界中取等的极值函数，建立所导出半径的精确性。
• 通过在凸组合 $ F_\rho $ 中引入参数 $ \rho $，推广先前关于 $ \rho $-凸调和映射的结果。

提出的方法

• 定义调和线性微分算子 $ D_f^\rho = z f_z - \rho \overline{z} f_{\overline{z}} $，其中 $ |\rho| = 1 $，以及凸组合 $ F_\lambda(z) = (1-\lambda)f + \lambda D_f^\rho $，其中 $ 0 \leq \lambda \leq 1 $。
• 应用调和Bieberbach猜想的系数条件：$ |a_n| \leq \frac{1}{6}(2n+1)(n+1) $，$ |b_n| \leq \frac{1}{6}(2n-1)(n-1) $，且 $ ||a_n| - |b_n|| \leq n $，对所有 $ n \geq 2 $ 成立。
• 利用条件 $ \operatorname{Re}(h'(z)) > |g'(z)| $ 定义类 $ \mathcal{K}_H^2(\lambda) $，以确保单性与完全星形性。
• 推导出包含 $ \sum (1-\lambda + \lambda n)n(|a_n| + |b_n|)r^{n-1} \leq 1 $ 的充分系数不等式，该不等式可简化为在 $ r \in (0,1) $ 内求解多项式方程。
• 通过构造满足系数界中等号成立且在半径 $ r_v $ 之前雅可比行列式 $ J_{f_0}(r) > 0 $ 的极值函数 $ f_0 = h_0 + \overline{g_0} $，建立精确性。
• 通过验证雅可比表达式 $ J_{f_0}(r) = \frac{1+|b_1|}{(1-r)^3} \left[ (1+c-|b_1|)(1-r)^3 - c(1 + (2\lambda - 1)r) \right] $ 在半径 $ r_v $ 处为零，确认精确性。

实验结果

研究问题

• RQ1 在调和Bieberbach系数条件下，调和线性微分算子 $ D_f^\rho $ 的单性、完全星形性与完全凸性的精确半径是多少？
• RQ2 与原函数 $ f $ 相比，凸组合 $ F_\lambda(z) = (1-\lambda)f + \lambda D_f^\rho $ 如何影响完全星形性与凸性的半径？
• RQ3 给定系数界 $ |a_n| + |b_n| \leq \frac{n+1}{2} + \frac{n-1}{2} = n^2 $，是否存在精确半径 $ r_c $，使得 $ F_\lambda(z) $ 为完全星形且属于 $ \mathcal{K}_H^2(\lambda) $？
• RQ4 当 $ |b_1| < 1 $ 且 $ |a_n| + |b_n| \leq c $ 时，完全星形性的半径能否显式确定？其半径方程的函数形式是什么？
• RQ5 所导出的半径是否精确？能否构造极值函数以确认界边界的精确性？

主要发现

• 在调和Bieberbach系数条件下，$ F_\lambda(z) $ 的完全星形性半径为方程 $ 1 - 4(2+\lambda)r + (13-2\lambda)r^2 - 8r^3 + 2r^4 = 0 $ 的最小正实根，且该结果是精确的。
• 当 $ \lambda = 0 $ 时，半径退化为方程 $ 1 - 7r + 6r^2 - 2r^3 = 0 $ 的根，与 Kalaj 等人 [9] 对 $ \mathcal{K}_H^1 $ 的结果一致，验证了结果的一致性。
• 当 $ \lambda = 1 $ 时，半径方程简化为 $ 1 - 4r + 5r^2 - 8r^3 + 2r^4 = 0 $，对应于 $ D_f^\rho $ 的半径，且结果是精确的。
• 对于一般系数界 $ |a_n| + |b_n| \leq c $ 且 $ |b_1| < 1 $ 的情形，半径 $ r_v $ 为方程 $ \Phi_{c,|b_1|,\lambda}(r) = (1+c-|b_1|)(1-r)^3 - c[1 + (2\lambda - 1)r] = 0 $ 的最小正实根，且该结果是精确的。
• 极值函数 $ f_0 = h_0 + \overline{g_0} $，其中 $ h_1(z) = z - \frac{c}{2}\frac{z^2}{1-z} $，$ g_1(z) = -|b_1|z - \frac{c}{2}\frac{z^2}{1-z} $，通过 $ J_{f_0}(r) > 0 $ 对所有 $ r < r_v $ 成立，确认了精确性。
• 结果推广了先前关于 $ \mathcal{K}_H^1 $ 与 $ \mathcal{K}_H^2(\lambda) $ 的研究，并统一了在直线微分算子下全星形与全凸调和映射的研究。