[논문 리뷰] 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)|2014. 04. 28.

Traffic control and management참고 문헌 24인용 수 4

한 줄 요약

이 논문은 다수의 입자를 가진 경우의 미세한 follow-the-leader(FTL) 모델의 한계에서 매크로스코픽 Lighthill-Whitham-Richards(LWR) 교통 흐름 모델을 엄밀하게 유도한다. 이산 BV 추정과 한쪽 방향 Oleinik 유형 조건을 사용하여, 초기 자료에 진공이 있거나 기울기가 탈선하는 일반적인 속도 함수를 가진 경우에도, 1-Wasserstein 및 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.

연구 동기 및 목표

• 많은 입자를 가진 경우의 미세 교통 모델(Follow-the-Leader)과 매크로스코픽 모델(Lighthill-Whitham-Richards) 사이의 엄밀한 연결을 확립하기 위해.
• FTL 시스템에서의 경험 측도와 이산 밀도가 LWR 방정식의 유일한 엔트로피 해로 수렴함을 증명하기 위해.
• 콤팩트 지지가 있는 L∞에 속하는 초기 자료, 진공이 포함된 경우, 그리고 기울기가 탈선할 수 있는 일반적인 속도 함수를 다루기 위해.
• 이산 FTL 모델에서 L∞에서 BV로의 정규화 효과가 본질적으로 어떻게 작용하는지 밝혀내기 위해.

제안 방법

• 매크로스코픽 LWR 모델의 이산 라그랑주 근사로 follow-the-leader 모델을 사용하기 위해.
• 입자 시스템의 변동성을 제어하기 위해 이산 BV 추정을 적용하기 위해.
• 엔트로피 만족을 보장하기 위해 한쪽 방향 Oleinik 유형 조건의 이산 형태를 도입하기 위해.
• 경험 측도에 대한 1-Wasserstein 위상과 이산 밀도에 대한 L1_loc 위상에서의 수렴 분석을 수행하기 위해.
• 매크로스코픽 한계를 정의하기 위해 Kruzkov의 엔트로피 해의 의미를 사용하기 위해.
• 진공 근처에서 기울기가 탈선하는 속도 함수를 다루기 위해 이산 역학의 세밀한 분석을 수행하기 위해.

실험 결과

연구 질문

• RQ1 LWR 모델은 FTL 모델의 다수 입자 극한으로 엄밀하게 도출될 수 있는가?
• RQ2 FTL 시스템에서 유도된 경험 측도는 잘 정의된 위상에서 LWR 방정식의 엔트로피 해로 수렴하는가?
• RQ3 L∞에서 BV로의 정규화 효과는 이산 FTL 모델에서 어떻게 나타나는가?
• RQ4 초기 자료에 진공이 있고 일반적인 속도 함수가 있는 경우에도 수렴 결과가 성립하는가?
• RQ5 이산 한쪽 방향 Oleinik 유형 조건은 한계에서 엔트로피 만족을 보장하는 데 충분한가?

주요 결과

• FTL 시스템에서 유도된 경험 측도는 1-Wasserstein 위상에서 LWR 방정식의 유일한 엔트로피 해로 수렴한다.
• 이산 밀도는 L1_loc 위상에서 동일한 해로 수렴한다.
• 콤팩트 지지가 있는 L∞에 속하는 초기 자료, 진공이 포함된 경우에도 수렴이 성립한다.
• 기울기가 진공 근처에서 탈선하는 일반적인 속도 함수 클래스에 대해서도 결과가 유효하다.
• 이산 모델은 L∞에서 BV로의 정규화 효과를 내재적으로 가지며, 이는 한계에서도 유지된다.
• 증명은 이산 BV 추정과 엔트로피 만족을 보장하기 위한 이산 Oleinik 유형 조건에 기반한다.