数学 › 未解決問題と大定理 › Navier–Stokes 方程式 II

有限エネルギーの弱解の非一意性(Buckmaster–Vicol)

定理 7.6(「Navier–Stokes 方程式 II」§7) ・ ※主張のみ

ν>0\nu\gt0、f=0f=0 とする。β>0\beta\gt0 があって、任意の滑らかな関数 e:[0,T]→[0,∞)e:[0,T]\to[0,\infty) に対し、T3×[0,T]\mathbb{T}^3\times[0,T] 上の Navier–Stokes 方程式の超関数の意味の解 v∈C([0,T];Hβ(T3))v\in C([0,T];H^\beta(\mathbb{T}^3)) で、すべての tt で ∫T3∣v(x,t)∣2dx=e(t)\int_{\mathbb{T}^3}|v(x,t)|^2dx=e(t) となるものが存在する。とくに、このクラスの弱解は初期値で決まらない。

本文で読む(前後の説明)→

閉包の状態

※ 主張のみ

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

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

前提をたどる 証明が使う定理・定義

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

これを使っている定理

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