物質微分

**物質微分**（ぶっしつびぶん、）とは流れに乗って移動する流体粒子の物理量 (温度や運動量)の時間変化率のことで、連続体力学の概念の一つである。固定された場所での物理量の時間変化でなく、流れに乗って動く仮想的な「観測者」が観た物理量の時間変化を記述する。

物質微分はラグランジュ描像に基づく時間変化をオイラー描像に基づく時間変化で記述したものである。物体固有の時間変化を記述するものなので物質微分 \mathrm{D}/\mathrm{D}t は偏微分 \partial / \partial t と違いである。

名称としては他に、物質時間微分、流れに乗って移動するときの微分、実質微分、ラグランジュ微分などとも呼ばれる。

## 定義
速度場 \boldsymbol{v} の流れにおける、スカラー場 \varphi(\boldsymbol{x},t) およびベクトル場 \boldsymbol{A}(\boldsymbol{x},t) の物質微分は以下のように表される。
:\frac{\mathrm{D}\varphi}{\mathrm{D}t} = \frac{\partial \varphi}{\partial t} + \boldsymbol{v}\cdot\nabla \varphi
:\frac{\mathrm{D}\boldsymbol{A}}{\mathrm{D}t} = \frac{\partial \boldsymbol{A}}{\partial t} + \boldsymbol{v}\cdot\nabla \boldsymbol{A}

ここで、それぞれの式の右辺第2項を移流項、対流項と呼び、非一様な物理量の分布の中を移動したことで観測される物理量の変化率を表す。

## 直観的意味

スカラー場\varphi(\boldsymbol{x},t)の物質微分は直観的には流れに乗って動く物体から見た場合における\varphi(\boldsymbol{x},t)の変化率を表す。（ベクトル場の場合も同様）。
実際、位置のグラフ\boldsymbol{u}(t)で記述される質点の軌道は速度場 \boldsymbol{v}(\boldsymbol{x},t) にそっているので、

:\frac{\mathrm{d}\boldsymbol{u}}{\mathrm{d}t} = \boldsymbol{v}(\boldsymbol{u},t) 

となるから(なお、この性質を満たす\boldsymbol{u}(t)を流跡線という)、ライプニッツ則から

:
\frac{\mathrm{d}\varphi(\boldsymbol{u},t)}{\mathrm{d}t} 
= 
(\nabla\varphi)\cdot\frac{\mathrm{d}\boldsymbol{u}}{\mathrm{d}t}
  + \frac{\mathrm{\partial}\varphi}{\mathrm{\partial}t}
= 
\boldsymbol{v}\cdot\nabla\varphi
  + \frac{\mathrm{\partial}\varphi}{\mathrm{\partial}t}
= \frac{\mathrm{D}\varphi}{\mathrm{D}t}


が成立する。
上では一粒子しかない場合を想定したが、初期時刻における位置\boldsymbol{X}でパラメトライズされた粒子の族\boldsymbol{u}(\boldsymbol{X},t)を考えた場合も、\boldsymbol{X}を固定して同様の証明を行う事で、同様の式が導ける。更に粒子の族を連続体にまで拡張したものが物質微分である。

以上の説明から分かるように、物質微分\frac{\mathrm{D}\varphi}{\mathrm{D}t}は物質に固定して観測する座標系（物質表示）における時間微分を表すが、それに対し通常の偏微分\frac{\partial\varphi}{\partial t}は空間上に固定された座標系（空間表示）における時間微分であるといえる。

## 定常流
定常流はすべての物理量のオイラー描像的時間変化率が {\partial / \partial t}=0 となる流れであるが、ラグランジュ描像的時間変化率が {\mathrm{D}/\mathrm{D}t} = 0 となるとは限らないことに注意すべきである。

一つの流線に着目する。流線上のある点からの道のりを s 、流線の単位接ベクトルを  \boldsymbol{e}_s と表す。速度ベクトルは流線に接しているので、定常流における物質微分は
:\begin{align}
{\mathrm{D}\over \mathrm{D}t} 
&= {\partial  \over \partial t} + \boldsymbol{v} \cdot \nabla\\
&= 0 +                          (v\boldsymbol{e}_s)\cdot \nabla\\
&= v {\partial  \over \partial s} & (\because~ \boldsymbol{e}_s \cdot \nabla = {\partial  \over \partial s})
\end{align}
となり、流線方向の変化率に速さをかけたものに等しいことが導かれる。

これから、定常流( {\partial / \partial t}=0 )でも、流線に沿って物理量が変化するなら{\mathrm{D}/\mathrm{D}t} \ne 0 であることがわかる。

### 定常流における加速度
応用で重要なのは速度の物質微分すなわち加速度である。定常流、つまり、速度の時間変化がない流れでも、流体粒子の加速度は0とは限らない。定常流でも、流線に沿って速度の大きさは変化しうるし、流線に沿って速度の方向が変わる（流線が曲がる）こともありうる。これを式に表すと、
:
{\mathrm{D} \boldsymbol{v}\over \mathrm{D}t} 
= {\partial   \over \partial s}\left({v^2 \over 2}\right) \boldsymbol{e}_s -  {v^2 \over R} \boldsymbol{e}_r

