関数の微分

微分積分学における**関数の微分**（かんすうのびぶん、）とは、直感的には変数の無限小増分に対する関数の増分であり、独立変数を変化させた時の関数値の変化のを表す。具体的には、実変数関数 *y*&nbsp;=&nbsp;*f*(*x*) が与えられた時、*y* の**微分** (differential) *dy* は次のように定義される。
:dy = f'(x)\,dx
あるいは以下のように表記することも出来る。
:df(x) = f'(x)\,dx
ここで *f* ' (*x*) は*f* の*x* に関する導関数、また*dx* は*x* とは別の変数である（即ち*dy* は*x* と*dx* の関数ということになる）。

導関数を以下のように書くことも出来る。これは導関数を微分の商（微分商）の形として表記するライプニッツ流の表記に合致するものである。
:dy = \frac{dy}{dx}\, dx

変数 *dy* と *dx* の正確な意味は、各分野における文脈と、要求される数学的な厳密さの程度により変わりうる。微分幾何学においては特定の微分形式としての重要性を持ち、解析学においては関数の値の変化量に対する線型近似と見なすことが出来る。物理学的な文脈においてはしばしば、変数 *dx* と *dy* を微小な（無限小）変化量として規定することがある。

## 定義

現代的な微分学において、微分は以下の様に定義される。一変数 *x* の関数 *f*(*x*) の微分 (differential) は次の式で与えられる2つの独立実変数 *x* と *Δx* の関数 *df* である：

:df(x, \Delta x) \stackrel{\text{def}} f'(x)\,\Delta x.

引数の一方あるいは両方を省いて、*df*(*x*) や単に *df* とも書かれる。*y*&nbsp;=&nbsp;*f*(*x*) であれば、微分はまた *dy* とも書かれる。*dx*(*x*,&nbsp;Δ*x*)&nbsp;=&nbsp;Δ*x* であるから、*dx*&nbsp;=&nbsp;Δ*x* と書くのが慣習であり、次の等式が成り立つ：

:df(x) = f'(x) \, dx
 
微分のこの概念は関数の線型近似を求めたいとき（このとき増分 Δ*x* の値は十分小さい）に、広く適用可能である。より正確には、*f* が *x* において微分可能な関数であれば、*y* の値の差

:\Delta y \stackrel{\rm{def}}{=} f(x+\Delta x) - f(x)

は

:\Delta y = f'(x)\,\Delta x + \varepsilon = df(x) + \varepsilon\,

を満たす。ここで近似における誤差 ε は、Δ*x*&nbsp;→&nbsp;0 のとき ε/Δ*x*&nbsp;→&nbsp;0 を満たす。言い換えると、近似式

:\Delta y \approx dy

が成り立ち、その誤差は Δ*x* に対して相対的にいくらでも小さくすることが、Δ*x* を十分小さく取るすることによってできる。つまり、Δ*x*&nbsp;→&nbsp;0 のとき
:\frac{\Delta y - dy}{\Delta x}\to 0
である。この理由のために、関数の微分は関数の増分の (principal (linear) part) と呼ばれる：微分は増分 Δ*x* の線型関数であり、誤差 ε は非線型かもしれないが、Δ*x* が 0 に向かうとき急速に 0 に向かう。

## 多変数関数の微分

多変数関数の微分は以下の様に定義される。

:  y = f(x_1,\dots,x_n), \, 

で定義される多変数関数を考える。*n* 個の独立変数うち任意の一つ *x**i* の増分 *dx**i* に対する *y* の増分の主要部は、*y* の *x**i* に関する偏微分を用いて

:  \frac{\partial y}{\partial x_i} dx_i 

と表される。全ての独立変数について以下の様に総和を取ったものを全微分（total differential）または単に微分と呼び、これが独立変数 *x*1…*x**n* の増分に対する *y* の増分の主要部にあたる。

:  dy = \frac{\partial y}{\partial x_1} dx_1 + \cdots + \frac{\partial y}{\partial x_n} dx_n

より正確には、多変数関数の微分は以下の様に定義される。*f* が微分可能関数であるならばフレシェ微分可能の定義より、その増分は

:\begin{align}
\Delta y &{}= f(x_1+\Delta x_1, \dots, x_n+\Delta x_n) - f(x_1,\dots,x_n)\\
&{}= \frac{\partial y}{\partial x_1} \Delta x_1 + \cdots + \frac{\partial y}{\partial x_n} \Delta x_n + \varepsilon_1\Delta x_1 +\cdots+\varepsilon_n\Delta x_n
\end{align}

