不定積分

テンプレート:出典の明記 関数の不定積分（ふていせきぶん）という用語には次に挙げる四種類の意味で用いられる場合がある。

(逆微分) 0)

微分の逆操作を意味する：すなわち、与えられた関数が連続であるとき、微分するとその関数に一致するような新たな関数（原始関数）を求める操作のこと、およびその原始関数の全体(集合)を 逆微分（テンプレート:En）と言う（積分定数は無視する）。

(積分論) 1)

一変数関数 テンプレート:Math に対して、定義域内の任意の閉区間 テンプレート:Math 上の定積分が テンプレート:Math に一致する関数 テンプレート:Math を関数 テンプレート:Math の 不定積分 (テンプレート:En) と言う。

(積分論) 2)

一変数関数の定義域内の定数 テンプレート:Mvar から変数 テンプレート:Mvar までの（端点が定数でない）積分で与えられる関数を関数 テンプレート:Math の テンプレート:Mvar を基点とする不定積分 (テンプレート:En) と言う。

(積分論) 3)

ルベーグ積分論において定義域内の可測集合を変数とし、変数としての集合上での積分を値とする集合関数を関数 テンプレート:Mvar の 集合関数としての不定積分 (テンプレート:En) と言う。

文献によって、逆微分の意味で「不定積分」を扱っている場合と、上述の積分論1〜3の意味で扱っている場合があり、注意を要する。例えば岩波数学辞典では後者の積分論における不定積分が記述されている。ただしこれらはそれぞれ無関係ではなく、後述するように、例えば (積分論) 1) は (積分論) 3) を数直線上で考えたものであって (逆微分) 0) と同等となるべきものであり、(積分論) 2) は本質的には (積分論) 1) や (積分論) 3) の一部分と見なすことができる。また (積分論) 2) から (逆微分) 0) を得ることもできるが、この対応は一般には全射でも単射でもない。これ以後、この項目で考える積分は、特に指定がない限り、リーマン積分であるものとする。

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

逆微分の定義

関数 テンプレート:Math (積分される関数という意味で被積分関数という) が与えられたとき、微分方程式 $\frac{d}{dx}F(x)=f(x)$ の解となる関数 テンプレート:Math 各々である特殊解を テンプレート:Math の原始関数といい、解となる関数 テンプレート:Math 全体である一般解を テンプレート:Math の 逆微分としての不定積分 という。原始関数という言葉はアドリアン＝マリ・ルジャンドルによる。

関数 テンプレート:Math の不定積分は、端点を指定しないリーマン積分の記法（ライプニッツの記法）を用いて テンプレート:Indent のように表される。この表記はピエール・ド・フェルマーによる。定義から、不定積分は一つの関数を表すものではないことに注意すべきである (実際、一階の微分方程式の一般解なのであるから、少なくとも一つの積分定数と呼ばれる任意定数を含む)。ただし、実用上は任意定数の値を決めるごとに原始関数が一つ現れるから、あたかも一つの関数であるかのように扱うことができる。

不定積分の定義

不定積分

閉区間上の可積分関数 テンプレート:Math と定義域内の任意の閉区間 テンプレート:Math に対して、次の 微分積分学の基本公式 を満たす関数 テンプレート:Math を テンプレート:Math の 不定積分 という: テンプレート:Indent

基点を持つ不定積分

閉区間上の可積分関数 テンプレート:Math に対して、定義域内の定数 テンプレート:Mvar から変数 テンプレート:Mvar までの定積分 テンプレート:Indent を テンプレート:Math の テンプレート:Mvar を基点とする不定積分 という。

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

ユークリッド空間 ${𝐑}^n$ の可測集合 テンプレート:Mvar におけるルベーグ可測集合族とルベーグ測度のなす測度空間上でルベーグ積分可能な関数 テンプレート:Mvar に対して、可測集合 $E\subset X$ を変数とする集合関数 テンプレート:Indent を関数 テンプレート:Mvar の 集合関数としての不定積分 という。このとき、$\mathrm{\Phi }(E)$ は絶対連続な完全加法的集合関数となる。