ただし、 s は流線上のある点からの道のり、r は瞬間的な曲率中心からの距離、R は流線の曲率半径、\boldsymbol{e}_s は接線方向の単位ベクトル、\boldsymbol{e}_r は半径方向の単位ベクトルを表す。

:

加速度の流線方向の成分は流線にそった速さの変化率に対応し、加速度の法線方向の成分は流線が曲がることによる向心加速度に対応する。

### ベルヌーイの定理と流線曲率の定理
外力のない非粘性のバロトロピック流体の定常な流れを考える。非粘性流体の流れを記述するオイラー方程式
:
{\mathrm{D}\boldsymbol{v}\over \mathrm{D}t} 
= -  {1\over \rho} \nabla p + \boldsymbol{f}

は定常、外力がない、バロトロピックという条件では
:
{\partial \over \partial s}\left({v^2 \over 2}\right) \boldsymbol{e}_s -  {v^2 \over R} \boldsymbol{e}_r
 = - \nabla \int {\mathrm{d}p \over \rho}

と変形できる。

方程式の両辺にそれぞれ \boldsymbol{e}_s,\,  \boldsymbol{e}_r を内積でかけることで、流線方向(接線)成分、半径方向（主法線）成分は、
:\begin{align}
{\partial \over \partial s}\left({v^2 \over 2}\right) 
&= -{\partial \over \partial s}\int {\mathrm{d}p \over \rho}
\qquad\quad \therefore~ 
{\partial \over \partial s}\left({v^2 \over 2} + \int {\mathrm{d}p \over \rho}\right) = 0 \\

-  {v^2 \over R} 
&= -\left.{\partial   \over \partial r} \int {\mathrm{d}p \over \rho}\right|_{r=R}
\quad  \therefore~ 
{\partial p  \over \partial r}  = \rho{v^2 \over r}
\quad  \left( 
\mathrm{or~}
{\partial   \over \partial r} \int {\mathrm{d}p \over \rho}
= {v^2 \over r}
\right) 
\end{align}
と表せる。ただし、方向微分の性質：
:
\boldsymbol{e}_s \cdot \nabla = {\partial  \over \partial s},\,
\boldsymbol{e}_r \cdot \nabla = {\partial  \over \partial r}

を使った。

第1式がベルヌーイの定理、第2式が流線曲率の定理に対応する。

## 対流項
移流項における \nabla \varphi は スカラー量の勾配であるが、対流項における \nabla \boldsymbol{A} はベクトル量の共変微分である。ベクトル量の対流項 \boldsymbol{v}\cdot\nabla \boldsymbol{A} を  (\boldsymbol{v}\cdot\operatorname{grad}) \boldsymbol{A} と記述することがあるが、この表示はデカルト座標系でしか等価でないことに注意すべきである（スカラー量の対流項 \boldsymbol{v}\cdot\nabla \varphi については (\boldsymbol{v}\cdot\operatorname{grad}) \varphi と等価である）。

共変微分を使わずに一般の座標系で成り立つ表現としては
:\frac{\mathrm{D}\boldsymbol{A}}{\mathrm{D}t} = \frac{\partial \boldsymbol{A}}{\partial t} 
+ \frac{1}{2}\left\{
\operatorname{grad}(\boldsymbol{v}\cdot\boldsymbol{A})
+\operatorname{rot}\boldsymbol{v} \times\boldsymbol{A}
+\operatorname{rot}\boldsymbol{A} \times\boldsymbol{v}
-\operatorname{rot}(\boldsymbol{v}\times\boldsymbol{A})
+\boldsymbol{v}\,\operatorname{div}\boldsymbol{A}
-\boldsymbol{A}\,\operatorname{div}\boldsymbol{v}
\right\}
 
がある。特に加速度の回転形表示
:\frac{\mathrm{D}\boldsymbol{v}}{\mathrm{D}t} = \frac{\partial \boldsymbol{v}}{\partial t} 
+ \operatorname{grad}\left(\frac{|\boldsymbol{v}|^2}{2}\right)
-\boldsymbol{v} \times \operatorname{rot}\boldsymbol{v}
 
