ULD3DNSE

Uniqueness of solutions of the three-dimensional Navier-Stokes equations for large sets of data

Coordinatore	THE UNIVERSITY OF WARWICK    more  Organization address address: Kirby Corner Road - University House - city: COVENTRY postcode: CV4 8UW contact info Titolo: Dr. Nome: Peter Cognome: Hedges Email: send email Telefono: -48437 Fax: -49712
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

#	participant	country	role	EC contrib. [€]
1	THE UNIVERSITY OF WARWICK  Organization address address: Kirby Corner Road - University House - city: COVENTRY postcode: CV4 8UW contact info Titolo: Dr. Nome: Peter Cognome: Hedges Email: send email Telefono: -48437 Fax: -49712	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.'