微分の記法

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

1. ライプニッツの記法
------------

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

のように書かれ、"d y d x"と読むのが一般的である。この関数の x}} における値というのは f}} の導関数の x}} における値のことであり、従ってそれは

　または　 　または　 と書かれる。変数 x}} に対して導関数 sfrac が示す値は関数 f}} の微分係数という。

高階導関数は、//y// =}} //f//}} の n}} 階の導関数に対して

　または　 　または　 のように表される。これはそもそも、例えば三階導関数というのは

のことであるということからくるもので、これをさらに緩く書いて

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

ライプニッツの記法における、//x// =}} //a//}} における微係数は次のような二種類の方法で表される。

ライプニッツの記法は分母において微分すべき変数を明示的に示すことができる。これは偏微分を考える際に特に有用であり、また、連鎖律 

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

極限による微積分学の定式化においては、記号 d//u//}} は著者が異なればその意味も様々である。

いくつかの文献では d//u//}} それ自体に対して明示的な意味付けを行わず、単に記号 d//u///d//x//}} の一部として扱う。
ほかに d//x//}} を独立変数として定義し、加法性 d =}} d//x// + d//y//}} やライプニッツ則 d =}} d//x// · //y// + //x// · d//y//}} を微分の公理として用いるものもある。微分環を参照。
超準解析では d//u//}} は無限小として定義される。
関数 u}} の 外微分 d//u//}} としても解釈される。

2. ラグランジュの記法
------------

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

f}} の三階までの導関数は

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

3. オイラーの記法
----------

レオンハルト・オイラーによるオイラーの記法は、微分演算子 D}} を関数に前置する方法であり、関数 f}} の導関数は次のように書き記される。

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

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

4. ニュートンの記法
-----------

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

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

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

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

ベクトル解析は空間ベクトルの解析に多用され、場の理論、電磁気学等で有用な解析手法である。ここでは特化された微分の記法が用いられるが、極めて記号的な計算を可能とする。ここでは三次元ユークリッド空間の例を示す。3次元ユークリッド空間上での 直交座標系 o-//xyz//}} においてベクトル場 A}} を 、スカラー場 φ を とする。

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

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

勾配 : スカラー場 φ}} の勾配 は記号的に ∇}} とスカラー場の積で表される。

発散  : A}} の発散 は、記号的に ∇}} とベクトルの内積で表される。

回転 :　ベクトル場 A}} の回転  は、記号的に ∇}} とベクトルの外積で表される。ここに i, j, k}} は各軸に対する単位ベクトルの基底である。

ラプラシアン : スカラー場 のラプラシアンは記号的に ∇2 とスカラー場のスカラー積で表される。 ここで をラプラスの演算子という。ベクトル解析で用いられるこれらの微分記法は記号演算として非常に強力である。例えば通常のスカラー関数における積の微分公式 に対して、スカラー場 φ}} と ψ}} の積の勾配に関する積の微分公式は のように全く同じ形式となる。

6. その他の記法
---------

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

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

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

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

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

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

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

7. 関連項目
-------

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

8. 外部リンク
--------

[1]
[2], maintained by Jeff Miller.

9. 参考文献
-------

Newton, Isaac Sir: "The method of fluxions and infinite series ", Henry Woodfall and John Nourse, translated from Latin 
Jerome Keisler: "first-year-calculus textbook": http://www.math.wisc.edu/~keisler/calc.html

de:Differential #Notationen der Ableitung