[論文レビュー] Axiom A maps are dense in the space of unimodal maps in the $C^k$ topology

Oleg Kozlovski|ArXiv.org|Jan 6, 2004

Mathematical Dynamics and Fractals参考文献 13被引用数 4

ひとこと要約

この論文は、$k = 1,2,\ldots,\infty,\omega$ に対して、$C^k$ トポロジーのもとで $C^k$ 一意的写像の空間において Axiom A 写像が稠密であることを証明し、一意的ケースにおける構造的安定性予想を裏付ける。著者らは、臨界軌道の力学を分析することで、複素の事前境界と多項式的類似の再正規化を用いて写像を Axiom A システムへ摂動し、正則性、解析的族、ジュリア集合の測度論的性質に関する主要な結果を得た。

ABSTRACT

In this paper we prove C^k structure stability conjecture for unimodal maps. In other words, we shall prove that Action A maps are dense in the space of C^k unimodal maps in the C^k topology. Here k can be 1,2,...,\infty,ω.

研究の動機と目的

• 一意的写像における $C^k$ 構造的安定性予想を証明すること。この予想は、構造的安定性が Axiom A であることと、非退化で周期的でない臨界点と同値であるというものである。
• すべての $k \in \{1,2,\ldots,\infty,\omega\}$ に対して、$C^k$ 一意的写像の空間における Axiom A 写像が $C^k$ トポロジーのもとで稠密であることを確立すること。
• 臨界軌道の力学を分析し、正則写像（その臨界オメガ極限集合が中立的周期点を避けるか一致するもの）が稠密であることを示すこと。
• 一意的写像の解析的族において、族が非自明（同相的でない写像が存在する）ならば、Axiom A 写像が稠密であることを示すこと。
• 臨界軌道が吸引子に収束しないパラメータ集合が解析的多様体をなすことの構造を特定すること。1次元族では、その連結成分が有限個である。

提案手法

• 再正規化における歪みを制御するための複素の事前境界の使用により、臨界点付近の反復写像に対して一様な制御を保証する。
• 多項式的類似の再正規化を適用し、臨界力学の研究を幾何的に制御された再正規化写像に還元する。
• $\mathcal{W} \circ \mathcal{R}^k$ の構成を用いて、スケール不変の方法で写像の幾何を段階的に改善する。
• オメガ極限集合が中立的周期点を避けるか一致する写像（正則写像）という概念を導入し、中立的軌道のケースを扱う。
• 非再正規化可能写像のジュリア集合におけるLebesgue測度の議論を用い、再帰的かつ非再正規化可能な場合に測度がゼロであることを示す。
• 解析性を活用して非平坦な臨界点を保証し、摂動が組合せ的構造を保存する解析的族を構築する。

実験結果

リサーチクエスチョン

• RQ1 すべての $k \geq 1$ に対して、$C^k$ トポロジーのもとで $C^k$ 一意的写像の空間において Axiom A 写像が稠密であるか？
• RQ2 一意的写像における構造的安定性は、Axiom A および非退化で周期的でない臨界点を含意するか？
• RQ3 解析的かつ組合せ的構造を制御しながら、一意的写像を Axiom A 写像に摂動できるか？
• RQ4 解析的族における臨界軌道が吸引子に収束しないパラメータ集合の構造はいかなるものか？
• RQ5 非再正規化可能で再帰的臨界点を持つ写像のジュリア集合が、Lebesgue 測度ゼロを持つ条件は何か？

主な発見

• すべての $k = 1,2,\ldots,\infty,\omega$ に対して、$C^k$ 一意的写像の空間における Axiom A 写像が $C^k$ トポロジーのもとで稠密であることが示され、この設定における構造的安定性予想が裏付けられた。
• 解析的一意的写像において、Axiom A 写像は $C^\omega(\Delta)$ トポロジーのもとで稠密であり、解析的写像が滑らかな写像の空間に稠密であることに基づき、この結果は $k < \infty$ の $C^k$ 写像へ拡張される。
• 臨界軌道が吸引子に収束しないパラメータ集合 $\Upsilon_{\lambda_0}$ は解析的多様体をなし、1次元族では連結成分が有限個である。
• 解析的一意的写像に中立的周期点がない場合、その写像は正則な解析的写像族に含められ、Axiom A システムへの摂動が可能になる。
• 再帰的臨界点を持つ非再正規化可能な多項式的類似写像のジュリア集合は、オメガ極限集合が非最小であっても、Lebesgue 測度がゼロである。
• $\mathcal{W} \circ \mathcal{R}^k$ の反復による証明戦略により、比 $|V^{i-1}|/|V^i|$ が指数関数的に増大し、最終的に歪み推定に適用可能な $\epsilon$-スケール近傍が得られる。