Abstract

Many models in mathematical physics are given as non-linear partial differential equation of hydrodynamic type; the incompressible Euler, KdV, and Camassa–Holm equations are well-studied examples. A beautiful approach to well-posedness is to go from the Eulerian to a Lagrangian description. Geometrically it corresponds to a geodesic initial value problem on the infinite-dimensional group of diffeomorphisms with a right invariant Riemannian metric. By establishing regularity properties of the Riemannian spray one can then obtain local, and sometimes global, existence and uniqueness results. There are, however, many hydrodynamic-type equations, notably shallow water models and compressible Euler equations, where the underlying infinite-dimensional Riemannian structure is not fully right invariant, but still semi-invariant with respect to the subgroup of volume preserving diffeomorphisms. Here we study such metrics. For semi-invariant metrics of Sobolev H^k-type we give local and some global well-posedness results for the geodesic initial value problem. We also give results in the presence of a potential functional (corresponding to the fluid’s internal energy). Our study reveals many pitfalls in going from fully right invariant to semi-invariant Sobolev metrics; the regularity requirements, for example, are higher. Nevertheless the key results, such as no loss or gain in regularity along geodesics, can be adopted.

Highlights

  • In 1966 Arnold [2] discovered that the Euler equations of an incompressible perfect fluid can be interpreted as a geodesic equation on the space of volume-preserving diffeomorphisms

  • The common setting is a group of diffeomorphisms, thought of as an infinite-dimensional manifold, equipped with a right invariant Riemannian metric

  • Theorem 6 The geodesic equation of an Diffμ(M)-invariant Riemannian metric on the group of smooth diffeomorphisms whose inertia operator fulfills Assumption 1 is given by the PDE

Read more

Summary

Introduction

In 1966 Arnold [2] discovered that the Euler equations of an incompressible perfect fluid can be interpreted as a geodesic equation on the space of volume-preserving diffeomorphisms. Following the work of IonescuKruse [24], these equations correspond to Newton’s equations on Diff(M), with the same potential energy as for the classical shallow water equations, but with the modified H 1-type kinetic energy h|u|2 + h3 |∇u|2 μ Since this kinetic energy is quadratic in the vector field u, and since h is transported by u as a volume density, it follows that (3) corresponds to a semi-invariant H 1-type Riemannian metric of Diff(M). New shallow water models are obtained by higher order semi-invariant modifications of the standard L2-type metric on Diff(M).

65 Page 4 of 25
Main results
65 Page 6 of 25
Background on diffeomorphism groups
Geodesic equation
65 Page 8 of 25
Geodesic completeness
Sobolev completion
65 Page 12 of 25
65 Page 14 of 25
Outlook for semi-invariant metrics
65 Page 16 of 25
Background on probability densities
Induced metric
65 Page 18 of 25
65 Page 20 of 25
65 Page 22 of 25

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.