[論文レビュー] A traffic flow model with non-smooth metric interaction: well-posedness and micro-macro limit

Paola Goatin, Francesco Rossi|arXiv (Cornell University)|Oct 15, 2015

Traffic control and management参考文献 38被引用数 33

ひとこと要約

本稿は、非滑らかで非等方的な度合い相互作用を伴う、車両の速度が下方流密度に非局所的に依存する不連続カーネルを有する顕在的交通流モデルについて、適切に定義された解の存在と一意性、およびミクロ・マクロ収束を確立する。確率測度の空間における∞-ウォッサーシュタイン距離を用いて、緊密な台を持つ有界 variation 初期データに対して弱解の存在と一意性を証明し、時間の経過とともに粒子近似が顕在的解に収束することを示す。

ABSTRACT

We prove existence and uniqueness of solutions to a transport equation modelling vehicular traffic in which the velocity field depends non-locally on the downstream traffic density via a discontinuous anisotropic kernel. The result is obtained recasting the problem in the space of probability measures equipped with the $\\infty$-Wasserstein distance. We also show convergence of solutions of a finite dimensional system, which provide a particle method to approximate the solutions to the original problem.

研究の動機と目的

• 非局所的かつ非滑らかな速度依存性を有する顕在的交通流モデルに対して、弱解の存在と一意性を確立すること。
• ∞-ウォッサーシュタイン距離を備えた確率測度空間におけるこのモデルの適切に定義された解の性質を分析すること。
• 有限次元の粒子系（ミクロ的近似）が顕在的解に収束することを証明し、ミクロ・マクロ極限を確立すること。
• 古典的モデル（例：LWR）の制限を克服し、不連続な相互作用カーネルを有する非局所輸送方程式の交通モデルへの適用範囲を拡張すること。

提案手法

• 顕在的交通PDEを、∞-ウォッサーシュタイン距離を用いた確率測度空間における輸送方程式に再定式化する。
• ウォッサーシュタイン勾配流理論と非局所ベクトル場のリプシッツ連続性を用いて、解の存在と一意性を証明する。
• 初期密度を有限個の質量を有する粒子に離散化することで、粒子ベースの近似スキームを構築する。
• リプシッツ連続性を有する速度関数および相互作用カーネルを活用し、ウォッサーシュタイン距離における安定性推定を用いて、粒子解と顕在的解を比較する。
• 時間区間を小さな区間に分割し、反復的改善を用いて局所解を時間的にグローバルに拡張する時間離散化戦略を適用する。
• 不連続カーネルの滑らか化近似を用いて、BV正則性を扱い、粒子スキームの収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 非滑らかで非局所的な度合い相互作用を有する顕在的交通流モデルは、∞-ウォッサーシュタイン距離を備えた確率測度空間において、一意な弱解を有するか？
• RQ2 有限次元の粒子系は非局所PDEの解を近似可能であり、粒子数が増加する際に顕在的解に収束するか？
• RQ3 速度関数および相互作用カーネルにどのような条件下で、解の時間的グローバル存在性と有界性が保証されるか？
• RQ4 相互作用カーネルに不連続性が存在する場合、解の正則性および安定性にどのような影響を与えるか？

主な発見

• 初期密度が BV_c(ℝ) に属し、速度関数がリプシッツ連続かつ非増加的で v(1)=0 を満たす限り、(1.1)のコーシー問題は∞-ウォッサーシュタイン距離を備えた確率測度空間において一意な弱解を有する。
• 解はすべての t > 0 および x ∈ ℝ に対して、ほぼ everywhere で 0 ≤ ρ(t,x) ≤ max{ρ₀} という事前境界を満たす。
• 粒子近似スキームはウォッサーシュタイン距離において顕在的解に収束し、収束速度は n が十分に大きい場合、C / √n で有界である。ここで n は粒子数を表す。
• 相互作用カーネル w が不連続な場合、解は有限時間で爆発する可能性があるが、滑らかなカーネルではそのような爆発は発生しない。
• 時間区間を小さな部分区間に分割し、局所的解の存在が保証される領域で、解の均一な L∞ 範囲を用いて帰納法を適用することで、時間的グローバル存在性を確立する。
• 粒子スキームの極限は、一意な顕在的解と一致するため、このモデルにおけるミクロ・マクロ極限が証明される。