Generalized compressible fluid flows and solutions of the Camassa-Holm variational model

The Camassa-Holm equation on a domain M $\subset$ Rd , in one of its possible multi-dimensional generalizations, describes geodesics on the group of diffeomorphisms with respect to the H(div) metric. It has been recently reformulated as a geodesic equation for the L2 metric on a subgroup of the diffeomorphism group of the cone over M. We use such an interpretation to construct an analogue of Brenier's generalized incompressible Euler flows for the Camassa-Holm equation. This involves describing the fluid motion using probability measures on the space of paths on the cone, so that particles are allowed to split and cross. Differently from Brenier's model, however, we are also able to account for compressibility by employing an explicit probabilistic representation of the Jacobian of the flow map. We formulate the boundary value problem associated to the Camassa-Holm equation using such generalized flows. We prove existence of solutions and that, for short times, smooth solutions of the Camassa-Holm equations are the unique solutions of our model. We propose a numerical scheme to construct generalized solutions on the cone and present some numerical results illustrating the relation between the generalized Camassa-Holm and incompressible Euler solutions.

[1]  L. Ambrosio,et al.  Geodesics in the Space of Measure-Preserving Maps and Plans , 2007, math/0701848.

[2]  Luca Nenna Numerical Methods for Multi-Marginal Optimal Transportation , 2016 .

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

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

[5]  Darryl D. Holm,et al.  An integrable shallow water equation with peaked solitons. , 1993, Physical review letters.

[6]  G. Peyré,et al.  Unbalanced optimal transport: Dynamic and Kantorovich formulations , 2015, Journal of Functional Analysis.

[7]  F. Otto THE GEOMETRY OF DISSIPATIVE EVOLUTION EQUATIONS: THE POROUS MEDIUM EQUATION , 2001 .

[8]  Vanishing geodesic distance for right-invariant Sobolev metrics on diffeomorphism groups , 2018, Annals of Global Analysis and Geometry.

[9]  A. Constantin Existence of permanent and breaking waves for a shallow water equation: a geometric approach , 2000 .

[10]  Marco Cuturi,et al.  Sinkhorn Distances: Lightspeed Computation of Optimal Transport , 2013, NIPS.

[11]  Giuseppe Savaré,et al.  Optimal Entropy-Transport problems and a new Hellinger–Kantorovich distance between positive measures , 2015, 1508.07941.

[12]  Gabriel Peyré,et al.  Iterative Bregman Projections for Regularized Transportation Problems , 2014, SIAM J. Sci. Comput..

[13]  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 .

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

[15]  D. Mumford,et al.  VANISHING GEODESIC DISTANCE ON SPACES OF SUBMANIFOLDS AND DIFFEOMORPHISMS , 2004, math/0409303.

[16]  Darryl D. Holm,et al.  Wave Structure and Nonlinear Balances in a Family of Evolutionary PDEs , 2002, SIAM J. Appl. Dyn. Syst..

[17]  L. Ambrosio,et al.  Gradient Flows: In Metric Spaces and in the Space of Probability Measures , 2005 .

[18]  François-Xavier Vialard,et al.  An Interpolating Distance Between Optimal Transport and Fisher–Rao Metrics , 2010, Foundations of Computational Mathematics.

[19]  Global Lagrangian solutions of the Camassa-Holm equation , 2017, 1710.05484.

[20]  Y. Brenier The dual Least Action Problem for an ideal, incompressible fluid , 1993 .

[21]  L. Molinet On Well-Posedness Results for Camassa-Holm Equation on the Line: A Survey , 2004 .

[22]  B. Khesin,et al.  Geometry of Diffeomorphism Groups, Complete integrability and Geometric statistics , 2013 .

[23]  Darryl D. Holm,et al.  Momentum maps and measure-valued solutions (peakons, filaments, and sheets) for the EPDiff equation , 2003, nlin/0312048.

[24]  Y. Brenier The least action principle and the related concept of generalized flows for incompressible perfect fluids , 1989 .

[25]  Quentin Mérigot,et al.  A Multiscale Approach to Optimal Transport , 2011, Comput. Graph. Forum.

[26]  Quentin Mérigot,et al.  A Lagrangian Scheme à la Brenier for the Incompressible Euler Equations , 2018, Found. Comput. Math..

[27]  Jean-David Benamou,et al.  Generalized incompressible flows, multi-marginal transport and Sinkhorn algorithm , 2017, Numerische Mathematik.

[28]  J. K. Hunter,et al.  Dynamics of director fields , 1991 .

[29]  Thomas Gallouet,et al.  The Camassa-Holm equation as an incompressible Euler equation: a geometric point of view , 2016 .

[30]  Filippo Santambrogio,et al.  Optimal Transport for Applied Mathematicians , 2015 .

[31]  Alessio Figalli,et al.  On the regularity of the pressure field of Brenier’s weak solutions to incompressible Euler equations , 2008 .

[32]  Jean-Marie Mirebeau,et al.  Minimal Geodesics Along Volume-Preserving Maps, Through Semidiscrete Optimal Transport , 2015, SIAM J. Numer. Anal..