[논문 리뷰] Differential forms on Wasserstein space and infinite-dimensional Hamiltonian systems

Wilfrid Gangbo, Hwa Kil Kim외 1명|ArXiv.org|2008. 07. 07.

Geometric Analysis and Curvature Flows참고 문헌 23인용 수 6

한 줄 요약

이 논문은 확률측도의 워샤프스키 공간 위에서 미분형식에 대한 미분법을 개발하며, 그레인의 정리의 유사체를 확립하고, 첫 번째 드 라함 코homology 군이 0이 됨을 증명한다. D=2d인 경우, 미분형식군과 최적 운반 이론을 통해 무한차원 해밀턴 시스템을 기하학적으로 기술할 수 있는 엄밀한 심플렉틱 구조를 구축한다.

ABSTRACT

Let M denote the space of probability measures on R^D endowed with the Wasserstein metric. A differential calculus for a certain class of absolutely continuous curves in M was introduced by Ambrosio, Gigli and Savare'. In this paper we develop a calculus for the corresponding class of differential forms on M. In particular we prove an analogue of Green's theorem for 1-forms and show that the corresponding first cohomology group, in the sense of de Rham, vanishes. For D=2d we then define a symplectic distribution on M in terms of this calculus, thus obtaining a rigorous framework for the notion of Hamiltonian systems as introduced by Ambrosio and Gangbo. Throughout the paper we emphasize the geometric viewpoint and the role played by certain diffeomorphism groups of R^D.

연구 동기 및 목표

• 절대 연속 곡선에 대한 기존의 미분법과 쌍대적인, 확률측도의 워샤프스키 공간 위에서의 미분형식에 대한 엄밀한 미분법을 수립하기 위해.
• 워샤프스키 공간 위의 모든 닫힌 1형식이 정확함을 증명하여, 첫 번째 드 라함 코homology 군이 0이 됨을 보이기 위해.
• D=2d일 때, 워샤프스키 공간 위에 자연스러운 심플렉틱 분포를 정의하여 해밀턴 PDE의 기하학적 기술을 가능하게 하기 위해.
• 무한차원 해밀턴 시스템의 프레임워크를 최적 운반 이론과 미분형식군 작용과 통합하기 위해.
• 이전 문헌에서 형식적이거나 특수한 방법으로 사용된 심플렉틱 구조의 기술적으로 탄탄하고 기하학적으로 자연스러운 대안을 제공하기 위해.

제안 방법

• R^D 위의 Borel 확률측도 중 두 번째 모멘트가 유한한 집합인 워샤프스키 공간 M 위에서, 최적 운반의 메트릭 구조를 이용하여 미분형식의 미분법을 개발한다.
• 최적 운반과 변분법을 활용하여, [5]에서 정의된 2절대 연속 곡선과 쌍대적인 탄젠트 벡터와 미분형식의 개념을 도입한다.
• 1형식에 대한 그레인의 정리의 유사체를 증명하여, 닫힌 1형식이 임의의 닫힌 루프를 따라 적분했을 때 그 값이 0이 됨을 보인다.
• 첫 번째 드 라함 코homology 군 H^1(M)이 0임을 증명하여, M 위의 모든 닫힌 1형식이 정확함을 보인다.
• D=2d일 때, 컴팩트 지지를 가진 벡터장의 리 대수와 그 작용을 이용하여 워샤프스키 공간 M 위에 심플렉틱 분포를 구성한다.
• 형식적으로 [33]에서 사용된 파울슨 구조와 동치임을 보이며, 심플렉틱 구조가 기하학적으로 자연스럽고 해밀턴 흐름과 호환됨을 확인한다.

실험 결과

연구 질문

• RQ1 워샤프스키 공간 M 위에서, 절대 연속 곡선에 대한 기존의 미분법과 쌍대적인 일관된 미분형식의 미분법을 개발할 수 있는가?
• RQ2 M의 첫 번째 드 라함 코homology 군이 0이 되는가? 이는 모든 닫힌 1형식이 정확함을 의미한다.
• RQ3 D=2d일 때, 최적 운반 프레임워크와 곡선 및 형식의 미분법과 호환되는 자연스러운 심플렉틱 구조가 M 위에 존재하는가?
• RQ4 M 위의 심플렉틱 형식은 이전에 제안된 문헌의 파울슨 구조(예: [33])와 어떻게 관련이 있는가?
• RQ5 최적 운반과 미분형식군 작용의 도구를 이용하여, M 위의 무한차원 해밀턴 시스템을 엄밀하게 기술할 수 있는가?

주요 결과

• 워샤프스키 공간 위의 1형식에 대해 그레인의 정리의 유사체가 성립하여, 임의의 닫힌 루프를 따라 닫힌 1형식을 적분하면 그 값이 0이 됨을 보장한다.
• 첫 번째 드 라함 코homology 군 H^1(M)이 0이 되어, M 위의 모든 닫힌 1형식이 정확함을 증명한다.
• D=2d일 때, 컴팩트 지지를 가진 벡터장의 리 대수와 함께, 미분형식군 Diff_c(R^D)의 작용을 이용하여 M 위에 자연스러운 심플렉틱 분포를 구성한다.
• M 위의 심플렉틱 구조는 [33]에서 사용된 파울슨 구조와 형식적으로 동치이며, 기하학적으로 자연스럽다는 것을 확인한다.
• 이 프레임워크는 약한 해와 최적 운반과 호환되는 엄밀하고 기하학적으로 일관된 기초를 제공하여, M 위의 무한차원 해밀턴 시스템을 위한 기반을 마련한다.
• 측도나 함수수의 미분 가능성 가정에 의존하지 않으며, 해밀턴 PDE에 대한 통합적이고 강력한 접근법을 제공한다.