ULD3DNSE · Uniqueness of solutions of the three-dimensional Navier-Stokes equations for large sets of data
FP7 — People (Marie Curie Actions)
- Duration
- 2010-10-01 → 2012-09-30
- EU contribution
- €224,727
- Participants
- 1
- Scheme
- MC-IEF
Lines connect the coordinator with its partners.
Results in brief
Uniqueness of solutions of the three-dimensional Navier-Stokes equations for large sets of data
Our aim has been to understand further the solutions of the three-dimensional incompressible Navier–Stokes equations (3DNSE). Whether or not these equations possess smooth solutions that exist for all time for any smooth initial condition is one of the Clay Foundation’s Million Dollar Millennium Prize Problems. Most of our work during the project period has been based on work of Fursikov from the 1970s, treating not the Navier–Stokes equations themselves but the equations for the evolution of the moments of an initial measure. The remarkable thing about this approach is that while the Navier–Stokes equations themselves are nonlinear, the moment equations are linear.
Data: CORDIS, © European Union
Project objective
The three-dimensional Navier-Stokes equations are the fundamental mathematical model of fluid flow. However, currently we only know that unique solutions exist for all time for 'small' data (initial condition and forcing); for 'large' data they can only be guaranteed to exist for a short time. The existence of unique smooth solutions that exist for all time for any choice of data is one of the Clay Foundation's Million Dollar Millennium Prize Problems, and is exceedingly hard. The goal of this proposal is to address the problem of uniqueness of solutions in a way that does not require a solution of this problem in full. We aim to show that the solutions are unique for certain large classes of data. More concretely, we aim to prove the following three results: (i) it is possible to verify uniqueness numerically (at least in theory) for any set of initial conditions that is bounded in H^1; (ii) for a fixed initial condition, a prevalent set of forcing functions give rise to unique solutions; and (iii) for a fixed forcing function, a dense set of complex initial conditions give rise to unique solutions. The result of (i) relies on showing that the property of uniqueness is in some sense robust, which we will prove in a way that generalises previous results obtained by the host. In (ii), prevalence" is a probabilistic notion, introduced for various problems in dynamical systems, which means that one can describe something as happening "with probability one". It is already know that this result is true if one replaces "prevalent" by "dense", but a result valid "almost surely" will be more practically relevant. Objective (iii), density of initial conditions giving rise to unique solutions, is a high-profile problem, which we will treat using results from the statistical theory of the equations developed in the 1980s."
Original text from CORDIS.
Participants
- UNIVERSITY OF WARWICK · COVENTRYCoordinatorUnited Kingdom
Links
Data: CORDIS, © European Union