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.
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 \colon \mathbb{R} \to \mathbb{R}$, a formal power series $\sum_{n = 0}^\infty a_n x^n$ is an asymptotic expansion of $f$ at $x = 0$ if for each $n \in \mathbb{N}$ the limit of the difference between $f$ and the sum of the first $n$ terms of the series divided by $x^n$ is zero as $x$ tends to 0:
This definition makes no statement about the behaviour as $n \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 \colon \mathbb{R} \to \mathbb{R}$ at any point is always an asymptotic expansion of $f$ around that point, regardless of whether its radius of convergence vanishes or not.
This follows from the Hadamard lemma, which says that for each $n \in \mathbb{N}$ and each expansion point $x_0 \in \mathbb{R}$ (which we may without restrict of generality assume to be $x_0 = 0$) there exists a smooth function $h_n \colon \mathbb{R} \to \mathbb{R}$ such that
where $f^{(k)} \colon \mathbb{R} \to \mathbb{R}$ denotes the $k$th derivative of $f$.
Therefore with
the coefficients of the Taylor series of $f$ at $x_0 = 0$, we have
Here in taking the limit we used from Hadamard's lemma that $h_n(x)$ and hence also $x h_n(x)$ is a smooth function, hence in particular a continuous function, on all of $\mathbb{R}$, hence that its limit as $x \to 0$ is just the value of the function at $x = 0$.
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
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
made more precise in
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
Last revised on January 22, 2018 at 10:41:48. See the history of this page for a list of all contributions to it.