[論文レビュー] Product Anosov diffeomorphisms and the two-sided limit shadowing property

Bernardo Carvalho|arXiv (Cornell University)|Sep 16, 2015

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

ひとこと要約

本論文は、普遍被覆空間上での一意な両側極限シャドーイング性を用いて、積Anosov微分同相写像の特徴づけを確立している。Anosov微分同相写像が積Anosovであることの必要十分条件は、その普遍被覆への任意の上への持ち上げが一意な両側極限シャドーイング性を有することである。主な貢献は、Banach空間上の2つの写像FとGを用いた新規な枠組みであり、これらの写像の不動点がシャドーイング点に対応することにより、双曲的力学系におけるシャドーイング問題に対する構成的アプローチを提供している。

ABSTRACT

We characterize product Anosov diffeomorphisms in terms of the two-sided limit shadowing property. It is proved that an Anosov diffeomorphism is a product Anosov diffeomorphism if and only if any lift to the universal covering has the unique two-sided limit shadowing property. Then we introduce two maps in a suitable Banach space such that fixed points of these maps are related with shadowing orbits on the universal covering.

研究の動機と目的

• 両側極限シャドーイング性を用いて、積Anosov微分同相写像を特徴づけること。
• 両側極限擬軌道のシャドーイング点とBanach空間上の写像の不動点との間の対応関係を確立すること。
• 関数解析的技法を用いて、双曲的力学系におけるシャドーイング問題を構成的に分析する枠組みを提供すること。
• Anosov微分同相写像の普遍被覆への持ち上げが、両側極限シャドーイング性を有するかどうかという未解決問題に取り組むこと。

提案手法

• Banach空間C₀を定義する。これは、普遍被覆上の有界かつ連続なベクトル場全体の空間であり、ノルム||·||を備える。
• 指数写像とfの微分を用いて、C₀ → C₀ なる写像Fを構成する。これにより擬軌道の力学的挙動が符号化される。
• Tを線形作用素として、Tの導出作用をモデル化する。このとき、写像G: C₀ → C₀ を (Id − T)⁻¹ ∘ (F − T) として定義する。
• FとGが同一の不動点を持つことを証明する。これらの不動点は、与えられた擬軌道を両側極限でシャドーイングする点に対応する。
• 射影πsとπuを用いてベクトル場を分解し、双曲的定数λを用いて成長を制御する。
• Id − T が有界線形同相写像であり、有界な逆写像を持つことを確立する。これにより、不動点問題の適切な定式化が保証される。

実験結果

リサーチクエスチョン

• RQ1 Anosov微分同相写像の普遍被覆への持ち上げは、すべて両側極限シャドーイング性を有するか？
• RQ2 普遍被覆上での一意な両側極限シャドーイング性は、積Anosov性と同値か？
• RQ3 両側極限擬軌道のシャドーイング問題は、Banach空間における不動点問題に還元可能か？
• RQ4 C₀上での写像FとGが、シャドーイング軌道に対応する不動点を持つための条件は何か？
• RQ5 安定・不安定foliationの構造は、シャドーイング点の一意性とどのように関係するか？

主な発見

• Anosov微分同相写像が積Anosovであることの必要十分条件は、その普遍被覆への任意の持ち上げが一意な両側極限シャドーイング性を有することである。
• 与えられた擬軌道を両側極限でシャドーイングする点の集合と、Banach空間C₀上での写像FとGの不動点の集合との間に一対一対応が存在する。
• 写像Id − T は、有界線形同相写像であり、そのノルムはN(1 + λ)/(1 − λ)で有界である。これにより、関連する不動点方程式の解の存在と一意性が保証される。
• 写像Gは、Id − T の逆写像として明示的に構成され、その不動点は正確にシャドーイング点に対応する。
• 線形fの場合、またはd(f(xk), xk+1)が十分に小さい場合には、写像Gは収縮写像または定数写像となり、不動点の存在が保証される。
• 証明は、λ < 1 におけるスペクトルギャップ推定と、射影の一様有界性に基づくものであり、時間の前向き・後向き両方においてベクトル場成分の減衰を保証する。