微分の記法

**微分の記法** (びぶんのきほう、英語: notation for differentiation) とは、数学における微分を記号的に表記するための方法である。現在、数学関数や従属変数の微分を表す**微分の記法**として画一化・統一されたものはなく、複数の数学者によって異なる記法が提案されている。それぞれの記法の有用性はその使用される分野・文脈・状況によって変化し、与えられた文脈によって複数の記法を使い分けることもしばしば有効である。本項では比較的使用頻度が高い微分の記法を示す。

## ライプニッツの記法

ゴットフリート・ライプニッツにより採用された**ライプニッツの記法**は数学分野で広く使用されている。この記法は特に関数  が従属変数  と独立変数  の関数関係を表すものとみるときに用いられる。この場合、導関数は
: \frac{\mathrm{d}y}{\mathrm{d}x}
のように書かれ（ はこのように立体にする流儀とイタリックにする流儀とがある）、"d y d x"と読むのが一般的である。この関数の  における値というのは  の導関数の  における値のことであり、従ってそれは
: \displaystyle \frac{\mathrm{d}(f(x))}{\mathrm{d}x}　または　\displaystyle \frac{\mathrm d}{\mathrm{d}x}(f(x))　または　\displaystyle \frac{\mathrm{d}f}{\mathrm{d}x}(x)
と書かれる。変数  に対して導関数  が示す値は関数  の微分係数（微係数）という。

高階導関数は、 の  階の導関数に対して
: \displaystyle \frac{\mathrm{d}^ny}{\mathrm{d}x^n}　または　\displaystyle \frac{\mathrm{d}^n\bigl(f(x)\bigr)}{\mathrm{d}x^n}　または　\displaystyle \frac{\mathrm{d}^n}{\mathrm{d}x^n}\bigl(f(x)\bigr)
のように表される。（一つ目は、"d n y d x n"と読まれる。）これはそもそも、例えば三階導関数というのは
: \frac{\mathrm{d}(\frac{\mathrm{d}(\frac{\mathrm{d}y}{\mathrm{d}x})}{\mathrm{d}x})} {\mathrm{d}x} = \left(\frac{\mathrm d}{\mathrm{d}x}\right)^3 (f(x))
のことであるということからくるもので、これをさらに緩く（分母の括弧を省略して）書いて
:  \frac{\mathrm{d}^3}{\left(\mathrm{d}x\right)^3} \bigl(f(x)\bigr)=\frac{\mathrm{d}^3}{\mathrm{d}x^3} \bigl(f(x)\bigr)
としたものが、上記の記法となっている。

ライプニッツの記法における、 における微係数は次のような二種類の方法で表される。
: \frac{\mathrm{d}y}{\mathrm{d}x}\bigg|_{x=a} = \frac{\mathrm{d}y}{\mathrm{d}x}(a)
ライプニッツの記法は分母において微分すべき変数を明示的に示すことができる。これは偏微分を考える際に特に有用であり、また、連鎖律 (合成関数の微分法)
: \frac{\mathrm{d}y}{\mathrm{d}x} = \frac{\mathrm{d}y}{\mathrm{d}u} \cdot \frac{\mathrm{d}u}{\mathrm{d}x}
も見易く、覚えやすいものになる。

極限による微積分学の定式化においては、記号  は著者が異なればその意味も様々である（より詳細はを参照）。
* いくつかの文献では  それ自体に対して明示的な意味付けを行わず、単に記号  の一部として扱う。
* ほかに  を独立変数として定義し、加法的関数  や積の微分則  を微分の公理として用いるものもある。微分環を参照。
* 超準解析では  は無限小として定義される。
* 関数  の 外微分  としても解釈される。

## ラグランジュの記法
現代、最も広く用いられる微分の現代的記法のひとつはジョゼフ＝ルイ・ラグランジュにより提唱されたプライム記号（'）を用いた**ラグランジュの記法**である。

 の三階までの導関数は

: : 一階導関数
: : 二階導関数
: : 三階導関数

のように書かれる。これ以降は、引き続きローマ数字や括弧書きで階数を施すことにより、例えば  の四階導関数をそれぞれ  や  のように表すことがある。後者の記法はそのまま任意階数の導関数に拡張され、 の  階の導関数は  のように表される。

## オイラーの記法

レオンハルト・オイラーによる**オイラーの記法**は、微分作用素  を関数に前置する方法であり、関数  の導関数は次のように書き記される。

従属変数  を微分するとき、独立変数  を下付きとして  に付加する記法が一般的である。

しかし、独立変数が一つのみの場合は下付き添字は省略するのが通例である。オイラーの記法は線型微分方程式の分野で有用である。

## ニュートンの記法

アイザック・ニュートンによる**ニュートンの記法**は微分のドット記法とも呼ばれ、従属変数の上部にドット記号「・」を記して
: \dot{y} = \frac{\mathrm{d}y}{\mathrm{d}t},\quad \ddot{y} = \frac{\mathrm{d}^2y}{\mathrm{d}t^2},\quad\ldots 
などのように表す。しばしば速度や加速度のような時間微分の表現法として使用される。これはラグランジュの記法におけるプライム記号を直接的に置き換えたような用法も可能だが、その場合もやはり時間の関数  に対して使用するのが普通である。

ニュートンの記法は、力学および常微分方程式の理論で主に使用される。そこでは、一階および二階の微分のみを用い、また、時間に関する微分に対してのみこの記法を用いるということが一般的である。

## ベクトル解析における記法

