本稿では、定積分と不定積分を紹介しています。
なお、閲覧にあたっては、以下の点にご注意ください。
- スマートフォンやタブレット端末でご覧の際、数式が見切れている場合は、横にスクロールすることができます。
上方和と下方和
を閉区間 で定義された関数とし、 はこの区間で連続であるとする。
区間 の分割とは
であるような有限個の点の列
を指す。
ここで は任意の自然数である。
いま、分割を一般に のような文字で表し、上記の分割をたとえば
のように書く。
分割は必ずしも等分である必要はなく、小区間の幅
が一定である必要はない。
さて、上のように を閉区間 で連続な関数とし、
を区間 の1つの分割とする。
小区間 における の最大値、最小値をそれぞれ
とする。
そのとき、和
をそれぞれ、
分割 に対する の上方和 upper sum、下方和 lower sum と呼ぶ。ここでは、これらを
で表す。
定義によって であり、 なので、
両辺の についての和を取ると、
すなわち、任意の分割 に対して下方和は上方和を超えない。
一般に次の定理が成り立つ。
【定理】
積分の存在定理
Existence of Integrals
関数 を区間 で連続であるとする。そのとき、任意の下方和 より大きいかまたは等しく、任意の上方和 より小さいかまたは等しいような、ただ1つの数が存在する。ただし、ここで文字 は区間 の分割を一般的に表す。
上の定理によって確定するただ1つの数のことを、区間 における の積分 Integral、または、定積分 definite integral とよび、記号
で表す。
をこの定積分の下端 lower limit、を上端 upper limit と呼ぶ。
定積分の基本性質
【定理】
定積分の基本性質
Basic Properties of Definite Integrals
基本性質①
を区間 で連続な関数とする。 は定数で、 に属するすべての点 に対して
が成り立つとき
が成り立つ。
基本性質②
を区間 で連続な関数とし、 を を満たす任意の数とする。そのとき
が成り立つ。
微分と積分の関係
を区間 で連続な関数、 を の1つの定点とする。このとき、 の任意の点 に対して、積分
が定義される。
これは上端の によって値が定まるので、 の関数である。この関数を
とおく。
この関数 について次の定理が成り立つ。
【定理】
微分と積分の関係
Relationship between Derivative and Integration
上記の仮定のもとに、関数 は区間 で微分可能で、
が成り立つ。
証明
証明
を区間 の1つの点、 を、 がやはり に属するような、絶対値が十分小さい数とする。命題をいいかえると、
は区間 の右端の点ではないと仮定し、 とする。関数 の定義によって、ニュートン商の分子は
定積分の基本性質②より、
よって、
区間 における の最大点を 、最小点を とすると、 に属する任意の に対して
このとき、
定積分の基本性質①より、
辺々を で割ると、
ここで を に近づける。そのとき は に近づき、点 は区間 の点なので、これらも に近づく。したがって、はさみうちの原理より、
が負で に近づくときにも、同様にして上の極限の式が成り立つことが証明される。
原始関数
を区間 で定義された関数、 を同じく区間 で定義された関数で、
が成り立つとき、 を の原始関数 antiderivative、または、不定積分 indefinite integral と呼ぶ。
任意の関数 が原始関数をもつとは限らない。しかし、もし が原始関数 をもつならば、 を任意の定数として、関数
もまた の原始関数である。
なぜなら、定数の微分は だからである。
一般に、区間 で関数 が原始関数をもつならば、それは、定数の差を除いて一意的に定まる。また、連続関数については、連続関数は必ず原始関数をもつと言える。
実際、 を区間 で定義された連続な関数とする。そのとき、 を の1つの定点とし、 の任意の点 に対して
とおけば、微分と積分の関係によって
すなわち、 は の1つの原始関数となっている。ゆえに上の主張が成り立つ。
微分積分学の基本定理
【定理】
微分積分学の基本定理
Fundamental Theorem of Calculus
を区間 で連続な関数、 を の1つの原始関数とする。そのとき、の任意の2点 に対して
が成り立つ。
証明
証明
いま の2点 が与えられたとして、それらを固定する。そのとき、任意の に対し、
とおけば、
は の1つの原始関数なので、定理に与えられている原始関数 とこの との差は定数である。すなわち、 においてつねに
が成り立つような定数 が存在する。
この定数 を決定するために、上の等式において特に とおくと
ここで、
よって、
したがって
この等式は、任意の に対して成り立つので、上に得た等式で とすると、
参考文献
関連記事
0 件のコメント:
コメントを投稿