微分の記法

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

ライプニッツの記法

ゴットフリート・ライプニッツにより採用されたライプニッツの記法は数学分野で広く使用されている。この記法は特に関数 テンプレート:Math が従属変数 テンプレート:Mvar と独立変数 テンプレート:Mvar の関数関係を表すものとみるときに用いられる。この場合、導関数は

$\frac{\mathrm{d}y}{\mathrm{d}x}$

のように書かれ（テンプレート:Math はこのように立体にする流儀とイタリックにする流儀とがある）、"d y d x"と読むのが一般的である。この関数の テンプレート:Mvar における値というのは テンプレート:Mvar の導関数の テンプレート:Mvar における値のことであり、従ってそれは

$\frac{\mathrm{d}(f(x))}{\mathrm{d}x}$　または　$\frac{\mathrm{d}}{\mathrm{d}x}(f(x))$　または　$\frac{\mathrm{d}f}{\mathrm{d}x}(x)$

と書かれる。変数 テンプレート:Mvar に対して導関数 テンプレート:Math が示す値は関数 テンプレート:Mvar の微分係数（微係数）という。

高階導関数は、テンプレート:Math の テンプレート:Mvar 階の導関数に対して

$\frac{{\mathrm{d}}^{n}y}{\mathrm{d}{x}^n}$　または　$\frac{{\mathrm{d}}^n(f(x))}{\mathrm{d}{x}^n}$　または　$\frac{{\mathrm{d}}^n}{\mathrm{d}{x}^n}(f(x))$

のように表される。（一つ目は、"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}(f(x))=\frac{{\mathrm{d}}^3}{\mathrm{d}{x}^3}(f(x))$

としたものが、上記の記法となっている。

ライプニッツの記法における、テンプレート:Math における微係数は次のような二種類の方法で表される。

$\frac{\mathrm{d}y}{\mathrm{d}x}{|}_{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}$

も見易く、覚えやすいものになる。

極限による微積分学の定式化においては、記号 テンプレート:Math は著者が異なればその意味も様々である（より詳細はテンプレート:仮リンクを参照）。

• いくつかの文献では テンプレート:Math それ自体に対して明示的な意味付けを行わず、単に記号 テンプレート:Math の一部として扱う。
• ほかに テンプレート:Math を独立変数として定義し、加法的関数 テンプレート:Math や積の微分則 テンプレート:Math を微分の公理として用いるものもある。微分環を参照。
• 超準解析では テンプレート:Math は無限小として定義される。
• 関数 テンプレート:Mvar の 外微分 テンプレート:Math としても解釈される。

ラグランジュの記法

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

テンプレート:Mvar の三階までの導関数は

テンプレート:Mvar: 一階導関数

テンプレート:Mvar: 二階導関数

テンプレート:Mvar: 三階導関数

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

オイラーの記法

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

$Df$	:　一階導関数
$D^{2}f$	:　二階導関数
$D^{n}f$	:　n 階導関数

従属変数 テンプレート:Math を微分するとき、独立変数 テンプレート:Mvar を下付きとして テンプレート:Mvar に付加する記法が一般的である。

$D_{x}y$	:　一階導関数
$D_x^{2}y$	:　二階導関数
$D_x^{n}y$	:　n 階導関数

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

ニュートンの記法

テンプレート:記号文字 テンプレート:See also アイザック・ニュートンによるニュートンの記法は微分のドット記法とも呼ばれ、従属変数の上部にドット記号「・」を記して

$\dot{y}=\frac{\mathrm{d}y}{\mathrm{d}t},\ddot{y}=\frac{{\mathrm{d}}^{2}y}{\mathrm{d}{t}^2},\dots$

などのように表す。しばしば速度や加速度のような時間微分の表現法として使用される。これはラグランジュの記法におけるプライム記号を直接的に置き換えたような用法も可能だが、その場合もやはり時間の関数 テンプレート:Math に対して使用するのが普通である。

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

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

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

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

$\mathrm{\nabla }=(\frac{\partial }{\partial x},\frac{\partial }{\partial y},\frac{\partial }{\partial z})$

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

• 勾配 (テンプレート:En): スカラー場 テンプレート:Mvar の勾配 $\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{d}\phi =\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{d}f(x,y,z)$ は記号的に テンプレート:Math とスカラー場の積で表される。

$\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{d}\phi =(\frac{\partial \phi }{\partial x},\frac{\partial \phi }{\partial y},\frac{\partial \phi }{\partial z})$

