[논문 리뷰] Transport equation with nonlocal velocity in Wasserstein spaces: existence, uniqueness and numerical schemes

Benedetto Piccoli, Francesco Rossi|arXiv (Cornell University)|2011. 06. 13.

Geometric Analysis and Curvature Flows참고 문헌 5인용 수 1

한 줄 요약

이 논문은 워셔슈타인 공간 내 비국소 속도를 가진 운반 방정식을 연구하며, 라그랑주형 및 오일러형 수치적 스킴의 수렴을 통해 해의 존재성과 유일성을 입증한다. 워셔슈타인 거리에서 수렴을 확립하며, $L^1$ 공간이 해의 유일성 손실로 인해 부적절하다는 것을 보여준다.

ABSTRACT

Motivated by pedestrian modelling, we study evolution of measures in the Wasserstein space. In particular, we consider the Cauchy problem for a transport equation, where the velocity field depends on the measure itself. We deal with numerical schemes for this problem and prove convergence of a Lagrangian scheme to the solution, when the discretization parameters approach zero. We also prove convergence of an Eulerian scheme, under more strict hypotheses. Both schemes are discretizations of the push-forward formula defined by the transport equation. As a by-product, we obtain existence and uniqueness of the solution. All the results of convergence are proved with respect to the Wasserstein distance. We also show that $L^1$ spaces are not natural for such equations, since we lose uniqueness of the solution.

연구 동기 및 목표

• 비국소 속도를 가진 운반 방정식의 워셔슈타인 공간 내 해의 존재성과 유일성을 확립하기 위해.
• 문제에 대한 라그랑주형 및 오일러형 수치적 스킴을 개발하고 분석하기 위해.
• 메esh 크기가 0으로 갈수록 두 스킴의 수렴을 증명하기 위해.
• $L^1$ 공간이 해의 유일성 손실로 인해 이와 같은 방정식에 부적절하다는 것을 보여주기 위해.
• 워셔슈타인 거리를 기반으로 한 엄밀한 수렴 분석을 제공하기 위해.

제안 방법

• 측도 자체에 의존하는 속도장이 있는 운반 방정식의 초기값 문제를 설정하며, 푸시-포워드 공식을 사용한다.
• 입자 추적과 시간 이산화를 기반으로 한 라그랑주형 스킴을 제안하고, 일반 조건 하에서 수렴을 증명한다.
• 유한체적 또는 유한차분 방법을 사용하는 오일러형 스킴을 도입하며, 속도장과 초기 데이터에 대해 더 엄격한 가정 하에서 수렴을 확립한다.
• 수렴 분석의 거리 척도로 워셔슈타인 거리를 적용하여 측도 공간 내 안정성과 일致성을 확보한다.
• 운반 방정식의 푸시-포워드 구조를 활용해 워셔슈타인 공간의 기하학적 구조를 유지하는 수치 이산화를 유도한다.
• 콤���터성 및 약한 수렴 논증을 활용하여 스킴이 유일한 해로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 비국소 운반 방정식이 워셔슈타인 공간 내에서 해가 존재하고 유일한가?
• RQ2 최소한의 가정 하에서 라그랑주형 스킴이 해로 수렴하는가?
• RQ3 오일러형 스킴이 해로 수렴하기 위한 조건은 무엇인가?
• RQ4 왜 $L^1$ 공간은 이 맥락에서 해의 유일성 보존에 실패하는가?
• RQ5 워셔슈타인 거리는 수치 스킴의 수렴성과 안정성 확보에 어떤 역할을 하는가?

주요 결과

• 비국소 운반 방정식의 워셔슈타인 공간 내 해의 존재성과 유일성이 수치 스킴의 수렴을 통해 입증된다.
• 시간 및 공간 이산화 파rameter가 0으로 갈수록 라그랑주형 스킴이 일반적인 가정 하에서 해로 수렴한다.
• 오일러형 스킴 역시 수렴하지만, 속도장과 초기 데이터에 대해 더 강한 가정이 필요하다.
• 수렴은 워셔슈타인 거리에 대해 입증되어 측도 공간 내에서 강건함을 보장한다.
• $L^1$ 공간이 이 방정식의 범주에 적합하지 않음을 입증하였으며, 이는 해의 유일성 상실로 이어진다.
• 푸시-포워드 공식은 일致하고 수렴하는 수치 스킴을 구성하기 위한 기하학적 기반을 제공한다.