コーシーの凝集判定法のソースを表示

{{Calculus}}

[[数学]]において、'''コーシーの凝集判定法'''（コーシーのぎょうしゅうはんていほう、{{Lang-en-short|Cauchy condensation test}}）は標準的な[[級数]]の収束判定法の一つである。名称は[[オーギュスタン＝ルイ・コーシー]]にちなむ。

各項が非負実数から成る非増加無限[[数列]] <math>f(n)</math> に対して、級数 <math>\displaystyle\sum\limits_{n=1}^{\infty}f(n)</math> が収束するための必要十分条件は「凝集」した級数 <math>\displaystyle\sum\limits_{n=0}^{\infty} 2^{n}f(2^{n})</math> が収束することである。さらにこれらの級数が収束するならば、「凝集」した級数の収束値は元の級数の収束値の2倍を上回らない。

== 級数の評価 ==

コーシーの凝集判定法は、次のより強い評価式から従う。

:<math> \sum_{n=1}^{\infty} f(n) \leq \sum_{n=0}^{\infty} 2^n f(2^n) \leq\ 2\sum_{n=1}^{\infty} f(n)</math>

（不等式は[[拡大実数]]におけるものと考える必要がある。）この証明の中核部分は、[[ニコル・オレーム]]による[[調和級数]]の発散性の証明に倣っている。

最初の不等式を示すため、元の級数を2の冪乗個ずつの項にくくり直す。くくられたそれぞれの和は、数列の非増加性より、最大値をとる最初の項の値で置き換えた和で上から抑えられる。

:<math>\begin{array}{rcccccccl}\displaystyle
\sum\limits_{n=1}^{\infty} f(n) & = &f(1) & + & f(2) + f(3) & + & f(4) + f(5) + f(6) + f(7) & + & \cdots \\
 & = &f(1) & + & \Big(f(2) + f(3)\Big) & + & \Big(f(4) + f(5) + f(6) + f(7)\Big) & + &\cdots \\
 & \leq &f(1) & + & \Big(f(2) + f(2)\Big) & + & \Big(f(4) + f(4) + f(4) + f(4)\Big) & + &\cdots \\
 & = &f(1) & + & 2 f(2) & + & 4 f(4)& + &\cdots \\
 &= &\sum\limits_{n=0}^{\infty} 2^{n} f(2^{n}) 
\end{array}</math>

2番目の不等式を示すため、級数を2の冪乗個ずつの項に再度くくり直す。ただしこのとき以下のように1項ずつくくり方をずらすことで、<math>\textstyle\sum_{n=0}^{\infty}2^{n}f(2^{n})</math> のそれぞれの括弧内で「最後」に並んでいた <math>\textstyle f(2^{n})</math> が、<math>\textstyle2\sum_{n=1}^{\infty}f(n)</math> のそれぞれの括弧内では「先頭」に並ぶようにする。

:<math>\begin{array}{rcl}
\sum\limits_{n=0}^{\infty} 2^{n}f(2^{n}) & = & f(1) + \Big(f(2) + f(2)\Big) + \Big(f(4) + f(4) + f(4) +f(4)\Big) + \cdots \\
& = & \Big(f(1) + f(2)\Big) + \Big(f(2) + f(4) + f(4) + f(4)\Big) + \cdots \\
 & \leq & \Big(f(1) + f(1)\Big) + \Big(f(2) + f(2) + f(3) + f(3)\Big) + \cdots \\
&= &2 \sum\limits_{n=1}^{\infty} f(n)
\end{array}</math>

[[File:Visualized estimate for the Cauchy condensation test.png|thumb|center|811px|上の議論を図にしたもの。級数 <math>\textstyle\sum f(n)</math>, <math>\sum 2^{n}f(2^{n})</math>, <math>2 \sum f(n)</math> の部分和が左から右へと順に重ねて表示されている。]]

== 積分との比較 ==

「凝集」変換 <math>\textstyle f(n) \rarr 2^{n} f(2^{n})</math> は積分での変数変換 <math>\textstyle x \rarr e^{x}</math> が <math>\textstyle f(x)\,\mathrm{d}x \rarr e^{x} f(e^{x})\,\mathrm{d}x</math> を引き起こすことを連想させる。

実際、[[積分判定法]]により単調関数 f に対しては級数 <math>\sum\limits_{n=1}^{\infty}f(n)</math> の収束と広義積分 <math>\displaystyle\int_{1}^{\infty}f(x)\,\mathrm{d}x</math> の収束は同値である。変数変換 <math>\textstyle x\rarr 2^x</math> によって積分は <math>\displaystyle \log 2\,\int_{0}^{\infty}\!2^{x}f(2^{x})\,\mathrm{d}x</math> と書き直せるが、この収束は級数 <math>\displaystyle\sum\limits_{n=0}^{\infty} 2^{n}f(2^{n})</math> の収束と同値になる。

