微分の記法のソースを表示

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

== ライプニッツの記法 ==
{{記号文字|1=<span style="line-height: 100%; font-family: Times,Serif; color: black;">d''y''<hr style="height:4px; background-color:black; margin-bottom:0;" />d''x''</span>}}

{{see also|ライプニッツの記法}}

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

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

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

極限による微積分学の定式化においては、記号 {{math|d''u''}} は著者が異なればその意味も様々である（より詳細は{{仮リンク|微分 (無限小解析)|en|differential (infinitesimal)}}を参照）。
* いくつかの文献では {{math|d''u''}} それ自体に対して明示的な意味付けを行わず、単に記号 {{math|d''u''/d''x''}} の一部として扱う。
* ほかに {{math|d''x''}} を独立変数として定義し、[[加法的関数]] {{math|d(''x'' + ''y'') {{=}} d''x'' + d''y''}} や[[積の微分法則|積の微分則]] {{math|d(''x'' &middot; ''y'') {{=}} d''x'' &middot; ''y'' + ''x'' &middot; d''y''}} を微分の[[公理]]として用いるものもある。[[微分環]]を参照。
* [[超準解析]]では {{math|d''u''}} は無限小として定義される。
* 関数 {{mvar|u}} の [[微分形式#外微分|外微分]] {{math|d''u''}} としても解釈される。

== ラグランジュの記法 ==
現代、最も広く用いられる微分の現代的記法のひとつは[[ジョゼフ＝ルイ・ラグランジュ]]により提唱された[[プライム]]記号（'）を用いた'''ラグランジュの記法'''である。
{{記号文字|1=<span style="font-family:Times,Serif; margin-left:0.2em;">''f''&thinsp;&prime;(''x''), ''f''&thinsp;&Prime;(''x''), …</span>}}

{{mvar|f}} の三階までの導関数は

: {{mvar|f{{'}}}}: 一階導関数
: {{mvar|f{{'}}{{'}}}}: 二階導関数
: {{mvar|f{{'}}{{'}}{{'}}}}: 三階導関数

のように書かれる。これ以降は、引き続きローマ数字や括弧書きで階数を施すことにより、例えば {{mvar|f}} の四階導関数をそれぞれ {{math|''f''<sup>IV</sup>}} や {{math|''f''<sup>(4)</sup>}} のように表すことがある。後者の記法はそのまま任意階数の導関数に拡張され、{{mvar|f}} の {{mvar|n}} 階の導関数は {{math|''f''<sup>(''n'')</sup>}} のように表される。

== オイラーの記法 ==

{{記号文字|1=<span style="font-family:Times,Serif; margin-right:0.2em;">''D<sub>x</sub>y''  ''D''<sup>2</sup>''f''</span>}}

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

{|
|-
| style="text-align: right; height: 2.75em"|<math>Df \;</math>
|:　一階導関数
|-
| style="text-align: right; height: 2.75em"|<math>D^2f \;</math>
|:　二階導関数
|-
| style="text-align: right; height: 2.75em"|<math>D^nf \;</math>
|:　''n'' 階導関数
|}

従属変数 {{math|''y'' {{=}} ''f''(''x'')}} を微分するとき、独立変数 {{mvar|x}} を下付きとして {{mvar|D}} に付加する記法が一般的である。

{|
|-
| style="text-align: right; height: 2.75em"|<math>D_x y \;</math>
|:　一階導関数
|-
| style="text-align: right; height: 2.75em"|<math>D^2_x y\;</math>
|:　二階導関数
|-
| style="text-align: right; height: 2.75em"|<math>D^n_x y \;</math>
|:　''n'' 階導関数
|}

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

== ニュートンの記法 ==
{{記号文字|1=<span style="font-family:Times,Serif;line-height: 30%;"><span style="text-align:left; float:left; margin-left:0.1em;">·<br /><span style="margin-left:-0.1em;">''x''</span>,</span><span style="text-align:left; float:left; margin-bottom:0.3em; margin-left:0.1em;">··<br /><span style="margin-left:0.1em;">''x''</span>, …</span></span>}}
{{see also|ニュートンの記法}}
[[アイザック・ニュートン]]による'''ニュートンの記法'''は微分のドット記法とも呼ばれ、従属変数の上部に[[ドット]]記号「・」を記して
: <math>\dot{y} = \frac{\mathrm{d}y}{\mathrm{d}t},\quad \ddot{y} = \frac{\mathrm{d}^2y}{\mathrm{d}t^2},\quad\ldots </math>
などのように表す。しばしば速度や加速度のような時間微分の表現法として使用される。これはラグランジュの記法における[[プライム]]記号を直接的に置き換えたような用法も可能だが、その場合もやはり時間の関数 {{math|''f''(''t'')}} に対して使用するのが普通である。

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

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

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

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

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

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

{{記号文字|1=<span style="font-family:Times,Serif">∇''φ''</span>}}
* [[勾配 (ベクトル解析)|勾配]] ({{en|gradient}}): スカラー場 {{mvar|φ}} の勾配 <math>\mathrm{grad}\,\varphi = \mathrm{grad}\,f(x, y, z)\,</math> は記号的に {{math|&nabla;}} とスカラー場の積で表される。
: <math> \mathrm{grad}\,\varphi = \left( \frac{\partial \varphi}{\partial x}, \frac{\partial \varphi}{\partial y}, \frac{\partial \varphi}{\partial z} \right) </math>

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

::: <math>= \nabla \varphi</math>

{{記号文字|1=<span style="font-family:Times,Serif">∇{{・}}'''A'''</span>}}
* [[発散 (ベクトル解析)|発散]] ({{en|divergence}}): {{math|'''A'''}} の発散 <math>\mathrm{div}\,\mathbf{A}\,</math> は、記号的に {{math|&nabla;}} とベクトルの[[内積]]で表される。
: <math> \mathrm{div\,} \mathbf{A} = {\partial A_x \over \partial x} +  {\partial A_y \over \partial y} + {\partial A_z \over \partial z}</math>

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

::: <math> = \nabla \cdot \mathbf{A} </math>

{{記号文字|1=<span style="font-family:Times,Serif">∇×'''A'''</span>}}
* [[回転 (ベクトル解析)|回転]] ({{en|rotation}}):　ベクトル場 {{math|'''A'''}} の回転 <math>\mathrm{rot}\,\mathbf{A}\,</math> (または <math>\mathrm{curl}\,\mathbf{A}\,</math>) は、記号的に {{math|∇}} とベクトルの[[クロス積]]で表される。

:<math> \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) </math>

:::<math>= \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} </math>

:::<math>=
\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}
</math>

:::<math>= \nabla \times \mathbf{A} </math>

:ここに {{math|'''i''', '''j''', '''k'''}} は各軸に対する[[単位ベクトル]]の[[基底 (線型代数学)|基底]]である。

{{記号文字|1=<span style="font-family:Times,Serif">∇<sup>2</sup>''φ''</span>}}
* [[ラプラス作用素]] (Laplacian): スカラー場 <math>\varphi</math> のラプラシアンは記号的に ∇<sup>2</sup> とスカラー場のスカラー積で表される。
:: <math>{\partial^2 \varphi\over \partial x^2 } + {\partial^2 \varphi\over \partial y^2 } + {\partial^2 \varphi\over \partial z^2 }</math>

:: <math>= \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 \,</math>

:: <math>= \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 </math>

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

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

== その他の記法 ==
{{記号文字|1=<span style="font-family:Times,Serif; margin-left:0.2em">''f<sub>x</sub>''&nbsp;  ''f<sub>xy</sub>''</span>}}

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

関数 {{math|''y'' {{=}} ''f''(''x'')}} について、独立変数を下付き添字として次のように書き記す。

: <math>f_x = \frac{\mathrm{d} y}{\mathrm{d} x} </math>
: <math>f_{x x} = \frac{\mathrm{d} ^2y}{\mathrm{d} x^2} </math>

この記法は多変数関数の[[偏微分]]で特に有効である。例えば関数 {{math|''z'' {{=}} ''f''(''x, y'')}} について次のような記法ができる。

: <math>f_{x y} = \frac{\partial}{\partial y}\frac{\partial}{\partial x} z</math>

{{記号文字|1=<span style="font-family:Times,Serif; text-align:center;">''∂f''<hr style="height:4px; background-color:black;  margin-bottom:0;" />''∂x''</span>}}

偏微分では常微分と明確に区別するために {{math|d}} 記号の代わりに [[∂|{{math|&part;}}]] 記号が用いられる。例えば、関数 {{math|''f''(''x, y, z'')}} を {{mvar|y}} や {{mvar|z}} ではなく {{mvar|x}} についての微分を表現するために、

: <math>\frac{\partial f}{\partial x} = f_x = \partial_x f = \partial^x f </math>

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

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

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

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

==外部リンク==
* [http://ieeexplore.ieee.org/iel1/2193/7753/00326770.pdf?arnumber=326770 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]
*[http://jeff560.tripod.com/calculus.html 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

{{DEFAULTSORT:ひふんのきほう}}
[[Category:微分法]]
[[Category:微分積分学]]
[[Category:数学の表記法]]
[[Category:数学に関する記事]]

[[de:Differential (Mathematik)#Notationen der Ableitung]]