ULD3DNSE
Uniqueness of solutions of the three-dimensional Navier-Stokes equations for large sets of data
| Coordinatore | THE UNIVERSITY OF WARWICK
Organization address
address: Kirby Corner Road - University House - contact info |
| Nazionalità Coordinatore | United Kingdom [UK] |
| Totale costo | 224˙727 € |
| EC contributo | 224˙727 € |
| Programma | FP7-PEOPLE
Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | FP7-PEOPLE-2009-IEF |
| Funding Scheme | MC-IEF |
| Anno di inizio | 2010 |
| Periodo (anno-mese-giorno) | 2010-10-01 - 2012-09-30 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
THE UNIVERSITY OF WARWICK
Organization address
address: Kirby Corner Road - University House - contact info |
UK (COVENTRY) | coordinator | 224˙727.20 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (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.'