Ｆａｓｃｉｎａｔｉｏｎ Ｎ−Ｄ−Ｆｉｌｅ　積分法

数学において積分（せきぶん、integral）あるいは積分法（せきぶんほう、integration）とは、図形の面積や体積などといったものを求める方法である求積法の一種で、面積や体積などを微小な要素の集まりとして計算する方法である。

実用的には、測量計算で多く利用されるほか、ダムや放水路の放水時間を積分して放水した体積を求める場合もある。また、航空機の慣性航法装置では、加速度を積分して速力を算出し、速力を積分して移動距離を算出する。

積分法にはリーマン積分 (Riemann integral)、ルベーグ積分 (Lebesgue integral) などがあるが、本項では主にリーマン積分を中心に概説する。

歴史

図形の面積や体積の求積法は、特殊なものに限れば古代からいくつも知られており、その起源は定かではないが、積分法の起源としては古代ギリシアの数学書ユークリッド原論にもある取り尽くし法（積尽法、窄出法、method of exhaustion）などの幾つかの技法に求めることができるだろう。取り尽くし法はある領域の面積を無数の三角形で覆い尽くすことによって求めようとするものである。古代ギリシャでは、三角形を最も基本的な図形と捉えていたため、このような三角形による求積法が盛んであった。しかしたとえば、放物線（古くは抛物線とも）がある弦によって切り取られる面積を計算するような場合でさえ、いくらやっても三角形で覆い尽くすことはできないため、実際には殆どの領域で無限和の計算をすることになる。この困難に対してアルキメデスは、今で言う ε-δ 式の論法によりこの問題を回避したようである。

時代が下り、17世紀になってライプニッツとニュートンらにより微分法が発見されると、極めて技巧的な手段に頼っていた求積法は、原始関数と微分積分法の基本公式による一般的な方法で解かれることになる。18世紀にはベルヌーイらやオイラーなどによる無限小解析の発展・整備によって計算技巧は大いに発達したが、19世紀に入るとフーリエ級数の厳密な研究などを通して、初めて積分自体の意味を問わなければならない情況が生じるようになった。実際、積分の厳密な定義は、リーマンによって論文「任意関数の三角級数による表現の可能性について」（1854年）の中で最初に与えられた。

20世紀に入ってすぐ、やはりフーリエ級数についてなど様々な解析学上の問題に刺激されて、ルベーグは、面積や体積とは何かということに就いて深く考察することにより測度論を展開し、現在ルベーグ積分論と呼ばれているものをつくった。リーマン積分可能な関数（但し広義積分は含めない）はルベーグ積分可能であるという意味では、ルベーグ積分はリーマンのそれの一般化になっている。ルベーグが測度論を用いて展開したルベーグ積分は、彼の測度論がもつ極限との親和性と抽象性から、確率論、ヒルベルト空間論、調和解析など極めて広範な応用をもち、これらは物理学や工学などで基本的な道具として用いられることとなる。

ルベーグ積分以後も更なる一般化がされた積分法が幾つか存在する。

定義

ここでは一変数の実連続関数についてのみ扱う。

区分求積法

ここで、f(x) を区間 [a, b] で定義された実数値連続関数とする。簡単のため、f は非負値しかとらないと仮定する。すると、集合 S = S_f = {(x, y) | x ∈ [a, b], 0 ? y ? f(x)} は x-軸と f の間の領域となる。素朴な直感的な定義では、この集合 S の面積の大きさを f の積分といい

と記す。この記法はライプニッツによるものであるが、この記法は以下に示すような区分求積の概念を端的に表しており、置換積分の公式などに見られるような優秀性を持っている。

集合 S_f の中に微小な短冊形の長方形を敷き詰め、その長方形の面積の総和によって S_f の面積を確定する方法を区分求積法という。

リーマン積分

区間 [a, b] の分割 Δ に対して、各微小区間 [x_i?1, x_i] から任意に点 ξ_i をとって作った和

(δx_i = x_i ? x_i?1) を、関数 f(x) の分割 Δ に関するリーマン和という。これは微小な長方形の総和である。このリーマン和が δx = max{x_i+1 ? x_i} → 0 の極限で分割 Δ の取り方に依らずある一定の有限な値に収束するならば、その極限値を以って

を定め、関数 f のリーマン積分と称する。またこのとき、f は（区間 [a, b] で）積分可能あるいはリーマン可積分であると云う。

このことをより詳しくみるために、以下のようなことを考えよう。

に対して S_f を囲む次のような 2 つの長方形の集合

を考える。但し、a = p₀ < p₁ < … < p_n = b とする。これらの長方形集合に含まれる長方形の面積の総和は、明らかに

であって、

を満たす。この時、分割 Δ に対する総和 s_Δ の上限 s, S_Δ の下限 S が存在して（それぞれ上積分、下積分ともいう）

それらが相等しく s = S なることは、リーマン積分が存在することの必要十分条件である。

