[論文レビュー] Central Limit Theorems for Non-Invertible Measure Preserving Maps

Michael C. Mackey, Marta Tyran‐Kamińska|ArXiv.org|Aug 25, 2006

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

ひとこと要約

この論文は、エルゴード性を仮定せず、非可逆な測度保存写像に対して機能的中心極限定理を確立し、バーキホフ和の収束がスケーリングされたブラウン運動に弱収束することを、ペロン＝フロベニウス作用素を用いて分析する。主な貢献は、繰り返し適用された転送作用素の $ L^2 $-ノルムの減衰に関する新しい十分条件であり、これは従来の結果を非エルゴード的設定に一般化し、極限分散の級数展開を提供する。

ABSTRACT

We establish a new functional central limit theorem result for non-invertible measure preserving maps that are not necessarily ergodic, using the Perron-Frobenius operator. We apply the result to asymptotically periodic transformations and give an extensive specific example of asymptotically periodic transformations by using the tent map.

研究の動機と目的

• 非可逆的かつ非エルゴード的な測度保存変換へ機能的中心極限定理を拡張すること。
• スコロホド空間におけるバーキホフ和の弱収束がスケーリングされたブラウン運動に至るための十分条件を確立すること。
• 転送作用素と不変 $ \sigma $-代数 $ \mathcal{I} $ を用いて、極限分散 $ \eta = \mathbb{E}_\nu(\tilde{h}^2 \mid \mathcal{I}) $ の級数展開を提供すること。
• 結果を漸近的周期的系、特にテント写像を含む具体例として応用すること。

提案手法

• バーキホフ和の $ L^2 $-ノルムの減衰を分析するために、ペロン＝フロベニウス作用素 $ \mathcal{P}_T $ を用いる。
• 新しい十分条件を導入：$ \sum_{n=1}^\infty n^{-3/2} \left\| \sum_{k=0}^{n-1} \mathcal{P}_T^k h \right\|_2 < \infty $ であり、これは弱収束が $ \sqrt{\eta} w $ に至ることを保証する。
• 極限分散 $ \eta $ は $ \mathbb{E}_\nu(\tilde{h}^2 \mid \mathcal{I}) $ として特徴づけられ、ここで $ \tilde{h} $ は $ \mathcal{P}_T \tilde{h textbackslash} = 0 $ を満たし、平均化後に $ L^2 $-ノルムで無視できるようになる $ h - \tilde{h} $ を満たす。
• 二進分解を用いて $ \eta $ の級数展開を導出：$ \eta = \mathbb{E}_\nu(h^2 \mid \mathcal{I}) + \sum_{j=0}^\infty \frac{\mathbb{E}_\nu(S_{2^j} S_{2^j} \circ T^{2^j} \mid \mathcal{I})}{2^j} $。
• 証明はペリグラムとウテフにインspiredされた最大不等式および $ L^2 $-有界性技術に依存し、条件付き期待値と収縮性の性質を用いて級数の収束を制御する。

実験結果

リサーチクエスチョン

• RQ1 非可逆的かつ非エルゴード的な測度保存写像の下で、関数のバーキホフ和が弱収束してスケーリングされたブラウン運動に至る条件は何か？
• RQ2 極限分散 $ \eta $ を転送作用素と不変 $ \sigma $-代数 $ \mathcal{I} $ を用いて明示的に表現できるか？
• RQ3 機能的中心極限定理はエルゴード性の仮定を外して、特に漸近的周期的系へ拡張可能か？
• RQ4 ペロン＝フロベニウス作用素は、非エルゴード的設定における収束速度と分散の特徴づけにおいて果たす役割は何か？

主な発見

• 機能的中心極限定理は条件 $ \sum_{n=1}^\infty n^{-3/2} \left\| \sum_{k=0}^{n-1} \mathcal{P}_T^k h \right\|_2 < \infty $ の下で成立し、これは従来の結果を非エルゴード的写像へ一般化する。
• 極限過程は $ \sqrt{\eta} w $ であり、ここで $ \eta = \mathbb{E}_\nu(\tilde{h}^2 \mid \mathcal{I}) $ であり、$ \mathcal{P}_T \tilde{h} = 0 $ を満たす $ L^2 $-関数 $ \tilde{h} $ で、平均化後に $ h - \tilde{h} $ が $ L^2 $-ノルムで無視できるようになるものである。
• エルゴード的写像の場合、$ \eta $ は定数 $ \|h\|_2^2 $ に簡略化され、古典的な機能的中心極限定理が回復される。
• 級数展開 $ \eta = \mathbb{E}_\nu(h^2 \mid \mathcal{I}) + \sum_{j=0}^\infty \frac{\mathbb{E}_\nu(S_{2^j} S_{2^j} \circ T^{2^j} \mid \mathcal{I})}{2^j} $ が導出され、条件 $ \sum_{j=0}^\infty 2^{-j/2} \left\| \sum_{k=1}^{2^j} \mathcal{P}_T^k h \right\|_2 < \infty $ の下で収束する。
• 結果は漸近的周期的変換へ適用可能であり、テント写像が条件の検証がなされた詳細な具体例として用いられる。