[논문 리뷰] Optimal transportation on non-compact manifolds

Albert Fathi, Alessio Figalli|ArXiv.org|2007. 11. 28.

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

한 줄 요약

이 논문은 완전하고 비콤파クト 리만다이니안 다양체에서 토넬리 라그랑지안에서 유도된 비용 함수, 특히 $r > 1$ 인 $d^r$에 대해, 소스 및 타겟 측도에 최소한의 적분 조건이 만족될 경우 최적 운반 지도의 존재성과 유일성을 확립한다. 기존의 콤파クト 다양체에서의 고전적 결과를 곡률 제약 없이 비콤파クト 설정으로 확장하였으며, 최적 운반 이론과 라그랑지안 역학 기법을 활용하였다.

ABSTRACT

In this work, we show how to obtain for non-compact manifolds the results that have already been done for Monge Transport Problem for costs coming from Tonelli Lagrangians on compact manifolds. In particular, the already known results for a cost of the type $d^r,r>1$, where $d$ is the Riemannian distance of a complete Riemannian manifold, hold without any curvature restriction.

연구 동기 및 목표

• 콤파クト 다양체에서의 $d^r$ 비용에 대한 최적 운반 이론을 비콤파クト 리만다이니안 다양체로 확장하기.
• 완전하고 비콤파クト 다양체에서 토넬리 라그랑지안 비용에 대해 최적 운반 지도의 존재성과 유일성을 확립하기.
• 이전에 이러한 결과를 제한하던 곡률 및 콤팩트성 가정을 제거하기.
• 암브로시오-지아니-사바레 및 버포니-버프وني의 기법을 비콤파クト 설정으로 적응하기.
• 측도에 대한 최소한의 모멘트 조건 하에서 운반 지도가 $\mu$-거의 모든 곳에서 유일하게 결정됨을 증명하기.

제안 방법

• 약한 토넬리 라그랑지안 이론과 그에 관련된 하미르톤-자코비 방정식을 활용한다.
• 트위스트 조건과 최소화자 유일성(UC)을 적용하여 운반 비용 기울기의 단사성을 보장한다.
• 측지선 흐름과 오일러-라그랑지 흐름을 사용하여 최소화 곡선을 특성화한다.
• 횔더 부등식을 적용하여 $L^r$-에너지와 리만다이니안 거리 간의 관계를 유도하며, $c_{t,L_{r,g}} = t^{r-1}d_g^r$임을 보인다.
• 좌/우 트위스트 조건을 적용하여 운반 지도가 비용 기울기에 의해 유일하게 결정됨을 증명한다.
• 반정의 함수와 최적 운반에서의 값 함수에 대한 정규성 이론에 의존한다.

실험 결과

연구 질문

• RQ1 비콤파クト 리만다이니안 다양체에서 $d^r$ 비용에 대해 최적 운반 지도의 존재성과 유일성을 확립할 수 있는가?
• RQ2 곡률 또는 콤팩트성 가정이 없는 경우, 콤팩트 설정에서의 표준 결과가 무효가 되는가?
• RQ3 라그랑지안 역학을 활용하여 트위스트 조건과 최소화자 유일성 조건을 비콤파クト 다양체로 확장할 수 있는가?
• RQ4 소스 및 타겟 측도에 어떤 모멘트 조건이 만족되어야 최적 운반 지도가 존재하는가?
• RQ5 비용 함수의 구조 $c_{t,L_{r,g}} = t^{r-1}d_g^r$는 측지선 흐름과 운반 정규성과 어떻게 관련되는가?

주요 결과

• 모든 연결된 완전한 리만다이니안 다양체 $M$ 과 $r > 1$ 에 대해, 소스 및 타겟 측도가 어떤 기저 점에 대해 유한한 $r$-번째 모멘트를 가지면 $d^r$ 비용에 대해 최적 운반 지도가 존재한다.
• 비콤파クト 다양체에서도 최적 운반 지도는 $\mu$-거의 모든 곳에서 유일하게 결정된다.
• 라그랑지안 $L_{r,g}(x,v) = \|v\|_x^r$에 대한 비용 $c_{t,L_{r,g}}$는 $t^{r-1}d_g^r(x,y)$와 같으며, 이는 $L^r$-에너지와 리만다이니안 거리 간의 연결을 보여준다.
• 운반 지도는 측지선 흐름에서 유도되며, 초기 속도는 비용 기울기에 의해 유일하게 결정된다.
• 비용 함수 $c_{t,L_{r,g}}$에 대해 트위스트 조건이 성립하여 운반 지도가 거의 모든 곳에서 잘 정의되고 단사성이 보장된다.
• 다양체에 대한 곡률 가정 없이도 결과가 성립하며, 이는 이전의 콤팩트 다양체 결과를 비콤파クト 케이스로 일반화한다.