$=(\frac{\partial }{\partial x},\frac{\partial }{\partial y},\frac{\partial }{\partial z})\phi$

$=\mathrm{\nabla }\phi$

• 発散 (テンプレート:En): テンプレート:Math の発散 $\mathrm{d}\mathrm{i}\mathrm{v}𝐀$ は、記号的に テンプレート:Math とベクトルの内積で表される。

$\mathrm{d}\mathrm{i}\mathrm{v}𝐀=\frac{\partial A_x}{\partial x}+\frac{\partial A_y}{\partial y}+\frac{\partial A_z}{\partial z}$

$=(\frac{\partial }{\partial x},\frac{\partial }{\partial y},\frac{\partial }{\partial z})\cdot 𝐀$

$=\mathrm{\nabla }\cdot 𝐀$

• 回転 (テンプレート:En):　ベクトル場 テンプレート:Math の回転 $\mathrm{r}\mathrm{o}\mathrm{t}𝐀$ (または $\mathrm{c}\mathrm{u}\mathrm{r}\mathrm{l}𝐀$) は、記号的に テンプレート:Math とベクトルのクロス積で表される。

$\mathrm{r}\mathrm{o}\mathrm{t}𝐀=(\frac{\partial A_z}{\partial y}-\frac{\partial A_y}{\partial z},\frac{\partial A_x}{\partial z}-\frac{\partial A_z}{\partial x},\frac{\partial A_y}{\partial x}-\frac{\partial A_x}{\partial y})$

$=(\frac{\partial A_z}{\partial y}-\frac{\partial A_y}{\partial z})𝐢+(\frac{\partial A_x}{\partial z}-\frac{\partial A_z}{\partial x})𝐣+(\frac{\partial A_y}{\partial x}-\frac{\partial A_x}{\partial y})𝐤$

$=\left|\begin{array}{ccc}𝐢& 𝐣& 𝐤\\ \frac{\partial }{\partial x}& \frac{\partial }{\partial y}& \frac{\partial }{\partial z}\\ A_x& A_y& A_z\end{array}\right|$

$=\mathrm{\nabla }\times 𝐀$

ここに テンプレート:Math は各軸に対する単位ベクトルの基底である。

• ラプラス作用素 (Laplacian): スカラー場 $\phi$ のラプラシアンは記号的に ∇² とスカラー場のスカラー積で表される。

$\frac{{\partial }^2\phi }{\partial x^2}+\frac{{\partial }^2\phi }{\partial y^2}+\frac{{\partial }^2\phi }{\partial z^2}$

$=(\frac{\partial }{\partial x},\frac{\partial }{\partial y},\frac{\partial }{\partial z})\cdot (\frac{\partial }{\partial x},\frac{\partial }{\partial y},\frac{\partial }{\partial z})\phi =\mathrm{\nabla }\cdot \mathrm{\nabla }\phi$

$=(\frac{{\partial }^2}{\partial x^2}+\frac{{\partial }^2}{\partial y^2}+\frac{{\partial }^2}{\partial z^2})\phi ={\mathrm{\nabla }}^2\phi =\mathrm{\Delta }\phi$

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

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

その他の記法

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

関数 テンプレート:Math について、独立変数を下付き添字として次のように書き記す。

$f_x=\frac{\mathrm{d}y}{\mathrm{d}x}$

$f_{xx}=\frac{{\mathrm{d}}^{2}y}{\mathrm{d}{x}^2}$

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

$f_{xy}=\frac{\partial }{\partial y}\frac{\partial }{\partial x}z$

偏微分では常微分と明確に区別するために テンプレート:Math 記号の代わりに [[∂|テンプレート:Math]] 記号が用いられる。例えば、関数 テンプレート:Math を テンプレート:Mvar や テンプレート:Mvar ではなく テンプレート:Mvar についての微分を表現するために、

$\frac{\partial f}{\partial x}=f_x={\partial }_{x}f={\partial }^{x}f$

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

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

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

関連項目

• 微分法
• ライプニッツの記法
• ニュートンの記法
• 積分記号

外部リンク

• Ahmed, M.S. Block partial derivative and its application to neural-net-based direct-model-reference adaptive control. IEE Proc.-Control Theory Appl., Vol. 141, No. 5, September 1994
• Earliest Uses of Symbols of Calculus, 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": http://www.math.wisc.edu/~keisler/calc.html