[論文レビュー] Radius of fully starlikeness and fully convexity of harmonic linear differential operator

Zhihong Liu, Saminathan Ponnusamy|arXiv (Cornell University)|Aug 13, 2017

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

ひとこと要約

本稿は、調和 Bieberbach予想と凸関数論からの係数条件のもとで、調和線形微分作用素 $ D_f^\rho $ およびその凸結合 $ F_\rho(z) = (1-\rho)f + \rho D_f^\rho $ に対する単調性、完全星型性、完全凸性の鋭鋭半径を決定する。主な結果は、特定の多項方程式の $ (0,1) $ 内の解を用いて正確な半径を同定し、極値関数によって鋭さが確認されている。

ABSTRACT

Let $f=h+\overline{g}$ be a normalized harmonic mapping in the unit disk $\ID$. In this paper, we obtain the sharp radius of univalence, fully starlikeness and fully convexity of the harmonic linear differential operators $D_f^ε=zf_{z}-ε\overline{z}f_{\overline{z}}~(|ε|=1)$ and $F_λ(z)=(1-λ)f+λD_f^ε~(0\leqλ\leq 1)$ when the coefficients of $h$ and $g$ satisfy harmonic Bieberbach coefficients conjecture conditions. Similar problems are also solved when the coefficients of $h$ and $g$ satisfy the corresponding necessary conditions of the harmonic convex function $f=h+\overline{g}$. All results are sharp. Some of the results are motivated by the work of Kalaj et al. \cite{Kalaj2014} (Complex Var. Elliptic Equ. 59(4) (2014), 539--552).

研究の動機と目的

• 調和線形微分作用素 $ D_f^\rho $ 及びその凸結合 $ F_\rho $ に対する単調性、完全星型性、完全凸性の鋭鋭半径を決定すること。
• 調和 Bieberbach予想と調和凸関数論からの係数不等式を活用することで、解析関数に関する既知の結果を調和設定に拡張すること。
• 係数の上限で等号を達成する極値関数を用いて、導出された半径の鋭さを確立すること。
• パラメータ $ \rho $ を含む凸結合 $ F_\rho $ における $ \rho $-凸調和写像に関する先行結果を一般化すること。

提案手法

• 調和線形微分作用素 $ D_f^\rho = z f_z - \rho \overline{z} f_{\overline{z}} $ を $ |\rho| = 1 $ に対して定義し、凸結合 $ F_\lambda(z) = (1-\lambda)f + \lambda D_f^\rho $ を $ 0 \leq \lambda \leq 1 $ に対して定義する。
• 調和 Bieberbach予想からの係数条件を適用：$ |a_n| \leq \frac{1}{6}(2n+1)(n+1) $、$ |b_n| \leq \frac{1}{6}(2n-1)(n-1) $、および $ ||a_n| - |b_n|| \leq n $（$ n \geq 2 $）。
• 単調性と完全星型性を保証するため、$ \operatorname{Re}(h'(z)) > |g'(z)| $ の条件を用いてクラス $ \mathcal{K}_H^2(\lambda) $ を定義する。
• 十分な係数不等式 $ \sum (1-\lambda + \lambda n)n(|a_n| + |b_n|)r^{n-1} \leq 1 $ を導出し、これを $ r \in (0,1) $ 内の多項方程式の解に還元する。
• 極値関数 $ f_0 = h_0 + \overline{g_0} $ を構成することで鋭さを確立し、$ r_v $ まで正のヤコビアン $ J_{f_0}(r) > 0 $ を達成する。
• ヤコビアンの式 $ J_{f_0}(r) = \frac{1+|b_1|}{(1-r)^3} \left[ (1+c-|b_1|)(1-r)^3 - c(1 + (2\lambda - 1)r) \right] $ を用いて鋭さを検証し、半径 $ r_v $ で消失することを確認する。

実験結果

リサーチクエスチョン

• RQ1 調和 Bieberbach係数条件の下で、調和線形微分作用素 $ D_f^\rho $ に対する単調性、完全星型性、完全凸性の鋭鋭半径は何か？
• RQ2 凸結合 $ F_\lambda(z) = (1-\lambda)f + \lambda D_f^\rho $ は、元の関数 $ f $ と比較して、完全星型性および完全凸性の半径にどのように影響を与えるか？
• RQ3 係数の上限 $ |a_n| + |b_n| \leq \frac{n+1}{2} + \frac{n-1}{2} = n^2 $ を満たすとき、$ F_\lambda(z) $ が完全星型かつ $ \mathcal{K}_H^2(\lambda) $ に属するような正確な半径 $ r_c $ は何か？
• RQ4 係数の上限 $ |b_1| < 1 $ および $ |a_n| + |b_n| \leq c $ の下で、完全星型性の半径を明示的に決定できるか？その半径方程式の関数的形は何か？
• RQ5 導出された半径は鋭いか？また、係数上限の鋭さを確認するための極値関数を構成できるか？

主な発見

• 調和 Bieberbach係数条件の下で、$ F_\lambda(z) $ の完全星型性の半径は、方程式 $ 1 - 4(2+\lambda)r + (13-2\lambda)r^2 - 8r^3 + 2r^4 = 0 $ の最小正の根であり、これは鋭い。
• 場合 $ \lambda = 0 $ のとき、半径は方程式 $ 1 - 7r + 6r^2 - 2r^3 = 0 $ の根に簡略化され、Kalaj 他 [9] の $ \mathcal{K}_H^1 $ の結果と一致し、一貫性が確認された。
• 場合 $ \lambda = 1 $ のとき、半径方程式は $ 1 - 4r + 5r^2 - 8r^3 + 2r^4 = 0 $ に簡略化され、これは $ D_f^\rho $ の半径に対応し、結果は鋭い。
• 一般の係数上限 $ |a_n| + |b_n| \leq c $ および $ |b_1| < 1 $ の下で、半径 $ r_v $ は方程式 $ \Phi_{c,|b_1|,\lambda}(r) = (1+c-|b_1|)(1-r)^3 - c[1 + (2\lambda - 1)r] = 0 $ の最小正の根であり、これは鋭い。
• 極値関数 $ f_0 = h_0 + \overline{g_0} $ で $ h_1(z) = z - \frac{c}{2}\frac{z^2}{1-z} $、$ g_1(z) = -|b_1|z - \frac{c}{2}\frac{z^2}{1-z} $ と定義し、$ r < r_v $ で $ J_{f_0}(r) > 0 $ を達成することで、鋭さが確認された。
• 本結果は、$ \mathcal{K}_H^1 $ および $ \mathcal{K}_H^2(\lambda) $ に関する先行研究を一般化し、線形微分作用素下での完全星型および完全凸調和写像の統一的取り扱いを可能にした。