Measure preserving maps with bounded total variation

논문 개요

이 논문은 최적 수송 (Optimal Transport) 및 유체 역학의 맥락에서 제기된 추측을 해결하는 것을 목표로 합니다. 구체적으로, 주어진 영역 $\Omega \subset \mathbb{R}^d$ 위에서 정의된 조각별 아핀 (piecewise affine) 리프시츠 (Lipschitz) 함수 $\phi$에 대해, 매핑 $x \mapsto x + t\nabla\phi(x)$가 거의 모든 $t > 0$에 대해 단사 (injective) 일 때, $\phi$가 국소적으로 볼록 (locally convex) 해야 하는지에 대한 문제를 다룹니다.

저자들은 Liu 와 Pego 가 2025 년에 제기한 추측을 증명하되, $\nabla\phi$가 국소적으로 유계 변동 (BV, Bounded Variation) 함수에 속한다는 추가 가정을 통해 이 결과를 확장된 측도 보존 맵 (measure preserving maps) 클래스에 대해 증명합니다.

1. 연구 배경 및 문제 제기

• 배경: 최적 수송 이론 (Brenier, 1991) 에 따르면, 주어진 질량 분포를 이동시키는 유일한 볼록 함수의 기울기 $\nabla\phi$가 존재합니다. 이 경우 $\phi$는 볼록하므로 $x \mapsto x + t\nabla\phi(x)$는 모든 $t>0$에 대해 단사입니다.
• 역문제 (Converse Problem): 반대로, $\phi$가 조각별 아핀 리프시츠 함수이고, $x \mapsto x + t\nabla\phi(x)$가 거의 모든 $t>0$에 대해 단사라면, $\phi$는 반드시 볼록해야 할까?
• 추측 (Conjecture 1.1): Liu 와 Pego (2025) 는 위와 같은 조건을 만족하는 모든 $\phi$가 국소적으로 볼록해야 한다고 추측했습니다.
• 현재의 한계: $\nabla\phi$가 연속 ($C(\Omega)$) 인 경우에만 해당 추측이 증명되었습니다. 그러나 $\nabla\phi$가 더 일반적인 클래스 (예: BV 함수) 에 속할 때는 미해결 상태였습니다.

2. 주요 가정 및 정의

• 측도 보존 조건 (MPC): 함수 $\phi \in W^{1,1}(\Omega)$가 다음 조건을 만족한다고 합니다.
  • 전체 측도 집합 $F \subset \Omega$가 존재하여, $T_t(x) := x + t\nabla\phi(x)$가 거의 모든 $t \ge 0$에 대해 $F$ 위에서 측도 보존 (measure preserving) 입니다.
• 주요 가정: $\nabla\phi \in BV_{loc}(\Omega, \mathbb{R}^d)$ (기울기의 국소 유계 변동).

3. 방법론 및 증명 전략

논문의 증명은 크게 두 단계로 구성됩니다.

3.1. 1 단계: 조화함수 성질 (Subharmonicity) 증명

• 목표: BV 가정 없이도 $\phi$가 조화함수 성질 (subharmonic) 을 가진다는 것을 보입니다. 즉, $\Delta \phi \ge 0$ (분포 의미에서).
• 방법:
  • 확장 맵 (Expanding Maps) 개념 도입: $T_t$가 측도 보존이면, $T_t$는 확장이며 ($T_t \sharp \mathcal{L}^d \le \mathcal{L}^d$), 이를 이용해 라플라시안의 부호를 분석합니다.
  • 변분법적 접근: 임의의 음이 아닌 테스트 함수 $\psi \in C_c^1(\Omega)$에 대해, $\int \nabla\phi \cdot \nabla\psi \le 0$임을 보입니다.
  • 최적 수송 도구 활용 (Section 4): Brenier 의 극분해 (Polar Factorization) 정리를 사용하여, $T_t = \nabla f_t \circ \Phi_t$로 분해합니다. 여기서 $\nabla f_t$는 볼록 함수의 기울기이고 $\Phi_t$는 측도 보존 맵입니다. $t \to 0$일 때의 수렴성을 분석하여 $\Delta \phi \ge 0$을 유도합니다.

3.2. 2 단계: BV 가정을 통한 볼록성 증명

