ナビエ–ストークス方程式の解の存在と滑らかさ
v ( x , t ) ∈ [ C ∞ ( T 3 × [ 0 , ∞ ) ) ] 3 , p ( x , t ) ∈ C ∞ ( T 3 × [ 0 , ∞ ) ) {\displaystyle \mathbf {v} (x,t)\in \left[C^{\infty }(\mathbb {T} ^{3}\times [0,\infty ))\right]^{3}\,,\qquad p(x,t)\in C^{\infty }(\mathbb {T} ^{3}\times [0,\infty ))}
4. ある定数 E ∈ ( 0 , ∞ ) {\displaystyle E\in (0,\infty )} が存在し、全ての t ≥ 0 {\displaystyle t\geq 0} に対し、 ∫ T 3 | v ( x , t ) | 2 d x < E {\displaystyle \int _{\mathbb {T} ^{3}}\vert \mathbf {v} (x,t)\vert ^{2}dx<E} となる。
前の場合と全く同様に、条件 3 は函数が滑らかで大域的に定義されていることを意味し、条件 4 は解の運動方程式が大域的に有界であることを意味する。