[論文レビュー] Singularities of inverse functions

Alexandre Erëmenko|arXiv (Cornell University)|Oct 12, 2021

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

ひとこと要約

本稿は、メラモーフィック写像の逆関数の特異点について包括的なサーベイを提供し、漸近的曲線から生じる超越的特異点に焦点を当て、ホロモーフィックダイナミクスにおけるその役割を検討する。特異点を用いた定性的な定義により、定義域の位相的完備化を確立し、非代数的特異点が漸近的値に対応することを証明し、有理関数およびメラモーフィック関数における力学的挙動の分類にこの枠組みを適用する。特に臨界点と吸引域構造との関係に注目する。

ABSTRACT

A survey of general results on the singularities of inverses to meromorphic functions is given, with applications to holomorphic dynamics. This is a lecture delivered at the workshop "The role of complex analysis in complex dynamics" in Edinburgh on May 22 2013, with corrected mistakes and updated references.

研究の動機と目的

• メラモーフィック関数の逆関数における特異点の概念を形式化し、代数的特異点と超越的特異点を区別すること。
• 超越的特異点を用いたメラモーフィック写像の定義域の完備化を定義し、関数の連続的拡張を可能にする。
• 超越的特異点と漸近的曲線および漸近的値との間の対応関係を確立すること。
• 理論をホロモーフィックダイナミクスに応用し、特に吸引域と臨界点の分布の解析に用いること。
• 完全不変成分に関する構造的結果を証明し、有理関数およびメラモーフィック関数に与える影響を明らかにすること。

提案手法

• 収縮する近傍の前像の入れ子構造を用いて、超越的特異点の明確な定義を導入する。
• 完成化された定義域 $ \overline{D}_f = D \cup \mathrm{Sing}(f) $ における位相を定義し、特異点の近傍を穴あき前像として定義する。
• 内挿的およびマズゥルキエヴィッチ距離を用いて完成化を特徴付け、$ \rho_M \leq \rho $ であり、局所的に $ \rho_M $ と $ \rho $ が一致することを示す。
• メラモーフィック関数 $ f: D \to G $ に理論を適用し、$ G $ に臨界値や漸近的値が存在しない場合、$ f $ は被覆写像であることを示す。
• リーマン＝ハルツィングの公式を用いて、完全不変成分内の臨界点の数を制限する。
• サブハーモニック関数の証明において、サブハーモニック関数のカルレマン型不等式に、Wirtingerおよびコーシーの不等式を用いる。

実験結果

リサーチクエスチョン

• RQ1 メラモーフィック関数の逆関数の特異点はどのように特徴づけられ、代数的特異点と超越的特異点の間にはどのような相違があるか？
• RQ2 メラモーフィック写像の定義域は、どのようにして超越的特異点を含むように位相的に完備化できるか？
• RQ3 漸近的曲線と逆関数における超越的特異点の存在との間にはどのような関係があるか？
• RQ4 特異点は、有理関数およびメラモーフィック関数のダイナミクスに、特に吸引域にどのように影響を与えるか？
• RQ5 完全不変成分は、臨界点の数とジュリア集合の構造にどのような制約を課えるか？

主な発見

• 逆関数の超越的特異点は、元の関数の漸近的値に正確に対応し、曲線の非有界な前像から生じる。
• 領域 $ G $ に臨界値や漸近的値が存在しない場合、$ f: D \to G $ は被覆写像である。これは、逆関数の解析接続が常に可能であることを意味する。
• 完成化 $ \overline{D}_f = D \cup \mathrm{Sing}(f) $ は、$ f $ が連続的に拡張可能な位相空間であり、特異点 $ S $ に対して $ f(S) = a $ が成り立つ。
• 倍角乗数が 1 である吸引的または中立的不動点の即時吸引域について、$ f: D \to D $ は被覆写像にはなり得ない。これは、臨界点または漸近的曲線が存在することを示唆する。
• 有理関数またはクラス $ \mathbf{S} $ の関数では、吸引的および中立的周期軌道の数は、特異値の数を超えない。
• メラモーフィック関数は、完全不変成分を高々2つまで持つ。2つ持つ場合、ジュリア集合はジョルダン曲線となり、各成分は次数 $ d $ に対して $ d-1 $ 個の臨界点を含む。