ナビエ–ストークス方程式

ナビエ–ストークス方程式（ナビエ–ストークスほうていしき、英: Navier–Stokes equations）は、流体の運動を記述する2階非線型偏微分方程式であり、流体力学で用いられる。アンリ・ナビエとジョージ・ガブリエル・ストークスによって導かれた。日本語の文献だと「NS方程式」とも略される。ナビエ・ストークス方程式は、ニュートン力学における運動の第2法則に相当する。 流体の質量保存の法則と運動量保存の法則を表す連続の方程式 ∂ ρ ∂ t + div ⁡ ( ρ v ) = 0 {\displaystyle {\frac {\partial \rho }{\partial t}}+\operatorname {div} (\rho {\boldsymbol {v}})=0} ∂ ( ρ v ) ∂ t + div ⁡ ( ρ v v ) = div ⁡ σ + ρ g {\displaystyle {\frac {\partial (\rho {\boldsymbol {v}})}{\partial t}}+\operatorname {div} (\rho {\boldsymbol {v}}{\boldsymbol {v}})=\operatorname {div} {\boldsymbol {\sigma }}+\rho {\boldsymbol {g}}} を用いると、流れの速度場 v {\displaystyle {\boldsymbol {v}}} の物質微分は D v D t = ∂ v ∂ t + ( v ⋅ ∇ ) v = 1 ρ div ⁡ σ + g {\displaystyle {\frac {D{\boldsymbol {v}}}{Dt}}={\frac {\partial {\boldsymbol {v}}}{\partial t}}+({\boldsymbol {v}}\cdot \nabla ){\boldsymbol {v}}={\frac {1}{\rho }}\operatorname {div} {\boldsymbol {\sigma }}+{\boldsymbol {g}}} と導かれる。ここで、 ρ {\displaystyle \rho } は密度場、 σ {\displaystyle {\boldsymbol {\sigma }}} は応力場、 g {\displaystyle {\boldsymbol {g}}} は流体の単位質量あたりに作用する外力場（加速度場）である。 ここで、ニュートン流体を仮定すれば、応力場が σ = ( − p + χ Θ ) 1 + μ ( e − 2 3 Θ 1 ) = ( − p + ( χ − 2 3 μ ) Θ ) 1 + μ e {\displaystyle {\boldsymbol {\sigma }}=\left(-p+\chi \Theta \right)\mathbf {1} +\mu \left({\boldsymbol {e}}-{\frac {2}{3}}\,\Theta \,\mathbf {1} \right)=(-p+(\chi -{\frac {2}{3}}\,\mu )\Theta )\mathbf {1} +\mu {\boldsymbol {e}}} で与えられる。ただし、 p {\displaystyle p} は圧力（静圧）、 χ {\displaystyle \chi } は体積粘性率、 μ {\displaystyle \mu } は剪断粘性率である。 e {\displaystyle {\boldsymbol {e}}} は対称化した速度勾配（英語版）で、デカルト座標の下で成分表示をすれば e a b = ∂ v a ∂ x b + ∂ v b ∂ x a {\displaystyle e_{ab}={\frac {\partial v_{a}}{\partial x_{b}}}+{\frac {\partial v_{b}}{\partial x_{a}}}} で表され、 Θ {\displaystyle \Theta } は速度場の発散 Θ = div ⁡ v = 1 2 tr ⁡ e {\displaystyle \Theta =\operatorname {div} {\boldsymbol {v}}={\frac {1}{2}}\operatorname {tr} {\boldsymbol {e}}} である。 この形の応力場 σ {\displaystyle {\boldsymbol {\sigma }}} を用いると、速度場 v {\displaystyle {\boldsymbol {v}}} の物質微分が D v D t = ∂ v ∂ t + ( v ⋅ ∇ ) v = − 1 ρ grad ⁡ p + μ ρ Δ v + χ + 1 3 μ ρ grad ⁡ Θ + Θ ρ grad ⁡ ( χ + 1 3 μ ) + 1 ρ grad ⁡ ( v ⋅ grad ⁡ μ ) + 1 ρ rot ⁡ ( v × grad ⁡ μ ) − 1 ρ v Δ μ + g {\displaystyle {\begin{aligned}{\frac {D{\boldsymbol {v}}}{Dt}}={\frac {\partial {\boldsymbol {v}}}{\partial t}}+({\boldsymbol {v}}\cdot \nabla ){\boldsymbol {v}}=&-{\frac {1}{\rho }}\operatorname {grad} p+{\frac {\mu }{\rho }}\Delta {\boldsymbol {v}}+{\frac {\chi +{\frac {1}{3}}\,\mu }{\rho }}\operatorname {grad} \Theta +{\frac {\Theta }{\rho }}\operatorname {grad} (\chi +{\frac {1}{3}}\,\mu )\\&+{\frac {1}{\rho }}\operatorname {grad} ({\boldsymbol {v}}\cdot \operatorname {grad} \mu )+{\frac {1}{\rho }}\operatorname {rot} ({\boldsymbol {v}}\times \operatorname {grad} \mu )-{\frac {1}{\rho }}\,{\boldsymbol {v}}\Delta \mu +{\boldsymbol {g}}\\\end{aligned}}} で与えられる。この方程式がナビエ–ストークス方程式である。この3本の連立偏微分方程式を解いて3次元ベクトル v {\displaystyle {\boldsymbol {v}}} とスカラー p {\displaystyle p} の計4つの未知関数の一般解が常に存在する（もしくは存在しないケースがある）ことを証明せよ、という問題が「ナビエ–ストークス方程式の解の存在と滑らかさ（ミレニアム懸賞問題の1つ）」である。加えて、それらの解が「時間大域的かつ滑らかな解」なのかどうかも、非常に重要な論点となる。 なお、速度場の物質微分の第二項は「対流項」あるいは「移流項」と呼ばれ、ベクトル解析の公式により、 ( v ⋅ ∇ ) v = grad ⁡ ( 1 2 v 2 ) − v × ω {\displaystyle ({\boldsymbol {v}}\cdot \nabla ){\boldsymbol {v}}=\operatorname {grad} \left({\frac {1}{2}}{\boldsymbol {v}}^{2}\right)-{\boldsymbol {v}}\times {\boldsymbol {\omega }}} と変形することができる。ここで ω は速度場の回転 ω = rot ⁡ v {\displaystyle {\boldsymbol {\omega }}=\operatorname {rot} {\boldsymbol {v}}} であり、渦度と呼ばれる。 ナビエ–ストークス方程式は、複雑過ぎるが故に解を求めることは困難である。このため、いくつかの仮定をして問題を単純化することが多い。しかし、単純化された方程式でさえも解析的な解法は知られていないことが多く、ほとんどの場合、数値的解法を必要とする。 非圧縮性流れでは、速度場の発散 Θ がゼロなので、速度場の発散を含む項を落として D v D t = ∂ v ∂ t + ( v ⋅ ∇ ) v = − 1 ρ grad ⁡ p + μ ρ Δ v + 1 ρ grad ⁡ ( v ⋅ grad ⁡ μ ) + 1 ρ rot ⁡ ( v × grad ⁡ μ ) − 1 ρ v Δ μ + g {\displaystyle {\frac {D{\boldsymbol {v}}}{Dt}}={\frac {\partial {\boldsymbol {v}}}{\partial t}}+({\boldsymbol {v}}\cdot \nabla ){\boldsymbol {v}}=-{\frac {1}{\rho }}\operatorname {grad} p+{\frac {\mu }{\rho }}\Delta {\boldsymbol {v}}+{\frac {1}{\rho }}\operatorname {grad} ({\boldsymbol {v}}\cdot \operatorname {grad} \mu )+{\frac {1}{\rho }}\operatorname {rot} ({\boldsymbol {v}}\times \operatorname {grad} \mu )-{\frac {1}{\rho }}{\boldsymbol {v}}\,\Delta \mu +{\boldsymbol {g}}} となる。 粘性率 μ や χ は温度や圧力の関数であり一定ではないが、粘性率を定数と仮定する場合は、粘性率の勾配を含む項を落として、 D v D t = ∂ v ∂ t + ( v ⋅ ∇ ) v = − 1 ρ grad ⁡ p + μ ρ Δ v + χ + 1 3 μ ρ grad ⁡ Θ + g {\displaystyle {\frac {D{\boldsymbol {v}}}{Dt}}={\frac {\partial {\boldsymbol {v}}}{\partial t}}+({\boldsymbol {v}}\cdot \nabla ){\boldsymbol {v}}=-{\frac {1}{\rho }}\operatorname {grad} p+{\frac {\mu }{\rho }}\Delta {\boldsymbol {v}}+{\frac {\chi +{\frac {1}{3}}\,\mu }{\rho }}\operatorname {grad} \Theta +{\boldsymbol {g}}} となる。また、体積粘性率 χ は非常に小さいので、χ = 0 と仮定すると、 D v D t = ∂ v ∂ t + ( v ⋅ ∇ ) v = − 1 ρ grad ⁡ p + ν Δ v + ν 3 grad ⁡ Θ + g {\displaystyle {\frac {D{\boldsymbol {v}}}{Dt}}={\frac {\partial {\boldsymbol {v}}}{\partial t}}+({\boldsymbol {v}}\cdot \nabla ){\boldsymbol {v}}=-{\frac {1}{\rho }}\operatorname {grad} p+\nu \Delta {\boldsymbol {v}}+{\frac {\nu }{3}}\operatorname {grad} \Theta +{\boldsymbol {g}}} となる（ストークスの仮説）。ここで ν = μ/ρ は動粘性率である。 粘性率が一定の非圧縮性流れでは、 D v D t = ∂ v ∂ t + ( v ⋅ ∇ ) v = − 1 ρ grad ⁡ p + ν Δ v + g {\displaystyle {\frac {D{\boldsymbol {v}}}{Dt}}={\frac {\partial {\boldsymbol {v}}}{\partial t}}+({\boldsymbol {v}}\cdot \nabla ){\boldsymbol {v}}=-{\frac {1}{\rho }}\operatorname {grad} p+\nu \Delta {\boldsymbol {v}}+{\boldsymbol {g}}} となる。ここで ν = μ/ρ は動粘性率である。各項はそれぞれ、 左辺 - 第1項：時間[微分]項、第2項：移流項（対流項） 右辺 - 第1項：圧力項、第2項：粘性項（拡散項）、第3項：外力項 と呼ばれる。外力項は、状況によって、重力をはじめ浮力・表面張力・電磁気力などが該当する。 ストークス流れ（クリープ流れ） 粘性率が一定の非圧縮性流れのうち、流体の速度が遅かったりスケールが小さいなど、レイノルズ数が小さい流れを特にストークス流れあるいはクリープ流れという。ストークス流れでは、非線型である対流項 ( v ⋅ ∇ ) v {\displaystyle ({\boldsymbol {v}}\cdot \nabla ){\boldsymbol {v}}} が無視できて、 D v D t = ∂ v ∂ t = − 1 ρ grad ⁡ p + ν Δ v + g {\displaystyle {\frac {D{\boldsymbol {v}}}{Dt}}={\frac {\partial {\boldsymbol {v}}}{\partial t}}=-{\frac {1}{\rho }}\operatorname {grad} p+\nu \Delta {\boldsymbol {v}}+{\boldsymbol {g}}} となる。この式はストークス方程式（Stokes equations）と呼ばれている。 粘性のない（χ = μ = 0）流れでは D v D t = ∂ v ∂ t + ( v ⋅ ∇ ) v = − 1 ρ grad ⁡ p + g {\displaystyle {\frac {D{\boldsymbol {v}}}{Dt}}={\frac {\partial {\boldsymbol {v}}}{\partial t}}+({\boldsymbol {v}}\cdot \nabla ){\boldsymbol {v}}=-{\frac {1}{\rho }}\operatorname {grad} p+{\boldsymbol {g}}} となる。この式はオイラー方程式と呼ばれている。 渦度（速度場の回転）がない流れ ω = rot ⁡ v = 0 {\displaystyle {\boldsymbol {\omega }}=\operatorname {rot} {\boldsymbol {v}}=\mathbf {0} } の場合には、ベクトル解析の定理により v = grad ⁡ Φ {\displaystyle {\boldsymbol {v}}=\operatorname {grad} \Phi } となる速度ポテンシャル Φ が存在する。 ブシネスク近似 熱輸送を伴う流れにおいて、温度による密度変化が大きくないとして扱う近似法をブシネスク近似という。 境界層近似 流れが主流方向を持ち（逆流、再循環および剥離がない）、幾何的な変形が緩やかなときに行う近似法を境界層近似という。 もし一般解が求まれば、流体の挙動を完全に知る事ができることになるが、未だに一般解は発見されていない。また、解の存在可能性についても明らかとはなっておらず、物理学と数学の両方にまたがる重要な課題の一つとなっている（詳細は、ミレニアム懸賞問題、ナビエ–ストークス方程式の解の存在と滑らかさを参照）。従って、極めて特殊な制約条件の問題を除いて数値解析によって近似的に解を求める。 流体の数値シミュレーション（数値流体力学、CFD）では、このナビエ–ストークス方程式と連続の式、その他必要に応じてエネルギー保存の法則（熱対流）やマクスウェルの方程式（磁気流体力学）、状態方程式などを連立して、数値的に解くことで流体の挙動を予測する。 移流と拡散両方に関係している現象であるので、クーラン数、拡散数の両方を満たすようにシミュレーションを行う必要がある。 乱流は流体の多くの流れで見られる時間依存のカオス的な振る舞いである。全体としての流体の慣性にそれがしたがうことが一般に信じられている。それゆえ慣性の効果が小さな流れは層流となる傾向がある。移流と粘性の強さの比率はレイノルズ数と呼ばれる無次元量であり、レイノルズ数がある閾値を越えると、微小なかく乱が移流項の非線型性により拡大していき、流れ場は非定常な乱流となる。 一方、右辺の粘性率を含む項（粘性項）は乱流の変動を抑制する効果を持つ。あまり深く理解されていないにもかかわらず、ナビエ‐ストークス方程式が乱流の性質を正確に記述することが信じられている。計算に対して計算時間が有意味に解き得るようになるちょうどよい計算メッシュによる解のようなこの要求条件の安定した解または直接数値シミュレーションの、乱流に関するナビエ‐ストークス方程式の数値解は、極度に困難である。難易度はその乱流に含まれている混合長さの尺度の違いに強く依存する。適当に変換するのに役立たない、層流を解くものを用いて乱流の流れを解く試みは、非定常解で典型的な結果を残す。 これに反して、レイノルズ平均ナビエ-ストークス方程式（RANS）のような、乱流モデルを補った時間平均方程式は、乱流をモデル化するときに実用的な数値流体力学（CFD）の応用で用いられる。追加の方程式を加えてRANSを導く、Spalart-Allmaras乱流モデル（英語版）、k‐ω乱流モデル（英語版）、k‐ε乱流モデル（英語版）を含む幾つかのモデルは、Large eddyシミュレーション（英語版）（LES）がこれらの方程式を数値的に解くように用いるようにもできる。RANSよりも計算時間と計算機メモリーの面で、これらのアプローチは電子計算機で行うには大変コストがかかる。しかし、それは陽的に大きな乱流の尺度を分解するのでより良い結果を生み出すのである。 ^ 前述の通り、ナビエ・ストークス方程式は流体がニュートン流体であることを前提としているため、非ニュートン流体に対しては成立しない。 ^ 見かけは1本だが、x成分, y成分, z成分に分割すると3本となる。 ^ 単純化された方程式を上手く選べば、数値計算の負荷を小さくできるため、依然これらの近似方程式は重要である（Ferziger, Perić, 2003）。 ^ a b c d Constantin, P., & Foias, C. (1988). Navier-stokes equations. University of Chicago Press. ^ a b c d 小薗英雄. (2002). Navier-Stokes 方程式. 数学, 54(2), 178-202. ^ C. L. M. H. Navier, "Mémoire sur les lois du mouvement des fluides," Mémoires Acad. Roy. Sci. Inst. France, 6, pp.389-440 (1823) ^ G. G. Stokes, "On the Theories of the Internal Friction of Fluids in Motion, and of the Equilibrium and Motion of Elastic Solids," Trans. Camb. Phil. Soc., 8, pp.287-319(1845）original paper ^ 児玉良明. (1996). CFD 入門 (その 1)− NS 方程式の様々な形 とモデル方程式 一. 日本造船学会誌, (805). ^ a b 藤田宏. (1962). Navier-Stokes 方程式の数学的プロフイル. 日本物理学会誌, 17(4), 260-264. ^ 『渦度』 - コトバンク ^ 寺沢寛一 編『自然科学者のための数学概論 応用編』岩波書店、1960年、640頁。ISBN 4-00-005481-3。  ^ a b Joel H. Ferziger; Milovan Perić 著、小林敏雄、谷口伸行、坪倉誠 訳『コンピュータによる流体力学』シュプリンガー・フェアラーク東京、2003年、12–15頁。ISBN 4-431-70842-1。  ^ Panton, R. L. (2013). Incompressible flow. John Wiley & Sons. ^ Pironneau, O. (1973). On optimum profiles in Stokes flow. Journal of Fluid Mechanics, 59(1), 117-128. ^ Pozrikidis, C. (2001). Interfacial dynamics for Stokes flow. Journal of Computational Physics, 169(2), 250-301. ^ Christodoulou, Demetrios (October 2007). “The Euler Equations of Compressible Fluid Flow”. Bulletin of the American Mathematical Society 44 (4): 581–602. doi:10.1090/S0273-0979-07-01181-0. http://www.ams.org/bull/2007-44-04/S0273-0979-07-01181-0/S0273-0979-07-01181-0.pdf.  ^ Euler, Leonhard (1757). “Principes généraux du mouvement des fluides”. Mémoires de l'académie des sciences de Berlin 11: 274–315. https://scholarlycommons.pacific.edu/euler-works/226.  ^ Zeytounian, R. K. (2003). Joseph Boussinesq and his approximation: a contemporary view. Comptes Rendus Mecanique, 331(8), 575-586. ^ Temam, R. (2001). Navier-Stokes equations: theory and numerical analysis (Vol. 343). American Mathematical Society. ^ Girault, V., & Raviart, P. A. (2012). Finite element methods for Navier-Stokes equations: theory and algorithms (Vol. 5). Springer Science & Business Media. ^ Anderson, John D. (1995). Computational Fluid Dynamics: The Basics With Applications. Science/Engineering/Math. McGraw-Hill Science. ISBN 978-0-07-001685-9. ^ Chung, T. J. (2010). Computational fluid dynamics. Cambridge University Press. ^ Wesseling, P. (2009). Principles of computational fluid dynamics. Springer Science & Business Media. ^ 『乱流』 - コトバンク ^ H. Tennekes、J. L. Lumley、藤原仁志、荒川忠一訳『乱流入門』東海大学出版会、1998年。ISBN 978-4-486-01440-9。 ^ Lesieur, M. (2012). Turbulence in fluids (Vol. 40). Springer Science & Business Media. ^ Davidson, P. A. (2015). Turbulence: an introduction for scientists and engineers. Oxford University Press. ^ 『層流』 - コトバンク ^ 『レイノルズ数』 - コトバンク ^ Foias, C., Manley, O., Rosa, R., & Temam, R. (2001). Navier-Stokes equations and turbulence (Vol. 83). Cambridge University Press. ^ R. G. Lerner; G. L. Trigg (1991). Encyclopaedia of Physics (2nd ed.). VHC publishers. ISBN 0-89573-752-3  ^ 大宮司久明, 三宅裕, & 吉澤徴. (1998). 乱流の数値流体力学. 東京大学出版会. ^ 梶島, & 岳夫. (2014). 乱流の数値シミュレーション. 養賢堂. ^ Wilcox, D. C. (1998). Turbulence modeling for CFD (Vol. 2, pp. 103-217). La Canada, CA: DCW industries. ^ Chen, C. J. (1997). Fundamentals of turbulence modelling. CRC Press. ^ Spalart, P. R. and Allmaras, S. R., 1992, "A One-Equation Turbulence Model for Aerodynamic Flows" AIAA Paper 92-0439 ^ Wilcox, D. C. (2008), Formulation of the k–ω Turbulence Model Revisited, 46, AIAA Journal, pp. 2823–2838, Bibcode: 2008AIAAJ..46.2823W, doi:10.2514/1.36541  ^ Piomelli, U. (1999). Large-eddy simulation: achievements and challenges. Progress in Aerospace Sciences, 35(4), 335-362. ^ Mason, P. J. (1994). Large‐eddy simulation: A critical review of the technique. Quarterly Journal of the Royal Meteorological Society, 120(515), 1-26. ^ Zhiyin, Y. (2015). Large-eddy simulation: Past, present and the future. Chinese journal of Aeronautics, 28(1), 11-24. ^ Sagaut, P. (2006). Large eddy simulation for incompressible flows: an introduction. Springer Science & Business Media. ナビエ–ストークス方程式の解の存在と滑らかさ ミレニアム懸賞問題 流体力学 バーガース方程式 移流拡散方程式 gifted/ギフテッド（2017年のアメリカ映画。ナビエ–ストークス方程式を題材として扱っている） 偏微分方程式 微分方程式 京都大学 Navier-Stokes方程式の数理とその応用プロジェクト