|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| In [[mathematics]], '''1 − 2 + 4 − 8 + ...''' is the [[infinite series]] whose terms are the successive [[powers of two]] with alternating signs. As a [[geometric series]], it is characterized by its first term, [[1 (number)|1]], and its common ratio, −2.
| | Ed is what individuals call me and my spouse doesn't like it at all. My husband doesn't like it the way I do but what I really like doing is caving but I don't have the time lately. My wife and I reside in Mississippi and I love each day living right here. For many years she's been working as a journey agent.<br><br>Feel free to surf to my page: psychic phone readings; [http://www.sirudang.com/siroo_Notice/2110 sirudang.com], |
| | |
| :<math>\sum_{k=0}^{n} (-2)^k</math>
| |
| | |
| As a series of [[real number]]s it [[divergent series|diverges]], so in the usual sense it has no sum. In a much broader sense, the series has a generalized sum of ⅓.
| |
| | |
| ==Historical arguments==
| |
| [[Gottfried Leibniz]] considered the divergent alternating series {{nowrap|1=1 − 2 + 4 − 8 + 16 − ...}} as early as 1673. He argued that by subtracting either on the left or on the right, one could produce either positive or negative infinity, and therefore both answers are wrong and the whole should be finite:
| |
| :"Now normally nature chooses the middle if neither of the two is permitted, or rather if it cannot be determined which of the two is permitted, and the whole is equal to a finite quantity."
| |
| | |
| Leibniz did not quite assert that the series had a ''sum'', but he did infer an association with ⅓ following Mercator's method.<ref>Leibniz pp.205-207; Knobloch pp. 124–125. The quotation is from ''De progressionibus intervallorum tangentium a vertice'', in the original Latin: "Nunc fere cum neutrum liceat, aut potius cum non possit determinari utrum liceat, natura medium eligit, et totum aequatur finito."</ref> The attitude that a series could equal some finite quantity without actually adding up to it as a sum would be commonplace in the 18th century, although no distinction is made in modern mathematics.<ref>Ferraro and Panza p.21</ref>
| |
| | |
| After [[Christian Wolff (philosopher)|Christian Wolff]] read Leibniz's treatment of [[Grandi's series]] in mid-1712,<ref>Wolff's first reference to the letter published in the ''Acta Eruditorum'' appears in a letter written from [[Halle, Saxony-Anhalt]] dated 12 June 1712; Gerhardt pp. 143–146.</ref> Wolff was so pleased with the solution that he sought to extend the arithmetic mean method to more divergent series such as {{nowrap|1=1 − 2 + 4 − 8 + 16 − ...}}. Briefly, if one expresses a partial sum of this series as a function of the penultimate term, one obtains either {{nowrap|(4''m'' + 1)/3}} or {{nowrap|(−4''n'' + 1)/3}}. The mean of these values is {{nowrap|(2''m'' − 2''n'' + 1)/3}}, and assuming that {{nowrap|1=''m'' = ''n''}} at infinity yields ⅓ as the value of the series. Leibniz's intuition prevented him from straining his solution this far, and he wrote back that Wolff's idea was interesting but invalid for several reasons. The arithmetic means of neighboring partial sums do not converge to any particular value, and for all finite cases one has {{nowrap|1=''n'' = 2''m''}}, not {{nowrap|1=''n'' = ''m''}}. Generally, the terms of a summable series should decrease to zero; even {{nowrap|1 − 1 + 1 − 1 + ...}} could be expressed as a limit of such series. Leibniz counsels Wolff to reconsider so that he "might produce something worthy of science and himself."<ref>The quotation is Moore's (pp. 2–3) interpretation; Leibniz's letter is in Gerhardt pp.147-148, dated 13 July 1712 from [[Hanover]].</ref>
| |
| | |
| ==Modern methods==
| |
| | |
| ===Geometric series===
| |
| Any summation method possessing the properties of [[divergent series#Properties of summation methods|regularity, linearity, and stability]] will sum a [[geometric series]]
| |
| : <math>\sum_{k=0}^\infty a r^k = \frac{a}{1-r}.</math>
| |
| In this case ''a'' = 1 and ''r'' = −2, so the sum is ⅓.
| |
| | |
| ===Euler summation===
| |
| In his 1755 ''Institutiones'', [[Leonhard Euler]] effectively took what is now called the [[Euler transform]] of {{nowrap|1 − 2 + 4 − 8 + ...}}, arriving at the convergent series [[1/2 − 1/4 + 1/8 − 1/16 + · · ·|{{nowrap|½ − ¼ + ⅛ − <sup>1</sup>/<sub>16</sub> + ...}}]]. Since the latter sums to ⅓, Euler concluded that {{nowrap|1=1 − 2 + 4 − 8 + ... = ⅓}}.<ref>Euler p.234</ref> His ideas on infinite series do not quite follow the modern approach; today one says that {{nowrap|1 − 2 + 4 − 8 + ...}} is [[Euler summation|Euler summable]] and that its Euler sum is ⅓.<ref>See Korevaar p.325</ref>
| |
| | |
| [[Image:Pm1234 Euler 1755.png|thumb|right|300px|Excerpt from the ''Institutiones'']]
| |
| The Euler transform begins with the sequence of positive terms:
| |
| :''a''<sub>0</sub> = 1,
| |
| :''a''<sub>1</sub> = 2,
| |
| :''a''<sub>2</sub> = 4,
| |
| :''a''<sub>3</sub> = 8, ... .
| |
| | |
| The sequence of [[forward difference]]s is then
| |
| :Δ''a''<sub>0</sub> = ''a''<sub>1</sub> − ''a''<sub>0</sub> = 2 − 1 = 1,
| |
| :Δ''a''<sub>1</sub> = ''a''<sub>2</sub> − ''a''<sub>1</sub> = 4 − 2 = 2,
| |
| :Δ''a''<sub>2</sub> = ''a''<sub>3</sub> − ''a''<sub>2</sub> = 8 − 4 = 4, | |
| :Δ''a''<sub>3</sub> = ''a''<sub>4</sub> − ''a''<sub>3</sub> = 16 − 8 = 8, ...,
| |
| | |
| which is just the same sequence. Hence the iterated forward difference sequences all start with {{nowrap|1=Δ<sup>''n''</sup>''a''<sub>0</sub> = 1}} for every ''n''. The Euler transform is the series
| |
| | |
| :<math>\frac{a_0}{2}-\frac{\Delta a_0}{4}+\frac{\Delta^2 a_0}{8}-\frac{\Delta^3 a_0}{16}+\cdots = \frac{1}{2}-\frac{1}{4}+\frac{1}{8}-\frac{1}{16}+\cdots.</math>
| |
| | |
| This is a convergent [[geometric series]] whose sum is ⅓ by the usual formula.
| |
| | |
| ===Borel summation===
| |
| The [[Borel summation|Borel sum]] of {{nowrap|1 − 2 + 4 − 8 + ...}} is also ⅓; when [[Émile Borel]] introduced the limit formulation of Borel summation in 1896, this was one of his first examples after [[Grandi's series|1 − 1 + 1 − 1 + ...]]<ref>Smail p. 7.</ref>
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==References==
| |
| <div class="references-small">
| |
| *{{cite book |last=Euler |first=Leonhard |title=Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum |year=1755 |url=http://www.math.dartmouth.edu/~euler/pages/E212.html}}
| |
| *{{cite journal |author=Ferraro, Giovanni and Marco Panza |title=Developing into series and returning from series: A note on the foundations of eighteenth-century analysis |journal=Historia Mathematica |volume=30 |issue=1 |pages=17–46 |doi=10.1016/S0315-0860(02)00017-4|date=February 2003}}
| |
| *{{cite book |last=Gerhardt |first=C.I. |title=Briefwechsel zwischen Leibniz und Christian Wolf aus den handschriften der Koeniglichen Bibliothek zu Hannover |year=1860 |location=Halle |publisher=H.W. Schmidt |url=http://books.google.com/books?id=5ScCAAAAQAAJ&pg=RA1-PP14}}
| |
| *{{cite journal |last=Knobloch |first=Eberhard |title=Beyond Cartesian limits: Leibniz’s passage from algebraic to "transcendental" mathematics |journal=Historia Mathematica |volume=33 |year=2006 |pages=113–131 |doi=10.1016/j.hm.2004.02.001}}
| |
| *{{cite book |last=Korevaar |first=Jacob |title=Tauberian Theory: A Century of Developments |publisher=Springer |year=2004 |isbn=3-540-21058-X}}
| |
| *{{cite book |last=Leibniz |first=Gottfried |authorlink=Gottfried Leibniz |year=2003 |title=Sämtliche Schriften und Briefe, Reihe 7, Band 3: 1672–1676: Differenzen, Folgen, Reihen |publisher=Akademie Verlag |isbn=3-05-004003-3 |url=http://www.nlb-hannover.de/Leibniz/Leibnizarchiv/Veroeffentlichungen/ |editors=S. Probst, E. Knobloch, N. Gädeke }}
| |
| *{{cite book |last=Moore |first=Charles |title=Summable Series and Convergence Factors |publisher=AMS |year=1938 |id={{LCC|QA1|.A5225|V.22}}}}
| |
| *{{cite book |last=Smail |first=Lloyd |title=History and Synopsis of the Theory of Summable Infinite Processes |year=1925 |publisher=University of Oregon Press |id={{LCC|QA295|.S64}}}}
| |
| </div>
| |
| | |
| {{Series (mathematics)}}
| |
| | |
| {{DEFAULTSORT:1 − 2 + 4 − 8 + ...}}
| |
| [[Category:Divergent series]]
| |
| [[Category:Geometric series]]
| |
Ed is what individuals call me and my spouse doesn't like it at all. My husband doesn't like it the way I do but what I really like doing is caving but I don't have the time lately. My wife and I reside in Mississippi and I love each day living right here. For many years she's been working as a journey agent.
Feel free to surf to my page: psychic phone readings; sirudang.com,