1+2+3+4+…

提供: miniwiki
移動先:案内、検索
ファイル:Sum1234Summary.svg
級数 1 + 2 + 3 + 4 + … の部分和の最初の四項。放物線はその平滑化漸近線であり、実はその y-切片の値が −1/12 に等しい

自然数すべての総和 1 + 2 + 3 + 4 + … は、その n-次の部分和

[math]\sum_{k=1}^n k=\frac{n(n+1)}{2}[/math]

が三角数によって与えられる無限級数。これは n を無限大に飛ばすとき際限なく増加するため、この級数は（正の無限大に）発散し、通常の意味での「和」を持たない。

一見するとこの級数が意味のある値を持つことは全くないように思われるが、これに数学的に意味のある値を結びつける方法があり、そうして得られた値は複素解析や、物理学における場の量子論、特に弦理論などの分野において応用がある。様々な総和法を用いることで、上記のごとき発散級数にさえ有限な数値を割り当てることができ、特にゼータ関数正規化やラマヌジャン総和法では件の級数に −1/12 を値として割り当てる。この事実をよく知られた公式

[math]1+2+3+4+\dotsb =-\frac{1}{12}[/math]

として式に表す[1]。モンスター群のムーンシャイン現象に関するモノグラフでテリー・ガノン（English版）はこの等式を「自然科学において最も注目すべき公式の一つ」と評した[2]。

部分和について

ファイル:First six triangular numbers.svg
三角数の最初の六項
"「三角数」"

級数 1 + 2 + 3 + 4 + 5 + … の部分和は順に 1, 3, 6, 10, 15, … と続き、第 n 部分和は簡単な公式

[math]\sum_{k=1}^n k=\frac{n(n+1)}{2}[/math]

によって与えられる。この等式はピタゴラス学派によって紀元前6世紀ごろには早くも知られていた[3]。この形で与えられる数は、各項を点を三角形状に並べることで数えられることから、三角数と呼ばれる数である。

三角数からなる無限数列は +∞ に発散するから、定義により無限級数 1 + 2 + 3 + 4 + … もまた +∞ に発散する。これが発散することは「項が 0 に収束しないならば級数は発散する」という項判定法（English版）の単純な帰結でもある。

 ゼータ関数の部分和

リーマンゼータ関数を部分和にした

[math]P_s(n)=\sum_{k=1}^nk^{-s}[/math]

を複素平面上にプロットした時、[math]s[/math]の虚部に対して[math]n[/math]が十分大きくなると対数螺旋のような軌跡を描く。その軌跡の中心は元となったゼータ関数の値に近似していることが観測されており[4]、[math]s[/math]の実部を[math]-1[/math]として虚部を十分小さくした時にこの方法で[math]P_s(n)[/math]を観測すると −1/12に近似する。

総和可能性について

様々知られた古典的な発散級数の中でも 1 + 2 + 3 + 4 + … は有限値へ持ち込むことが比較的難しい。発散級数に有限な数値を割り当てる総和法は多数存在するが、それらの中には総和法としての強さが比較可能なものがある。例えば、チェザロ総和法は緩やかに発散するグランディ級数 1 − 1 + 1 − 1 + … を 1/2 に総和することはよく知られているが、アーベル総和法はグランディ級数を 1/2 に総和するのみならず、より扱いの難しい級数 1 − 2 + 3 − 4 + … までも 1/4 に総和することができる。

これらの級数と異なり、1 + 2 + 3 + 4 + … はチェザロ総和可能でもアーベル総和可能でもない。これらの総和法が適用できるのは収束級数と振動級数に対してのみであり、+∞ に発散する級数については有限な値を生み出すことはできないのである[5]。そこでより発展的な総和法が必要になるのであるが、それは例えばゼータ関数正規化やラマヌジャン総和法である。だいたいそういった方法による経験論を用いて、この級数の値が −1/12 であると論ずることができる。

ヒューリスティックな説明

ファイル:Ramanujan Notebook 1 Chapter 8 on 1234 series.jpg
ラマヌジャンの最初のノート。級数に対する「定数」を書いた一節。

