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

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

2006-07-07

arxiv.org/abs/math/0607181v2

Mathematics

Numerical Analysis

Scientific paper

10.1063/1.2372512

In this paper we consider the r\^ole 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.

Affiliated with

Also associated with

No associations

Rating

A Posteriori Regularity of the Three-dimensional Navier-Stokes Equations from Numerical Computations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Posteriori Regularity of the Three-dimensional Navier-Stokes Equations from Numerical Computations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Posteriori Regularity of the Three-dimensional Navier-Stokes Equations from Numerical Computations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-97378