Determining Projections and Functionals for Weak Solutions of the Navier-Stokes Equations
Michael Holst, Edriss Titi

TL;DR
This paper demonstrates that the long-term behavior of weak solutions to the Navier-Stokes equations can be determined by a finite set of surface average functionals, linking mathematical projections to turbulence scales.
Contribution
It introduces a new projection operator based on surface averages that determines weak solutions' long-term behavior and relates it to turbulence dissipation scales.
Findings
Finite-dimensional projections determine long-time behavior.
Constructed functionals are well-defined for weak solutions.
Lower bounds on simplex diameters relate to turbulence scales.
Abstract
In this paper we prove that an operator which projects weak solutions of the two- or three-dimensional Navier-Stokes equations onto a finite-dimensional space is determining if it annihilates the difference of two "nearby" weak solutions asymptotically, and if it satisfies a single appoximation inequality. We then apply this result to show that the long-time behavior of weak solutions to the Navier-Stokes equations, in both two- and three-dimensions, is determined by the long-time behavior of a finite set of bounded linear functionals. These functionals are constructed by local surface averages of solutions over certain simplex volume elements, and are therefore well-defined for weak solutions. Moreover, these functionals define a projection operator which satisfies the necessary approximation inequality for our theory. We use the general theory to establish lower bounds on the simplex…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNavier-Stokes equation solutions · Fluid Dynamics and Turbulent Flows · Stability and Controllability of Differential Equations
