交項級数

交項級数の最新ニュースをまとめて検索!

交項級数(こうこうきゅうすう、英語: alternating series)とは無限級数で項の符号が交互に入れ替わるものである。これは以下の形で表される級数である。

\sum_{n=0}^\infty (-1)^n \ a_n \ , \ a_n \ge 0 \ \mbox{or} \  a_n \le 0

全ての自然数nに対して an は同符号。展開すると以下のようになる。

\sum_{n=0}^\infty (-1)^n \ a_n = a_0 - a_1 + a_2 - a_3 + \cdots

a_0 > 0 \, で an単調減少(またはa_0 < 0 \, でan が単調増加)かつ0に収束するとき、この級数も収束する。これは交項級数の特徴であり、一般の級数\sum_{n=1}^\infty a_nにはあてはまらない性質である。例えば an = 1/n である調和級数

\sum_{n=1}^\infty \frac{1}{n}

は an が単調減少で0に収束するが、級数自体は発散する。一方

\sum_{n=1}^\infty (-1)^{n+1} \frac{1}{n}

は収束する。この級数の収束値は ln2(=0.69314…)である。

[編集] 収束条件の証明

a_0 > 0 \, , anが単調減少ならば a_0 > a_1 > a_2 > \cdots > a_{n-1} > a_n > \cdots > 0 である。
また an が0に収束するとき \lim_{n\rightarrow \infty} a_n = 0
第2n項までの部分和を S_{2n}\quad とすると

S_{2n} = a_0 - (a_1 + a_2) - (a_3 + a_4) - \cdots - (a_{2n-1} + a_{2n})

ここで括弧で括った項は全て正の値をもつので S_{2n} \,a_0 \, より小さい。また

S_{2n} = (a_0 - a_1) + (a_2 - a_3) + \cdots + (a_{2n-2} - a_{2n-1}) + a_{2n}

ここでも括弧で括った項は全て正の値をもつので S_{2n} \,a_{2n} \, より大きい。 したがって

a_{2n} < S_{2n} < a_0 \,

n→∞ の極限をとると

0 < \sum_{n=0}^\infty (-1)^n \ a_n < a_0 \,

ゆえに交項級数は a_0 > 0 \, で an が単調減少かつ極限値が0のとき収束する。a_0 < 0 \, でan が単調増加かつ極限値が0の場合も同様である。

[編集] 関連項目

最終更新 2009年10月27日 (火) 01:28 (日時は個人設定で未設定ならばUTC)。
【交項級数】変更履歴

ご利用上の注意

もっと調べる!