収束級数のソースを表示

[[数学]]において、'''収束級数'''（しゅうそくきゅうすう、{{Lang-en-short|convergent series}}）とは、その[[部分和]]の成す[[数列]]が[[数列の極限|収束]]するような[[級数]]である。

ここで、'''級数'''とは[[数列]]の項の[[総和]]のことであり、与えられた数列 {{math|1=''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a''<sub>''n''</sub>, ...}} の第 {{mvar|n}}-'''部分和'''とは最初の {{mvar|n}}-項の有限和
:<math>S_n = \sum_{k=1}^n a_k</math>
のことを指す。

ある級数が収束級数であることは、「（有限な）和を持つ」とか「和が有限確定である」などと言い表される。

== 定義 ==
厳密に言えば、級数が「通常の意味で」収束するとは、定数 ''l'' が存在して、任意の正の数 &epsilon; &gt; 0 に対して十分大きな[[整数]] ''N'' = ''N''<sub>&epsilon;</sub> をうまくとれば、''n'' &ge; ''N'' なる任意の整数 ''n'' に対して

:<math>|S_n - l| \le \varepsilon</math>

を満たすことをいう。収束しない級数は[[発散級数|発散する]]という。

== {{anchors|級数の収斂・発散の例}}級数の収束・発散の例 ==
* すべての[[自然数]]の逆数和は[[発散級数|発散]]する。（[[調和級数]]）
{{Indent|<math>{1 \over 1}+{1 \over 2}+{1 \over 3}+{1 \over 4}+{1 \over 5}+{1 \over 6}+\cdots  = \sum_{n=1}^\infty \frac{1}{n} \to \infty</math>}}
* すべての自然数の逆数の交代和（各項の符号が交代的に入れ替わる級数）はln2に収束する。（[[2の自然対数]]）
{{Indent|<math>{1 \over 1}-{1 \over 2}+{1 \over 3}-{1 \over 4}+{1 \over 5}-{1 \over 6}+\cdots = \sum_{n=1}^\infty (-1)^{n-1} \frac{1}{n} = \ln 2</math>}}
* すべての正の[[奇数]]の逆数の交代和は収束し、<math>\pi/4</math> に等しい。（[[ライプニッツの公式]]）
{{Indent|<math>{1 \over 1}-{1 \over 3}+{1 \over 5}-{1 \over 7}+{1 \over 9}-{1 \over 11}+\cdots = \sum_{n=1}^\infty (-1)^{n-1} \frac{1}{2n-1} = {\pi \over 4}</math>}}
* すべての[[素数]]の逆数和は発散する。（n番目の素数を<math>p_n</math> とする）
{{Indent|<math>{1 \over 2}+{1 \over 3}+{1 \over 5}+{1 \over 7}+{1 \over 11}+{1 \over 13}+\cdots = \sum_{n=1}^\infty \frac{1}{p_n}\to \infty</math>}}
* すべての[[三角数]]の逆数和は2に収束する。
{{Indent|<math>{1 \over 1}+{1 \over 3}+{1 \over 6}+{1 \over 10}+{1 \over 15}+{1 \over 21}+\cdots = \sum_{n=1}^\infty \frac{1}{\frac{n(n+1)}{2}} = 2</math>}}
* すべての[[階乗|階乗数]]の逆数和は収束して[[ネイピア数]]と等しい。
{{Indent|<math>\frac{1}{1} + \frac{1}{1} + \frac{1}{2} + \frac{1}{6} + \frac{1}{24}  + \frac{1}{120} + \cdots = \sum_{n=0}^\infty \frac{1}{n!} = e</math>}}
* すべての[[平方数]]の逆数和が収束することは[[バーゼル問題]]といい、オイラーが肯定的に解決した。これは[[リーマンゼータ関数]]の 2 における値 &zeta;(2) である。
{{Indent|<math>{1 \over 1}+{1 \over 4}+{1 \over 9}+{1 \over 16}+{1 \over 25}+{1 \over 36}+\cdots = \sum_{n=1}^\infty \frac{1}{n^2} = {\pi^2 \over 6}</math>}} 
* すべての[[2の冪]]の逆数和は2に収束する。
{{Indent|<math>{1 \over 1}+{1 \over 2}+{1 \over 4}+{1 \over 8}+{1 \over 16}+{1 \over 32}+\cdots = \sum_{n=1}^\infty \left( \frac{1}{2} \right) ^{n-1} = 2</math>}}
* すべての[[立方数]]の逆数和は収束し、この値 &zeta;(3) （[[アペリーの定数]]）は無理数であることが証明されている。（[[アペリーの定理]]）
{{Indent|<math>{1 \over 1}+{1 \over 8}+{1 \over 27}+{1 \over 64}+{1 \over 125}+{1 \over 216}+\cdots = \sum_{n=1}^\infty \frac{1}{n^3} = 1.2020569... </math>}}
* すべての[[フィボナッチ数]]の逆数和は収束し、この値は無理数であることが証明されている。（[[フィボナッチ数列の逆数和]]）
{{Indent|<math>{1 \over 1}+{1 \over 1}+{1 \over 2}+{1 \over 3}+{1 \over 5}+{1 \over 8}+\cdots = \sum_{n=1}^{\infty} \frac{1}{F_n} = 3.359885666... </math>}}

