[论文解读] Coefficient Conditions for Harmonic Univalent Mappings and Hypergeometric Mappings

S. V. Bharanedhar, Saminathan Ponnusamy|arXiv (Cornell University)|Sep 5, 2011

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

一句话总结

本文通过使用高斯超几何函数构造显式例子，建立了调和单芽映射为拟凸及完全星形的系数条件。通过泰勒系数的 l1-范数估计，给出了充分条件，从而导出了新的拟凸与星形调和多项式类。

ABSTRACT

In this paper, we obtain coefficient criteria for a normalized harmonic function defined in the unit disk to be close-to-convex and fully starlike, respectively. Using these coefficient conditions, we present different classes of harmonic close-to-convex (resp. fully starlike) functions involving Gaussian hypergeometric functions. In addition, we present a convolution characterization for a class of univalent harmonic functions discussed recently by Mocanu, and later by Bshouty and Lyzzaik in 2010. Our approach provide examples of harmonic polynomials that are close-to-convex and starlike, respectively.

研究动机与目标

• 推导确保单位圆盘内归一化调和函数为拟凸或完全星形的系数准则。
• 将经典解析系数条件（如星形性条件）扩展至调和情形。
• 利用高斯超几何函数构造显式调和多项式族，使其为拟凸或完全星形。
• 为最近由 Mocanu 和 Bshouty–Lyzzaik 研究的单芽调和类提供卷积刻画。
• 证明通过超几何积分定义的某些调和映射属于类 $\mathcal{C}_H^1$ 和 $\mathcal{S}_H^{*0}$

提出的方法

• 利用解析部分与共解析部分的泰勒系数的 $\ell^1$-范数推导充分系数条件。
• 应用引理 A，即若 $\sum n|a_n| + \sum n|b_n| \leq 1$，则 $f = h + \overline{g} \in \mathcal{C}_H^1$。
• 利用高斯超几何函数 $F(a,b;c;z)$ 的积分表示来定义共解析部分 $g(z)$。
• 运用恒等式 $abF(a+1,b+1;c+1;z) = cF'(a,b;c;z)$ 将超几何积分与系数表达式关联。
• 应用已知的超几何函数恒等式与特殊函数不等式（如伽马函数相关）来界定系数和的上界。
• 使用卷积（Hadamard 积）技术刻画单芽调和映射。

实验结果

研究问题

• RQ1 调和函数泰勒级数的哪些系数条件可确保其在单位圆盘内为拟凸？
• RQ2 星形性系数条件能否从解析情形推广至调和映射，特别是对完全星形映射？
• RQ3 通过高斯超几何函数定义的哪些调和多项式类是单芽且拟凸的？
• RQ4 如何应用单芽调和函数的卷积刻画来构造新例子？
• RQ5 在何种参数约束下，超几何积分调和映射属于 $\mathcal{C}_H^1 \cap \mathcal{S}_H^{*0}$？

主要发现

• 系数条件 $\sum_{n=2}^\infty n|a_n| + \sum_{n=1}^\infty n|b_n| \leq 1$ 确保 $f = h + \overline{g} \in \mathcal{C}_H^1$，即拟凸调和映射类。
• 对于 $f(z) = z + \overline{\alpha \int_0^z F(a,b;c;t)\,dt}$，若 $|\alpha| \leq \frac{\Gamma(c)\Gamma(c-a-b)}{\Gamma(c-a)\Gamma(c-b)}$，则当 $c > \mathrm{Re}(a+b)$ 时，有 $f \in \mathcal{C}_H^1$。
• 映射 $f(z) = z + \overline{\alpha c/(ab) [F(a,b;c;z) - 1]}$ 属于 $\mathcal{C}_H^1$，若 $|\alpha| \leq \frac{\Gamma(c+1)\Gamma(c-a-b-1)}{\Gamma(c-a)\Gamma(c-b)}$ 且 $c > \mathrm{Re}(a+b)+1$。
• 对于 $f(z) = z + \overline{[\alpha c/(ab)] z (F(a,b;c;z) - 1)}$，若 $|\alpha| \frac{\Gamma(c+1)\Gamma(c-a-b-1)}{\Gamma(c-a)\Gamma(c-b)} \left(1 + \frac{c-a-b-1}{ab}\right) \leq 1 + \left|\alpha\right| \frac{c}{ab}$，则 $f \in \mathcal{C}_H^1 \cap \mathcal{S}_H^{*0}$ 且为完全星形。
• 对于 $f(z) = z + \overline{\alpha z^k \sum_{n=0}^m \binom{m}{n} \frac{(m-n+1,n)}{(c,n)} \frac{z^{n+1}}{n+1}}$，$k \in \{0,1\}$，在 $c$ 与 $|\alpha|$ 的充分条件下，可保证其属于 $\mathcal{C}_H^1$ 或 $\mathcal{C}_H^1 \cap \mathcal{S}_H^{*0}$。
• 示例：当 $m=2$ 时，若 $c \geq \frac{24|\alpha| - 3 + \sqrt{-48|\alpha|^2 + 168|\alpha| + 9}}{6(1 - 2|\alpha|)}$ 且 $0 < |\alpha| < 1/2$，则 $f(z) = z + \overline{\alpha (z^2 + \frac{2}{c}z^3 + \frac{2}{c(c+1)} \frac{z^4}{3})} \in \mathcal{C}_H^1 \cap \mathcal{S}_H^{*0}$。