[論文レビュー] Locally one-to-one harmonic functions with starlike analytic part

Ikkei Hotta, Andrzej Michalski|arXiv (Cornell University)|Apr 7, 2014

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

ひとこと要約

本稿では、単位円板内における局所的に1対1で方向を保つ調和関数を、その正則部が星型である場合に限定して特徴づける。正則部が星型である関数に対して、共正則部および全関数の係数、歪み、成長、ヤコビアンの鋭い推定式を導出する。主な貢献は、アレクサンダー変換を通じて凸関数と関連づけることにより、そのような関数の劣勾配および成長に関する正確な境界を確立することにある。

ABSTRACT

Let $L_H$ denote the set of all normalized locally one-to-one and sense-preserving harmonic functions in the unit disc $Δ$. It is well-known that every complex-valued harmonic function in the unit disc $Δ$ can be uniquely represented as $f = h + \overline{g}$, where $h$ and $g$ are analytic in $Δ$. In particular the decomposition formula holds true for functions of the class $L_H$. For a fixed analytic function $h$, an interesting problem arises - to describe all functions $g$, such that $f$ belongs to $L_H$. The case when $f\in L_H$ and $h$ is the identity mapping was considered [2]. More general results are given in [3], where $f\in L_H$ and letting $h$ to be a convex analytic mapping. The focus of our present research is to characterize the set of all functions $f\in L_H$ having starlike analytic part $h$. In this paper, we provide coefficient, distortion and growth estimates of $g$. We also give growth and Jacobian estimates of $f$.

研究の動機と目的

• 単位円板内における局所的に1対1で方向を保つ調和関数のクラスを特徴づけること。ただし、その正則部は星型である。
• 正則部 $ h $ が星型であるとき、$ f = h + \overline{g} \in L_H $ となるすべての共正則部 $ g $ の集合を特定すること。
• $ \check{L}_H^\alpha $ と呼ばれる部分クラス（$ |b_1| = \alpha $ を満たす）に対して、鋭い係数、歪み、成長、ヤコビアン推定式を導出すること。
• $ \check{L}_H^\alpha $ と正則部が凸である調和写像のクラスとの間の関係を、アレクサンダー変換を用いて確立すること。
• $ |g(z)| $、$ |f(z)| $、$ J_f(z) $ の鋭い境界を、$ \alpha = |b_1| $ に明示的な依存関係を含めて提供すること。

提案手法

• 関数を $ f = h + \overline{g} $ の形に分解する。ここで $ h $ と $ g $ は単位円板 $ \Delta $ 内で正則であり、$ h(0) = 0 $、$ h'(0) = 1 $、$ g(0) = 0 $ を満たす。
• アレクサンダー変換を用いて、星型関数 $ h $ を凸関数 $ H $ に関連づける。ここで $ h(z) = zH'(z) $ であり、$ H $ は正規化された凸関数で $ H(0) = 0 $ を満たす。
• $ g(z) = zG'(z) $ と定義する。これにより $ G $ は正則で $ G(0) = 0 $ を満たし、$ |G'(0)| = \alpha $ となる。この関係により、$ f \in \check{L}_H^\alpha $ が $ F = H + \overline{G} \in S_H $ に結びつく。
• 不等式 $ |\omega(z)| \leq \frac{\alpha + |z|}{1 + \alpha|z|} $ を用いて、劣勾配 $ \omega(z) = g'(z)/h'(z) $ の境界を導出する。この不等式によりヤコビアンが制御される。
• 径方向線分に沿った積分推定式を用いて $ |g(z)| $ を評価する。この際、$ G' $ の成長境界と関係式 $ g(z) = zG'(z) $ を活用する。
• 三角不等式と $ h(z) $ の既知の成長推定式を用いて、$ |f(z)| $ の下界と上界を導出する。$ |h(z)| $ と $ |g(z)| $ の推定式を統合する。

実験結果

リサーチクエスチョン

• RQ1 正則部 $ h $ が星型で $ |b_1| = \alpha $ のとき、共正則部 $ g $ の鋭い係数推定式は何か？
• RQ2 歪みおよび成長推定式 $ g $ と $ f $ は、$ \alpha $（$ g $ の初期係数）にどのように依存するか？
• RQ3 $ \check{L}_H^\alpha $ に属する $ f $ に対するヤコビアン $ J_f(z) $ の最良の境界は何か？また、$ \alpha $ と $ |z| $ にどのように依存するか？
• RQ4 $ f $ の成長は $ \alpha $ で抑えられるか？その境界は鋭いか？
• RQ5 $ \check{L}_H^\alpha $ と単射調和写像のクラス $ S_H $ との関係は何か？特にアレクサンダー変換を通じてどのように関連するか？

主な発見

• 関数 $ f \in \check{L}_H^\alpha $ の劣勾配 $ \omega(z) $ は、$ |\omega(z)| \leq \frac{\alpha + |z|}{1 + \alpha|z|} $ を満たし、極値関数では等号が成立する可能性がある。
• ヤコビアン $ J_f(z) $ は次の鋭い両側推定式を満たす： $$ \frac{(1-\alpha^2)(1-|z|^2)}{(1+\alpha|z|)^2} \cdot \frac{(1-|z|)^2}{(1+|z|)^6} \leq J_f(z) \leq \begin{cases} \frac{(1-\alpha^2)(1-|z|^2)}{(1-\alpha|z|)^2} \cdot \frac{(1+|z|)^2}{(1-|z|)^6}, & |z| < \alpha, \\ \frac{(1+|z|)^2}{(1-|z|)^6}, & |z| \geq \alpha \end{cases} $$
• 共正則部 $ g $ は次の鋭い成長推定式を満たす： $$ |g(z)| \geq \begin{cases} \frac{|z|(\alpha - |z|)}{(1 - \alpha|z|)(1 + |z|)^2}, & |z| < \alpha, \\ 0, & |z| \geq \alpha \end{cases} \quad \text{および} \quad |g(z)| \leq \left(\frac{1-\alpha}{1+\alpha}\right)^2 \log\left(\frac{1+\alpha|z|}{1-|z|}\right) + \frac{|z|}{(1-|z|)^2} - \left(\frac{1-\alpha}{1+\alpha}\right)\frac{2|z|}{1-|z|} $$
• 全関数 $ f $ は次の鋭い成長推定式を満たす： $$ |f(z)| \geq \frac{(1-\alpha)|z|(1-|z|)}{(1+\alpha|z|)(1+|z|)^2} \quad \text{および} \quad |f(z)| \leq \left(\frac{1-\alpha}{1+\alpha}\right)^2 \log\left(\frac{1+\alpha|z|}{1-|z|}\right) + \frac{2|z|}{(1-|z|)^2} - \left(\frac{1-\alpha}{1+\alpha}\right)\frac{2|z|}{1-|z|} $$
• さらに、$ |f(z)| $ の上界は $ \frac{(1+\alpha)|z|(1+|z|)}{(1+\alpha|z|)(1-|z|)^2} $ によっても上からおさえられ、これは特定の極値関数に対して鋭い。
• 例1.3の極値関数 $ f_\zeta $ は、$ |z| < \alpha $ のとき $ |g(z)| $ の下界で等号を達成し、推定式の鋭さを確認している。