[論文レビュー] Local Limit Theorem for the Lorentz Process and Its Recurrence in the Plane

Domokos Szász, Tamás Varjú|Sep 22, 2003

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

ひとこと要約

本稿は、指数的相関減衰を示すヤング系—つまり、ヤングの公理を満たす双曲的力学系—に対して、統一的な局所中心極限定理（LCLT）を確立する。これは、有界でホルダー連続な関数のバーキホフ和が、平行移動された部分群上の一様測度と正規分布に収束することを示す。平面ローレンツ過程で有限ホライズンの場合は、真のLCLTとほとんど確実な再帰性が導かれる。これはシンアインの長年の予想を解決し、より弱いLCLT形や抽象的エルゴード理論に依存する先行研究を拡張する。

ABSTRACT

For Young systems, i.e. for hyperbolic systems without/with singularities satisfying Lai-Sang Young's axioms (which imply exponential decay of correlation and the CLT) a local CLT is proven. In fact, a unified version of the local CLT is found, covering among others the absolutely contionuous and the arithmetic cases. For the planar Lorentz process with a finite horizon this result implies a.) the local CLT and b.) the recurrence. For the latter case ($d=2$, finite horizon), combining the global CLT with abstract ergodic theoretic ideas, K. Schmidt, and J.-P. Conze, could already establish recurrence.

研究の動機と目的

• ヤング系—つまり、ヤングの公理を満たし、指数的相関減衰とすべてのべきのエルゴード性を満たす双曲的力学系—に対して、一般の局所中心極限定理（LCLT）を確立すること。
• 絶対連続系と算術系のLCLTの取り扱いを統一し、別個の定式化を回避するとともに、混合系への拡張を図ること。
• 統一的LCLTを、有限ホライズンの平面ローレンツ過程に適用し、そのほとんど確実な再帰性を証明すること。
• 従来の結果が弱いLCLT形や抽象的エルゴード理論的議論に依存していたという制限を、確率的・力学的アプローチを用いて克服すること。

提案手法

• 著者らは、有界でホルダー連続な関数 $ f: X \to \mathbb{R}^d $ のバーキホフ和を分析することで、ヤング系に対する統一的LCLTを構築し、最小性と非退化性の条件を満たす。
• 和 $ S_n $ の台を平行移動された閉部分群 $ V + nr $ として定義し、スケーリングされた分布 $ n^{d/2} \upsilon_n $ が弱収束して、非退化な正規密度 $ \varphi(k) $ と部分群 $ V $ 上の一様測度 $ l $ の積に収束することを示す。
• 証明は、ヤング系のスペクトルギャップと指数的混合性に依存し、移動作用素の摂動理論とフーリエ解析技術を用いる。
• ローレンツ過程では、離散的自由飛行関数 $ \kappa: \partial M \to \mathbb{R}^2 $ が主定理の条件を満たすことが示され、LCLTの適用が可能になる。
• 再帰性へのリンクには、漸近的独立性に関する主張が用いられ、K. シュミットとJ.-P. コンツェの先行結果を拡張する。
• 部分補題は、マルコフ分割の構造と帰還時間の力学的性質を用いて証明され、特定の集合が繰り返し作用で正の測度で交わることを示す。

実験結果

リサーチクエスチョン

• RQ1 ヤング系に対して、絶対連続系と算術系の両方をカバーする統一的局所中心極限定理を確立できるか？
• RQ2 有限ホライズンの平面ローレンツ過程は、弱い形ではなく真の局所中心極限定理を満たすか？
• RQ3 ヤ・G・シンアインが予想したように、平面ローレンツ過程はほとんど確実に再帰的か？
• RQ4 抽象的エルゴード理論的議論ではなく、確率的・力学的アプローチを用いて再帰性をLCLTから導けるか？
• RQ5 ローレンツ過程における変位の正確な極限分布は何か？ そして、その分布はもとの双曲的構造とどのように関係するか？

主な発見

• ヤング系に対して統一的局所中心極限定理が証明された：$ n^{d/2} \upsilon_n \to \varphi(k) l $、ここで $ \varphi $ は非退化な正規密度、$ l $ は台部分群 $ V $ 上の一様測度である。
• 有界でホルダー連続、最小的かつ非退化な関数 $ f $ に対してLCLTが成り立ち、その結果、台が $ \mathbb{R}^d $ を張ることを保証する。
• 有限ホライズンの平面ローレンツ過程では、離散的自由飛行関数 $ \kappa $ が主定理の条件を満たし、LCLTの適用が可能になる。
• 有限ホライズンの平面ローレンツ過程の再帰性は、系の帰結として確立された：$ S_n $ はほとんど確実に任意の固定された有界領域に戻る。
• 従来の手法が弱いLCLT形や抽象的エルゴード理論に依存していたのに対し、本結果は再帰性の根拠をより強い形で提供する。
• 部分補題の証明により、繰り返し作用下で正の測度を持つマルコフ交差集合の存在が確認され、再帰性の議論にとって不可欠な要因となる。