§177 無限積分

§174 の積分判定法によると、 $ϕ (x)$ が常に正で $x$ に関して単調減少なら、級数 $\sum ϕ (n)$ の収束と発散は積分関数 $Φ (x)$ が $x \to \infty$ で極限に向かうか無限大に向かうかに一致する。 $Φ (x)$ が極限に向かうとすると、 $x \to \infty lim \int_{1}^{x} ϕ (t) d t = l$ が成り立つ。このとき積分 $\int_{1}^{\infty} ϕ (t) d t$ が収束して値 $l$ を持つと言うことにする。この積分を無限積分 (infinite integral) と呼ぶ。

上述の定義では $ϕ (t)$ が正で単調減少だとしたが、そうでない場合にも自然に定義を拡張できる。さらに積分の下端が $0$ であるべき特別な理由もない。こうして次の定義が導かれる:

$ϕ (t)$ が $t > a$ で連続で $x \to \infty lim \int_{a}^{x} ϕ (t) d t = l$ が成り立つなら、無限積分 $\int_{a}^{\infty} ϕ (t) d t (1)$ が収束して値が $l$ になると言う。

無限積分と区別するために、第七章で定義した下端 $a$ から上端 $A$ までの通常の積分を有限積分 (finite integral) と呼ぶことがある。

一方で $\int_{a}^{x} ϕ (t) d t \to \infty$ なら、積分は $\infty$ に発散すると言う。 $- \infty$ についても同様に定義する。さらに以上のどれでもないなら、 $x \to \infty$ で積分は有限または無限に振動すると言う。

この定義に関して注意すべき点を述べる。

$Φ (x)$ を $\int_{a}^{x} ϕ (t) d t = Φ (x)$ と定義すれば、左辺の積分が収束・発散・振動するのは $Φ (x)$ が $x \to \infty$ で極限に向かう・ $\infty$ または $- \infty$ に向かう・振動するときとなる。 $Φ (x)$ が極限に向かうときその極限を $Φ (\infty)$ と表記すれば、積分の値も $Φ (\infty)$ となる。より一般的に言えば、無限積分の値は $ϕ (x)$ の不定積分の一つを $Φ (x)$ として $Φ (\infty) - Φ (a)$ と表せる。
$ϕ (t)$ が常に正となる特別な場合には $Φ (x)$ は $x$ の単調増加関数となり、積分は収束するかそうでなければ $\infty$ に発散する。
積分 $(1)$ の値はもちろん $a$ によって変化するが、 $t$ の値は関係がない。 $t$ を他の文字と入れ替えても意味は変化しない (参考: §157)。
$2$ や $\frac{1}{2} π$ といった有限の値を持つ式を無限積分と呼ぶのは読者を困惑させるに違いない。無限積分と有限積分の違いは無限級数と有限級数の違いと同じようなものと考えるとよい: 無限級数が必ず発散するなどとは誰も思わない。
§156–§157 で積分 $\int_{a}^{x} ϕ (t) d t$ は一重の極限、つまりとある有限の和の極限として定義された。そのため無限積分は極限の極限であり、こういった値は反復極限 (repeated limit) と呼ばれる。無限積分は有限積分と本質的に異なる概念であり、だからこそここで個別に定義をした。
§174 の積分判定法は次のように言い換えられる: $ϕ (x)$ が常に正で $x$ に関して単調増加なら、無限級数 $\sum ϕ (n)$ の収束と発散は無限積分 $\int_{1}^{\infty} ϕ (x) d x$ の収束と発散に一致する。
無限積分に対する §77 の $(1)$ – $(6)$ と同様の結果の証明に難しい部分はないだろう。例えば $(2)$ に対応する命題は次のようになる: $\int_{a}^{\infty} ϕ (x) d x$ が収束するなら $b > a$ に対する $\int_{b}^{\infty} ϕ (x) d x$ も収束し $\int_{a}^{\infty} ϕ (x) d x = \int_{a}^{b} ϕ (x) d x + \int_{b}^{\infty} ϕ (x) d x$ が成り立つ。