== {{anchors|収斂判定法}}収束判定法 ==
{{main article|{{仮リンク|収束判定法|en|Convergence tests}}}}

与えられた級数が収束または[[発散級数|発散]]することの判定法はさまざまなものが知られる。
<!-- [[Image:Comparison test series.svg|thumb|250px|right|If the blue series, <math>sum b_n</math>, can be proven to converge, then the smaller series, <math>\sum a_n</math> must converge. By contraposition, if the red series, <math>\sum a_n</math> is proven to diverge, then <math>\sum b_n</math> must also diverge.]]-->
; [[比較判定法]] (comparison test): 数列 (''a''<sub>''n''</sub>) の各項が、別の数列 (''b''<sub>''n''</sub>) の各項と比較して、任意の ''n'' に対し 0 &le; ''a''<sub>''n''</sub> &le; ''b''<sub>''n''</sub> が成り立つものとする。このとき
:* &sum;&thinsp;''b''<sub>''n''</sub> が収束するならば &sum;&thinsp;''a''<sub>''n''</sub> は収束する。
:* &sum;&thinsp;''a''<sub>''n''</sub> が発散するならば &sum;&thinsp;''b''<sub>''n''</sub> は発散する。
: の二つの命題が成り立つ。
; [[ダランベールの収束判定法]]（比判定法、ratio test）: 複素数列 (''a<sub>n</sub>'') に対し、
::<math>\lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right| = r</math>
:なる定数 ''r'' が存在するものと仮定する。
: ''r'' &lt; 1 ならば級数 &Sigma;''a<sub>n</sub>'' は収束し、''r'' &gt; 1 ならば級数は発散する。''r'' = 1 のときはこの判定法では収束するとも発散するともいえない。
; [[コーシーの冪根判定法]] (root test): 対象となる級数の各項は[[複素数]]であるものとし、<div style="margin: 1ex auto 1ex 2em"><math> r = \limsup_{n \to \infty} \sqrt[n]{|a_n|} </math></div>とする。
: ''r'' &lt; 1 ならば級数 &Sigma;''a<sub>n</sub>'' は収束し、''r'' &gt; 1 ならば級数は発散するが、r = 1 のときはこの判定法では収束するとも発散するとも判定することはできない。
: 比の判定法も冪根の判定法も、幾何級数の挙動と比べることに基づく判定法であり、これらの判定法が有効な場面というのも似通っている。実は、比の判定法が有効な（極限が存在して 1 ではない）とき、冪根判定法は常に有効だが、逆は正しくない。つまり冪根判定法のほうが適用範囲は広いのだが、実用上の問題として、よくある種類の級数に対してこのような冪根の極限を計算することは難しいことが多いという点がある。
; [[積分判定法]]: 与えられた級数をなんらかの積分と比較することで収束・発散を判定する方法がある。数列 (''a''<sub>''n''</sub>) に対して ''f''(''n'') = ''a''<sub>''n''</sub> となる正値[[単調写像|単調減少関数]]が存在するならば、<div style="margin: 1ex auto 1ex 2em"><math>\int_{1}^{\infty} f(x)\, dx = \lim_{t \to \infty} \int_{1}^{t} f(x)\, dx < \infty,</math></div>のとき級数は収束し、積分が発散するならば級数は同様に発散する。
; {{仮リンク|極限比較法|en|Limit comparison test}}: 正の項からなる数列 (''a''<sub>''n''</sub>), (''b''<sub>''n''</sub>) について、各項の比 ''a''<sub>''n''</sub>/''b''<sub>''n''</sub> が 0 でない有限な極限をもつならば<div style="margin: 1ex auto 1ex 2em"><math>\sum_{n=1}^\infty a_n < \infty \iff \sum_{n=1}^\infty b_n < \infty</math> が成り立つ。
; ライプニッツの判定法: [[交代級数の収束判定法]]は、<div style="margin: 1ex auto 1ex 2em"><math>\sum_{n=1}^\infty (-1)^n a_n </math></div>の形の[[交代級数]]が、正値数列 (''a''<sub>''n''</sub>) が[[単調減少]]で 0 に収束するならばもとの級数も収束する（十分条件）というものである。 
; [[コーシーの凝集判定法]]: (''a''<sub>''n''</sub>) が単調減少列ならば<div style="margin: 1ex auto 1ex 2em"><math> \sum_{n=1}^\infty a_n < \infty \iff \sum_{k=1}^\infty 2^k a_{2^{k}} < \infty</math></div>が成立する。
; [[ディリクレの判定法]]: 正値数列 (''a''<sub>''n''</sub>) が[[単調減少]]で 0 に収束し、複素数列 (''b''<sub>''n''</sub>) について、全ての正の整数 ''N'' に対して <math>\left|\sum^{N}_{n=1}b_n\right|\leq M</math> を満たす定数 <math>M</math> が存在するならば、級数 <math>\sum^{\infty}_{n=1}a_n b_n</math> は収束する。

