[논문 리뷰] Variational approach to regularity of optimal transport maps: general cost functions

Félix Otto, Maxime Prod’homme외 1명|arXiv (Cornell University)|2020. 07. 22.

Geometric Analysis and Curvature Flows참고 문헌 27인용 수 4

한 줄 요약

이 논문은 일반적인 비용 함수를 가진 최적 운반 지도의 𝜖-정규성에 대한 변분적 증명을 제시하며, 이는 이전 연구를 호일더 연속 밀도로 확장한다. 이중 비용에 대한 거의 최소성과 에일러리안 프레임워크에서의 조화 근사법을 활용함으로써, 한 번의 캄파나토 반복만으로 C²,𝛼-정규성을 확보하여, 비용 함수의 혼합 도함수에 자연스럽게 의존하는 선형 유형의 H"older 노름에 대한 날카운 estimates 를 도출한다.

ABSTRACT

We extend the variational approach to regularity for optimal transport maps initiated by Goldman and the first author to the case of general cost functions. Our main result is an $\epsilon$-regularity result for optimal transport maps between H\"older continuous densities slightly more quantitative than the result by De Philippis-Figalli. One of the new contributions is the use of almost-minimality: if the cost is quantitatively close to the Euclidean cost function, a minimizer for the optimal transport problem with general cost is an almost-minimizer for the one with quadratic cost. This further highlights the connection between our variational approach and De Giorgi's strategy for $\epsilon$-regularity of minimal surfaces.

연구 동기 및 목표

• 유클리드 비용에서 일반적인 비용 함수로 최적 운반 지도의 정규성에 대한 변분적 접근를 확장하기.
• 호일더 연속 밀도 사이의 최적 운반 지도에 대한 𝜖-정규성 결과를 비용 함수의 혼합 도함수에 대한 정량적 의존성과 함께 수립하기.
• 특히 리만 다양체에서 중요한 마–트루디너–와우 조건과 같은 강력한 구조적 가정을 피하는 통합적 프레임워크 제공하기.
• 변분 전략이 거의 최소성과 조화 근사법에 기반하여 이전 방법보다 더 날카우며 자연스러운 정규성 추정치를 도출할 수 있음을 보여주기.

제안 방법

• 거의 최소성 개념 도입: 비용 함수가 이차 비용에 가까운 경우, 일반 비용에 대한 최소화자는 이차 비용에 대한 거의 최소화자이다.
• 최적 운반의 에일러리안 표현: 유량-밀도 쌍이 노이만 경계 조건을 갖는 이차 함수의 최소화자이다.
• 조화 근사 적용: 비용이 이차 비용에 가까운 점 근처에서는 운반 지도가 에일러리안 프레임워크에서 조화 함수로 잘 근사된다.
• 해가 조화 함수에 가까운 데 기반한 한 단계 개선 보조정리 구현: 유량-밀도 쌍의 최소성에 기반한다.
• 한 단계 개선 보조정리를 기반으로 한 캄파나토 반복 수행: 조화 함수의 선형 구조를 활용하여 단 한 번의 단계로 C²,𝛼 정규성을 확보한다.
• 좌표 변화와 측도를 보존하는 변형(역함수와 방향에 대한 평균화를 통한)을 사용하여 L¹ 및 L² 노름에서 이동을 제어한다.

실험 결과

연구 질문

• RQ1 최적 운반의 정규성에 대한 변분적 접근는 이차 비용을 초월해 일반적인 비용 함수로 확장될 수 있는가?
• RQ2 최적 운반 지도의 정규성은 비용 함수의 혼합 도함수의 호일더 노름에 대해 정량적으로 어떻게 의존하는가?
• RQ3 몽제–암페르 방정식이나 최대 원리에 의존하지 않고, 이차 비용에 대한 거의 최소성 개념을 활용해 𝜖-정규성을 도출할 수 있는가?
• RQ4 C²,𝛼 정규성 추정치는 비용 함수의 혼합 도함수의 호일더 반노름에 대해 어떻게 날카롭게 의존하는가?
• RQ5 캄파나토 반복을 단 한 번의 단계로 단순화하여 다중 라운드를 거치지 않고 C²,𝛼 정규성을 달성할 수 있는가?

주요 결과

• 논문은 일반적인 비용 함수를 가진 최적 운반 지도에 대해 호일더 연속 밀도 사이에서 𝜖-정규성 결과를 확립하며, 데 피리필리스와 피갈리의 결과를 정량적으로 개선했다.
• 정규성 추정치는 선형 방정식과 동일한 동차성을 보이며, 두 번째 도함수의 H"older 반노름은 밀도의 호일더 반노름과 비용 함수의 혼합 도함수의 호일더 반노름에 의해 유계로 제한된다.
• 기존 방법이 세 단계의 순차적 단계(C¹,¹⁻ → C¹,¹ → C²,𝛼)를 필요로 한 데 비해, 본 방법은 단 한 번의 캄파나토 반복만으로 C²,𝛼 정규성을 달성한다.
• 비용 함수에 대한 의존성은 최적이다: ∇ₓᵧ𝑐의 호일더 노름은 운반 지도의 두 번째 도함수의 정규성과 일치한다.
• L² 이동 제약은 역함수와 방향에 대한 평균화를 통한 측도를 보존하는 변형을 통해 유도되며, 이는 약한 Lᵖ 추정치를 이끈다.
• 최종 추정치는 ‖𝑢‖_{L^p(B_{R₁/4})} ≲ R₁^{d/p} ‖𝑢‖_{L²(B_{R₁})}^{1/(d+2)} 의 형태를 가지며, 이는 약한 유형의 제어를 이끌어내고 캄파나토 반복을 닫는 데 사용된다.