ラマヌジャンは彼のノートブックの8章において "1 + 2 + 3 + 4 + … = −1/12" の導出を二種類の方法で与えている[6][7][8]。厳密さをさておいて簡単に述べれば以下のようなことになる。

考察の第一の鍵は、正項級数 1 + 2 + 3 + 4 + … が交項級数 1 − 2 + 3 − 4 + … にきわめてよく似ていることである。後者の級数もまた発散するのであるが、扱いは極めて容易で、これに値を割り当てる古典的な総和法がいくつか存在し、それは18世紀にはすでに発見されていた[9]。

さて級数 1 + 2 + 3 + 4 + … を級数 1 − 2 + 3 − 4 + … に変形するのに、第二項から 4 を引き、第四項から 8 を引き、第六項から 12 を引き……、という具合にやって行けば、引かれる総量は 4 + 8 + 12 + 16 + … でこれはもとの級数の 4 倍である。これを少し代数学的に書いてみよう。この級数の「和」となるべきものがあるとしてそれを c = 1 + 2 + 3 + 4 + … と呼ぶことにすると、これを 4 倍してもとの式から引けば

[math]\begin{alignat}{7} c &{}={} &1+2 & &{}+3+4 & &{}+5+6+\cdots \\ 4c &{}={} &4& &{}+8 & &{}+12+\cdots \\ -3c &{}={} &1-2 & &{}+3-4 & &{}+5-6+\cdots \\ \end{alignat}[/math]

を得る。

考察の第二の鍵は、交項級数 1 − 2 + 3 − 4 + … が 1/(1 + x)2 の形式冪級数展開に x = 1 と代入したものになっていることである。ラマヌジャンのノートに従えば

[math]-3c=1-2+3-4+\cdots=\frac{1}{(1+1)^2}=\frac{1}{4}[/math]

の両辺を −3 で割って、c = −1/12 を得る。

一般論で言えば、無限級数を（特に発散級数を）有限和と同様のものであるかのように扱うことは危険である。例えば発散級数に対してその任意の位置に無数の 0 を挿入することでさえ、自己矛盾した結果を導き得る（まして他と整合する結果であることをあらかじめ望むべくもない）。特に、4c = 0 + 4 + 0 + 8 + … とした手順は、単に加法単位元の基本性質のみで正当化することができるものではないのである。さらに極端な例として、級数の先頭にたった一つ 0 を付け加えるだけで矛盾した結果を導くことができることさえある[10]。

この状況を改善して 0 の挿入可能な場所を制限する一つの方法は、適当な関数に従って配置することによって各項のつながり方を保つことである[注釈 1]。級数 1 + 2 + 3 + 4 + … における各項 n は単なる数であるが、ここで項 n を複素変数 s に関する関数 n−s へ昇華するならば、項が足し合わされるというようなことだけについては保証することができるようになる。そうして得られた級数はより厳密な取扱いができるようになるし、そのあとで変数 s を −1 に特殊化することもできる。こういった手法を形にしたものがゼータ関数正規化である（後述）。

