[论文解读] On the Existence of Solution of Conservation Law with Moving Bottleneck and Discontinuity in FLux

Hossein Nick Zinat Matin, Maria Laura Delle Monache|arXiv (Cornell University)|Oct 1, 2023

Navier-Stokes equation solutions被引用 4

一句话总结

该论文通过波前追踪格式，证明了具有移动瓶颈和不连续通量的交通流PDE-ODE模型弱解的存在性。通过引入修正的Riemann解，并利用同胚分析总变差，作者在共振及由于通量不连续性和通量约束导致的总变差非一致性的条件下，证明了近似解的收敛性。

ABSTRACT

In this paper, a PDE-ODE model with discontinuity in the flux as well as a flux constraint is analyzed. A modified Riemann solution is proposed and the existence of a weak solution to the Cauchy problem is rigorously investigated using the wavefront tracking scheme.

研究动机与目标

• 严格研究在交通流中具有不连续通量和通量约束的守恒律弱解的存在性。
• 通过引入移动瓶颈和通量函数的不连续性，扩展先前的PDE-ODE模型。
• 解决由于通量不连续性导致的非严格双曲性及总变差非一致性的挑战。
• 通过波前追踪和基于同胚的总变差分析，验证近似解的收敛性。
• 通过引入不连续通量函数，推广现有关于移动瓶颈的研究成果，该成果与可变限速或路段变化具有实际相关性。

提出的方法

• 构建修正的Riemann解以处理通量函数中的不连续性，特别是在通量突变的点。
• 采用波前追踪格式构造近似解，追踪激波和膨胀波的演化。
• 利用同胚分析通量函数的总变差，即使在总变差非一致的情况下，仍能实现紧致性论证。
• 将通量约束建模为Lighthill-Whitham-Richards（LWR）模型中的容量降低，并与瓶颈轨迹的ODE耦合。
• 通过建立有界总变差和在变换空间中的紧致性，证明近似解收敛于弱解。
• 应用受Temple方法启发的奇异映射技术，以处理共振问题，并在不连续通量存在时确保收敛性。

实验结果

研究问题

• RQ1 对于具有移动瓶颈和不连续通量的PDE-ODE交通流模型，弱解是否存在？
• RQ2 波前追踪格式如何同时适应通量不连续性和通量约束？
• RQ3 在通量函数不连续且系统存在共振时，何种条件可确保近似解的收敛性？
• RQ4 在存在不连续通量和非经典波的情况下，总变差能否得到控制？
• RQ5 在不连续通量设定下，移动瓶颈的引入如何影响解的结构和稳定性？

主要发现

• 严格证明了具有不连续通量和通量约束的PDE-ODE模型柯西问题弱解的存在性。
• 引入修正的Riemann解以处理不连续通量与移动瓶颈之间的相互作用，确保在跳跃点处的一致性。
• 通过同胚保持有界总变差，对波前追踪格式进行适应，即使在总变差非一致的情况下，仍能实现收敛。
• 解中两个密度之间的最小距离被时间函数和速度空间中下一个网格点的距离下界所控制，确保波的分离。
• 通过变换空间中的紧致性和有界变差，证明了近似解收敛于弱解，即使在共振条件下也成立。
• 该方法通过同时纳入移动瓶颈和不连续通量，推广了先前的研究成果，是文献中首次实现这一组合。