[论文解读] Fully Starlike and Convex Harmonic Mappings of order \alpha

Sumit Nagpal, V. Ravichandran|arXiv (Cornell University)|Jul 17, 2012

Analytic and geometric function theory参考文献 9被引用 8

一句话总结

本文引入了全星状与全凸谐映射的阶 α（0 ≤ α < 1）概念，以解决单芽谐映射中遗传凸性与星状性的失效问题。研究建立了某些谐映射族的全星状与全凸阶 α 的最优半径界限，并证明两个单芽谐凸映射的卷积在由非线性方程的根决定的特定圆盘半径内仍保持阶 α 的全凸性。

ABSTRACT

The hereditary property of convexity and starlikeness for conformal mappings does not generalize to univalent harmonic mappings. This failure leads us to the notion of fully starlike and convex mappings of order \\alpha, (0\\leq \\alpha&lt;1). A bound for the radius of fully starlikeness and fully convexity of order \\alpha is determined for certain families of univalent harmonic mappings. Convexity is not preserved under the convolution of univalent harmonic convex mappings, unlike in the analytic case. Given two univalent harmonic convex mappings f and g, the problem of finding the radius r_{0} such that f*g is a univalent harmonic convex mapping in |z|&lt;r_{0}, is being considered.

研究动机与目标

• 为解决单芽谐映射中凸性与星状性的非遗传性问题，该问题在解析函数中不成立。
• 定义并研究阶 α 的全星状与全凸谐映射的新类，确保子圆盘像保持星状或凸性。
• 确定最优半径 r₀，使得两个单芽谐凸映射 f, g ∈ ℋ₀ᴷ 的卷积 f*g 在 |z| < r₀ 内保持阶 α 的全凸性。
• 利用极值函数与系数条件，建立全星状与全凸性的最优半径估计。
• 基于谐半平面映射 L 的极值行为，推测卷积 f*g 在 |z| < 2−√3 内为全凸，该推测基于观察到的极值行为。

提出的方法

• 引入阶 α 的全星状与全凸谐映射的概念，以恢复谐映射中丧失的遗传几何性质。
• 使用两个谐映射 f = h + ḡ 与 g = h̃ + g̃̄ 的卷积（Hadamard 积）分析子圆盘中的单芽性与几何性质。
• 推导出阶 α 的全凸性半径 s₀(α) 的关键方程（4.2）：2(1−α)(1−r)⁵ + α(1+r)(1−r)² − (1+r)(r²+4r+1) = 0。
• 推导出阶 α 的全星状性半径 r₀(α) 的第二个关键方程（4.3）：12(1−α)(1−r)⁵ + α(r²+3r+6)(1−r)² − 6(1+r)³ = 0。
• 利用极值函数（如谐 Koebe 函数 K(z) 和谐半平面映射 L(z)）证明半径估计的最优性。
• 通过分析参数变化 ∂/∂θ(arg f(re^{iθ})) 确定 |z|=r 的像何时为星状或凸性，利用 θ=0 处的导数条件。

实验结果

研究问题

• RQ1 解析函数中成立的凸性与星状性的遗传性质，是否可在谐映射中恢复？
• RQ2 使得两个单芽谐凸映射 f, g ∈ ℋ₀ᴷ 的卷积 f*g 在 |z| < r₀ 内保持阶 α 的全凸性的最大圆盘 |z| < r₀ 是什么？
• RQ3 对于满足系数界限 |aₙ| ≤ (1/12)(n+1)²(2n+1) 与 |bₙ| ≤ (1/12)(n−1)²(2n−1) 的谐映射 f = h + ḡ，其全星状阶 α 的最优半径 r₀(α) 是多少？
• RQ4 基于映射 L 的极值行为，是否可推测卷积 f*g 在 |z| < 2−√3 内为全凸，且该半径为最优？
• RQ5 f₀(z) = 2z − (L*L)(z) 的雅可比行列式与参数变化如何确认全凸性半径估计 s₀(α) 的最优性？

主要发现

• 卷积 f*g 的阶 α 全凸性半径由方程（4.2）的实根 s₀(α) 给出，当 α = 0 时，s₀(0) ≈ 0.0712543。
• 阶 α 全星状性半径由方程（4.3）的实根 r₀(α) 给出，当 α = 0 时，r₀(0) ≈ 0.0855165。
• 全凸性结果为最优，由极值函数 f₀(z) = 2z − (L*K)(z) 证实，其雅可比行列式在 r = s₀(0) 处为零。
• 在 θ = 0 且 r = r₀(0) 时，f₀ 的参数变化等于 α，证实了星状性半径估计的最优性。
• 两个属于 ℋ₀ᴷ 的映射的卷积 f*g 在 |z| < s₀(α) 内为单芽且阶 α 的全凸性，其中 s₀(0) ≈ 0.0712543。
• 推测 f*g 在 |z| < 2−√3 ≈ 0.2679 内为全凸，该值大于当前界限 s₀(0) ≈ 0.0712543，表明存在改进空间。