{{safesubst:#invoke:Anchor|main}}ゼータ関数正規化

ファイル:Zeta plot.gif
リーマンゼータ ζ(s) のグラフ。s > 1 で級数は収束し ζ(s) > 1 であることがわかる。極 s = 1 の周りでの解析接続によって負の領域まで延長すれば ζ(−1) = −1/12 などの場合も含まれる。

ゼータ関数正規化 (zeta function regularization) において、級数 [math]\scriptstyle \sum_{n=1}^\infty n[/math] は級数 [math]\scriptstyle \sum_{n=1}^\infty n^{-s}[/math] に置き換えられる。後者の級数はディリクレ級数の一例である。複素変数 s の実部が 1 より大きいときこのディリクレ級数は収束し、その和はリーマンゼータ関数 ζ(s) に等しい。一方、実部が 1 以下のときこのディリクレ級数は発散し、特に級数 1 + 2 + 3 + 4 + … は s = −1 と置いたものだから、1 + 2 + 3 + 4 + … は発散する。リーマンゼータ関数を導入するメリットは、そうすれば s に関する解析接続によって級数の収束領域の外側まで矛盾なく定義することができることにある。そうして、級数 1 + 2 + 3 + 4 + … のゼータ関数正規化された「和」を ζ(−1) = −1/12 と定義するのである[注釈 2]。

ところで、ζ(−1) = −1/12 を証明する方法はいくつか知られている。一つの方法はオイラーの論法に沿ったもので、リーマンゼータ関数とディリクレイータ関数（English版） η(s) との間の関係を用いる[12]。このイータ関数は交代ディリクレ級数によって定義されるもので、故にこの方法は古き経験論的方法をなぞるものである。両ディリクレ級数が収束する領域において、等式

[math] \begin{alignat}{8} \zeta(s) &{}={} &1^{-s}+2^{-s} & &{}+3^{-s}+4^{-s} & &{}+5^{-s}+6^{-s}+\cdots & \\ 2\cdot2^{-s}\zeta(s) &{}={} &2\cdot2^{-s} & &{}+2\cdot4^{-s} & &{} +2\cdot6^{-s}+\cdots & \\ \left( 1-2^{1-s} \right) \zeta (s) &{}={} &1^{-s} -2^{-s} & &{}+3^{-s}-4^{-s} & &{}+5^{-s}-6^{-s}+\cdots &=\eta(s) \\ \end{alignat}[/math]

が成り立ち、この等式 [math](1-2^{1-s} )\zeta (s)=\eta(s)[/math] は、上記の級数が発散する領域の s に対しても、解析接続によって延長すれば保たれる。故に s = −1 を代入して −3ζ(−1) = η(−1) を得るが、このイータ関数はこの級数を定義するアーベル和に等しいから η(−1) は容易に計算できる[13]。つまり、片側極限

[math]-3\zeta (-1)=\eta (-1)=\lim_{x\nearrow 1} \left( 1-2x+3x^2 -4x^3 +\cdots \right) =\lim_{x\nearrow 1} \frac{1}{(1+x)^2} =\frac14[/math]

が求まって、両辺を −3 で割れば、ζ(−1) = −1/12 を得る。

平滑化漸近線

200px
級数 1 + 2 + 3 + 4 + …
200px
平滑化したもの
ファイル:Sum1234Asymptote.svg
平滑化の漸近的挙動。この抛物線の y-切片は −1/12 である[10]。

テレンス・タオは級数の平滑化によって −1/12 が得られることを指摘している。平滑化はゼータ関数正規化（複素解析を背景とする）とラマヌジャン総和法（オイラー＝マクローリンの公式の便法）とを概念的に橋渡しするものである。これは、保守的な級数変化法を直接操作する代わりに、実解析の方法論を用いるのである。

この考えは、素性の悪い (ill-behaved) 離散的級数 [math]\scriptstyle \sum_{n=0}^N n[/math] を、よい性質 (well-behaved) のカットオフ関数 f を用いて、その滑らかな変形版 [math]\scriptstyle \sum_{n=0}^\infty nf(n/N)[/math] で置き換える。このカットオフ関数は f(0) = 1 に正規化されていなければならない[注釈 3]。カットオフ関数は級数の悪い点を滑らかにするために充分に有界な導関数を持ち、級数の増加よりも早く 0 に減少する必要がある。便宜のため、f は滑らかで有界かつ台がコンパクトであるものと仮定する。このとき、この平滑化された和が − 1/12 + CN2 に漸近することが示される（ただし C は f に依存して決まる定数）。この漸近展開の定数項は f の選び方に依らないが、これが必ずしも解析接続によって得られる値 −1/12 と同じであると決まっているわけではない[10]。

ラマヌジャン総和法

1 + 2 + 3 + 4 + … のラマヌジャン和（English版）も −1/12 になる。ハーディへ宛てたラマヌジャンの二通目の書簡 (1913年2月27日付け) には

"Dear Sir, I am very much gratified on perusing your letter of the 8th February 1913. I was expecting a reply from you similar to the one which a Mathematics Professor at London wrote asking me to study carefully Bromwich's Infinite Series and not fall into the pitfalls of divergent series. … I told him that the sum of an infinite number of terms of the series: 1 + 2 + 3 + 4 + … = −1/12 under my theory. If I tell you this you will at once point out to me the lunatic asylum as my goal. I dilate on this simply to convince you that you will not be able to follow my methods of proof if I indicate the lines on which I proceed in a single letter. …"[14]

と書かれている。

ラマヌジャン総和法は、級数の部分和に対するオイラー＝マクローリンの公式の定数項だけを分離する方法である。関数 f に対して、級数 [math]\scriptstyle \sum_{k=1}^\infty f(k)[/math] の古典ラマヌジャン和 (classical Ramanujan sum) は

[math]c=-\frac{1}{2}f(0)-\sum_{k=1}^{\infty}\frac{B_{2k}}{(2k)!}f^{(2k-1)}(0)[/math]

で定義される。ここで f (2k−1) は f の (2k − 1)-階導関数で B2k は 2k-番目のベルヌーイ数である (B2 = 1/6, B4 = −1/30, ……)。 f(x) = x とすれば f の一階導関数が f (1) = 1 で残りはすべて消えるから、

[math]c=-\frac16 \cdot \frac{1}{2!} =-\frac{1}{12}[/math]

を得る[15]。

矛盾が起きるのを避けるため、ラマヌジャン総和法の現代的理論では、f の高階導関数が「オイラー＝マクローリンの公式の剰余項が 0 に収束するのに充分な速さで減少する」という意味の「正則性」を持つことを要求する。ラマヌジャンはこの性質を暗に仮定している[15]。この正則性を課すことによって、そのような正則な関数をとることができない 0 + 2 + 0 + 4 + … のような病的な級数にラマヌジャン総和法が適用されることは防げる。そのような級数について、ラマヌジャン和の代わりにゼータ関数正規化によって解釈されるべきである。この理由を以ってハーディは、既知の級数のラマヌジャン和を関連する級数の和を求めるのに用いるときには「厳重な注意」("great caution") を要すると述べた[16]。

物理学での応用

ボゾン弦理論（English版）では、弦の取り得るエネルギー準位、とくに最低エネルギー準位を計算することが試みられる。砕けた言い方をすると、時空の次元を D とするとき、弦の振動は D − 2 個の独立な量子調和振動子（各々は横波）の集まりと見ることができて、基本振動数、すなわち弦の振動数の中で最も小さいものを ν とすると振動子のエネルギーにおける n 番目の振動子の寄与は hνn/2 と表せるので[注釈 4]、件の級数を用いれば全ての振動数に亘る和を計算すると −hν(D − 2)/24 が得られる。最終的には、この事実にゴダード・ソーンの定理（English版）を合わせて、ボゾン弦理論が 26 次元でないと無矛盾にならないことが導かれる。

級数 1 + 2 + 3 + 4 + … の計算は一次元のスカラー場に対するカシミール力の計算にも関わってくる。指数的カットオフ関数は級数を滑らかにするのに充分で、これは高エネルギー状態が導電性板によってブロックされないという事実を表している。この問題の空間対称性はこの展開の二次の項がキャンセルされることの原因である。残るのは定数項 −1/12 であるが、この負符号はカシミール力が吸引力であるという事実を反映している[17]。

同様の計算は 3 次元でも存在し、リーマンゼータの代わりにエプスタインゼータが用いられる[18]。

メディアでの扱い

デーヴィッド・リーヴィット（English版）の小説 The Indian Clerk には、ハーディとリトルウッドがこの級数について議論するシーンが出てくる[19]。サイモン・マクバーニーの2007年の作品 A Disappearing Number では舞台の冒頭でこの級数が取り上げられている[20]。

2014年1月9日、YouTube の番組 Numberphile でこの級数に関する動画が投稿され[21]、公開から1ヶ月間で 150 万以上の再生数を獲得した[22]。動画は 8 分間でノッティンガム大学の物理学者、トニー・パディーヤ（English版）が解説をしている。パディーヤは S1 = 1 − 1 + 1 − 1 + … と S2 = 1 − 2 + 3 − 4 + … から始め、最後に S = 1 + 2 + 3 + 4 + … を、ラマヌジャンの議論と同様に項別の引き算を用いてそれらの級数の関連性を述べている。Numberphile はノッティンガム大学の物理学者、エド・コープランドを招いた 21 分の動画も制作しており、アーベル和として S2 = 1 − 2 + 3 − 4 + … = 1/4 となること、ζ(−1) として S = 1 + 2 + 3 + 4 + … = −1/12 となることについて、より詳細に解説している[23] 。 後日、最初の動画が厳密性に欠けているという批判があり、パディーヤは彼のウェブページで、動画の中で行った操作と実際に行われている relevant なディリクレ級数に対する解析接続との関係についての解説を書いている[24]。 ニューヨーク・タイムズの Numberphile の動画に関する記事で、数学者のエドワード・フレンケル（English版）は次のようにコメントしている[22]。「この計算は数学界における最高の秘密の一つだろう。外部の人間は誰もそれについて知らないのだ 」。

注

注釈

  1. ↑ 数を関数に昇華して考えることは、二つの広汎な総和法のクラスの、アーベル総和法やボレル総和法などを含む一派として理解することができる[11]。
  2. ↑ より一般に、ζ(s) の値は テンプレート:Sum n−sehn の h = 0 の周りでのローラン展開の定数項として常に与えられる。
  3. ↑ これは微分方程式において用いられる正規化とは異なる
  4. ↑ h はプランク定数。振動数 ν の逆数はその振動の周期 τ を表し、振動数と周期の積は ντ = 1 である。振動数に似たものに角振動数 ω があり、角振動数と振動数の間には ω = 2πν という関係がある。三角関数の周期は 2π であるため、物理学の文献では振動数でなく角振動数が好んで用いられる。それに合わせてプランク定数 h を 2π で割った換算プランク定数（ディラック定数）テンプレート:Hbar テンプレート:Coloneqq h/2π がしばしば用いられる。ν, h および ω, テンプレート:Hbar の積は互いに等しい (hν = テンプレート:Hbarω)。

出典

  1. ↑ Lepowsky 1999, pp. 327-340.
  2. ↑ Gannon 2010, p. 140.
  3. ↑ Pengelley 2002, p. 3.
  4. ↑ Carl,Erickson(2005),A Geometric Perspective on the Riemann Zeta Function's Partial Sums
  5. ↑ Hardy 1949, p. 10.
  6. ↑ ラマヌジャンのノート第 1 巻 8 章
  7. ↑ Abdi 1992, p. 41.
  8. ↑ Berndt 1985, pp. 135-136.
  9. ↑ Euler 1768, pp. 83-106.
  10. ↑ 10.0 10.1 10.2 Tao 2010.
  11. ↑ Knopp 1990, pp. 475-476.
  12. ↑ Stopple 2003, p. 202.
  13. ↑ Knopp 1990, pp. 490-492.
  14. ↑ Berndt et al. p. 53.
  15. ↑ 15.0 15.1 Berndt 1985, pp. 13,134.
  16. ↑ Hardy 1949, p. 346.
  17. ↑ Zee 2003, pp. 65-67.
  18. ↑ Zeidler 2007, pp. 305-306.
  19. ↑ Leavitt 2007, pp. 61-62.
  20. ↑ Thomas 2008.
  21. ↑ ASTOUNDING: 1 + 2 + 3 + 4 + 5 + ... = -1/12 - YouTube
  22. ↑ 22.0 22.1 Overbye, Dennis (February 3, 2014), “In the End, It All Adds Up to – 1/12”, New York TImes, http://www.nytimes.com/2014/02/04/science/in-the-end-it-all-adds-up-to.html . February 3, 2014閲覧. 
  23. ↑ Sum of Natural Numbers (second proof and extra footage) - YouTube
  24. ↑ Padilla, Tony, What do we get if we sum all the natural numbers?, http://www.nottingham.ac.uk/~ppzap4/response.html . February 3, 2014閲覧. 

参考文献

数学関連
物理学関連
一般書・小説

関連文献

外部リンク

テンプレート:級数



「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=1%2B2%2B3%2B4%2B…&oldid=107571」から取得