積分判定法のソースを表示

[[File:Integral Test.svg|thumb|right|300px|積分判定法の[[調和級数]]への適用。区間 {{math|''x'' ∈ {{closed-open|1, ∞}}}} での曲線 {{math|''y'' {{=}} 1/''x''}} の下側部分の面積は無限大だから、長方形の面積の総和も無限大でなければならない。]]
{{Calculus}}

[[数学]]において、'''積分判定法'''（せきぶんはんていほう、{{Lang-en-short|integral test for convergence}}）は非負項[[級数|無限級数]]の[[数列の極限|収束性]]を判定する方法の一つである。[[コリン・マクローリン]]と[[オーギュスタン＝ルイ・コーシー]]によって発展させられたことから、'''マクローリン・コーシーの判定法'''の呼称でも知られている。

==判定方法==
[[整数]] {{math|''N''}} と、非有界[[区間 (数学)|区間]] {{closed-open|''N'', ∞}} で定義された[[単調写像|単調非増加]]な実数値関数 {{math|''f''}} を考える。このとき無限級数

:<math>\sum_{n=N}^\infty f(n)</math>

がある[[実数]]へ収束するための必要十分条件は、[[広義積分]]

:<math>\int_N^\infty f(x)\,dx</math>

が有限値であることである。言い換えると、積分が発散するとき級数もまた発散する。

===注意===
広義積分が有限値のとき、次節の証明からは級数の収束値の[[順序集合|上界・下界]]をも得ることができる。

{{NumBlk|:|<math>\int_N^\infty f(x)\,dx\le\sum_{n=N}^\infty f(n)\le f(N)+\int_N^\infty f(x)\,dx</math>|{{EquationRef|1}}}}

==証明==
証明は基本的に[[比較判定法]]を用いる。区間{{closed-open|''n'' − 1, ''n''}} と {{closed-open|''n'', ''n'' + 1}} のそれぞれで、{{math|''f''}} の積分値と項 {{math|''f''(''n'')}} を比較する。

{{math|''f''}} は単調非増加関数だから、

:<math>
f(x)\le f(n)\quad\text{for all }x\in[n,\infty)
</math>

であり、また

:<math>
f(n)\le f(x)\quad\text{for all }x\in[N,n]
</math>

である。よって任意の整数 {{math|''n'' ≥ ''N''}} に対し

{{NumBlk|:|<math>
\int_n^{n+1} f(x)\,dx
\le\int_{n}^{n+1} f(n)\,dx
=f(n)</math>|{{EquationRef|2}}}}

であり、任意の整数 {{math|''n'' ≥ ''N'' + 1}} に対し

{{NumBlk|:|<math>
f(n)=\int_{n-1}^{n} f(n)\,dx
\le\int_{n-1}^n f(x)\,dx
</math>|{{EquationRef|3}}}}

である。

{{math|''N''}} からある大きな整数 {{math|''M''}} までの全ての {{math|''n''}} にわたる和をとることで、({{EquationNote|2}}) から

:<math>
\int_N^{M+1}f(x)\,dx=\sum_{n=N}^M\underbrace{\int_n^{n+1}f(x)\,dx}_{\le\,f(n)}\le\sum_{n=N}^Mf(n)
</math>

が得られ、({{EquationNote|3}}) から

:<math>
\sum_{n=N}^Mf(n)\le f(N)+\sum_{n=N+1}^M\underbrace{\int_{n-1}^n f(x)\,dx}_{\ge\,f(n)}=f(N)+\int_N^M f(x)\,dx
</math>

が得られる。これら2つの評価式を合わせると

:<math>\int_N^{M+1}f(x)\,dx\le\sum_{n=N}^Mf(n)\le f(N)+\int_N^M f(x)\,dx</math>

{{math|''M''}} を無限大に飛ばすことで評価式 ({{EquationNote|1}}) が得られ、かつ収束の必要十分性が示される。

==適用例==
調和級数
:<math>
\sum_{n=1}^\infty \frac1n
</math>
は発散する。なぜなら、[[自然対数]]とその[[不定積分]]、[[微分積分学の基本定理]]を用いることで
:<math>
\int_1^M\frac1x\,dx=\ln x\Bigr|_1^M=\ln M\to\infty
\quad\text{for }M\to\infty
</math>
であることが分かるからである。

これとは反対に、級数
:<math>
\zeta(1+\varepsilon)=\sum_{n=1}^\infty \frac1{n^{1+\varepsilon}}
</math>
（[[リーマンゼータ関数]]を参照）
は任意の {{math|''ε'' > 0}} に対して収束する。なぜなら
:<math>
\int_1^M\frac1{x^{1+\varepsilon}}\,dx
=-\frac1{\varepsilon x^\varepsilon}\biggr|_1^M=
\frac1\varepsilon\Bigl(1-\frac1{M^\varepsilon}\Bigr)
\le\frac1\varepsilon<\infty
\quad\text{for all }M\ge1
</math>
であり、({{EquationNote|1}}) によって上から
:<math>
\zeta(1+\varepsilon)=\sum_{n=1}^\infty \frac1{n^{1+\varepsilon}}\le\frac{1+\varepsilon}\varepsilon
</math>
と評価できるからである。この結果はリーマンゼータ関数のいくつかの特定の値と比較してみることができる。

==発散と収束の境界線==
調和級数に関する上記の例から、単調減少列 {{math|''f''(''n'')}} であって、
:<math>
\lim_{n\to\infty}\frac{f(n)}{1/n}=0
\quad\text{and}\quad
\lim_{n\to\infty}\frac{f(n)}{1/n^{1+\varepsilon}}=\infty
</math>

