[论文解读] Mosco Type Convergence of Bilinear Forms and Weak Convergence of $n$-Particle Systems

Jörg‐Uwe Löbus|arXiv (Cornell University)|Sep 21, 2012

Stochastic processes and financial applications参考文献 14被引用 5

一句话总结

该论文建立了一个在变化的 $L^2$ 空间上非对称双线性形式的 Mosco 型收敛框架，实现了 $n$-粒子系统的弱收敛与相对紧致性。证明了在双线性形式满足 Mosco 收敛及适当的附加技术条件下，相应的 $n$-粒子过程弱收敛，将先前结果推广至非对称或基于 Dirichlet 型形式的设定之外。

ABSTRACT

It is well known that Mosco (type) convergence is a tool in order to verify weak convergence of finite dimensional distributions of sequences of stochastic processes. In the present paper we are concerned with the concept of Mosco type convergence for non-symmetric stochastic processes and, in particular, $n$-particle systems in order to establish relative compactness.

研究动机与目标

• 将 Mosco 型收敛推广至非对称双线性形式，且无需依赖 Dirichlet 性质或闭包性。
• 通过关联容量 $\mathbb{E}[e^{-\beta \tau_n}]$ 的收敛，建立 $n$-粒子系统的相对紧致性与弱收敛。
• 为非对称随机过程构建一个通用框架，其中极限初始分布不集中于单一状态。
• 通过在生成元作用于常数函数时引入技术性条件，将 Mosco 收敛技术适配至非压缩半群。
• 将该理论应用于与经典非对称 Dirichlet 形式框架不兼容的粒子系统模型，如文献 [15] 所示。

提出的方法

• 通过 $L^2(E, \nu)$ 上强连续压缩半群的生成元 $A$ 定义双线性形式 $S(u,v)$，其中 $S(u,v) = -\langle Au, v\rangle$，$u \in D(A)$。
• 当 $u \notin D(S)$ 时将 $S(u,v)$ 扩展至无穷，以处理非对称及非正定形式。
• 引入替代压缩性的技术条件：$A_n' \mathbf{1} \to A' \mathbf{1}$ 在适当意义下成立，以确保半群的良定义性。
• 使用预解算子 $G_{n,\beta} = (\beta - A_n)^{-1}$，并通过首次首出时间 $\tau_n$ 定义容量序列 $\mathbb{E}_\nu[e^{-\beta \tau_n}]$。
• 通过证明 $\mathbb{E}_{\nu_n}[\gamma_n(f)] \to 0$ 当 $n \to \infty$，利用指数矩与预解算子的收敛性，建立有界连续函数 $f(\mathbf{X}^n)$ 的紧致性。
• 应用 Stone-Weierstrass 定理与 [2] 中的弱收敛准则，推导出 $\mathbf{X}^n$ 在 $C([0,T]; E)$ 中的弱收敛。

实验结果

研究问题

• RQ1 Mosco 型收敛能否推广至非对称、非正定且非闭包的双线性形式，且不依赖 Dirichlet 形式理论？
• RQ2 在何种条件下，双线性形式的 Mosco 收敛可推出 $n$-粒子系统的相对紧致性？
• RQ3 如何利用 $\mathbb{E}[e^{-\beta \tau_n}]$ 的收敛性来证明有限维分布的弱收敛？
• RQ4 当半群在 $L^2$ 上非压缩时，需要哪些技术性修改？
• RQ5 该框架能否处理非退化的极限初始分布，以及与经典非对称 Dirichlet 形式模型不兼容的系统？

主要发现

• 双线性形式 $S_n$ 对 $S$ 的 Mosco 型收敛，蕴含关联容量 $\mathbb{E}_\nu[e^{-\beta \tau_n}]$ 的收敛，这足以保证 $n$-粒子过程的相对紧致性。
• 在 Mosco 收敛及生成元的技术假设下，建立了 $\mathbb{E}_{\nu_n}[\gamma_n(f)] \to 0$ 当 $n \to \infty$，确保了紧致性。
• 在 $E$ 紧致的条件下，$f(\mathbf{X}^n)$ 在 $C([0,T]; \mathbb{R})$ 中的相对紧致性由 $\mathbb{E}_{\nu_n}[\gamma_n(f)]$ 的消失性推出。
• 通过 $\tilde{C}_b(E)$ 在 $C_b(E)$ 中的稠密性与紧致性准则，证明了 $\mathbf{X}^n$ 在 $C([0,T]; E)$ 中的弱收敛。
• 该框架适用于极限初始分布非退化且过程不契合经典非对称 Dirichlet 形式模型的系统。
• 关键步骤在于 $\|f - \beta G_{n,\beta}g_2\|_{L^2(\nu_n)} \to 0$ 与 $G_{n,\beta}g_2 \to G_\beta g_2$ 的收敛性，以证明 $\mathbb{E}_{\nu_n}[\gamma_n(f)] \to 0$。