Geometric hydrodynamics and infinite-dimensional Newton’s equations

Khesin, Boris; Misiołek, Gerard; Modin, Klas

doi:10.1090/bull/1728

Geometric hydrodynamics and infinite-dimensional Newton’s equations
HTML articles powered by AMS MathViewer

by Boris Khesin, Gerard Misiołek and Klas Modin HTML | PDF

Bull. Amer. Math. Soc. 58 (2021), 377-442 Request permission

Abstract:

We revisit the geodesic approach to ideal hydrodynamics and present a related geometric framework for Newton’s equations on groups of diffeomorphisms and spaces of probability densities. The latter setting is sufficiently general to include equations of compressible and incompressible fluid dynamics, magnetohydrodynamics, shallow water systems and equations of relativistic fluids. We illustrate this with a survey of selected examples, as well as with new results, using the tools of infinite-dimensional information geometry, optimal transport, the Madelung transform, and the formalism of symplectic and Poisson reduction.

References

A. A. Agrachev and M. Caponigro, Controllability on the group of diffeomorphisms, Ann. Inst. H. Poincaré C Anal. Non Linéaire 26 (2009), no. 6, 2503–2509 (English, with English and French summaries). MR 2569905, DOI 10.1016/j.anihpc.2009.07.003
Stephen C. Anco and Amanullah Dar, Classification of conservation laws of compressible isentropic fluid flow in $n>1$ spatial dimensions, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 465 (2009), no. 2108, 2461–2488. MR 2519707, DOI 10.1098/rspa.2009.0072
S. C. Anco and G. M. Webb, Hierarchies of new invariants and conserved integrals in inviscid fluid flow, Phys. Fluids 32 (2020), 086104.
V. I. Arnold, Variational principle for three-dimensional steady-state flows of an ideal fluid, Prikl. Mat. Mekh. 29 (1965).
V. Arnold, Sur la géométrie différentielle des groupes de Lie de dimension infinie et ses applications à l’hydrodynamique des fluides parfaits, Ann. Inst. Fourier (Grenoble) 16 (1966), no. fasc. 1, 319–361 (French). MR 202082, DOI 10.5802/aif.233
V. I. Arnol′d, The asymptotic Hopf invariant and its applications, Selecta Math. Soviet. 5 (1986), no. 4, 327–345. Selected translations. MR 891881
V. I. Arnol′d, Mathematical methods of classical mechanics, 2nd ed., Graduate Texts in Mathematics, vol. 60, Springer-Verlag, New York, 1989. Translated from the Russian by K. Vogtmann and A. Weinstein. MR 997295, DOI 10.1007/978-1-4757-2063-1
Vladimir I. Arnold and Boris A. Khesin, Topological methods in hydrodynamics, Applied Mathematical Sciences, vol. 125, Springer-Verlag, New York, 1998. MR 1612569, DOI 10.1007/b97593
Jean-David Benamou and Yann Brenier, A computational fluid mechanics solution to the Monge-Kantorovich mass transfer problem, Numer. Math. 84 (2000), no. 3, 375–393. MR 1738163, DOI 10.1007/s002110050002
Nicolas Besse and Uriel Frisch, Geometric formulation of the Cauchy invariants for incompressible Euler flow in flat and curved spaces, J. Fluid Mech. 825 (2017), 412–478. MR 3692802, DOI 10.1017/jfm.2017.402
Yann Brenier, The least action principle and the related concept of generalized flows for incompressible perfect fluids, J. Amer. Math. Soc. 2 (1989), no. 2, 225–255. MR 969419, DOI 10.1090/S0894-0347-1989-0969419-8
Yann Brenier, Polar factorization and monotone rearrangement of vector-valued functions, Comm. Pure Appl. Math. 44 (1991), no. 4, 375–417. MR 1100809, DOI 10.1002/cpa.3160440402
Yann Brenier, Extended Monge-Kantorovich theory, Optimal transportation and applications (Martina Franca, 2001) Lecture Notes in Math., vol. 1813, Springer, Berlin, 2003, pp. 91–121. MR 2006306, DOI 10.1007/978-3-540-44857-0_{4}
Th. Bröcker, Differentiable germs and catastrophes, London Mathematical Society Lecture Note Series, No. 17, Cambridge University Press, Cambridge-New York-Melbourne, 1975. Translated from the German, last chapter and bibliography by L. Lander. MR 0494220, DOI 10.1017/CBO9781107325418
A. Chern, F. Knöppel, U. Pinkall, P. Schröder, and S. Weissmann, Schrödinger’s smoke, ACM Trans. Graph. 35 (2016), 77:1–77:13.
Camillo De Lellis and László Székelyhidi Jr., High dimensionality and h-principle in PDE, Bull. Amer. Math. Soc. (N.S.) 54 (2017), no. 2, 247–282. MR 3619726, DOI 10.1090/bull/1549
H.-D. Doebner and Gerald A. Goldin, On a general nonlinear Schrödinger equation admitting diffusion currents, Phys. Lett. A 162 (1992), no. 5, 397–401. MR 1152014, DOI 10.1016/0375-9601(92)90061-P
Felix V. Dolzhansky, Fundamentals of geophysical hydrodynamics, Encyclopaedia of Mathematical Sciences, vol. 103, Springer, Heidelberg, 2013. Translated from the 2011 Russian 2nd edition by Boris Khesin; Mathematical Physics, 4. MR 2987817, DOI 10.1007/978-3-642-31034-8
David G. Ebin, Motion of a slightly compressible fluid, Proc. Nat. Acad. Sci. U.S.A. 72 (1975), 539–542. MR 397780, DOI 10.1073/pnas.72.2.539
David G. Ebin and Jerrold Marsden, Groups of diffeomorphisms and the motion of an incompressible fluid, Ann. of Math. (2) 92 (1970), 102–163. MR 271984, DOI 10.2307/1970699
D. G. Ebin, G. Misiołek, and S. C. Preston, Singularities of the exponential map on the volume-preserving diffeomorphism group, Geom. Funct. Anal. 16 (2006), no. 4, 850–868. MR 2255383, DOI 10.1007/s00039-006-0573-8
Alberto Enciso, Daniel Peralta-Salas, and Francisco Torres de Lizaur, Helicity is the only integral invariant of volume-preserving transformations, Proc. Natl. Acad. Sci. USA 113 (2016), no. 8, 2035–2040. MR 3474089, DOI 10.1073/pnas.1516213113
Susan Friedlander and Alexander Shnirelman, Instability of steady flows of an ideal incompressible fluid, Mathematical fluid mechanics, Adv. Math. Fluid Mech., Birkhäuser, Basel, 2001, pp. 143–172. MR 1865052
Susan Friedlander, Walter Strauss, and Misha Vishik, Nonlinear instability in an ideal fluid, Ann. Inst. H. Poincaré C Anal. Non Linéaire 14 (1997), no. 2, 187–209 (English, with English and French summaries). MR 1441392, DOI 10.1016/S0294-1449(97)80144-8
Thomas Friedrich, Die Fisher-Information und symplektische Strukturen, Math. Nachr. 153 (1991), 273–296 (German). MR 1131949, DOI 10.1002/mana.19911530125
François Gay-Balmaz and Cesare Tronci, Madelung transform and probability densities in hybrid quantum-classical dynamics, Nonlinearity 33 (2020), no. 10, 5383–5424. MR 4151413, DOI 10.1088/1361-6544/aba233
Gerald A. Goldin and David H. Sharp, Diffeomorphism groups and local symmetries: some applications in quantum physics, Symmetries in science, III (Vorarlberg, 1988) Plenum, New York, 1989, pp. 181–205. MR 1120322
Diogo Aguiar Gomes, A variational formulation for the Navier-Stokes equation, Comm. Math. Phys. 257 (2005), no. 1, 227–234. MR 2163576, DOI 10.1007/s00220-004-1263-8
Guilong Gui, Yue Liu, and Min Zhu, On the wave-breaking phenomena and global existence for the generalized periodic Camassa-Holm equation, Int. Math. Res. Not. IMRN 21 (2012), 4858–4903. MR 2993438, DOI 10.1093/imrn/rnr214
Richard S. Hamilton, The inverse function theorem of Nash and Moser, Bull. Amer. Math. Soc. (N.S.) 7 (1982), no. 1, 65–222. MR 656198, DOI 10.1090/S0273-0979-1982-15004-2
Darryl D. Holm, Variational principles for stochastic fluid dynamics, Proc. A. 471 (2015), no. 2176, 20140963, 19. MR 3325187, DOI 10.1098/rspa.2014.0963
Darryl D. Holm and Boris A. Kupershmidt, Relativistic fluid dynamics as a Hamiltonian system, Phys. Lett. A 101 (1984), no. 1, 23–26. MR 735726, DOI 10.1016/0375-9601(84)90083-5
Darryl D. Holm, Jerrold E. Marsden, and Tudor S. Ratiu, The Euler-Poincaré equations and semidirect products with applications to continuum theories, Adv. Math. 137 (1998), no. 1, 1–81. MR 1627802, DOI 10.1006/aima.1998.1721
Darryl D. Holm, Jerrold E. Marsden, Tudor Ratiu, and Alan Weinstein, Nonlinear stability of fluid and plasma equilibria, Phys. Rep. 123 (1985), no. 1-2, 116. MR 794110, DOI 10.1016/0370-1573(85)90028-6
Anton Izosimov, Boris Khesin, and Mehdi Mousavi, Coadjoint orbits of symplectic diffeomorphisms of surfaces and ideal hydrodynamics, Ann. Inst. Fourier (Grenoble) 66 (2016), no. 6, 2385–2433 (English, with English and French summaries). MR 3580175, DOI 10.5802/aif.3066
Boris Khesin and Paul Lee, A nonholonomic Moser theorem and optimal transport, J. Symplectic Geom. 7 (2009), no. 4, 381–414. MR 2551999, DOI 10.4310/JSG.2009.v7.n4.a1
Boris Khesin, Jonatan Lenells, and Gerard Misiołek, Generalized Hunter-Saxton equation and the geometry of the group of circle diffeomorphisms, Math. Ann. 342 (2008), no. 3, 617–656. MR 2430993, DOI 10.1007/s00208-008-0250-3
B. Khesin, J. Lenells, G. Misiołek, and S. C. Preston, Geometry of diffeomorphism groups, complete integrability and geometric statistics, Geom. Funct. Anal. 23 (2013), no. 1, 334–366. MR 3037902, DOI 10.1007/s00039-013-0210-2
Boris Khesin, Gerard Misiolek, and Klas Modin, Geometric hydrodynamics via Madelung transform, Proc. Natl. Acad. Sci. USA 115 (2018), no. 24, 6165–6170. MR 3829316, DOI 10.1073/pnas.1719346115
Boris Khesin, Gerard Misiołek, and Klas Modin, Geometry of the Madelung transform, Arch. Ration. Mech. Anal. 234 (2019), no. 2, 549–573. MR 3995046, DOI 10.1007/s00205-019-01397-2
T. W. B. Kibble, Geometrization of quantum mechanics, Comm. Math. Phys. 65 (1979), no. 2, 189–201. MR 528191, DOI 10.1007/BF01225149
L. D. Landau and E. M. Lifshitz, Fluid mechanics, Course of Theoretical Physics, Vol. 6, Pergamon Press, London-Paris-Frankfurt; Addison-Wesley Publishing Company, Inc., Reading, Mass., 1959. Translated from the Russian by J. B. Sykes and W. H. Reid. MR 0108121
Flavien Léger and Wuchen Li, Hopf-Cole transformation via generalized Schrödinger bridge problem, J. Differential Equations 274 (2021), 788–827. MR 4188994, DOI 10.1016/j.jde.2020.10.029
Jonatan Lenells, Spheres, Kähler geometry and the Hunter-Saxton system, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 469 (2013), no. 2154, 20120726, 19. MR 3061310, DOI 10.1098/rspa.2012.0726
Christian Léonard, A survey of the Schrödinger problem and some of its connections with optimal transport, Discrete Contin. Dyn. Syst. 34 (2014), no. 4, 1533–1574. MR 3121631, DOI 10.3934/dcds.2014.34.1533
S. Lie, Theorie der Transformationsgruppen: Abschnitt 2, Technische Informationsbibliothek (TIB), 1890.
John Lott, Some geometric calculations on Wasserstein space, Comm. Math. Phys. 277 (2008), no. 2, 423–437. MR 2358290, DOI 10.1007/s00220-007-0367-3
E. Madelung, Quantentheorie in hydrodynamischer form, Zeitschr. Phys. 40 (1927), 322–326.
Erwin Madelung, Die mathematischen Hilfsmittel des Physikers, Die Grundlehren der mathematischen Wissenschaften, Band 4, Springer-Verlag, Berlin, 1964 (German). Siebente Auflage. MR 0164476, DOI 10.1007/978-3-540-71730-0
Jerrold E. Marsden, Gerard Misiołek, Juan-Pablo Ortega, Matthew Perlmutter, and Tudor S. Ratiu, Hamiltonian reduction by stages, Lecture Notes in Mathematics, vol. 1913, Springer, Berlin, 2007. MR 2337886
Jerrold E. Marsden and Tudor S. Ratiu, Introduction to mechanics and symmetry, 2nd ed., Texts in Applied Mathematics, vol. 17, Springer-Verlag, New York, 1999. A basic exposition of classical mechanical systems. MR 1723696, DOI 10.1007/978-0-387-21792-5
Jerrold E. Marsden, Tudor Ratiu, and Alan Weinstein, Reduction and Hamiltonian structures on duals of semidirect product Lie algebras, Fluids and plasmas: geometry and dynamics (Boulder, Colo., 1983) Contemp. Math., vol. 28, Amer. Math. Soc., Providence, RI, 1984, pp. 55–100. MR 751975, DOI 10.1090/conm/028/751975
Jerrold Marsden and Alan Weinstein, Reduction of symplectic manifolds with symmetry, Rep. Mathematical Phys. 5 (1974), no. 1, 121–130. MR 402819, DOI 10.1016/0034-4877(74)90021-4
Jerrold Marsden and Alan Weinstein, Coadjoint orbits, vortices, and Clebsch variables for incompressible fluids, Phys. D 7 (1983), no. 1-3, 305–323. Order in chaos (Los Alamos, N.M., 1982). MR 719058, DOI 10.1016/0167-2789(83)90134-3
Robert J. McCann, Polar factorization of maps on Riemannian manifolds, Geom. Funct. Anal. 11 (2001), no. 3, 589–608. MR 1844080, DOI 10.1007/PL00001679
David Mumford and Peter W. Michor, On Euler’s equation and ‘EPDiff’, J. Geom. Mech. 5 (2013), no. 3, 319–344. MR 3110104, DOI 10.3934/jgm.2013.5.319
G. Misiołek, Conjugate points in $\mathscr {D}_\mu (\mathbb {T}^2)$, Proc. Amer. Math. Soc. (1996), 977–982.
Klas Modin, Generalized Hunter-Saxton equations, optimal information transport, and factorization of diffeomorphisms, J. Geom. Anal. 25 (2015), no. 2, 1306–1334. MR 3319973, DOI 10.1007/s12220-014-9469-2
Klas Modin, Geometry of matrix decompositions seen through optimal transport and information geometry, J. Geom. Mech. 9 (2017), no. 3, 335–390. MR 3666687, DOI 10.3934/jgm.2017014
Mathieu Molitor, On the relation between geometrical quantum mechanics and information geometry, J. Geom. Mech. 7 (2015), no. 2, 169–202. MR 3356591, DOI 10.3934/jgm.2015.7.169
Jürgen Moser, On the volume elements on a manifold, Trans. Amer. Math. Soc. 120 (1965), 286–294. MR 182927, DOI 10.1090/S0002-9947-1965-0182927-5
J. Moser, Integrable Hamiltonian systems and spectral theory, Lezioni Fermiane. [Fermi Lectures], Scuola Normale Superiore, Pisa, 1983. MR 854865
C. Neumann, De problemate quodam mechanico, quod ad primam integralium ultraellipticorum classem revocatur: Dissertatio inauguralis, Dalkowski, 1856.
Felix Otto, The geometry of dissipative evolution equations: the porous medium equation, Comm. Partial Differential Equations 26 (2001), no. 1-2, 101–174. MR 1842429, DOI 10.1081/PDE-100002243
V. Yu. Ovsienko, B. A. Khesin, and Yu. V. Chekanov, Integrals of the Euler equations in multidimensional hydrodynamics and superconductivity, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 172 (1989), no. Differentsial′naya Geom. Gruppy Li i Mekh. Vol. 10, 105–113, 171 (Russian, with English summary); English transl., J. Soviet Math. 59 (1992), no. 5, 1096–1101. MR 1015703, DOI 10.1007/BF01480692
H. Poincaré, Sur une forme nouvelle des équations de la mécanique, C.R. Acad. Sci. 132 (1901), 369–371.
Stephen C. Preston, The geometry of barotropic flow, J. Math. Fluid Mech. 15 (2013), no. 4, 807–821. MR 3127021, DOI 10.1007/s00021-013-0142-5
Changzheng Qu, Ying Zhang, Xiaochuan Liu, and Yue Liu, Orbital stability of periodic peakons to a generalized $\mu$-Camassa-Holm equation, Arch. Ration. Mech. Anal. 211 (2014), no. 2, 593–617. MR 3149067, DOI 10.1007/s00205-013-0672-2
Vladimir Scheffer, An inviscid flow with compact support in space-time, J. Geom. Anal. 3 (1993), no. 4, 343–401. MR 1231007, DOI 10.1007/BF02921318
A. I. Shnirel′man, The geometry of the group of diffeomorphisms and the dynamics of an ideal incompressible fluid, Mat. Sb. (N.S.) 128(170) (1985), no. 1, 82–109, 144 (Russian). MR 805697
A. Shnirelman, On the non-uniqueness of weak solution of the Euler equations, Journées “Équations aux Dérivées Partielles” (Saint-Jean-de-Monts, 1996) École Polytech., Palaiseau, 1996, pp. Exp. No. XVIII, 10. MR 1417742
N. K. Smolencev, The Maupertuis principle, Sibirsk. Mat. Zh. 20 (1979), no. 5, 1092–1098, 1167 (Russian). MR 559071
N. K. Smolentsev, Diffeomorphism groups of compact manifolds, Sovrem. Mat. Prilozh. 37, Geometriya (2006), 3–100 (Russian, with Russian summary); English transl., J. Math. Sci. (N.Y.) 146 (2007), no. 6, 6213–6312. MR 2568571, DOI 10.1007/s10958-007-0471-0
Daniel Tataru, The wave maps equation, Bull. Amer. Math. Soc. (N.S.) 41 (2004), no. 2, 185–204. MR 2043751, DOI 10.1090/S0273-0979-04-01005-5
Feride Tiğlay and Cornelia Vizman, Generalized Euler-Poincaré equations on Lie groups and homogeneous spaces, orbit invariants and applications, Lett. Math. Phys. 97 (2011), no. 1, 45–60. MR 2802316, DOI 10.1007/s11005-011-0464-2
Boris Tsirelson, Scaling limit, noise, stability, Lectures on probability theory and statistics, Lecture Notes in Math., vol. 1840, Springer, Berlin, 2004, pp. 1–106. MR 2079671, DOI 10.1007/978-3-540-39982-7_{1}
Cédric Villani, Optimal transport, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 338, Springer-Verlag, Berlin, 2009. Old and new. MR 2459454, DOI 10.1007/978-3-540-71050-9
S. M. Višik and F. V. Dolžanskiĭ, Analogues, connected with Lie groups, of the Euler-Poisson equations and the equations of magnetohydrodynamics, Dokl. Akad. Nauk SSSR 238 (1978), no. 5, 1032–1035 (Russian). MR 0474423
Max-K. von Renesse, An optimal transport view of Schrödinger’s equation, Canad. Math. Bull. 55 (2012), no. 4, 858–869. MR 2994690, DOI 10.4153/CMB-2011-121-9
G. Webb, Magnetohydrodynamics and Fluid Dynamics: Action Principles and Conservation Laws, Springer, 2018.
Hao Wu and Marcus Wunsch, Global existence for the generalized two-component Hunter-Saxton system, J. Math. Fluid Mech. 14 (2012), no. 3, 455–469. MR 2964744, DOI 10.1007/s00021-011-0075-9
Laurent Younes, Shapes and diffeomorphisms, Applied Mathematical Sciences, vol. 171, Springer-Verlag, Berlin, 2010. MR 2656312, DOI 10.1007/978-3-642-12055-8
J.-C. Zambrini, Variational processes and stochastic versions of mechanics, J. Math. Phys. 27 (1986), no. 9, 2307–2330. MR 854761, DOI 10.1063/1.527002