[논문 리뷰] On strict convexity and $C^1$ regularity of potential functions in optimal transportation

Neil S. Trudnger, Xu‐Jia Wang|ArXiv.org|2007. 02. 27.

Nonlinear Partial Differential Equations참고 문헌 13인용 수 13

한 줄 요약

이 논문은 비용 함수에 대한 조건 (A3), 유계 밀도, 그리고 목적 영역의 $c$-볼록성 하에 최적 운반 이론에서 잠재 함수의 엄격한 볼록성과 $C^1$ 정칙성을 확립한다. 직접적인 기하학적 및 분석적 추론을 통해 이중 잠재 함수가 엄격하게 $c$-볼록임을 증명하고, 잠재 함수가 연속적으로 미분 가능하다는 것을 보이며, 이는 이전 연구에서의 간극을 메우고, 근사 기법을 통해 덜 규칙적인 자료로 결과를 확장한다.

ABSTRACT

This note concerns the relationship between conditions on cost functions and domains and the convexity properties of potentials in optimal transportation and the continuity of the associated optimal mappings. In particular, we prove that if the cost function satisfies the condition (A3), introduced in our previous work with Xinan Ma, the densities and their reciprocals are bounded and the target domain is convex with respect to the cost function, then the potential is continuously differentiable and its dual potential strictly concave with respect to the cost function. Our result extends, by different and more direct proof, similar results of Loeper proved by approximation from our earlier work on global regularity.

연구 동기 및 목표

• 이전 연구보다 더 약한 조건 하에서 최적 운반 이론에서 잠재 함수의 $C^1$ 정칙성과 엄격한 볼록성을 확립하기 위해.
• 이전 결과에서 사용된 근사 기법을 피하는 직접적인 $C^1$ 정칙성 증명을 제공하기 위해.
• 내부 정칙성 분석에서 [MTW]에서 사용된 비교 추론의 간극을 메우기 위해 잠재 함수의 완전한 $c$-볼록성을 확립하기 위해.
• ($A1$)--($A3$) 조건 하에서, $f,g > 0$ 이면 잠재 함수 $u$가 완전히 $c$-볼록임을 보여주어 전역적 $c$-지지가 존재함을 보장하기 위해.

제안 방법

• 목적 영역 $\Omega^*$의 $c$-볼록성과 (A3) 조건에 기반한 기하학적 추론을 사용하여, 잠재 함수가 그 $c$-지지와의 접촉 집합을 분석한다.
• 잠재 함수 $v$와 경계 근처에서 $v$보다 엄격히 작은 함수 $\overline{v}$를 구성한 후, $v$와 $\overline{v}$ 사이의 비교 원리를 적용한다.
• 분석적 형태의 $c$-볼록성과 (A3)에서의 엄격한 부등식을 활용하여, $v$가 엄격하게 $c$-볼록이 아닐 경우 모순을 유도한다.
• 서브미분의 행동을 제어하기 위해 $v$가 반볼록임과 동시에 이중 최소값 표현식을 만족함을 이용한다.
• 밀도 $f,g > 0$ 이면 잠재 함수의 유일성이 상수항을 제외하고 보장되므로, 유계 밀도에서 일반적인 양의 적분 가능 밀도로 결과를 근사 기법을 통해 확장한다.
• $c$-지지 함수 $h_t(x) = (1-t)c(x,y_0) + t c(x,y_1) - a_t$ 를 적용하여 중간 단계의 $c$-지지의 행동을 분석하고, 엄격한 볼록성을 도출한다.

실험 결과

연구 질문

• RQ1 비용 함수와 밀도에 어떤 조건이면 최적 운반 이론에서 잠재 함수가 $C^1$ 정칙성을 갖는가?
• RQ2 ($A3$) 조건과 유계 밀도 하에서, 근사 기법 없이 직접적으로 이중 잠재 함수의 엄격한 $c$-볼록성을 확보할 수 있는가?
• RQ3 ($A3$) 조건의 실패가 잠재 함수의 $C^1$ 정칙성 또는 완전한 $c$-볼록성 상실로 이어지는가?
• RQ4 [$MTW$]에서 내부 정칙성 분석에 사용된 비교 추론은 잠재 함수의 $C^1$ 정칙성에 의해 정당화될 수 있는가?
• RQ5 잠재 함수 $u$가 $C^1$ 이고 ($A3$) 조건이 성립할 때, 잠재 함수의 $c$-지지와의 접촉 집합은 연결되어 있는가?

주요 결과

• 비용 함수가 ($A1$)--($A3$)를 만족하고, $\Omega^*$가 $c$-볼록이며, $f,g$ 가 0에서 유계이면, 이중 잠재 함수 $v$는 엄격하게 $c$-볼록이다.
• 동일한 조건 하에서 잠재 함수 $u$는 $C^1$ 미분 가능하며, 이는 최적 운반 사상 $T$가 연속적임을 의미한다.
• 이 결과는 근사 기법을 통해 일반적인 양의 적분 가능 밀도 $f,g$ 로 확장되며, $C^1$ 정칙성과 엄격한 $c$-볼록성이 유지된다.
• 밀도 $f,g > 0$ 이면 잠재 함수 $u$는 완전히 $c$-볼록이며, 이는 국소적 $c$-지지가 전역적임을 보장한다.
• 이 증명은 로페르의 근사 기반 방법의 직접적인 대체를 제공하며, [$MTW$]에서 사용된 비교 추론의 간극을 해결한다.
• 차원 2에서, $C^1$ 정칙성과 $c$-지지의 구조에 기반해 $\mathbb{R}^2$ 상에서 $u$의 완전한 $c$-볼록성이 직접 도출된다.