[論文レビュー] Rigorous derivation of the Lighthill-Whitham-Richards~model from the follow-the-leader model as many particle limit

Marco Di Francesco, Massimiliano D. Rosini|arXiv (Cornell University)|Apr 28, 2014

Traffic control and management参考文献 24被引用数 4

ひとこと要約

この論文は、微視的フォローザレーダー（FTL）モデルの多数粒子極限として、巨視的Lighthill-Whitham-Richards（LWR）交通流モデルを厳密に導出する。離散的BV推定と片側Oleinik型条件を用いて、1-ウォッシャーティン位相における経験的測度およびL1_loc位相における離散化密度が、初期データに真空を含み、勾配が退化する一般の速度関数に対しても、LWR方程式の一意なエントロピー解に収束することを証明する。

ABSTRACT

We prove that the unique entropy solution to the macroscopic Lighthill-Witham-Richards model for traffic flow can be rigorously obtained as the large particle limit of the microscopic follow-the-leader model, which is interpreted as the discrete Lagrangian approximation of the former. More precisely, we prove that the empirical measure (respectively the discretised density) obtained from the follow-the-leader system converges in the 1-Wasserstein topology (respectively in L1 loc) to the unique entropy solution of the Lighthill-Witham-Richards equation in the Kruzkov sense. The initial data are taken in L infinity with compact support, hence we are able to handle densities with vacuum. Our result holds for a reasonably general class of velocity maps (including all the relevant examples in the applications) with possible degenerate slope near the vacuum state. The proof of the result is based on discrete BV estimates and on a discrete version of the one-sided Oleinik-type condition. In particular, we prove that the L infinity to BV regularizing effect is intrinsic of the discrete model.

研究の動機と目的

• 多数の粒子の極限において、微視的交通モデル（フォローザレーダー）と巨視的モデル（Lighthill-Whitham-Richards）の間の厳密な接続を確立すること。
• FTL系から得られる経験的測度および離散化密度が、LWR方程式の唯一のエントロピー解に収束することを証明すること。
• コンパクトな台を持つL∞に属する初期データ（真空を含む場合を含む）および一般の速度関数（真空付近での退化を許容）を扱うこと。
• 離散的FTLモデルに内在するL∞からBVへの正則化効果が、どのように現れるかを示すこと。

提案手法

• 巨視的LWRモデルの離散的ラグランジュ近似としてフォローザレーダー・モデルを用いる。
• 粒子系における変動を制御するための離散的BV推定の適用。
• エントロピーの満たしを保証するための、片側Oleinik型条件の離散版の導入。
• 経験的測度の1-ウォッシャーティン位相および離散化密度のL1_loc位相における収束解析。
• 巨視的極限を定義するために、Kruzkovの意味でのエントロピー解を用いる。
• 真空付近での勾配が退化する速度関数を、離散的ダイナミクスの精密な解析を通じて取り扱う。

実験結果

リサーチクエスチョン

• RQ1 LWRモデルは、フォローザレーダー・モデルの多数粒子極限として厳密に導出可能か？
• RQ2 FTL系から得られる経験的測度は、明確な位相でLWR方程式のエントロピー解に収束するか？
• RQ3 離散的FTLモデルにおいて、L∞からBVへの正則化効果はどのように現れるか？
• RQ4 初期データに真空および一般の速度関数を含む場合でも、収束結果は成立するか？
• RQ5 離散的一般の片側Oleinik型条件は、極限においてエントロピーの満たしを保証するのに十分か？

主な発見

• フォローザレーダー系から得られる経験的測度は、1-ウォッシャーティン位相でLWR方程式の唯一のエントロピー解に収束する。
• 離散化密度は、L1_loc位相で同じ解に収束する。
• 初期データがL∞に属し、コンパクトな台を持つ場合（真空を含む場合も含む）でも収束が成立する。
• 一般の速度関数クラス（真空付近での勾配の退化を許容）に対しても結果が有効である。
• 離散モデルは、内在的なL∞からBVへの正則化効果を示し、極限でもその性質が保たれる。
• 証明は、離散的BV推定および片側Oleinik型条件の離散版に依存しており、エントロピーの満たしを保証する。