微分法のソースを表示

{{about|解析学の分野|微分を求める操作、微分演算|微分}}
{{Calculus}}
[[File:Tangent to a curve.svg|thumb|150px|函数のグラフ（黒）とその接線（赤）。接線の傾きが接点における函数の微分係数に等しい。]]
[[数学]]における'''微分法'''（びぶんほう、{{lang-en-short|''differential calculus''}}; 微分学）は[[微分積分学]]の分科で、量の変化に注目して研究を行う。微分法は[[積分法]]と並び、微分積分学を二分する歴史的な分野である。

微分法における第一の研究対象は[[関数 (数学)|関数]]の[[微分]]（微分商、微分係数）、および[[無限小]]などの関連概念やその応用である。函数の選択された入力における微分商は入力値の近傍での函数の変化率を記述するものである。微分商を求める過程もまた、微分 (''differentiation'') と呼ばれる。幾何学的にはグラフ上の一点における微分係数は、それが存在してその点において定義されるならば、その点における[[グラフ (関数)|グラフ]]の[[接線]]の[[傾き (数学)|傾き]]である。一変数の[[実数値関数]]に対しては、一点における函数の微分は一般にその点における函数の最適[[線型近似]]を定める。

微分法と積分法を繋ぐのが[[微分積分学の基本定理]]であり、これは積分が微分の逆を行う過程であることを述べるものである。

微分は量を扱うほとんど全ての分野に応用を持つ。たとえば[[物理学]]において、動く物体の[[変位]]の[[時間]]に関する導函数はその物体の[[速度]]であり、速度の時間に関する導函数は[[加速度]]である。物体の[[運動量]]の導函数はその物体に及ぼされた力に等しい（この微分に関する言及を整理すれば[[運動の第2法則]]に結び付けられる有名な方程式 {{math|'''F''' {{=}} ''m'''''a'''}} が導かれる）。[[化学反応]]の[[反応速度]]も導函数である。[[オペレーションズ・リサーチ]]において導函数は物資転送や工場設計の最適な応報の決定に用いられる。

導函数は函数の[[最大と最小]]を求めるのに頻繁に用いられる。導函数を含む方程式は[[微分方程式]]と呼ばれ、自然現象の記述において基本的である。微分およびその一般化は数学の多くの分野に現れ、例えば[[複素解析]]、[[関数解析学]]、[[微分幾何学]]、[[測度論]]および[[抽象代数学]]などを挙げることができる。

== 微分 ==
[[Image:Tangent-calculus.svg|thumb|330px| 点 {{math|(''x'',''f''(''x''))}} における[[接線]]]]
{{main|微分}}

{{mvar|x}} および {{mvar|y}} は[[実数]]で、{{mvar|y}} は {{mvar|x}} の函数、すなわち各 {{mvar|x}} の値に対して対応する {{mvar|y}} の値がひとつ存在すると仮定する。この関係を {{math|1=''y'' = ''f''(''x'')}} と書くことができる。{{math|''f''(''x'')}} が直線に対する等式（[[線型方程式]]）ならば二つの実数 {{mvar|m}} および {{mvar|b}} が存在して {{math|1=''y'' = ''mx'' + ''b''}} が成り立つ。この「傾き・切片標準形」において {{mvar|m}} は[[傾き (数学)|傾き]]と呼ばれ、[[差分商]]
: <math> m = \frac{\Delta y}{\Delta x}</math>
によって決定することができる。ここに記号 {{math|Δ}}（[[ギリシア文字]]大文字の[[Δ|デルタ]]）は変化の増分を表す。従って {{math|1=Δ''y'' = ''m'' Δ''x''}}。

