[論文レビュー] On the geometry of horseshoes in higher dimensions

Carlos Gustavo Moreira, Waliston Luiz Lopes Rodrigues Silva|arXiv (Cornell University)|Oct 9, 2012

Mathematical Dynamics and Fractals参考文献 1被引用数 9

ひとこと要約

本稿は、力学系における1次元カントール集合にこれまで用いられてきた再帰的コンパクト集合基準を、上部安定次元が1より大きい高次元のホースシューズへと拡張する。確率的およびMarstrandに類似した議論を適応することで、このようなホースシューズが一般にかつ恒続的に再帰的コンパクト集合を含むことを証明し、それによりブレザー（blenders）の強固な存在が示唆される。ブレザーは微分同相写像における非双曲的かつ恒続的転送性の鍵となる構造である。

ABSTRACT

The criterion of the recurrent compact set was introduced by Moreira and Yoccoz to prove that stable intersections of regular Cantor sets on the real line are dense in the region where the sum of their Hausdorff dimensions is bigger than 1. We adapt this concept to the context of horseshoes in ambient dimension higher than 2 and prove that horseshoes with upper stable dimension bigger than 1 satisfy, typically and persistently, the adapted criterion of the recurrent compact set. As consequences we show some persistent geometric properties of these horseshoes. In particular, typically and persistently, horseshoes with upper stable dimension bigger than 1 present blenders.

研究の動機と目的

• 環境次元 >2 における高次元ホースシューズへの1次元カントール集合からの再帰的コンパクト集合基準の拡張を目的とする。
• 上部安定次元 >1 であるホースシューズが一般に適応された再帰的コンパクト集合基準を満たすことを確立すること。
• この基準が、そのようなホースシューズにおけるブレザーの恒続的存在を示すこと。
• 2次元を超える次元で安定葉層が滑らかでない場合の対処のため、確率的およびMarstrandに類似した議論を用いたフレームワークの構築。
• 上部安定次元が、ブレザー形成を含む動的複雑性を予測するためのロバストな幾何的不変量としての役割を果たすことを示すこと。

提案手法

• MoreiraとYoccoz（2000年代）が提唱した再帰的コンパクト集合基準を、$T_{\Lambda}M = E^{ss} \oplus E^{ws} \oplus E^u$ という明確な接バンドル分解を有する高次元ホースシューズに適応する。ただし $\dim(E^{ws}) = 1$ である。
• 微分同相写像の摂動に関する確率的議論を用い、積層構成の測度論的推定を通じて再帰の可能性をモデル化する。
• 正規化における断片の射影のサイズと分布を制御するため、Marstrandに類似した議論を適用し、再帰に十分な重なりが保証されることを確認する。
• スケール $\rho$ のもとで、良好に分離されたおよび緩い積層構成を用い、異なる摂動方向における事象の独立性を保証する。
• 良い葉と良好に分離された断片から構成される候補コンパクト集合 $K$ を導入し、$\rho^{-\bar{d}_s}$ スケーリングに基づく測度推定を実施する。
• 摂動された正規化写像が点を $K_{-\rho^2}$ に写す確率 $P > 0$ に下界を設定し、再帰確率における指数的減衰推定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 環境次元が2より大きい高次元におけるホースシューズが、どのような幾何的条件下で一般に再帰的コンパクト集合を示すか？
• RQ2 安定葉層がホルダー連続性しか持たない高次元系において、再帰的コンパクト集合基準をどのように適応できるか？
• RQ3 上部安定次元が、ブレザーのような複雑な動的構造の恒続的出現を予測する役割を果たすか？
• RQ4 再帰性および非双曲的系における転送性の証明において、微分可能性の仮定を確率的および幾何的議論が置き換え可能か？
• RQ5 再帰的コンパクト集合の存在が、高次元ホースシューズにおけるブレザーの強固な存在をどの程度まで示唆するか？

主な発見

• 一般にかつ恒続的に、上部安定次元が1より大きいホースシューズは、適応された再帰的コンパクト集合基準を満たす。
• 摂動された正規化写像が候補コンパクト集合 $K$ の $\rho^2$-近傍に点を写す確率は、正の定数 $P > 0$ で下から抑えられる。
• 再帰確率は $\exp(-c_{13} \rho^{-\frac{c}{k}(\bar{d}_s - 1)})$ のように指数的に減少し、$\rho$ が小さい場合に強い再帰性が保証される。
• 再帰的コンパクト集合の存在は、そのようなホースシューズにおけるブレザーの恒続的出現を示唆する。
• 上部安定次元 >1 であるホースシューズは一般に、明確な分解を有する部分ホースシューズを含み、かつ再帰基準を満たす。
• 上部安定次元は、幾何的複雑性（例えば $C^1$ 関数による像の区間正定性を含む）の一般的出現を示す十分条件として機能する。