[论文解读] Gradient flows driven by a non-smooth repulsive interaction potential

Giovanni A. Bonaschi|arXiv (Cornell University)|Oct 14, 2013

Geometric Analysis and Curvature Flows参考文献 33被引用 5

一句话总结

本文通过最小化运动方案与Wasserstein凸性，证明了一维情形下具有原点处凹形尖点的非光滑排斥相互作用势的梯度流解的存在性与唯一性。尽管该势能非凸且不光滑，作者证明梯度流会选择唯一且扩散的演化，从而解决了原本可能存在的解不唯一性问题。

ABSTRACT

This thesis analyze the Wasserstein gradient flow of a functional defined as a double convolution of a non-smooth repulsive interaction potential. To be more precise, the potential under investigation has a -|x| behavior close to the origin. The already existent machinery of Wasserstein gradient flow is well posed for lambda-convex potential. In this case this property is lost, but it is proven that in the one dimensional case existence and uniqueness of the solution is still achieved.

研究动机与目标

• 将梯度流理论扩展至非光滑、排斥型相互作用势，其并非凸函数的正则扰动。
• 解决当相互作用势在原点具有奇异凹形尖点时解不唯一性的挑战。
• 在一维情形下，针对此类非光滑势，建立测度值梯度流的严格存在性与唯一性结果。
• 证明最小化运动方案产生唯一解曲线，且该曲线满足最大斜率曲线条件。
• 表明梯度流会选择扩散演化，从而避免狄拉克测度初始数据随时间持续存在。

提出的方法

• 将问题表述为在配备Wasserstein度量的概率测度空间中的梯度流。
• 应用最小化运动方案（MMS），通过时间离散化最小化相互作用能与二次输运成本之和，构造近似解。
• 刻画非光滑势 W(x) = -η|x| + W̄(x) 的相互作用能泛函的次微分，其中 W̄ 光滑且 η > 0。
• 证明在一维情形下，相互作用能泛函具有 η-凸性，从而保证MMS收敛至唯一解。
• 在一维情形下通过变量替换，推导出离散初始数据（如狄拉克测度）演化的显式公式。
• 将梯度流解与其它解进行比较，表明仅梯度流满足能量不等式且为最大斜率曲线。

实验结果

研究问题

• RQ1 梯度流理论能否扩展至非光滑、排斥型相互作用势，且该势不作为凸函数的正则扰动？
• RQ2 当相互作用势在原点具有凹形尖点时，最小化运动方案是否收敛至唯一解？
• RQ3 在存在此类非光滑势的情况下，梯度流解是否为唯一的最大斜率曲线？
• RQ4 能否针对如狄拉克测度等初始数据，推导出该非光滑势下的显式解？
• RQ5 解的正则性随时间如何演变——狄拉克测度是否会演化为扩散测度？

主要发现

• 在一维情形下，即使势能 W(x) = -η|x| + W̄(x) 在原点非凸且不光滑，梯度流解仍存在且唯一。
• 最小化运动方案收敛至Wasserstein空间中唯一的绝对连续解曲线。
• 该解被表征为唯一最大斜率曲线，满足能量不等式，从而在非扩散解中选择出扩散演化。
• 推导出显式解：狄拉克测度初始条件演化为长度为 2t 的区间上均匀密度，即 μ(t,x) = 1/(2t)𝟏(x₀−t, x₀+t)。
• 对于多个狄拉克测度，解演化为分段均匀密度，其支撑集随时间线性扩展。
• 该理论无法直接推广至 d > 1，原因在于次微分缺乏正则性，且无法证明关键正则性性质。