Occurrences of Grandi's series

Last updated • 7 min readFrom Wikipedia, The Free Encyclopedia
Binomial coefficients C (n, k) extended for negative and fractional n, illustrated with a simple binomial. It can be observed that Pascal's triangle is rotated and alternate terms are negated. The case n = -1 gives Grandi's series. Pascal triangle extended.svg
Binomial coefficients C(n, k) extended for negative and fractional n, illustrated with a simple binomial. It can be observed that Pascal's triangle is rotated and alternate terms are negated. The casen=1 gives Grandi's series.

This article lists occurrences of the paradoxical infinite "sum" +1 -1 +1 -1 ... , sometimes called 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,

Fourier series

Hyperbolic sine

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

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

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:

[4]

Dirac comb

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

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

for all x. This series is divergent everywhere, while its Cesàro 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, Cesàro, 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

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 Cesàro summation, and so η(0) = 12 after all.

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

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  21z) 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 21 = 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 singletons), 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

The Grandi series has been applied to e.g. ballet by Benjamin Jarvis, in The Invariant journal. PDF here: https://invariants.org.uk/assets/TheInvariant_HT2016.pdf The noise artist Jliat has a 2000 musical single Still Life #7: The Grandi Series advertised as "conceptual art"; it consists of nearly an hour of silence. [12]

Notes

  1. Rucker p.297
  2. Saichev pp. 255259
  3. Hardy p.3
  4. Bromwich p. 320
  5. Ferraro 2005 p.17
  6. Davis pp. 153159
  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. 491492
  9. Propp pp. 78, 12
  10. Propp, James (2002). "Euler measure as generalized cardinality". arXiv: math.CO/0203289 .
  11. Leinster, Tom (2008). "The Euler characteristic of a category". Documenta Mathematica. 13: 21–49. arXiv: math/0610260 . Bibcode:2006math.....10260L. doi:10.4171/dm/240. S2CID   1046313.Baez, John (2006). "This Week's Finds in Mathematical Physics (Week 244)".
  12. Review by George Zahora

Related Research Articles

<span class="mw-page-title-main">Gamma function</span> Extension of the factorial function

In mathematics, the gamma function is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except the non-positive integers. For every positive integer n,

<span class="mw-page-title-main">Riemann zeta function</span> Analytic function in mathematics

The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter ζ (zeta), is a mathematical function of a complex variable defined as

<span class="mw-page-title-main">Trigonometric functions</span> Functions of an angle

In mathematics, the trigonometric functions are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all sciences that are related to geometry, such as navigation, solid mechanics, celestial mechanics, geodesy, and many others. They are among the simplest periodic functions, and as such are also widely used for studying periodic phenomena through Fourier analysis.

<span class="mw-page-title-main">Euler's totient function</span> Number of integers coprime to and not exceeding n

In number theory, Euler's totient function counts the positive integers up to a given integer n that are relatively prime to n. It is written using the Greek letter phi as or , and may also be called Euler's phi function. In other words, it is the number of integers k in the range 1 ≤ kn for which the greatest common divisor gcd(n, k) is equal to 1. The integers k of this form are sometimes referred to as totatives of n.

<span class="mw-page-title-main">Fourier series</span> Decomposition of periodic functions into sums of simpler sinusoidal forms

A Fourier series is an expansion of a periodic function into a sum of trigonometric functions. The Fourier series is an example of a trigonometric series, but not all trigonometric series are Fourier series. By expressing a function as a sum of sines and cosines, many problems involving the function become easier to analyze because trigonometric functions are well understood. For example, Fourier series were first used by Joseph Fourier to find solutions to the heat equation. This application is possible because the derivatives of trigonometric functions fall into simple patterns. Fourier series cannot be use to approximate arbitrary functions, because most functions have infinitely many terms in their Fourier series, and the series do not always converge. Well-behaved functions, for example smooth functions, have Fourier series that converge to the original function. The coefficients of the Fourier series are determined by integrals of the function multiplied by trigonometric functions, described in Common forms of the Fourier series below.

<span class="mw-page-title-main">Dirichlet eta function</span> Function in analytic number theory

In mathematics, in the area of analytic number theory, the Dirichlet eta function is defined by the following Dirichlet series, which converges for any complex number having real part > 0:

The Basel problem is a problem in mathematical analysis with relevance to number theory, concerning an infinite sum of inverse squares. It was first posed by Pietro Mengoli in 1650 and solved by Leonhard Euler in 1734, and read on 5 December 1735 in The Saint Petersburg Academy of Sciences. Since the problem had withstood the attacks of the leading mathematicians of the day, Euler's solution brought him immediate fame when he was twenty-eight. Euler generalised the problem considerably, and his ideas were taken up years later by Bernhard Riemann in his seminal 1859 paper "On the Number of Primes Less Than a Given Magnitude", in which he defined his zeta function and proved its basic properties. The problem is named after Basel, hometown of Euler as well as of the Bernoulli family who unsuccessfully attacked the problem.

<span class="mw-page-title-main">Sinc function</span> Special mathematical function defined as sin(x)/x

In mathematics, physics and engineering, the sinc function, denoted by sinc(x), has two forms, normalized and unnormalized.

In mathematics, the Leibniz formula for π, named after Gottfried Leibniz, states that

<span class="mw-page-title-main">Wallis product</span> Infinite product for pi

In mathematics, the Wallis product for π, published in 1656 by John Wallis, states that

<span class="mw-page-title-main">Series expansion</span> Expression of a function as an infinite sum of simpler functions

In mathematics, a series expansion is a technique that expresses a function as an infinite sum, or series, of simplier functions. It is a method for calculating a function that cannot be expressed by just elementary operators.

In mathematics, and specifically in potential theory, the Poisson kernel is an integral kernel, used for solving the two-dimensional Laplace equation, given Dirichlet boundary conditions on the unit disk. The kernel can be understood as the derivative of the Green's function for the Laplace equation. It is named for Siméon Poisson.

In mathematics, the Riemann zeta function is a function in complex analysis, which is also important in number theory. It is often denoted ζ(s) and is named after the mathematician Bernhard Riemann. When the argument s is a real number greater than one, the zeta function satisfies the equation

<span class="mw-page-title-main">Sine and cosine</span> Fundamental trigonometric functions

In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is opposite that angle to the length of the longest side of the triangle, and the cosine is the ratio of the length of the adjacent leg to that of the hypotenuse. For an angle , the sine and cosine functions are denoted simply as and .

In complex analysis, a partial fraction expansion is a way of writing a meromorphic function as an infinite sum of rational functions and polynomials. When is a rational function, this reduces to the usual method of partial fractions.

<span class="mw-page-title-main">Wrapped Cauchy distribution</span>

In probability theory and directional statistics, a wrapped Cauchy distribution is a wrapped probability distribution that results from the "wrapping" of the Cauchy distribution around the unit circle. The Cauchy distribution is sometimes known as a Lorentzian distribution, and the wrapped Cauchy distribution may sometimes be referred to as a wrapped Lorentzian distribution.

<span class="mw-page-title-main">Dirichlet kernel</span>

In mathematical analysis, the Dirichlet kernel, named after the German mathematician Peter Gustav Lejeune Dirichlet, is the collection of periodic functions defined as

In mathematics, a multisection of a power series is a new power series composed of equally spaced terms extracted unaltered from the original series. Formally, if one is given a power series

References