Cesàro summation

Short description: Modified summation method applicable to some divergent series

In mathematical analysis, Cesàro summation (also known as the Cesàro mean or Cesàro limit) assigns values to some infinite sums that are not necessarily convergent in the usual sense. The Cesàro sum is defined as the limit, as n tends to infinity, of the sequence of arithmetic means of the first n partial sums of the series.

This special case of a matrix summability method is named for the Italian analyst Ernesto Cesàro (1859–1906).

The term summation can be misleading, as some statements and proofs regarding Cesàro summation can be said to implicate the Eilenberg–Mazur swindle. For example, it is commonly applied to Grandi's series with the conclusion that the sum of that series is 1/2.

Definition

Let [math]\displaystyle{ (a_n)_{n=1}^\infty }[/math] be a sequence, and let

[math]\displaystyle{ s_k = a_1 + \cdots + a_k= \sum_{n=1}^k a_n }[/math]

be its kth partial sum.

The sequence (a_n) is called Cesàro summable, with Cesàro sum A ∈ [math]\displaystyle{ \mathbb{R} }[/math], if, as n tends to infinity, the arithmetic mean of its first n partial sums s₁, s₂, ..., s_n tends to A:

[math]\displaystyle{ \lim_{n\to\infty} \frac{1}{n}\sum_{k=1}^n s_k = A. }[/math]

The value of the resulting limit is called the Cesàro sum of the series [math]\displaystyle{ \textstyle\sum_{n=1}^\infty a_n. }[/math] If this series is convergent, then it is Cesàro summable and its Cesàro sum is the usual sum.

Examples

First example

Let a_n = (−1)ⁿ for n ≥ 0. That is, [math]\displaystyle{ (a_n)_{n=0}^\infty }[/math] is the sequence

[math]\displaystyle{ (1, -1, 1, -1, \ldots). }[/math]

Let G denote the series

[math]\displaystyle{ G = \sum_{n=0}^\infty a_n = 1-1+1-1+1-\cdots }[/math]

The series G is known as Grandi's series.

Let [math]\displaystyle{ (s_k)_{k=0}^\infty }[/math] denote the sequence of partial sums of G:

[math]\displaystyle{ \begin{align} s_k &= \sum_{n=0}^k a_n \\ (s_k) &= (1, 0, 1, 0, \ldots). \end{align} }[/math]

This sequence of partial sums does not converge, so the series G is divergent. However, G is Cesàro summable. Let [math]\displaystyle{ (t_n)_{n=1}^\infty }[/math] be the sequence of arithmetic means of the first n partial sums:

[math]\displaystyle{ \begin{align} t_n &= \frac{1}{n}\sum_{k=0}^{n-1} s_k \\ (t_n) &= \left(\frac{1}{1}, \frac{1}{2}, \frac{2}{3}, \frac{2}{4}, \frac{3}{5}, \frac{3}{6}, \frac{4}{7}, \frac{4}{8}, \ldots\right). \end{align} }[/math]

Then

[math]\displaystyle{ \lim_{n\to\infty} t_n = 1/2, }[/math]

and therefore, the Cesàro sum of the series G is 1/2.

Second example

As another example, let a_n = n for n ≥ 1. That is, [math]\displaystyle{ (a_n)_{n=1}^\infty }[/math] is the sequence

[math]\displaystyle{ (1, 2, 3, 4, \ldots). }[/math]

Let G now denote the series

[math]\displaystyle{ G = \sum_{n=1}^\infty a_n = 1+2+3+4+\cdots }[/math]

Then the sequence of partial sums [math]\displaystyle{ (s_k)_{k=1}^\infty }[/math] is

[math]\displaystyle{ (1, 3, 6, 10, \ldots). }[/math]

Since the sequence of partial sums grows without bound, the series G diverges to infinity. The sequence (t_n) of means of partial sums of G is

[math]\displaystyle{ \left(\frac{1}{1}, \frac{4}{2}, \frac{10}{3}, \frac{20}{4}, \ldots\right). }[/math]

This sequence diverges to infinity as well, so G is not Cesàro summable. In fact, for any sequence which diverges to (positive or negative) infinity, the Cesàro method also leads to a sequence that diverges likewise, and hence such a series is not Cesàro summable.

