不定積分

関数の不定積分（ふていせきぶん）という用語には次に挙げる四種類の意味で用いられる場合がある。
文献によって、逆微分の意味で「不定積分」を扱っている場合と、上述の積分論1〜3の意味で扱っている場合があり、注意を要する。例えば岩波数学辞典では後者の積分論における不定積分が記述されている。
ただしこれらはそれぞれ無関係ではなく、後述するように、例えば (積分論) 1) は (積分論) 3) を数直線上で考えたものであって (逆微分) 0) と同等となるべきものであり、(積分論) 2) は本質的には (積分論) 1) や (積分論) 3) の一部分と見なすことができる。また (積分論) 2) から (逆微分) 0) を得ることもできるが、この対応は一般には全射でも単射でもない。これ以後、この項目で考える積分は、特に指定がない限り、リーマン積分であるものとする。
また後述するように、(積分論) の意味の不定積分を連続でない関数へ一般化すると、不定積分は通常の意味での原始関数となるとは限らなくなり、(初等数学) と一致しなくなるのだが、連続関数に対してはほぼ一致する概念であるため、しばしば混同して用いられる。
逆微分の定義.
関数 (積分される関数という意味で被積分関数という) が与えられたとき、微分方程式 formula_1 の解となる関数 各々である特殊解を の原始関数といい、解となる関数 全体である一般解を の 逆微分としての不定積分 という。原始関数という言葉はアドリアン＝マリ・ルジャンドルによる。
関数 の不定積分は、端点を指定しないリーマン積分の記法（ライプニッツの記法）を用いて
のように表される。この表記はピエール・ド・フェルマーによる。定義から、不定積分は一つの関数を表すものではないことに注意すべきである (実際、一階の微分方程式の一般解なのであるから、少なくとも一つの積分定数と呼ばれる任意定数を含む)。ただし、実用上は任意定数の値を決めるごとに原始関数が一つ現れるから、あたかも一つの関数であるかのように扱うことができる。
不定積分の定義.
不定積分.
閉区間上の可積分関数 と定義域内の任意の閉区間 に対して、次の 微分積分学の基本公式 を満たす関数 を の 不定積分 という:
基点を持つ不定積分.
閉区間上の可積分関数 に対して、定義域内の定数 から変数 までの定積分
を の を基点とする不定積分 という。
集合関数としての不定積分.
ユークリッド空間 formula_2 の可測集合 におけるルベーグ可測集合族とルベーグ測度のなす測度空間上でルベーグ可積分な関数 に対して、可測集合 formula_3 を変数とする集合関数
を関数 の 集合関数としての不定積分 という。このとき、formula_4 は絶対連続な完全加法的集合関数となる。
逆微分と不定積分、定積分との関係.
 を閉区間上の連続関数とする。このとき、不定積分と逆微分は次の意味で対応する。
不定積分から逆微分.
連続関数 に対して、微分積分学の基本定理（第一基本定理）から
が成り立つから、 を基点とする不定積分で与えられる関数 formula_5 は の原始関数のひとつである。
さらに不定積分 の定義から、formula_6 は を基点とする不定積分 formula_7 に一致するから、 の原始関数のひとつであり、従って formula_8 もそうである。
逆微分から不定積分.
逆に連続関数 の原始関数 が与えられれば、微分積分学の基本定理（第二基本定理）から、定義域内の任意の閉区間 に対して 微分積分学の基本公式
が成立するから、 は の不定積分である。
集合関数としての不定積分から基点を持つ不定積分.
 で が閉区間とし、基点 を固定する。formula_4 を 上の連続関数 の「集合関数としての不定積分」とするとき、変数 formula_10 に対して、formula_11 のとき formula_12 と、また formula_13 のとき formula_14 と置いて得られる関数 は、formula_15 を満たすから、 の「formula_16 を基点とする不定積分」を与える。
基点を持つ不定積分から逆微分.
連続関数 の「formula_16 を基点とする不定積分」formula_7 は、基点 formula_16 を定義域内で任意に移動させることで「不定積分」の部分集合を与える。ただし、この対応は一般には全射にも単射にもならない。例えば formula_20 という連続関数を考えた場合、その「不定積分」は formula_21 であるが「formula_16 を基点とする不定積分」formula_23 からは formula_24 の場合しか得られず、同じ formula_25 を与える formula_16 の値が二つ存在する。
逆微分と定積分との関係.
定積分を、定義から直接にリーマン和（微小長方形の面積の総和）の極限として求めるのは非常に困難であるが、連続関数の不定積分が初等関数で表せる場合は、微分積分学の基本公式 を用いると単純な計算問題に帰着させることができる。
性質.
以後、本項では特にことわらない限り関数は連続関数とし、「不定積分」という用語を逆微分という意味で用いる。
定理.
一つの連続関数に対する二つの原始関数は定数の違いしかなく、すべての変数項が一致することを証明 (黒丸印から開始) する。
実際、formula_27 を閉区間上の連続関数 の原始関数のひとつとし、同じ定義域における の他の原始関数 formula_28 をとると、
 を満たす適当な定数 formula_29 が存在する。
ゆえに の逆微分としての不定積分は任意定数 formula_29 を用いて
と書くことができる。
ここで任意定数 formula_29 は通常、積分定数 と呼ばれる。
従って特に formula_16 を基点とする不定積分と任意定数 formula_29 を用いて
と表すことができる。
一般化.
可測関数の不定積分.
閉区間上のルベーグ可積分関数 に対しても、定義域内の定数 formula_16 を一つ固定するとき、任意の定数 formula_29 を用いて表される
を の formula_16 を基点とする不定積分と呼ぶことができる。ただし、formula_68 の場合は formula_69 であり、formula_70 の場合は formula_71 である。この様な一般化を考えた場合は、 の値をとめるごとに、 の連続関数（実は絶対連続となる）を与えるが、 は必ずしも微分可能ではない。また、積分の値は測度 formula_72 の集合上で の値を取り換えたとしても変化しないから、 が微分可能な点においても、導関数が に一致するとは限らない。すなわち、この様な一般化を考えた場合には、一般には原始関数と不定積分は異なる概念となる。
あるいはもし、原始関数の概念をもさらに一般化し、例えばほとんどいたる所で微分可能でそこでの微分係数が に一致する連続関数 formula_28 を原始関数と呼ぶと、今度は二つの原始関数の差が定数であることが一般には成り立たなくなり、微分積分学の基本公式が成立しないことになる。
実際、カントール集合から作られる単調増加関数であるカントール関数は、定数関数でないのに、恒等的に値 formula_72 をとる定数関数のここでの意味の原始関数となっている。
ただしカントール関数は絶対連続ではなく、一般に原始関数にさらに絶対連続性を要求するのであればこの様な例は排除される。