[论文解读] Transport equation with nonlocal velocity in Wasserstein spaces: existence, uniqueness and numerical schemes

Benedetto Piccoli, Francesco Rossi|arXiv (Cornell University)|Jun 13, 2011

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

一句话总结

本文研究了 Wasserstein 空间中的非局部速度传输方程，通过拉格朗日与欧拉数值格式的收敛性，证明了解的存在性与唯一性。其在 Wasserstein 距离下建立了收敛性，表明 $L^1$ 空间因解的唯一性丧失而不适用。

ABSTRACT

Motivated by pedestrian modelling, we study evolution of measures in the Wasserstein space. In particular, we consider the Cauchy problem for a transport equation, where the velocity field depends on the measure itself. We deal with numerical schemes for this problem and prove convergence of a Lagrangian scheme to the solution, when the discretization parameters approach zero. We also prove convergence of an Eulerian scheme, under more strict hypotheses. Both schemes are discretizations of the push-forward formula defined by the transport equation. As a by-product, we obtain existence and uniqueness of the solution. All the results of convergence are proved with respect to the Wasserstein distance. We also show that $L^1$ spaces are not natural for such equations, since we lose uniqueness of the solution.

研究动机与目标

• 在 Wasserstein 空间中，为具有非局部速度的传输方程建立解的存在性与唯一性。
• 为该问题开发并分析拉格朗日与欧拉数值格式。
• 证明两种格式在离散化参数趋于零时收敛于真实解。
• 证明 $L^1$ 空间在此类方程中不充分，因其导致解唯一性的丧失。
• 以 Wasserstein 距离为基准，提供严格的收敛性分析。

提出的方法

• 通过前推公式，为依赖于自身测度的非局部速度场的传输方程，建立柯西问题的表述。
• 提出一种基于粒子追踪与时间离散化的拉格朗日格式，并在一般条件下证明其收敛性。
• 引入一种基于有限体积或有限差分法的欧拉格式，其收敛性在更强假设下得以建立。
• 采用 Wasserstein 距离作为收敛性分析的度量，确保在测度空间中的稳定性与一致性。
• 利用传输方程的前推结构，推导出保持 Wasserstein 空间几何结构的数值离散化方法。
• 采用紧致性与弱收敛性论证，证明格式收敛于唯一解。

实验结果

研究问题

• RQ1 在 Wasserstein 空间中，该非局部传输方程的解是否存在且唯一？
• RQ2 在最小假设下，拉格朗日格式是否能收敛于解？
• RQ3 欧拉格式在何种条件下收敛于解？
• RQ4 为何 $L^1$ 空间在此背景下无法保持解的唯一性？
• RQ5 Wasserstein 距离在确保数值格式收敛性与稳定性方面发挥何种作用？

主要发现

• 通过数值格式的收敛性，建立了非局部传输方程在 Wasserstein 空间中解的存在性与唯一性。
• 在一般假设下，拉格朗日格式在时间与空间离散化参数趋于零时收敛于解。
• 欧拉格式同样收敛，但要求对速度场与初始数据施加更强的假设。
• 收敛性在 Wasserstein 距离下得以证明，确保了在测度空间中的鲁棒性。
• 证明了 $L^1$ 空间不适用于此类方程，因其导致解唯一性的丧失。
• 前推公式为构建一致且收敛的数值格式提供了几何基础。