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

非圧縮 Navier–Stokes 方程式・Euler 方程式

定義 2.1(「Navier–Stokes 方程式 I」§2)

ν>0\nu\gt0 を定数(粘性)とする。速度 u:Ω×[0,T)→Rdu:\Omega\times[0,T)\to\mathbb{R}^d、圧力 p:Ω×[0,T)→Rp:\Omega\times[0,T)\to\mathbb{R}、外力 f:Ω×[0,T)→Rdf:\Omega\times[0,T)\to\mathbb{R}^d、初期値 u0:Ω→Rdu_0:\Omega\to\mathbb{R}^d に対する方程式

∂tu+(u⋅∇)u=νΔu−∇p+f,div⁡u=0,u(⋅,0)=u0\partial_tu+(u\cdot\nabla)u=\nu\Delta u-\nabla p+f,\qquad\operatorname{div}u=0,\qquad u(\cdot,0)=u_0

を非圧縮 Navier–Stokes 方程式という。ここで ((u⋅∇)u)j=ui∂iuj((u\cdot\nabla)u)_j=u_i\partial_iu_j である。ν=0\nu=0 としたものを Euler 方程式という。u,pu,p が Ω×[0,T)\Omega\times[0,T) 上 C∞C^\infty 級で方程式を各点で満たすとき、(u,p)(u,p) を滑らかな解という。

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

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

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

これを使っている定理

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

関連するノック 2 問