で与えられ、この時増分Δ*x**i* が全て0に漸近するならば、誤差項ε*i* は0に漸近する。よって全微分は厳密には以下の様に定義される。

:dy = \frac{\partial y}{\partial x_1} \Delta x_1 + \cdots + \frac{\partial y}{\partial x_n} \Delta x_n

一変数の場合と同様に、
:dx_i(\Delta x_1,\dots,\Delta x_n) = \Delta x_i
であるから、
:dy = \frac{\partial y}{\partial x_1}\,d x_1 + \cdots + \frac{\partial y}{\partial x_n}\,d x_n

となる。この*dy* は、

:dy \approx \Delta y

と見なせる。この誤差は変数の増分を十分に小さく取ることにより、\sqrt{\Delta x_1^2+\cdots +\Delta x_n^2} に対して任意に小さくすることが出来る。

## 高階の微分

独立変数 *x* に関する一変数関数 *y* = *f*(*x*) の2階の微分は以下の様に表される

:d^2y = d(dy) = d(f'(x)dx) = f*(x)\,(dx)^2</math>
より高階の場合について一般化すると、
:<math>d^ny = f^{(n)}(x)\,(dx)^n</math>
これは以下の形に書くことにより、高階導関数のライプニッツ表記に合致するものである。
:<math>f^{(n)}(x) = \frac{d^n f}{dx^n}.</math>
変数 *x* 自体が他の変数に依存する関数である時は、 *x* の高階の微分も式に含まれるため、上記よりも複雑な形となる。2階、3階の場合の例を挙げる。
:<math>
\begin{align}
d^2 y &= f*(x)\,(dx)^2 + f'(x)d^2x\\
d^3 y &= f**(x)\, (dx)^3 + 3f''(x)dx\,d^2x + f'(x)d^3x 
\end{align}</math>


多変数関数についても同様に高階の微分を考えることが出来る。例えば、''f'' が変数 ''x'' と ''y'' の2変数関数である時、
:<math>d^nf = \sum_{k=0}^n \binom{n}{k}\frac{\partial^n f}{\partial x^k \partial y^{n-k}}(dx)^k(dy)^{n-k},</math>
ここで <math>\scriptstyle{\binom{n}{k}}</math> は[[二項係数]]である。より一般の多変数の場合にも、[[二項定理#多項定理|多項係数]]を用いて拡張することにより同様の式に表すことが出来る。

多変数関数の場合も、変数が他の変数に依存する場合は高階の微分がより複雑な形となる。''f'' が変数 ''x'' と ''y'' の2変数関数であり、かつ ''x'' と ''y'' がそれぞれ他の補助変数に依存する関数である時、''f'' の2階の微分は以下の様になる。

:<math>d^2f = \left(\frac{\partial^2f}{\partial x^2}(dx)^2+2\frac{\partial^2f}{\partial x\partial y}dx\,dy + \frac{\partial^2f}{\partial y^2}(dy)^2\right) + \frac{\partial f}{\partial x}d^2x + \frac{\partial f}{\partial y}d^2y.</math>

より一般的には、''x'' の関数''f'' の増分Δ''x'' に対する''n'' 階の微分は、以下の様に定義される。
:<math>d^nf(x,\Delta x) = \left.\frac{d^n}{dt^n} f(x+t\Delta x)\right|_{t=0}</math>
もしくは等価な表現として、
:<math>\lim_{t\to 0}\frac{\Delta^n_{t\Delta x} f}{t^n}</math>
ここで<math>\Delta^n_{t\Delta x} f</math> は、増分''t''Δ''x'' に対する''n'' 階の[[差分法#陽解法|前進差分演算子]]である。''f'' が多変数関数の場合にも''x'' を引数ベクトルと見なすことにより同様の形で''f'' の微分を定義出来る。すると定義により、''n'' 階の微分はベクトル''x'' の増分Δ''x'' に関する[[斉次関数]]となる。さらに、''f'' の点''x'' における[[テーラー展開]]が以下の式で与えられる。

:<math>f(x+\Delta x)\sim f(x) + df(x,\Delta x) + \frac{1}{2}d^2f(x,\Delta x) + \cdots + \frac{1}{n!}d^nf(x,\Delta x) + \cdots</math>

高階の[[ガトー微分]]はこれを無限次元[[関数空間]]に拡張したものと考えることが出来る。

== 性質 ==

微分のいくつかの性質は、それぞれ対応する導関数の性質をそのまま当てはめた形で表現出来る。

* [[線型性]]:  定数 ''a'' 、''b'' と微分可能な関数''f'' 、''g''に対して、
::<math>d(af+bg) = a\,df + b\,dg.</math>
* [[積の微分法則]]:  2つの微分可能な関数''f'' 、''g''に対して、
::<math>d(fg) = f\,dg+g\,df.</math>
[[抽象代数学]]においては、これら2つの性質を満たす作用素''d'' を (derivation) と呼ぶ。

またこの性質により、累乗の微分に関して以下の関係が成り立つ。
::<math> d( f^n ) = n f^{n-1} df </math>


さらに、様々な形に一般化された[[連鎖律]]が成り立つ。

* ''y'' = ''f''(''u'') が変数''u'' に関する微分可能関数で、かつ''u'' = ''g''(''x'') が変数''x'' に関する微分可能関数である時、
::<math>dy = f'(u)\,du = f'(g(x))g'(x)\,dx.</math>

* 多変数関数 ''y'' = ''f''(''x''<sub>1</sub>,&nbsp;...,&nbsp;''x''<sub>''n''</sub>) について、その全ての変数''x''<sub>1</sub>,&nbsp;...,&nbsp;''x''<sub>''n''</sub> が他の変数''t'' の関数である時、

:: <math>\begin{align}
dy &= \frac{dy}{dt}dt \\
&= \frac{\partial y}{\partial x_1} dx_1 + \cdots + \frac{\partial y}{\partial x_n} dx_n\\
&= \frac{\partial y}{\partial x_1} \frac{dx_1}{dt}\,dt + \cdots + \frac{\partial y}{\partial x_n} \frac{dx_n}{dt}\,dt.
\end{align}</math>

== 多次元への一般化 ==

[[ユークリッド空間]]における関数''f''&nbsp;:&nbsp;**R**<sup>''n''</sup>&nbsp;→&nbsp;**R**<sup>''m''</sup> に対し、前述の微分の概念を一般化した関数''f'' の微分を考えることが出来る。

ベクトル**x**, Δ**x**&nbsp;∈&nbsp;**R**<sup>''n''</sup> に対し、関数''f'' の増分Δ**f**は
:<math>\Delta f = f(\mathbf{x}+\Delta\mathbf{x}) - f(\mathbf{x}).</math>
ここで、以下の式
:<math>\Delta f = A\Delta\mathbf{x} + \|\Delta\mathbf{x}\|\boldsymbol{\varepsilon}</math>
においてベクトルΔ**x**&nbsp;→&nbsp;0 のとき ***ε***&nbsp;→&nbsp;0 となる''m''&nbsp;&times;''n'' [[行列]] ''A'' が存在するならば、定義より関数''f'' は点 **x** において微分可能である。この行列''A'' は[[ヤコビ行列]]とも呼ばれ、そしてΔ**x**&nbsp;∈&nbsp;**R**<sup>''n''</sup> の[[線形写像]] ''A''Δ**x**&nbsp;∈&nbsp;**R**<sup>''m''</sup> は、関数''f'' の点**x**における微分''df'' (**x**) と呼ばれる。これは即ち[[フレシェ微分]]であり、任意の[[バナッハ空間]]における関数に対しても同様に定式化することが出来る。

別の特徴付けもできる。以下の式
:<math>\Delta f = \phi(\Delta\mathbf{x})\Delta\mathbf{x}</math>
を満たし、Δ**x**&nbsp;＝&nbsp;**0** で連続な''m''&nbsp;&times;''n'' 行列値関数''φ''&nbsp;:&nbsp;**R**<sup>''n''</sup>&nbsp;→&nbsp;''M''<sub>''m''&times;''n''</sub> が存在するならば、関数''f'' は点 **x** において微分可能である。ただし、''m''&nbsp;&times;''n'' 行列 の集合には[[作用素ノルム]]が入っている。そのような''φ''は一意とは限らないが、Δ**x**&nbsp;＝&nbsp;**0**での値''φ''(**0''') は一意であり、ヤコビ行列に一致する。以上をカラテオドリの特徴付け、またはカラテオドリ微分といい、これもまた任意のバナッハ空間における関数に対しても同様に定式化することが出来る。

## 脚注

## 参考文献

*.
*.
*.
*.
*.
*.

## 外部リンク
*Differential Of A Function at Wolfram Demonstrations Project

## 関連項目
* 函数の全微分
* 無限小
* 微分小
* 微分形式
* 微分写像