Occurrences of Grandi's series

Occurrences of Grandi's series

Contents

Parables

Guido Grandi illustrated the series with a parable involving two brothers who share a gem.

Thomson's lamp is a supertask in which a hypothetical lamp is turned on and off infinitely many times in a finite time span. One can think of turning the lamp on as adding 1 to its state, and turning it off as subtracting 1. Instead of asking the sum of the series, one asks the final state of the lamp.[1]

One of the best-known classic parables to which infinite series have been applied, Achilles and the tortoise, can also be adapted to the case of Grandi's series.[2]

Numerical series

The Cauchy product of Grandi's series with itself is 1 − 2 + 3 − 4 + · · ·.[3]

Several series resulting from the introduction of zeros into Grandi's series have interesting properties; for these see Summation of Grandi's series#Dilution.

Grandi's series is just one example of a divergent geometric series.

The rearranged series 1 − 1 − 1 + 1 + 1 − 1 − 1 + · · · occurs in Euler's 1775 treatment of the pentagonal number theorem as the value of the Euler function at q = 1.

Power series

The power series most famously associated with Grandi's series is its ordinary generating function,

f(x) = 1-x+x^2-x^3+\cdots = \frac{1}{1+x}.

Fourier series

Hyperbolic sine

In his 1822 Théorie Analytique de la Chaleur, Joseph Fourier obtains what we now call a Fourier sine series for a scaled version of the hyperbolic sine function,

f(x) = \frac{\pi}{2\sinh\pi} \sinh x.

He finds that the general coefficient of sin nx in the series is

(-1)^{n-1}\left(\frac 1 n - \frac{1}{n^3} + \frac{1}{n^5} - \cdots\right) = (-1)^{n-1}\frac{n}{1+n^2}.

For n > 1 the above series converges, while the coefficient of sin x appears as 1 − 1 + 1 − 1 + · · · and so is expected to be 12. In fact, this is correct, as can be demonstrated by directly calculating the Fourier coefficient from an integral:

\frac 2 \pi \int_0^\pi f(x)\sin x \;dx = \frac{1}{2\sinh\pi}\left.(\cosh x \sin x - \sinh x \cos x)\right|_0^\pi = \frac 1 2.[4]

Dirac comb

Grandi's series occurs more directly in another important series,

\cos x + \cos 2x + \cos 3x + \cdots = \sum_{k=1}^\infty\cos(kx).

At x = π, the series reduces to −1 + 1 − 1 + 1 − · · · and so one might expect it to meaningfully equal −12. In fact, Euler held that this series obeyed the formal relation Σ cos kx = −12, while d'Alembert rejected the relation, and Lagrange wondered if it could be defended by an extension of the geometric series similar to Euler's reasoning with Grandi's numerical series.[5]

Euler's claim suggests that

1 +2\sum_{k=1}^\infty\cos(kx) = 0?

for all x. This series is divergent everywhere, while its Cesaro sum is indeed 0 for almost all x. However, the series diverges to infinity at x = 2πn in a significant way: it is the Fourier series of a Dirac comb. The ordinary, Cesaro, and Abel sums of this series involve limits of the Dirichlet, Fejér, and Poisson kernels, respectively.[6]

Dirichlet series

Multiplying the terms of Grandi's series by 1/nz yields the Dirichlet series

\eta(z)=1-\frac{1}{2^z}+\frac{1}{3^z}-\frac{1}{4^z}+\cdots=\sum_{n=1}^\infty\frac{(-1)^{n-1}}{n^z},

which converges only for complex numbers z with a positive real part. Grandi's series is recovered by letting z = 0.

Unlike the geometric series, the Dirichlet series for η is not useful for determining what 1 − 1 + 1 − 1 + · · · "should" be. Even on the right half-plane, η(z) is not given by any elementary expression, and there is no immediate evidence of its limit as z approaches 0.[7] On the other hand, if one uses stronger methods of summability, then the Dirichlet series for η defines a function on the whole complex plane — the Dirichlet eta function — and moreover, this function is analytic. For z with real part > −1 it suffices to use Cesaro summation, and so η(0) = 12 after all.

The function η is related to a more famous Dirichlet series and function:

\begin{array}{rcl}
\eta(z) & = &\displaystyle 1+\frac{1}{2^z}+\frac{1}{3^z}+\frac{1}{4^z}+\cdots - \frac{2}{2^z}\left(1+\frac{1}{2^z}+\cdots\right) \\[1em]
  & = & \displaystyle \left(1-\frac{2}{2^z}\right)\zeta(z),
\end{array}

where ζ is the Riemann zeta function. Keeping Grandi's series in mind, this relation explains why ζ(0) = −12; see also 1 + 1 + 1 + 1 + · · ·. The relation also implies a much more important result. Since η(z) and (1 − 21−z) are both analytic on the entire plane and the latter function's only zero is a simple zero at z = 1, it follows that ζ(z) is meromorphic with only a simple pole at z = 1.[8]

Euler characteristics

Given a CW complex S containing one vertex, one edge, one face, and generally exactly one cell of every dimension, Euler's formula VE + F − · · · for the Euler characteristic of S returns 1 − 1 + 1 − · · ·. There are a few motivations for defining a generalized Euler characteristic for such a space that turns out to be 1/2.

