広義積分

出典: フリー百科事典『ウィキペディア（Wikipedia）』

解析学において、広義積分（こうぎせきぶん、improper integral）とは何らかの定積分の積分区間を動かしたときの極限である。積分区間の端点（片方または両方）は何らかの実数か正または負の無限大に近づく。

[編集] 定式化

厳密に言えば広義積分とは積分の一種ではなく、以下のような形の式の総称である。まず

$\lim_{b\to c}\int_a^b f(x)\,dx$

ここで c は正または負の無限大であるか、x → c -0につれて|f (x)|が無限大となるような定数である。または

$\lim_{b\to a}\int_b^c f(x)\,dx$

ここで a は正または負の無限大であるか、x → a +0 につれて|f (x)|が無限大となるような定数である。

こうして、この分野における基本的な問がどんなものか分かる：

極限は（解析学的な意味で）存在するか？
存在するとして、その値を計算できるか？

2つ目の問には微積分計算のテクニックも使えるが、場合により周回積分やフーリエ変換等の高度な技法が必要なこともある。

[編集] 記法

普通の積分と良く似た記法を使うことが多い。しかし同じ広義積分に対する記法には以下のような種類がある：

$\int_a^\infty f(x)\,dx\, := \lim_{t\to \infty}\int_a^t f(x)\,dx\,$

$\int_{-\infty} ^ {b} f(x)\,dx\,:= \lim_{t\to -\infty}\int_t^b f(x)\,dx\,$

$\int_{-\infty}^{\infty} f(x)\,dx\, := \lim_{t\to -\infty}\int_t^a f(x)\,dx\,+\lim_{t\to \infty} \int_a^t f(x)\,dx\,$

$\int_a^b f(x)\,dx\, := \lim_{t\to b^-}\int_a^t f(x)\,dx$ 、ここで $\lim_{x\to b^-} |f(x)| = \infty$

$\int_a^b f(x)\,dx\, := \lim_{t\to a^+}\int_t^b f(x)\,dx$ 、ここで $\lim_{x\to a^+} |f(x)| = \infty$

$\int_a^b f(x)\,dx\,:=\lim_{t\to c^-} \int_a^t f(x)\,dx\, + \lim_{t\to c^+ } \int_t^b f(x)\,dx$ 、ここで $\lim_{x\to c} |f(x)| = \infty$

[編集] 定義に関する注意

被積分関数が発散している広義積分

無限の領域上に渡る広義積分

場合によっては、次の積分

$\int_a^c f(x)\,dx\,$

は、次の極限の存在を抜きにして定義できる：

$\lim_{b\to c^-}\int_a^b f(x)\,dx\,$ .

しかしこの極限なしでは値の計算が困難である。例えば関数 f を a から c で積分する際、(1)関数 f が c で正または負の無限大に発散するとき、または(2) c = ∞のときに、そのような状況がしばしば生ずる。

また場合によっては、f(x) dx の正部分と負部分それぞれの a から c までの積分が共に無限大となり、単なる「f の a から c までの積分」が定義すらできなくても、上記の極限だけは存在することがある。それは（通常の積分に帰着できないという意味で）「真の」不定積分と呼べるだろう。

[編集] 意味の解釈に関する注意

積分の理論には複数のものが存在する。微積分計算の立場からは、（特に指定がなければ）積分記号の意味として普通はリーマン積分の理論が仮定される。しかし不定積分を扱う際には、基礎となっている積分理論の区別が必要となることがある。

この積分

$\int_0^\infty\frac{dx}{1+x^2}$

は、次のように解釈できる：

$\lim_{b\to\infty}\int_0^b\frac{dx}{1+x^2}=\lim_{b\to\infty}\arctan{b}=\frac{\pi}{2}$

しかし一般にはそう解釈する必然性はない。例えば集合 (0,∞) 上でのルベーグ積分としても解釈できる。とは言うものの、「有限区間上での定積分の極限」という解釈は便利である（便利なのは値の計算だけかもしれないが）。

対照的に、次の積分は、

$\int_0^\infty\frac{\sin(x)}{x}\,dx$

ルベーグ積分としては解釈できない。なぜなら

$\int_0^\infty\left|\frac{\sin(x)}{x}\right|\,dx=\infty$

だからである。ゆえに上記の積分は「真の」不定積分であり、値は次式で与えられる：

$\int_0^\infty\frac{\sin(x)}{x}\,dx=\lim_{b\rightarrow\infty}\int_0^b\frac{\sin(x)}{x}\,dx=\frac{\pi}{2}$ .

[編集] 特異性

広義積分において、極限が使われる補完数直線上の点を指して特異点と言うことがある。

そのような積分はしばしば、積分区間の端点を無限大と書くことで、普通の定積分と同様に表記される。しかしそのような記法では極限操作は裏に隠れてしまう。リーマン積分でなくルベーグ積分を使うことで、極限操作を回避できる場合がある。しかし具体的な値を得たいときには、そうしたところで助けにはならない。例えばフーリエ変換では数直線全体に渡る積分があらゆるところに現れるが、その厳密な取り扱いにおいて広義積分を意識することも、しないこともある。

[編集] 積分区間が有界でない場合について

最も基本的な不定積分は、積分区間が有界でない積分、例えば

$\int_0^\infty {dx \over x^2+1}$

である。前述のように、これは不定積分として定義しなくとも、代わりにルベーグ積分としても定義できる。しかし実際に計算する上では不定積分として扱うのが便利である。すなわち積分区間の上限が有限だとして計算し、次に上限が無限大に近づくときの極限を取るのがよい。被積分関数の原始関数は逆正接関数 arctan(x) なので、

$\lim_{b\rightarrow\infty}\int_0^b\frac{dx}{1+x^2}=\lim_{b\rightarrow\infty}\arctan b-\arctan 0=\pi/2-0=\pi/2$

となる。不定積分の収束は、対応する極限が（有限値に）収束することと同値である。以下に収束しない不定積分の例を示す：

$\int_1^\infty {dx \over x} = \lim_{b\rightarrow\infty}\int_1^b\frac{dx}{x}=\lim_{b\rightarrow\infty}\ln b=\infty$ .

積分区間の両端点が無限大の場合もある。そのような場合には二つの不定積分の和として考える：

$\int_{-\infty}^{+\infty} f(x) \,dx = \int_{-\infty}^a f(x) \,dx + \int_a^{+\infty} f(x) \,dx$ .

ここで a は任意の（有限な）実数である。

この場合、不定積分の収束は、分割された両方の積分の収束と同値である。片方の積分が正の無限大に発散し、もう片方が負の無限大に発散するとき、元の積分は不定形となる。その値は、積分区間の端点それぞれがどのような関係を持っているかによって様々に変わり得る。コーシーの主値はこの不定性を取り除くための概念である。