関数の微分

微分積分学における関数の微分（）とは、直感的には変数の無限小増分に対する関数の増分であり、独立変数を変化させた時の関数値の変化のを表す。具体的には、実変数関数 "y" = "f"("x") が与えられた時、"y" の微分 (differential) "dy" は次のように定義される。
あるいは以下のように表記することも出来る。
ここで "f" ' ("x") は"f" の"x" に関する導関数、また"dx" は"x" とは別の変数である（即ち"dy" は"x" と"dx" の関数ということになる）。
導関数を以下のように書くことも出来る。これは導関数を微分の商（微分商）の形として表記するライプニッツ流の表記に合致するものである。
変数 "dy" と "dx" の正確な意味は、各分野における文脈と、要求される数学的な厳密さの程度により変わりうる。微分幾何学においては特定の微分形式としての重要性を持ち、解析学においては関数の値の変化量に対する線型近似と見なすことが出来る。物理学的な文脈においてはしばしば、変数 "dx" と "dy" を微小な（無限小）変化量として規定することがある。
定義.
現代的な微分学において、微分は以下の様に定義される。一変数 "x" の関数 "f"("x") の微分 (differential) は次の式で与えられる2つの独立実変数 "x" と "Δx" の関数 "df" である：
引数の一方あるいは両方を省いて、"df"("x") や単に "df" とも書かれる。"y" = "f"("x") であれば、微分はまた "dy" とも書かれる。"dx"("x", Δ"x") = Δ"x" であるから、"dx" = Δ"x" と書くのが慣習であり、次の等式が成り立つ：
微分のこの概念は関数の線型近似を求めたいとき（このとき増分 Δ"x" の値は十分小さい）に、広く適用可能である。より正確には、"f" が "x" において微分可能な関数であれば、"y" の値の差
は
を満たす。ここで近似における誤差 ε は、Δ"x" → 0 のとき ε/Δ"x" → 0 を満たす。言い換えると、近似式
が成り立ち、その誤差は Δ"x" に対して相対的にいくらでも小さくすることが、Δ"x" を十分小さく取るすることによってできる。つまり、Δ"x" → 0 のとき
である。この理由のために、関数の微分は関数の増分の (principal (linear) part) と呼ばれる：微分は増分 Δ"x" の線型関数であり、誤差 ε は非線型かもしれないが、Δ"x" が 0 に向かうとき急速に 0 に向かう。
多変数関数の微分.
多変数関数の微分は以下の様に定義される。
で定義される多変数関数を考える。"n" 個の独立変数うち任意の一つ "x""i" の増分 "dx""i" に対する "y" の増分の主要部は、"y" の "x""i" に関する偏微分を用いて
と表される。全ての独立変数について以下の様に総和を取ったものを全微分（total differential）または単に微分と呼び、これが独立変数 "x"1…"x""n" の増分に対する "y" の増分の主要部にあたる。
より正確には、多変数関数の微分は以下の様に定義される。"f" が微分可能関数であるならばフレシェ微分可能の定義より、その増分は
で与えられ、この時増分Δ"x""i" が全て0に漸近するならば、誤差項ε"i" は0に漸近する。よって全微分は厳密には以下の様に定義される。
一変数の場合と同様に、
であるから、
となる。この"dy" は、
と見なせる。この誤差は変数の増分を十分に小さく取ることにより、formula_18 に対して任意に小さくすることが出来る。
高階の微分.
独立変数 "x" に関する一変数関数 "y" = "f"("x") の2階の微分は以下の様に表される
より高階の場合について一般化すると、
これは以下の形に書くことにより、高階導関数のライプニッツ表記に合致するものである。
変数 "x" 自体が他の変数に依存する関数である時は、 "x" の高階の微分も式に含まれるため、上記よりも複雑な形となる。2階、3階の場合の例を挙げる。
多変数関数についても同様に高階の微分を考えることが出来る。例えば、"f" が変数 "x" と "y" の2変数関数である時、
ここで formula_24 は二項係数である。より一般の多変数の場合にも、多項係数を用いて拡張することにより同様の式に表すことが出来る。
多変数関数の場合も、変数が他の変数に依存する場合は高階の微分がより複雑な形となる。"f" が変数 "x" と "y" の2変数関数であり、かつ "x" と "y" がそれぞれ他の補助変数に依存する関数である時、"f" の2階の微分は以下の様になる。
より一般的には、"x" の関数"f" の増分Δ"x" に対する"n" 階の微分は、以下の様に定義される。
もしくは等価な表現として、
ここでformula_28 は、増分"t"Δ"x" に対する"n" 階の前進差分演算子である。"f" が多変数関数の場合にも"x" を引数ベクトルと見なすことにより同様の形で"f" の微分を定義出来る。すると定義により、"n" 階の微分はベクトル"x" の増分Δ"x" に関する斉次関数となる。さらに、"f" の点"x" におけるテーラー展開が以下の式で与えられる。
高階のガトー微分はこれを無限次元関数空間に拡張したものと考えることが出来る。
性質.
微分のいくつかの性質は、それぞれ対応する導関数の性質をそのまま当てはめた形で表現出来る。
抽象代数学においては、これら2つの性質を満たす作用素"d" を (derivation) と呼ぶ。
またこの性質により、累乗の微分に関して以下の関係が成り立つ。
さらに、様々な形に一般化された連鎖律が成り立つ。
多次元への一般化.
ユークリッド空間における関数"f" : R"n" → R"m" に対し、前述の微分の概念を一般化した関数"f" の微分を考えることが出来る。
ベクトルx, Δx ∈ R"n" に対し、関数"f" の増分Δfは
ここで、以下の式
においてベクトルΔx → 0 のとき ε → 0 となる"m" ×"n" 行列 "A" が存在するならば、定義より関数"f" は点 x において微分可能である。この行列"A" はヤコビ行列とも呼ばれ、そしてΔx ∈ R"n" の線形写像 "A"Δx ∈ R"m" は、関数"f" の点xにおける微分"df" (x) と呼ばれる。これは即ちフレシェ微分であり、任意のバナッハ空間における関数に対しても同様に定式化することが出来る。