pith. sign in

arxiv: 2606.12825 · v1 · pith:DLLT5I5Rnew · submitted 2026-06-11 · 🧮 math.AP · math-ph· math.MP

Optimal minimax formula for bounds on ensemble averages of statistically stationary three-dimensional Navier-Stokes flows

Anne Bronzi , Cec\'ilia F. Mondaini , Ricardo M. S. Rosa This is my paper

Pith reviewed 2026-06-27 06:31 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.MP
keywords 3D Navier-Stokes equationsstationary statistical solutionsminimax boundsensemble averagesFoias-Prodi solutionsDirac measuresenergy dissipationoptimal upper bounds
0
0 comments X

The pith

Ensemble averages for three-dimensional Navier-Stokes flows admit optimal upper bounds via a minimax problem over Foias-Prodi stationary statistical solutions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper derives an optimal upper bound formula for ensemble averages of flow quantities governed by the three-dimensional incompressible Navier-Stokes equations. It casts the bound as a minimax problem that extends prior results for finite-dimensional systems and the two-dimensional case. The derivation works inside the space of Foias-Prodi stationary statistical solutions to bypass the absence of global well-posedness. The central new feature is that the measures attaining the bound are convex combinations of at most two Dirac delta measures, a structure forced by the mean energy dissipation inequalities.

Core claim

An optimal upper bound formula exists for ensemble averages of flow quantities associated with the three-dimensional incompressible Navier-Stokes equations. The formula takes the form of a minimax problem. The optimal bounds are achieved on extreme points that are specific convex combinations of at most two Dirac delta measures, a structure that arises directly from the constraints given by the mean energy dissipation inequalities in the characterization of the Foias-Prodi stationary statistical solutions.

What carries the argument

The minimax problem over subspaces of probability measures equipped with the weak topology of the phase space, whose extreme points are convex combinations of at most two Dirac measures subject to mean energy dissipation inequalities.

If this is right

  • The same minimax formula supplies rigorous upper bounds for any observable whose ensemble average is defined with respect to a Foias-Prodi stationary statistical solution.
  • Computation of the bound reduces to searching over a low-dimensional family of two-point measures rather than arbitrary probability measures.
  • The result recovers the earlier one-point extremal structure when the dissipation inequalities are removed or when the problem is restricted to two dimensions.
  • Any flow quantity whose average can be expressed through the energy dissipation constraint inherits an explicit optimal bound from the same minimax.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Numerical optimization over two-point measures could furnish practical estimates of long-time averages in regimes where direct simulation is intractable.
  • The two-measure characterization may extend to other statistical frameworks for 3D fluids once analogous dissipation constraints are identified.
  • If the same extremal structure appears for time-dependent quantities, it would simplify the derivation of decay rates or correlation bounds.

Load-bearing premise

The relevant subspaces of probability measures are compact and continuous in the weak topology so that the minimax is attained at extreme points.

What would settle it

An explicit ensemble average of a flow quantity whose value exceeds the minimax computed over all convex combinations of at most two Dirac measures that satisfy the mean energy dissipation inequalities.

read the original abstract

We establish an optimal upper bound formula for ensemble averages of flow quantities associated with the three-dimensional incompressible Navier-Stokes equations. The formula takes the form of a minimax problem, extending the framework developed by Tobasco, Goluskin, and Doering (2018) for finite-dimensional systems and by Rosa and Temam (2022) for the two-dimensional Navier-Stokes equations. The lack of global well-posedness for the 3D case presents a significant challenge, which we overcome by working within the space of Foias-Prodi stationary statistical solutions. The minimax formula is derived by exploiting suitable compactness and continuity properties of specific subspaces of probability measures under the weak topology of the phase space. A distinguishing feature of our result is the characterization of the maximizing measures: unlike the previous cases, the optimal bounds in 3D are achieved on extreme points that are specific convex combinations of at most two Dirac delta measures, instead of exactly one, a structure that naturally appears from the constraints given by the mean energy dissipation inequalities in the characterization of the Foias-Prodi stationary statistical solutions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The manuscript establishes an optimal upper bound formula for ensemble averages of flow quantities associated with the three-dimensional incompressible Navier-Stokes equations. The formula is expressed as a minimax problem over suitable subspaces of probability measures on the phase space. The derivation proceeds by exploiting compactness and continuity properties of these subspaces under the weak topology, working within the class of Foias-Prodi stationary statistical solutions to circumvent the lack of global well-posedness; a key feature is that the maximizing measures are characterized as convex combinations of at most two Dirac delta measures induced by the mean energy dissipation inequalities.

