[논문 리뷰] Continuity and injectivity of optimal maps for non-negatively cross-curved costs

Alessio Figalli, Young‐Heon Kim외 1명|2009. 11. 20.

Geometric Analysis and Curvature Flows참고 문헌 47인용 수 38

한 줄 요약

이 논문은 비음성 교차 곡률을 가진 비용 함수 하에서 최적 운반 지도의 연속성과 단사성을 확립하며, 원천 및 목표 밀도가 0과 무한대에서 멀리 떨어져 있을 경우 최적 지도가 내부 영역에서 연속적으로 미분 가능하다는 것을 증명한다 (즉, $C^1$). 핵심 결과는 알렉산드로프 유형의 추정과 수정된 비용 함수로의 변환을 통해 엄격한 $c$-볼록성과 유일한 $c$-하위미분을 유도함으로써, 운반 지도의 단사성과 연속성을 보장한다.

ABSTRACT

Consider transportation of one distribution of mass onto another, chosen to optimize the total expected cost, where cost per unit mass transported from x to y is given by a smooth function c(x,y). If the source density f^+(x) is bounded away from zero and infinity in an open region U' \subset R^n, and the target density f^-(y) is bounded away from zero and infinity on its support clV \subset R^n, which is strongly c-convex with respect to U', and the transportation cost c is non-negatively cross-curved, we deduce continuity and injectivity of the optimal map inside U' (so that the associated potential u belongs to C^1(U')). This result provides a crucial step in the low/interior regularity setting: in a subsequent paper [15], we use it to establish regularity of optimal maps with respect to the Riemannian distance squared on arbitrary products of spheres. The present paper also provides an argument required by Figalli and Loeper to conclude in two dimensions continuity of optimal maps under the weaker (in fact, necessary) hypothesis A3w [17]. In higher dimensions, if the densities f^\pm are Hölder continuous, our result permits continuous differentiability of the map inside U' (in fact, C^{2,α}_{loc} regularity of the associated potential) to be deduced from the work of Liu, Trudinger and Wang [33].

연구 동기 및 목표

• 비용 함수의 비음성 교차 곡률 하에서 최적 운반 지도의 연속성과 단사성을 확립하는 것.
• 특히 구의 곱에서의 리만 거리 제곱 비용에 대해 낮은/내부 정규성 설정으로 정규성 결과를 확장하는 것.
• 두 차원에서 더 약한 조건 (A3w) 하에서 $C^1$ 정규성을 증명하기 위한 핵심 단계를 제공하는 것.
• 이전 연구자들인 리우, 트루디너, 웡의 결과를 바탕으로, 밀도가 허더링 연속일 경우 임의의 국소적으로 $C^{2,eta}_{\text{loc}}$ 정규성을 가진 잠재함수를 도출하는 것.

제안 방법

• 비용 지수 좌표와 애파인 재정규화를 통해 수정된 비용 함수 $\tilde{c}$ 로의 변환을 이용하여 분석을 단순화한다.
• 알렉산드로프 유형 추정을 적용하여 몽주-암페르 측도를 통제하고, $\tilde{c}$-몽주-암페르 측도와 비교한다.
• 강한 $c$-볼록 목표와 하위미분의 경계 행동을 이용하여 다중 접촉을 배제한다.
• 하위미분 내의 노출된 점들과 지지 초평면을 이용하여, 작은 단면에서의 체적 추정을 통해 모순을 도출한다.
• 적절한 $c$-볼록성과 엄격한 $c$-볼록성을 적용하여 유일한 $c$-하위미분을 보장함으로써 지도의 $C^1$ 정규성을 유도한다.
• 비음성 교차 곡률 조건 (B2u) 과 밀도의 유계성을 바탕으로 추정의 타당성을 확보한다.

실험 결과

연구 질문

• RQ1 비용 함수가 비음성 교차 곡률을 가질 때, 최적 운반 지도가 연속적이고 단사적일 조건은 무엇인가?
• RQ2 두 차원에서 더 약한 조건 (A3w) 하에서도 최적 지도의 연속성을 확보할 수 있는가?
• RQ3 내부 영역에서 $c$-하위미분의 구조는 최적 지도의 정규성과 어떻게 관련되는가?
• RQ4 수정된 비용 함수 $\tilde{c}$ 는 엄격한 $c$-볼록성과 연속성을 도출하는 데 어떤 역할을 하는가?
• RQ5 알렉산드로프 유형 추정을 사용하여 비단일 $c$-하위미분을 배제하고 $C^1$ 정규성을 보장할 수 있는가?

주요 결과

• 비용 함수가 비음성 교차 곡률을 가지며 밀도가 0과 무한대에서 멀리 떨어져 있을 경우, 최적 지도는 도메인 $U^\lambda$ 의 내부에서 연속적이고 단사적이다.
• $x \in U^\lambda$ 에 대해 $c$-하위미분 $\partial^c u(x)$ 는 유일한 원소를 가지며, 이는 $u \in C^1(U^\lambda)$ 를 의미한다.
• 잠재함수 $u$ 는 엄격한 $c$-볼록성을 확보한다. 즉, 서로 다른 $x, \tilde{x} \in U^\lambda$ 에 대해 $\partial^c u(x) \cap \partial^c u(\tilde{x}) = \emptyset$ 이다.
• 작은 단면 $K_\varepsilon$ 에서의 체적 추정에 기반한 모순 증명은 $\tilde{c}$-하위미분이 비단일 집합을 지지할 수 없음을 보여주며, 이는 알렉산드로프 추정에 위배된다.
• 이 결과는 리우, 트루디너, 웡의 이전 연구를 바탕으로, 밀도가 허더링 연속일 경우 잠재함수 $u$ 가 $C^{2,\alpha}_{\text{loc}}$ 정규성을 가짐을 의미한다.
• 이 증명은 리만 거리 제곱 비용을 사용한 구의 곱에서 최적 지도의 정규성을 확립하기 위한 핵심 요소를 제공한다.