== 例 ==

この判定法は ''n'' が ''f'' の分母に現れるような級数に対して役立つことがある。この種の中で最も基本的な例である調和級数 <math>\textstyle\sum_{n=1}^{\infty} 1/n</math> は級数 <math>\textstyle\sum 1</math> へと変換でき、これは明らかに発散する。

より複雑な例として、

:<math>f(n) := n^{-a} (\log n)^{-b} (\log \log n)^{-c}</math>

を考える。このとき級数は ''a'' > 1 であれば必ず収束し、''a'' < 1 であれば発散する。''a'' = 1 のときは、凝集変換をして整理することで級数

:<math>\sum n^{-b} (\log n)^{-c}</math>

が現れる。対数が「左へシフト」していることになる。よってこのときは、''b'' > 1 なら収束、''b'' < 1 なら発散する。''b'' = 1 のときは ''c'' の値が議論を左右する。

この結果は容易に一般化できる。凝集判定法を反復して適用することで、<math>k = 1,2,3,\ldots</math> に対する一般化ベルトラン級数（generalized Bertrand series）
:<math>\sum_{n\geq N} \frac{1}{n \cdot\log n 
\cdot\log\log n\cdots \log^{\circ (k-1)} n \cdot(\log^{\circ k} n)^\alpha} \quad\quad (N=\lfloor \exp^{\circ k} (0)\rfloor+1)</math>

が <math>\alpha>1</math> のときは収束し、<math>0<\alpha\leq 1</math> のときは発散することを示すことができる<ref>{{Cite book|url=https://archive.org/details/1979RudinW|title=Principles of Mathematical Analysis|last=Rudin|first=Walter|publisher=McGraw-Hill|year=1976|isbn=0-07-054235-X|location=New York|pages=62–63|quote=|via=}}</ref>。ここで <math>f^{\circ m}</math> は関数 <math>f</math> の ''m'' 回の[[反復合成写像]] 
:<math>f^{\circ m} (x) := \begin{cases} f(f^{\circ(m-1)}(x)), & m=1, 2, 3,\ldots; \\ x, & m = 0. \end{cases}</math>

を表す記法である。添字の下限 <math>N</math> は、級数の全ての項が正数となるよう選ぶ。注目すべきことに、こうした級数によって任意の遅さで収束または発散する無限和を作ることができる。例えば、<math>k=2</math> で <math>\alpha =1</math> の場合、部分和は <math>10^{10^{100}}</math> 項（1[[グーゴルプレックス]]項）足し合わせてようやく 10 を超えるが、それでもなお級数は発散する。

== シュレミルヒの一般化 ==
[[オスカー・シュレミルヒ]]による一般化が存在する。
''u''(''n'') を真に増大する正整数の列で、連続する[[有限差分|差分]]の比が有界である、つまりある正の実数 ''N'' があって
:<math>{\Delta u(n) \over \Delta u(n{-}1)} \ =\  {u(n{+}1)-u(n) \over u(n)-u(n{-}1)} \ <\ N \ \ \text{for all } n </math>

が成り立つものとする。このとき、<math>f(n)</math> がコーシーの凝集判定法のものと同じ前提条件を満たすなら、級数 <math>\textstyle\sum_{n=1}^{\infty} f(n)</math> が収束することと級数
:<math>\sum_{n=0}^{\infty} {\Delta u(n)}\, f(u(n)) \ =\ \sum_{n=0}^{\infty} \Big(u(n{+}1)-u(n)\Big) f(u(n))</math>

が収束することが同値になる<ref>http://people.brandeis.edu/~joyner/everytopic/LiflyandCauchyTalk.pdf, p.&nbsp;7/28</ref>。

<math>\textstyle u(n) = 2^n</math> ととれば <math>\textstyle \Delta u(n) = u(n{+}1)-u(n) = 2^n</math> だから、この命題はコーシーの凝集判定法を特別な場合として含んでいる。

== 脚注 ==
{{Reflist}}

== 参考文献 ==
* Bonar, Khoury (2006). ''Real Infinite Series''. Mathematical Association of America. {{ISBN2|0-88385-745-6}}.

== 外部リンク ==
* [http://www.mathcs.org/analysis/reals/numser/t_conden.html コーシーの凝集判定法の証明]

{{DEFAULTSORT:こおしいのきようしゆうはんていほう}}
[[Category:級数]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]