[논문 리뷰] A variational proof of partial regularity for optimal transportation maps

Michaël Goldman, Félix Otto|arXiv (Cornell University)|2017. 04. 18.

Nonlinear Partial Differential Equations참고 문헌 12인용 수 9

한 줄 요약

이 논문은 고르의 연속성 조건을 만족하는 밀도 간 최적 운반 지도에 대한 부분적 정칙성의 새로운 변분적 증명을 제시한다. 고전적인 최대원리 기법을 회피하기 위해, 벤아무-브레니에의 에우러리안 설정에서 경쟁 해법을 구성하고, 조화 근사에 기반한 칸파나토 반복을 사용한다. 이에 따라 운반 지도가 측도가 0인 집합을 제외한 곳에서 $C^{1,\beta}$임을 입증하며, 직접 $C^{1,\alpha}$ 수준에서 $\varepsilon$-정규성 결과를 통해 정규성을 확보한다.

ABSTRACT

We provide a new proof of the known partial regularity result for the optimal transportation map (Brenier map) between two sets. Contrary to the existing regularity theory for the Monge-Amp{è}re equation, which is based on the maximum principle, our approach is purely variational. By constructing a competitor on the level of the Eulerian (Benamou-Brenier) formulation, we show that locally, the velocity is close to the gradient of a harmonic function provided the transportation cost is small. We then translate back to the Lagrangian description and perform a Campanato iteration to obtain an $ε$-regularity result.

연구 동기 및 목표

• 최대원리나 알렉산드로프 해이론에 의존하지 않고, 최적 운반 지도에 대한 부분 정규성의 새로운 순수 변분적 증명을 제공한다.
• 중간 단계로 $C^{0,\alpha}$ 추정을 거치지 않고, 직접 $C^{1,\alpha}$ 수준에서 $\varepsilon$-정규성 결과를 확립한다.
• 원천 및 목표 밀도가 $C^{0,\alpha}$ 이고 0에서 멀리 떨어져 있을 경우, 운반 지도가 측도가 0인 집합을 제외한 곳에서 $C^{1,\alpha}$임을 보인다.
• 직접 운반 지도에 작용하는 변분 프레임워크를 통해 이론을 통합하며, 이동 볼록성과 경계층 구성 기법을 활용한다.

제안 방법

• 제어된 유량 경계 조건을 가진 푸아송 방정식의 해를 이용하여, 벤아무-브레니에의 에우러리안 설정에서 경쟁 해법을 구성한다.
• 이중성 기반의 경계층 구성 기법을 사용해 경계 추정을 유도하고, 문제를 경계 데이터 제어로 환원한다.
• 운반 에너지가 작을 경우, 속도장이 더 작은 구 안에서 조화 함수의 기울기와 가까워짐을 보이며, 조화 근사 기법을 적용한다.
• 조화 함수의 이차 테일러 전개를 통해 '기울기 기반 평탄도 향상'을 확립함으로써 반복적 정밀도 향상을 가능하게 한다.
• 아핀 변환에 대한 불변성을 활용한 칸파나토 반복을 수행하여 에너지와 $C^{1,\alpha}$ 정규성의 기하급수적 감쇠를 달성한다.
• 에우러리안 근사 결과를 라그랑주 설정으로 다시 변환하여, 르베그 점 주변에서 운반 지도가 $C^{1,\alpha}$임을 결론짓는다.

실험 결과

연구 질문

• RQ1 최대원리나 알렉산드로프 해이론에 의존하지 않고, 순수 변분적 접근을 통해 최적 운반 지도의 부분 정규성을 확립할 수 있는가?
• RQ2 작은 에너지와 고르 연속성 조건 하에서, 최적 운반 지도에 대해 $C^{1,\alpha}$ 수준에서 $\varepsilon$-정규성 결과가 존재하는가?
• RQ3 벤아무-브레니에 설정에서의 조화 근사를 통해 운반 지도의 반복적 정규성 향상을 유도할 수 있는가?
• RQ4 이동 볼록성과 경계층 구성 간의 상호작용은 에우러리안 프레임워크에서 유효한 경쟁 해법을 어떻게 가능하게 하는가?
• RQ5 칸파나토 반복은 중간 단계로 $C^{0,\alpha}$ 추정을 건너뛰고 직접 $C^{1,\alpha}$ 정규성을 도출하는 데 얼마나 적합한가?

주요 결과

• 운반 지도 $T$ 는 전체 측도를 가진 열린 부분집합 $E' \subseteq \text{supp}\, \rho_0$ 와 그 이미지 $F' \subseteq \text{supp}\, \rho_1$ 에서 $C^{1,\alpha}$이며, 부분적 $C^{1,\alpha}$ 정규성을 입증한다.
• 직접 $C^{1,\alpha}$ 수준에서 $\varepsilon$-정규성 정리가 증명되었다: 만약 에너지와 고르 반노름이 충분히 작을 경우, $T$ 는 더 작은 구에서 $C^{1,\alpha}$이다.
• 핵심 단계는 조화 근사 결과이다: 에우러리안 설정에서, 에너지가 작을 경우 속도장은 조화 함수의 기울기와 가까워진다.
• 증명은 푸아송 방정식과 경계층 구성 기반의 변분적 경쟁 해법에 의존하며, 경계 추정식 (3.10) 이 중심적인 역할을 한다.
• 문제의 자연스러운 척도성에 기반해 칸파나토 반복이 직접 $C^{1,\alpha}$ 수준에서 작동하여 중간 단계로 $C^{0,\alpha}$ 추정을 피한다.
• 결과는 아핀 변환에 대해 안정적이며, 이는 평탄도 향상의 반복적 개선에 필수적이다.