関数の微分のソースを表示

{{Otheruses||導関数を求める微分演算|微分|その他|微分 (曖昧さ回避)}}
[[微分積分学]]における'''関数の微分'''（かんすうのびぶん、{{lang-en-short|differential of a function}}）とは、直感的には[[変数 (数学)|変数]]の[[無限小]]増分に対する[[関数 (数学)|関数]]の増分であり、独立変数を変化させた時の関数値の変化の{{仮リンク|主要部 (数学)|en|Principal part|label=主要部}}を表す。具体的には、実変数関数 ''y''&nbsp;=&nbsp;''f''(''x'') が与えられた時、''y'' の'''微分''' (differential) ''dy'' は次のように定義される。
:<math>dy = f'(x)\,dx</math>
あるいは以下のように表記することも出来る。
:<math>df(x) = f'(x)\,dx</math>
ここで ''f'' ' (''x'') は''f'' の''x'' に関する[[導関数]]、また''dx'' は''x'' とは別の変数である（即ち''dy'' は''x'' と''dx'' の関数ということになる）。

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

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

== 定義 ==

[[File:Sentido geometrico del diferencial de una funcion.png|thumb|点 ''x''<sub>0</sub> における関数 ''&fnof;''(''x'') の微分]]
現代的な微分学において、微分は以下の様に定義される<ref>{{harvnb|Courant|1937i}}, {{harvnb|Kline|1977}}, {{harvnb|Goursat|1904}}, {{harvnb|Hardy|1908}} などを参照。</ref><ref>高木貞治. 解析概論 改訂第3版. ISBN 4-00-005171-7. pp36-37 も参照</ref>。一変数 ''x'' の関数 ''f''(''x'') の微分 (differential) は次の式で与えられる2つの独立実変数 ''x'' と ''Δx'' の関数 ''df'' である：

:<math>df(x, \Delta x) \stackrel{\text{def}}{{}={}} f'(x)\,\Delta x.</math>

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

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

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

は

:<math>\Delta y = f'(x)\,\Delta x + \varepsilon = df(x) + \varepsilon\,</math>

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

:<math>\Delta y \approx dy</math>

が成り立ち、その誤差は Δ''x'' に対して相対的にいくらでも小さくすることが、Δ''x'' を十分小さく取るすることによってできる。つまり、Δ''x''&nbsp;→&nbsp;0 のとき
:<math>\frac{\Delta y - dy}{\Delta x}\to 0</math>
である。この理由のために、関数の微分は関数の増分の{{仮リンク|主要部 (数学)|label=主要（線型）部|en|principal part}} (principal (linear) part) と呼ばれる：微分は増分 Δ''x'' の[[線型関数]]であり、誤差 ε は非線型かもしれないが、Δ''x'' が 0 に向かうとき急速に 0 に向かう。

== 多変数関数の微分 ==
{{main|函数の全微分}}
多変数関数の微分は以下の様に定義される<ref>{{harvtxt|Goursat|1904|loc=I, §15}}</ref>。

: <math> y = f(x_1,\dots,x_n), \, </math>

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

: <math> \frac{\partial y}{\partial x_i} dx_i </math>

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

: <math> dy = \frac{\partial y}{\partial x_1} dx_1 + \cdots + \frac{\partial y}{\partial x_n} dx_n</math>

より正確には、多変数関数の微分は以下の様に定義される<ref>{{harvtxt|Courant|1937ii}}</ref>。''f'' が微分可能関数であるならば[[フレシェ微分]]可能の定義より、その増分は

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

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

:<math>dy = \frac{\partial y}{\partial x_1} \Delta x_1 + \cdots + \frac{\partial y}{\partial x_n} \Delta x_n</math>

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

となる。この''dy'' は、

:<math>dy \approx \Delta y</math>

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

== 高階の微分 ==

独立変数 ''x'' に関する一変数関数 ''y'' = ''f''(''x'') の2階の微分は以下の様に表される<ref>{{harvnb|Cauchy|1823}}, {{harvnb|Goursat|1904|loc=I, §14}}</ref>

:<math>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> は[[二項係数]]である。より一般の多変数の場合にも、[[二項定理#多項定理|多項係数]]を用いて拡張することにより同様の式に表すことが出来る<ref>{{harvnb|Goursat|1904|loc=I, §14}}</ref>。

多変数関数の場合も、変数が他の変数に依存する場合は高階の微分がより複雑な形となる。''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>

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

== 性質 ==

微分のいくつかの性質は、それぞれ対応する導関数の性質をそのまま当てはめた形で表現出来る<ref>{{harvnb|Goursat|1904|loc=I, §17}}</ref>。

* [[線型性]]:  定数 ''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'' を{{仮リンク|導分 (抽象代数学)|label=導分|en|Derivation (differential algebra)}} (derivation) と呼ぶ。

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


さらに、様々な形に一般化された[[連鎖律]]が成り立つ<ref>{{harvnb|Goursat|1904|loc=I, §§14,16}}</ref>。

* ''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>

== 多次元への一般化 ==
{{See also|フレシェ微分<!--|ガトー微分-->}}
[[ユークリッド空間]]における関数''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''') と呼ばれる。これは即ち[[フレシェ微分]]であり、任意の[[バナッハ空間]]における関数に対しても同様に定式化することが出来る。

== 脚注 ==
{{Reflist}}

== 参考文献 ==

*{{citation|first=Augustin-Louis|last=Cauchy|author=Augustin-Louis Cauchy|chapter=<!--Quatrième leçon: Différentialles des fonctions d'une seule variable-->|title=Résumé des Leçons données à l'Ecole royale polytechnique sur les applications du calcul infinitésimal|year=1823|url=http://math-doc.ujf-grenoble.fr/cgi-bin/oeitem?id=OE_CAUCHY_2_4_9_0}}.
*{{Citation | last1=Courant | first1=Richard |author=Richard Courant | title=Differential and integral calculus. Vol. I | publisher=John Wiley & Sons | location=New York | series=Wiley Classics Library | isbn=978-0-471-60842-4 | mr=1009558  | year=1937i|publication-date=1988}}.
*{{Citation | last1=Courant | first1=Richard | author=Richard Courant |title=Differential and integral calculus. Vol. II | publisher=John Wiley & Sons | location=New York | series=Wiley Classics Library | isbn=978-0-471-60840-0 | mr=1009559  | year=1937ii|publication-date=1988}}.
*{{Citation | last1=Goursat | first1=Édouard | author=Édouard Goursat|title=A course in mathematical analysis: Vol 1: Derivatives and differentials, definite integrals, expansion in series, applications to geometry| publisher=[[Dover Publications]] | location=New York | others= E. R. Hedrick | mr=0106155  | year=1904 | publication-date=1959|url=https://archive.org/details/coursemathanalys01gourrich}}.
*{{Citation | last1=Hardy | first1=Godfrey Harold | author1-link=G. H. Hardy | title=A Course of Pure Mathematics | publisher=[[Cambridge University Press]] | isbn=978-0-521-09227-2 | year=1908}}.
*{{citation|chapter=Chapter 13: Differentials and the law of the mean|title=Calculus: An intuitive and physical approach|first=Morris|last=Kline|author=Morris Kline|publisher=John Wiley and Sons|year=1977}}.

== 外部リンク ==
*[http://demonstrations.wolfram.com/DifferentialOfAFunction/ Differential Of A Function] at Wolfram Demonstrations Project

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

{{DEFAULTSORT:かんすうのひふん}}
[[Category:微分法]]
[[Category:解析学]]
[[Category:微分積分学]]
[[Category:微分の一般化]]
[[Category:数学に関する記事]]