数学 › 未解決問題と大定理 › Navier–Stokes 方程式 II
平均化された方程式の有限時間爆発(Tao)
の平均化 で、エネルギー恒等式 を満たし、 が満たす調和解析の評価(・Sobolev 空間での双線形評価)をすべて満たすものと、Schwartz 級で発散なしの初期値 があって、、 の滑らかな解は有限時間で爆発する(大域的な滑らかな解は存在しない)。
閉包の状態
※ 主張のみ
証明を Rikai に書かない定理です(研究最前線の結果や、証明が本 1 冊分になるもの)。主張のみの台帳に理由つきで登録されています。理由と出典は 本文の注意 にあります。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
主張のみなので、Rikai の中で証明が使う前提はありません。
これを使っている定理 証明で参照している 1 件
- エネルギー恒等式と調和解析の評価だけでは (A) は証明できない△系 7.4・Navier–Stokes 方程式 II