One approach comes from combinatorial geometry. The open interval (0, 1) has an Euler characteristic of −1, so its power set 2(0, 1) should have an Euler characteristic of 2−1 = 1/2. The appropriate power set to take is the "small power set" of finite subsets of the interval, which consists of the union of a point (the empty set), an open interval (the set of singetons), an open triangle, and so on. So the Euler characteristic of the small power set is 1 − 1 + 1 − · · ·. James Propp defines a regularized Euler measure for polyhedral sets that, in this example, replaces 1 − 1 + 1 − · · · with 1 − t + t2 − · · ·, sums the series for |t| < 1, and analytically continues to t = 1, essentially finding the Abel sum of 1 − 1 + 1 − · · ·, which is 1/2. Generally, he finds χ(2A) = 2χ(A) for any polyhedral set A, and the base of the exponent generalizes to other sets as well.[9]

Infinite-dimensional real projective space RP is another structure with one cell of every dimension and therefore an Euler characteristic of 1 − 1 + 1 − · · ·. This space can be described as the quotient of the infinite-dimensional sphere by identifying each pair of antipodal points. Since the infinite-dimensional sphere is contractible, its Euler characteristic is 1, and its 2-to-1 quotient should have an Euler characteristic of 1/2.[10]

This description of RP also makes it the classifying space of Z2, the cyclic group of order 2. Tom Leinster gives a definition of the Euler characteristic of any category which bypasses the classifying space and reduces to 1/|G| for any group when viewed as a one-object category. In this sense the Euler characteristic of Z2 is itself 12.[11]

In physics

Grandi's series, and generalizations thereof, occur frequently in many branches of physics; most typically in the discussions of quantized fermion fields (for example, the chiral bag model), which have both positive and negative eigenvalues; although similar series occur also for bosons, such as in the Casimir effect.

The general series is discussed in greater detail in the article on spectral asymmetry, whereas methods used to sum it are discussed in the articles on regularization and, in particular, the zeta function regulator.

In art

Jliat's 2000 musical single Still Life #7: The Grandi Series advertises itself as "conceptual art"; it consists of nearly an hour of silence.[12]

Notes

  1. ^ Rucker p.297
  2. ^ Saichev pp. 255–259
  3. ^ Hardy p.3
  4. ^ Bromwich p. 320
  5. ^ Ferraro 2005 p.17
  6. ^ Davis pp. 153–159
  7. ^ Knopp (p.458) makes this point to criticize Euler's use of analytical expressions to evaluate numerical series, saying "it need not at any rate be +12."
  8. ^ Knopp pp. 491–492
  9. ^ Propp pp. 7–8, 12
  10. ^ Propp, James (2002). "Euler measure as generalized cardinality". arXiv:math.CO/0203289 [math.CO]. 
  11. ^ Leinster, Tom (2006). "The Euler characteristic of a category". Documenta Mathematica (arXiv) 13: 21–49. arXiv:math/0610260.  Baez, John (2006). "This Week's Finds in Mathematical Physics (Week 244)". http://math.ucr.edu/home/baez/week244.html. 
  12. ^ Review by George Zahora

References

  • Bromwich, T.J. (1926) [1908]. An Introduction to the Theory of Infinite Series (2e ed.). 
  • Davis, Harry F. (May 1989). Fourier Series and Orthogonal Functions. Dover. ISBN 0-486-65973-9. 
  • Ferraro, Giovanni (2005). "Convergence and formal manipulation in the theory of series from 1730 to 1815". Historia Mathematica 34: 62. doi:10.1016/j.hm.2005.08.004. 
  • Hardy, G.H. (1949). Divergent Series. Clarendon Press. LCC QA295 .H29 1967. 
  • Knopp, Konrad (1990) [1922]. Theory and Application of Infinite Series. Dover. ISBN 0-486-66165-2. 
  • Propp, James (October 2003). "Exponentiation and Euler measure". Algebra Universalis 29 (4): 459–471. arXiv:math.CO/0204009. doi:10.1007/s00012-003-1817-1. 
  • Rucker, Rudy (1995). Infinity and the mind: the science and philosophy of the infinite. Princeton UP. ISBN 0-691-00172-3. 
  • Saichev, A.I., and W.A. Woyczyński (1996). Distributions in the physical and engineering sciences, Volume 1. Birkhaüser. ISBN 0-8176-3924-1. LCC QA324.W69 1996. 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Telescoping series — In mathematics, a telescoping series is an informal expression referring to a series whose sum can be found by exploiting the circumstance that nearly every term cancels with either a succeeding or preceding term. Such a technique is also known… …   Wikipedia

  • Jim Propp — James Gary Jim Propp is a professor of mathematics at the University of Massachusetts Lowell.In high school, Propp was one of the national winners of the United States of America Mathematical Olympiad (USAMO), and an alumnus of the Hampshire… …   Wikipedia

  • List of mathematics articles (O) — NOTOC O O minimal theory O Nan group O(n) Obelus Oberwolfach Prize Object of the mind Object theory Oblate spheroid Oblate spheroidal coordinates Oblique projection Oblique reflection Observability Observability Gramian Observable subgroup… …   Wikipedia

  • Codex Sinaiticus — New Testament manuscripts papyri • uncials • minuscules • lectionaries Uncial 01 Book of Esther …   Wikipedia

  • Adam Bede — Auteur George Eliot Genre Roman Version originale Titre original Adam Bede Éditeur original William Blackwood Sons Langue originale anglais Pays d or …   Wikipédia en Français

  • bankruptcy — /bangk rupt see, reuhp see/, n., pl. bankruptcies. 1. the state of being or becoming bankrupt. 2. utter ruin, failure, depletion, or the like. [1690 1700; BANKRUPT + CY] * * * Status of a debtor who has been declared by judicial process to be… …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”