[논문 리뷰] Lecture Notes on Gradient Flows and Optimal Transport

Sara Daneri, Giuseppe Savaré|arXiv (Cornell University)|2010. 09. 20.

Geometric Analysis and Curvature Flows참고 문헌 48인용 수 14

한 줄 요약

이 논문은 거리 공간 내의 경사 하강 흐름을 위한 변분 프레임워크를 제시하며, 거리 진동 변분 부등식(EVI)을 사용하여 지오데식적으로 $\lambda$-볼록인 함수계수의 $\lambda$-경사 하강 흐름에 대해 존재성, 안정성, 정규화 성질을 확립한다. 주요 기여는 이 이론을 최적 운반 공간에 적용하여, 엔트로피 함수계수의 $\lambda$-볼록성에 의해 열 방정식과 같은 확산 PDE의 해를 특성화하는 데 있다.

ABSTRACT

We present a short overview on the strongest variational formulation for gradient flows of geodesically $λ$-convex functionals in metric spaces, with applications to diffusion equations in Wasserstein spaces of probability measures. These notes are based on a series of lectures given by the second author for the Summer School "Optimal transportation: Theory and applications" in Grenoble during the week of June 22-26, 2009.

연구 동기 및 목표

• metric 공간 내 경사 하강 흐름을 위한 강력한 변분 공식화를 개발하기 위해 거리 진동 변분 부등식(EVI)을 사용하는 것.
• 콤���터성 또는 미분 가능성 조건에 의존하지 않고 $\lambda$-경사 하강 흐름의 존재성, 안정성, 정규화 성질을 확립하는 것.
• 측도-거리 공간의 경우에 이 이론을 적용하여 워셔슈타인 공간 내 엔트로피 함수계수의 $\lambda$-볼록성과 열 방정식 간의 연결 고리를 설정하는 것.
• 측도-그로모프-하우스도르프 수렴 및 내재 기하 조건을 통해 이 이론을 일반적인 측도-거리 공간으로 확장하는 것.

제안 방법

• 거리 공간 내에서 최대 경사 곡선을 특성화하는 거리 진동 변분 부등식(EVI)을 통해 경사 하강 흐름을 공식화하는 것.
• 에클랜드의 변분 원리를 사용하여 콤팩터성 조건 없이 이산 근사치를 구성하는 최소화 운동 계획을 사용하는 것.
• 거리 공간의 정교한 코시 추정 및 기하 조건을 통해 이산 계획의 수렴성을 확립하는 것.
• 특히 $X = \mathbb{R}^d$ 인 워셔슈타인 공간 $\mathscr{P}_2(X)$ 내의 지오데식 및 절대 연속 곡선을 특성화하는 것.
• 상대 엔트로피 함수계수 $\mathrm{Ent}_\gamma$가 $\lambda$-지오데식적으로 볼록일 경우, $\mathscr{P}_2(X)$ 상에서 $\lambda$-경사 하강 흐름을 생성함을 증명하는 것.
• 측도-그로모프-하우스도르프 수렴을 통해 리만 다양체 및 극한 측도-거리 공간에 이 이론을 적용하여 열 흐름의 수렴성을 증명하는 것.

실험 결과

연구 질문

• RQ1 일반적인 거리 공간 내에서 EVI 공식화를 통해 $\lambda$-경사 하강 흐름이 존재하기 위한 조건은 무엇인가?
• RQ2 EVI 공식화는 경사 하강 흐름의 안정성, 정규화, 점근 수렴성을 어떻게 보장하는가?
• RQ3 워셔슈타인 공간 내 엔트로피 함수계수의 $\lambda$-지오데식 볼록성과 열 방정식 해 사이의 관계는 무엇인가?
• RQ4 엔트로피 함수계수의 경사 하강 흐름을 하향 리치 곡률 하한이 존재하는 일반적인 측도-거리 공간으로 확장할 수 있는가?
• RQ5 측도-거리 공간의 기하학적 및 분석적 조건은 무엇이어야 하며, EVI 프레임워크를 통해 마코프 반군의 존재를 보장하는가?

주요 결과

• 거리 진동 변분 부등식(EVI)은 매끄럽거나 콤팩트성이 필요 없는 완비이고 하부 연속인 거리 공간 내에서 경사 하강 흐름을 강력하고 안정적이며 정규화 가능한 방식으로 공식화한다.
• EVI의 해는 생성 함수계수의 $\Gamma$-수렴성에 대해 안정적이며, 함수계수의 최소화자로 점근 수렴한다.
• 워셔슈타인 공간 $\mathscr{P}_2(\mathbb{R}^d)$ 내에서 상대 엔트로피 함수계수 $\mathrm{Ent}_\gamma$가 $\lambda$-지오데식적으로 볼록임과 동시에 기저 다양체의 리치 곡률이 $\lambda$ 이상으로 아래로 유계임과 동치이며, 기하학적 성질과 변분 성질을 연결한다.
• 콤팩트 리만 다양체 $M$ 상의 열 방정식은 $\mathscr{P}_2(M)$ 상에서 엔트로피 함수계수의 $\lambda$-경사 하강 흐름과 동치이며, EVI 특성화에 의해 이를 입증한다.
• 리만 다양체 $M^h$의 경우에 대해 일관된 리치 곡률 하한 $\mathrm{Ric}(M^h) \geq \lambda$ 가 존재할 때, 측도-그로모프-하우스도르프 수렴에 따라 $M^h$ 상의 열 흐름은 극한 공간 $(X, \mathsf{d}, \gamma)$ 상에서 $\mathrm{Ent}_\gamma$의 $\lambda$-경사 하강 흐름으로 수렴한다.
• 만약 $X$가 국소 각 조건을 만족하고 $K$-반볼록성일 경우, $\mathrm{Ent}_\gamma$의 $\lambda$-경사 하강 흐름은 $L^p(\gamma)$ 상의 마코프 반군으로 유일하게 확장된다. 이는 모든 $p \in [1, \infty)$ 에 대해 성립한다.