A Posteriori Regularity of the Three-dimensional Navier-Stokes Equations from Numerical Computations

Abstract

In this paper we consider the rôle that numerical computations -- in particular Galerkin approximations -- can play in problems modelled by the 3d Navier-Stokes equations, for which no rigorous proof of the existence of unique solutions is currently available. We prove a robustness theorem for strong solutions, from which we derive an {\it a posteriori} check that can be applied to a numerical solution to guarantee the existence of a strong solution of the corresponding exact problem. We then consider Galerkin approximations, and show that {\it if} a strong solution exists the Galerkin approximations will converge to it; thus if one is prepared to assume that the Navier-Stokes equations are regular one can justify this particular numerical method rigorously. Combining these two results we show that if a strong solution of the exact problem exists then this can be verified numerically using an algorithm that can be guaranteed to terminate in a finite time. We thus introduce the possibility of rigorous computations of the solutions of the 3d Navier-Stokes equations (despite the lack of rigorous existence and uniqueness results), and demonstrate that numerical investigation can be used to rule out the occurrence of possible singularities in particular examples.

Cited by in corpus (13)

• On approximate solutions of semilinear evolution equations II. Generalizations, and applications to Navier-Stokes equations
• An H^1 setting for the Navier-Stokes equations: quantitative estimates
• On approximate solutions of the incompressible Euler and Navier-Stokes equations
• Using periodic boundary conditions to approximate the Navier-Stokes equations on ${\mathbb{R}}^3$ and the transfer of regularity
• On the constants in a basic inequality for the Euler and Navier-Stokes equations
• On the constants in a Kato inequality for the Euler and Navier-Stokes equations
• On power series solutions for the Euler equation, and the Behr-Necas-Wu initial datum
• Smooth solutions of the Euler and Navier-Stokes equations from the a posteriori analysis of approximate solutions
• Large order Reynolds expansions for the Navier-Stokes equations
• On the Reynolds number expansion for the Navier-Stokes equations
• Quantitative robustness of regularity for 3D Navier-Stokes system in ${\dot{H}}^{\alpha }$-spaces
• Quantitative transfer of regularity of the incompressible Navier-Stokes equations from ${\mathbb{R}}^3$ to the case of a bounded domain
• On approximate solutions of the equations of incompressible magnetohydrodynamics