[论文解读] Pointwise ergodic theorems with rate and application to limit theorems for stationary processes

Christophe Cuny|ArXiv.org|Apr 1, 2009

Mathematical Dynamics and Fractals参考文献 9被引用 16

一句话总结

本文通过谱理论和Derriennic-Lin方法的最新扩展，为在保测变换下$ L^2 $函数建立了具有显式收敛速率的逐点遍历定理。这些结果被应用于推导平稳过程的功能iterated logarithm (LIL)律和quenched中心极限定理，特别是针对具有正规转移算子的马尔可夫链。

ABSTRACT

We obtain pointwise ergodic theorems with rate under conditions expressed in terms of the convergence of series involving $\|\sum_{k=1} ^nf\circ θ^k\|_2$, improving previous results. Then, using known results on martingale approximation, we obtain some LIL for stationary ergodic processes and quenched central limit theorems for functional of Markov chains. The proofs are based on the use of the spectral theorem and, on a recent work of Zhao-Woodroofe extending a method of Derriennic-Lin.

研究动机与目标

• 为在保测变换下$ L^2 $函数建立具有显式收敛速率的逐点遍历定理。
• 通过谱理论和Derriennic-Lin方法的最新进展，改进现有关于鞅逼近和遍历收敛结果。
• 为平稳过程推导功能型iterated logarithm (LIL)律和quenched中心极限定理 (CLT)，特别是源自马尔可夫链的过程。
• 利用谱测度对部分和与它们的鞅逼近之间$ L^2 $-范数的差异进行精细控制。
• 将结果从酉算子推广到正规算子，扩大其在更广泛随机过程类（包括正规马尔可夫链）中的适用性。

提出的方法

• 利用正规算子的谱定理，通过谱测度$ \mu_f $分析遍历平均的收敛性。
• 将Gaposhkin (1970) 的引理5的推广版本应用于酉算子和正规算子，将遍历和的$ L^2 $-范数与谱测度上的积分联系起来。
• 建立涉及$ \chi(n)\mu_f(D_n) $的级数收敛性与$ \sum \chi(n)\|U_n(f)\|^2 / n^3 $收敛性之间的等价性，其中$ U_n(f) = \sum_{k=1}^n T^k f $。
• 采用Maxwell-Woodroofe和Kipnis-Varadhan的鞅逼近框架，控制平稳过程的$ \|S_n - M_n\|_2 $。
• 使用$ G_t $-变换和预解技术构造逼近鞅，并估计部分和与鞅之间$ L^2 $-误差。
• 在$ L^2(\mu_f) $中应用Lebesgue控制收敛定理，证明当$ t \to 1^- $时预解型算子的收敛性，从而实现速率控制。

实验结果

研究问题

• RQ1 在谱测度$ \mu_f $满足何种谱条件时，遍历平均$ \frac{1}{n}\sum_{k=1}^n f \circ \theta^k $以给定速率几乎必然收敛？
• RQ2 如何利用谱定理和Derriennic-Lin方法的最新扩展，改进逐点遍历定理中收敛速率的估计？
• RQ3 谱测度满足何种条件可确保部分和$ S_n $与它们的鞅逼近$ M_n $之间差值的几乎必然收敛？
• RQ4 鞅逼近方法能否被进一步优化，以推导平稳过程的功能型LIL律和quenched CLT？
• RQ5 当马尔可夫链的转移算子为正规算子时，结果如何改进，特别是在控制$ \|S_n - M_n\|_2 $方面？

主要发现

• 在$ \chi $满足缓慢增长和指数分离等条件下，本文建立了$ \int_{D_1} |\varphi(z)| \, d\mu_f(z) $收敛性与$ \sum_{n \geq 1} \chi(2^n) \mu_f(D_{2^n}) $收敛性之间的等价性。
• 证明了$ \sum_{n \geq 1} \frac{\chi(n) \|U_n(f)\|^2}{n^3} < \infty $与$ |\varphi(z)| $关于$ \mu_f $可积性等价，为速率控制提供了关键判据。
• 对于差值$ W_n = S_n(f) - M_n $，本文导出了估计式$ \mathbb{E}_m[\|W_n\|^2] \leq C_3 \left( \sum_{k=1}^{n-1} \frac{\|U_k(f)\|^2}{k} + n \int_{D_n} \frac{\mu_f(dz)}{|1-z|} \right) $，从而控制了鞅逼近中的$ L^2 $-误差。
• 在条件$ \sum_{n \geq 1} \frac{\|U_n(f)\|^2}{n^2} < \infty $下，本文证明了$ \|S_n - M_n\|_2 = O(1) $，该条件足以保证quenched CLT和LIL成立。
• 当转移算子为正规算子时，谱测度$ \mu_f $被支撑在单位圆上，此时结果可对$ \|S_n - M_n\|_2 $提供更精细的控制，从而提升收敛速率。
• 本文证明了若$ \int_{D} \frac{\mu_f(dz)}{|1-z|} < \infty $，则$ \|S_n - M_n\|_2 = O(1) $，该条件足以保证quenched CLT和LIL几乎必然成立。