[논문 리뷰] A generalized Benamou-Brenier formula for mass-varying densities

Benedetto Piccoli, Francesco Rossi|arXiv (Cornell University)|2013. 04. 25.

Geometric Analysis and Curvature Flows인용 수 1

한 줄 요약

이 논문은 질량이 변하는 측도를 다룰 수 있도록 Benamou-Brenier 공식과 Kantorovich-Rubinstein 쌍대성을 일반화하며, 가중치가 부여된 일반화된 Wasserstein 거리 $W_p^{a,b}$ 를 도입한다. 이는 운동 에너지와 소스 항을 통합한 새로운 작용 함수를 정의하여 $W_2^{a,b}$ 가 이 작용의 하한임을 증명하고, $W_1^{1,1}$ 이 평탄한 거리(metric)와 같음을 보이며, 고전적 최적 운반 이론을 질량 보존이 아닌 흐름으로 확장한다.

ABSTRACT

The Wasserstein distances $W_p$ ($p\geq 1$), defined in terms of solution to the Monge-Kantorovich problem, are known to be a useful tool to investigate transport equations. In particular, the Benamou-Brenier formula characterizes the square of the Wasserstein distance $W_2$ as the infimum of the kinetic energy, or action functional, of all vector fields moving one measure to the other. Another important property of the Wasserstein distances is the Kantorovich-Rubinstein duality stating the equality between the distance $W_1$ and the supremum of the integrals of Lipschitz continuous functions with Lipschitz constant bounded by one. An intrinsic limitation of Wasserstein distances is the fact that they are defined only between measures having the same mass. To overcome such limitation, we recently introduced the generalized Wasserstein distances $W_p^{a,b}$, defined in terms of both the classical Wasserstein distance $W_p$ and the total variation (or $L^1$) distance. Here $p$ plays the same role as for the classic Wasserstein distance, while $a$ and $b$ are weights for the transport and the total variation term. In this paper we prove two important properties of the generalized Wasserstein distances: 1) a generalized Benamou-Brenier formula providing the equality between $W_2^{a,b}$ and the supremum of an action functional, which includes a transport term (kinetic energy) and a source term. 2) a duality a la Kantorovich-Rubinstein establishing the equality between $W_1^{1,1}$ and the flat metric.

연구 동기 및 목표

• 표준 Wasserstein 거리가 다룰 수 없는 질량이 다를 수 있는 측도로 고전적 최적 운반 이론을 확장하기 위해.
• 운반 비용($W_p$)과 총 변동($L^1$)을 가중치 $a$와 $b$로 조합한 일반화된 Wasserstein 거리 $W_p^{a,b}$ 를 정의하기 위해.
• 질량 보존이 이루어지지 않을 경우 $W_2^{a,b}$ 를 특징짓는 일반화된 Benamou-Brenier 공식을 수립하기 위해.
• $W_1^{1,1}$ 에 대해 Kantorovich-Rubinstein 유형의 쌍대성을 확립하여 평탄한 거리와 동일함을 보이기 위해.
• 일관된 변분 프레임워크 안에서 질량 보존 및 비질량 보존 운반 역학을 통합하기 위해.

제안 방법

• 고전적 $W_p$ 거리와 $L^1$ (총 변동) 거리의 가중 조합으로 일반화된 Wasserstein 거리 $W_p^{a,b}$ 를 도입하기 위해.
• 벡터장의 운동 에너지와 질량 생성/소멸을 나타내는 소스 항을 포함하는 작용 함수를 정의하기 위해.
• 모든 벡터장과 소스 항이 한 측도를 다른 측도로 옮기는 데 있어 $W_2^{a,b}$ 가 이 작용 함수의 하한임을 증명하기 위해.
• $W_1^{1,1}$ 이 1-Lipschitz 함수의 적분의 최상한 값과 같음을 보여주는 쌍대성 결과를 확립하기 위해.
• 변분 미적분학과 쌍대성 추론을 활용하여 일반화된 Benamou-Brenier 공식과 Kantorovich-Rubinstein 유형의 쌍대성을 유도하기 위해.
• 질량 변화를 수반하는 최적 운반의 구조를 활용하여 질량 보존 및 비질량 보존 역학을 하나의 프레임워크 안에서 통합하기 위해.

실험 결과

연구 질문

• RQ1 운반 과정 중 질량이 변할 수 있도록 Benamou-Brenier 공식을 어떻게 확장할 수 있는가?
• RQ2 질량이 보존되지 않을 경우 $W_2^{a,b}$ 를 특징짓는 적절한 작용 함수는 무엇인가?
• RQ3 일반화된 $W_1^{1,1}$ 거리에 대해 Kantorovich-Rubinstein 유형의 쌍대성을 확립할 수 있는가?
• RQ4 $W_p^{a,b}$ 의 가중치 $a$ 와 $b$ 는 운반 비용과 질량 변화 비용 간의 균형에 어떻게 영향을 미치는가?
• RQ5 일반화된 $W_1^{1,1}$ 거리가 고전적 경우와 마찬가지로 평탄한 거리와 동일한가?

주요 결과

• 일반화된 Benamou-Brenier 공식은 $W_2^{a,b}$ 가 운동 에너지와 소스 항을 포함하는 작용 함수의 하한임을 규명한다.
• 작용 함수는 벡터장을 통한 운반 역학과 소스 항을 통한 질량 생성/소멸을 모두 포함하여 비질량 보존 흐름을 가능하게 한다.
• $W_1^{1,1}$ 의 경우, 쌍대성 결과는 평탄한 거리와의 동일함을 보이며, 고전적 Kantorovich-Rubinstein 쌍대성을 질량이 변하는 측도로 확장한다.
• 일반화된 Wasserstein 거리 $W_p^{a,b}$ 는 질량 보존 및 비질량 보존 운반 과정을 위한 통합 프레임워크를 제공한다.
• 가중치 $a$ 와 $b$ 는 거리 정의에서 운반 비용과 질량 변화 비용 간의 탄력적 보간을 가능하게 한다.
• 결과적으로 질량 보존이 이루어지지 않는 상황, 예를 들어 인구 역학이나 소스가 있는 유체역학에서의 응용을 포함하여 고전적 최적 운반 이론을 일반화한다.