(C, α) summation

In 1890, Ernesto Cesàro stated a broader family of summation methods which have since been called (C, α) for non-negative integers α. The (C, 0) method is just ordinary summation, and (C, 1) is Cesàro summation as described above.

The higher-order methods can be described as follows: given a series Σa_n, define the quantities

[math]\displaystyle{ \begin{align} A_n^{-1}&=a_n \\ A_n^\alpha&=\sum_{k=0}^n A_k^{\alpha-1} \end{align} }[/math]

(where the upper indices do not denote exponents) and define Eαn to be Aαn for the series 1 + 0 + 0 + 0 + .... Then the (C, α) sum of Σa_n is denoted by (C, α)-Σa_n and has the value

[math]\displaystyle{ (\mathrm{C},\alpha)\text{-}\sum_{j=0}^\infty a_j=\lim_{n\to\infty}\frac{A_n^\alpha}{E_n^\alpha} }[/math]

if it exists (Shawyer Watson). This description represents an α-times iterated application of the initial summation method and can be restated as

[math]\displaystyle{ (\mathrm{C},\alpha)\text{-}\sum_{j=0}^\infty a_j = \lim_{n\to\infty} \sum_{j=0}^n \frac{\binom{n}{j}}{\binom{n+\alpha}{j}} a_j. }[/math]

Even more generally, for α ∈ [math]\displaystyle{ \mathbb{R} }[/math] \ [math]\displaystyle{ \mathbb{Z} }[/math]⁻, let Aαn be implicitly given by the coefficients of the series

[math]\displaystyle{ \sum_{n=0}^\infty A_n^\alpha x^n=\frac{\displaystyle{\sum_{n=0}^\infty a_nx^n}}{(1-x)^{1+\alpha}}, }[/math]

and Eαn as above. In particular, Eαn are the binomial coefficients of power −1 − α. Then the (C, α) sum of Σa_n is defined as above.

If Σa_n has a (C, α) sum, then it also has a (C, β) sum for every β > α, and the sums agree; furthermore we have a_n = o(n^α) if α > −1 (see little-o notation).

Cesàro summability of an integral

Let α ≥ 0. The integral [math]\displaystyle{ \textstyle\int_0^\infty f(x)\,dx }[/math] is (C, α) summable if

[math]\displaystyle{ \lim_{\lambda\to\infty}\int_0^\lambda\left(1-\frac{x}{\lambda}\right)^\alpha f(x)\, dx }[/math]

exists and is finite (Titchmarsh 1948). The value of this limit, should it exist, is the (C, α) sum of the integral. Analogously to the case of the sum of a series, if α = 0, the result is convergence of the improper integral. In the case α = 1, (C, 1) convergence is equivalent to the existence of the limit

[math]\displaystyle{ \lim_{\lambda\to \infty}\frac{1}{\lambda}\int_0^\lambda \int_0^x f(y)\, dy\,dx }[/math]

which is the limit of means of the partial integrals.

As is the case with series, if an integral is (C, α) summable for some value of α ≥ 0, then it is also (C, β) summable for all β > α, and the value of the resulting limit is the same.

See also

• Abel summation
• Abel's summation formula
• Abel–Plana formula
• Abelian and tauberian theorems
• Almost convergent sequence
• Borel summation
• Divergent series
• Euler summation
• Euler–Boole summation
• Fejér's theorem
• Hölder summation
• Lambert summation
• Perron's formula
• Ramanujan summation
• Riesz mean
• Silverman–Toeplitz theorem
• Stolz–Cesàro theorem
• Cauchy's limit theorem
• Summation by parts

References

Bibliography

• Shawyer, Bruce; Watson, Bruce (1994), Borel's Methods of Summability: Theory and Applications, Oxford University Press, ISBN 0-19-853585-6 
• Titchmarsh, E. C. (1948), Introduction to the theory of Fourier integrals (2nd ed.), New York, NY: Chelsea Publishing . Reprinted 1986 with ISBN:978-0-8284-0324-5.
• Hazewinkel, Michiel, ed. (2001), "Cesàro summation methods", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=c/c021360 
• Zygmund, Antoni (1988), Trigonometric Series (2nd ed.), Cambridge University Press, ISBN 978-0-521-35885-9