爆発時刻

定義 2.2（「Navier–Stokes 方程式 II」§2）

$(u,p)$ を $\Omega\times[0,T)$ 上の滑らかな解とする。 $\limsup_{t\uparrow T}\|\nabla u(t)\|=\infty$ のとき、 $T$ を爆発時刻といい、解は $T$ で爆発するという。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。