Optimal (partial) transport to non-convex polygonal domains

기술적 요약: 비볼록 다각형 영역으로의 최적 (부분) 수송

문제 정식화
본 논문은 $\mathbb{R}^2$에서 목표 영역이 비볼록 다각형일 때 최적 수송 사상과 자유 경계의 정칙성을 조사한다. 이 연구는 두 가지 구별되는 시나리오를 다룬다:

1. 완전 최적 수송: 동일한 측도를 갖는 두 유계 영역 $\Omega$와 $\Omega^*$가 주어졌을 때, 2 차 비용 $\int |x-y|^2 d\gamma$를 최소화하는 수송 계획을 찾는 것이다. Brenier 의 정리에 따르면, 이는 $(Du)_\# \chi_\Omega = \chi_{\Omega^*}$가 되도록 하는 볼록 퍼텐셜 $u$를 찾는 것과 동치이다. 초점은 특이점 집합 $A = \{x \in \Omega : u \text{는 } x \text{에서 미분 가능하지 않음}\}$의 구조에 있다.
2. 최적 부분 수송: 질량 $m < \min(|\Omega|, |\Omega^*|)$이 주어졌을 때, 부분 영역 $U \subset \Omega$를 부분 영역 $V \subset \Omega^*$로 수송하는 문제를 다룬다. 활성 수송 영역의 경계인 $F = \partial U \cap \Omega$를 "자유 경계"라고 한다. 본 논문은 $\Omega^*$가 비볼록 다각형일 때 $F$의 정칙성을 분석한다.

방법론
저자들은 볼록 해석, 기하학적 측도론, 그리고 Monge-Ampère 방정식의 정칙성 이론을 결합한다. 주요 방법론적 구성 요소는 다음과 같다:

• Legendre 변환과 쌍대 퍼텐셜: 분석은 쌍대 볼록 함수 $v = u^*$ (또는 부분 수송 경우의 $v$) 에 크게 의존한다. $x$에서 $u$의 미분 가능성은 $\partial^- u(x)$ 내의 점들에서 $v$의 미분 가능성에 대응된다.
• 국소화와 하위 수준 집합: 저자들은 특이점 근처의 퍼텐셜 행동을 국소화하기 위해 중심화된 하위 수준 집합 $S^c_h[v](y)$를 활용한다. 이러한 하위 수준 집합이 목표 경계의 작은 근방 내에 머무른다는 것을 확립함으로써, 정량적 균일 볼록성 추정을 적용한다.
• 특이점의 기하학적 분해: 특이점 집합 (또는 자유 경계) 은 목표 다각형 $\Omega^*$에 대한 $\partial^- u(x)$의 기하학에 따라 분해된다. 저자들은 $\partial^- u(x)$가 $\Omega^*$의 꼭짓점을 포함하는지, 하나의 변을 접촉하는지, 아니면 여러 변을 접촉하는지에 따라 점 $x$를 분류한다.
• 정칙성 부스팅: 목표 기하학이 국소적으로 볼록인 영역 (예: 변의 내부 근처) 에 대해서는, 저자들이 균일 타원형 방정식에 대한 Caffarelli 의 정칙성 이론과 Schauder 추정을 적용한다. 이들은 이러한 영역에서 퍼텐셜이 $C^\infty$임을 증명하여, 특이점 집합이 매끄러운 곡선임을 보여준다.
• 사선성 (Obliqueness) 추정: 부분 수송 경우에서, 매끄러움의 증명은 사선성 추정 (자유 경계의 법선과 목표 경계의 법선 사이의 각도가 0 이 아님) 을 확립하는 데 의존하며, 이를 통해 경계 정칙성 결과를 적용할 수 있다.

주요 기여 및 결과

