ナビエ–ストークス方程式
ナビエ–ストークス方程式（ナビエ–ストークスほうていしき、）は、流体の運動を記述する2階非線型偏微分方程式であり、流体力学で用いられる。アンリ・ナビエとジョージ・ガブリエル・ストークスによって導かれた。NS方程式とも略される。ニュートン力学における運動の第2法則に相当し、運動量の流れの保存則を表す。
流体の質量と運動量の保存則を表す連続の方程式
から、流れの速度場 のラグランジュ微分は
と導かれる。ここで は密度場で、 は応力場、 は流体の質量あたりに作用する外力場（加速度場）である。
ニュートン流体を仮定すれば、応力場が
で与えられる。ここで は圧力（静圧）で、 は体積粘性率、 は剪断粘性率である。 は対称化した速度勾配で、デカルト座標の下で成分表示をすれば
で表され、 は速度場の発散
この形の応力場を用いると、速度場のラグランジュ微分が
\end{align} 
で与えられる。この方程式がナビエ–ストークス方程式である。
速度場のラグランジュ微分の第二項は対流項（移流項）と呼ばれる。対流項はベクトル解析の公式により
と変形することができる。ここで は速度場の回転
であり、渦度と呼ばれる。
ナビエ–ストークス方程式は複雑過ぎるが故に解を求めることは困難である。このため、いくつかの仮定をして問題を単純化することが多い。しかし単純化された方程式でも解析的な解法は知られておらず、数値的解法が必要であることが多い。
非圧縮性流れでは、速度場の発散 がゼロなので、速度場の発散を含む項を落として
となる。
粘性率 や は温度や圧力の関数であり一定ではないが、多くの場合に粘性率は一定とみなされる。
この場合は粘性率の勾配を含む項を落として
となる。また、体積粘性率 は小さいので、 に選べば
となる（ストークスの仮説）。ここで は動粘性率である。
粘性率が一定で非圧縮性の流れでは
となる。ここで は動粘性率である。
流体の速度が遅かったりスケールが小さいなど、レイノルズ数が小さい場合に、非線型である対流項 formula_5 が無視できて
となる。この式はストークス方程式（Stokes equations）と呼ばれている。
粘性のない（）流れでは
となる。この式はオイラー方程式と呼ばれている。
渦度（速度場の回転）がない流れ
の場合には、ベクトル解析の定理により
となる速度ポテンシャル が存在する。
熱輸送を伴う流れにおいて、温度による密度変化が大きくないとして扱う近似法をブシネスク近似という。
流れが主流方向を持ち（逆流、再循環および剥離がない）、幾何的な変形が緩やかなときに行う近似法を境界層近似という。
しばしば用いられる条件である、非圧縮性流れ (incompressible flow) ρ = const. の場合、ナビエ–ストークス方程式は
と簡単化される。ここでformula_11は動粘性係数である。各項はそれぞれ、
と呼ばれる。外力項には、状況によって、重力をはじめ浮力・表面張力・電磁気力などが該当する。
上記の、非圧縮性流れに対するナビエ–ストークス方程式は、未知数として圧力formula_12 と流速formula_13 を含んでいる。したがって未知数決定に必要な方程式の数が足りない。そこで、質量保存則から導かれる連続の式（非圧縮性流れについては次の形）
と連立することによって、原理的には解くことが可能である。もし一般解が求まれば、流体の挙動を完全に知る事ができることになるが、未だに一般解は発見されていない。また、解の存在可能性についても明らかとはなっておらず、物理学と数学の両方に跨る重要な課題の一つとなっている（ミレニアム懸賞問題、ナビエ–ストークス方程式の解の存在と滑らかさ参照）。従って、極めて特殊な制約条件の問題を除いて数値解析によって近似的に解を求める。
流体の数値シミュレーション（数値流体力学、CFD）では、このナビエ–ストークス方程式と連続の式、その他必要に応じてエネルギーの式（熱対流）やマクスウェルの方程式（電磁流体力学）、状態方程式などを連立して、数値的に解くことで流体の挙動を予測する。
移流と拡散両方に関係している現象であるので、クーラン数、拡散数の両方を満たすようにシミュレーションを行う必要がある。
乱流は流体の多くの流れで見られる時間依存のカオス的な振る舞いである。全体としての流体の慣性にそれがしたがうことが一般に信じられている。それゆえ慣性の効果が小さな流れは層流となる傾向がある。移流と粘性の強さの比率はレイノルズ数と呼ばれる無次元量であり、レイノルズ数がある閾値を越えると微小なかく乱が移流項の非線型性により拡大していくことで流れ場は非定常な乱流となる。一方、右辺の粘性率を含む項（粘性項）は乱流の変動を抑制する効果を持つ。正確に理解されていないにもかかわらず、ナビエ‐ストークス方程式が乱流の性質を記述することが信じられている。計算に対して計算時間が有意味に解き得るようになるところのよい計算メッシュによる解のようなこの要求条件の"安定した解"または直接数値シミュレーションの、乱流の流れについてのナビエ‐ストークス方程式の数値解は極度に困難で、その乱流の流れに含まれている"混合長さの尺度"の違いに重大に依存する。適当に変換するのに役立たない、層流を解くものを用いて乱流の流れを解く試みは"非定常解"で典型的な結果を残す。これに反して、乱流モデルを補った、（RANS）のような"時間平均方程式"は乱流の流れをモデル化するときに実用的な数値流体力学（CFD）の応用で用いられる。追加の方程式の種類を加えてRANS方程式を終結されるよう導く、、、、並びにSSTモデルを含む幾つかのモデルは、（LES）がこれらの方程式を数値的に解くように用いるようにもできる。RANSよりも計算時間と計算機記憶の面で、これらのアプローチは電子計算機で行うには大変コストがかかる。しかしそれは陽的に大きな乱流の尺度を分解するのでより良い結果を生み出す。