[论文解读] Invariance principle for additive functionals of Markov chains

Yuri N. Kartashov, Alexei Kulik|ArXiv.org|Apr 4, 2007

advanced mathematical theories参考文献 6被引用 6

一句话总结

本文通过证明：若底层的马尔可夫链弱收敛到扩散过程，则其可加泛函也弱收敛，前提是这些泛函的特征量收敛，从而建立了马尔可夫链可加泛函的不变性原理。关键贡献是在马尔可夫逼近条件下，为非同分布的马尔可夫链提供了狄尼金定理的完整类比，将分布极限的研究简化为对泛函矩的分析。

ABSTRACT

We consider a sequence of additive functionals {ϕ_n}, set on a sequence of Markov chains {X_n} that weakly converges to a Markov process X. We give sufficient condition for such a sequence to converge in distribution, formulated in terms of the characteristics of the additive functionals, and related to the Dynkin's theorem on the convergence of W-functionals. As an application of the main theorem, the general sufficient condition for convergence of additive functionals in terms of transition probabilities of the chains X_n is proved.

研究动机与目标

• 建立可加泛函的分布极限收敛于极限扩散过程泛函的充分条件。
• 将狄尼金关于W-泛函的定理从同分布过程推广至非同分布马尔可夫链序列。
• 基于链的转移概率，提供可加泛函弱收敛的一般判据。
• 证明在马尔可夫逼近框架下，可加泛函的极限行为可简化为对其期望的分析。

提出的方法

• 引入马尔可夫逼近的概念，确保序列马尔可夫链 $X_n$ 为极限过程 $X$ 提供一致的概率结构。
• 在同一个概率空间上构造一个两分量过程，以比较 $\phi_n(X_n)$ 与 $\phi(X)$，从而实现对泛函之间距离的 $L_2$-估计。
• 使用类似于狄尼金（1965）引理6.5的 $L_2$-估计，通过其特征量控制泛函之间的差异。
• 以可加泛函 $\phi_n$ 的特征量（如期望）收敛的形式表述收敛条件。
• 应用主定理，基于链的转移概率，推导出可加泛函弱收敛的一般充分条件。
• 通过矩界、科莫戈罗夫型连续性准则以及测度的弱收敛（如集合上的表面测度）验证条件。

实验结果

研究问题

• RQ1 在何种条件下，马尔可夫链序列 $X_n$ 的可加泛函 $\phi_n$ 的分布会收敛于极限扩散过程 $X$ 的 $W$-泛函 $\phi$ 的分布？
• RQ2 当链 $X_n$ 非同分布时，$\phi_n$ 的特征量（如期望）收敛是否能推出 $\phi_n$ 的分布的弱收敛？
• RQ3 为使泛函收敛与过程的路径收敛相一致，序列 $\{X_n\}$ 需要满足哪些结构假设？
• RQ4 如何直接基于马尔可夫链 $X_n$ 的转移核来刻画可加泛函的收敛性？
• RQ5 在分形或光滑集上的局部时间泛函背景下，为确保可加泛函的紧致性与弱收敛，需要哪些矩条件与几何条件？

主要发现

• 主定理表明：在马尔可夫逼近条件下，若可加泛函 $\phi_n$ 的特征量弱收敛于 $W$-泛函 $\phi$ 的特征量，则 $\phi_n$ 的分布弱收敛于 $\phi$ 的分布。
• 当底层链 $X_n$ 满足马尔可夫逼近条件且泛函特征量收敛时，$\phi_n$ 的有限维分布收敛性得以保证。
• 对于 $\mathbb{R}^d$ 中的随机游动（$d \geq 2$），在矩条件 $\mathbb{E}\|\xi_k\|^{\alpha} < \infty$ 对某个 $\alpha > 2\theta + 2$ 成立时，归一化局部时间泛函 $\phi_n$ 弱收敛于布朗运动的局部时间。
• 在条件 $ \lambda^d(K_\varepsilon) \geq \text{const} \cdot \varepsilon^\beta $ 且 $ \beta < 2 $ 下，有 $ (X_n, \psi_n(X_n)) \Rightarrow (X, \phi(X)) $ 在 $ C(\mathbb{R}^+, \mathbb{R}^d) \times C(\mathbb{T}, \mathbb{R}^+) $ 中成立，确保了良定义的表面测度 $\lambda_K$ 的存在。
• 该结果适用于晶格与非晶格随机游动，且在增量的统一矩条件下收敛性仍成立。
• 通过一种“截断”过程，该方法可消除矩条件，表明收敛结果具有鲁棒性。