asymptotic expansion




An asymptotic expansion of a function is a formal power series that may not converge, but whose terms decrease fast enough such that the truncation of the series at any finite order still provides a controled approximation to a given function.

A key class of examples of asymptotic expansions are the Taylor series of smooth functions (example 1 below) around any point. Beware that by Borel's theorem this means that every formal power series is the asymptotic expansion of some smooth function and of more than one smooth function (remark 2 below).

In resurgence theory one tries to re-identify from an asymptotic expansion the corresponding non-analytic contributions.

In perturbative quantum field theory

The concept of asymptotic expansions plays a key role in the interpretation of perturbative quantum field theory (pQFT): This computes quantum observables as formal power series (in the coupling constant and in Planck's constant) whose radius of convergence necessarily vanishes in cases of interest (Dyson 52).

Nevertheless, for examples such as quantum electrodynamics and quantum chromodynamics as in the standard model of particle physics, the truncation of these series to the first handful of loop orders happens to agree with experiment (such as at the LHC collider) to high precision (for QED) or at least good precision (for QCD). Therefore one interprets the scattering matrix in perturbative quantum field theory as an asymptotic expansion of what should be the true non-perturbative result.

With resurgence theory one may try to deduce from the Feynman perturbation series regarded as an asymptotic expansion the hidden non-perturbative effects.



Given a function f:f \colon \mathbb{R} \to \mathbb{R}, a formal power series n=0 a nx n\sum_{n = 0}^\infty a_n x^n is an asymptotic expansion of ff at x=0x = 0 if for each nn \in \mathbb{N} the limit of the difference between ff and the sum of the first nn terms of the series divided by x nx^n is zero as xx tends to 0:

limx0(1x n(f(x) k=0 na kx k))=0. \underset{x \to 0}{\lim} \left( \frac{1}{x^n} \left( f(x) - \sum_{k = 0}^n a_k x^k \right) \right) \;=\; 0 \,.

This definition makes no statement about the behaviour as nn \to \infty. In particular an asymptotic expansion may have vanishing radius of convergence (and nevertheless provide useful approximate information).



(Taylor series of smooth function is asymptotic series)

The Taylor series of a smooth function f:f \colon \mathbb{R} \to \mathbb{R} at any point is always an asymptotic expansion of ff around that point, regardless of whether its radius of convergence vanishes or not.


This follows from the Hadamard lemma, which says that for each nn \in \mathbb{N} and each expansion point x 0x_0 \in \mathbb{R} (which we may without restrict of generality assume to be x 0=0x_0 = 0) there exists a smooth function h n:h_n \colon \mathbb{R} \to \mathbb{R} such that

f(x)=f(0)+xf (0)(0)+12x 2f (2)(0)++1n!x nf n(0)+1(n+1)!x n+1h n(x), f(x) = f(0) + x f^{(0)}(0) + \frac{1}{2} x^2 f^{(2)}(0) + \cdots + \frac{1}{n!} x^n f^{n}(0) + \frac{1}{(n+1)!} x^{n+1} h_n(x) \,,

where f (k):f^{(k)} \colon \mathbb{R} \to \mathbb{R} denotes the kkth derivative of ff.

Therefore with

(a k) k(1k!f (k)(0)) k (a_k)_{k \in \mathbb{N}} \coloneqq \left( \frac{1}{k!} f^{(k)}(0) \right)_{k \in \mathbb{N}}

the coefficients of the Taylor series of ff at x 0=0x_0 = 0, we have

limx0(1x n(f(x) k=0 na kx k)) =limx0(1x n(1(n+1)!x n+1h n(x))) =limx0(x1(n+1)!h n(x)) =01(n+1)!h n(0) =0. \begin{aligned} \underset{x \to 0}{\lim} \left( \frac{1}{x^n} \left( f(x) - \sum_{k = 0}^n a_k x^k \right) \right) & = \underset{x \to 0}{\lim} \left( \frac{1}{x^n} \left( \frac{1}{(n+1)!} x^{n+1} h_n(x) \right) \right) \\ & = \underset{x \to 0}{\lim} \left( x \frac{1}{(n+1)!} h_n(x) \right) \\ & = 0 \cdot \frac{1}{(n+1)!} h_n(0) \\ & = 0 \end{aligned} \,.

Here in taking the limit we used from Hadamard's lemma that h n(x)h_n(x) and hence also xh n(x)x h_n(x) is a smooth function, hence in particular a continuous function, on all of \mathbb{R}, hence that its limit as x0x \to 0 is just the value of the function at x=0x = 0.


(Borel's theorem)

Beware that by Borel's theorem, every formal power series is the Taylor series of some smooth function, and of more than one smooth function; hence by example 1 every formal power series is the asymptotic expansion of some smooth function, and of more than one smooth function.


From Suslov 05:

Classical books on diagrammatic techniques [[in perturbative quantum field theory]] describe the construction of diagram series as if they were well defined. However, almost all important perturbation series are hopelessly divergent since they have zero radii of convergence. The first argument to this effect was given by Dyson with regard to quantum electrodynamics.


Even though Dyson’s argument is unquestionable, it was hushed up or decried for many years: the scientific community was not ready to face the problem of the hopeless divergency of perturbation series.


The modern status of divergent series suggests that techniques for manipulating them should be included in a minimum syllabus for graduate students in theoretical physics. However, the theory of divergent series is almost unknown to physicists, because the corresponding parts of standard university courses in calculus date back to the mid-nineteenth century, when divergent series were virtually banished from mathematics.


An original article is

  • G. Watson, A theory of asymptotic series, Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Character Vol. 211, (1912), pp. 279-313 (JSTOR)

Basic introductions include

  • Joel Feldman, Taylor series and asymptotic expansions lecture notes pdf

  • R. Shankar Subramanian, An Introduction to Asymptotic Expansions (pdf)

The argument that the S-matrix formal power series in all perturbative quantum field theories of interest is necessarily divergent (and hence at best an asymptotic series) is due to

  • Freeman Dyson, Divergence of perturbation theory in quantum electrodynamics, Phys. Rev. 85, 631, 1952 (spire)

made more precise in

  • Lev Lipatov, Divergence of the Perturbation Theory Series and the Quasiclassical Theory, Sov.Phys.JETP 45 (1977) 216–223 (pdf)

recalled for instance in

  • Igor Suslov, section 1 of Divergent perturbation series, Zh.Eksp.Teor.Fiz. 127 (2005) 1350; J.Exp.Theor.Phys. 100 (2005) 1188 (arXiv:hep-ph/0510142)

  • Justin Bond, last section of Perturbative QFT is Asymptotic; is Divergent; is Problematic in Principle (pdf)

  • Stefan Hollands, Robert Wald, section 4.1 of Quantum fields in curved spacetime, Physics Reports Volume 574, 16 April 2015, Pages 1-35 (arXiv:1401.2026)

In the example of phi^4 theory this non-convergence of the perturbation series is discussed in

  • Robert Helling, p. 4 of Solving classical field equations (pdf)

Last revised on January 22, 2018 at 10:41:48. See the history of this page for a list of all contributions to it.