[论文解读] Infinite-dimensional stochastic differential equations and tail $ σ$-fields

Hirofumi Osada, Hideki Tanemura|arXiv (Cornell University)|Dec 30, 2014

Random Matrices and Applications参考文献 41被引用 12

一句话总结

本文建立了关于描述 $\mathbb{R}^d$ 中无限多个相互作用的布朗运动粒子的无限维随机微分方程（ISDEs）的强解的存在性与路径唯一性的普遍定理。通过引入基于标记路径空间的尾 $\sigma$-域的新表述方法，作者在包括勒壤的类（例如，伦纳德-琼斯 6-12）和随机矩阵理论中的对数势在内的广泛相互作用势类中证明了这些结果，解决了该领域长期存在的一个开放问题。

ABSTRACT

We present general theorems solving the long-standing problem of the existence and pathwise uniqueness of strong solutions of infinite-dimensional stochastic differential equations (ISDEs) called interacting Brownian motions. These ISDEs describe the dynamics of infinite-many Brownian particles moving in $ \mathbb{R}^d $ with free potential $ Φ$ and mutual interaction potential $ Ψ$. We apply the theorems to essentially all interaction potentials of Ruelle's class such as the Lennard-Jones 6-12 potential and Riesz potentials, and to logarithmic potentials appearing in random matrix theory. We solve ISDEs of the Ginibre interacting Brownian motion and the sine$_β$ interacting Brownian motion with $ β= 1,2,4$. We also use the theorems in separate papers for the Airy and Bessel interacting Brownian motions. One of the critical points for proving the general theorems is to establish a new formulation of solutions of ISDEs in terms of tail $ σ$-fields of labeled path spaces consisting of trajectories of infinitely many particles. These formulations are equivalent to the original notions of solutions of ISDEs, and more feasible to treat in infinite dimensions.

研究动机与目标

• 解决关于描述相互作用布朗运动的无限维 SDE（ISDEs）的强解的存在性与路径唯一性的长期开放问题。
• 将 ISDE 理论的应用范围从紧台支撑或指数衰减的相互作用势扩展到统计物理和随机矩阵理论中相关的多项式衰减和对数势。
• 提出一种基于标记路径空间的尾 $\sigma$-域的新 ISDE 解表述方法，该方法在无限维设定下更具可处理性。
• 建立适用于关键模型（如 Ginibre 和正弦 $\beta$ 相互作用布朗运动，$\beta = 1,2,4$）的定理。
• 提供一个统一并扩展先前关于 ISDE 的弱解与 Dirichlet 型形式结果的一般性框架。

提出的方法

• 以标记路径空间的尾 $\sigma$-域 $\mathcal{T}_{\mathrm{path}}(S^{\mathbb{N}})$ 的新表述方式来定义 ISDE 解，该表述与经典解等价，但在无限维设定下更易于分析。
• 证明两个主要定理：一个针对尾 $\sigma$-域平凡（$\mathcal{T}_{\mathrm{path}}(S^{\mathbb{N}})$）的测度 $\mu$，另一个针对非平凡尾，采用包含 IFC、TT、AC、SIN 和 NBJ 的五条假设框架。
• 建立第二个尾定理（定理 5.1），表明在五条假设下，路径空间的尾 $\sigma$-域是平凡的，这对证明路径唯一性至关重要。
• 通过系数的局部化和利普希茨连续性论证（命题 8.2）证明特定模型（如 Ginibre 和正弦 $\beta$ 过程）的存在性与唯一性。
• 应用随机环境下的 Yamada-Watanabe 理论，证明在五条假设下存在强解。
• 利用 Georgii 的尾分解分析条件测度的结构，并证明尾测度几乎必然为 0 或 1，从而实现唯一性。

实验结果

研究问题

• RQ1 对于长程或对数相互作用势（如伦纳德-琼斯 6-12 势）的 ISDE，强解是否存在且路径唯一？
• RQ2 ISDE 解的概念应如何重新表述，以使其在无限维空间中更易于分析？
• RQ3 在何种条件下，标记路径空间的尾 $\sigma$-域是平凡的，这与解的路径唯一性有何关联？
• RQ4 这些普遍定理能否应用于求解 $\beta=1,2,4$ 的 Ginibre 和正弦 $\beta$ 随机点场的 ISDE？
• RQ5 相互作用势和初始测度需满足何种充分条件，以使五条关键假设（IFC、TT、AC、SIN、NBJ）成立？

主要发现

• 本文建立了普遍定理（定理 3.1 和 3.4），保证了在勒壤类相互作用势（包括伦纳德-琼斯 6-12 势和 Riesz 势）下的 ISDE 的强解的存在性与路径唯一性。
• 作者证明了在五条假设下，尾 $\sigma$-域 $\mathcal{T}_{\mathrm{path}}(S^{\mathbb{N}})$ 是平凡的，这是证明路径唯一性的关键步骤。
• 利用普遍定理，求解了 $\beta=1,2,4$ 的 Ginibre 相互作用布朗运动，确认了唯一强解的存在性。
• 通过相同框架求解了 $\beta=1,2,4$ 的正弦 $\beta$ 相互作用布朗运动，将先前结果扩展到 $\beta$ 的完整取值范围。
• 本文为五条关键假设（IFC、TT、AC、SIN、NBJ）提供了充分条件，特别是通过局部化和泰勒展开技术，为 SIN 和 NBJ 条件提供了依据。
• 尾分解结果（引理 14.2）表明，尾测度 $\mu_{\mathrm{Tail}}^{\mathsf{a}}$ 几乎必然为 0 或 1，且对不同值互为奇异，这对证明唯一性至关重要。