[论文解读] Weak convergence of regular Dirichlet subspaces

Liping Li, Toshihiro Uemura+1 more|arXiv (Cornell University)|Sep 6, 2015

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

一句话总结

本文在特征集单调（递减或递增）的条件下，建立了固定一维扩散过程的正则Dirichlet子空间相关扩散过程的弱收敛性。关键结果表明，若特征集在 $d\mathtt{s}$-几乎处处意义下收敛，则相关扩散过程弱收敛，将先前的Mosco收敛结果推广至路径收敛。

ABSTRACT

In this paper we shall prove the weak convergence of the associated diffusion processes of regular subspaces with monotone characteristic sets for a fixed Dirichlet form. More precisely, given a fixed 1-dimensional diffusion process and a sequence of its regular subspaces, if the characteristic sets of regular subspaces are decreasing or increasing, then their associated diffusion processes are weakly convergent to another diffusion process. This is an extended result of [13].

研究动机与目标

• 将先前关于正则Dirichlet子空间的Mosco收敛结果推广至相关扩散过程的弱收敛。
• 研究当正则子空间的特征集在 $d\mathtt{s}$-几乎处处意义下单调（递增或递减）时，扩散过程的收敛行为。
• 建立正则子空间相关扩散过程弱收敛至另一扩散过程的充分条件。
• 分析特征集极限行为与Dirichlet形式及其相关过程收敛性之间的关系。

提出的方法

• 本文通过其关联的尺度函数 $\mathtt{s}_n$ 和特征集 $G_n = \{x : d\mathtt{s}_n/d\mathtt{s} = 1\}$ 研究固定一维扩散过程的正则Dirichlet子空间。
• 利用Lyons-Zheng分解分析扩散过程 $\mathbf{X}^n$ 的样本路径连续性与紧致性。
• 通过有界鞅部分的能量测度 $\mu_{\langle f\rangle}$ 确保紧致性，该测度等于 $\overset{\circ}{\mathtt{s}}(dx)$，即区间 $I$ 上的Lebesgue测度。
• 证明依赖于时间反转与布朗运动耦合，以控制 $Z_t = X_t^t$ 的连续性模。
• 应用条件 $d\overset{\circ}{\mathtt{s}}/dm \leq C$ 以有界二次变差，并确保对所有 $n$ 的一致紧致性。
• 通过紧致性与有限维分布收敛性证明 $\mathbf{X}^n$ 的收敛性，利用弱收敛准则。

实验结果

研究问题

• RQ1 在何种条件下，与正则Dirichlet子空间相关的扩散过程序列 $\mathbf{X}^n$ 弱收敛？
• RQ2 特征集 $G_n$ 的单调性（递增或递减）如何影响 $\mathbf{X}^n$ 的弱收敛？
• RQ3 是否可将Dirichlet形式的Mosco收敛强化为相关扩散过程的弱收敛？
• RQ4 当特征集收敛至非特征集或全区间时，极限过程会发生什么？

主要发现

• 若特征集 $G_n$ 在 $d\mathtt{s}$-几乎处处意义下单调（即 $G_n \downarrow G$ 或 $G_n \uparrow G$），则相关扩散过程 $\mathbf{X}^n$ 弱收敛至扩散过程 $\mathbf{X}$。
• 在较弱条件下（包括 $d\overset{\circ}{\mathtt{s}}/dm$ 有界）该弱收敛成立，后者确保了过程的一致紧致性。
• 通过证明 $Z_t = X_t^t$ 的连续性模在 $\delta \to 0$ 时一致趋于零，建立紧致性，方法包括布朗运动耦合与时间反转。
• Lyons-Zheng分解中鞅部分的能量测度等于 $\overset{\circ}{\mathtt{s}}(dx)$，这对有界二次变差至关重要。
• 该结果将[13]中先前的Mosco收敛结果推广至过程的弱收敛，即使在极限形式可能退化（如零形式，见例3.10）的情况下也成立。
• 收敛具有鲁棒性：极限过程 $\mathbf{X}$ 对应于尺度函数 $\mathtt{s}_\infty$ 的Dirichlet形式，其特征集为 $G_n$ 的极限。