[논문 리뷰] Continuity of maps solutions of optimal transportation problems

Grégoire Loeper|arXiv (Cornell University)|2005. 04. 07.

Optimization and Variational Analysis참고 문헌 2인용 수 8

한 줄 요약

이 논문은 비용 함수에 의존하는 헤시안 항을 포함하는 몽헤-암페르 방정식을 푸는 잠재 함수를 분석함으로써 최적 운반 지도의 C¹ 및 C¹,α 정규성을 확립한다. 비용 함수에 대한 조건 A3과 적분 가능성 f ∈ Lᵖ (p > n) 조건 하에서, 표준 몽헤-암페르 경우에 비해 향상된 C¹,α 정규성을 달성하며, 이는 비용 함수의 구조적 성질에 기인한 향상된 정규성임을 보여준다.

ABSTRACT

In this paper we investigate the continuity of maps solutions of optimal transportation problems. These maps are expressed through the gradient of a potential for which we establish C 1 and C 1,α regularity. Our results hold assuming a condition on the cost function (condition A3 below), that was the one used for C 2 a priori estimates in [5]. The optimal potential will solve a Monge-Ampère equation of the form det(M(x, ∇φ) + D 2 φ) = f where M depends on the cost function. One of the interesting outcome is that under the condition A3, the regularity obtained is better than the one obtained in the case of the ’usual ’ Monge-Ampère equation det D 2 φ = f, in particular we will obtain here C 1,α regularity for φ under the condition f ∈ L p,p> n.

연구 동기 및 목표

• 비용 함수에 대한 구조 조건 하에서 최적 운반 지도의 더 높은 정규성을 확립하기 위해.
• 비용 함수에 의존하는 헤시안 항을 포함하는 몽헤-암페르 방정식을 푸는 잠재 함수를 분석하기 위해.
• 조건 A3 하에서의 해의 정규성과 고전적인 몽헤-암페르 설정에서의 정규성 간 비교를 위해.
• 밀도 f가 Lᵖ에 속해 있고 p > n일 때, 특히 C¹,α 정규성이 달성될 수 있음을 보여주기 위해.

제안 방법

• 저자들은 M이 비용 함수에 의존하는 형태의 몽헤-암페르 방정식 det(M(x, ∇φ) + D²φ) = f 를 유도한다.
• 조건 A3에 기반하여 헤시안 항의 구조를 제어하기 위해 [5]의 사전 C² 추정을 적용한다.
• 분석은 최적 운반 지도를 생성하는 그라디언트 ∇φ를 갖는 잠재 함수 φ에 집중한다.
• 잠재 함수 φ에 대한 C¹ 및 C¹,α 경계를 도출하는 사전 추정을 통해 정규성이 확립된다.
• 표준 det D²φ = f 경우보다 더 높은 정규성을 달성하기 위해 비용 함수의 구조를 활용한다.
• 증명은 비용 함수의 기하학적 성질과 밀도 f의 적분 가능성 간의 상호작용에 기반한다.

실험 결과

연구 질문

• RQ1 비용 함수에 어떤 조건이 성립할 경우 최적 운반 지도가 C¹,α 정규성이 보장될 수 있는가?
• RQ2 조건 A3은 최적 운반 문제에서 몽헤-암페르 방정식의 해의 정규성에 어떻게 영향을 미치는가?
• RQ3 f ∈ Lᵖ 이고 p > n일 경우, 고전적 설정에 비해 최적 운반 문제에서 향상된 정규성을 달성할 수 있는가?
• RQ4 헤시안 항 M(x, ∇φ)은 잠재 함수의 정규성 향상에 어떤 역할을 하는가?
• RQ5 비용 함수의 구조는 운반 지도의 C¹,α 정규성에 어떻게 영향을 미치는가?

주요 결과

• 조건 A3 하에서 몽헤-암페르 방정식 det(M(x, ∇φ) + D²φ) = f 를 만족하는 잠재 함수 φ 는 C¹,α 정규성이 보장된다.
• 밀도 f 가 Lᵖ 에 속하고 p > n 일 경우, 고전적 결과에 비해 향상된 C¹,α 정규성이 달성된다.
• 비용 함수에 의해 유도된 구조 덕분에, 표준 몽헤-암페르 방정식 det D²φ = f 의 경우보다 더 강력한 정규성 결과를 얻는다.
• 조건 A3는 잠재 함수의 C² 및 이후 C¹,α 정규성을 확보하기 위한 필수 사전 추정을 보장한다.
• 헤시안 항 M(x, ∇φ) 는 방정식의 강도 구조를 수정함으로써 정규성 향상에 기여한다.
• 결과들은 비용 함수의 기하학이 고전적 경우에 비해 더 높은 정규성을 직접적으로 가능하게 한다는 것을 보여준다.