Significance. If the technical steps hold, the result extends the minimax framework of Tobasco-Goluskin-Doering (2018) and Rosa-Temam (2022) to the 3D setting, supplying a rigorous, parameter-free route to optimal ensemble bounds on statistically stationary flows. The explicit characterization of optimal measures as at most two-Dirac combinations is a structurally new feature tied to the 3D energy-dissipation constraints and would be a notable advance if the supporting compactness arguments are complete.

major comments (2)
  1. [Abstract / derivation of minimax formula] The central minimax formula and the 'at most two Diracs' characterization both rest on compactness and continuity of specific subspaces of probability measures in the weak topology of the Leray-Hopf phase space. The abstract asserts these properties hold but supplies no indication of the 3D-specific tightness or metrizability estimates used; without explicit verification that the usual 2D arguments extend, the optimality claim is not yet load-bearing.
  2. [Characterization of maximizing measures] The mean energy dissipation inequalities that define Foias-Prodi solutions are stated to induce the convex-combination structure of the extreme points. The precise geometry showing why at most two (rather than more) Diracs appear is not detailed; this step is load-bearing for the distinguishing 3D feature claimed in the abstract.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable comments. We address each major comment below. The manuscript provides the required compactness arguments in the body of the text, but we agree that the abstract and introduction would benefit from more explicit pointers to the 3D-specific estimates; we will revise accordingly.

read point-by-point responses

  1. Referee: The central minimax formula and the 'at most two Diracs' characterization both rest on compactness and continuity of specific subspaces of probability measures in the weak topology of the Leray-Hopf phase space. The abstract asserts these properties hold but supplies no indication of the 3D-specific tightness or metrizability estimates used; without explicit verification that the usual 2D arguments extend, the optimality claim is not yet load-bearing.

    Authors: The 3D-specific tightness follows from the uniform bound on the mean energy dissipation rate that is built into the definition of Foias-Prodi stationary statistical solutions; this bound supplies the necessary uniform integrability to obtain tightness in the weak topology on the Leray-Hopf space, which is separable and hence metrizable on the relevant compact subsets. The continuity of the objective functional is then obtained by the same weak-continuity arguments used in the 2D case, now justified by the dissipation constraint. These steps are carried out in detail after the statement of the main theorem. We will add a short sentence to the abstract and a clarifying paragraph in the introduction that explicitly flags the role of the dissipation bound in the tightness estimate. revision: yes

  2. Referee: The mean energy dissipation inequalities that define Foias-Prodi solutions are stated to induce the convex-combination structure of the extreme points. The precise geometry showing why at most two (rather than more) Diracs appear is not detailed; this step is load-bearing for the distinguishing 3D feature claimed in the abstract.

    Authors: The mean energy dissipation inequalities consist of two independent linear constraints on the probability measures (one involving the time-averaged dissipation and one involving the integrated enstrophy-type term). In the convex set of measures satisfying these two inequalities together with the normalization and non-negativity conditions, the extreme points are necessarily convex combinations of at most two Dirac measures; this is a direct consequence of the fact that the feasible set is the intersection of two half-spaces with the probability simplex in the weak topology. The argument is given after the definition of Foias-Prodi solutions and is used to characterize the maximizers of the minimax problem. We will expand the geometric explanation with an additional lemma that isolates the dimension of the constraint set to make this step fully explicit. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation rests on compactness/continuity of measure subspaces and Foias-Prodi inequalities

full rationale

The paper derives the minimax upper-bound formula directly from compactness and continuity properties of specific subspaces of probability measures in the weak topology together with the mean energy dissipation inequalities that characterize Foias-Prodi stationary statistical solutions. No step reduces a claimed prediction or first-principles result to a fitted parameter, a self-definition, or a load-bearing self-citation whose own justification collapses into the present work. The cited 2D framework (Rosa-Temam 2022) supplies context but is not invoked as an unverified uniqueness theorem that forces the 3D result. The observation that optimal measures are convex combinations of at most two Diracs is stated to follow from the dissipation constraints rather than being presupposed. The argument is therefore self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on domain assumptions from the theory of statistical solutions for PDEs; no free parameters or invented entities are indicated.

axioms (1)
  • domain assumption Foias-Prodi stationary statistical solutions exist and possess the required compactness and continuity properties under the weak topology
    Invoked to overcome the lack of global well-posedness and to derive the minimax formula

pith-pipeline@v0.9.1-grok · 5734 in / 1246 out tokens · 36191 ms · 2026-06-27T06:31:23.360127+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

