[論文レビュー] Statistical properties of dynamics. Introduction to the functional analytic approach

Stefano Galatolo|arXiv (Cornell University)|Oct 9, 2015

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

ひとこと要約

本稿では、関数解析的アプローチを用いて、写像空間および測度空間における遷移作用素の作用を通じて、力学系の統計的性質を研究する。拡大および混合系に対して、正則な不変測度の存在、スペクトルギャップ、相関の崩壊、摂動に対する安定性を確立し、弱化されたが基本的なラツィョ・ヨルケ不等式とスペクトル論を用いて主要な結果を証明する。

ABSTRACT

These are lecture notes for a simple minicourse approaching the satistical properties of a dynamical system by the study of the associated transfer operator (considered on a suitable functions or measures spaces). The following questions will be addressed: *existence of a regular invariant measure; *Lasota Yorke inequalities and spectral gap; *decay of correlations and some limit theorem; *stability under perturbations of the system *linear response *random systems *hyperbolic systems. The point of view taken is to present the general construction and ideas needed to obtain these results in the simplest way. For this, some theorem is proved in a form which is weaker than usually known, but with an elementary and simple proof. These notes are intended for the Hokkaido-Pisa University summer course 2021.

研究の動機と目的

• 力学系の統計的性質を分析するための関数解析的フレームワークを構築すること。特に、関数および測度空間における遷移作用素の作用に焦点を当てる。
• ラツィョ・ヨルケ不等式を用いて、拡大および部分的拡大写像に対して正則な不変測度の存在を確立すること。
• 遷移作用素のスペクトル性質を通じて、相関の崩壊、混合性、平衡への収束を分析すること。
• 決定的および確率的摂動の下での不変測度および統計的性質の安定性を調査すること。
• カオス的系における線形応答理論および不変測度の数値計算の基盤を提供すること。

提案手法

• 測度の時間発展を記述するため、$ L^1 $ およびソボレフ型ノルム（$ W^{1,1} $）上で作用する遷移作用素を定義し、関数および測度空間におけるダイナミクスの性質を研究する。
• 正則化効果および遷移作用素に対する一様有界性を確立するため、弱化されたが基本的なラツィョ・ヨルケ不等式を証明する。
• $ W^{1,1} $-型ノルムにおけるスペクトルギャップの推定を用いて、相関の指数的崩壊および中心極限定理を導出する。
• 作用素族に対する一様収縮の議論を適用し、系の小さな摂動の下での安定性を証明する。
• 遷移作用素の微分に対する一様有界性を構築し、ダイナミクスの滑らかな変化に対する線形応答式を導出する。
• 遷移作用素に対する反復的推定を用いて、$ W^{1,1} $ における正則性が反復操作によって保存されることを示し、平衡への収束を可能にする。

実験結果

リサーチクエスチョン

• RQ1 力学系が正則な不変測度を有するための条件は何か。また、その不変測度は遷移作用素を用いてどのように構成できるか。
• RQ2 遷移作用素のスペクトルに指数的崩壊およびスペクトルギャップを保証する条件は何か。
• RQ3 小さな決定的または確率的摂動の下で、不変測度や混合速度などの統計的性質はどのように変化するか。
• RQ4 遷移作用素の枠組みを用いて、ダイナミクスの滑らかな変化に対する線形応答式を導出できるか。
• RQ5 どのような条件下で、遷移作用素が写像族に対して一様収縮的となり、統計的性質の安定性が保証されるか。

主な発見

• 遷移作用素の $ W^{1,1} $-ノルムにおけるラツィョ・ヨルケ不等式が、$ \inf|T'| $、$ \|T''/(T')^2\|_\infty $、および $ \|\partial G/\partial x\|_\infty $ に依存する定数を用いて確立され、反復操作における正則性の制御が保証される。
• $ L_F $ が $ \|L_F^n \mu\|_{W^{1,1}} \leq \lambda^n (\|\mu\|_{W^{1,1}} + \|\phi'_\mu\|_1) + B\|\mu\|_1 $ を満たす $ \lambda < 1 $ に対して成立し、一様な正則性および平衡への収束が証明される。
• スペクトルギャップにより相関の指数的崩壊が示され、$ \|L_F^n \mu - \mu\|_{W^{1,1}} \to 0 $ の収束速度 $ \lambda^n $ から推定が得られる。
• 作用素族の一致収縮性を用いて、小さな摂動の下での安定性が証明され、不変測度の変動に対する有界性が得られる。
• 円周上の拡大写像に対する線形応答が、遷移作用素の微分作用素を用いて導出され、系のパラメータの変化に伴う不変測度の微分可能性が示される。
• 遷移作用素の $ W^{1,1} $-正則性およびスペクトル性質に基づく近似スキームを用いて、不変測度の数値計算が厳密に可能となる。