ベクトル解析は空間ベクトルの解析に多用され、場の量子論、電磁気学等で有用な解析手法である。ここでは特化された微分の記法が用いられるが、極めて**記号的**な計算を可能とする。ここでは三次元ユークリッド空間の例を示す。3次元ユークリッド空間上での 直交座標系  においてベクトル場  を \mathbf{A} = (\mathbf{A}_x, \mathbf{A}_y, \mathbf{A}_z)、スカラー場 φ を \varphi = f(x,y,z)\, とする。

まず微分演算子 (ハミルトン演算子) としてナブラ記号 \nabla を記号的に定める。ここで**記号的に**とは、 をベクトルとして扱い、要素の偏微分記述が通常の項のように被演算項として扱われることを意味している。

:\nabla = \left( \frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z} \right) 

これによりベクトル解析で繁用される微分操作が次のように非常に簡易かつ強力に書き記される。

* 勾配 (): スカラー場  の勾配 \mathrm{grad}\,\varphi = \mathrm{grad}\,f(x, y, z)\, は記号的に  とスカラー場の積で表される。
:  \mathrm{grad}\,\varphi = \left( \frac{\partial \varphi}{\partial x}, \frac{\partial \varphi}{\partial y}, \frac{\partial \varphi}{\partial z} \right) 

::: = \left( \frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z} \right) \varphi 

::: = \nabla \varphi

* 発散 ():  の発散 \mathrm{div}\,\mathbf{A}\, は、記号的に  とベクトルの内積で表される。
:  \mathrm{div\,} \mathbf{A} = {\partial A_x \over \partial x} +  {\partial A_y \over \partial y} + {\partial A_z \over \partial z}

::: = \left( \frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z} \right)  \cdot \mathbf{A} 

:::  = \nabla \cdot \mathbf{A} 

* 回転 ():　ベクトル場  の回転 \mathrm{rot}\,\mathbf{A}\, (または \mathrm{curl}\,\mathbf{A}\,) は、記号的に  とベクトルのクロス積で表される。

: \mathrm{rot}\,\mathbf{A} = \left(  {\partial A_z \over {\partial y} } - {\partial A_y \over {\partial z} }, {\partial A_x \over {\partial z} } - {\partial A_z \over {\partial x} }, {\partial A_y \over {\partial x} } - {\partial A_x \over {\partial y} }  \right) 

:::= \left( {\partial A_z \over {\partial y} } - {\partial A_y \over {\partial z} } \right) \mathbf{i} + \left( {\partial A_x \over {\partial z} } - {\partial A_z \over {\partial x} } \right) \mathbf{j} + \left( {\partial A_y \over {\partial x} } - {\partial A_x \over {\partial y} }  \right) \mathbf{k} 

:::=
\begin{vmatrix}
 \mathbf{i} & \mathbf{j} & \mathbf{k} \\[5pt]
 \cfrac{\partial}{\partial x} & \cfrac{\partial}{\partial y} & \cfrac{\partial}{\partial z} \\[12pt]
 A_x & A_y & A_z
\end{vmatrix}


:::= \nabla \times \mathbf{A} 

:ここに  は各軸に対する単位ベクトルの基底である。

* ラプラス作用素 (Laplacian): スカラー場 \varphi のラプラシアンは記号的に ∇2 とスカラー場のスカラー積で表される。
:: {\partial^2 \varphi\over \partial x^2 } + {\partial^2 \varphi\over \partial y^2 } + {\partial^2 \varphi\over \partial z^2 }

:: = \left( \frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z} \right) \cdot \left( \frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z} \right)  \varphi = \nabla \cdot \nabla \varphi \,

:: = \left( \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} + \frac{\partial^2}{\partial z^2} \right)  \varphi  = \nabla^2 \varphi = \Delta \varphi 

:ここで \Delta = \nabla^2 をラプラスの演算子という。

ベクトル解析で用いられるこれらの微分記法は記号演算として非常に強力である。例えば通常のスカラー関数における積の微分公式 (f g)' = f' g+f g'\, に対して、スカラー場  と  の積の勾配に関する積の微分公式は \nabla(\phi \psi) = (\nabla \phi) \psi + \phi (\nabla \psi)\, のように全く同じ形式となる。

## その他の記法

多変数解析やテンソル解析など、限定的な分野では個別の微分記法が必要に応じて使用される。

関数  について、独立変数を下付き添字として次のように書き記す。

: f_x = \frac{\mathrm{d} y}{\mathrm{d} x} 
: f_{x x} = \frac{\mathrm{d} ^2y}{\mathrm{d} x^2} 

この記法は多変数関数の偏微分で特に有効である。例えば関数  について次のような記法ができる。

: f_{x y} = \frac{\partial}{\partial y}\frac{\partial}{\partial x} z

偏微分では常微分と明確に区別するために  記号の代わりに  記号が用いられる。例えば、関数  を  や  ではなく  についての微分を表現するために、

: \frac{\partial f}{\partial x} = f_x = \partial_x f = \partial^x f 

のような記法を使用する。ここで、最後の二つの記法はユークリッド空間においても等価であるが、他の多様体では異なる。

ミンコフスキー空間で用いられるダランベール演算子 (en) あるいは "box" 演算子 \Box のような特定の記法が特定の空間に対して開発されている。

他の限定的な微分の記法は様々な数学、物理学、工学の分野で散見される。

## 関連項目
*微分法
*ライプニッツの記法
*ニュートンの記法
*積分記号

## 外部リンク
* 
*, maintained by Jeff Miller.

## 参考文献
* Newton, Isaac Sir: "The method of fluxions and infinite series ", Henry Woodfall and John Nourse, translated from Latin (1736)
* Jerome Keisler: "first-year-calculus textbook": https://people.math.wisc.edu/~hkeisler/calc.html