[論文レビュー] Normal forms and Misiurewicz renormalization for dissipative surface diffeomorphisms

Pierre Berger|arXiv (Cornell University)|Apr 8, 2014

Mathematical Dynamics and Fractals参考文献 14被引用数 5

ひとこと要約

本稿は、パラメータが小さい行列式を持つヘノン型写像を対象とし、パライス＝ターキンスの正規化と標準形技法を精緻化することで、散逸的表面微分同相写像に対する双曲的正規化枠組みを導入する。大周期に対して一様な境界を確立し、パラメータ依存の正規化された力学が指数的に小さい $ C^r $-ノルムを示すことを証明することで、ヘノン写像におけるスラングアトラクタおよびパラメータ空間の幾何構造の研究が可能になる。

ABSTRACT

We define a hyperbolic renormalizations suitable for maps of small determinant, with uniform bounds for large periods. The techniques involve an improvement of the celebrated Palis-Takens renormalization and normal forms (fibered linearizations). These techniques are useful to study the dynamics of Hénon like maps and the geometry of their parameter space.

研究の動機と目的

• 散逸的表面微分同相写像（行列式が小さい場合）に適した双曲的正規化理論の構築。
• ファイバー化線形化と標準形を用いて、ユニモーダル写像の正規化技法をヘノン型写像へ一般化。
• 大周期にわたる正規化された力学に対して一様な $ C^r $-境界を確立。
• ヘノン族におけるパラメータ領域 $ \hat{\mathcal{I}}_{b_0} $ の幾何構造、特に非退化なホモクライン接点付近の解析。
• パラメータ依存の正規化写像が指数的に小さい $ C^r $-ノルムを有することを証明し、頑健な力学的解析を可能にする。

提案手法

• 写像 $ \phi $ を用いた正規化形への共役を介して、ヘノン型写像のための精緻化された正規化スキームを導入。これにより、最大不変集合が正規化領域の像内に存在することを保証。
• ファイバー化線形化技法を適用し、正規化写像の $ C^r $-ノルムを制御。特に、反復における $ A_\mu $ および $ B_\mu $ の $ C^r $-小ささに注目。
• スケーリング写像 $ C_\mu^{-1}(x,y) = (\sigma_\mu^{-n}x, \sigma_\mu^{-2n}y) $ を用いて、臨界点の小さな近傍へ力学を共役化。これにより、微分の指数的減衰が保証される。
• $ \sigma_\mu $, $ \lambda_\mu $, および $ \mu $ がパラメータ $ a $ に依存する様子を解析し、$ \partial_a A_a $ および $ \partial_a B_a $ の境界を導出。これにより、$ n \to \infty $ の下で指数的に小さいことが示される。
• $ (\mathcal{E}_2) $ および $ (\mathcal{E}_3) $ 評価を適用し、$ A'_\mu \circ C_\mu^{-1} $ および $ B'_\mu \circ C_\mu^{-1} $ を含む合成写像の $ C^r $-ノルムを制御。
• パラメータ $ a $ に対する $ \mu $ の依存性を $ \xi^{-1}\sigma_\mu^{-2n} $ を通じて扱い、$ \partial_a A_a $ および $ \partial_a B_a $ が $ n \to \infty $ の下で $ C^r $-指数的に小さいことを示す。

実験結果

リサーチクエスチョン

• RQ1 行列式 $ b_0 $ が小さいヘノン写像のパラメータ領域 $ \hat{\mathcal{I}}_{b_0} $ は、正規化区間 $ \mathcal{I} $ を含む唯一の最大連結成分を持つだろうか？
• RQ2 任意の二次族の正規化区間 $ \mathcal{I} $ を与えたとき、十分に小さい $ b_0 > 0 $ に対して $ \hat{\mathcal{I}}_{b_0} $ は閉じているだろうか？
• RQ3 特に行列式が小さい場合に、大周期にわたる正規化されたヘノン型写像に対して一様な $ C^r $-境界を確立できるだろうか？
• RQ4 正規化写像の $ C^r $-ノルムはパラメータ $ a $ にどのように依存するか。特に、正規化周期が大きくなる極限での振る舞いは？
• RQ5 微分 $ A_a $ および $ B_a $ に対する $ a $ に関する導関数の漸近的挙動は何か？ そして、これらが $ n $ に関して指数的に小さいことを示せるだろうか？

主な発見

• 大 $ n $ に対して $ \partial_a A_a $ の $ C^0 $-ノルムは指数的に小さい。これは $ C_\mu^{-1} $ 及びその微分の指数的減衰による。
• $ \partial_a A_a $ の $ C^1 $-ノルムも指数的に小さい。これは $ \sigma_\mu^{-n} $ が $ n $ と共に急速に減少することに起因する。
• $ \partial_a A_a $ の $ C^{r-1} $-ノルムも指数的に小さい。これは $ A'_\mu $ の高階微分が有界であることと、$ C_\mu^{-1} $ の指数的減衰に起因する。
• $ \partial_a B_a $ の $ C^0 $-ノルムは指数的に小さい。これは $ \sigma_\mu^{-2n} \partial_\mu(\lambda_\mu^n \sigma_\mu^{2n}) $ が指数的に減少することに起因する。
• $ B_a $ の $ C^r $-ノルムは有界であり、そのパラメータ依存性は $ C^r $-指数的に小さい。これにより、微小摂動に対しても頑健性が保証される。
• すべての $ k < r $ に対して $ \partial_a^k A_a $ の $ C^r $-ノルムは小さい。これは $ \partial_\mu^k \sigma_\mu^{-2n} $ の指数的小ささと、$ D^r A'_\mu $ の有界性に起因する。