[論文レビュー] Radius of Close-to-convexity of Harmonic Functions

David Kalaj, Saminathan Ponnusamy+1 more|arXiv (Cornell University)|Jul 4, 2011

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

ひとこと要約

この論文は、調和コエーブ関数に由来する係数の上限をもとに、正規化された調和関数における単調性および星型性の鋭鋭半径を確立する。近接凸調和写像に関する新しい係数不等式を用いて、最適な半径が約 0.112903 であることを証明しており、これは指定された係数クラスにおける単調性および星型性の最良の半径である。

ABSTRACT

Let ${\mathcal H}$ denote the class of all normalized complex-valued harmonic functions $f=h+\bar{g}$ in the unit disk ${\mathbb D}$, and let $K=H+\bar{G}$ denote the harmonic Koebe function. Let $a_n,b_n, A_n, B_n$ denote the Maclaurin coefficients of $h,g,H,G$, and $${\mathcal F}=\{f=h+\bar{g}\in {\mathcal H}:\,|a_n|\leq A_n and |b_n|\leq B_n for n\geq 1}. $$ We show that the radius of univalence of the family ${\mathcal F}$ is $0.112903...$. We also show that this number is also the radius of the starlikeness of ${\mathcal F}$. Analogous results are proved for a subclass of the class of harmonic convex functions in ${\mathcal H}$. These results are obtained as a consequence of a new coefficient inequality for certain class of harmonic close-to-convex functions. Surprisingly, the new coefficient condition helps to improve Bloch-Landau constant for bounded harmonic mappings.

研究の動機と目的

• 調和コエーブ関数に由来する係数の上限をもつ正規化された調和関数の族における単調性および星型性の鋭鋭半径を特定すること。
• 近接凸調和関数の族に対する新しい係数不等式を確立し、単調性および星型性の半径に対する改善された推定を可能にすること。
• 係数制約が調和関数の単調性および星型性、およびその部分和に与える影響を調査すること。
• 新しい係数条件を用いて、有界な調和写像のブロッハ＝ランダウ定数を改善すること。
• 極値関数の構成とヤコビアン解析を通じて、半径結果の鋭さを証明すること。

提案手法

• 調和コエーブ関数の構造とその係数に基づいて、近接凸調和関数のための新しい係数不等式を導出すること。
• 係数制約 $ |a_n| \leq A_n $ および $ |b_n| \leq B_n $ を用い、ここで $ A_n = \frac{1}{6}(2n+1)(n+1) $、$ B_n = \frac{1}{6}(2n-1)(n-1) $ であることを用いてテイラー係数を束縛すること。
• Lewyの定理を適用し、ヤコビアン $ J_f(z) = |h'(z)|^2 - |g'(z)|^2 $ を分析することで、$ J_f(z) > 0 $ となる半径を特定し、局所的単調性を保証すること。
• 単調性および星型性を保証するための二次方程式 $ \sqrt{2}r^2 - (1+2\sqrt{2})r + \sqrt{2} - 1 = 0 $ の解として、半径 $ r_S \approx 0.112903 $ を確立すること。
• 極値関数 $ L_0(z) = 2z - M(z) - \overline{N(z)} $ を用いて、$ J_{L_0}(r_S) = 0 $ かつ $ r > r_S $ に対して $ J_{L_0}(r) < 0 $ を示すことにより、鋭さを検証すること。
• Lemma 2.1 を適用し、正規化関数 $ f_r(z) = r^{-1}f(rz) $ が $ r \leq r_S $ に対して近接凸性条件 $ |h_r'(z) - 1| < 1 - |g_r'(z)| $ を満たすことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 係数制約 $ |a_n| \leq A_n $ および $ |b_n| \leq B_n $ をもつ調和関数族における単調性の鋭鋭半径は何か？
• RQ2 同じ半径は、この族における星型性の鋭鋭半径としても成立するか？
• RQ3 近接凸調和関数のための新しい係数不等式は、ブロッハ＝ランダウ定数の推定値を改善できるか？
• RQ4 同じ係数制約下で、部分和 $ f_n(z) $ および $ f_{\overline{m}}(z) $ の単調性および星型性の挙動はいかなるものか？
• RQ5 半径 $ r_S \approx 0.112903 $ は最適であり、他の係数条件によって改善可能か？

主な発見

• 係数制約 $ |a_n| \leq A_n $、$ |b_n| \leq B_n $ をもつ族 $ \mathcal{F} = \{ f = h + \overline{g} \in \mathcal{H} : |a_n| \leq A_n, |b_n| \leq B_n \} $ における単調性の半径は、正確に $ r_S = 1 + \frac{\sqrt{2}}{4} - \sqrt{\sqrt{2} + \frac{1}{8}} \approx 0.112903 $ であり、この値は鋭い。
• 同じ半径 $ r_S \approx 0.112903 $ は、族 $ \mathcal{F} $ における星型性の鋭鋭半径としても成立し、$ f $ が $ |z| < r_S $ で星型であることを意味する。
• 極値関数 $ L_0(z) = z - \sum_{n=2}^\infty \frac{n+1}{2}z^n + \overline{\sum_{n=2}^\infty \frac{n-1}{2}z^n} $ は $ J_{L_0}(r_S) = 0 $ を達成し、半径の鋭さを証明する。
• ヤコビアン $ J_{L_0}(r) $ は $ r > r_S $ に対して負になるため、この半径を超えると単調性が成立しなくなることが確認される。
• 新しい係数不等式は、有界な調和写像のブロッハ＝ランダウ定数に対する改善された推定値をもたらす。
• 係数 $ b_1 = 0 $ をもつ有界な調和関数に対して、単調性および星型性の半径は $ r_S = 1 - \sqrt{\frac{4M/\pi}{4M/\pi + 1}} $ であり、関数は $ |z| = r_S $ で $ |f(z)| \geq R_S = r_S - \frac{4M}{\pi} \frac{r_S^2}{1 - r_S} $ を満たす。