• 특이점 집합의 구조 (완전 수송):
  본 논문은 $\Omega^*$가 비볼록 다각형일 때 특이점 집합 $A$에 대한 정밀한 설명을 제공하는 정리 1.1을 증명한다. 저자들은 $A$가 유한 집합이거나, 유한 개수의 점 $\{x_i\}$를 제외하고 국소적으로 매끄러운 1 차원 곡선임을 보인다.

  • "예외적인" 점 $\{x_i\}$는 $\partial^- u(x)$가 다각형의 꼭짓점을 접촉하거나 세 개 이상의 변을 접촉하는 위치에 해당한다.
  • 이러한 예외점 근처에서 특이점 집합은 유한 개의 Lipschitz 곡선의 합집합이다.
  • 증명은 $A$를 꼭짓점을 접촉하는 집합 $\Sigma_1$, 정확히 두 변을 접촉하는 집합 $\Sigma'_2$, 그리고 3 개 이상 ($\ge 3$) 의 변을 접촉하는 집합 $\Sigma''_2$로 분해하는 과정을 포함한다. $\Sigma_1$과 $\Sigma''_2$는 유한 집합이고, $\Sigma'_2$는 매끄러운 곡선으로 구성됨이 보인다.

• 자유 경계의 정칙성 (부분 수송):
  본 논문은 최적 부분 수송 문제에서 자유 경계 $F$가 유한 개의 특이점을 제외하고 매끄러움을 확립하는 정리 1.2를 증명한다.

  • 완전 수송 경우와 유사하게, 자유 경계 위의 특이점은 $\partial^- u(x)$가 $\Omega^*$의 꼭짓점이나 여러 변을 접촉하는 곳에서 발생한다.
  • 저자들은 꼭짓점을 접촉하는 점들의 집합 ($F_1$) 이나 여러 변을 접촉하는 점들의 집합 ($F_2$) 이 유한함을 증명한다.
  • 정확히 하나의 변을 접촉하는 점들 ($F_3$) 에 대해서는, 사선성 추정과 경계 정칙성 이론을 통해 자유 경계가 매끄럽다 ($C^\infty$) 는 것이 보인다.

• 일반화 및 가설:

  • 주석 1.2는 이러한 결과가 일반적인 양의 매끄러운 밀도로 확장되며, 약간 더 약한 정칙성 ($C^{1,\alpha}$) 으로 상한과 하한이 있는 밀도로도 확장됨을 지적한다.
  • 주석 3.2는 이 방법이 일반적인 차원에서 두 개의 유계 볼록 영역의 합집합인 목표에 적용됨을 나타낸다.
  • 제 5 절은 고차원 ($\mathbb{R}^n$) 에 대한 두 가지 가설을 제시한다. 가설 5.1은 비볼록 다면체로의 완전 수송에 대해, 특이점 집합이 Hausdorff 차원이 최대 $n-2$인 집합을 제외하고 국소적으로 매끄러운 $(n-1)$차원 초곡면임을 주장한다. 가설 5.2는 부분 수송에서 자유 경계에 대해 유사한 주장을 한다.

의의 및 주장
본 논문은 비볼록 평면 영역에 대해 이전에 확립된 것보다 더 정밀한 특이점 구조 설명을 제공한다고 주장한다. 이전 연구 (예: Figalli [16]) 는 특이점 집합이 가산 집합을 제외하고 $C^1$ 다양체임을 확립했지만, 본 작업은 다각형 목표에 대해 그 결과를 정제하여, 특이점 집합이 유한한 점 집합을 제외하고 매끄러움을 보여준다.

저자들은 다각형 영역에서 최적 수송 알고리즘을 사용한 메쉬 생성과 같은 수치 계산에서 이러한 결과의 실용적 관련성을 강조한다. 특이점을 특성화함으로써, 본 논문은 비볼록 모서리 근처에서 이러한 알고리즘의 한계와 행동을 이해하는 데 도움을 준다.

본 논문은 고차원에 대해 겸손한 어조를 유지하며, $n=2$에 대한 결과는 증명되었으나 $n \ge 3$으로의 확장은 여전히 가설임을 명시적으로 진술한다. 저자들은 고차원 경우를 해결했다고 주장하지는 않지만, 향후 연구를 위한 구조적 틀과 구체적인 가설을 제공한다.