微分積分学の基本定理

連続関数に対する微分と積分が互いの逆操作であることを示す定理

微分積分学の基本定理(びぶんせきぶんがくのきほんていり、: fundamental theorem of calculus)とは、「関数に対する微分積分は互いの逆操作である」 ということを主張する解析学定理である。微分積分法の基本定理ともいう。

微分積分学の基本定理は一変数関数に対するものだが、多変数関数への拡張は、ストークスの定理として知られる。

微分積分学の基本定理の発見以前は、微分法接線法)と積分法求積法)は別個の問題と捉えられていた。微分積分学の基本定理はアイザック・ニュートンによって1665年頃、ゴットフリート・ライプニッツによって1675年頃に、それぞれ独立に発見されている。当初ニュートンはこの結果を発表せず、(ニュートンより後に発見した)ライプニッツが先に公表したために先取権を巡って論争となった。

定理編集

微分積分学の基本定理として知られる定理にはいくつか(等価でない)バリエーションがある。

連続関数の不定積分が微分可能であること編集

微分積分学の第一基本定理 ― 関数  区間   上で連続ならば、任意の定数   および変数   に対して、 不定積分

 

  に関して微分可能で、

 

が成り立つ[1]。すなわち、  原始関数である。

この定理は微分積分学の第一基本定理と呼ばれる。第一定理により、(連続)関数を積分して微分すると元に戻ることが言える。

導関数の定積分が区間の両端での関数値の差に等しいこと編集

微分積分学の第二基本定理 ― 区間   上で微分可能な関数   について、その導関数   が積分可能であるとき、任意の   に対して

 

が成り立つ。

この定理は微分積分学の第二基本定理と呼ばれる。第二定理は、関数を微分して積分すると高々定数の差を除いて元の関数が現われることを主張する。

積分可能性に関して、通常はリーマン積分の意味で積分可能であることを要求するが、ルベーグ積分に対する基本定理も存在する(Rudin (1976, p. 324) を参照)。

  が連続である場合に成り立つ次のは、微分積分学の基本公式[2]として知られる:

微分積分学の基本公式 ― 区間   上で連続な関数   について、その原始関数の一つを  として、

 

が成り立つ[3]

基本公式は原始関数の差として定積分を計算できることを主張する。第二定理と違い基本公式では被積分関数に連続性を課すが、第二定理は(積分可能であれば)不連続な関数に対しても成り立つ。

一般化編集

第一基本定理の一般化編集

微分積分学の第一基本定理において、関数 f は、区間   の全体で連続である必要はなく、次のように弱められる:

ルベーグ積分可能な関数に対する第一定理の一般化 ―   とし、区間  ルベーグ積分可能であり、  で連続な関数   について、その原始関数を

 

とする。この    上で微分可能であり、また   が成り立つ。

またさらに、  は単に局所可積分であるとした場合でも、関数  ほとんど至るところ微分可能かつほとんど至るところ   である。

実数直線上では、この事実はルベーグの微分定理と同値となる。これらの結果は、より大きなクラスの積分可能な関数を定めるヘンストック=クルツヴァイル積分においても成立する。[4]

より高い次元では、ルベーグの微分定理は、「ほとんどすべての   について、関数    を中心とする半径   の球上における平均値が、  が 0 に近づくとき、  に近づく」という形で微積分の基本定理を一般化する。

第二基本定理の一般化編集

第二基本定理は、原始関数   を持つ任意のルベーグ積分可能な関数   について成り立つ。すなわち、

ルベーグ積分可能な関数に対する第二定理の一般化 ― 閉区間   上の実関数  すべての   において微分可能であり、  の導関数    上でルベーグ積分可能ならば、

 [5]

が成り立つ。

この結果は連続関数  ほとんど至るところで導関数   を持つ場合には成立するとは限らず、反例としてカントール関数が知られている。しかし  絶対連続であり、ほとんど至るところで微分可能で、その導関数   が積分可能ならば、  が成り立つ。逆に、  を任意の積分可能な関数とすると、  は至るところで   となる絶対連続な関数となる。

この定理の条件は、積分をヘンストック=クルツヴァイル積分と考えることにより、更に弱められる。特に、連続関数  可算無限個の点で微分可能であるなら、導関数   はヘンストック=クルツヴァイル積分可能であり、  が成り立つ。ルベーグ積分の場合との違いは、  の積分可能性が要求されていないことである。[6]

テイラーの定理編集

剰余項を積分形で表すバージョンのテイラーの定理は微分積分学の基本定理の一般化と見ることができる。

複素線積分編集

複素数  上の開集合   で定義される複素関数    上で原始関数   を持つとする。このとき曲線   に沿った線積分

 

ストークスの定理編集

微分積分学の基本定理は、高次元の線積分および面積分や、また多様体上にも一般化できる。移動面の微分積分英語版によって与えられるそのような一般化として、積分の時間発展英語版がある。 微分積分学の基本定理の高次元での一般化として馴染み深いものに、発散定理勾配定理英語版がある。

この方向性での一般化として最も強力なものにストークスの定理がある(実際ストークスの定理はときどき「多変数微分積分学の基本定理」と呼ばれる)。[7]

ストークスの定理 ―  向き付けられた区分的滑らか  次元の多様体、 コンパクトな台を持つ   上の   形式とする。    から誘導された向き付きの   の境界なら、この多様体に対して定義される外微分  で表せば、

 

が成り立つ。

この定理はしばしば、  が微分形式   の定義されたより大きな多様体(例えば  )に埋め込まれた向き付きの部分多様体である場合に利用される。

脚注編集

  1. ^ 小平 2003, 定理4.4.
  2. ^ 小平 2003, p. 165.
  3. ^ 小平 2003, 定理4.5.
  4. ^ Bartle (2001), Thm. 4.11.
  5. ^ Rudin 1987, th. 7.21.
  6. ^ Bartle (2001), Thm. 4.7.
  7. ^ Spivak, M. (1965). Calculus on Manifolds. New York: W. A. Benjamin. pp. 124–125. ISBN 978-0-8053-9021-6 

参考文献編集

関連項目編集