53 extracted references · 1 canonical work pages

  1. [1]

    Aliprantis and K

    C. Aliprantis and K. Border,Infinite Dimensional Analysis, A Hitchhiker’s Guide.Third edition. Springer, Berlin, 2006

    2006

  2. [2]

    Artin, ¨Uber die Zerlegung definiter Funktionen in Quadrate,Abh

    E. Artin, ¨Uber die Zerlegung definiter Funktionen in Quadrate,Abh. Math. Semin. Univ. Hambg.,5 (1927), 100–115

    1927

  3. [3]

    A. V. Babin, M. I. Vishik,Attractors of Evolution Equations.Studies in Mathematics and Its Applications, 25, North-Holland, New York, 1992

    1992

  4. [4]

    Bronzi, C.F

    A.C. Bronzi, C.F. Mondaini, and R.M.S. Rosa, Abstract framework for the theory of statistical solutions,J. Diff. Eq.260 (2016), 8428–8484

    2016

  5. [5]

    Buckmaster, V

    T. Buckmaster, V. Vicol, Nonuniqueness of weak solutions to the Navier-Stokes equation, Annals of Mathematics,189 (2019), 101–144

    2019

  6. [6]

    S. I. Chernyshenko, P. Goulart, D. Huang, and A. Papachristodoulou, Polynomial sum of squares in fluid dynamics: a review with a look ahead,Philos. Trans. R. Soc. A372 (2014), 1–18

    2014

  7. [7]

    Constantin and C

    P. Constantin and C. Foias,Navier-Stokes Equation,University of Chicago Press, Chicago, 1989

    1989

  8. [8]

    I. P. Cornfeld, S. V. Fomin, Ya. G. Sinai,Ergodic Theory, Springer-Verlag, New York, 1982

    1982

  9. [9]

    L. E. Dubins, On extreme points of convex sets,J. Math. Anal. Appl.5 (1962), 237–244

    1962

  10. [10]

    R. M. Dudley,Real Analysis and Probability,2nd ed., Cambridge University Press, 2002

    2002

  11. [11]

    Dunford, J

    N. Dunford, J. T. Schwartz,Linear Operators, I. General Theory.Pure and Applied Math- ematics. Interscience, New York (1958)

    1958

  12. [12]

    Ekeland, R

    I. Ekeland, R. Temam,Convex Analysis and Variational Problems,Vol 1, 1st ed., Elsevier Science, 1976

    1976

  13. [13]

    Fantuzzi, A

    G. Fantuzzi, A. Wynn, Construction of an optimal background profile for the Kuramoto- Sivashinsky equation using semidefinite programming,Phys. Lett. A379 (2015), 23–32. OPTIMAL MINIMAX BOUNDS FOR ENSEMBLE A VERAGES OF 3D NSE 43

    2015

  14. [14]

    Foias, Statistical study of Navier-Stokes equations I,Rend

    C. Foias, Statistical study of Navier-Stokes equations I,Rend. Sem. Mat. Univ. Padova48 (1972), 219–348

    1972

  15. [15]

    Foias, Statistical study of Navier-Stokes equations II,Rend

    C. Foias, Statistical study of Navier-Stokes equations II,Rend. Sem. Mat. Univ. Padova 49 (1973), 9–123

    1973

  16. [16]

    Foias, O

    C. Foias, O. P. Manley, R. Rosa, and R. Temam,Navier-Stokes Equations and Turbulence, Encyclopedia of Mathematics and its Applications, vol. 83. Cambridge University Press, Cambridge 2001

    2001

  17. [17]

    Foias and G

    C. Foias and G. Prodi, Sur les solutions statistiques des ´ equations de Navier-Stokes,Ann. Mat. Pura Appl.111 (1976), no. 4, 307–330

    1976

  18. [18]

    Foias, R

    C. Foias, R. Rosa, and R. Temam, Properties of time-dependent statistical solutions of the three-dimensional Navier-Stokes equations,Annales de L’Institute Fourier, Tome 63 (2013), no. 6, 2515–2573

    2013

  19. [19]

    Foias, R

    C. Foias, R. Rosa, and R. Temam, Convergence of time averages of weak solutions of the three-dimensional Navier-Stokes equations,J. Stat. Phys.160 (2015), 519–531

    2015

  20. [20]

    Foias, R

    C. Foias, R. Rosa, and R. Temam, Properties of stationary statistical solutions of the three- dimensional Navier-Stokes equations,Journal of Dynamics and Differential EquationsVol. 31 (2019), 1689–1741

    2019

  21. [21]

    Fantuzzi, D

    G. Fantuzzi, D. Goluskin, D. Huang, and S. I. Chernyshenko, Bounds for deterministic and stochastic dynamical systems using Sum-of-Squares optimization,SIAM J. Appl. Dyn. Syst.,15 (2016), no. 4, 1962–1988

    2016

  22. [22]

    Foias and R

    C. Foias and R. Temam, On the stationary of the Navier-Stokes equations and turbulence, Publications Mathematiques d’Orsay,no. 120–75–28 (1975), 38–77

    1975

  23. [23]

    Goluskin, Bounding averages rigorously using semidefinite programming: mean mo- ments of the Lorenz system,J

    D. Goluskin, Bounding averages rigorously using semidefinite programming: mean mo- ments of the Lorenz system,J. Nonlinear Sci.28 (2018), 621–651

    2018

  24. [24]

    Goluskin and G

    D. Goluskin and G. Fantuzzi, Bounds on mean energy in the Kuramoto–Sivashinsky equa- tion computed using semidefinite programming,Nonlinearity,32 (2019), no. 5, 1705

    2019

  25. [25]

    Hilbert, ¨Uber die Darstellung definiter Formen als Summe von Formenquadraten,Math- ematische Annalen, 32 (1888), no

    D. Hilbert, ¨Uber die Darstellung definiter Formen als Summe von Formenquadraten,Math- ematische Annalen, 32 (1888), no. 3, 342–350

  26. [26]

    Hilbert,Mathematical Problems, Lecture delivered at the International Congress of Mathematicians, Paris, 1900

    D. Hilbert,Mathematical Problems, Lecture delivered at the International Congress of Mathematicians, Paris, 1900

    1900

  27. [27]

    T. Hou, Y. Wang, C. Yang, Nonuniqueness of Leray-Hopf solutions to the unforced incom- pressible 3D Navier-Stokes Equation, arXiv:2509.25116 [math.AP]

    work page arXiv

  28. [28]

    Jenkinson, Ergodic optimization in dynamical systems.Ergod

    O. Jenkinson, Ergodic optimization in dynamical systems.Ergod. Th. & Dynam. Sys.39 (2019), no. 10, 2593–2618

    2019

  29. [29]

    P. E. Kloeden, P. Mar´ ın-Rubio, and J. Real, Equivalence of invariant measures and sta- tionary statistical solutions for the autonomous globally modified Navier-Stokes equations, Communications on Pure & Applied Analysis, 8 (2009), no. 3, 785–802

    2009

  30. [30]

    Komiya, Elementary proof for Sion’s minimax theorem,Kodai Math

    H. Komiya, Elementary proof for Sion’s minimax theorem,Kodai Math. J.11 (1988), 5–7

    1988

  31. [31]

    Krengel,Ergodic Theorems.With a supplement by Antoine Brunel

    U. Krengel,Ergodic Theorems.With a supplement by Antoine Brunel. De Gruyter Studies in Mathematics, vol. 6. Walter de Gruyter & Co., Berlin, 1985

    1985

  32. [32]

    N. M. Krylov and N. N. Bogolyubov, La th´ eorie g´ en´ erale de la mesure dans son application ` a l’´ etude des syst` emes dynamiques de la m´ ecanique non lin´ eaire,Ann. of Math.38 (1937), no. 1, 65–113

    1937

  33. [33]

    Ladyzhenskaya,The Mathematical Theory of Viscous Incompressible Flow,Revised English edition, Translated from the Russian by Richard A

    O. Ladyzhenskaya,The Mathematical Theory of Viscous Incompressible Flow,Revised English edition, Translated from the Russian by Richard A. Silverman Gordon and Breach Science Publishers, New York-London, 1963

    1963

  34. [34]

    J. B. Lasserre,An Introduction to Polynomial and Semi-Algebraic Optimization, Cam- bridge Texts in Applied Mathematics, Cambridge University Press, 2015

    2015

  35. [35]

    Lin, J.-L

    Z. Lin, J.-L. Thiffeault, C. R. Doering, Optimal stirring strategies for passive scalar mixing, J. of Fluid Mech.675 (2011), 465–476

    2011

  36. [36]

    J. R. Munkres,Topology,2nd Edition, Prentice-Hall, 2000

    2000

  37. [37]

    K. G. Murty and S. N. Kabadi, Some NP-complete problems in quadratic and nonlinear programming,Mathematical Programming,39 (1987), 117–129. 44 A. BRONZI, C. F. MONDAINI, AND R. M. S. ROSA

    1987

  38. [38]

    P. A. Parrilo, Semidefinite programming relaxations for semialgebraic problems,Math. Program.96 (2003), 293–320

    2003

  39. [39]

    Y. V. Prokhorov, Convergence of random processes and limit theorems in probability theory,Theory Probab. Appl.1 (1956) 157–214

    1956

  40. [40]

    Richardson, Some undecidable problems involving elementary functions of a real vari- able,J

    D. Richardson, Some undecidable problems involving elementary functions of a real vari- able,J. of Symbolic Logic.33 (1969), no. 4, 514–520

    1969

  41. [41]

    Rosa, and R

    R. Rosa, and R. Temam, Optimal minimax bounds for time and ensemble averages for the incompressible Navier-Stokes equations,Pure Appl. Funct. Anal.7 (2022), no. 1, 327–355

    2022

  42. [42]

    G. R. Sell, Y. You,Dynamics of Evolutionary Equations, Applied Mathematical Sciences 143, Springer-Verlag New York, 2002

    2002

  43. [43]

    Simon,Convexity: An Analytic Viewpoint.Cambridge Tracts in Mathematics, Cam- bridge University Press, 2011

    B. Simon,Convexity: An Analytic Viewpoint.Cambridge Tracts in Mathematics, Cam- bridge University Press, 2011

    2011

  44. [44]

    Sion, On general minimax theorems,Pacific J

    M. Sion, On general minimax theorems,Pacific J. Math.8 (1958), 171–176

    1958

  45. [45]

    TemamNavier-Stokes Equations

    R. TemamNavier-Stokes Equations. Theory and numerical analysis,Studies in Mathemat- ics and its Applications, 2, 3rd edition, North-Holland Publishing Co., Amsterdam-New York, 1984. Reedition in 2001 in the AMS Chelsea series, AMS, Providence

    1984

  46. [46]

    Temam,Infinite Dimensional Dynamical Systems in Mechanics and Physics,Applied Mathematical Sciences 68 (2nd ed., 1997), Springer-Verlag, New York, 1988

    R. Temam,Infinite Dimensional Dynamical Systems in Mechanics and Physics,Applied Mathematical Sciences 68 (2nd ed., 1997), Springer-Verlag, New York, 1988

    1997

  47. [47]

    Temam,Navier-Stokes Equations and Nonlinear Functional Analysis,2nd Edition, SIAM, Philadelphia, 1995

    R. Temam,Navier-Stokes Equations and Nonlinear Functional Analysis,2nd Edition, SIAM, Philadelphia, 1995

    1995

  48. [48]

    Tobasco, D

    I. Tobasco, D. Goluskin, and C. R. Doering, Optimal bounds and extremal trajectories for time averages in nonlinear dynamical systems,Physics Letters A, Volume 382 (2018), no. 6, 382–386

    2018

  49. [49]

    Topsoe,Topology and Measure,Lecture Notes in Math., vol

    F. Topsoe,Topology and Measure,Lecture Notes in Math., vol. 133, Springer-Verlag, 1970

    1970

  50. [50]

    M. I. Vishik and A. V. Fursikov, Translationally homogeneous statistical solutions and individual solutions with infinite energy of a system of Navier-Stokes equations,Siberian Mathematical Journal, Vol. 19 (1979), no. 5, 710–729 (Translated from Sibirskii Matem- aticheskii Sbornik, Vol. 19, no. 5, 1005–1031, September-October 1978.)

    1979

  51. [51]

    M. I. Vishik and A. V. Fursikov,Mathematical Problems of Statistical Hydrodynamics, Kluwer, Dordrecht, 1988

    1988

  52. [52]

    Walters,An Introduction to Ergodic Theory, (Graduate Texts in Mathematics, Vol

    P. Walters,An Introduction to Ergodic Theory, (Graduate Texts in Mathematics, Vol. 79), Springer-Verlag, New York-Berlin, 1982

    1982

  53. [53]

    Winkler, Extreme points of moment sets,Math

    G. Winkler, Extreme points of moment sets,Math. Oper. Res.,13 (1988), no. 4, 581–587. (A. Bronzi)Instituto de Matem ´atica, Estat´ıstica e Computac ¸˜ao Cient´ıfica, Uni- versidade Estadual de Campinas (UNICAMP), Brazil (C. F. Mondaini)Department of Mathematics, Drexel University, USA (R. M. S. Rosa)Instituto de Matem ´atica, Universidade Federal do Rio d...

    1988