不定積分のソースを表示

{{出典の明記|date=2015年9月}}
[[関数 (数学)|関数]]の'''不定積分'''（ふていせきぶん）という用語には次に挙げる四種類の意味で用いられる場合がある。

;(逆微分) 0) 
: 微分の逆操作を意味する：すなわち、与えられた関数が[[連続 (数学)|連続]]であるとき、[[微分]]するとその関数に一致するような新たな関数（'''原始関数'''）を求める操作のこと、およびその原始関数の全体(集合)<ref group="注">不定積分あるいは原始関数を求めることを''積分する''という</ref>を '''逆微分'''（{{en|antiderivative}}）と言う（積分定数は無視する）。

;(積分論) 1)
:一変数関数 {{math|''f''(''x'')}} に対して、定義域内の任意の閉区間 {{math|[''a'', ''b'']}} 上の定積分が {{math|''F''(''b'') − ''F''(''a'')}} に一致する関数 {{math|''F''(''x'')}} を関数 {{math|''f''(''x'')}} の '''不定積分''' ({{en|indefinite integral}}) と言う。

;(積分論) 2)
: 一変数関数の定義域内の定数 {{mvar|a}} から変数 {{mvar|x}} までの（端点が定数でない）積分で与えられる関数を関数 {{math|''f''(''x'')}} の '''{{mvar|a}} を基点とする不定積分''' ({{en|indefinite integral with base point {{mvar|a}}}}) と言う。

;(積分論) 3)
: ルベーグ積分論において定義域内の可測集合を変数とし、変数としての集合上での積分を値とする集合関数を関数 {{mvar|f}} の '''集合関数としての不定積分''' ({{en|indefinite integral as a set-function}}) と言う。

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

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

== 逆微分の定義 ==
関数 {{math|''f''(''x'')}} (積分される関数という意味で'''被積分関数'''という) が与えられたとき、[[微分方程式]] <math>\tfrac{d}{dx}F(x) = f(x)</math> の解となる関数 {{math|''F''(''x'')}} 各々である特殊解を {{math|''f''(''x'')}} の'''原始関数'''といい、解となる関数 {{math|''F''(''x'')}} 全体である一般解を {{math|''f''(''x'')}} の '''逆微分としての不定積分''' という。原始関数という言葉は[[アドリアン＝マリ・ルジャンドル]]による<ref name="kurogi">{{Cite |和書 | author = 黒木哲徳 | title = なっとくする数学記号 | date = 2021 | pages = 79,216 | publisher = 講談社 | isbn = 9784065225509 | series = ブルーバックス | ref = harv }}</ref>。

関数 {{math|''f''(''x'')}} の不定積分は、端点を指定しないリーマン積分の記法（[[ゴットフリート・ライプニッツ|ライプニッツ]]の記法）を用いて
{{Indent|<math>\int f(x)\,dx</math>}}
のように表される。この表記は[[ピエール・ド・フェルマー]]による<ref name="kurogi"/>。定義から、不定積分は一つの関数を表すものではないことに注意すべきである (実際、一階の微分方程式の一般解なのであるから、少なくとも一つの積分定数と呼ばれる任意定数を含む)。ただし、実用上は任意定数の値を決めるごとに原始関数が一つ現れるから、あたかも一つの関数であるかのように扱うことができる。

== 不定積分の定義 ==

=== 不定積分 ===
閉区間上の可積分関数 {{math|''f''(''x'')}} と定義域内の任意の閉区間 {{math|[''a'', ''b'']}} に対して、次の '''微分積分学の基本公式''' を満たす関数  {{math|''F''(''x'')}}  を {{math|''f''(''x'')}} の '''不定積分''' という:
{{Indent|<math>\int_a^b f(x)\,dx = F(b)-F(a).</math>}}

=== 基点を持つ不定積分 ===
閉区間上の可積分関数 {{math|''f''(''x'')}} に対して、定義域内の定数 {{mvar|a}} から変数 {{mvar|x}} までの定積分
{{Indent|<math>\int_a^x f(x)\,dx</math>}}
を {{math|''f''(''x'')}} の '''{{mvar|a}} を基点とする不定積分''' という。

