コーシーの凝集判定法

数学において、コーシーの凝集判定法（コーシーのぎょうしゅうはんていほう、）は標準的な級数の収束判定法の一つである。名称はオーギュスタン＝ルイ・コーシーにちなむ。
各項が非負実数から成る非増加無限数列 formula_1 に対して、級数 formula_2 が収束するための必要十分条件は「凝集」した級数 formula_3 が収束することである。さらにこれらの級数が収束するならば、「凝集」した級数の収束値は元の級数の収束値の2倍を上回らない。
級数の評価.
コーシーの凝集判定法は、次のより強い評価式から従う。
（不等式は拡大実数におけるものと考える必要がある。）この証明の中核部分は、ニコル・オレームによる調和級数の発散性の証明に倣っている。
最初の不等式を示すため、元の級数を2の冪乗個ずつの項にくくり直す。くくられたそれぞれの和は、数列の非増加性より、最大値をとる最初の項の値で置き換えた和で上から抑えられる。
2番目の不等式を示すため、級数を2の冪乗個ずつの項に再度くくり直す。ただしこのとき以下のように1項ずつくくり方をずらすことで、formula_6 のそれぞれの括弧内で「最後」に並んでいた formula_7 が、formula_8 のそれぞれの括弧内では「先頭」に並ぶようにする。
積分との比較.
「凝集」変換 formula_10 は積分での変数変換 formula_11 が formula_12 を引き起こすことを連想させる。
実際、積分判定法により単調関数 f に対しては級数 formula_13 の収束と広義積分 formula_14 の収束は同値である。変数変換 formula_15 によって積分は formula_16 と書き直せるが、この収束は級数 formula_3 の収束と同値になる。
例.
この判定法は "n" が "f" の分母に現れるような級数に対して役立つことがある。この種の中で最も基本的な例である調和級数 formula_18 は級数 formula_19 へと変換でき、これは明らかに発散する。
より複雑な例として、
を考える。このとき級数は "a" > 1 であれば必ず収束し、"a" < 1 であれば発散する。"a" = 1 のときは、凝集変換をして整理することで級数
が現れる。対数が「左へシフト」していることになる。よってこのときは、"b" > 1 なら収束、"b" < 1 なら発散する。"b" = 1 のときは "c" の値が議論を左右する。
この結果は容易に一般化できる。凝集判定法を反復して適用することで、formula_22 に対する一般化ベルトラン級数（generalized Bertrand series）
が formula_24 のときは収束し、formula_25 のときは発散することを示すことができる。ここで formula_26 は関数 formula_27 の "m" 回の反復合成写像 
を表す記法である。添字の下限 formula_29 は、級数の全ての項が正数となるよう選ぶ。注目すべきことに、こうした級数によって任意の遅さで収束または発散する無限和を作ることができる。例えば、formula_30 で formula_31 の場合、部分和は formula_32 項（1グーゴルプレックス項）足し合わせてようやく 10 を超えるが、それでもなお級数は発散する。
Schlömilchの一般化.
"u"("n") を真に増大する正整数の列で、連続する差分の比が有界である、つまりある正の実数 "N" があって
が成り立つものとする。このとき、formula_1 がコーシーの凝集判定法のものと同じ前提条件を満たすなら、級数 formula_35 が収束することと級数
が収束することが同値になる。
formula_37 ととれば formula_38 だから、この命題はコーシーの凝集判定法を特別な場合として含んでいる。