1−1+2−6+24−120+…
1 − 1 + 2 − 6 + 24 − 120 + … は発散級数のひとつ。階乗に関する交項級数であり、総和の記号を用いて
と表される。
この級数は通常の意味での和を持たないが、オイラーは微分方程式を用いる適当な形式総和法によりこの級数に有限な値を割り当てた[1]。
この発散級数の値を知る簡単な方法の一つは、ボレル和
を考えることである︵式の両辺は通常の意味でともに無限大であり、ここでの等号はこのままでは正当化されない形式的な等号であることに注意︶。ここで仮に無限和と積分とが︵記号的に︶交換できるものとすれば
という式が得られることになるが、右辺の角括弧内の総和は (0 ≤) x<1のとき収束して 1/(1 + x) に等しい。さらに仮定を重ねて︵1 ≤ xのときも収束性を無視して︶角括弧内の総和を 1/(1 + x) に書き換えてよいものとすると、全体の積分が有限値に収束するものになり、ボレルの意味で
と書くことが正当化できる︵但し、e は自然対数の底、は指数積分である︶。
微分方程式による計算[編集]
以下の微分方程式系 を考える。t → ∞ で (x, y) = (0, 0) となる安定解は y(t) = 1/t で与えられる。この結果を方程式に代入し、x を形式冪級数の形で求めれば、 を得る。さて、値 x(1) がちょうど所望する級数和であることに注意する。一方、もとの方程式の解析解を求めれば であり、これを部分積分を繰り返し適用して展開すれば、得られる整級数は x(t) の漸近展開を与える。オイラーはこれらを等しいものとして とした。これで得られる値は上記ボレル総和法で得たものと同じである。脚注[編集]
- ^ (Euler 1760, p. 205)
参考文献[編集]
- Euler, L. (1760), “De seriebus divergentibus” (PDF), Novi Commentarii academiae scientiarum Petropolitanae (5): 205-237