=== 集合関数としての不定積分 ===
ユークリッド空間 <math>\mathbf{R}^n</math> の可測集合 {{mvar|X}} におけるルベーグ可測集合族と[[ルベーグ測度]]のなす測度空間上で[[ルベーグ積分]]可能な関数 {{mvar|f}} に対して、可測集合 <math>E \subset X</math> を変数とする集合関数
{{Indent|<math>\Phi(E) :=\int_E f\,d\mu</math>}}
を関数 {{mvar|f}} の '''集合関数としての不定積分''' という。このとき、<math>\Phi(E)</math> は絶対連続な完全加法的集合関数となる。

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

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

=== 不定積分から逆微分 ===
連続関数 {{math|''f''(''x'')}} に対して、[[微分積分学の基本定理]]（'''第一基本定理'''）から
{{Indent|<math>\frac{d}{dx}\int_a^x f(t)\,dt = f(x)</math>}}
が成り立つから、{{mvar|a}} を基点とする不定積分で与えられる関数 <math>\int_a^x f(t)dt </math> は {{math|''f''(''x'')}} の原始関数のひとつである。

さらに不定積分 {{math|''F''(''x'')}} の定義から、<math>G(x):=F(x)-F(a)</math> は {{mvar|a}} を基点とする不定積分 <math>\int_a^x f(t)\,dt</math> に一致するから、{{math|''f''(''x'')}} の原始関数のひとつであり、従って <math>F(x)=\int_a^x f(t)\,dt+F(a)</math> もそうである。

=== 逆微分から不定積分 ===
逆に連続関数 {{math|''f''(''x'')}} の原始関数 {{math|''F''(''x'')}} が与えられれば、微分積分学の基本定理（'''第二基本定理'''）から、定義域内の任意の閉区間 {{math|[''a'', ''b'']}} に対して '''微分積分学の基本公式'''
{{Indent|<math>\int_{a}^{b}f(t)dt = F(b) - F(a)</math>}}
が成立するから、{{math|''F''(''x'')}} は {{math|''f''(''x'')}} の不定積分である。

=== 集合関数としての不定積分から基点を持つ不定積分 ===
{{math|1=''n'' = 1}} で {{mvar|X}} が閉区間とし、基点 {{math|''a'' &isin; ''X''}} を固定する。<math>\Phi(E)</math> を {{mvar|X}} 上の連続関数 {{mvar|f}} の「集合関数としての不定積分」とするとき、変数 <math>x \in X</math> に対して、<math>x\ge a</math> のとき <math>F(x):=\Phi([a,x])</math> と、また <math>x\le a</math> のとき <math>F(x):=-\Phi([x,a])</math> と置いて得られる関数 {{math|''F''(''x'')}} は、<math>\int_a^x f(t)\,dt = F(x)</math> を満たすから、{{math|''f''(''x'')}} の「<math>a</math> を基点とする不定積分」を与える。

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

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

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

=== 定理 ===
一つの連続関数に対する二つの原始関数は定数の違いしかなく、すべての変数項が一致することを証明 (黒丸印から開始) する。
実際、<math>F(x)</math> を閉区間上の連続関数 {{math|''f''(''x'')}} の原始関数のひとつとし、同じ定義域における {{math|''f''(''x'')}} の他の原始関数 <math>G(x)</math> をとると、
{{Indent|<math>G(x) - F(x) = C\, </math>（定数）}} を満たす適当な定数 <math>C</math> が存在する。
*条件より <math>(G(x)-F(x))'=f(x)-f(x)=0</math> であるから、平均値の定理より <math>G(x)-F(x)</math> は定数である。

ゆえに {{math|''f''(''x'')}} の逆微分としての不定積分は任意定数 <math>C</math> を用いて
{{Indent|<math>\int f(x)\,dx = F(x) + C</math>}}
と書くことができる。
ここで任意定数 <math>C</math> は通常、'''積分定数''' と呼ばれる。
従って特に <math>a</math> を基点とする不定積分と任意定数 <math>C</math> を用いて
{{Indent|<math>\int f(x)\,dx = \int_a^x f(t)\,dt + C</math>}}
と表すことができる。

