不定積分

関数の不定積分という用語には次に挙げる四種類の意味で用いられる場合がある。

 0) 微分の逆操作を意味する：すなわち、与えられた関数が連続関数であるとき、微分するとその関数に一致するような新たな関数を求める操作のこと、およびその原始関数の全体を 逆微分と言う。 1)一変数関数 //f//}} に対して、定義域内の任意の閉区間 [//a//, //b//]}} 上の定積分が //F// − //F//}} に一致する関数 //F//}} を関数 //f//}} の 不定積分  と言う。 2) 一変数関数の定義域内の定数 a}} から変数 x}} までの積分で与えられる関数を関数 //f//}} の a}} を基点とする不定積分  と言う。 3) ルベーグ積分論において定義域内の可測集合を変数とし、変数としての集合上での積分を値とする集合関数を関数 f}} の 集合関数としての不定積分  と言う。文献によって、逆微分の意味で「不定積分」を扱っている場合と、上述の積分論1〜3の意味で扱っている場合があり、注意を要する。例えば岩波数学辞典では後者の積分論における不定積分が記述されている。 ただしこれらはそれぞれ無関係ではなく、後述するように、例えば  1) は  3) を数直線上で考えたものであって  0) と同等となるべきものであり、 2) は本質的には  1) や  3) の一部分と見なすことができる。また  2) から  0) を得ることもできるが、この対応は一般には全射でも単射でもない。これ以後、この項目で考える積分は、特に指定がない限り、リーマン積分であるものとする。

また後述するように、 の意味の不定積分を連続でない関数へ一般化すると、不定積分は通常の意味での原始関数となるとは限らなくなり、 と一致しなくなるのだが、連続関数に対してはほぼ一致する概念であるため、しばしば混同して用いられる。

1. 逆微分の定義
---------

関数 //f//}}  が与えられたとき、微分方程式 の解となる関数 //F//}} 各々である特殊解を //f//}} の原始関数といい、解となる関数 //F//}} 全体である一般解を //f//}} の 逆微分としての不定積分 という。原始関数という言葉はアドリアン＝マリ・ルジャンドルによる。

関数 //f//}} の不定積分は、端点を指定しないリーマン積分の記法を用いて のように表される。この表記はピエール・ド・フェルマーによる。定義から、不定積分は一つの関数を表すものではないことに注意すべきである 。ただし、実用上は任意定数の値を決めるごとに原始関数が一つ現れるから、あたかも一つの関数であるかのように扱うことができる。

2. 不定積分の定義
----------

2.1. 不定積分
---------

閉区間上の可積分関数 //f//}} と定義域内の任意の閉区間 [//a//, //b//]}} に対して、次の 微分積分学の基本公式 を満たす関数 //F//}} を //f//}} の 不定積分 という:

2.2. 基点を持つ不定積分
--------------

閉区間上の可積分関数 //f//}} に対して、定義域内の定数 a}} から変数 x}} までの定積分 を //f//}} の a}} を基点とする不定積分 という。

2.3. 集合関数としての不定積分
-----------------

ユークリッド空間 の可測集合 X}} におけるルベーグ可測集合族とルベーグ測度のなす測度空間上でルベーグ可積分な関数 f}} に対して、可測集合 を変数とする集合関数 を関数 f}} の 集合関数としての不定積分 という。このとき、 は絶対連続な完全加法的集合関数となる。

3. 逆微分と不定積分、定積分との関係
-------------------

//f//}} を閉区間上の連続関数とする。このとき、不定積分と逆微分は次の意味で対応する。

3.1. 不定積分から逆微分
--------------

連続関数 //f//}} に対して、微分積分学の基本定理から が成り立つから、a}} を基点とする不定積分で与えられる関数 は //f//}} の原始関数のひとつである。

さらに不定積分 //F//}} の定義から、 は a}} を基点とする不定積分 に一致するから、//f//}} の原始関数のひとつであり、従って もそうである。