• 목표: $\nabla\phi \in BV_{loc}$일 때, $\phi$가 국소적으로 볼록임을 증명합니다.
• 방법:
  • 미분 분해: $\nabla\phi$의 미분 $D(\nabla\phi)$를 절대연속 부분 ($D_a$) 과 특이 부분 ($D_s$) 으로 분해합니다.
  • 특이 부분 분석 (Singular Part): Alberti 의 Rank-1 정리를 적용하여, 특이 부분 $D_s(\nabla\phi)$가 $a(x) \otimes b(x)$ 형태임을 보입니다. 대칭성으로 인해 이는 $\lambda(x) \vec{n} \otimes \vec{n}$ 형태가 되며, 1 단계에서 증명된 조화함수 성질 ($\Delta \phi \ge 0$) 로 인해 $\lambda(x) \ge 0$임을 유도합니다. 즉, 특이 부분은 양의 정부호 행렬 측도입니다.
  • 절대연속 부분 분석 (Absolutely Continuous Part):
    • Lusin-Lipschitz 성질을 이용해 $\nabla\phi$를 리프시츠 함수 $f_\Lambda$로 근사합니다.
    • 측도 보존 조건과 면적 공식 (Area Formula) 을 결합하여, $|\det(I + t D_a(\nabla\phi))| = 1$이 거의 모든 $x$에서 성립함을 보입니다.
    • 이를 $t$에 대해 분석하면 $D_a(\nabla\phi)$의 모든 고유값이 0 이어야 하므로, $D_a(\nabla\phi) = 0$임을 증명합니다.
  • 결론: $D(\nabla\phi) = D_s(\nabla\phi) \ge 0$이므로, $\phi$의 분포적 헤시안 (Hessian) 은 양의 정부호입니다. 이는 $\phi$가 국소적으로 볼록임을 의미합니다.

4. 주요 결과 (Theorems)

• Theorem 1.2 (Main Result): $\Omega \subset \mathbb{R}^d$에서 조각별 아핀 리프시츠 함수 $\phi$에 대해, $x \mapsto x + t\nabla\phi(x)$가 거의 모든 $t>0$에 대해 단사이고, $\nabla\phi \in BV_{loc}(\Omega)$라면, $\phi$는 $\Omega$에서 국소적으로 볼록합니다.
• Theorem 2.3 (Generalization): 더 일반적인 측도 보존 맵 클래스에 대해서도 동일한 결과가 성립함을 보입니다.
• Proposition 2.4 & 3.3: BV 가정이 없더라도 $\phi$는 조화함수 성질 ($\Delta \phi \ge 0$) 을 만족함을 증명합니다.

5. 의의 및 기여

1. 추측의 증명: Liu 와 Pego 가 제기한 추측을 $\nabla\phi$가 BV 클래스에 속하는 경우로 확장하여 증명했습니다. 이는 최적 수송 및 유체 역학에서 '강한 단사성 (rigid breaking)'과 '볼록성' 사이의 관계를 규명하는 중요한 진전입니다.
2. BV 함수 이론의 적용: BV 함수의 구조적 특성 (Alberti 의 Rank-1 정리, Lusin-Lipschitz 성질) 을 측도 보존 맵의 분석에 성공적으로 적용하여, 미분 가능성이나 연속성이 보장되지 않는 경우에도 볼록성을 유도할 수 있음을 보였습니다.
3. 다양한 증명 기법:
   • 직접적 분석: BV 분해와 고유값 분석을 통한 증명.
   • 최적 수송 접근: Brenier 의 극분해 정리를 활용한 대안적 증명 (Section 4) 을 제시하여, $\nabla\phi \notin BV$인 경우에도 추가적인 성질을 도출할 수 있는 가능성을 시사합니다.
4. 남은 과제: $\nabla\phi \notin BV$인 경우 (예: $\nabla\phi \in L^p$ 또는 더 약한 조건) 에는 여전히 미해결 문제로 남아있으며, 이 논문은 그 해결을 위한 중요한 디딤돌을 마련했습니다.

요약

이 논문은 측도 보존 조건을 만족하는 매핑이 국소적으로 볼록해야 한다는 추측을, 기울기가 유계 변동 (BV) 함수인 경우에 대해 엄밀하게 증명했습니다. 핵심은 측도 보존 성질이 라플라시안의 부호를 양수로 만들고, BV 함수의 구조적 성질이 절대연속 부분을 소거하여 최종적으로 헤시안이 양의 정부호가 됨을 보이는 데 있습니다.