1−2+3−4+…

無限級数 1−2+3−4+… の発散と収束

無限級数 1−2+3−4+… は、交差する項を持つ級数の一例であり、数学的には以下のように表現される。

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

一般的に、この級数の部分和は 1, −1, 2, −2, 3, −3…と一定の値には収束せず、振動を続けるために発散するとされている。しかし、異なる手法で計算すると、この級数が 1/4|1_4 に収束すると考えられる可能性もある。この事実は18世紀の数学者レオンハルト・オイラーによって発見され、後にエミール・ボレルらによって詳細な研究がなされてきた。

部分和の計算

この級数の部分和を求めると、以下のような結果が得られる。

• - $S_1 = 1$
• - $S_2 = 1 - 2 = -1$
• - $S_3 = 1 - 2 + 3 = 2$
• - $S_4 = 1 - 2 + 3 - 4 = -2$
• - $S_5 = 1 - 2 + 3 - 4 + 5 = 3$
• - $S_6 = 1 - 2 + 3 - 4 + 5 - 6 = -3$

このように、部分和は 0 以外の全ての整数を取る可能性があり、また発散することがわかる。説明において注意すべきポイントは、発散が正の無限大または負の無限大に向かうのではなく、振動的な発散である点である。

1/4|1_4 へ収束すると考える場合

この級数が 1/4|1_4 へ収束すると考える場合、以下のような計算を行う。まず仮に、$S = 1−2+3−4+5−…$ とする。これに対して、$4S$を計算すると次のようになる。

$$
4S = (1−2+3−4+…)+(1−2+3−4+…)+(1−2+3−4+…) + (1−2+3−4+5−…)
$$

この際、右辺の和を整理すると,

$$
4S = 1 + (1−2−2+3) + (3−4−4+5) + …
$$

最終的に、$S = 1/4|1_4$ が導かれる。これは必ずしも厳密な証明とは言えないが、様々な議論によって支持されている。

現代的な解釈

この無限級数はディリクレのイータ関数 $$ η(s) = \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n^s} $$ の特別な値に関連している。ここで $s = -1$ を代入した場合、得られる値は同様に 1/4|1_4 である。加えて、ゼータ関数との関係性も存在する。特に、ゼータ関数は次のように表現される:

$$
η(s) = \left( 1 - 2^{1 - s} \right) ζ(s)
$$

このため、ゼータ関数の特別な値からもイータ関数の値を得ることができ、数学的なつながりが認められる。オイラーの発見以降、無限級数に関わる様々な考察が進められており、これは単に数学の枠を超えて、広範な応用や発展をもたらしている。

まとめ

無限級数 1−2+3−4+… は、古典的な数学の中でも特に魅力的なテーマであり、収束の有無についてのさまざまな視点を提供している。オイラーの初めての発見から現代に至るまでの研究は、数学の進歩を象徴する重要な事例である。

もう一度検索