Geometry and Curvature of Diffeomorphism Groups withH1Metric and Mean Hydrodynamics

Holm, Marsden, and Ratiu (Adv. in Math.137(1998), 1–81) derived a new model for the mean motion of an ideal fluid in Euclidean space given by the equationV(t)+∇U(t) V(t)−α2[∇U(t)]t·ΔU(t)=−grad p(t) where div U=0, andV=(1−α2Δ) U. In this model, the momentumVis transported by the velocityU, with the effect that nonlinear interaction between modes corresponding to length scales smaller thanαis negligible. We generalize this equation to the setting of ann-dimensional compact Riemannian manifold. The resulting equation is the Euler–Poincare equation associated with the geodesic flow of theH1right invariant metric on Dsμ, the group of volume preserving Hilbert diffeomorphisms of classHs. We prove that the geodesic spray is continuously differentiable fromTDsμ(M) intoTTDsμ(M) so that a standard Picard iteration argument proves existence and uniqueness on a finite time interval. Our goal in this paper is to establish the foundations for Lagrangian stability analysis following Arnold (Ann. Inst. Grenoble16(1966), 319–361). To do so, we use submanifold geometry, and prove that the weak curvature tensor of the right invariantH1metric on Dsμis a bounded trilinear map in theHstopology, from which it follows that solutions to Jacobi's equation exist. Using such solutions, we are able to study the infinitesimal stability behavior of geodesics.

[1]  C. B. Morrey.  Multiple Integrals in the Calculus of Variations , 1966 .

[2]  V. Arnold.  Sur la géométrie différentielle des groupes de Lie de dimension infinie et ses applications à l'hydrodynamique des fluides parfaits , 1966 .

[3]  Darryl D. Holm,et al.  The Euler–Poincaré Equations and Semidirect Products with Applications to Continuum Theories , 1998, chao-dyn/9801015.

[4]  G. Misiołek.  Conjugate points in _ , 1996 .

[5]  Jerrold E. Marsden,et al.  Diffeomorphism groups, hydrodynamics and relativity , 1972 .

[6]  S. Lang.  Differential and Riemannian Manifolds , 1996 .

[7]  Y. Lyanda-Geller.  Quantum Interference and Electron-Electron Interactions at Strong Spin-Orbit Coupling in Disordered Systems , 1998, cond-mat/9801095.

[8]  A. I. Shnirel'man.  ON THE GEOMETRY OF THE GROUP OF DIFFEOMORPHISMS AND THE DYNAMICS OF AN IDEAL INCOMPRESSIBLE FLUID , 1987 .

[9]  D. Ebin.  The motion of slightly compressible fluids viewed as a motion with strong constraining force , 1977 .

[10]  G. Misiołek.  Stability of flows of ideal fluids and the geometry of the group of diffeomorphisms , 1993 .

[11]  利久 亀井,et al.  California Institute of Technology , 1958, Nature.

[12]  S. Rosenberg.  The Laplacian on a Riemannian Manifold: The Construction of the Heat Kernel , 1997 .

[13]  A. Lukatskii.  Structure of the curvature tensor of the group of measure-preserving diffeomorphisms of a compact two-dimensional manifold , 1988 .

[14]  Jerrold E. Marsden,et al.  EULER-POINCARE MODELS OF IDEAL FLUIDS WITH NONLINEAR DISPERSION , 1998 .

[15]  A. Lukatskii.  Curvature of the group of measure-preserving diffeomorphisms of the n-dimensional torus , 1984 .

[16]  A. Shnirelman.  Generalized fluid flows, their approximation and applications , 1994 .

[17]  V. Arnold,et al.  Topological methods in hydrodynamics , 1998 .

[18]  On a nonlinear equation related to the geometry of the diffeomorphism group. , 1993 .

[19]  J. Marsden,et al.  Groups of diffeomorphisms and the motion of an incompressible fluid , 1970 .

[20]  François Treves,et al.  Introduction to Pseudodifferential and Fourier Integral Operators , 1980 .

[21]  Darryl D. Holm,et al.  A nonlinear analysis of the averaged Euler equations and a new diffeomorphism group , 1999, chao-dyn/9903036.

[22]  Gerard Misio łek.  A shallow water equation as a geodesic flow on the Bott-Virasoro group , 1998 .

[23]  J. Marsden,et al.  Introduction to mechanics and symmetry , 1994 .