Grandi's series

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In mathematics, the infinite series 1 − 1 + 1 − 1 + ..., also written


\sum_{n=0}^{\infin} (-1)^n

is sometimes called Grandi's series, after Italian mathematician, philosopher, and priest Guido Grandi, who gave a memorable treatment of the series in 1703. It is a divergent series, meaning that it lacks a sum in the usual sense. On the other hand, its Cesàro sum is 1/2.

Proof through Integration[edit]

To prove using integration, first you have to consider the indefinite integral of  e^{x}f(x) with respect to x for any function f by repeating integration by parts, with \frac{dv}{dx}=e^{x} and  u=f(x),f'(x),f''(x)... .

 \int e^{x}f(x)\, dx =e^{x}f(x) -\int e^{x}f'(x) \, dx

 =e^{x}f(x)-e^{x}f'(x) + \int e^{x}f''(x) \, dx

 =e^{x}(f(x)-f'(x)+f''(x)-f'''(x)+f''''(x) ... ) + C

C is a constant.

Then you have to use the result on an oscillating series, that will produce a result relevant to solving the Grandi series  G= 1 - 1 + 1 - 1 + ... integrating e^xsinx with respect to x will help solve the problem as would integrating  e^xcosx with respect to x.

 \int e^{x}\sin x \, dx =e^{x}( \sin{x} - \cos{x} - \sin{x} + \cos{x}+\sin{x} - \cos{x} - \sin{x} + \cos{x} +....)

 =e^{x}(\sin{x}(1 - 1 + 1 - 1 + ...)+\cos{x}(-1 + 1 -1 + 1 ...)) + C

 = Ge^{x}(\sin{x} - \cos x) + C

Then we need to use integration parts with \frac{dv}{dx}=e^{x} and  u = \sin{x},\cos{x} and then we need to treat the integral as a function I and realise that we have the same integral on both sides of the equation and add I to both sides and divide by two to evaluate the integral.

I=\int e^{x}\sin x \, dx = e^{x}\sin x -\int e^{x}\cos x\, dx

 =e^{x}\sin x-e^{x}\cos x - \int e^{x}\sin x\, dx

 2I=e^{x}\sin x-e^{x} \cos x

 I= \frac{e^{x}(\sin{x}-\cos{x})}{2} + C

Comparing the results of evaluating the integral using both methods  \int e^{x}\sin x \, dx=Ge^{x}(\sin{x}-\cos x) + C
=\frac{e^{x}(\sin{x}-\cos{x})}{2} + C and thus  G=1 - 1 + 1 - 1 + ...=\frac{1}{2}.

Proof through 1 / x series[edit]

The series:

1/x = 1 - (x-1) + (x-1)^2 - (x-1)^3 + (x-1)^4 - ...

Is fairly easy to prove. First, multiply everything by x. On the left side, this makes 1, and on the right side we'll represent x as (x - 1) + 1. Multiply the series by (x - 1) and 1 separately and add the two together.

1 = (x-1) - (x-1)^2 + (x-1)^3 - (x-1)^4 + ... + 1 - (x-1) + (x-1)^2 - (x-1)^3 + ...

All terms except 1 cancel out, leaving:

 1 = 1

Applying this series to 2 gives:

 1/2 = 1 - 1 + 1 - 1 + 1 - ...


Unrigorous Methods[edit]

One obvious method to attack the series

1 − 1 + 1 − 1 + 1 − 1 + 1 − 1 + ...

is to treat it like a telescoping series and perform the subtractions in place:

(1 − 1) + (1 − 1) + (1 − 1) + ... = 0 + 0 + 0 + ... = 0.

On the other hand, a similar bracketing procedure leads to the apparently contradictory result

1 + (−1 + 1) + (−1 + 1) + (−1 + 1) + ... = 1 + 0 + 0 + 0 + ... = 1.

Thus, by applying parentheses to Grandi's series in different ways, one can obtain either 0 or 1 as a "value". (Variations of this idea, called the Eilenberg–Mazur swindle, are sometimes used in knot theory and algebra.)

Treating Grandi's series as a divergent geometric series we may use the same algebraic methods that evaluate convergent geometric series to obtain a third value:

S = 1 − 1 + 1 − 1 + ..., so
1 − S = 1 − (1 − 1 + 1 − 1 + ...) = 1 − 1 + 1 − 1 + ... = S,

resulting in S = 1/2. The same conclusion results from calculating −S, subtracting the result from S, and solving 2S = 1.[1]

The above manipulations do not consider what the sum of a series actually means. Still, to the extent that it is important to be able to bracket series at will, and that it is more important to be able to perform arithmetic with them, one can arrive at two conclusions:

  • The series 1 − 1 + 1 − 1 + ... has no sum.[1][2]
  • ...but its sum should be 1/2.[2]

In fact, both of these statements can be made precise and formally proven, but only using well-defined mathematical concepts that arose in the 19th century. After the late 17th-century introduction of calculus in Europe, but before the advent of modern rigor, the tension between these answers fueled what has been characterized as an "endless" and "violent" dispute between mathematicians.[3][4]

The formula for the sum to infinity of a Geometric series is  \frac{a}{1-r} , although the derivation for the sum is only valid when  |r|<1 (as with the modulus of r less than one then the terms of the series will decay to zero as n increases and the series will converge) the formula still works for r= -1. In the case of  G= 1 - 1 + 1 - 1... with  a=1 and   r=-1  , the sum to infinity of G is  \frac{a}{1-r} = \frac{1}{1--1} = \frac{1}{2} and  G= 1 - 1 + 1 - 1... converges to  \frac{1}{2}

Early ideas[edit]

Divergence[edit]

In modern mathematics, the sum of an infinite series is defined to be the limit of the sequence of its partial sums, if it exists. The sequence of partial sums of Grandi's series is 1, 0, 1, 0, ..., which clearly does not approach any number (although it does have two accumulation points at 0 and 1). Therefore, Grandi's series is divergent.

It can be shown that it is not valid to perform many seemingly innocuous operations on a series, such as reordering individual terms, unless the series is absolutely convergent. Otherwise these operations can alter the result of summation.[5] Further, the terms of Grandi's series can be rearranged to have its accumulation points at any interval of two or more consecutive integer numbers, not only 0 or 1. For instance, the series

1+1+1+1+1-1-1+1+1-1-1+1+1-1-1+1+1\cdots

(in which, after five initial +1 terms, the terms alternate in pairs of +1 and −1 terms) is a permutation of Grandi's series in which each value in the rearranged series corresponds to a value that is at most four positions away from it in the original series; its accumulation points are 3, 4, and 5.

Education[edit]

Summability[edit]

Related problems[edit]

See also[edit]

Notes[edit]

  1. ^ a b Devlin p.77
  2. ^ a b Davis p.152
  3. ^ Kline 1983 p.307
  4. ^ Knopp p.457
  5. ^ Protter, Murray H.; Morrey, Charles B., Jr. (1991), A First Course in Real Analysis, Undergraduate Texts in Mathematics, Springer, p. 249, ISBN 9780387974378 .

References[edit]

External links[edit]