On maximally mixed equilibria of two-dimensional perfect fluids
Pith reviewed 2026-05-24 11:30 UTC · model grok-4.3
The pith
Any minimizer of a strictly convex Casimir over fixed-energy vorticity states is a maximally mixed equilibrium.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Any minimizer of any strictly convex Casimir in the set of vorticity fields with fixed energy, denoted by the weak closure of the orbit under area-preserving diffeomorphisms intersected with the energy constraint, is maximally mixed. Thus weak convergence to equilibrium cannot be excluded solely on the grounds of vorticity transport and conservation of kinetic energy. On domains with symmetry the same set admits open families of initial data arbitrarily close in L1 to shear or radial flows that nevertheless do not converge weakly to those flows.
What carries the argument
The set of possible end states given by the weak closure of the vorticity orbit under area-preserving diffeomorphisms intersected with the fixed-energy surface, on which strictly convex Casimirs attain their minima.
If this is right
- Weak convergence to equilibrium remains possible under the constraints of ideal two-dimensional motion.
- On domains with symmetry such as channels or annuli, open sets of initial data exist that stay arbitrarily close in L1 to shear or radial flows without weakly converging to them.
- The variational characterization supplies a direct link between convex Casimir minimization and the notion of maximal mixing introduced by Shnirelman.
- Classical statistical hydrodynamics theories receive a new selection principle for equilibria that are attainable by ideal evolution.
Where Pith is reading between the lines
- Additional selection mechanisms beyond energy and Casimirs may be required to determine which equilibrium is actually reached.
- Numerical experiments could check whether typical random initial data evolve toward Casimir minimizers on the fixed-energy set.
- The same variational argument might apply to other transport problems that conserve a family of integral invariants together with one quadratic quantity.
Load-bearing premise
The weak closure of the orbit under area-preserving diffeomorphisms together with the fixed-energy constraint forms a setting in which strictly convex Casimirs attain their minima and maximal mixing is well-defined.
What would settle it
An explicit vorticity field inside the fixed-energy weak closure that minimizes a strictly convex Casimir yet still permits further mixing at constant energy would disprove the claim.
read the original 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that any minimizer of a strictly convex Casimir on the set S = weak closure of the orbit of initial vorticity under area-preserving diffeomorphisms, intersected with the fixed-energy level set, is a maximally mixed equilibrium (in the sense of Shnirelman). It concludes that weak convergence to equilibrium cannot be ruled out by vorticity transport and energy conservation alone, and provides examples on symmetric domains (channel, annulus) of open sets of initial data that stay L1-close to shear/radial flows but do not converge weakly to them.
Significance. If the central claims hold, the result links minimization of strictly convex Casimirs directly to maximal mixing and shows that the conserved quantities alone do not obstruct weak convergence to equilibrium. The symmetric-domain counterexamples supply concrete, falsifiable instances where long-time behavior deviates from naive expectations. The manuscript does not supply machine-checked proofs or parameter-free derivations.
major comments (2)
- [Abstract (paragraph beginning 'The set of said vorticity fields')] Abstract (paragraph beginning 'The set of said vorticity fields'): The central claim that minimizers of strictly convex Casimirs on S are maximally mixed presupposes that such minimizers exist. No argument is given that S is weakly compact, that the Casimir is weakly lower-semicontinuous on S, or that the fixed-energy constraint {E=E0} is weakly closed. Since kinetic energy is only weakly lower-semicontinuous, level sets need not be weakly closed; without uniform integrability or a-priori bounds on vorticity, existence can fail. This is load-bearing for both the main theorem and the conclusion that convergence cannot be excluded.
- [Abstract (final paragraph on symmetric domains)] Abstract (final paragraph on symmetric domains): The examples of open sets of initial data that remain L1-close to shear or radial flows but do not converge weakly rely on an explicit characterization of the weak closure and all conserved quantities. The manuscript supplies no verification that the constructed sets are indeed open in the appropriate topology or that the non-convergence persists under the full vorticity-transport dynamics.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We respond point-by-point to the major comments below.
read point-by-point responses
-
Referee: Abstract (paragraph beginning 'The set of said vorticity fields'): The central claim that minimizers of strictly convex Casimirs on S are maximally mixed presupposes that such minimizers exist. No argument is given that S is weakly compact, that the Casimir is weakly lower-semicontinuous on S, or that the fixed-energy constraint {E=E0} is weakly closed. Since kinetic energy is only weakly lower-semicontinuous, level sets need not be weakly closed; without uniform integrability or a-priori bounds on vorticity, existence can fail. This is load-bearing for both the main theorem and the conclusion that convergence cannot be excluded.
Authors: We agree the manuscript provides no proof of existence of minimizers. The main result is the characterization that any such minimizer (when it exists) must be maximally mixed; this statement is logically valid even if the set of minimizers is empty. For the conclusion that weak convergence cannot be ruled out by the conserved quantities alone, existence would indeed be needed to exhibit concrete equilibria reachable as weak limits. We will revise the abstract and introduction to state explicitly that existence is not established and the result is conditional on the existence of minimizers. We do not claim general weak compactness or lower semicontinuity without additional assumptions on vorticity. revision: partial
-
Referee: Abstract (final paragraph on symmetric domains): The examples of open sets of initial data that remain L1-close to shear or radial flows but do not converge weakly rely on an explicit characterization of the weak closure and all conserved quantities. The manuscript supplies no verification that the constructed sets are indeed open in the appropriate topology or that the non-convergence persists under the full vorticity-transport dynamics.
Authors: The constructions in the symmetric-domain sections use the explicit characterization of the weak closure together with the full list of conserved quantities preserved by the symmetry (e.g., all moments along the channel or radial moments in the annulus). The sets are defined by open conditions on these invariants that exclude the target shear/radial flow as a weak limit while keeping the data L1-close; openness follows directly from the continuity of the conserved quantities in L1. Non-convergence is shown by verifying that every possible weak limit point must satisfy an additional constraint violated by the equilibrium. We will add a short clarifying lemma summarizing these openness and invariance arguments if the referee finds the current presentation insufficient. revision: no
Circularity Check
No circularity: result follows from transport, energy conservation, and convex functional properties
full rationale
The paper defines the set S = weak closure of the orbit under area-preserving diffeomorphisms intersected with fixed energy, then proves that any minimizer of a strictly convex Casimir on S is maximally mixed. This is a direct consequence of the definitions of mixing, the transport equation, and strict convexity; no step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation. Shnirelman's prior result on equilibria is cited as background but is not used to force the new claim. The derivation remains self-contained against external mathematical benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The weak closure of the orbit under area-preserving flows together with the fixed-energy slice forms a suitable space in which Casimirs are well-defined and attain minima.
- standard math Strict convexity of the Casimir functionals is preserved under the relevant weak limits.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
any minimizer of any strictly convex Casimir in the set of vorticity fields with fixed energy is maximally mixed
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Oω0^* ∩ {E = E0} and polymorphisms K(M)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
V. I. A RNOLD AND B. A. K HESIN , Topological methods in hydrodynamics, vol. 125, Springer Nature, 2021
work page 2021
-
[2]
J. B EDROSSIAN AND N. M ASMOUDI , Inviscid damping and the asymptotic stability of planar shear flows in the 2d Euler equations, Publications math´ematiques de l’IH ´ES, 122 (2015), pp. 195–300
work page 2015
-
[3]
C. B OUCHER , R. S. E LLIS , AND B. TURKINGTON , Derivation of maximum entropy principles in two-dimensional turbulence via large deviations, Journal of Statistical Physics, 98 (2000), pp. 1235–1278
work page 2000
-
[4]
F. B OUCHET , Simpler variational problems for statistical equilibria of the 2d Euler equation and other systems with long range interactions, Physica D: Nonlinear Phenomena, 237 (2008), pp. 1976–1981
work page 2008
-
[5]
F. B OUCHET AND A. V ENAILLE , Statistical mechanics of two-dimensional and geophysical flows , Physics reports, 515 (2012), pp. 227–295
work page 2012
-
[6]
B RENIER , Examples of Hidden Convexity in Nonlinear PDEs, (2020)
Y. B RENIER , Examples of Hidden Convexity in Nonlinear PDEs, (2020). ON MAXIMALLY MIXED EQUILIBRIA OF TWO-DIMENSIONAL PERFECT FLUIDS 35
work page 2020
-
[7]
Y. B RENIER AND W. GANGBO ,Lp approximation of maps by diffeomorphisms, Calculus of Variations and Partial Differential Equations, 16 (2003), pp. 147–164
work page 2003
-
[8]
F. P. B RETHERTON AND D. B. H AIDVOGEL , Two-dimensional turbulence above topography, Journal of Fluid Mechanics, 78 (1976), pp. 129–154
work page 1976
-
[9]
E. C AGLIOTI , P.-L. L IONS , C. M ARCHIORO , AND M. P ULVIRENTI , A special class of stationary flows for two-dimensional Euler equations: a statistical mechanics description, Communications in Mathematical physics, 143 (1992), pp. 501–525
work page 1992
-
[10]
´A. C ASTRO AND D. L EAR, Traveling waves near Couette flow for the 2d Euler equation , arXiv preprint arXiv:2111.03529, (2021)
-
[11]
P.-H. C HAVANIS, Statistical mechanics of two-dimensional vortices and stellar systems , in Dynamics and thermodynamics of systems with long-range interactions, Springer, 2002, pp. 208–289
work page 2002
-
[12]
, Dynamical and thermodynamical stability of two-dimensional flows: variational principles and relaxation equations , The European Physical Journal B, 70 (2009), pp. 73–105
work page 2009
-
[13]
A. C HOFFRUT AND V. ˇSVER ´AK, Local structure of the set of steady-state solutions to the 2d incompressible Euler equations, Geometric and Functional Analysis, 22 (2012), pp. 136–201
work page 2012
-
[14]
K.-M. C HONG , Some extensions of a theorem of Hardy, Littlewood and P ´olya and their applications , Canadian Journal of Mathematics, 26 (1974), pp. 1321–1340
work page 1974
-
[15]
, Doubly stochastic operators and rearrangement theorems , Journal of Mathematical Analysis and Applications, 56 (1976), pp. 309–316
work page 1976
-
[16]
P. C ONSTANTIN , T. D. D RIVAS , AND T. M. E LGINDI , Inviscid limit of vorticity distributions in the Yudovich class, Commu- nications on Pure and Applied Mathematics, 75 (2022), pp. 60–82
work page 2022
-
[17]
P. C ONSTANTIN , T. D. D RIVAS , AND D. G INSBERG , Flexibility and rigidity in steady fluid motion , Communications in Mathematical Physics, (2021), pp. 1–43
work page 2021
-
[18]
N. C ONSTANTINOU AND T. D. D RIVAS, 2D-Euler. in GitHub repository. GitHub. , https://github.com/navidcy/2D-Euler, (2021)
work page 2021
-
[19]
N. C ONSTANTINOU , G. W AGNER , L. S IEGELMAN , B. P EARSON , AND A. P AL ´OCZY , Geophysicalflows. jl: Solvers for geophysical fluid dynamics problems in periodic domains on CPUs & GPUs , Journal of Open Source Software, 6(60), 3053, (2021)
work page 2021
-
[20]
M. C OTI ZELATI , T. M. E LGINDI , AND K. W IDMAYER , Stationary structures near the Kolmogorov and Poiseuille Flows in the 2d Euler equations, arXiv preprint arXiv:2007.11547, (2020)
-
[21]
P. W. D AY, Decreasing rearrangements and doubly stochastic operators, Transactions of the American Mathematical Society, 178 (1973), pp. 383–392
work page 1973
- [22]
-
[23]
G. E YINK AND H. S POHN , Negative-temperature states and large-scale, long-lived vortices in two-dimensional turbulence, Journal of statistical physics, 70 (1993), pp. 833–886
work page 1993
-
[24]
L. C. F LORESCU AND C. G ODET-THOBIE , Young measures and compactness in measure spaces, de Gruyter, 2012
work page 2012
-
[25]
T. G ALLAY AND V. ˇSVER ´AK, Arnold’s variational principle and its application to the stability of planar vortices , arXiv preprint arXiv:2110.13739, (2021)
-
[26]
V. L. G INZBURG AND B. K HESIN , Topology of steady fluid flows , in Topological aspects of the dynamics of fluids and plasmas, Springer, 1992, pp. 265–272
work page 1992
-
[27]
, Steady fluid flows and symplectic geometry , Journal of Geometry and Physics, 14 (1994), pp. 195–210
work page 1994
-
[28]
G. H. H ARDY , Some simple inequalities satisfied by convex functions, Messenger Math., 58 (1929), pp. 145–152
work page 1929
-
[29]
A. I ONESCU AND H. J IA, Axi-symmetrization near point vortex solutions for the 2d Euler equation, Communications on Pure and Applied Mathematics, 75 (2022), pp. 818–891
work page 2022
- [30]
-
[31]
A. I ZOSIMOV AND B. K HESIN , Characterization of steady solutions to the 2d Euler equation , International Mathematics Research Notices, 2017 (2017), pp. 7459–7503
work page 2017
-
[32]
, Classification of casimirs in 2d hydrodynamics, Moscow Math Journal, vol.17, no.4, 699-716;, (2017)
work page 2017
-
[33]
G. J OYCE AND D. M ONTGOMERY , Negative temperature states for the two-dimensional guiding-centre plasma , Journal of Plasma Physics, 10 (1973), pp. 107–121
work page 1973
-
[34]
K HANIN , Quasi-periodic motions of vortex systems, Physica D: Nonlinear Phenomena, 4 (1982), pp
K. K HANIN , Quasi-periodic motions of vortex systems, Physica D: Nonlinear Phenomena, 4 (1982), pp. 261–269
work page 1982
-
[35]
R. H. K RAICHNAN , Inertial ranges in two-dimensional turbulence, The Physics of Fluids, 10 (1967), pp. 1417–1423
work page 1967
-
[36]
Z. L IN AND C. Z ENG, Inviscid dynamical structures near Couette flow , Archive for rational mechanics and analysis, 200 (2011), pp. 1075–1097
work page 2011
-
[37]
A. J. M AJDA , A. L. B ERTOZZI , AND A. O GAWA, Vorticity and incompressible flow. cambridge texts in applied mathematics, Appl. Mech. Rev., 55 (2002), pp. B77–B78
work page 2002
-
[38]
N. M ASMOUDI AND W. Z HAO, Nonlinear inviscid damping for a class of monotone shear flows in finite channel , arXiv preprint arXiv:2001.08564, (2020). 36 M. DOLCE AND T. D. DRIV AS
-
[39]
J. M ICHEL AND R. R OBERT , Large deviations for Young measures and statistical mechanics of infinite-dimensional dynami- cal systems with conservation law, Communications in Mathematical Physics, 159 (1994), pp. 195–215
work page 1994
-
[40]
J. M ILLER , Statistical mechanics of Euler equations in two dimensions, Physical review letters, 65 (1990), p. 2137
work page 1990
-
[41]
J. M ILLER , P. B. W EICHMAN , AND M. C ROSS , Statistical mechanics, Euler’s equation, and Jupiter’s Red Spot , Physical Review A, 45 (1992), p. 2328
work page 1992
-
[42]
K. M ODIN AND M. V IVIANI , A Casimir preserving scheme for long-time simulation of spherical ideal hydrodynamics , Journal of Fluid Mechanics, 884 (2020)
work page 2020
- [43]
-
[44]
, Integrability of point-vortex dynamics via symplectic reduction: a survey , Arnold Mathematical Journal, 7 (2021), pp. 357–385
work page 2021
-
[45]
D. M ONTGOMERY AND G. J OYCE , Statistical mechanics of “negative temperature” states, The Physics of Fluids, 17 (1974), pp. 1139–1145
work page 1974
-
[46]
N. S. N ADIRASHVILI , Wandering solutions of Euler’s D-2 equation , Functional Analysis and Its Applications, 25 (1991), pp. 220–221
work page 1991
- [47]
-
[48]
M. N UALART , On zonal steady solutions to the 2d Euler equations on the rotating unit sphere , arXiv preprint arXiv:2201.05522, (2022)
-
[49]
O NSAGER , Statistical hydrodynamics, Il Nuovo Cimento (1943-1954), 6 (1949), pp
L. O NSAGER , Statistical hydrodynamics, Il Nuovo Cimento (1943-1954), 6 (1949), pp. 279–287
work page 1943
-
[50]
J.-M. R AKOTOSON AND D. S ERRE , Sur un probl`eme d’optimisation li´e aux ´equations de Navier-Stokes, Annali della Scuola Normale Superiore di Pisa-Classe di Scienze, 20 (1993), pp. 633–649
work page 1993
-
[51]
R. R OBERT , A maximum-entropy principle for two-dimensional perfect fluid dynamics , Journal of Statistical Physics, 65 (1991), pp. 531–553
work page 1991
- [52]
-
[53]
R. R OBERT AND J. S OMMERIA , Statistical equilibrium states for two-dimensional flows , Journal of Fluid Mechanics, 229 (1991), pp. 291–310
work page 1991
-
[54]
J. V. R YFF, Orbits of L 1-functions under doubly stochastic transformation , Transactions of the American Mathematical Society, 117 (1965), pp. 92–100
work page 1965
-
[55]
E. S EGRE AND S. K IDA, Late states of incompressible 2d decaying vorticity fields , Fluid Dynamics Research, 23 (1998), p. 89
work page 1998
-
[56]
A. I. S HNIRELMAN , Lattice theory and flows of ideal incompressible fluid , Russ. J. Math. Phys, 1 (1993), pp. 105–113
work page 1993
-
[57]
, Evolution of singularities, generalized liapunov function and generalized integral for an ideal incompressible fluid , American Journal of Mathematics, 119 (1997), pp. 579–608
work page 1997
-
[58]
, On the long time behavior of fluid flows , Procedia IUTAM, 7 (2013), pp. 151–160
work page 2013
-
[59]
J. S OMMERIA , C. S TAQUET, AND R. R OBERT , Final equilibrium state of a two-dimensional shear layer , Journal of Fluid Mechanics, 233 (1991), pp. 661–689
work page 1991
-
[60]
V. ˇSVER ´AK, Selected Topics in Fluid Mechanics, Lecture notes for the course Topics in Mathematical Physics, (2012)
work page 2012
-
[61]
V. ˇSVER ´AK, Aspects of pdes related to fluid flows , in Vector-Valued Partial Differential Equations and Applications, Springer, 2017, pp. 195–248
work page 2017
-
[62]
B. T URKINGTON , Statistical equilibrium measures and coherent states in two-dimensional turbulence , Communications on Pure and Applied Mathematics: A Journal Issued by the Courant Institute of Mathematical Sciences, 52 (1999), pp. 781–809
work page 1999
-
[63]
V ALADIER , A course on Young measures
M. V ALADIER , A course on Young measures. rendiconti dell’instituto di matematica dell’universitai di trieste 26, in Workshop di Teoria della Misura et Analisi Reale Grado (Italia), 1994
work page 1994
-
[64]
V. I. Y UDOVICH , Non-stationary flows of an ideal incompressible fluid , Zhurnal Vychislitel’noi Matematiki i Matematich- eskoi Fiziki, 3 (1963), pp. 1032–1066
work page 1963
-
[65]
E. Z EIDLER , Nonlinear functional analysis and its applications: III: variational methods and optimization, Springer Science & Business Media, 2013
work page 2013
-
[66]
V. Z EITLIN , Finite-mode analogs of 2d ideal hydrodynamics: Coadjoint orbits and local canonical structure , Physica D: Nonlinear Phenomena, 49 (1991), pp. 353–362. DEPARTMENT OF MATHEMATICS , I MPERIAL COLLEGE LONDON , LONDON , SW7 2AZ, UK Email address: m.dolce@imperial.ac.uk DEPARTMENT OF MATHEMATICS , STONY BROOK UNIVERSITY , STONY BROOK , NY, 11794,...
work page 1991
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.