逆微分と不定積分、定積分との関係

テンプレート:Math を閉区間上の連続関数とする。このとき、不定積分と逆微分は次の意味で対応する。

不定積分から逆微分

連続関数 テンプレート:Math に対して、微分積分学の基本定理（第一基本定理）から テンプレート:Indent が成り立つから、テンプレート:Mvar を基点とする不定積分で与えられる関数 $\underset{a}{\overset{x}{\int }}f(t)dt$ は テンプレート:Math の原始関数のひとつである。

さらに不定積分 テンプレート:Math の定義から、$G(x):=F(x)-F(a)$ は テンプレート:Mvar を基点とする不定積分 $\underset{a}{\overset{x}{\int }}f(t)dt$ に一致するから、テンプレート:Math の原始関数のひとつであり、従って $F(x)=\underset{a}{\overset{x}{\int }}f(t)dt+F(a)$ もそうである。

逆微分から不定積分

逆に連続関数 テンプレート:Math の原始関数 テンプレート:Math が与えられれば、微分積分学の基本定理（第二基本定理）から、定義域内の任意の閉区間 テンプレート:Math に対して 微分積分学の基本公式 テンプレート:Indent が成立するから、テンプレート:Math は テンプレート:Math の不定積分である。

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

テンプレート:Math で テンプレート:Mvar が閉区間とし、基点 テンプレート:Math を固定する。$\mathrm{\Phi }(E)$ を テンプレート:Mvar 上の連続関数 テンプレート:Mvar の「集合関数としての不定積分」とするとき、変数 $x\in X$ に対して、$x\ge a$ のとき $F(x):=\mathrm{\Phi }([a,x])$ と、また $x\le a$ のとき $F(x):=-\mathrm{\Phi }([x,a])$ と置いて得られる関数 テンプレート:Math は、$\underset{a}{\overset{x}{\int }}f(t)dt=F(x)$ を満たすから、テンプレート:Math の「$a$ を基点とする不定積分」を与える。

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

連続関数 テンプレート:Math の「$a$ を基点とする不定積分」$\underset{a}{\overset{x}{\int }}f(t)dt$ は、基点 $a$ を定義域内で任意に移動させることで「不定積分」の部分集合を与える。ただし、この対応は一般には全射にも単射にもならない。例えば $f(x):=x$ という連続関数を考えた場合、その「不定積分」は $\int xdx=\frac{1}{2}{x}^2+C$ であるが「$a$ を基点とする不定積分」$\underset{a}{\overset{x}{\int }}tdt=\frac{1}{2}{x}^2-\frac{1}{2}{a}^2$ からは $C\le 0$ の場合しか得られず、同じ $C<0$ を与える $a$ の値が二つ存在する。

逆微分と定積分との関係

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

性質

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

定理

一つの連続関数に対する二つの原始関数は定数の違いしかなく、すべての変数項が一致することを証明 (黒丸印から開始) する。 実際、$F(x)$ を閉区間上の連続関数 テンプレート:Math の原始関数のひとつとし、同じ定義域における テンプレート:Math の他の原始関数 $G(x)$ をとると、 テンプレート:Indent を満たす適当な定数 $C$ が存在する。

• 条件より $(G(x)-F(x){)}^{\prime }=f(x)-f(x)=0$ であるから、平均値の定理より $G(x)-F(x)$ は定数である。

ゆえに テンプレート:Math の逆微分としての不定積分は任意定数 $C$ を用いて テンプレート:Indent と書くことができる。 ここで任意定数 $C$ は通常、積分定数 と呼ばれる。 従って特に $a$ を基点とする不定積分と任意定数 $C$ を用いて テンプレート:Indent と表すことができる。

一般公式

• $\int (f(x)+g(x))dx=\int f(x)dx+\int g(x)dx.$
• $\int af(x)dx=a\int f(x)dx.$
• $\int f(x)g^{\prime }(x)dx=f(x)g(x)-\int f^{\prime }(x)g(x)dx.$　（部分積分法）
• $\int f(x)dx=\int f(g(t))\frac{dx}{dt}dt.$　（置換積分法）
• $\int f^{-1}(x)dx=x{f}^{-1}(x)-\int f(f^{-1}(x))d{f}^{-1}(x).$
• $\int \frac{f^{\prime }(x)}{f(x)}dx=\log |f(x)|+C.$

