Caffarelli–Kohn–Nirenberg の部分正則性定理

定理 5.6（「Navier–Stokes 方程式 II」§5）・ ※主張のみ

$\nu\gt0$ 、 $f=0$ とする。

(i) 発散なしの任意の $u_0\in L^2(\mathbb{R}^3)$ に対し、 $\mathbb{R}^3\times(0,\infty)$ 上の適切な弱解で、初期値 $u_0$ をもつ Leray–Hopf の弱解であるものが存在する。

(ii) 適切な弱解の特異点集合 $S$ は $\mathcal{P}^1(S)=0$ を満たす。

閉包の状態

※ 主張のみ

証明を Rikai に書かない定理です（研究最前線の結果や、証明が本 1 冊分になるもの）。主張のみの台帳に理由つきで登録されています。理由と出典は本文の注意にあります。

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

主張のみなので、Rikai の中で証明が使う前提はありません。

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