微分の記法
ライプニッツの記法
編集dy
dx
dx
「ライプニッツの記法」も参照
ゴットフリート・ライプニッツにより採用されたライプニッツの記法は数学分野で広く使用されている。この記法は特に関数 y= f(x) が従属変数 yと独立変数 xの関数関係を表すものとみるときに用いられる。この場合、導関数は
のように書かれ︵d はこのように立体にする流儀とイタリックにする流儀とがある︶、"d y d x"と読むのが一般的である。この関数の xにおける値というのは fの導関数の xにおける値のことであり、従ってそれは
または
または
と書かれる。変数 xに対して導関数 df/dx が示す値は関数 fの微分係数︵微係数︶という。
高階導関数は、y = f(x) の n階の導関数に対して
または
または
のように表される。︵一つ目は、"d n y d x n"と読まれる。︶これはそもそも、例えば三階導関数というのは
のことであるということからくるもので、これをさらに緩く︵分母の括弧を省略して︶書いて
としたものが、上記の記法となっている。
ライプニッツの記法における、x = aにおける微係数は次のような二種類の方法で表される。
ライプニッツの記法は分母において微分すべき変数を明示的に示すことができる。これは偏微分を考える際に特に有用であり、また、連鎖律 (合成関数の微分法)
も見易く、覚えやすいものになる。
極限による微積分学の定式化においては、記号 duは著者が異なればその意味も様々である︵より詳細は微分 (無限小解析)を参照︶。
●いくつかの文献では duそれ自体に対して明示的な意味付けを行わず、単に記号 du/dx の一部として扱う。
●ほかに dxを独立変数として定義し、加法的関数 d(x + y) = dx + dy や積の微分則 d(x · y) = dx · y+ x· dy を微分の公理として用いるものもある。微分環を参照。
●超準解析では duは無限小として定義される。
●関数 uの 外微分 duとしても解釈される。
ラグランジュの記法
編集現代、最も広く用いられる微分の現代的記法のひとつはジョゼフ=ルイ・ラグランジュにより提唱されたプライム記号(')を用いたラグランジュの記法である。
f ′(x), f ″(x), …
f の三階までの導関数は
f': 一階導関数
f'': 二階導関数
f''': 三階導関数
のように書かれる。これ以降は、引き続きローマ数字や括弧書きで階数を施すことにより、例えば fの四階導関数をそれぞれ fIVや f(4) のように表すことがある。後者の記法はそのまま任意階数の導関数に拡張され、f の n階の導関数は f(n) のように表される。
オイラーの記法
編集Dxy D2f
レオンハルト・オイラーによるオイラーの記法は、微分作用素 D を関数に前置する方法であり、関数 f の導関数は次のように書き記される。
: 一階導関数 | |
: 二階導関数 | |
: n 階導関数 |
従属変数 y = f(x) を微分するとき、独立変数 x を下付きとして D に付加する記法が一般的である。
: 一階導関数 | |
: 二階導関数 | |
: n 階導関数 |
しかし、独立変数が一つのみの場合は下付き添字は省略するのが通例である。オイラーの記法は線型微分方程式の分野で有用である。
ニュートンの記法
編集·
x,··
x, …
x,··
x, …
「ニュートンの記法」も参照
アイザック・ニュートンによるニュートンの記法は微分のドット記法とも呼ばれ、従属変数の上部にドット記号﹁・﹂を記して
などのように表す。しばしば速度や加速度のような時間微分の表現法として使用される。これはラグランジュの記法におけるプライム記号を直接的に置き換えたような用法も可能だが、その場合もやはり時間の関数 f(t) に対して使用するのが普通である。
ニュートンの記法は、力学および常微分方程式の理論で主に使用される。そこでは、一階および二階の微分のみを用い、また、時間に関する微分に対してのみこの記法を用いるということが一般的である。
ベクトル解析における記法
編集
ベクトル解析は空間ベクトルの解析に多用され、場の量子論、電磁気学等で有用な解析手法である。ここでは特化された微分の記法が用いられるが、極めて記号的な計算を可能とする。ここでは三次元ユークリッド空間の例を示す。3次元ユークリッド空間上での 直交座標系 o-xyz においてベクトル場 Aを
、スカラー場 φ を
とする。
まず微分演算子 (ハミルトン演算子) としてナブラ記号
を記号的に定める。ここで記号的にとは、∇ をベクトルとして扱い、要素の偏微分記述が通常の項のように被演算項として扱われることを意味している。
これによりベクトル解析で繁用される微分操作が次のように非常に簡易かつ強力に書き記される。
∇φ
- 勾配 (gradient): スカラー場 φ の勾配 は記号的に ∇ とスカラー場の積で表される。
∇ · A
∇×A
∇2φ
●ラプラス作用素 (Laplacian): スカラー場
のラプラシアンは記号的に ∇2 とスカラー場のスカラー積で表される。
ここで
をラプラスの演算子という。
ベクトル解析で用いられるこれらの微分記法は記号演算として非常に強力である。例えば通常のスカラー関数における積の微分公式
に対して、スカラー場 φ と ψ の積の勾配に関する積の微分公式は
のように全く同じ形式となる。
その他の記法
編集fx fxy
多変数解析やテンソル解析など、限定的な分野では個別の微分記法が必要に応じて使用される。
関数 y = f(x) について、独立変数を下付き添字として次のように書き記す。
この記法は多変数関数の偏微分で特に有効である。例えば関数 z = f(x, y) について次のような記法ができる。
∂f
∂x
∂x
関連項目
編集外部リンク
編集参考文献
編集- 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