[论文解读] Generalized random fields and L\\'evy's continuity theorem on the space of tempered distributions

Hermine Biermé, Olivier Durieu+1 more|arXiv (Cornell University)|Jun 28, 2017

Stochastic processes and financial applications参考文献 6被引用 7

一句话总结

本文为在温和分布空间中的广义随机场的 Lévy 连续性定理提供了自包含的证明，避免了核空间抽象框架的使用。关键贡献在于通过特征泛函的逐点收敛，直接且易于理解地推导出分布收敛性，利用了施瓦茨空间及其对偶的性质。

ABSTRACT

In this note, we recall main properties of generalized random fields and present a proof of the continuity theorem of Paul L\\'evy for generalized random fields in the space of tempered distributions. This theorem was first proved by Fernique (1968) in a more general setting. The aim of this note is to provide a self-contained proof that in particular avoids the abstract theory of nuclear spaces.

研究动机与目标

• 为在温和分布空间中的广义随机场提供 Lévy 连续性定理的自包含证明。
• 避免依赖于核空间及其对偶的抽象理论，该理论在现有处理中使可及性复杂化。
• 建立广义随机场的弱收敛与特征泛函逐点收敛之间的等价性。
• 阐明与随机收敛相关的温和分布空间的拓扑性质。
• 通过在随机球模型和图像处理等应用中频繁使用的设定下，提供一种直接且初等的证明，弥合文献中的空白。

提出的方法

• 以施瓦茨空间 $\mathcal{S}(\mathbb{R}^d)$ 及其拓扑对偶——温和分布空间 $\mathcal{S}'(\mathbb{R}^d)$ 作为基础函数空间。
• 在 $\mathcal{S}'$ 上应用弱拓扑与强拓扑，证明其 Borel $\sigma$-代数一致。
• 利用 Tychonoff 定理和 $\mathcal{S}$ 中的相对紧性，建立闭有界集的弱紧性。
• 通过 $\mathcal{S}$ 与 $\mathcal{S}'$ 之间的对偶性，以及等连续性，将有界集上的强拓扑与弱拓扑联系起来。
• 以 Minlos–Bochner 定理为基础，构建广义随机场特征泛函的理论。
• 在零点连续的条件下，通过特征泛函的逐点收敛建立分布收敛性。

实验结果

研究问题

• RQ1 广义随机场的 Lévy 连续性定理是否可以在不引入核空间抽象理论的前提下得到证明？
• RQ2 哪些 $\mathcal{S}'$ 的拓扑与泛函分析性质可确保特征泛函的收敛性蕴含分布收敛性？
• RQ3 在有界与闭集的背景下，$\mathcal{S}'$ 上的弱拓扑与强拓扑之间有何关系？
• RQ4 在何种条件下，广义随机场的特征泛函的逐点收敛可蕴含分布收敛性？
• RQ5 是否可能构建一个自包含的连续性定理证明，同时对功能分析领域外的研究人员保持可及性？

主要发现

• 在 $\mathcal{S}'$ 上，弱拓扑与强拓扑的 Borel $\sigma$-代数相同，从而支持一致的概率处理。
• 每个弱闭且弱有界的 $\mathcal{S}'$ 子集都是弱紧的，这是 Tychonoff 定理与 $\mathcal{S}$ 结构的直接结果。
• $\mathcal{S}'$ 的强有界子集是等连续的，这使得在这些集合上弱拓扑与强拓扑等价。
• 一个闭且强有界的 $\mathcal{S}'$ 子集既是弱紧的也是强紧的，从而在对偶空间中确保收敛性质。
• 该证明表明，广义随机场的分布收敛性等价于其特征泛函的逐点收敛性，前提是极限在零点连续。
• 该结果为随机过程中的极限定理提供了实用且易懂的工具，尤其适用于涉及随机场和图像建模的应用。