数学 › 未解決問題と大定理 › Navier–Stokes 方程式 II
エネルギー恒等式と調和解析の評価だけでは (A) は証明できない
定理 7.2 を仮定する。 を、エネルギー恒等式と、 と同じ調和解析の評価を満たす双線形作用素の全体とする。「すべての について、 は Schwartz 級の初期値に対して大域的な滑らかな解をもつ」という命題は偽である。したがって、命題 (A) の証明は、 がもち のすべての元がもつわけではない性質を、どこかで使わなければならない。
閉包の状態
△ 証明あり（閉包未完）
証明は Rikai にありますが、たどった先に主張のみの定理（または循環）があり、公理まではつながっていません。止めている前提:
- 平均化された方程式の有限時間爆発（Tao）※定理 7.2・Navier–Stokes 方程式 II
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 1 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
- 平均化された方程式の有限時間爆発（Tao）※定理 7.2・Navier–Stokes 方程式 II
これを使っている定理
証明で明示的に参照している定理は、まだありません。