[논문 리뷰] Optimal Transportation with Boundary Costs and Summability Estimates on the Transport Density

Samer Dweik|arXiv (Cornell University)|2016. 09. 27.

Advanced Mathematical Modeling in Engineering인용 수 6

한 줄 요약

이 논문은 경계 비용이 있는 유한 도메인에서 최적 운반 문제를 다루며, 표적 측도가 경계에 집중되어 있어도 운반 밀도의 $L^p$ 합산 가능성을 증명한다. 딜리클레 경계 조건을 갖는 베크먼 및 칸토로비치 문제 간의 이중성 관계를 확립하고, 은폐 함수 정리와 야코비안 행렬의 행렬식 추정을 통해 운반 사상의 정칙성 결과를 도출한다.

ABSTRACT

In this paper we analyze a mass transportation problem in a bounded domain with the possibility to transport mass to/from the boundary, paying the transport cost, that is given by the Euclidean distance plus an extra cost depending on the exit/entrance point. This problem appears in import/export model, as well as in some shape optimization problems. We study the L^p summability of the transport density which does not follow from standard theorems, as the target measures are not absolutely continuous but they have some parts of them which are concentrated on the boundary. We also provide the relevant duality arguments to connect the corresponding Beckmann and Kantorovich problems to a formulation with Kantorovich potentials with Dirichlet boundary conditions.

연구 동기 및 목표

• 유한 도메인에서 경계를 따라 질량 수입/수출에 대한 추가 비용이 존재하는 최적 운반 문제를 분석한다.
• 표적 측도가 경계에 집중되어 있어도(특이 측도인 경우) 운반 밀도의 $L^p$ 합산 가능성을 확립한다. 이는 기존 정리와는 다를 수 있다.
• 디리클레 경계 조건을 갖는 잠재변수를 고려한 베크먼 문제와 칸토로비치 문제 간의 이중성 관계를 수립한다.
• 은폐 함수 정리와 야코비안 행렬의 행렬식 분석을 통해 최적 운반 사상의 거의 모든 곳에서의 정칙성을 증명한다.

제안 방법

• 수입 비용 $g_1$과 수출 비용 $g_2$를 갖는 칸토로비치 문제(KPb)의 변종을 제시하며, 총 비용(운반 비용 + 경계 세금)을 최소화한다.
• 칸토로비치 잠재변수를 사용한 이중 형식을 도입하며, 딜리클레 경계 조건을 적용하고 몽헤-칸토로비치 체계와 연결한다.
• 최적 계획 $\gamma$를 이용해 직선 경로를 따라 적분하여 운반 밀도 $\sigma$를 정의하고, 벡터장 $W = -\sigma \nabla u$와의 관계를 설정한다.
• 경계 비용의 헤시안 행렬이 비특이일 경우, 은폐 함수 정리를 적용하여 도메인의 거의 전역에서 운반 사상 $T$의 $C^1$ 정칙성을 보인다.
• 운반 사상의 야코비안 행렬식 $\det(DT_t(x))$를 운반 경로를 따라 분석하며, $t$가 거의 전역에서 $C(1-t)$ 이하로 유계임을 증명한다.
• 행렬 $F + (1-t)N$에 대한 행렬식 추정을 통해, 각 경로를 따라 유한 개의 $t$ 값 이외에는 영이 되지 않음을 보여, 거의 전역에서 가역성을 확보한다.

실험 결과

연구 질문

• RQ1 표적 측도가 경계에 집중되어 있을 때, 경계 비용 존재가 운반 밀도의 $L^p$ 합산 가능성에 어떤 영향을 미치는가?
• RQ2 잠재변수에 딜리클레 경계 조건을 부여할 경우, 베크먼 문제와 칸토로비치 문제 간의 이중성은 어떻게 확장될 수 있는가?
• RQ3 최적 운반 사상 $T$가 도메인의 거의 전역에서 $C^1$ 미분 가능해지는 조건은 무엇인가?
• RQ4 운반 사상의 야코비안 행렬식은 운반 경로를 따라 어떻게 행동하며, 이는 사상의 정칙성과 어떤 관련이 있는가?
• RQ5 경계 비용이 엄격히 볼록일 경우, 은폐 함수 정리를 통해 운반 사상의 국소 $C^1$ 정칙성을 어떻게 증명할 수 있는가?

주요 결과

• 원천 측도와 표적 측도가 $L^p$에 속해 있을 경우, 즉 $p \geq 1$이면, 경계에 집중된 특이 측도일지라도 운반 밀도 $\sigma$는 $L^p(\Omega)$에 속한다.
• 최적 운반 사상 $T$는 $\Omega$의 거의 전역에서 $C^1$이며, 특히 영역 $\Omega \setminus N$에서 $N$이 무시할 만한 닫힌 집합일 때 성립한다.
• 운반 사상의 야코비안 행렬식은 거의 전역에서 $|\det(DT_t(x))| \geq C(1-t)$를 만족하며, 이때 $C > 0$는 도메인의 직경, $\lambda$, $r$, $D^2g$에 의존한다.
• 각 운반 경로를 따라 거의 전역에서 $F + (1-t)N$은 가역적이며, 그 행렬식이 유한 개의 $t$ 값에서만 0이 되기 때문이다.
• 시스템 $h(x,y) = 0$에 은폐 함수 정리를 적용하면, 경계 비용의 헤시안 행렬이 비특이일 경우, 임의의 점 $a \in \Omega \cap S \cap \Omega_1$ 근처에서 $T$의 국소 $C^1$ 정칙성을 보장한다.
• 사상 $T$가 $C^1$이 되지 않는 점들의 집합은 무시할 수 있으며, 이는 각 운반 경로와의 교차점이 가산적이기 때문에, 사상은 거의 전역에서 $C^1$ 정칙성을 가진다.