ε-正則性（Caffarelli–Kohn–Nirenberg）

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

絶対定数 $\varepsilon\gt0$ があって次が成り立つ。 $\nu=1$ 、 $f=0$ とし、 $(u,p)$ を $D$ 上の適切な弱解、 $z\in D$ とする。

\limsup_{r\to0}\ \frac1r\iint_{Q_r(z)}|\nabla u|^2dx\,dt\lt\varepsilon

ならば、 $z$ は正則点である。

閉包の状態

※ 主張のみ

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

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

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