運動量の残差

定義 2.1（「Navier–Stokes 方程式 III」§2）

滑らかな速度場 $u$ と圧力 $p$ 、粘性 $\nu\gt0$ に対し

R_\nu(u,p)=\partial_tu+(u\cdot\nabla)u-\nu\Delta u+\nabla p

を運動量の残差という。 $\nu=1$ のとき $R(u,p)$ と書く（原稿の式 (3.1)）。

閉包の状態

定義

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

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

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