直線でない一般の函数では、傾きを持たないことが起こる。幾何学的には、'''点 {{math|1=''x'' = ''a''}} における {{mvar|f}} の微分係数'''とは函数 {{mvar|f}} の点 {{mvar|a}} における[[接線]]の傾きのことをいい、上記の差分商の極限（'''微分商'''）に等しい。これはしばしば[[微分の記法]]に従って {{math|''f''{{'}}(''a'')}}, あるいは[[ライプニッツの記法]]に従って {{math|1={{sfrac|''dy''|''dx''}}{{!}}<sub>''x''=''a''</sub>}} と書かれる。微分商は {{mvar|f}} の {{mvar|a}} における線型近似の傾きであるから、この微分商（と {{mvar|a}} における {{mvar|f}} の値）は点 {{mvar|a}} の近くで {{mvar|f}} の最適線型近似あるいは[[線型性]]を決定する。

{{mvar|f}} の定義域の各点 {{mvar|a}} において微分商が存在するならば、各点 {{mvar|a}} を {{mvar|f}} の {{mvar|a}} における微分商へ写す函数（'''導函数'''）が存在する。例えば、{{math|1=''f''(''x'') = ''x''<sup>2</sup>}} とすれば導函数は {{math|1=''f''{{'}}(''x'') = {{sfrac|''dy''|''dx''}} = 2''x''}} である。

これと近しい関係の概念として、[[関数の微分]]がある。接点 {{math|(''a'', ''f''(''a''))}} を原点として、各軸に平行な座標軸 {{mvar|dx}}, {{mvar|dy}} を持つ局所座標系を考えるとき、この座標系において原点を通り傾き {{math|1={{sfrac|''dy''|''dx''}}{{!}}<sub>''x''=''a''</sub>}} の直線（すなわち、もとの座標系でみれば {{mvar|f}} の {{mvar|a}} における接線）は {{math|1=''dy'' = {{sfrac|''dy''|''dx''}}{{!}}{{ind|1=''x''=''a''}} ''dx''}} で表される。これは {{math|''x'' {{=}} ''a''}} における増分 {{math|1=Δ''y'' = {{sfrac|Δ''y''|Δ''x''}}{{!}}{{ind|1=''x''=''a''}} Δ''x''}} の線型化、線型主要部であり、{{mvar|dy}} は {{mvar|f}} の {{mvar|a}} における'''微分'''と呼ばれる。

{{mvar|x}} および {{mvar|y}} が実変数のときは {{mvar|f}} の {{mvar|x}} における微分商は {{mvar|f}} のグラフの {{mvar|x}} における[[接線]]の傾きであり、{{mvar|f}} の始域と終域は一次元であるから、{{mvar|f}} の微分商は実数として与えられるが、{{mvar|x}} および {{mvar|y}} がベクトル変数のとき、{{mvar|f}} のグラフの最適線型近似は {{mvar|f}} が一度に複数の方向へどれほど変化するかに依存する。一つの方向に関する最適線型近似をとることは[[偏微分]]（通常、{{math|{{sfrac|∂''y''|∂''x''}}}} と書かれる）を決定する。一度にすべての方向への {{mvar|f}} の線型化は[[函数の全微分]] {{mvar|df}} という。

== 微分法の歴史 ==
{{Main|{{仮リンク|微分積分学の歴史|en|History of calculus}}}}

接線の傾きを知るという意味で言えば、微分係数の概念は旧く[[古代ギリシア]]の[[エウクレイデス]] (c. 300 BC), [[アルキメデス]] (c. 287–212 BC), [[ペルガのアポロニウス]] (c. 262–190 BC) ら幾何学者たちには馴染みのものであった<ref>[[ユークリッド原論|エウクレイデスの『原論』]]、[[アルキメデス・パリンプセスト]]および {{MacTutor Biography|id=Apollonius|title=Apollonius of Perga}}を参照</ref>。またアルキメデスは[[無限小]]を用いる方法も導入しているが、それは微分や接線に関してではなくて主に面積や体積に対してである（[[方法 (アルキメデスの著書)|『方法』]]の項を参照）。

変化率の研究に無限小を利用することは、[[インドの数学]]において恐らく紀元前500年くらい頃には見つけることができる。天文学者で数学者の[[アーリヤバタ]] (476–550) は[[月の軌道]]の研究に無限小を用いた<ref>{{MacTutor Biography|id=Aryabhata_I|title=Aryabhata the Elder}}</ref>。変化率の計算に無限小を用いる手法は[[バースカラ2世]] (1114–1185) によって飛躍的に推し進められた。実際、[[ロルの定理]]など<ref>{{Cite journal|first=T. A. A.|last=Broadbent|title=Reviewed work(s): ''The History of Ancient Indian Mathematics'' by C. N. Srinivasiengar|journal=The Mathematical Gazette|volume=52|issue=381|date=October 1968|pages=307–8|doi=10.2307/3614212|jstor=3614212|last2=Kline|first2=M.}}</ref>の微分法における重要な概念がその研究結果には含まれていると言われている<ref>Ian G. Pearce. [http://turnbull.mcs.st-and.ac.uk/~history/Projects/Pearce/Chapters/Ch8_5.html Bhaskaracharya II.]</ref>。[[アラビア数学]]{{仮リンク|シャラフ・アル゠ディン・アル゠ツシ|en|Sharaf al-Dīn al-Tūsī}} (1135–1213) は[[三次関数]]の微分係数を初めて求めて、微分法における重要な足跡を残した<ref>J. L. Berggren (1990). "Innovation and Tradition in Sharaf al-Din al-Tusi's Muadalat", ''Journal of the American Oriental Society'' '''110''' (2), p. 304-309.</ref>。その「方程式に関する研究論文」では、導函数や曲線の[[最大と最小]]など、正の解を持たない[[三次方程式]]を解くための微分法に関する概念が展開されている<ref name=Sharaf>{{MacTutor|id=Al-Tusi_Sharaf|title=Sharaf al-Din al-Muzaffar al-Tusi}}</ref>。

現代的な微分積分学は、[[アイザック・ニュートン]] (1643–1727) および[[ゴットフリート・ライプニッツ]] (1646–1716) の両者が独立に創始したというのが通例である<ref group="注">ニュートンの研究は1666年に始まり、ライプニッツは1676年に始まる。が、ライプニッツが最初の論文を出すのが1684年で、1693年に出版のニュートンに先んじている。ライプニッツがニュートンの1673年か1676年の研究ドラフトを目にしたことや、あるいはニュートンがライプニッツの研究を自分の研究の洗練に用いたことなどは、可能性としてはあり得ることである。両者は互いに相手が自分の仕事を盗作したと主張した。この顛末は誰が微分積分学の創始者であるかを巡って両者の苦い{{仮リンク|ライプニッツとニュートンの論争|en|Leibniz–Newton calculus controversy|label=論争}}となり、18世紀初頭の数学界に大きな衝撃を与えた。</ref>。これにより微分を求めることと接線の傾きを求めることとが統一的に扱われるようになるが、彼らを創始者とする鍵となる洞察は微分法と積分法とを結びつける[[微分積分学の基本定理]]であり、これは時代遅れの（[[イブン・ハイサム]]（アルハゼン）の時代<ref name=Katz>Victor J. Katz (1995), "Ideas of Calculus in Islam and India", ''Mathematics Magazine'' '''68''' (3): 163-174 [165-9 & 173-4]</ref>からそれほど拡張されたわけではなかった）古くからある面積や体積の計算法を塗り替えるものである<ref group="注">限定された特定の場合に関しては[[ジェームス・グレゴリー]] (1638–1675) がすでに証明しており、いくつか重要な例に関しては[[ピエール・ド・フェルマー]] (1601–1665) の仕事に見つけることができるとはいえ、これは記念碑的な到達点であった。</ref>。ニュートンとライプニッツ両者の微分に関する考え方は、[[アイザック・バロー]] (1630–1677), [[ルネ・デカルト]] (1596–1650), [[クリスティアーン・ホイヘンス]] (1629–1695), [[ブレーズ・パスカル]] (1623–1662), [[ジョン・ウォリス]] (1616–1703) ら数学者の著しい先駆的研究の上に打ちたてられている。一般的にはバローが微分の先駆的発明者とされる<ref>{{cite book|last=Eves |first= Howard |year= 1990 |title= An Introduction to the History of Mathematics | series= Saunders Series | edition= 6th | location=Philadelphia |publisher= Saunders College Publishing}}</ref>にも拘らず、ニュートンとライプニッツが微分法の歴史における重要人物であることに変わりないのは、少なくともニュートンが微分法を[[理論物理学]]に応用した最初の人であり、一方ライプニッツは今日においても使用される系統的な記号法を生み出したといった理由による。

17世紀以降多くの数学者が微分法に貢献している。19世紀には、微分積分学は[[オーギュスタン＝ルイ・コーシー]] (1789–1857), [[ベルンハルト・リーマン]] (1826–1866), [[カール・ワイエルシュトラス]]ら数学者によってより厳密な基礎の上に置かれることになる。このころにはまた、微分法は[[ユークリッド空間]]や[[複素平面]]上へも一般化されている。

== 応用 ==
=== 最適化問題 ===
{{mvar|f}} は[[実数直線]] {{math|ℝ}}（またはその開区間）上で定義された[[微分可能関数]]で、{{mvar|x}} は {{mvar|f}} の極大値または極小値を与える点とするとき、{{mvar|f}} の導函数の {{mvar|x}} における値は零に等しい。{{math|''f{{'}}''(''x'') {{=}} 0}} なる点は[[臨界点 (数学)|'''臨界点''']]または{{仮リンク|停留点|label='''停留点'''|en|stationary point|preserve=1}}と呼ばれ、また {{mvar|f}} の {{mvar|x}} における値は{{仮リンク|臨界値|label='''臨界値'''|en|Critical value}}と呼ばれる（臨界点の定義は、微分係数が存在しない点まで含めるように拡張することがある）。逆に、{{mvar|f}} の臨界点 {{mvar|x}} を {{mvar|f}} の {{mvar|x}} における[[二階導関数]]を考えることで調べることができる:
* 二階微分係数が正ならば {{mvar|x}} で極小であり、
* 二階微分係数が負ならば {{mvar|x}} で極大であり、
* 二階微分係数が零ならば {{mvar|x}} で極小かもしれないし極大かもしれないし何れでもないかもしれない。例えば、{{math|''f''(''x'') {{=}} ''x''<sup>3</sup>}} は {{math|''x'' {{=}} 0}} に臨界点を持つがそこでは極小でも極大でもない。他方 {{math|''f''(''x'') {{=}} ± ''x''<sup>4</sup>}} は {{math|''x'' {{=}} 0}} に臨界点を持ち、そこでそれぞれ極小値および極大値をとる。
これは{{仮リンク|二階微分判定法|en|second derivative test}}と呼ばれる。別なやり方として、{{仮リンク|一階微分判定法|en|first derivative test}}は臨界点の前後における {{mvar|f{{'}}}} の符号の変化を見る。

微分して臨界点に関して解くことは、[[数理最適化]]において有効な極値を求めるための簡単な方法としてよく用いられる。[[最大値最小値定理]]により、閉区間上定義される連続函数は区間内で少なくとも一つの最小値および最大値に到達しなければならない。さらに函数が微分可能ならば、極小および極大は臨界点または端点でのみ達成できる。

これはまたグラフを描くのにも応用を持つ。可微分函数の極小値および極大値がわかったならば、グラフの概形は臨界点の間で増大するか減少するかを見ることで分かる。

高次元において、スカラー値函数の臨界点はその勾配が零になる点である。二階微分判定法は、臨界点における函数の二階偏微分係数からなる[[ヘッセ行列]]の[[固有値と固有ベクトル]]を考えることで、やはり臨界点を調べるのに利用できる。全ての固有値が正ならば臨界点で極小であり、全て負ならば極大であり、いくつかは正で残りが負ならば臨界点は[[鞍点]]である。その何れの場合でもない（つまり、いくつかの固有値が零である）ならばこの判定法では結論は出ない。

==== 変分法 ====
{{Main|変分法}}

最適化問題の一つの例は、「曲面上の二点間を結ぶ最短曲線を求めよ、曲線はある曲面上に無ければならないものとする」というようなものである。考える曲面が平面ならば最短曲線は直線である。しかし曲面が例えば卵型のようなものならば[[最短経路問題]]はすぐには明らかでない。そのような経路は[[測地線]]と呼ばれ、変分法におけるもっとも単純な問題の一つが、測地線を求めることである。別の例は「空間ないの閉曲線が囲む最小の面積を求めよ」というものである。この曲面は[[極小曲面]]と呼ばれ、これも変分法を用いて求めることができる。

=== 微分方程式 ===
{{Main|微分方程式}}

微分方程式は函数とその各階導函数たちの間に成り立つ関係を記述するものである。'''[[常微分方程式]]'''は一変数函数とその変数に関する導函数に対する微分方程式であり、'''[[偏微分方程式]]'''は多変数函数とその[[偏微分]]に対する微分方程式である。微分方程式は物理科学、数理モデリングおよび数学自身のなかから自然に生じてくる。例えば、力と加速度の関係を記述する[[運動の第2法則]]は二階常微分方程式 {{math|''F''(''t'') {{=}} ''m''{{sfrac|''d''{{exp|2}}''x''|''dt''{{exp|2}}}}}} で記述される。また、真っ直ぐな筒を通る熱の拡散の仕方を記述する一つの空間変数に関する[[熱伝導]]は偏微分方程式 {{math|{{sfrac|∂''u''|∂''t''}} {{=}} α{{sfrac|∂{{exp|2}}''u''|∂''x''{{exp|2}}}}}} で記述される。ただし、{{math|''u''(''x'',''t'')}} は {{mvar|x}} の位置の時刻 {{mvar|t}} における筒の温度を表し、{{math|''α''}} は筒を通る熱の拡散の仕方に依存して決まる定数である。

=== 平均値の定理 ===
{{Main|平均値の定理}}

平均値の定理は微分係数の値と元の函数の値との関係を記述する。{{math|''f''(''x'')}} が実数値函数で {{mvar|a, b}} は {{math|''a'' < ''b''}} を満たす数とするとき、平均値の定理は、緩やかな仮定の下で二点 {{math|(''a'', ''f''(''a''))}} および {{math|(''b'', ''f''(''b''))}} 間の傾きが {{mvar|a}} と {{mvar|b}} の間にある適当な点 {{mvar|c}} における接線の傾きに等しいことを主張する。記号で書けば {{math|''f{{'}}''(''c'') {{=}} {{sfrac|''f''(''b'') &minus; ''f''(''a'')|''b'' &minus; ''a''}}}} が成り立つ。

実用上は、平均値の定理がやっていることは、導函数によって函数自身を制御することである。例えば、{{mvar|f}} が各点において零に等しい導函数を持つとすると、これはその接線が至る所水平であることを意味するから、函数自身も水平でなければならない。平均値の定理はこれが実際に正しいことを証明する。{{mvar|f}} グラフ上の任意の二点間の傾きは {{mvar|f}} の接線の一つの傾きに等しくなければならず、それは全て零なのであるから、グラフ上の一点から別の任意の点へ引いた任意の直線も傾き零でなければならない。そしてそのような函数は上昇も下降もできないのだから水平線に他ならない。

導函数に対してより複雑な条件を与えれば、正確性は落ちるがより有効なもとの函数に関する情報が得られる。

=== テイラー展開 ===
{{Main|[[テイラー多項式]]|テイラー級数}}

導函数は与えられた点において可能な函数の最適線型近似を与えるが、それはもとの函数とは非常に異なることもある。この近似を改善する一つの方法は、二次の近似をとることである。それはつまり、実数値函数 {{math|''f''(''x'')}} の点 {{math|''x''{{ind|0}}}} における線型化が一次の[[多項式函数]] {{math|''a'' + ''b''(''x'' − ''x''{{ind|0}})}} であるのに対し、より良い近似が二次多項式 {{math|''a'' + ''b''(''x'' − ''x''{{ind|0}}) + ''c''(''x'' − ''x''{{ind|0}}){{exp|2}}}} を考えることで得られるかもしれないということである。三次多項式 {{math|''a'' + ''b''(''x'' − ''x''{{ind|0}}) + ''c''(''x'' − ''x''{{ind|0}}){{exp|2}} + ''d''(''x'' − ''x''{{ind|0}}){{exp|3}}}} なら更によいかもしれないし、この考えはより高次の多項式に対しても推し進めることができる。これらの多項式の各々に対して、可能な限りの近似を実現する係数 {{mvar|a, b, c, d}} の最適な選び方があるはずである。

{{math|''x''{{ind|0}}}} の[[近傍 (位相空間論)|近傍]]において、{{mvar|a}} として可能な最適の選択は常に {{math|''f''(''x''{{ind|0}})}} であり、{{mvar|b}} に対して可能な最適の選択は常に {{math|''f{{'}}''(''x''{{ind|0}})}} である。{{mvar|c, d}} およびより高階の係数についてもそれら係数は {{mvar|f}} の高階微分係数によって決定される。{{mvar|c}} は常に {{math|{{sfrac|''f"''(''x''{{ind|0}})|2}}}} であるはずだし、{{mvar|d}} は常に {{math|{{sfrac|''f{{'}}"''(''x''{{ind|0}})|3!}}}} となるはずである。これら係数を用いて {{mvar|f}} の'''テイラー多項式'''が得られる。次数 {{mvar|d}} のテイラー多項式は {{mvar|f}} の最適近似となる {{mvar|d}}-次多項式であり、その係数は上記の式を一般化したものによって求められる。[[テイラーの定理]]はそれがどの程度よい近似であるのかの詳しい評価を与える。{{mvar|f}} が次数 {{mvar|d}} 以下の多項式ならば次数 {{mvar|d}} のテイラー多項式は {{mvar|f}} 自身に一致する。

テイラー多項式の極限は'''テイラー級数'''と呼ばれる無限級数である。テイラー級数はしばしばもとの函数の非常に良い近似を与える。自身のテイラー級数と一致するような函数は[[解析関数]]と呼ばれる。不連続だったり尖ったりしている函数は解析的になることはできない。そして[[滑らかな関数]]だが解析的でない函数が存在する。

=== 陰函数定理 ===
{{Main|{{仮リンク|陰函数定理|en|Implicit function theorem|preserve=1}}}}

[[円 (数学)|円]]など自然な幾何学図形のうちには[[グラフ (関数)|グラフ]]として描くことができないものが存在する。例えば {{math|''f''(''x'', ''y'') {{=}} ''x''{{exp|2}} + ''y''{{exp|2}} − 1}} と置けば円は {{math|''f''(''x'', ''y'') {{=}} 0}} なる対 {{math|(''x'', ''y'')}} 全体の成す集合（{{mvar|f}} の零点集合）である。これは {{math|''f''}} のグラフと同じものではない（グラフは[[円錐]]になる）。陰函数定理は {{math|''f''(''x'', ''y'') {{=}} 0}} のような関係を函数に変換するものである。陰函数定理は、{{mvar|f}} が[[滑らかな関数]]ならば、ほとんどの点の周りで {{mvar|f}} の零点集合は函数のグラフを貼り合せたものに見えることを主張する。これが成り立たない点は {{mvar|f}} の微分に関する条件から決定される。例えば円の場合ｓ、二つの函数 {{math|± {{sqrt|1 - ''x''{{exp|2}}}}}} のグラフの貼り合せにすることができる。{{math|(−1, 0)}} および {{math|(1, 0)}} を除く円上の各点の近傍においてこの二つの函数のうちの一方が円のように見えるグラフを持つ（これら二つの函数は {{math|(−1, 0)}} および {{math|(1, 0)}} で交わるが、陰函数定理はそのことは保証しない）。

陰函数定理は、函数が逆函数の貼り合せのように見えることを述べる[[逆函数定理]]と近しい関係がある。

== 注釈 ==
{{脚注ヘルプ}}
{{reflist|group="注"}}

== 出典 ==
{{Reflist}}

== 参考文献 ==
*{{cite book | author=J. Edwards | title=Differential Calculus
| publisher= MacMillan and Co.| location=London | year=1892
|url=https://books.google.co.jp/books?id=unltAAAAMAAJ&pg=PA1&redir_esc=y&hl=ja#v=onepage&q&f=false}}

{{Calculus topics}}
{{Analysis-footer}}
{{Authority control}}
{{DEFAULTSORT:ひふんほう}}
[[Category:微分法|*]]
[[Category:数学に関する記事]]