収束級数
数学において、級数が収束（しゅうそく、英: converge）あるいは収斂（しゅうれん）するとは、部分和の成す数列が収束することをいう。このとき、与えられた級数は「（有限な）和を持つ」とか「和が有限確定である」などともいい、収束する級数のことを短く、収束級数 (convergent series) などともよぶ。
ここで、級数とは数列の項の総和のことであり、与えられた数列 (a1, a2, ..., an, ...) の第 n-部分和とは最初の n-項の有限和
- [math]S_n = \sum_{k=1}^n a_k[/math]
のことであった。
Contents
定義
厳密に言えば、級数が「通常の意味で」収束するとは、定数 l が存在して、任意の正の数 ε > 0 に対して十分大きな整数 N = Nε をうまくとれば、n ≥ N なる任意の整数 n に対して
- [math]|S_n - l| \le \varepsilon[/math]
を満たすことをいう。収束しない級数は発散するという。
{{safesubst:#invoke:Anchor|main}}級数の収束・発散の例
- すべての正の整数の逆数の列から発散級数の例となる[math]{1 \over 1}+{1 \over 2}+{1 \over 3}+{1 \over 4}+{1 \over 5}+{1 \over 6}+\cdots \to \infty[/math]が得られる（調和級数）。
- 一方、すべての正整数の逆数の交代和（各項の符号が交代的に入れ替わる級数）[math]{1 \over 1}-{1 \over 2}+{1 \over 3}-{1 \over 4}+{1 \over 5}-{1 \over 6}+\cdots = \ln 2[/math]は今度は収束級数の例になる。
- すべての正の奇数の逆数の交代和[math]{1 \over 1}-{1 \over 3}+{1 \over 5}-{1 \over 7}+{1 \over 9}-{1 \over 11}+\cdots = {\pi \over 4}[/math]は収束し、円周率 π のライプニッツの公式と呼ばれる
- すべての素数の逆数からは[math]{1 \over 2}+{1 \over 3}+{1 \over 5}+{1 \over 7}+{1 \over 11}+{1 \over 13}+\cdots \to \infty[/math]という発散級数が得られる（ゆえに、素数全体の成す集合は組合せ論的な意味で大きい集合である）。
- すべての三角数の逆数和[math]{1 \over 1}+{1 \over 3}+{1 \over 6}+{1 \over 10}+{1 \over 15}+{1 \over 21}+\cdots = 2[/math]は収束する。
- すべての階乗数の逆数和[math]\frac{1}{1} + \frac{1}{1} + \frac{1}{2} + \frac{1}{6} + \frac{1}{24} + \frac{1}{120} + \cdots = e[/math]は収束してネイピア数を与える。
- すべての平方数の逆数和[math]{1 \over 1}+{1 \over 4}+{1 \over 9}+{1 \over 16}+{1 \over 25}+{1 \over 36}+\cdots = {\pi^2 \over 6}[/math]が収束することはバーゼル問題といい、オイラーが肯定的に解決した。これはリーマン・ゼータ関数の 2 における値 ζ(2) である。
- すべての2-冪の逆数和[math]{1 \over 1}+{1 \over 2}+{1 \over 4}+{1 \over 8}+{1 \over 16}+{1 \over 32}+\cdots = 2[/math]は収束級数である（2-冪全体の成す集合は組合せ論的に小さい）。
{{safesubst:#invoke:Anchor|main}}収束判定法
与えられた級数が収束または発散することの判定法はさまざまなものが知られる。
- 比較判定法 (comparison test)
- 数列 (an) の各項が、別の数列 (bn) の各項と比較して、任意の n に対し 0 ≤ an ≤ bn が成り立つものとする。このとき
- ∑ bn が収束するならば ∑ an は収束する。
- ∑ an が発散するならば ∑ bn は発散する。
- の二つの命題が成り立つ。
- ダランベールの収束判定法（比判定法、ratio test）
- 複素数列 (an) に対し、
- [math]\lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right| = r[/math]
- なる定数 r が存在するものと仮定する。
- r < 1 ならば級数 Σan は収束し、r > 1 ならば級数は発散する。r = 1 のときはこの判定法では収束するとも発散するともいえない。
- コーシーの冪根判定法 (root test)
- 対象となる級数の各項は複素数であるものとし、[math] r = \limsup_{n \to \infty} \sqrt[n]{|a_n|} [/math]とする。
- r < 1 ならば級数 Σan は収束し、r > 1 ならば級数は発散するが、r = 1 のときはこの判定法では収束するとも発散するとも判定することはできない。
- 比の判定法も冪根の判定法も、幾何級数の挙動と比べることに基づく判定法であり、これらの判定法が有効な場面というのも似通っている。実は、比の判定法が有効な（極限が存在して 1 ではない）とき、冪根判定法は常に有効だが、逆は正しくない。つまり冪根判定法のほうが適用範囲は広いのだが、実用上の問題として、よくある種類の級数に対してこのような冪根の極限を計算することは難しいことが多いという点がある。
- 積分判定法
- 与えられた級数をなんらかの積分と比較することで収束・発散を判定する方法がある。数列 (an) に対して f(n) = an となる正値単調減少関数が存在するならば、[math]\int_{1}^{\infty} f(x)\, dx = \lim_{t \to \infty} \int_{1}^{t} f(x)\, dx \lt \infty,[/math]のとき級数は収束し、積分が発散するならば級数は同様に発散する。
- 極限比較法
- 正の項からなる数列 (an), (bn) について、各項の比 an/bn が 0 でない有限な極限をもつならば[math]\sum_{n=1}^\infty a_n \lt \infty \iff \sum_{n=1}^\infty b_n \lt \infty[/math] が成り立つ。
- ライプニッツの判定法
- 交代級数の収束判定法は、[math]\sum_{n=1}^\infty (-1)^n a_n [/math]の形の交代級数が、正値数列 (an) が単調減少で 0 に収束するならばもとの級数も収束する（十分条件）というものである。
- コーシーの稠密化判定法
- (an) が単調減少列ならば[math] \sum_{n=1}^\infty a_n \lt \infty \iff \sum_{k=1}^\infty 2^k a_{2^{k}} \lt \infty[/math]が成立する。
- ディリクレの判定法
- アーベルの判定法
- ラーベの判定法
{{safesubst:#invoke:Anchor|main}}条件収束と絶対収束
任意の数列 (a1, a2, ...) に対して、an ≤ |an| が任意の n について成立するから、
- [math]\left|\sum_{n=1}^\infty a_n\right| \le \sum_{n=1}^\infty |a_n|[/math]
がわかる。これはつまり、右辺が収束するならば、もとの級数も収束することを示している（逆は成り立たない）。
無限級数 ∑|an| が収束するならば、無限級数 ∑ an は絶対収束 (absolutely convergent) するという。絶対収束級数の部分和の成す増大列から各値を結んで得られる折れ線は有限の長さを持つ。指数関数のテイラー級数は至る所絶対収束する。
無限級数 ∑ an が収束して、無限級数 ∑|an| は発散するならば、無限級数 ∑ an は条件収束 (conditionally convergent) するという。条件収束級数の部分和の値をつないで得られる線分は長さが無限大となる。対数関数のテイラー級数は収束域の各点で条件収束する。
リーマンの級数定理は「条件収束級数はその項を並べ替えることにより任意の値に収束させ、あるいは発散させることができる」ということを述べるものである。
条件収束という代わりに半収束 (semiconvergent) ということもある。逆に絶対収束の代わりに無条件収束 (unconditionally convergent) ともいう。
{{safesubst:#invoke:Anchor|main}}一様収束
(f1, f2, ...) を関数列とする。関数項級数
- [math]\sum_{n=1}^\infty f_n[/math]
が、関数 f に一様収束する (converge uniformly) とは
- [math] s_n(x) = \sum_{k=1}^n f_k (x)[/math]
で定義される部分和関数列 (sn) が f に一様収束することを言う。
比較判定法の関数項無限級数における対応物が存在して、ワイエルシュトラスのM判定法と呼ばれる。
コーシーの判定法
実数列に関するコーシーの判定法によれば、実数を項とする級数
- [math]\sum_{n=1}^\infty a_n[/math]
が収束する必要十分条件はその部分和の列がコーシー列を成すことである。すなわち、任意の正数 ε > 0 に対し正整数 N が存在して、n ≥ m ≥ N なる全ての m, n について
- [math] \left| \sum_{k=m}^n a_k \right| \lt \varepsilon[/math]
が成り立つということであり、またこれを
- [math]\lim_{n \to \infty \atop m\to \infty} \sum_{k=n}^{n+m} a_k = 0[/math]
という形に述べることもできる。
関連項目
参考文献
- Walter, Rudin (1976), Principles of Mathematical Analysis, McGrawHill
- Michael, Spivak (1994), Calculus (3rd ed.), Houston Texas: Publish or Perish, Inc., ISBN 0-914098-89-6
外部リンク
- Chase, Robert (2007). More plots on convergence
- Weisstein, Eric (2005). Riemann Series Theorem. Retrieved May 16, 2005.