=== 一般公式 ===
* <math>\int (f(x)+g(x)) dx = \int f(x)dx + \int g(x)dx. </math>
* <math>\int af(x) dx = a\int f(x)dx. </math>
* <math>\int f(x)g'(x) dx = f(x)g(x) - \int f'(x)g(x)dx. </math>　（部分積分法）
* <math>\int f(x) dx = \int f(g(t))\frac{dx}{dt}\,dt. </math>　（置換積分法）
* <math>\int f^{-1}(x) dx = xf^{-1}(x)-\int f(f^{-1}(x))df^{-1}(x).</math>
* <math>\int \frac{f'(x)}{f(x)} dx = \log|f(x)|+C.</math>

=== 有名な関数に対する公式 ===
{{seealso|原始関数の一覧}}
* <math>\int dx = x+C. </math>
* <math>\int x^a dx = \frac{1}{a+1}x^{a+1}+C. \quad (a \ne -1)</math>
* <math>\int \frac{1}{x}dx = \ln|x|+C. </math>
* <math>\int \frac{1}{x^2 + a^2} \, dx = \frac{1}{a} \arctan \frac{x}{a}+C. \quad (a \ne 0)</math>
* <math>\int \frac{1}{x^2 - a^2} \, dx = \frac{1}{2a} \ln \left|\frac{x-a}{x+a}\right|+C. \quad (a \ne 0)</math>
* <math>\int \frac {1}{\sqrt{a^2 - x^2}} \, dx = \arcsin\frac{x}{a}+C. \quad (a > 0)</math>
* <math>\int \sqrt{a^2 - x^2}\,dx = \frac{1}{2} \left(x \sqrt{a^2 -x^2}+a^2 \arcsin\frac{x}{a}\right)+C. \quad (a > 0)</math>
* <math>\int \frac{1}{\sqrt{x^2 + A}} \,dx = \ln \left|x + \sqrt {x^2 + A}\right|+C. \quad (A \ne 0)</math>
* <math>\int \sqrt{x^2+A}\,dx = \frac{1}{2}\left(x\sqrt{x^2+A}+A \ln\left|x+\sqrt{x^2+A}\right|\right)+C. \quad(A \ne 0)</math>
* <math>\int e^x dx = e^x+C. </math>
* <math>\int a^x dx = \frac{a^x}{\ln a} +C. </math>
* <math>\int \ln x \, dx = x\ln|x| -x +C. </math>
* <math>\int \log_a x \, dx = x\log_a |x| - \frac{x}{\ln a} \ +C. </math>
* <math>\int \sin x \, dx = -\cos x +C. </math>
* <math>\int \cos x \, dx = \sin x +C. </math>
* <math>\int \tan x \, dx = -\ln|\cos x| +C. </math>
* <math>\int \arcsin x\, dx = x\arcsin x + \sqrt{1-x^2} +C.</math>
* <math>\int \frac{1}{\sin x} \, dx = \ln\left|\tan \frac{x}{2}\right| +C.</math>
* <math>\int \frac{1}{\sin^2 x} \, dx = -\frac{1}{\tan x} +C.</math>
* <math>\int \frac{1}{\cos x} \, dx = \frac{1}{2} \ln {\frac{1 + \sin x}{1 - \sin x}} +C.</math>
* <math>\int \frac{1}{\cos^2 x} \, dx = \tan x +C.</math>
* <math>\int \frac{1}{\tan x} \, dx = \ln|\sin x| +C. </math>
* <math>\int \arctan x \, dx = x\arctan x - \frac{1}{2} \ln (1+x^2) +C.</math>

== 一般化 ==

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

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

==脚注==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist2}}
=== 出典 ===
<references/>

== 関連項目 ==
*[[積分法]]（定積分）
*[[ルベーグ積分]]
*[[ルベーグの微分定理]]
*[[部分積分]]
*[[置換積分]]

==外部リンク==
{{Portal 数学}}
* [http://integrals.wolfram.com/ Wolram Mathematica Online Integrator (Wolram Research)]
* [http://www.encyclopediaofmath.org/index.php/Indefinite_integral/ Indefinite Integral (Encyclopedia of Mathematics)]

{{Normdaten}}
{{DEFAULTSORT:ふていせきふん}}
[[Category:解析学]]
[[Category:初等数学]]
[[Category:数学に関する記事]]