Suitable weak solutions of the Navier-Stokes equations constructed by a space-time numerical discretization
This provides a rigorous justification for the suitability of numerical solutions in the analysis of the Navier-Stokes equations, addressing a theoretical gap for the mathematical fluid dynamics community.
The authors prove that weak solutions of the Navier-Stokes equations obtained as limits of certain space-time numerical discretizations satisfy the local energy inequality, making them suitable in the sense of Scheffer and Caffarelli-Kohn-Nirenberg.
We prove that weak solutions obtained as limits of certain numerical space-time discretizations are suitable in the sense of Scheffer and Caffarelli-Kohn-Nirenberg. More precisely, in the space-periodic setting, we consider a full discretization in which the theta-method is used to discretize the time variable, while in the space variables we consider appropriate families of finite elements. The main result is the validity of the so-called local energy inequality.