数学 › 未解決問題と大定理 › Navier–Stokes 方程式 II
有限エネルギーの弱解の非一意性(Buckmaster–Vicol)
、 とする。 があって、任意の滑らかな関数 に対し、 上の Navier–Stokes 方程式の超関数の意味の解 で、すべての で となるものが存在する。とくに、このクラスの弱解は初期値で決まらない。
閉包の状態
※ 主張のみ
証明を Rikai に書かない定理です(研究最前線の結果や、証明が本 1 冊分になるもの)。主張のみの台帳に理由つきで登録されています。出典は 本文 を見てください。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
主張のみなので、Rikai の中で証明が使う前提はありません。
これを使っている定理
証明で明示的に参照している定理は、まだありません。