[论文解读] Glauber Dynamics in Continuum: A Constructive Approach to Evolution of States

Dmitri Finkelshtein, Yuri Kondratiev+1 more|arXiv (Cornell University)|Apr 12, 2011

Theoretical and Computational Physics参考文献 16被引用 4

一句话总结

该论文通过巴拿赫空间族与Ovsjannikov方法，构建了连续介质中相互作用粒子Glauber动力学的状态时间演化，实现了对泊松初始态的全局时间解。其建立了Vlasov标度极限，导出适用于任意相互作用强度与活度的关联函数非线性动力学方程，对一般初始数据给出显式时间界限，并对泊松初始条件实现全局解。

ABSTRACT

The evolutions of states is described corresponding to the Glauber dynamics of an infinite system of interacting particles in continuum. The description is conducted on both micro- and mesoscopic levels. The microscopic description is based on solving linear equations for correlation functions by means of an Ovsjannikov-type technique, which yields the evolution in a scale of Banach spaces. The mesoscopic description is performed by means of the Vlasov scaling, which yields a linear infinite chain of equations obtained from those for the correlation function. Its main peculiarity is that, for the initial correlation function of the inhomogeneous Poisson measure, the solution is the correlation function of such a measure with density which solves a nonlinear differential equation of convolution type.

研究动机与目标

• 在不依赖路径马尔可夫过程的前提下，描述连续介质中无限相互作用粒子系统的马尔可夫状态演化。
• 通过在巴拿赫空间族中使用构造性方法，克服先前基于半群方法的局限性，构造解。
• 通过Vlasov标度获得介观描述，导出关联函数的非线性动力学方程。
• 即使对一般初始数据存在时间限制，仍为以强度 $\varkappa$ 的泊松测度主导的初始态建立全局时间解。
• 为任意 $\varkappa > 0$ 和 $\phi \geq 0$ 的Glauber动力学下关联函数的演化提供严格框架。

提出的方法

• 在巴拿赫空间族 $\{\mathcal{K}_\alpha\}_{\alpha \in \mathbb{R}}$ 中应用Ovsjannikov型技术，求解关联函数的线性演化方程。
• 使用类似Picard的迭代方法，构造关联函数演化方程 $\frac{d}{dt}k_t = L^\Delta k_t$ 的经典解。
• 应用Vlasov标度极限对空间与时间进行重标度，导出关联函数的非线性无限链方程。
• 在初始关联函数为泊松分布的条件下，导出泊松测度密度在标度极限下的卷积型非线性微分方程。
• 通过巴拿赫空间族中的估计，建立重标度假设关联函数收敛于Vlasov层级解。
• 利用可观测量与状态之间的对偶性，将关联函数的演化与测度的Fokker–Planck方程联系起来。

实验结果

研究问题

• RQ1 能否在不依赖路径马尔可夫过程的前提下，对任意 $\varkappa > 0$ 和 $\phi \geq 0$，直接在关联函数空间中构造Glauber动力学的状态演化？
• RQ2 在巴拿赫空间族框架下，关联函数演化的最大时间区间为何？
• RQ3 Vlasov标度极限如何将关联函数的线性层级转化为非线性动力学方程？
• RQ4 在何种条件下，Vlasov层级解可全局存在时间，特别是对泊松初始关联函数？
• RQ5 能否在巴拿赫空间框架下严格建立重标度假设关联函数向Vlasov极限的收敛性？

主要发现

• 通过Ovsjannikov方法在巴拿赫空间族 $\mathcal{K}_\alpha$ 中构造关联函数演化，得到解在时间区间 $[0, T(\alpha, \alpha_0))$ 上定义，其中任意 $\alpha_0$ 与 $\alpha < \alpha_0$，且 $T$ 依赖于 $\alpha_0$、$\alpha$、$\varkappa$ 与 $\|\phi\|_{L^\infty}$。
• 对于以强度 $\varkappa$ 的泊松测度主导的初始关联函数，解满足 $k_t(\eta) \leq \varkappa^{\vert\eta\vert}$，且在 $\alpha_0$ 满足条件 (4.20) 时可全局延拓至时间。
• Vlasov标度极限导出重标度假设关联函数的非线性无限链方程 (4.12)，在 $\mathcal{K}_\alpha$ 中对 $t \in [0, \widetilde{T}(\alpha_0, \alpha))$ 存在唯一经典解。
• 当初始关联函数为泊松分布，即 $r_0 = e(\varrho_0, \cdot)$ 时，若 $\alpha_0$ 满足 (4.20)，则Vlasov层级解为 $r_t = e(\varrho_t, \cdot)$，且在足够大的 $\mathcal{K}_{\alpha_0}$ 中全局存在时间。
• 重标定生成元 $L_{\varepsilon,\text{ren}}$ 与Vlasov生成元 $L_V$ 的差值有界于 $\varepsilon \cdot C(\varkappa, \|\phi\|_{L^\infty}, \alpha_0, \alpha)$，证明了标度极限的收敛性。
• 当 $c_\phi \varkappa < 1/e$ 时，拟可观测量的演化生成 $C_0$-半群，意味着无时间限制的全局存在性，与一般情况形成对比。