は重要である。
:{| class="toccolours mw-collapsible mw-collapsed" width="60%" style="text-align:left"
!エディントンのイプシロンを用いた導出
|-
|
エディントンのイプシロンの性質
:\begin{align}
(\boldsymbol{a}\times\boldsymbol{b})_i &= \sum_{jk} \varepsilon_{ijk} a_j b_k\\
\sum_{k} \varepsilon_{ijk} \varepsilon_{k\ell m} &= \delta_{i \ell}\delta_{j m} - \delta_{i m}\delta_{j \ell}
\end{align}
を使えば、
:\begin{align}
(\boldsymbol{v} \times \operatorname{rot}\,\boldsymbol{v})_i 
&= \sum_{jk} \varepsilon_{ijk} v_j (\operatorname{rot}\,\boldsymbol{v})_k\\
&= \sum_{jk} \varepsilon_{ijk} v_j \sum_{\ell m} \varepsilon_{k\ell m} {\partial \over \partial x_\ell} v_m\\
&= \sum_{j\ell m} (\delta_{i \ell}\delta_{j m} - \delta_{i m}\delta_{j \ell}) v_j  {\partial \over \partial x_\ell} v_m\\
&= \sum_{m} \left(
v_m  {\partial \over \partial x_i} v_m
-
v_m  {\partial \over \partial x_m} v_i
\right)\\
&= \left(\operatorname{grad}\left(\frac{|\boldsymbol{v}|^2}{2}\right) - \boldsymbol{v}\cdot\nabla \boldsymbol{v}\right)_i
\end{align} 
より、
:\begin{align}
\frac{\mathrm{D}\boldsymbol{v}}{\mathrm{D}t} 
&= \frac{\partial \boldsymbol{v}}{\partial t} + \boldsymbol{v}\cdot\nabla \boldsymbol{v}\\
&= \frac{\partial \boldsymbol{v}}{\partial t} + \operatorname{grad}\left(\frac

### 曲線直交座標系
曲線直交座標系 \boldsymbol{r}=\boldsymbol{r}(q^1, q^2, q^3) における対流項 \boldsymbol{v}\cdot\nabla\boldsymbol{A} の j 成分は以下のように与えられる。

:
[\boldsymbol{v}\cdot\nabla \boldsymbol{A}]_j = 
\sum_k \left\{
\frac{v_k}{h_k} \frac{\partial A_j}{\partial q^k} + \frac{A_k}{h_k h_j}\left(v_j \frac{\partial h_j}{\partial q^k} - v_k \frac{\partial h_k}{\partial q^j}\right)
\right\}

ただし、
: 
h_k = \left|
{\partial \boldsymbol{r} \over \partial q^k}
\right| = \sqrt{g_{kk}}
 
（g_{ij} は計量テンソル）である。

先で述べたように
:
[(\boldsymbol{v}\cdot\operatorname{grad}) \boldsymbol{A}]_j 
= \sum_k v_k \left( \frac{1}{h_k} \frac{\partial }{\partial q^k} \right)A_j

とはデカルト座標系 (h_1=h_2=h_3=1) においてのみ等しい。

\boldsymbol{A}=\boldsymbol{v} とした時の物質微分(＝加速度)の対流項に現れる第2項
:
\sum_k \left\{
\frac{v_k}{h_k h_j}
\left(v_j \frac{\partial h_j}{\partial q^k} - v_k \frac{\partial h_k}{\partial q^j}\right)
\right\}

は曲線直交座標系で現れる見かけの力に対応する。

実際、 L=\frac{m}{2}\sum_k (h_k \dot q^k)^2 に対して ({\mathrm{d}/\mathrm{d}t})({\partial L/\partial \dot q^j})-({\partial L/\partial q^j})=0 を計算すると、 
:{\mathrm{d}v_j \over \mathrm{d}t}
-\sum_k \left\{
\frac{v_k}{h_k h_j}
\left(v_j {\partial h_j \over \partial q^k} - v_k {\partial h_k \over \partial q^j}\right)
\right\}
=0 
が得られる。ただし、v_k = h_k \dot q^k であり、 \dot h_k = \sum_{i}{\partial h_k \over \partial q^i}\dot q^i を使う。

## 相対論的物質微分
時刻tの代わりに固有時\tauによる物質微分を構成することもできる．具体的に，次式で与えられる．
:
\frac{\mathrm{D} A^{\mu}(x)}{\mathrm{D} \tau} = v^{\nu} \nabla_{\nu} A^{\mu}.
 
v^{\nu}は流体の四元速度，A^{\mu}(x)は四元時空を変数とするベクトル，\nabla_{\nu}は共変微分である．とくに，A^{\mu}(x)を速度とすると，物質微分は測地線方程式となり，xが測地線上にあれば物質微分は零になる．
:
\begin{align}
\frac{\mathrm{D} v^{\mu}(x)}{\mathrm{D} \tau}
&= v^{\nu} \nabla_{\nu} v^{\mu}
= v^{\nu} \left( \partial_{\nu} v^{\mu} + \Gamma_{\nu\lambda}^{\mu} v^{\lambda} \right) \\
&= \frac{\partial x^{\nu}}{\partial \tau} \frac{\partial v^{\mu}}
{\partial x^{\nu}} +
 \Gamma_{\nu\lambda}^{\mu} v^{\lambda} v^{\nu}\\
&= \frac{\partial^2 x^{\mu}}{\partial \tau^2} +
\Gamma_{\nu\lambda}^{\mu} 
\frac{\partial x^{\lambda}}{\partial \tau}
\frac{\partial x^{\lambda}}{\partial \tau}
= 0. \\
\end{align}

なお，\Gamma_{\nu\lambda}^{\mu}はクリストッフェル記号である。

## 脚注

### 出典

## 関連項目
* ナビエ-ストークスの式
* オイラー方程式 (流体力学)
* 連続の式