Explanation for why an ideal fluid doesn't have increasing entropy?

This is a very important issue, to which an answer must be made in mathematical terms, rather than by waving hands.

Yes, the Euler system (conservation of mass, momentum and energy) is time-reversible. So where is the error when we say Entropy is non-decreasing, but the system is time-reversible, therefore the entropy must be constant along trajectories ?

The point is that the Cauchy problem (i.e. solving the PDEs together with imposing an initial data) is not uniquely solvable. It is so when the initial data is smooth enough, but only for some finite time interval. For rather general smooth initial data, the smooth solution exists only for a finite time interval $(0,T_{\max})$. As $t\rightarrow T_\max$, some first derivative becomes infinite somewhere (generic behaviour). Beyond $T_\max$, the solution is not any more smooth ; it is at best piecewise smooth, with $\rho,u,e,p$ being discontinuous accross hypersurfaces. These discontinuities are known as shock waves and contact discontinuities.

It turns out that once shock waves develop, the Euler system is not any more sufficient to select a unique solution. There are actually infinity many, among which only one has a physical sense. The way to recognize that one, and to select it from a mathematical perspective, is to add a so-called entropy criterion. This is nothing more than saying that when a particle crosses a shock, then its entropy increases.

This entropy criterion is expected to guaranty the uniqueness of the solution (this is still an open problem). But, being an inequality, is not compatible with the time reversal. This is why the Cauchy problem, at far as physicall meaningful solutions are concerned, is irreversible, despite the apparent time-reversibility of the Euler system.

Edit. To answer Michael's concerns, the constancy of entropy along smooth solutions is just the well accepted fact in thermodynamics that smooth flows are time-reversible. Of course, if you have in mind a finer description, the situation will be different. The mesoscopic level is described by a kinetic equation, say that of Boltzmann, which is irreversible: the entropy does increase whenever the local distribution of the gas deviates from the Gaussians (= Maxwell's equilibria). Thus the only reversible model is at the microscopic level, where particles obey to Newton's law and interact through short range forces (or hard spheres dynamics).

To come back to the Euler system, the boundary conditions at discontinuities are not ad hoc. They just express that the mass, momentum and energy are conserved.


Q: Explanation for why an ideal fluid doesn't have increasing entropy?
A: The entropy will in fact increase for the most probable initial conditions.


The question in the OP refers to the socalled irreversibility paradox (or Loschmidt paradox): The statistical evolution of the ideal gas is irreversible even though the equations of motion are reversible. The evolution of the statistical distribution $f(r,v,t)$ is governed by the Boltzmann equation, $$\frac{\partial f}{\partial t}+v\cdot\frac{\partial f}{\partial r}=\int dv_2 dv'_1 dv'_2 w(v'_1,v'_2;v,v_2)[f(v'_1,r,t)f(v'_2,r,t)-f(v,r,t)f(v_2,r,t)],$$ for some collision rate function $w$. This equation describes the relaxation of $f$ towards the equilibrium Maxwell-Boltzmann distribution, in accordance with the second law of thermodynamics.

From a modern perspective, a resolution of the irreversibility paradox is discussed by Freddy Bouchet in arXiv:2002.10398: The Boltzmann equation only holds for a subset of microscopic initial conditions compatible with a certain $f(r,v,0)$. Not every microscopic state of a macroscopic system will evolve in accordance with the second law, but only the majority of states, a majority which however becomes so overwhelming when the number of atoms in the system becomes very large that irreversible behavior becomes a near certainty.