[論文レビュー] Smooth mixing Anosov flows in dimension three are exponential mixing

Masato Tsujii, Zhiyuan Zhang|arXiv (Cornell University)|Jun 8, 2020

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

ひとこと要約

本稿では、3次元コンpaktoな多様体上の滑らかな混合型Anosov流れが、Hölder型ポテンシャルに関連するすべての均衡測度に関して指数的混合性を示すことを確立している。安定・不安定foliationの非可積分性をテンプレート関数とDolgopyatの手法を用いて精密に分析することで、相関関数の指数的減衰を証明し、3次元滑らかさの設定におけるBowen-Ruelle予想を解決した。

ABSTRACT

We show that a topologically mixing $C^\infty$ Anosov flow on a 3 dimensional compact manifold is exponential mixing with respect to any equilibrium measure with Holder potential.

研究の動機と目的

• 3次元滑らかな設定においてBowen-Ruelle予想を解決し、Anosov流れの指数的混合性を証明すること。
• すべてのHölder型ポテンシャルに関する均衡測度に関して、位相的混合性が指数的混合性を意味することを確立すること。
• テンプレート関数を用いた幾何的・解析的枠組みを構築し、安定・不安定foliationの非可積分性を測定すること。
• 非可積分性の推定における技術的課題を克服することで、Dolgopyatの手法を$C^\infty$ Anosov流れに拡張すること。
• 3次元Anosov流れにおける素軌道定理の誤差項に対して定量的な推定を与えること。

提案手法

• 幾何的に内因的である方法で、不安定多様体に沿った安定部分空間の変動を測るためのテンプレート関数を導入する。
• Dolgopyatの手法を適用し、安定・不安定foliationの非可積分性の推定を通じて、相関関数の指数的減衰を導出する。
• スペクトルギャップと減衰率を分析するため、複素Ruelle-Perron-Frobenius（RPF）作用素の枠組みを用いる。
• マルコフ分割とルーフ関数を構成し、ホルダー空間を定義することで、ススペンデッドフローにおける移動作用素を解析する。
• スケールの適切な選択と再帰的性質を用いて、一様集合上での一様非可積分性を確立する。
• 一様集合上でのキャンセレーション推定と高速再帰性を用いた帰納的スキームを用い、相関関数の減衰を制御する。

実験結果

リサーチクエスチョン

• RQ1 3次元多様体上の滑らかな混合型Anosov流れは、Hölder型ポテンシャルに関する均衡測度に関して常に指数的混合性を示すか？
• RQ2 安定・不安定foliationの非可積分性は、$C^1$ foliationが存在しない状況下で、指数的混合性を保証するような方法で定量的に測定可能か？
• RQ3 Dolgopyatの手法は、foliationの$C^1$正則性を仮定しない$C^\infty$ Anosov流れにどの程度まで拡張可能か？
• RQ4 3次元Anosov流れにおいて、位相的混合性と指数的混合性の間にはどのような正確な関係があるか？
• RQ5 3次元Anosov流れにおける素軌道定理の誤差項は、指数的減衰の形で有界に抑えられるか？

主な発見

• 3次元コンパクト多様体上の滑らかな混合型Anosov流れは、Hölder型ポテンシャルに関連するすべての均衡測度に関して指数的混合性を示す。
• 3次元の$C^\infty$かつ非自明なAnosov流れにおいて、位相的混合性と指数的混合性は同値である。
• 著者らは、すべての$t > 0$に対して$|\int A \circ g^t B d\nu_{g,F} - \int A d\nu_{g,F} \int B d\nu_{g,F}| < Ce^{-t\kappa}$の形の相関関数の指数的減衰を証明した。ここで$\kappa > 0$は流れとテスト関数のHölderノルムに依存する。
• テンプレート関数を用いて安定・不安定foliationの非可積分性を定量的に測定し、Dolgopyatの推定における振動挙動を制御した。
• 適切なスケール選択と再帰制御を通じて、一様集合上での一様非可積分性を達成し、帰納的減衰議論を可能にした。
• 素軌道定理における誤差項に対して鋭い推定が得られた：$|\pi(T) - \mathrm{Li}(T)| = O(T^{1/2} \exp(-cT))$（$c > 0$）。ここで$\pi(T)$は周期$\leq T$の周期軌道の数を表す。