이차 미분 비용 함수에서 합성 MTW 조건의 동등성

초록

본 논문은 비용 함수가 단순히 $C^{2}$ 수준의 정칙성을 가질 때, 기존에 $C^{4}$ 가정 하에 알려진 두 합성 MTW 조건인 Loeper 조건과 정량적 준볼록성(QQconv) 조건이 서로 동등함을 증명한다. 주요 가정으로는 Twisted, Non‑degenerate, 그리고 도메인 볼록성(cDomConv, cDomConv*) 등을 포함한다. 핵심 정리는 Loeper 조건을 만족하면 QQconv 를 얻을 수 있음을 보이며, 이를 위해 국소적인 기하학적 추정과 연속성 모듈러스를 정교히 활용한다. 또한 Non‑degenerate 가 없을 경우의 반례도 제시한다.

상세 분석

이 논문은 최적 수송 문제에서 핵심적인 역할을 하는 Ma‑Trudinger‑Wang(MTW) 텐서를 분석한다. 기존 문헌에서는 $C^{4}$ 수준의 비용 함수에 대해 (A3w) 혹은 (A3s)라 불리는 분석적 MTW 조건과 두 개의 합성 조건, 즉 Loeper 조건과 정량적 준볼록성(QQconv) 사이의 동등성이 입증되었다. 그러나 실제 응용에서는 비용 함수가 $C^{4}$까지 매끄럽지 않은 경우가 많아, $C^{2}$ 수준에서 이러한 동등성이 유지되는가가 중요한 문제였다.

저자는 먼저 비용 함수 $c$가 $C^{2}$이며 혼합 헤시안 $D^{2}{xy}c$가 존재하고 전치 관계 $D^{2}{xy}c^{T}=D^{2}{yx}c$를 만족한다는 기본 가정을 둔다. 이어서 (Twisted), (Twisted*), (Non‑degenerate), (cDomConv), (cDomConv*) 라는 다섯 가지 구조적 가정을 명시한다. (Twisted)·(Twisted*)는 각각 $-D{x}c$와 $-D_{y}c$가 각각 $Y$와 $X$에 대해 전단사임을 의미하며, 이를 통해 $c$‑exp와 $c^{}$‑exp 라는 역함수를 정의한다. (Non‑degenerate)는 혼합 헤시안이 전역적으로 가역임을 보장해, 역행렬의 연속성 모듈러스를 얻는다. (cDomConv)·(cDomConv)는 각각 $Y^{}_{x}$와 $X^{}_{y}$가 볼록 집합임을 요구한다.

합성 조건의 정의는 다음과 같다. Loeper 조건은 $f_{t}(x):=-c(x,\exp_{x_{0}}^{c}v_{t})+c(x_{0},\exp_{x_{0}}^{c}v_{t})$에 대해 $f_{t}(x)\le\max{f_{0}(x),f_{1}(x)}$가 모든 $x,x_{0},v_{0},v_{1}$에 대해 성립하는 것을 말한다. QQconv 은 동일한 $f_{t}$에 대해 상수 $M\ge1$이 존재해 $f_{t}(x)-f_{0}(x)\le M t\bigl(f_{1}(x)-f_{0}(x)\bigr)$가 성립하도록 요구한다. 명백히 $M=1$이면 QQconv 은 Loeper 조건을 포함한다.

핵심 증명 전략은 “국소적 검증 → 전역적 확장”이다. Lemma 3.7은 일정 반경 $r>0$ 내에서 (8) 형태의 부등식이 성립하면 전체에 대해 QQconv 가 따라온다는 사실을 보인다. 이를 위해 $F(v)=-c(x_{1},\exp_{x_{0}}^{c}v)+c(x_{0},\exp_{x_{0}}^{c}v)$ 라는 함수의 수준집합과 그 외부법선 벡터를 이용해 $B^{+}{r}(v{0})$ 라는 반구형 영역을 정의하고, 그 안에서 $F$ 가 quasi‑convex 함을 이용한다. Lemma 3.9 은 $v_{1}$ 가 $B^{+}{r}(v{0})$ 안에 있으면 충분히 작은 $r$ 로 (8)을 얻을 수 있음을 보여, Lemma 3.7 과 결합해 전체 영역으로 확대한다.

이 과정에서 중요한 기술적 도구는 Lemma 3.10 과 Lemma 3.11 로, $∇F$ 의 연속성 모듈러스와 $|∇F(v)|$ 가 $|x_{1}-x_{0}|$ 와 비교 가능한 상수배 관계임을 정량화한다. 이러한 정량적 추정은 (Twisted)·(Non‑degenerate) 로부터 얻은 Lipschitz 상수 $\lambda$ 와 혼합 헤시안의 모듈러스 $\omega$ 를 조합해 얻는다.

섹션 4에서는 $v_{1}$ 가 $v_{0}$ 로부터 일정 각도와 거리 제한을 만족하는 원뿔 $C_{k,v_{0}}$ 안에 있을 때, $F(v_{t})-F(v_{0})\le 5t\bigl(F(v_{1})-F(v_{0})\bigr)$ 를 보이는 Lemma 4.1 을 증명한다. 여기서 $k$ 와 $r_{k}$ 를 적절히 선택해 $\omega(\lambda r_{k})$ 가 충분히 작게 만든다. 이 결과는 $v_{1}$ 가 원뿔 내부에 있으면 (8) 형태의 부등식이 바로 얻어짐을 의미한다.

섹션 5에서는 원뿔 내부가 아닌 경우를 다루며, $v_{1}$ 를 $B^{+}{r}(v{0})$ 로 이동시키는 “중간값 정리”와 “반사” 기법을 사용한다. 결국 모든 $v_{1}\in Y^{*}{x{0}}$ 에 대해 (8) 가 성립함을 보이고, Lemma 3.7 로부터 QQconv 를 획득한다.

마지막 섹션 6 은 (Non‑degenerate) 가 없을 때 Loeper 조건은 QQconv 를 보장하지 못한다는 반례를 구성한다. 여기서는 $D^{2}{xy}c$ 가 영점에서 가역성을 잃는 상황을 이용해, $f{t}$ 가 quasi‑convex 은 하지만 정량적 상수 $M$ 를 찾을 수 없는 경우를 명시한다.

결과적으로, 본 논문은 $C^{2}$ 비용 함수와 위의 다섯 가지 구조적 가정만으로도 두 합성 MTW 조건이 서로 동등함을 증명함으로써, 기존 $C^{4}$ 가정에 대한 의존성을 크게 완화한다. 이는 최적 수송 이론에서 비용 함수의 정칙성을 약화시켜도 Hölder 정규성 결과를 적용할 수 있는 이론적 기반을 제공한다.