[論文レビュー] Markov Towers and Stochastic Properties of Billiards

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

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

ひとこと要約

この論文は、マルコフタワー理論を拡張して、特に平面ローレンツ過程に注目し、力学系におけるより細かい確率的性質—特に局所中心極限定理—を確立する。フーリエ変換されたペロン＝フロベニウス作用素の固有値解析を通じて、スケーリング $ olimits\sqrt{n\log n}$ の非中心極限定理を証明し、有限および無限ホライズンの場合の再帰性を確立。特に、動的アプローチを用いて無限ホライズンの場合の再帰性について、初めての厳密な証明を与える。

ABSTRACT

The aim of this survey is twofold. First we show how the Markov tower construction is applicable for obtaining finer stochastic properties, like a local limit theorem of probability theory. Here the fundamental method is the study of the spectrum of the Fourier transform of the Perron--Frobenius operator. These ideas and results are applicable to all systems Young has been considering. Second, we survey the problem of recurrence of the planar Lorentz process. As an application of the results from the first part, we obtain a dynamical proof of recurrence for the finite horizon case. Here basically different proofs were given by K. Schmidt, in 1998, and J.-P. Conze, in 1999. As another application we can also treat the infinite horizon case, where already the global limit theorem is absolutely novel. It is not a central one, the scaling is $\sqrt {n \log n}$ in contrast to the classical $\sqrt n$ one. Beyond thus giving a rigorous proof for earlier heuristic ideas of P. Bleher, which used three delicate and hard hypotheses, we can also a) verify the local version of this limit theorem for the free flight function and b) prove the recurrence of the planar Lorentz process in the infinite horizon case.

研究の動機と目的

• 指数的相関減衰を超える応用をマルコフタワーに拡張し、局所中心極限定理のようなより細かい確率的性質を確立すること。
• 平面ローレンツ過程の有限および無限ホライズンの場合における再帰性を、動的証明によって与えること。
• 無限ホライズンのローレンツガスにおける変位の非中心極限定理を、スケーリング $\sqrt{n\log n}$ を用いて厳密に確立すること。
• 無限ホライズン系における自由飛行関数の局所版非ガウス極限定理を検証すること。
• 再帰性が $\sum \frac{1}{n\log n}$ および $\sum \frac{1}{n\sqrt{\log n}}$ の発散から生じることを、適切なスケーリングのもとで示すこと。

提案手法

• 遷移作用素 $P_t$ のスペクトル的性質を解析するため、ペロン＝フロベニウス作用素のフーリエ変換の使用。
• $\bar{\kappa}^{-\delta}$ を含む修正された重み関数を用いて、作用素ノルムにおける連続性を保証する、連続的な摂動作用素族 $P_t$ の構成。
• 反復作用素 $P_t^n(\mathbf{1})$ を、指数的に小さい誤差の範囲で、主固有値項 $\lambda_t^n \bar{\nu}$ で近似すること。
• Birkhoff和とi.i.d.確率変数の和を結びつけるために、$t \to 0$ のときの $\lambda_t$ と特性関数 $\hat{\kappa}(t)$ の漸近的同等性を確立すること。
• $n\log n \cdot \nu(S_n^\kappa = k_n) \to \phi(k)$ の収束を用いて、移動過程 $S_n^\kappa$ に対して局所中心極限定理の枠組みを適用すること。
• 平行な通路の場合に、非等方的スケーリング $B_n = \text{diag}(\sqrt{n\log n}, \sqrt{n})$ を用いて、異方的拡散を扱うこと。

実験結果

リサーチクエスチョン

• RQ1 非一様な双曲的力学系に対して、マルコフタワー枠組みを、局所中心極限定理を導くように拡張可能か？
• RQ2 無限ホライズンの平面ローレンツガスにおける極限定理の正しいスケーリングは何か？そしてそれはガウス極限を与えるか？
• RQ3 無限ホライズンの場合の平面ローレンツ過程の再帰性は、中心極限定理に依存せずに、動的アプローチによって証明可能か？
• RQ4 摂動された遷移作用素 $P_t$ のスペクトル的挙動は、自由飛行関数の特性関数とどのように関係するか？
• RQ5 通路の幾何構造—特にその方向、幅、境界点—は、極限ガウス密度を決定づける役割を果たすか？

主な発見

• 無限ホライズンの平面ローレンツ過程では、変位 $S_n^\kappa$ が $\nu(S_n^\kappa \in \sqrt{n\log n} A) \to \int_A \phi(k) dk$ を満たす。ここで $\phi$ は平均ゼロの非退化ガウス密度である。
• 局所中心極限定理が成立：$n\log n \cdot \nu(S_n^\kappa = k_n) \to \phi(k)$ であり、$k_n / \sqrt{n\log n} \to k$ を満たす。ここで $\phi$ は通路の幾何構造および境界点における散乱体の曲率にのみ依存する。
• 無限ホライズンの場合の平面ローレンツ過程の再帰性は、$\sum \frac{1}{n\log n}$ の発散から生じ、有限ホライズンの場合と同様の構造を持つ。
• 平行な通路の場合、非等方的スケーリング $B_n = \text{diag}(\sqrt{n\log n}, \sqrt{n})$ を用いると $n\sqrt{\log n} \cdot \nu(S_n^\kappa = k_n) \to \phi(k)$ が成り立ち、再帰性は $\sum \frac{1}{n\sqrt{\log n}}$ の発散によって保証される。
• 摂動された遷移作用素の主固有値 $\lambda_t$ は $\lambda_t = 1 + c|t|^2\log|t| + O(|t|^2)$ を満たし、特性関数 $\hat{\kappa}(t)$ の挙動と一致する。これにより、i.i.d.和と漸近的に同等であることが保証される。
• 本手法により、中心極限定理に依存しない動的再帰証明が可能となり、シュミットおよびコンゼの以前のエルゴディック的証明とは異なった新たな道筋を提供する。