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.

Contents

[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

  1. \scriptstyle\mathcal{B}y has a nonzero radius of convergence as a function of t;
  2. \scriptstyle\mathcal{B}y can be analytically continued to a function \scriptstyle\widehat{y}(t) on all of the positive real line;
  3. \scriptstyle\widehat{y}(t) grows at most exponentially along the positive real line.

Then the Borel sum of y is given by the Laplace transform of \scriptstyle\widehat{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.

[edit] Applications

Borel summation finds application in perturbation theory where physicists frequently require the sum of a series even though it is divergent.

A direct extension of Borel resummation from series (discrete) to integrals (continuous) can be given in the form

 \int_{0}^{\infty} s^{-x}f(x)\,dx \rightarrow s\int_{0}^{\infty} \int_{0}^{\infty} \frac{f(x)t^{x}}{\Gamma (x+1) }\exp(-st)\,dt\,dx = \frac{F(\ln(s))}{\ln(s)}

where F(s) is the Laplace transform of f(x). This is used to give a finite meaning to Fourier integrals of the type

 \int_{-\infty}^{\infty} f(x)e^{i\omega x}\,dx.

[edit] History

Nicholas M. Katz records an anecdote from Émile Borel's youth:

Borel, then an unknown young man, discovered that his summation method gave the 'right' answer for many classical divergent series. He decided to make a pilgrimage to Stockholm to see Mittag-Leffler, who was the recognized lord of complex analysis. Mittag-Leffler listened politely to what Borel had to say and then, placing his hand upon the complete works by Weierstrass, his teacher, he said in Latin, 'The Master forbids it'.[1]

[edit] References

  1. ^ This quotation is taken thirdhand from Andrianov and Manevitch (2003). Asymptotology: Ideas, Methods, and Applications. Springer, 16. ISBN 1402009607.  Their citation in turn is "M. Katz, cited after Reed and Simon, 1978".