[논문 리뷰] Newton's Equation on Diffeomorphisms and Densities

Boris Khesin, Gerard Misiołek외 1명|arXiv (Cornell University)|2017. 11. 07.

Advanced Differential Geometry Research인용 수 2

한 줄 요약

이 논문은 다변량 M 위의 미분형상과 확률 밀도의 무한차원 공간에서 뉴턴형 방정식을 위한 기하학적 프레임워크를 개발하며, 오트만의 기울기 흐름을 위한 미분기하학을 일반화한다. 매들랑 변환이 위상공간 간의 심플렉틱 동형사상이자 칼라흐 맵임을 입증하고, 고전적 페일러- Rao 및 양자 Bures 거리 척도를 연결하며, 압축성 유동, 하미르톤-자코비, 비선형 샤르딩거 방정식 등의 방정식을 이 기하학적 구조를 통해 통합한다.

ABSTRACT

We develop a geometric framework for Newton-type equations on the infinite-dimensional configuration space of probability densities. It can be viewed as a second order analogue of the "Otto calculus" framework for gradient flow equations. Namely, for an n-dimensional manifold M we derive Newton's equations on the group of diffeomorphisms Diff(M) and the space of smooth probability densities Dens(M), as well as describe the Hamiltonian reduction relating them. For example, the compressible Euler equations are obtained by a Poisson reduction of Newton's equation on Diff(M) with the symmetry group of volume-preserving diffeomorphisms, while the Hamilton-Jacobi equation of fluid mechanics corresponds to potential solutions. We also prove that the Madelung transform between Schrodinger-type and Newton's equations is a symplectomorphism between the corresponding phase spaces T* Dens(M) and PL2 (M, C). This improves on the previous symplectic submersion result of von Renesse [1]. Furthermore, we prove that the Madelung transform is a Kahler map provided that the space of densities is equipped with the (prolonged) Fisher-Rao information metric and describe its dynamical applications. This geometric setting for the Madelung transform sheds light on the relation between the classical Fisher-Rao metric and its quantum counterpart, the Bures metric. In addition to compressible Euler, Hamilton-Jacobi, and linear and nonlinear Schrodinger equations, the framework for Newton equations encapsulates Burgers' inviscid equation, shallow water equations, two-component and mu-Hunter-Saxton equations, the Klein-Gordon equation, and infinite-dimensional Neumann problems.

연구 동기 및 목표

• 무한차원 미분형상 공간과 확률 밀도 공간에서 오트만의 기울기 흐름 미분기하학을 뉴턴형 2차 동역학으로 확장한다.
• 대칭군을 통해 Diff(M) 위의 뉴턴 방정식과 Dens(M) 위의 뉴턴 방정식을 연결하는 해밀토니안 축소 프레임워크를 수립한다.
• 매들랑 변환이 T* Dens(M)와 PL2(M, C) 사이의 심플렉틱 동형사상임을 증명하여 이전의 부분사상 결과를 향상시킨다.
• Dens(M)에 연장된 페일러- Rao 정보 거리 척도를 부여할 경우 매들랑 변환이 칼라흐 맵임을 보인다.
• 압축성 뉴턴, 버거스, 얕은 수면, 비선형 샤르딩거 방정식 등 다양한 방정식을 하나의 기하학적 프레임워크 내에서 통합한다.

제안 방법

• 해밀토니안 역학과 리-포아송 구조를 사용하여 미분형상군 Diff(M) 위에서의 뉴턴 방정식을 유도한다.
• 체적을 보존하는 미분형상 부분군에 대한 포아송 축소를 적용하여 Dens(M) 위의 방정식을 도출한다.
• T* Dens(M)와 L2(M, C)의 제곱 integrable 복소함수 공간 사이의 매들랑 변환을 맵으로 구성한다.
• 표준 심플렉틱 형식을 보존함을 검증하여 매들랑 변환이 심플렉틱 동형사상임을 증명한다.
• Dens(M)에 연장된 페일러- Rao 정보 거리 척도를 도입하고, 매들랑 변환이 칼라흐 구조를 보존함을 보인다.
• 이 프레임워크를 적용하여 압축성 유체, 얕은 수면, mu- 히터-삭스턴, 클라인-고든, 무한차원 뉴먼 문제의 동역학을 유도하고 통합한다.

실험 결과

연구 질문

• RQ1 확률 밀도의 무한차원 공간에서 뉴턴형 동역학을 어떻게 기하학적으로 기술할 수 있는가?
• RQ2 대칭 축소는 Diff(M) 위의 뉴턴 방정식과 Dens(M) 위의 뉴턴 방정식을 어떻게 연결하는가?
• RQ3 매들랑 변환이 고전적 밀도 역학의 위상공간과 양자역학적 시스템 간의 심플렉틱 동형사상인가?
• RQ4 어떤 기하학적 조건에서 매들랑 변환이 칼라흐 맵이 되는가?
• RQ5 이 프레임워크는 어떻게 다양한 방정식—압축성 뉴턴, 버거스, 비선형 샤르딩거 등—을 통합하는가?

주요 결과

• 매들랑 변환이 T* Dens(M)와 PL2(M, C) 사이의 심플렉틱 동형사상임을 입증하여 이전에 알려진 심플렉틱 부분사상보다 더 강력한 기하학적 구조임을 확인한다.
• Dens(M)에 연장된 페일러- Rao 정보 거리 척도를 부여할 경우 매들랑 변환이 칼라흐 맵이 되며, 고전적 및 양자 정보기하학을 연결한다.
• 압축성 뉴턴 방정식은 체적 보존 대칭에 대한 포아송 축소를 통해 Diff(M) 위의 뉴턴 방정식의 결과로 통합된다.
• 유체역학의 하미르톤-자코비 방정식은 이 뉴턴 프레임워크 내에서 잠재적 해로서 나타난다.
• 기하학적 접근은 점성 없는 버거스 방정식, 얕은 수면 방정식, 이중성분 및 mu- 히터-삭스턴 시스템, 무한차원 뉴먼 문제까지 확장 가능하다.
• Dens(M)에 존재하는 연장된 페일러- Rao 거리 척도는 매들랑 변환이 칼라흐 맵이 되게 하는 자연스러운 리만 기하학적 구조를 제공하며, 고전-양자 거리 척도 관계를 명확히 한다.