[论文解读] Dean-Kawasaki Dynamics: Ill-posedness vs. Triviality

Tobias Lehmann, Vitalii Konarovskyi+1 more|arXiv (Cornell University)|Jun 13, 2018

Advanced Thermodynamics and Statistical Mechanics参考文献 32被引用 3

一句话总结

本文证明，Dean-Kawasaki 随机偏微分方程（SPDE）仅在扩散参数 α 为正整数，且初始测度 μ₀ 在 α 个点上以质量 1/α 为原子测度时，才存在非平凡解。在其他所有情况下，SPDE 是病态的或仅产生平凡解，即解是粒子系统上布朗运动的测度取值提升，而非 Wasserstein 空间上的真正扩散。

ABSTRACT

We prove that the Dean-Kawasaki SPDE admits a solution only in integer parameter regimes, in which case the solution is given in terms of non-interacting particles.

研究动机与目标

• 解决长期存在的问题：在无正则化条件下，Dean-Kawasaki SPDE 是否存在非平凡解。
• 研究带乘性噪声和扩散的广义 Dean-Kawasaki 方程的解的存在性与唯一性。
• 确定 SPDE 在何种条件下是适定的或平凡的，尤其与参数 α 和初始测度 μ₀ 的关系。
• 建立二分法：要么无解存在，要么解是平凡的，对应于非相互作用粒子系统。

提出的方法

• 使用拉普拉斯对偶和概率生成函数分析有界博雷尔集 A 上 μₜ(A) 的矩结构。
• 采用过程 μₜ 的鞅问题公式，利用底层扩散的生成元。
• 对生成函数 g(s) = ℰ[s^{αμₜ(A)}] 在 s = 0 附近进行泰勒展开，以提取分布信息。
• 使用引理 3 表明，若当 s → 0+ 时生成函数在 n 阶内具有多项式展开，则随机变量 αμₜ(A) 必几乎必然取整数值。
• 将 μₜ(A) 的几乎必然离散性与 μₜ 为概率测度的约束相结合，推导出 α 必须为整数。
• 利用过程的连续性与边界正则性，推断初始测度 μ₀ 也必须在 α 个原子点上具有质量 1/α 的离散测度。

实验结果

研究问题

• RQ1 对于哪些扩散参数 α 值，Dean-Kawasaki SPDE 存在非平凡解？
• RQ2 初始测度 μ₀ 需满足何种条件，才能使 Dean-Kawasaki SPDE 的解存在？
• RQ3 SPDE 是否能在无正则化意义下以测度取值过程求解，若可，需满足何种条件？
• RQ4 为何 Dean-Kawasaki 方程中缺失校正项 Ξ 会导致解平凡或病态？
• RQ5 μₜ(A) 的生成函数结构如何约束解测度的可能取值？

主要发现

• Dean-Kawasaki SPDE 仅在扩散参数 α 为正整数时存在解。
• 当 α ∈ ℕ 时，解是平凡的，即对应于非相互作用粒子系统，测度取值过程是 (α/2)Δ 的鞅问题的提升。
• 为使解存在，初始测度 μ₀ 必须在恰好 α 个原子点上，每个质量为 1/α。
• 当 α 非整数时，不存在非平凡解，且 SPDE 因生成函数无法展开为多项式而病态。
• 对所有有界博雷尔集 A 和 t > 0，解过程 μₜ(A) 几乎必然取值于 {0, 1/α, ..., ⌊α⌋/α}。
• 由于 μₜ 为概率测度，必须强制 α 为整数，否则总质量无法保持为 1。