# Abel summability

http://www-groups.dcs.st-and.ac.uk/ history/Mathematicians/Abel.htmlAbel
summability is a generalized convergence criterion for power series.
It extends the usual definition of the sum of a series, and gives a
way of summing up certain divergent series^{}. Let us start with a
series ${\sum}_{n=0}^{\mathrm{\infty}}{a}_{n}$, convergent^{} or not, and use that series
to define a power series

$$f(r)=\sum _{n=0}^{\mathrm{\infty}}{a}_{n}{r}^{n}.$$ |

Note that for $$ the
summability of $f(r)$ is easier to achieve than the summability of the
original series. Starting with this observation we say that the
series $\sum {a}_{n}$ is *Abel summable* if the defining series
for $f(r)$ is convergent for all $$, and if $f(r)$ converges to
some limit $L$ as $r\to {1}^{-}$. If this is so, we shall say
that $\sum {a}_{n}$ Abel converges to $L$.

Of course it is important to ask whether an ordinary convergent series^{}
is also Abel summable, and whether it converges to the same limit?
This is true, and the result is known as Abel’s limit theorem,
or simply as Abel’s theorem.

###### Theorem 1 (Abel)

Let ${\mathrm{\sum}}_{n\mathrm{=}\mathrm{0}}^{\mathrm{\infty}}{a}_{n}$ be a series; let

$${s}_{N}={a}_{0}+\mathrm{\cdots}+{a}_{N},N\in \mathbb{N},$$ |

denote the corresponding partial sums; and let $f\mathit{}\mathrm{(}r\mathrm{)}$ be the corresponding power series defined as above. If $\mathrm{\sum}{a}_{n}$ is convergent, in the usual sense that the ${s}_{N}$ converge to some limit $L$ as $N\mathrm{\to}\mathrm{\infty}$, then the series is also Abel summable and $f\mathit{}\mathrm{(}r\mathrm{)}\mathrm{\to}L$ as $r\mathrm{\to}{\mathrm{1}}^{\mathrm{-}}$.

The standard example of a divergent series that is nonetheless Abel
summable is the alternating series^{}

$$\sum _{n=0}^{\mathrm{\infty}}{(-1)}^{n}.$$ |

The corresponding power series is

$$\frac{1}{1+r}=\sum _{n=0}^{\mathrm{\infty}}{(-1)}^{n}{r}^{n}.$$ |

Since

$$\frac{1}{1+r}\to \frac{1}{2}\mathit{\hspace{1em}}\text{as}\mathit{\hspace{1em}}r\to {1}^{-},$$ |

this otherwise divergent series Abel converges to $\frac{1}{2}$.

Abel’s theorem is the prototype for a number of other theorems about convergence, which are collectively known in analysis as Abelian theorems. An important class of associated results are the so-called Tauberian theorems. These describe various convergence criteria, and sometimes provide partial converses for the various Abelian theorems.

The general converse to Abel’s theorem is false, as the example above
illustrates^{1}^{1}We want the converse to be false; the whole idea
is to describe a method of summing certain divergent series!.
However, in the 1890’s
http://www-groups.dcs.st-and.ac.uk/ history/Mathematicians/Tauber.htmlTauber
proved the following partial converse.

###### Theorem 2 (Tauber)

Suppose that $\mathrm{\sum}{a}_{n}$ is an Abel summable series and that $n\mathit{}{a}_{n}\mathrm{\to}\mathrm{0}$ as $n\mathrm{\to}\mathrm{\infty}$. Then, ${\mathrm{\sum}}_{n}{a}_{n}$ is convergent in the ordinary sense as well.

The proof of the above theorem is not hard, but the same cannot be
said of the more general Tauberian theorems. The more famous of these
are due to Hardy, Hardy-Littlewood, Weiner, and Ikehara. In all
cases, the conclusion is that a certain series or a certain integral
is convergent. However, the proofs are lengthy and require
sophisticated techniques. Ikehara’s theorem is especially noteworthy
because it is used to prove the prime number theorem^{}.

Title | Abel summability |
---|---|

Canonical name | AbelSummability |

Date of creation | 2013-03-22 13:07:03 |

Last modified on | 2013-03-22 13:07:03 |

Owner | rmilson (146) |

Last modified by | rmilson (146) |

Numerical id | 7 |

Author | rmilson (146) |

Entry type | Definition |

Classification | msc 40G10 |

Related topic | CesaroSummability |

Related topic | AbelsLimitTheorem |

Defines | Abelian theorem |

Defines | Tauberian theorem |