Borel summation

From Wikipedia, the free encyclopedia

In mathematics, a Borel summation is a generalisation of the usual notion of summation of a series. In particular it gives a definition of a quantity that in many ways behaves formally like the sum, even if the series is in fact divergent.

[edit] Definition

Let

$y = \sum_{k = 0}^\infty y_kz^{-k}$

be a formal power series in $z$ .

Define the Borel transform $\mathcal{B}y$ of $y$ by

$\sum_{k=0}^\infty \frac{y_k}{(k-1)!}t^{k-1}.$

Suppose that

$\mathcal{B}y$ has a nonzero radius of convergence as a function of $t$
$\mathcal{B}y$ can be analytically continued to a function $\hat{y}(t)$ on all of the positive real line
$\hat{y}(t)$ grows at most exponentially along the positive real line

Then the Borel sum of $y$ is given by the Laplace transform of $\hat{y}(t)$ . This function is guaranteed to exist by condition (3) above.

[edit] Discussion

The Borel sum of a series is the Laplace transform of the sum of the term-by-term inverse Laplace transform of the original series. If the Laplace transform of an infinite series were equal to the sum of its term-by-term Laplace transform then the Borel sum would be equal to the usual sum. The Borel sum is defined in many situations where the sum isn't defined. Speaking nonrigorously, it allows us to attach a meaning to the 'sum' of certain types of divergent series. Borel summation is an example of a moment constant method for summing series.