Time-convexity of the entropy in the multiphasic formulation of the incompressible Euler equation (Q1688773)

The paper begins with a nice description of the multiphasic formulation of the incompressible Euler equation in a domain \(\Omega\). The multiphasic formulation has been previously introduced by Y. Brenier. One assumes that there are many (possibly infinitely many) phases indexed by a parameter \(\alpha\). At a fixed time \(t\) each phase is described by its density \(\rho_t^{\alpha}\) and its velocity field \(\mathbf{v}_t^{\alpha}\), which are functions of the position \(x\). The evolution in time of the phase \(\alpha\) is expressed by the continuity equation. One assumes no-flux boundary conditions so the total mass \(\rho^{\alpha}\) is preserved over time. The phases are coupled through the incompressible constraint, i.e., at a fixed \(t\) the sum of all densities equals the Lebesgue measure of \(\Omega\). Brenier conjectured that the average entropy \(H=H(t)\) is a convex function if \(\Omega\) is a convex set. Here, the author provides a rigorous proof of Brenier's conjecture. The paper is well written and certainly of interest for researchers working on fluids.