[论文解读] On systems of continuity equations with nonlinear diffusion and nonlocal drifts

Guillaume Carlier, Maxime Laborde|arXiv (Cornell University)|May 6, 2015

Geometric Analysis and Curvature Flows参考文献 19被引用 6

一句话总结

本文通过结合用于梯度漂移的半隐式Jordan-Kinderlehrer-Otto（JKO）格式与用于非势漂移的抛物能量估计正则化方法，建立了具有非线性扩散和非局部漂移的非线性连续性方程组的存在性与唯一性。通过位移凸性证明唯一性，将Wasserstein梯度流理论扩展至多物种模型中常见的混合漂移结构。

ABSTRACT

This paper is devoted to existence and uniqueness results for classes of nonlinear diffusion equations (or systems) which may be viewed as regular perturbations of Wasserstein gradient flows. First, in the case. where the drift is a gradient (in the physical space), we obtain existence by a semi-implicit Jordan-Kinderlehrer-Otto scheme. Then, in the nonpotential case, we derive existence from a regularization procedure and parabolic energy estimates. We also address the uniqueness issue by a displacement convexity argument.

研究动机与目标

• 开发适用于具有非线性扩散和非局部漂移的连续性方程组的一般存在性与唯一性理论，特别是当漂移非纯梯度时。
• 将Jordan-Kinderlehrer-Otto（JKO）半隐式格式扩展至具有非线性扩散和势漂移的系统，确保其收敛至弱解。
• 通过正则化与抛物能量估计处理非势情况——即漂移包含非梯度、光滑成分的情况。
• 即使漂移非梯度，也通过能量泛函的位移凸性建立唯一性。
• 提供一个统一框架，适用于具有交叉相互作用的多物种模型，如种群动力学或人群运动中的模型。

提出的方法

• 在势漂移情况下，采用半隐式JKO格式，通过Wasserstein空间中的最小化构造近似解。
• 利用Matthes、McCann与Savaré的流交换论证，控制非线性扩散项在极限下的行为，确保格式的强收敛。
• 对于非势情况，对扩散项实施正则化过程，随后通过抛物能量估计推导解的存在性。
• 利用能量泛函的位移凸性，推导出两个解之间的稳定性估计，从而证明唯一性。
• 分析在具有周期边界条件的平坦环面 $\mathbb{T}^d$ 上进行，但可推广至 $\mathbb{R}^d$ 或有界区域。
• 关键假设包括漂移在Wasserstein度量下的Lipschitz连续性，以及满足McCann条件的熵类泛函 $E$ 的凸性。

实验结果

研究问题

• RQ1 当漂移非梯度时，能否为具有非线性扩散和非局部漂移的连续性方程组建立存在性与唯一性？
• RQ2 半隐式JKO格式能否扩展至具有非线性扩散和势漂移的方程组系统？其是否收敛至解？
• RQ3 在JKO格式不适用的非势情况下，如何证明存在性？
• RQ4 对漂移与扩散的何种条件可确保通过位移凸性实现解的唯一性？
• RQ5 该理论能否应用于具有对称或非对称交叉相互作用的多物种模型？

主要发现

• 在能量与漂移满足适当凸性与正则性假设的条件下，通过半隐式JKO格式，为具有势漂移的系统建立了弱解的存在性。
• 通过流交换论证证明了JKO格式的收敛性，该论证有效控制了极限中非线性扩散项的行为。
• 对于非势漂移，通过扩散项的正则化与后续的抛物能量估计，获得了解的存在性，确保了有界性与收敛性。
• 通过位移凸性论证证明了唯一性，得到了稳定性估计 $\sum_{i=1}^{l}W_{2}^{2}(\rho_{i,t},\nu_{i,t}) \leq e^{4Ct}\sum_{i=1}^{l}W_{2}^{2}(\rho_{i,0},\nu_{i,0})$，其中解满足可积性条件。
• 可积性条件 $\int_0^T \sum_i \|v_{i,t}\|_{L^2(\rho_{i,t})} dt < \infty$ 确保了Wasserstein距离的绝对连续性，这对稳定性估计至关重要。
• 该结果适用于建模具有非局部相互作用的相互作用物种的系统，如种群动力学或颗粒介质中的系统，即使交叉相互作用为非对称时亦成立。