[论文解读] On Mean Field Convergence and Stationary Regime

Michel Benaı̈m, Jean‐Yves Le Boudec|arXiv (Cornell University)|Nov 24, 2011

Stochastic processes and financial applications参考文献 17被引用 27

一句话总结

本文在弱收敛假设下建立结论：即一族随机过程在有限时间边际分布收敛于确定性过程时，该随机过程不变分布的任意极限点均为确定性极限的不变分布。关键结果为：此类极限点的支撑位于确定性系统的Birkhoff中心内，从而在无需流动结构或极限点唯一性假设下，将均场收敛扩展至稳态 regime。

ABSTRACT

Assume that a family of stochastic processes on some Polish space $E$ converges to a deterministic process; the convergence is in distribution (hence in probability) at every fixed point in time. This assumption holds for a large family of processes, among which many mean field interaction models and is weaker than previously assumed. We show that any limit point of an invariant probability of the stochastic process is an invariant probability of the deterministic process. The results are valid in discrete and in continuous time.

研究动机与目标

• 建立均场随机过程稳态收敛至其确定性极限的条件。
• 弱化先前对不变测度收敛所需的假设，如耗散性、极限点唯一性或半流结构。
• 证明Feller连续性与有限时域分布收敛足以保证不变分布的收敛。
• 将随机逼近与均场理论中的已知结果推广至更一般的波兰空间及非唯一极限集（包括极限环）的情形。
• 为移动网络、TCP 及声誉系统等模型提供一个通用框架，其中 ODE 可能表现出复杂的长期行为。

提出的方法

• 假设一族在波兰空间 $ E $ 上的 Feller 过程 $ Y^N $，其初始条件收敛于一个确定性点。
• 施加假设 1：对任意固定时间 $ t $，$ Y^N(t) $ 的分布收敛于确定性过程 $ \rho_t(y_0) $，且在紧集上一致收敛。
• 利用 Skorokhod 表示定理将序列 $ \tilde{\nu}^N $ 与极限的随机变量 $ X $ 耦合，以确保几乎必然收敛。
• 对条件数学期望 $ \bbE[h(Y^N(t)) \big| Y^N(0) = y] $ 应用控制收敛定理，证明其几乎必然收敛于 $ h(\rho_t(x)) $。
• 利用 $ \nu^N $ 的不变性，推导出 $ \bbE[h(Y^N(t))] = \bbE[h(Y^N(0))] $，并取极限得到 $ \bbE[h(\rho_t(X))] = \bbE[h(X)] $，从而证明极限测度的不变性。
• 在半流情形下，应用 Poincaré 递归定理，证明极限测度的支撑包含于递归集的闭包中。

实验结果

研究问题

• RQ1 在何种条件下，均场随机过程的不变分布会收敛至其确定性极限的不变分布？
• RQ2 有限时间边际收敛是否足以保证稳态收敛，而无需假设确定性过程为半流或具有唯一吸引子？
• RQ3 当确定性系统表现出极限环或非吸引递归集时，不变测度的支撑会发生什么变化？
• RQ4 对极限确定性过程的假设可弱化至何种程度，仍能保证不变测度的收敛？
• RQ5 该结果能否推广至离散时间过程及非马氏过程（如插值过程）？

主要发现

• 任意随机过程 $ Y^N $ 的不变测度序列 $ \nu^N $ 的弱极限点 $ \nu $，即使在不假设 $ \rho $ 连续或具有流结构的前提下，也是确定性过程 $ \rho $ 的不变测度。
• 此类极限测度 $ \nu $ 的支撑包含于 $ \rho $ 的 Birkhoff 中心内，即满足 $ \liminf_{t\to\infty} d(x, \rho_t(x)) = 0 $ 的点集。
• 若 $ \rho $ 是连续半流，且所有轨迹收敛至唯一不动点 $ y^* $，且序列 $ \nu^N $ 紧致，则 $ \nu^N \Rightarrow \delta_{y^*} $，即 $ y^* $ 处的 Dirac 测度。
• 该结果适用于表现出复杂长期行为的系统（如极限环），如 Bordenave 等人 (2007) 和 Cho 等人 (2010) 的模型所示，其中确定性 ODE 可能不收敛至唯一点。
• $ Y^N $ 的 Feller 性质对保证条件数学期望的连续性至关重要，从而使得控制收敛定理在证明中得以应用。
• 若状态空间 $ E $ 紧致，则 $ \nu^N $ 的紧致性自动成立，且可保证收敛至唯一极限点处的 Dirac 测度。