[论文解读] Numerical scheme for a whole class of sweeping process

Juliette Venel|ArXiv.org|Apr 17, 2009

Evacuation and Crowd Dynamics参考文献 18被引用 6

一句话总结

本文提出了一种针对由时间依赖、一致近似凸集（uniformly prox-regular sets）定义的广义扰动扫掠过程的数值预测-校正方案，这些集合被表示为光滑凸函数的下水平集的交集。该方法在较弱的正则性和几何假设下确保收敛性，并应用于具有非凸、时变约束的群体运动模型。

ABSTRACT

The aim of this paper is to study a whole class of first order differential inclusions, which fit into the framework of perturbed sweeping process by uniformly prox-regular sets. After obtaining well-posedness results, we propose a numerical scheme based on a prediction-correction algorithm and we prove its convergence. Finally we apply these results to a problem coming from modelling of crowd motion.

研究动机与目标

• 建立涉及时间依赖、一致近似凸集的一类广义扰动扫掠过程的适定性。
• 基于预测-校正方法，开发一种稳健的数值算法以求解此类微分包含。
• 在确保可行集一致近似凸性的条件下，证明该数值格式的收敛性。
• 将理论框架应用于具有动态、非凸约束的真实群体运动模型。
• 通过在具有几何约束的多智能体系统上的应用，验证该方法的稳定性和精度。

提出的方法

• 将可行集 $ Q(t) $ 定义为下水平集 $ \{ \mathbf{q} \in \mathbb{R}^d \mid g_i(t, \mathbf{q}) \geq 0 \} $ 的交集，其中每个 $ g_i $ 为 $ C^2 $-光滑函数，且其梯度与海塞矩阵一致有界。
• 施加假设 (A0)–(A5)，以确保 $ Q(t) $ 的一致近似凸性，包括梯度范数的正下界以及活动约束的统一角度条件。
• 构建一个预测-校正算法：通过显式欧拉步长预测下一状态，随后投影到当前可行集 $ Q(t) $ 上，以保证约束满足。
• 在所述正则性和几何条件下，证明离散解收敛于微分包含的真实解。
• 将该格式应用于群体运动模型，其中个体被限制在由距离约束定义的时变非凸区域内。
• 通过邻近配置的几何分析来界定作用力，确保对偶形式中非负拉格朗日乘子的存在性。

实验结果

研究问题

• RQ1 在何种条件下，具有时间依赖、一致近似凸集的扰动扫掠过程是适定的？
• RQ2 能否为这一类微分包含构造一个稳定且收敛的数值格式？
• RQ3 如何利用可行集的几何结构——即光滑凸函数下水平集的交集——来辅助数值求解？
• RQ4 约束几何结构与活动集结构对数值方法的稳定性和收敛性有何影响？
• RQ5 该框架能否有效应用于真实世界问题，如具有动态、非凸障碍物的群体运动？

主要发现

• 在假设 (A0)–(A5) 下，所提出的预测-校正格式收敛于扰动扫掠过程的唯一解。
• 可行集 $ Q(t) $ 的一致近似凸性由正梯度界（A1）、到边界距离的统一下界（A0）以及角度条件（A5）的组合所保证。
• 在群体运动模型中，该方法确保个体始终处于由距离约束定义的时变非凸区域内。
• 分析表明，对偶变量（作用力乘子）的范数每步迭代最多受 $ \frac{3}{\sin(2\pi/N)} $ 因子控制，其随邻居数量的增长缓慢。
• 当个体半径随时间变化时，只要半径的下确界为正，且角度条件中的常数 $ \gamma $ 相应更新，该方法依然有效。
• 收敛性证明依赖于一个新颖的活动约束逆三角不等式，该不等式确保了对偶问题中非负拉格朗日乘子的存在性。