有名な関数に対する公式

• $\int dx=x+C.$
• $\int x^{a}dx=\frac{1}{a+1}{x}^{a+1}+C.(a\ne -1)$
• $\int \frac{1}{x}dx=\ln |x|+C.$
• $\int \frac{1}{x^2+a^2}dx=\frac{1}{a}\arctan \frac{x}{a}+C.(a\ne 0)$
• $\int \frac{1}{x^2-a^2}dx=\frac{1}{2a}\ln \left|\frac{x-a}{x+a}\right|+C.(a\ne 0)$
• $\int \frac{1}{\sqrt{a^2-x^2}}dx=\arcsin \frac{x}{a}+C.(a>0)$
• $\int \sqrt{a^2-x^2}dx=\frac{1}{2}(x\sqrt{a^2-x^2}+a^2\arcsin \frac{x}{a})+C.(a>0)$
• $\int \frac{1}{\sqrt{x^2+A}}dx=\ln |x+\sqrt{x^2+A}|+C.(A\ne 0)$
• $\int \sqrt{x^2+A}dx=\frac{1}{2}(x\sqrt{x^2+A}+A\ln |x+\sqrt{x^2+A}|)+C.(A\ne 0)$
• $\int e^{x}dx=e^x+C.$
• $\int a^{x}dx=\frac{a^x}{\ln a}+C.$
• $\int \ln xdx=x\ln |x|-x+C.$
• $\int {\log }_{a}xdx=x{\log }_a|x|-\frac{x}{\ln a}+C.$
• $\int \sin xdx=-\cos x+C.$
• $\int \cos xdx=\sin x+C.$
• $\int \tan xdx=-\ln |\cos x|+C.$
• $\int \arcsin xdx=x\arcsin x+\sqrt{1-x^2}+C.$
• $\int \frac{1}{\sin x}dx=\ln |\tan \frac{x}{2}|+C.$
• $\int \frac{1}{{\sin }^{2}x}dx=-\frac{1}{\tan x}+C.$
• $\int \frac{1}{\cos x}dx=\frac{1}{2}\ln \frac{1+\sin x}{1-\sin x}+C.$
• $\int \frac{1}{{\cos }^{2}x}dx=\tan x+C.$
• $\int \frac{1}{\tan x}dx=\ln |\sin x|+C.$
• $\int \arctan xdx=x\arctan x-\frac{1}{2}\ln (1+x^2)+C.$

一般化

可測関数の不定積分

閉区間上のルベーグ可積分関数 テンプレート:Math に対しても、定義域内の定数 $a$ を一つ固定するとき、任意の定数 $C$ を用いて表される テンプレート:Indent を テンプレート:Math の $a$ を基点とする不定積分と呼ぶことができる。ただし、$a\le x$ の場合は $\underset{a}{\overset{x}{\int }}f(t)dt=\underset{[a,x]}{\int }fd\mu$ であり、$x\le a$ の場合は $\underset{a}{\overset{x}{\int }}f(t)dt:=-\underset{[x,a]}{\int }fd\mu$ である。この様な一般化を考えた場合は、テンプレート:Mvar の値をとめるごとに、テンプレート:Mvar の連続関数（実は絶対連続となる）を与えるが、テンプレート:Math は必ずしも微分可能ではない。また、積分の値は測度 $0$ の集合上で テンプレート:Math の値を取り換えたとしても変化しないから、テンプレート:Math が微分可能な点においても、導関数が テンプレート:Math に一致するとは限らない。すなわち、この様な一般化を考えた場合には、一般には原始関数と不定積分は異なる概念となる。

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

関連項目

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

外部リンク

• Wolram Mathematica Online Integrator (Wolram Research)
• Indefinite Integral (Encyclopedia of Mathematics)

テンプレート:Normdaten