On maximally mixed equilibria of two-dimensional perfect fluids

TL;DR

This paper studies the long-term behavior of two-dimensional perfect fluids, showing that maximally mixed states are minimizers of convex Casimir functionals and exploring conditions under which convergence to equilibrium occurs or fails.

Contribution

It provides a new perspective linking maximally mixed states to convex Casimir minimizers and analyzes convergence issues in symmetric domains.

Findings

Minimizers of convex Casimirs are maximally mixed states.

Weak convergence to equilibrium cannot be solely based on vorticity transport and energy conservation.

Examples of initial data close to shear or radial flows that do not converge are provided.

Abstract

The vorticity of a two-dimensional perfect (incompressible and inviscid) fluid is transported by its area preserving flow. Given an initial vorticity distribution $\omega_0$, predicting the long time behavior which can persist is an issue of fundamental importance. In the infinite time limit, some irreversible mixing of $\omega_0$ can occur. Since kinetic energy $\mathsf{E}$ is conserved, not all the mixed states are relevant and it is natural to consider only the ones with energy $\mathsf{E}_0$ corresponding to $\omega_0$. The set of said vorticity fields, denoted by $\overline{\mathcal{O}_{\omega_0}}^*\cap \{ {\mathsf E}= {\mathsf E}_0\}$, contains all the possible end states of the fluid motion. A. Shnirelman introduced the concept of maximally mixed states (any further mixing would necessarily change their energy), and proved they are perfect fluid equilibria. We offer a new perspective on this theory by showing that any minimizer of any strictly convex Casimir in $\overline{\mathcal{O}_{\omega_0}}^*\cap \{ {\mathsf E}= {\mathsf E}_0\}$ is maximally mixed, as well as discuss its relation to classical statistical hydrodynamics theories. Thus, (weak) convergence to equilibrium cannot be excluded solely on the grounds of vorticity transport and conservation of kinetic energy. On the other hand, on domains with symmetry (e.g. straight channel or annulus), we exploit all the conserved quantities and the characterizations of $\overline{\mathcal{O}_{\omega_0}}^*\cap \{ {\mathsf E}= {\mathsf E}_0\}$ to give examples of open sets of initial data which can be arbitrarily close to any shear or radial flow in $L^1$ of vorticity but do not weakly converge to them in the long time limit.