という意味で
* {{math|1/''n''}} よりも速く 0 に収束するが、
* 任意の {{math|''ε'' > 0}} に対して {{math|1/''n''<sup>1+''ε''</sup>}} よりは遅く 0 に収束し、
* 対応する級数はなおも発散する

ようなものは存在するかという問題が持ち上がる。もしそのような級数が見つかれば、{{math|1/''n''}} を  {{math|''f''(''n'')}} に取り換えて同じことを問うことができ、以下同様の議論が続けられる。このようにして級数の発散と収束の境界線を探究することができる。

具体的には、全ての自然数 {{math|''k''}} に対して級数
{{NumBlk|:|<math>
\sum_{n=N_k}^\infty\frac1{n\ln(n)\ln_2(n)\cdots \ln_{k-1}(n)\ln_k(n)}
</math>|{{EquationRef|4}}}}
は発散する<ref>{{math|''k'' {{=}} 1}} のときの結果は、素数の逆数和が発散することの証明とも関係がある。{{仮リンク|素数の逆数和の発散|en|Divergence of the sum of the reciprocals of the primes}}を参照。</ref>一方、 
{{NumBlk|:|<math>
\sum_{n=N_k}^\infty\frac1{n\ln(n)\ln_2(n)\cdots\ln_{k-1}(n)(\ln_k(n))^{1+\varepsilon}}
</math>|{{EquationRef|5}}}}
は全ての {{math|''ε'' > 0}} に対し収束することが示せる（証明は後述）。ここで {{math|ln<sub>''k''</sub>}} は自然対数の {{math|''k''}}-重の[[写像の合成|合成]]を表し、再帰的に
:<math>
\ln_k(x)=
\begin{cases}
\ln(x)&\text{for }k=1,\\
\ln(\ln_{k-1}(x))&\text{for }k\ge2.
\end{cases}
</math>
と定義される。また {{math|''N''<sub>''k''</sub>}} は、{{math|ln<sub>''k''</sub>(''N''<sub>''k''</sub>) ≥ 1}} の左辺が well-defined で、かつこの不等式を満たす、つまり
:<math>
N_k\ge \underbrace{e^{e^{\cdot^{\cdot^{e}}}}}_{k\ e'\text{s}}=e \uparrow\uparrow k
</math>
となる最小の自然数を表す。ここで矢印記法は[[テトレーション]]である（[[クヌースの矢印表記]]の一種）。

級数 ({{EquationNote|4}}) が発散することを証明する。[[連鎖律]]を繰り返し適用して、
:<math>
\frac{d}{dx}\ln_{k+1}(x)
=\frac{d}{dx}\ln(\ln_k(x))
=\frac1{\ln_k(x)}\frac{d}{dx}\ln_k(x)
=\cdots
=\frac1{x\ln(x)\cdots\ln_k(x)}
</math>
だから
:<math>
\int_{N_k}^\infty\frac{dx}{x\ln(x)\cdots\ln_k(x)}
=\ln_{k+1}(x)\bigr|_{N_k}^\infty=\infty.
</math>
となり、積分判定法を用いれば発散することが分かる。

級数 ({{EquationNote|5}}) が収束することを証明する。連鎖律および上記の結果により
:<math>
-\frac{d}{dx}\frac1{\varepsilon(\ln_k(x))^\varepsilon}
=\frac1{(\ln_k(x))^{1+\varepsilon}}\frac{d}{dx}\ln_k(x)
=\cdots
=\frac{1}{x\ln(x)\cdots\ln_{k-1}(x)(\ln_k(x))^{1+\varepsilon}}
</math>
だから
:<math>
\int_{N_k}^\infty\frac{dx}{x\ln(x)\cdots\ln_{k-1}(x)(\ln_k(x))^{1+\varepsilon}}
=-\frac1{\varepsilon(\ln_k(x))^\varepsilon}\biggr|_{N_k}^\infty<\infty
</math>
となり、({{EquationNote|1}}) から級数 ({{EquationNote|5}}) は上に有界であることが分かる。

==有限和の場合==
有限和の場合にも同様の議論で和を積分で近似することができる。つまり、自然数 {{math|''M<N''}} と区間 {{closed-closed|''M'',''N'' }}で定義された単調(単調増加でもよい)なRiemann可積分関数 {{math|''f''}} に対して
:<math>
\min \{ f(M),f(N)\} \le \sum_{n=M}^{N}f(n) - \int_{M}^{N}f(x)dx \le \max \{ f(M),f(N) \}
</math>
が成立する。
==関連項目==
*{{仮リンク|収束判定法|en|Convergence tests}}
*[[収束級数]]
*[[比較判定法]]
*[[優収束定理]]
*[[オイラーの和公式]]
*{{仮リンク|極限比較判定法|en|Limit comparison test}}
*[[単調収束定理]]

==注記==
<references/>

==参考文献==
* [[Konrad Knopp|Knopp, Konrad]], "Infinite Sequences and Series", [[Dover Publications]], Inc.,  New York, 1956. (§ 3.3) {{ISBN2|0-486-60153-6}}
* [[Whittaker and Watson|Whittaker, E. T., and Watson, G. N., ''A Course in Modern Analysis'']], fourth edition, Cambridge University Press, 1963. (§ 4.43) {{ISBN2|0-521-58807-3}}
* Ferreira, Jaime Campos, Ed Calouste Gulbenkian, 1987,  {{ISBN2|972-31-0179-3}}

{{Mathanalysis-stub}}
{{DEFAULTSORT:せきふんはんていほう}}
[[Category:級数]]
[[Category:微分積分学]]
[[Category:数学に関する記事]]