; {{仮リンク|アーベルの判定法|en|Abel's test}}
; {{仮リンク|ラーベの判定法|en|Raabe's test}}

== {{anchors|条件収斂と絶対収斂}}条件収束と絶対収束 ==
[[Image:LogConvergenceAnim.gif|thumb|right|対数関数 log(1 + ''z'') の 0 の周りでのテイラー級数の、''z'' = exp ''i''(&pi; &minus; 1/3) での値の条件収束の様子を示したもの。この線の長さは無限大である。]]

任意の数列 (''a''<sub>1</sub>, ''a''<sub>2</sub>, ...) に対して、''a''<sub>''n''</sub> &le; |''a''<sub>''n''</sub>| が任意の ''n'' について成立するから、

:<math>\left|\sum_{n=1}^\infty a_n\right| \le \sum_{n=1}^\infty |a_n|</math>

がわかる。これはつまり、右辺が収束するならば、もとの級数も収束することを示している（逆は成り立たない）。

無限級数 &sum;|''a''<sub>''n''</sub>| が収束するならば、無限級数 &sum;&thinsp;''a''<sub>''n''</sub> は'''[[絶対収束]]''' {{lang|en|(''absolutely convergent'')}} するという。絶対収束級数の部分和の成す増大列から各値を結んで得られる折れ線は有限の長さを持つ。[[指数関数]]のテイラー級数は至る所絶対収束する。

無限級数 &sum;&thinsp;''a''<sub>''n''</sub> が収束して、無限級数 &sum;|''a''<sub>''n''</sub>| は発散するならば、無限級数 &sum;&thinsp;''a''<sub>''n''</sub> は'''[[条件収束]]''' {{lang|en|(''conditionally convergent'')}} するという。条件収束級数の部分和の値をつないで得られる線分は長さが無限大となる。[[対数関数]]のテイラー級数は収束域の各点で条件収束する。

{{仮リンク|リーマンの級数定理|en|Riemann series theorem}}は「条件収束級数はその項を並べ替えることにより任意の値に収束させ、あるいは発散させることができる」ということを述べるものである。

条件収束という代わりに'''半収束''' {{lang|en|(''semiconvergent'')}} ということもある。逆に絶対収束の代わりに'''無条件収束''' {{lang|en|(''unconditionally convergent'')}} ともいう。

== {{anchors|一様収斂}}一様収束 ==
{{main|一様収束}}

(''f''<sub>1</sub>, ''f''<sub>2</sub>, ...) を関数列とする。関数項級数
: <math>\sum_{n=1}^\infty f_n</math>
が、関数 ''f'' に'''一様収束'''する {{lang|en|(''converge uniformly'')}} とは

: <math> s_n(x) = \sum_{k=1}^n f_k (x)</math>

で定義される部分和関数列 (''s''<sub>''n''</sub>) が ''f'' に一様収束することを言う。

比較判定法の関数項無限級数における対応物が存在して、[[ワイエルシュトラスのM判定法]]と呼ばれる。

== コーシーの判定法 ==

実数列に関する[[コーシーの判定法]]によれば、実数を項とする級数
:<math>\sum_{n=1}^\infty a_n</math>
が収束する[[必要十分条件]]はその[[部分和]]の列が[[コーシー列]]を成すことである。すなわち、任意の正数 &epsilon; &gt; 0 に対し正整数 ''N'' が存在して、''n'' &ge; ''m'' &ge; ''N'' なる全ての ''m'', ''n'' について
:<math> \left| \sum_{k=m}^n a_k \right| < \varepsilon</math>
が成り立つということであり、またこれを
:<math>\lim_{n \to \infty \atop m\to \infty} \sum_{k=n}^{n+m} a_k = 0</math>
という形に述べることもできる。

== 参考文献 ==
*{{citation|first=Rudin |last=Walter |date=1976 |title=Principles of Mathematical Analysis| publisher=McGrawHill}}
*{{citation|first=Spivak |last=Michael |date=1994 |title=Calculus |edition=3rd |publisher=Houston Texas: Publish or Perish, Inc.|isbn=0-914098-89-6}}

== 関連項目 ==
* 収束数列
* ノルム収束
* [[収束加速法]]
* [[発散級数]]

== 外部リンク ==
*Chase, Robert (2007). [http://www.ro6ert.com/ro6ert/portfolio/ComplexConvergence/ More plots on convergence]
*Weisstein, Eric (2005). [http://mathworld.wolfram.com/RiemannSeriesTheorem.html Riemann Series Theorem]. Retrieved May 16, 2005.

{{級数}}

{{DEFAULTSORT:しゆうそくきゆうすう}}
[[Category:級数]]
[[Category:数学に関する記事]]

[[de:Konvergenzkriterium]]