3.2. 逆微分から不定積分
--------------

逆に連続関数 //f//}} の原始関数 //F//}} が与えられれば、微分積分学の基本定理から、定義域内の任意の閉区間 [//a//, //b//]}} に対して 微分積分学の基本公式 が成立するから、//F//}} は //f//}} の不定積分である。

3.3. 集合関数としての不定積分から基点を持つ不定積分
----------------------------

1=//n// = 1}} で X}} が閉区間とし、基点 //a// ∈ //X//}} を固定する。 を X}} 上の連続関数 f}} の「集合関数としての不定積分」とするとき、変数 に対して、 のとき と、また のとき と置いて得られる関数 //F//}} は、 を満たすから、//f//}} の「 を基点とする不定積分」を与える。

3.4. 基点を持つ不定積分から逆微分
-------------------

連続関数 //f//}} の「 を基点とする不定積分」 は、基点 を定義域内で任意に移動させることで「不定積分」の部分集合を与える。ただし、この対応は一般には全射にも単射にもならない。例えば という連続関数を考えた場合、その「不定積分」は であるが「 を基点とする不定積分」 からは の場合しか得られず、同じ を与える の値が二つ存在する。

3.5. 逆微分と定積分との関係
----------------

定積分を、定義から直接にリーマン和の極限として求めるのは非常に困難であるが、連続関数の不定積分が初等関数で表せる場合は、微分積分学の基本公式 を用いると単純な計算問題に帰着させることができる。

4. 性質
-----

以後、本項では特にことわらない限り関数は連続関数とし、「不定積分」という用語を逆微分という意味で用いる。

4.1. 定理
-------

一つの連続関数に対する二つの原始関数は定数の違いしかなく、すべての変数項が一致することを証明  する。 実際、 を閉区間上の連続関数 //f//}} の原始関数のひとつとし、同じ定義域における //f//}} の他の原始関数 をとると、}} を満たす適当な定数 が存在する。

条件より であるから、平均値の定理より は定数である。ゆえに //f//}} の逆微分としての不定積分は任意定数 を用いて と書くことができる。 ここで任意定数 は通常、積分定数 と呼ばれる。 従って特に を基点とする不定積分と任意定数 を用いて と表すことができる。

4.2. 一般公式
---------

　
　

4.3. 有名な関数に対する公式
----------------

5. 一般化
------

5.1. 可測関数の不定積分
--------------

閉区間上のルベーグ可積分関数 //f//}} に対しても、定義域内の定数 を一つ固定するとき、任意の定数 を用いて表される を //f//}} の  を基点とする不定積分と呼ぶことができる。ただし、 の場合は であり、 の場合は である。この様な一般化を考えた場合は、C}} の値をとめるごとに、x}} の連続関数を与えるが、//F//}} は必ずしも微分可能ではない。また、積分の値は測度 の集合上で //f//}} の値を取り換えたとしても変化しないから、//F//}} が微分可能な点においても、導関数が //f//}} に一致するとは限らない。すなわち、この様な一般化を考えた場合には、一般には原始関数と不定積分は異なる概念となる。

あるいはもし、原始関数の概念をもさらに一般化し、例えばほとんどいたる所で微分可能でそこでの微分係数が //f//}} に一致する連続関数 を原始関数と呼ぶと、今度は二つの原始関数の差が定数であることが一般には成り立たなくなり、微分積分学の基本公式が成立しないことになる。 実際、カントール集合から作られる単調増加関数であるカントール関数は、定数関数でないのに、恒等的に値 をとる定数関数のここでの意味の原始関数となっている。 ただしカントール関数は絶対連続ではなく、一般に原始関数にさらに絶対連続性を要求するのであればこの様な例は排除される。

6. 脚注
-----

6.1. 注釈
-------

6.2. 出典
-------

7. 関連項目
-------

積分法
ルベーグ積分
ルベーグの微分定理
部分積分
置換積分

8. 外部リンク
--------

[1]
[2]