微分積分学の基本定理
微分積分学の基本定理(びぶんせきぶんがくのきほんていり、fundamental theorem of calculus)とは、「関数に対する微分と積分は互いの逆操作である」 ということを主張する解析学の定理である。微分積分法の基本定理ともいう。
微分積分学の基本定理は一変数の関数に対するものだが、多変数関数への拡張は、ストークスの定理として知られる。
微分積分学の基本定理の発見以前は、微分法(接線法)と積分法(求積法)は別個の問題と捉えられていた。微分積分学の基本定理はアイザック・ニュートンによって1665年頃、ゴットフリート・ライプニッツによって1675年頃に、それぞれ独立に発見されている。当初ニュートンはこの結果を発表せず、(ニュートンより後に発見した)ライプニッツが先に公表したために先取権を巡って論争となった。
微分積分学の基本定理として知られる定理にはいくつか(等価でない)バリエーションがある。
{math theorem|1=関数 f が区間 I 上で連続ならば、任意の定数 a \in I および変数 x \in I に対して、f の不定積分
F\left( x\right) := \int_{a}^{x} f\left( t\right)\, {\rm d}t
は x に関して微分可能で、
\dfrac\rm d微分積分学の第一基本定理
この定理は微分積分学の第一基本定理と呼ばれる。第一定理により、(連続)関数を積分して微分すると元に戻ることが言える。
{math theorem|1=区間 I 上で微分可能な関数 F について、その導関数 f=\tfrac{\rm d}F}微分積分学の第二基本定理
この定理は微分積分学の第二基本定理と呼ばれる。第二定理は、関数を微分して積分すると高々定数の差を除いて元の関数が現われることを主張する。
積分可能性に関して、通常はリーマン積分の意味で積分可能であることを要求するが、ルベーグ積分に対する基本定理も存在する( を参照)。
f が連続である場合に成り立つ次の系は、微分積分学の基本公式として知られる:
区間 I 上で連続な関数 f について、その原始関数の一つを F として、
\int _{a}^{b} f\left( x\right)\,{\rm d}x =F\left( b\right) -F\left( a\right)
が成り立つ。
基本公式は原始関数の差として定積分を計算できることを主張する。第二定理と違い基本公式では被積分関数に連続性を課すが、第二定理は(積分可能であれば)不連続な関数に対しても成り立つ。
微分積分学の第一基本定理において、関数 f は、区間 I の全体で連続である必要はなく、次のように弱められる:
{math theorem|1=a,\ x\in I とし、区間 I 上でルベーグ積分可能であり、x_{0}\in I で連続な関数 f について、その原始関数を
F\left( x\right) =\int _{a}^{x} f\left(t\right)\,{\rm d}t
とする。この F は x_{0} 上で微分可能であり、また \left.\tfracルベーグ積分可能な関数に対する第一定理の一般化
またさらに、f は単に局所可積分であるとした場合でも、関数 F はほとんど至るところ微分可能かつほとんど至るところ \tfrac{\rm d}F}{\rm d}x}(x) = f(x) である。
実数直線上では、この事実はルベーグの微分定理と同値となる。これらの結果は、より大きなクラスの積分可能な関数を定めるヘンストック=クルツヴァイル積分においても成立する。
より高い次元では、ルベーグの微分定理は、「ほとんどすべての x について、関数 f の x を中心とする半径 r の球上における平均値が、r が 0 に近づくとき、f\left( x\right)\,に近づく」という形で微積分の基本定理を一般化する。
第二基本定理は、原始関数 F を持つ任意のルベーグ積分可能な関数 f について成り立つ。すなわち、
閉区間 \left[ a,\ b\right] 上の実関数 F がすべての x \in \left[ a,\ b\right] において微分可能であり、F の導関数 f が \left[ a,\ b\right] 上でルベーグ積分可能ならば、
F\left( b\right) -F\left( a\right) =\int _{a}^{b} f\left( t\right)\,{\rm d}t
が成り立つ。
この結果は連続関数 F がほとんど至るところで導関数 f を持つ場合には成立するとは限らず、反例としてカントール関数が知られている。しかし、F が絶対連続であり、ほとんど至るところで微分可能で、その導関数 f が積分可能ならば、
F\left( b\right) -F\left( a\right) = \int_{\left[a,\ b\right]} f\left( x\right)\,{\rm d}x
が成り立つ。逆に、f を任意の積分可能な関数とすると、F は至るところで \tfrac{\rm d}F}{\rm d}x} = f となる絶対連続な関数となる。
この定理の条件は、積分をヘンストック=クルツヴァイル積分と考えることにより、更に弱められる。特に、連続関数 F が可算無限個の点で微分可能であるなら、導関数 f はヘンストック=クルツヴァイル積分可能であり、
F\left( b\right) -F\left( a\right) =\int _{\left[a,\ b\right]} f\left( x\right)\,{\rm d}x
が成り立つ。ルベーグ積分の場合との違いは、f の積分可能性が要求されていないことである。
剰余項を積分形で表すバージョンのテイラーの定理は微分積分学の基本定理の一般化と見ることができる。
複素数体 \mathbf{C} 上の開集合 U で定義される複素関数 f: U \mapsto \mathbf{C} が U 上で原始関数 F をもつとする。このとき曲線 \gamma : \left[a,\ b\right] \mapsto U に沿った線積分は
\int _{\gamma} f\left( z\right)\,{\rm d}z =F\left( \gamma\left( b\right)\right) -F\left( \gamma\left( a\right)\right)
微分積分学の基本定理は、高次元の線積分および面積分や、また多様体上にも一般化できる。移動面の微分積分によって与えられるそのような一般化として、積分の時間発展がある。
微分積分学の基本定理の高次元での一般化として馴染み深いものに、発散定理と勾配定理がある。
この方向性での一般化として最も強力なものにストークスの定理がある(実際ストークスの定理はときどき「多変数微分積分学の基本定理」と呼ばれる)。
M を向き付けられた区分的に滑らかな n 次元の多様体、\omega をコンパクトな台を持つ M 上の n-1 形式とする。
\partial M が M から誘導された向き付きの M の境界なら、この多様体に対して定義される外微分を {\rm d} で表せば、
\int_{M} {\rm d}\omega =\int_{\partial M} \omega
が成り立つ。
この定理はしばしば、M が微分形式 \omega の定義されたより大きな多様体(例えば \mathbb{R}^k)に埋め込まれた向き付きの部分多様体である場合に利用される。