[论文解读] Uniform close-to-convexity radius of sections of functions in the close-to-convex family

S. V. Bharanedhar, Saminathan Ponnusamy|arXiv (Cornell University)|Jan 25, 2014

Analytic and geometric function theory参考文献 16被引用 11

一句话总结

本文证明了在由条件 Re(1 + zf''(z)/f'(z)) > -1/2 定义的紧致凸函数族 𝒻 中，函数的每一部分在 |z| < 1/3 内是单芽的，从而证实了 Ponnusamy 等人提出的猜想。证明过程运用了次序关系、实部估计以及三角多项式的极值分析，建立了部分和导数实部的统一下界。

ABSTRACT

The authors consider the class $\F$ of normalized functions $f$ analytic in the unit disk $\ID$ and satisfying the condition $${ m Re}\left(1+\frac{zf''(z)}{f'(z)} ight)&gt;-\frac{1}{2},\quad z\in\D. $$ Recently, Ponnusamy et al. \cite{samy-hiroshi-swadesh} have shown that $1/6$ is the uniform sharp bound for the radius of convexity of every section of each function in the class $\F$. They conjectured that $1/3$ is the uniform univalence radius of every section of $f\in \F$. In this paper, we solve this conjecture affirmatively.

研究动机与目标

• 解决 Ponnusamy 等人提出的猜想，即 𝒻 类中函数部分和的统一单芽半径为 1/3。
• 建立 𝒻 类函数部分和导数实部的统一下界。
• 证明对所有 n ≥ 4，𝑓 ∈ 𝒻 的每一部分 sₙ(f) 在 |z| < 1/3 内是单芽的。
• 将先前关于部分和的凸性与单星性半径结果推广至更广泛的紧致凸函数类。
• 提供单芽性的精确统一界，优于早期估计如 1/4 和 1/6

提出的方法

• 利用从 f′(z) 的定义条件导出的次序关系 f′(z) ≺ 1/(1−z)³（𝑓 ∈ 𝒻）。
• 应用最大值原理分析 |z| = 1/3 边界上的 Re(sₙ′(z))，将问题简化为对 f′(z) 和误差项 σₙ′(z) 的实部进行有界控制。
• 通过参数化 z = (1/3)e^{iθ}，计算 Re(1/(1−z)³) 在 |z| = 1/3 上的最小值，并最小化所得三角表达式。
• 使用三角优化方法证明 min_{θ,ϕ} T(θ,ϕ) > 0，其中 T 涉及 θ 和 ϕ 的余弦项，从而验证单芽性的关键不等式。
• 利用引理 (c) 中的已知界限估计 |σₙ′(z)| 在 |z| = 1/3 上的大小，证明其有界于 k(n) = −1/(8·3^{n−1})[2n² + 8n + 9]。
• 结合 Re(f′(z)) ≥ 27/64 的下界与 |σₙ′(z)| 的上界，证明对所有 n ≥ 4，有 Re(sₙ′(z)) > 145/1728 > 0

实验结果

研究问题

• RQ1 1/3 是否为 𝒻 类中所有函数部分和 sₙ(f) 的精确统一单芽半径？
• RQ2 紧致凸族中部分和的统一单芽半径能否优于 1/4 或 1/6？
• RQ3 条件 Re(1 + zf''(z)/f'(z)) > -1/2 是否蕴含对所有 n ≥ 4，sₙ(f) 在 |z| < 1/3 内是单芽的？
• RQ4 对于 𝒻 类中的 f，Re(sₙ′(z)) 在 |z| = 1/3 上的最优下界是多少？能否证明其关于 n 一致为正？
• RQ5 能否通过次序关系与三角优化控制部分和导数的极值行为？

主要发现

• 本文确认 1/3 是 𝒻 类中所有函数部分和 sₙ(f) 的统一单芽半径，解决了 Ponnusamy 等人的猜想。
• 对所有 n ≥ 4，在 |z| = 1/3 上有 Re(sₙ′(z)) > 145/1728 > 0，确保了单芽性。
• 在 |z| = 1/3 上，Re(f′(z)) 的最小值有下界 27/64，该结果由次序关系 f′(z) ≺ 1/(1−z)³ 推导得出。
• 误差项 |σₙ′(z)| 的上界为 k(n) = −1/(8·3^{n−1})[2n² + 8n + 9]，且当 n ≥ 4 时该界单调递增。
• 三角表达式 T(θ,ϕ) = 1 + cosθ + (1/2)cos2θ + (1/6)cosϕ 的最小值为 1/12 > 0，验证了证明中的关键不等式。
• 结果建立了精确的统一界，因为半径 1/3 是最优的，即若增大该半径，将存在某个 f ∈ 𝒻 使得单芽性不再成立。