[論文レビュー] Dynamics of composite entire functions

Dinesh Kumar, Gopal Datt+1 more|arXiv (Cornell University)|Jul 25, 2012

Meromorphic and Entire Functions参考文献 21被引用数 7

ひとこと要約

本稿では、近似理論を用いて、ファトウ集合における動的挙動が事前に指定された超越的整関数 $ f $ と $ g $ を構成することにより、合成整関数のダイナミクスを調査する。$ f \circ g $ と $ g \circ f $ のダイナミクスが $ f $ や $ g $ のそれと著しく異なることが示され、さまざまな構成下で、遊走、周期的、または前周期的成分に属する領域の存在が確立される。

ABSTRACT

It is known that the dynamics of $f$ and $g$ vary to a large extent from that of its composite entire functions. Using Approximation theory of entire functions, we have shown the existence of entire functions $f$ and $g$ having infinite number of domains satisfying various properties and relating it to their composition. We have explored and enlarged all the maximum possible ways of the solution in comparison to the past result worked out.

研究の動機と目的

• 合成整関数 $ f \circ g $ と $ g \circ f $ のダイナミクスが、個々の関数 $ f $ と $ g $ のそれとどのように異なるか、特にファトウ集合の成分の観点から探求すること。
• 近似技法を用いて、超越的整関数のダイナミクスにおける遊走領域と成分タイプに関する既存の結果を拡張すること。
• 特定の動的挙動を示す無限族の領域を有する明示的な整関数 $ f $ と $ g $ を構成すること。
• 特異値、漸近値、および成分タイプ（遊走、周期的、前周期的）の間の関係を、合成関数のダイナミクスにおいて分析すること。
• 既知の整関数の半群ダイナミクスに関する結果を一般化し、$ f \circ g $ と $ g \circ f $ が異なるダイナミカル構造を示す新たな例を提供すること。

提案手法

• 整関数の近似理論を用い、$ f = e^{\gamma(z)} $ および $ g = e^{\gamma_1(z)} $ となるような整関数 $ f $ と $ g $ を構成し、特定の領域で所望の値をとることを保証する。
• 閉集合 $ S $（カルレマン集合）を定義し、$ S $ 上で連続かつ内部で正則な関数 $ \alpha(z), \beta(z), \epsilon(z), \epsilon_1(z) $ を構成し、$ f $ と $ g $ の異なる領域における挙動を制御する。
• メルゲリヤン型近似を適用し、$ |\gamma(z) - \alpha(z)| < \epsilon(z) $ および $ |\gamma_1(z) - \beta(z)| < \epsilon_1(z) $ を満たす整関数 $ \gamma(z) $ と $ \gamma_1(z) $ を得ることにより、$ f(z) = e^{\gamma(z)} $ と $ g(z) = e^{\gamma_1(z)} $ が所望の不等式を満たすように保証する。
• 指数関数 $ e^z $ の連続性を用いて、$ f(z) $ と $ g(z) $ が、$ G_k, B_k, L_k, M_k $ などの互いに素な領域で特定の値（例：$ \pm 2, \pm 6, \pm 10, \dots $）に近づくように保ち、ファトウ集合における成分タイプの制御を可能にする。
• 反復写像による領域の写像経路を追跡することで、$ f \circ g $ と $ g \circ f $ のダイナミクスを分析し、それらが周期的、前周期的、または遊走成分に属するかどうかを同定する。
• 既知のファトウ集合および特異値に関する結果（例：[29] より）を適用し、$ f, g, f \circ g, g \circ f $ のダイナミクスの関係を分析する。特に漸近値と臨界値の役割に注目する。

実験結果

リサーチクエスチョン

• RQ1 関数 $ f $ と $ g $ の両方において領域が遊走成分に属するが、$ f \circ g $ においては周期的成分に属するような整関数 $ f $ と $ g $ を構成できるか？
• RQ2 $ f $ と $ g $ の両方において領域が遊走成分に属する場合、$ f \circ g $ と $ g \circ f $ の両方においても領域が遊走成分に属するための条件は何か？
• RQ3 $ f $ と $ g $ の両方において領域が周期的成分に属するが、$ f \circ g $ と $ g \circ f $ の両方においては遊走成分に属するような領域が存在するか？
• RQ4 $ f $ と $ g $ が異なる成分タイプ（例：周期的対遊走）を示す場合、$ f \circ g $ と $ g \circ f $ のダイナミクスはどのように比較できるか？
• RQ5 漸近値と臨界値は、$ f \circ g $ と $ g \circ f $ の成分タイプを決定づける上で果たす役割は何か？

主な発見

• 本稿では、$ G_1 $ に属する領域が、$ f $, $ g $, $ g \circ f $ において前周期的成分に属するが、$ f \circ g $ においては遊走成分に属するような整関数 $ f $ と $ g $ を構成した。これにより、合成ダイナミクスにおける非対称性が示された。
• 領域 $ B_1 $ は $ f $ において周期的成分に属し、$ g $ においては遊走成分に属し、$ g \circ f $ においても遊走成分に属するが、$ f \circ g $ においては周期的成分に属する。このことは、$ f \circ g $ と $ g \circ f $ が異なる成分構造を示す可能性があることを示している。
• $ k \geq 3 $ に対して、領域 $ G_k $ は $ f $ と $ g $ においても、$ f \circ g $ と $ g \circ f $ においても遊走成分に属する。これは、一部の構成下で一貫した挙動が得られることを確認している。
• $ k \geq 4 $ に対して、領域 $ B_k $ は $ f $, $ g $, $ f \circ g $, $ g \circ f $ すべてにおいて遊走成分に属する。これは、合成ダイナミクスが複数の合成においても遊走性を保存することがあることを示している。
• 構成により、$ f \circ g $ と $ g \circ f $ が異なるダイナミカル構造を示すことが確認された。例えば、$ G_2 $ は $ f $ と $ g \circ f $ において周期的成分に属するが、$ f \circ g $ においては遊走成分に属する。これは、合成ダイナミクスにおける非対称性を示している。
• 本稿では、$ f \circ g $ と $ g \circ f $ のダイナミクスが常に類似しているとは限らないことが、明示的な例を用いて示された。特に、$ f $ と $ g $ が整関数であっても、成分タイプが異なる場合がある。