Generic solvability of the equations of Navier-Stokes (Q1122709)

The authors study the existence of unique strong solutions for arbitrary times \(T>0\) of the initial boundary value problem for the Navier-Stokes equations on bounded domains in \({\mathbb{R}}^ 3\). For given suitable initial data \(u_ 0\) they investigate the question whether any body force \(f\in L^ p(0,T;L^ p(\Omega)^ 3)\), \(p\in [2,\infty)\), \(\Omega\) being the domain in \({\mathbb{R}}^ 3\), leads to a unique strong solution for arbitrary \(T>0\). The set of such f is open in \(L^ p(0,T;L^ p(\Omega)^ 3)\). The authors prove in this paper that the set of these forces f lies dense in \(L^ p(0,T;L^ p(\Omega)^ 3)\) with respect to the norm of \(L^ s(0,T;L^ q(\Omega)^ 3)\) for all \(s,q\in (1,\infty)\) with \(4<2/s+3/q.\) Therefore, in this sense the set of forces f in \(L^ p(0,T;L^ p(\Omega)^ 3)\) forms a large subset, i.e. the problem is generically solvable.