{"title":"Bound-preserving OEDG schemes for Aw–Rascle–Zhang traffic models on networks","authors":"Wei Chen , Shumo Cui , Kailiang Wu , Tao Xiong","doi":"10.1016/j.jcp.2024.113507","DOIUrl":null,"url":null,"abstract":"<div><div>Physical solutions to the widely used Aw–Rascle–Zhang (ARZ) traffic model and the adapted pressure ARZ model should satisfy the positivity of density, the minimum and maximum principles with respect to the velocity <em>v</em> and other Riemann invariants. Many numerical schemes suffer from instabilities caused by violating these bounds, and the only existing bound-preserving (BP) numerical scheme (for ARZ model) is random, only first-order accurate, and not strictly conservative. This paper introduces arbitrarily high-order provably BP discontinuous Galerkin (DG) schemes for these two models, preserving all the aforementioned bounds except the maximum principle of <em>v</em>, which has been rigorously proven to conflict with the consistency and conservation of numerical schemes. Although the maximum principle of <em>v</em> is not directly enforced, we find that the strictly preserved maximum principle of another Riemann invariant <em>w</em> actually enforces an alternative upper bound on <em>v</em>. At the core of this work, analyzing and rigorously proving the BP property is a particularly nontrivial task: the Lax–Friedrichs (LF) splitting property, usually expected for hyperbolic conservation laws and employed to construct BP schemes, does not hold for these two models. To overcome this challenge, we formulate a generalized version of the LF splitting property, and prove it via the geometric quasilinearization approach (Wu and Shu, 2023 <span><span>[47]</span></span>). To suppress spurious oscillations in the DG solutions, we incorporate the oscillation-eliminating technique, recently proposed in (Peng et al., 2024 <span><span>[34]</span></span>), which is based on the solution operator of a novel damping equation. Several numerical examples are included to demonstrate the effectiveness, accuracy, and BP properties of our schemes, with applications to traffic simulations on road networks.</div></div>","PeriodicalId":352,"journal":{"name":"Journal of Computational Physics","volume":"520 ","pages":"Article 113507"},"PeriodicalIF":3.8000,"publicationDate":"2024-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computational Physics","FirstCategoryId":"101","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0021999124007551","RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}
引用次数: 0
Abstract
Physical solutions to the widely used Aw–Rascle–Zhang (ARZ) traffic model and the adapted pressure ARZ model should satisfy the positivity of density, the minimum and maximum principles with respect to the velocity v and other Riemann invariants. Many numerical schemes suffer from instabilities caused by violating these bounds, and the only existing bound-preserving (BP) numerical scheme (for ARZ model) is random, only first-order accurate, and not strictly conservative. This paper introduces arbitrarily high-order provably BP discontinuous Galerkin (DG) schemes for these two models, preserving all the aforementioned bounds except the maximum principle of v, which has been rigorously proven to conflict with the consistency and conservation of numerical schemes. Although the maximum principle of v is not directly enforced, we find that the strictly preserved maximum principle of another Riemann invariant w actually enforces an alternative upper bound on v. At the core of this work, analyzing and rigorously proving the BP property is a particularly nontrivial task: the Lax–Friedrichs (LF) splitting property, usually expected for hyperbolic conservation laws and employed to construct BP schemes, does not hold for these two models. To overcome this challenge, we formulate a generalized version of the LF splitting property, and prove it via the geometric quasilinearization approach (Wu and Shu, 2023 [47]). To suppress spurious oscillations in the DG solutions, we incorporate the oscillation-eliminating technique, recently proposed in (Peng et al., 2024 [34]), which is based on the solution operator of a novel damping equation. Several numerical examples are included to demonstrate the effectiveness, accuracy, and BP properties of our schemes, with applications to traffic simulations on road networks.
广泛使用的 Aw-Rascle-Zhang (ARZ) 交通模型和经调整的压力 ARZ 模型的物理解应满足密度的正性、速度 v 的最小和最大原则以及其他黎曼不变式。许多数值方案都存在因违反这些约束而导致的不稳定性,而现有的唯一一种(针对 ARZ 模型的)保边(BP)数值方案是随机的,只有一阶精度,而且不是严格保守的。本文针对这两个模型引入了任意高阶的可证明 BP 非连续伽勒金(DG)方案,保留了上述所有约束,但 v 的最大值原则除外,该原则已被严格证明与数值方案的一致性和守恒性相冲突。虽然 v 的最大值原则没有被直接执行,但我们发现严格保留的另一个黎曼不变式 w 的最大值原则实际上执行了 v 的另一个上界。在这项工作的核心中,分析和严格证明 BP 特性是一项特别非难的任务:Lax-Friedrichs(LF)分裂特性通常是对双曲守恒定律的预期,并用于构建 BP 方案,但在这两个模型中并不成立。为了克服这一难题,我们提出了 LF 分裂性质的广义版本,并通过几何准线性化方法加以证明(Wu 和 Shu,2023 [47])。为了抑制 DG 解中的虚假振荡,我们采用了最近在(Peng 等,2024 [34])中提出的振荡消除技术,该技术基于新型阻尼方程的解算子。我们还列举了几个数值示例来证明我们方案的有效性、准确性和 BP 特性,并将其应用于道路网络的交通模拟。
期刊介绍:
Journal of Computational Physics thoroughly treats the computational aspects of physical problems, presenting techniques for the numerical solution of mathematical equations arising in all areas of physics. The journal seeks to emphasize methods that cross disciplinary boundaries.
The Journal of Computational Physics also publishes short notes of 4 pages or less (including figures, tables, and references but excluding title pages). Letters to the Editor commenting on articles already published in this Journal will also be considered. Neither notes nor letters should have an abstract.