極限値が存在しなかったり、上からと下からの極限の値が異なったりするときは積分の値を決定できない。この場合、"リーマン積分不可能" という。

ライプニッツの記号はリーマン和の �� を ∫ 、δx を dx と書き換えたものになっていると見ることができる。実際、∫ は総和 (Summation) の頭文字 S を変形させた記号である。

リーマン積分の例

次の積分

を区分求積法により求めてみよう。まず x の動く範囲 [0, 1] を n 等分し、p_i+1 ? p_i = 1/n とする（積分の値が分割の仕方に依らないので、計算しやすいようにこのようにする）。 明らかに Δ = 1/n であるから、x² が積分範囲で単調増加であることと併せて、M_i = (i /n)², m_i = ((i + 1)/n)²。従って、上積分・下積分は、それぞれ

となる。下積分が

と書けることより、上積分と下積分の差は、

となるから、両者の値は等しい。従ってリーマン積分可能である。この時、下積分だけ求めれば十分であるから、

を得る。

リーマン積分不可能な関数

閉区間上で連続な関数は必ずリーマン積分を有する。積分を面積と捉えれば、有限個の不連続点しか持たない区分的に連続な関数もリーマン積分可能であるのは自然なことだろう。したがって、リーマン積分不能な関数は少なくとも無限個の不連続点を持たなければならない。 例えば、ディリクレの関数

は、リーマン積分不可能である。ここで、Q は有理数全体の集合を表す。積分

は積分範囲内にどのような点 p_i を取っても、区間 [p_i, p_i+1] の中に有理数も無理数も必ず存在する。従って、恒等的に M_i = 1, m_i = 0 が成り立つから、上積分が 1 で下積分が 0 となってしまい、両者の値が異なることより、リーマン積分不可能となるのである。

しかしながら、当に積分のリーマンの定義によって初めて、不連続点を稠密に含みながら積分可能な関数、というものも同時に現れるのである。以下の例は、リーマン自身によるものである（前出の論文）。 関数 (x) の値を、x が丁度整数間の中央にある時には 1/2、それ以外では、x から最も近い整数から x を引いたもの、と定義する。このとき、関数 f を

で定義すると、この関数 f は、n を整数、p を奇数として x = p/2n では不連続、従って無限個の不連続点を含んでいるが、積分可能な関数である。

広義リーマン積分

無限区間における積分（無限積分）、無限大に発散する点を含む区間における積分（異常積分、improper integral）など。極限により定まる。

これらの極限値が有限値に定まるとき、広義リーマン積分可能であるという。一方、広義リーマン積分可能でなくとも極限のとり方を限定するとき極限値が有限確定に存在することがある。たとえば

は ?∞ + ∞ の形の不定形であり、ε₁, ε₂ の 0 への近づき方により値が異なるため、広義リーマン積分可能でない。しかしながら ε₁ = ε₂ という特殊な場合には

となる。このように上下から同等の速さで特異点に近づける極限で現れる値をコーシーの主値という。

積分法に関する公式

被積分函数に関する線型性

積分区間に対する加法性

置換積分法

（a = x(α), b = x(β) なる条件の下）

部分積分法

平均値の定理

その他の積分

リーマン・スティルチェス積分

有界変動の関数 φ によるリーマン和の変形から定まる積分：

をリーマン・スティルチェス積分という。φ(x) = x のときは通常のリーマン積分。φ が可微分関数で φ' が連続なら、

で、これは密度を持つリーマン積分。

ルベーグ積分

狭義には、ルベーグ測度による積分。この意味では可算無限個の不連続点をもつ至る所連続な関数は積分できる。リーマン積分ではジョルダン測度を用いているため、前述のディリクレ関数などを積分することができなかったが、ルベーグの意味では積分可能である。有理点のルベーグ測度は 0 であり、積分の結果は 0 になる。ルベーグ可積分な函数がリーマン積分可能ならば、両積分の値は一致する。広義リーマン積分を特異積分と呼ばれる積分としてルベーグ積分に包摂するとき、狭義および広義のリーマン可積分函数はルベーグ可積分である。

広義には測度という汎関数を用いた積分作用素。

測度論がやや抽象的なため取っ付きにくいが、その分積分自体は極限操作に秀でている。

ルベーグ・スティルチェス積分

リーマン・スティルチェス積分の拡張。加法的集合関数の変動が定める測度に関するルベーグ積分。

リーマン型積分

通常のリーマン積分は、積分区間の分割の幅を一様に0に近づけたときの対応するリーマン和の極限として定義されるが、リーマン和の取り方や分割の幅の縮め方を変えることによってさまざまな積分を定義でき、このように定義される積分をリーマン型積分と言う。たとえば、マクシェイン積分（McShane integral）ヘンストック・カーツヴァイル積分(Henstock-Kurzweil integral)などのゲージ積分がリーマン型積分である。