1−2+4−8+…

数学において、1 2 + 4 8 + ...は項が連続する2の冪で符号が交互に繰りかえす無限級数である。等比数列としては、初項 1 と公比 -2 で特徴付けられる。

これは実数の級数として発散するので、普通の意味では和を持たない。もっと広く解釈すると、この級数は一般化された和 1/3 をもつ。

歴史上の議論

ゴットフリート・ライプニッツは、早くも1673年に、発散する交代級数である1 2 + 4 8 + 16 ...を考察した。左または右で減算することによって、正または負の無限大が得られるので、どちらの答えも誤りであり、全体としては有限であるべきだ、と彼は主張した。

「さて、もしその2つのどちらも不可能であるか、またはむしろその2つのどちらが可能であるかを決めることができないならば、普通に考えて中間を選ぶ。そして、全体は有限の量に等しい。」

ライプニッツは、この級数がを持つことを完全には断言しなかったが、メルカトルの手法を用いることにより、⅓ に収束するという仮説を確かに推測した[1] 。ある級数が、和として実際に足し合わせることなしに、何らかの有限量と等しくなるという姿勢は、18世紀にはよくあることだったが、現代数学においては全く注目されていない[2]

クリスティアン・ヴォルフが、1712年半ばにライプニッツのグランディ級数に対する扱いを読んだ後[3]、ヴォルフはその解法にとても喜び、算術平均の手法を 1 2 + 4 8 + 16 ... のような他の級数にも拡張しようとした。手短に言うと、この級数の部分和を最後から2番目の項の関数として表現すると、 (4m + 1)/3 または (4n + 1)/3 を得る。これらの値の平均は (2m 2n + 1)/3 であり、無限大において m = n であると仮定すれば、級数の値として 1/3 が得られる。ライプニッツは自分の解法をこのように拡張することはできないだろうと直感し、ヴォルフの考えは面白いがいくつかの理由で無効であると返事を書いた。となりあった部分和の算術平均はどんな値にも収束せず、すべての有限の場合に対して n = 2m であって n = m ではない。一般に、和をもつ級数の項は0に減少しなければならない。1 1 + 1 1 + ... でさえそのような級数の極限として表現できるのだ。ライプニッツはヴォルフに、考え直して「科学と彼自身にとって価値あるものを生み出す」("might produce something worthy of science and himself"[4])ように助言した。

現代的手法

幾何級数

正則性、線型性、安定性をもつ任意の総和法は幾何級数を次のように計算する。

この場合、a = 1 と r = 2 なので、和は 1/3 である。

オイラーの総和法

レオンハルト・オイラーは、1775年に Institutiones において、現在では1 2 + 4 8 + ...オイラー変換と呼ばれるものを事実上用い、収束級数 1/2 1/4 + 1/8 1/16 + ... に到達した。後者の和は 1/3 であるので、オイラーは 1 2 + 4 8 + ... = ⅓ と結論付けた[5]。無限級数に対する彼の考えは完全には現代的アプローチには従わない。今日では 1 2 + 4 8 + ...Euler summable であり、そのオイラー和は 1/3 であると言う[6]

Excerpt from the Institutiones

オイラー変換は、正の項からなる数列から始める。

a0 = 1,
a1 = 2,
a2 = 4,
a3 = 8, ... .

すると差分の列は

Δa0 = a1 a0 = 2 1 = 1,
Δa1 = a2 a1 = 4 2 = 2,
Δa2 = a3 a2 = 8 4 = 4,
Δa3 = a4 a3 = 16 8 = 8, ...,

となり、全く同じ列である。したがって差分をとることを繰り返した列はどれもすべての n に対して Δna0 = 1 で始まる。そのオイラー変換は以下の級数である。

これは収束幾何級数で、その和は通常の公式により 1/3 である。

ボレルの総和法

1 2 + 4 8 + ...ボレル総和はまた 1/3 である。エミール・ボレル1896年にボレル和の極限公式を導入したとき、これは 1 1 + 1 1 + ... に続く彼の最初の例の1つだった。

脚注

  1. Leibniz pp.205-207; Knobloch pp. 124125. これは De progressionibus intervallorum tangentium a vertice からの引用で、原文のラテン語では: "Nunc fere cum neutrum liceat, aut potius cum non possit determinari utrum liceat, natura medium eligit, et totum aequatur finito."
  2. Ferraro and Panza p.21
  3. Acta Eruditorum に出版された手紙へのヴォルフの最初の引用は、1712年7月12日に Halle, Saxony-Anhalt から送られた手紙に現れる; Gerhardt pp. 143146.
  4. この引用は Moore (pp. 23) の翻訳である; ライプニッツの手紙は Gerhardt pp.147-148 にある。日付は1712年7月13日で、ハノーファー から送られた。
  5. Euler p.234
  6. Korevaar p.325 を見よ

参考文献

  • Euler, Leonhard (1755). Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum. http://www.math.dartmouth.edu/~euler/pages/E212.html
  • Ferraro, Giovanni and Marco Panza (February 2003). “Developing into series and returning from series: A note on the foundations of eighteenth-century analysis”. Historia Mathematica 30 (1): 17–46. doi:10.1016/S0315-0860(02)00017-4.
  • Gerhardt, C.I. (1860). Briefwechsel zwischen Leibniz und Christian Wolf aus den handschriften der Koeniglichen Bibliothek zu Hannover. Halle: H.W. Schmidt. https://books.google.co.jp/books?id=5ScCAAAAQAAJ&pg=RA1-PP14&redir_esc=y&hl=ja
  • Knobloch, Eberhard (2006). “Beyond Cartesian limits: Leibniz’s passage from algebraic to "transcendental" mathematics”. Historia Mathematica 33: 113–131. doi:10.1016/j.hm.2004.02.001.
  • Korevaar, Jacob (2004). Tauberian Theory: A Century of Developments. Springer. ISBN 3-540-21058-X
  • Leibniz, Gottfried (2003). S. Probst, E. Knobloch, N. Gädeke. ed. Sämtliche Schriften und Briefe, Reihe 7, Band 3: 1672–1676: Differenzen, Folgen, Reihen. Akademie Verlag. ISBN 3-05-004003-3. http://www.nlb-hannover.de/Leibniz/Leibnizarchiv/Veroeffentlichungen/
  • Moore, Charles (1938). Summable Series and Convergence Factors. AMS. LCC QA1 .A5225 V.22
  • Smail, Lloyd (1925). History and Synopsis of the Theory of Summable Infinite Processes. University of Oregon Press. LCC QA295 .S64
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.