[論文レビュー] 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

ひとこと要約

この論文は、関数 f が近縁凸族 𝒻 に属するとき、Re(1 + zf''(z)/f'(z)) > -1/2 を満たすという定義条件によって定義されるものとして、すべての部分和 sₙ(f) が |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 に対して、f ∈ 𝒻 に対する各部分和 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 における最小値を計算する。
• 三角関数の最適化を用いて、T(θ,ϕ) > 0 を示し、単値性のための鍵となる不等式を検証する。ここで T は cosθ と cosϕ の関数である。
• 既知の補題 (c) からの境界を用いて、|z| = 1/3 における誤差項 |σₙ′(z)| を推定し、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 は、クラス 𝒻 に属する関数 f のすべての部分和 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 ∈ 𝒻 に対して、|z| = 1/3 における Re(sₙ′(z)) の最良の下界は何か？ そして、n に一様に正であることを示せるか？
• RQ5 劣微分と三角関数の最適化を用いて、部分和の導関数の極値的挙動を制御できるか？

主な発見

• この論文は、Ponnusamy らの予想を裏付ける形で、1/3 がクラス 𝒻 に属する関数 f のすべての部分和 sₙ(f) に対する一様単値的半径であることを確認する。
• すべての n ≥ 4 に対して、|z| = 1/3 における n 項部分和の導関数の実部は Re(sₙ′(z)) > 145/1728 > 0 を満たし、単値性が保証される。
• |z| = 1/3 における f′(z) の実部の最小値は、劣微分関係 f′(z) ≺ 1/(1−z)³ から導かれるように、27/64 以上である。
• 誤差項 |σₙ′(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 ∈ 𝒻 に対して単値性が破られる可能性があるため、最良の可能性であることが示され、鋭い一様上界が確立される