Math 2.0

Sequences, series, summability Definition

Borel summation

Builds on SeriesPower seriesRadius of convergenceAnalytic continuationLaplace transform

Definition

Let ∑k≥0ak\sum_{k \ge 0} a_k be a series of complex numbers. Its Borel transform is the power series ℬ(t)=∑k≥0akk!tk.\mathcal{B}(t) = \sum_{k \ge 0} \frac{a_k}{k!} t^k. The series ∑kak\sum_k a_k is Borel summable if:

  1. ℬ\mathcal{B} has a positive radius of convergence;
  2. ℬ\mathcal{B} has an analytic continuation to an open set that contains the half-line [0,∞)[0, \infty), still written ℬ\mathcal{B};
  3. the improper integral ∫0∞e−tℬ(t) dt\int_0^\infty e^{-t} \mathcal{B}(t) \, dt converges.

The value of this integral is the Borel sum of the series.

Remarks

Example: for ak=zka_k = z^k with a complex number zz, ℬ(t)=ezt\mathcal{B}(t) = e^{zt}, and the integral converges exactly when Re⁡z<1\operatorname{Re} z < 1, with value 1/(1−z)1/(1 - z). So the geometric series is Borel summable to 1/(1−z)1/(1-z) on the half-plane Re⁡z<1\operatorname{Re} z < 1, also where it diverges, such as at z=−1z = -1, where the sum is 1/21/2. Non-example: for ak=(k!)2a_k = (k!)^2, the Borel transform ∑kk! tk\sum_k k! \, t^k has radius of convergence 00, so clause 1 fails. The method is regular: a convergent series is Borel summable, and its Borel sum is its ordinary sum. For a power series ∑kakzk\sum_k a_k z^k, the Borel sum is ∫0∞e−tℬ(zt) dt\int_0^\infty e^{-t} \mathcal{B}(zt) \, dt, which is a Laplace transform of ℬ\mathcal{B} up to a change of variable. A weaker variant, the weak Borel method, uses the limit of e−t∑n≥0sntn/n!e^{-t} \sum_{n \ge 0} s_n t^n/n! as t→∞t \to \infty, where sns_n are the partial sums.

Reading path

To understand this page from the ground up, read these 10 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Analytic continuation concept
  2. Function concept
  3. Sequence definition
  4. Laplace transform definition
  5. Real sequence definition
  6. Bounded sequence definition
  7. Series definition
  8. Power series definition
  9. Radius of convergence definition
  10. Borel summation definition

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Borel_summation
About this page
TagRQYX6E42D0
URIm2://RQYX6E42D0
Kinddefinition
WritingW0 stub
MSC40G10, 30E15
DefinesBorel summation
UsesSeries, Power series, Radius of convergence, Analytic continuation, Laplace transform
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by