Fact-checked by Grok 2 weeks ago

Borel summation

Borel summation is a summation method in mathematical analysis designed to assign a meaningful finite value to certain divergent power series, particularly those that arise as asymptotic expansions and exhibit factorial growth in their coefficients.^[1] For a formal power series \hat{f}(z) = \sum_{n=0}^\infty a_n z^n, the Borel transform is defined as B(w) = \sum_{n=0}^\infty a_n \frac{w^n}{n!}, which often converges in a disk due to the factorial denominators suppressing rapid growth in a_n.^[1] The Borel sum is then obtained via the integral f(z) = \int_0^\infty e^{-t} B(t z) \, dt, provided the integral converges along the positive real axis; this process effectively inverts the transform through a Laplace integral, yielding an analytic function whose asymptotic expansion as z \to 0 in suitable sectors matches the original series.^[1] Introduced by the French mathematician Émile Borel, the method first appeared in his 1899 work on divergent series and was systematically developed in his 1901 monograph Leçons sur les séries divergentes, with a revised second edition in 1928 incorporating contributions from Georges Bouligand.^[2]^[3] Borel's approach marked a pioneering effort to provide a rigorous framework for handling divergent series, building on earlier ad hoc techniques and emphasizing their utility in representing solutions to differential equations where standard power series fail due to limited radius of convergence.^[2] The technique is regular, meaning it preserves convergent series (i.e., if \sum a_n z^n converges to f(z), then the Borel sum equals f(z)), and it extends to more general forms like the Borel-Le Roy summation for series with super-factorial growth.^[1] Key properties of Borel summation include its sectorial nature, where the sum may depend on the direction of approach to the origin (Stokes sectors), leading to phenomena like Stokes jumps across anti-Stokes lines when analytic continuation is required beyond the convergence disk of the Borel transform.^[1] It applies effectively to Gevrey-1 series, where |a_n| \leq C R^{-n} n! for constants C, R > 0, ensuring the Borel transform is analytic in a half-plane or sector.^[1] In cases of ambiguity or non-convergence along the real axis, variants such as analytic continuation of B(w) along deformed contours or higher-order Borel-Le Roy transforms (with kernel e^{-t^{1+\alpha}/(1+\alpha) z^\alpha}) provide generalized sums.^[1] Borel summation has profound applications across pure and applied mathematics, notably in resurgent analysis for decoding asymptotic expansions of solutions to nonlinear ordinary differential equations (e.g., Painlevé and Airy equations) and partial differential equations like the Navier-Stokes system, where it facilitates local existence proofs and error control in numerical approximations.^[1]^[4] In physics, it regularizes perturbative expansions in quantum field theory, such as those for critical exponents in statistical mechanics models, and aids in understanding non-perturbative effects via transseries—hybrid expansions combining power series and exponentials that are summable sector by sector.^[1] Examples include summing Euler's divergent series \sum_{k=0}^\infty k! (-z)^{k+1} to e^{1/z} \mathrm{Ei}(-1/z) and Stirling's asymptotic series for the Gamma function logarithm.^[1]

Fundamentals

Divergent Series

A divergent power series, in the context of summation methods like Borel summation, is typically a formal series of the form \sum_{n=0}^\infty a_n z^n, where the coefficients a_n are complex numbers and the radius of convergence R = 0, meaning the series diverges for all z \neq 0. More generally, it includes series with $0 < R < \infty that converge to an analytic function inside the disk |z| < R but diverge for |z| > R, rendering them useless for direct summation beyond that boundary. In particular, series with coefficients growing like n! (Gevrey-1 class) have R = 0 and are prime candidates for Borel summation.^[5]^[1] In the early 19th century, mathematicians including Augustin-Louis Cauchy began to rigorously examine the limitations of infinite series, noting that formal power series solutions to ordinary differential equations frequently possess only finite radii of convergence, often zero in cases of singular perturbations. For instance, Cauchy's work on asymptotic approximations, such as in his 1843 analysis of the Stirling series, highlighted how these solutions diverge outside small neighborhoods despite formally satisfying the equations. This recognition stemmed from efforts to solve practical problems in analysis and physics, where exact closed forms were elusive, prompting a shift from unchecked manipulation of series—common in the 18th century—to more cautious approaches.^[6]^[6] Such divergent series nonetheless prove valuable as asymptotic expansions, offering approximations that grow increasingly accurate as the expansion parameter approaches specific limits, even though the series itself does not converge. For example, in applications to integrals like the Airy function or Bessel functions, truncating the series at an optimal point yields errors smaller than the first omitted term, enabling precise numerical insights asymptotically, even when R = 0. However, the terms eventually increase in magnitude, leading to catastrophic divergence and rendering the expansion unreliable for exact representation beyond suitable sectors.^[6] A pivotal advance came in 1901 with Émile Borel's insight that many divergent power series could nonetheless represent analytic functions in larger domains through appropriate generalized summation techniques, extending their utility beyond mere asymptotics.^[3] Borel summation exemplifies one such method for assigning meaningful finite values to these otherwise intractable series.^[3]

Summation Methods

Summation methods for divergent series are techniques designed to assign finite values to infinite series that do not converge in the ordinary sense. These methods are classified according to key properties that ensure their consistency and usefulness. A summation method is regular if it reproduces the ordinary sum for every convergent series.^[7] It is linear if the assigned sum respects linear combinations, meaning the sum of \alpha \sum a_n + \beta \sum b_n equals \alpha times the sum of \{a_n\} plus \beta times the sum of \{b_n\}.^[8] Additionally, a method is stable (or translative) if shifting the series by inserting a constant term at the beginning adjusts the assigned sum by exactly that constant.^[9] Methods satisfying these properties, particularly regularity, provide a reliable extension of classical convergence. Among the prominent examples, Cesàro summation employs higher-order averaging of partial sums to achieve summability. For a given order k, it computes successive averages of the partial sums, often using binomial coefficients to weight them, enabling it to sum series like the alternating Grandi series $1 - 1 + 1 - 1 + \cdots to \frac{1}{2}. Abel summation, in contrast, considers the power series \sum a_n x^n and takes the radial limit as x approaches 1 from below along the real line, which can sum the logarithmic series \sum_{n=1}^\infty (-1)^{n+1} \frac{x^n}{n} to \ln(1+x) at x=1. Padé approximants offer another approach by constructing rational functions that match the power series up to a certain order, providing better approximations for divergent expansions, such as those in quantum mechanical perturbation theory where they yield accurate energy eigenvalues from large-order divergent terms.^[10] These methods form a hierarchy of increasing strength, where stronger methods can sum series that weaker ones cannot while agreeing on those they both handle. For instance, Abel summation is strictly stronger than any Cesàro method of finite order, successfully summing some conditionally convergent or slowly divergent series beyond Cesàro's reach.^[11] Borel summation occupies a higher position in this hierarchy, capable of handling series intractable by Cesàro or Abel, particularly those exhibiting factorial divergence where coefficients grow like n!.^[11] As a transcendental method relying on integral transforms, Borel summation proves especially powerful for such rapidly divergent cases common in asymptotic expansions.^[1]

Definition

Exponential Borel Transform

The exponential Borel transform of a formal power series \sum_{n=0}^\infty a_n z^n is defined by the exponential generating series

B(t) = \sum_{k=0}^\infty \frac{a_k}{k!} t^k.

^[12]^[13] This transform converts an ordinary power series into an exponential generating series, which frequently possesses a positive radius of convergence even when the original series diverges everywhere except at the origin.^[14] In particular, if the coefficients satisfy |a_k| growing slower than k! (i.e., |a_k|/k! \to 0 as k \to \infty), the series for B(t) converges for all t \in \mathbb{C}, yielding an entire function.^[13] Geometrically, the exponential Borel transform reinterprets the growth of coefficients in the original series through the lens of exponential generating functions, often improving analytic properties by suppressing factorial divergences inherent in asymptotic expansions.^[14] The concept was introduced by Émile Borel in 1899–1901 as part of his foundational work on divergent series, initially developed to address solutions of differential equations exhibiting singular behaviors.^[3]

Integral Borel Sum

The integral Borel sum recovers a value for a divergent formal power series \sum_{n=0}^\infty a_n z^n through a Laplace-type integral applied to its Borel transform B(t) = \sum_{n=0}^\infty \frac{a_n t^n}{n!}, assuming B(t) admits an analytic continuation suitable for the integration path.^[1] This transform B(t) is typically an entire function when the original series is divergent but asymptotically meaningful, such as in perturbation expansions where coefficients grow factorially.^[15] The Borel sum S(z) is defined for z \in \mathbb{C} by

S(z) = \int_0^\infty e^{-t} B(t z) \, dt.

This representation holds in the right half-plane \operatorname{Re}(z) > 0, where the integral provides an analytic function that asymptotically matches the original series as z \to 0 in suitable sectors.^[1] The integral converges absolutely provided \operatorname{Re}(z) > 0 and B(t) is entire of exponential type, meaning there exist constants C > 0 and \tau < 1/\operatorname{Re}(z) such that |B(t)| \leq C \exp(\tau |t|) for all t \in \mathbb{C}.^[1] Under these conditions, the growth of B(t) ensures the exponential decay e^{-t} dominates along the positive real axis, yielding a finite value.^[15] This construction relates directly to the Laplace transform, as the Borel sum S(z) is equivalent to the inverse Laplace transform of B(t) evaluated at s = 1/z, up to a scaling factor: specifically, z S(z) = \mathcal{L}\{B\}(1/z), where \mathcal{L} denotes the Laplace transform \mathcal{L}\{B\}(s) = \int_0^\infty e^{-s t} B(t) \, dt.^[1] When term-by-term integration is valid (e.g., for series within the radius of convergence of B),

S(z) = \int_0^\infty e^{-t} \sum_{n=0}^\infty \frac{(t z)^n}{n!} a_n \, dt = \sum_{n=0}^\infty a_n z^n,

providing an explicit integrated form that aligns with the summation goal.^[1] For domains beyond \operatorname{Re}(z) > 0, the Borel sum can be extended via analytic continuation of the integral along deformed contours avoiding singularities of B(t z).^[15]

Analytic Continuation in Borel Summation

In Borel summation, when the standard integral representation along the positive real axis fails to converge for certain complex values of z due to singularities in the Borel transform B(\zeta), the summation can be extended by deforming the integration contour in the complex t-plane to avoid these singularities while ensuring the exponential factor e^{-t} provides decay at infinity.^[16] This deformation allows the integral to capture the analytic continuation of the sum beyond the region of direct convergence, preserving the asymptotic relation to the original divergent series.^[1] The principal sector for Borel summation is typically defined as the region where |\arg z| < \pi/2, in which the integral along the positive real t-axis converges under suitable growth conditions on B(\zeta), such as analyticity in a half-plane \operatorname{Re} \zeta > 0.^[1] Outside this sector, analytic continuation proceeds by crossing anti-Stokes lines, which are the boundaries separating regions of different asymptotic dominance in the z-plane; these lines occur where the real parts of the exponents in the integrand align, enabling smooth deformation of the contour without encountering branch points or poles of B(t z).^[17] Such continuations yield multi-valued functions in general, with the choice of contour determining the specific branch. The generalized Borel sum in an extended sector is given by

S(z) = \int_\Gamma e^{-t} B(t z) \, dt,

where \Gamma is a deformed contour starting at t=0 and extending to infinity in a direction where \operatorname{Re} t \to +\infty and the image path t \mapsto t z lies in a domain free of singularities of B.^[1] The focus of this representation lies in the path deformation: by shifting \Gamma laterally to skirt obstacles like rays emanating from singularities in the Borel plane, the integral remains well-defined and analytically continues the sum across sector boundaries, often incorporating lateral averages to resolve ambiguities on Stokes lines.^[17] Borel summation is unique in each sector where the Borel transform B(\zeta) is analytic, ensuring that different valid contours within the same sector yield the same value up to negligible remainders.^[1] This property plays a key role in handling Gevrey asymptotics, where the transform's sectorial analyticity aligns with the growth rates of the series coefficients.^[1]

Properties

Regularity Conditions

In summability theory, a method is defined as regular if it assigns to any convergent series the same finite sum as the ordinary partial sums, thereby extending the notion of convergence consistently without altering established results. Borel summation satisfies this regularity condition, ensuring compatibility with classical analysis for series within their domain of convergence. This property underscores its utility as a conservative extension for divergent series, preserving the integrity of convergent cases. To establish regularity for Borel summation, consider a power series \sum_{n=0}^\infty a_n z^n that converges to an analytic function f(z) within its disk of convergence |z| < R > 0. The Borel transform B(t) = \sum_{n=0}^\infty \frac{a_n}{n!} t^n converges absolutely for all t, and the integral Borel sum is given by

\mathcal{B} f(z) = \int_0^\infty e^{-t} B(zt) \, dt.

Under these conditions, \mathcal{B} f(z) = f(z) for |z| < R. The proof proceeds by noting that term-by-term integration of the partial Borel transforms yields exactly the partial sums of the power series. The remainder integral tends to zero as N \to \infty by bounding the tail using Cauchy's integral formula on a smaller disk |w| < r with |z| < r < R, ensuring |B(zt) - B_N(zt)| \leq M e^{t |z|/r} for some M, so the integrand decays exponentially with rate $1 - |z|/r > 0, justifying the interchange. Borel summation extends naturally to series in the Gevrey-1 class, characterized by coefficients satisfying |a_n| \leq C K^n n! for constants C, K > 0. Such series are Borel summable in a sectorial domain if their Borel transform admits analytic continuation to a suitable neighborhood of the positive real axis with at most exponential growth, allowing the Laplace integral to converge and yield a holomorphic function asymptotic to the original series. This class captures typical asymptotic expansions arising in perturbation theory, where the factorial growth ensures the Borel transform remains analytic near the origin.^[18] As a consequence, Borel summation is regular for any power series possessing a positive radius of convergence, reproducing the analytic function it represents without modification. This holds uniformly on compact subsets of the convergence disk, aligning Borel methods with standard power series theory.

Strong and Weak Borel Summation

The strong Borel summation corresponds to the full Laplace integral of the Borel transform, providing a rigorous value for divergent power series under suitable convergence conditions. In contrast, the weak Borel summation approximates this through a limit involving the exponential generating function of the partial sums of the coefficients, serving as a formal evaluation that is less demanding on the growth of the series.^[19] The weak Borel sum of the formal power series \sum_{n=0}^\infty a_n z^n is defined as follows: let s_n = \sum_{k=0}^n a_k be the partial sums, then

W(z) = \lim_{y \to \infty} e^{-y} \sum_{n=0}^\infty s_n z^n \frac{y^n}{n!},

provided the limit exists; this treats the Borel transform of the partial sums as a formal exponential series and assesses its asymptotic behavior at infinity after weighting by the exponential decay.^[19] These variants are nonequivalent in general: the weak sum can be defined for a broader range of divergent series than the strong sum, yet they may differ in value when both exist, with examples where the weak sum diverges (e.g., due to oscillatory behavior in the limit) while the strong sum converges via the averaging effect of the integral.^[19] If the strong Borel sum exists for a series, then the weak Borel sum also exists and coincides with it; however, the converse fails, as there are series where the weak sum exists but the strong does not, or they disagree. This makes the weak method less powerful overall, particularly for Gevrey series where stricter growth conditions are needed for equivalence.^[19]

Connections to Other Summation Techniques

Borel summation extends the reach of Abel summation by effectively handling divergent series with factorial or super-factorial growth in coefficients, where the associated power series has zero radius of convergence, rendering Abel summation ineffective outside trivial cases. For instance, the series \sum_{n=0}^\infty n! z^n, which diverges for all z \neq 0, admits a Borel sum expressed via the incomplete gamma function, providing an analytic continuation beyond the unit disk limitations of Abel methods.^[20] Under suitable growth conditions on the series coefficients, such as bounded variation or Tauberian constraints, Borel summability implies both Cesàro and Abel summability to the same limit value. This inclusion relation highlights Borel's position as a more powerful method in the hierarchy of summability techniques, encompassing series summable by Cesàro or Abel means while extending to broader classes of divergent series.^[21] Borel summation aligns with Padé approximation methods for constructing rational approximants to asymptotic expansions, particularly through Borel-Padé resummation, where Padé approximants applied to the Borel transform yield consistent and accurate estimates of the sum for series approximable by rational functions.^[22] In the case of Gevrey-1 series, Borel summation coincides with Euler summation within specific sectors of the complex plane, unifying the two approaches for resurgent formal power series via the Euler-Maclaurin framework and Laplace transforms of the Borel transform.^[23] Weak Borel summation further connects to moment summation methods through integral representations akin to Hausdorff means.^[20]

Uniqueness Results

Watson's Uniqueness Theorem

Watson's uniqueness theorem establishes that under suitable analyticity and asymptotic conditions, a function is uniquely determined by its formal power series expansion and coincides with its Borel sum. Specifically, consider a function f(z) that is holomorphic in a sector S = \{ z : |\arg z| < \alpha \} with opening angle $2\alpha > \pi, centered at the origin, and suppose f(z) admits the asymptotic expansion f(z) \sim \sum_{n=0}^\infty a_n z^n as z \to 0 within S. For the series to be of Gevrey order 1 (relevant for standard Borel summability, where coefficients satisfy |a_n| \leq C K^n n! for constants C, K > 0), the remainder term after N terms must satisfy the bound

\left| f(z) - \sum_{k=0}^N a_k z^k \right| \leq C_{N+1} |z|^{N+1},

where the constants C_{N+1} incorporate the Gevrey growth, typically of the form C_{N+1} = M (N+1)! r^{N+1} for some M, r > 0. Under these conditions, f(z) is the unique Borel sum of the formal series \sum_{n=0}^\infty a_n z^n in the sector S.^[24] The theorem guarantees that no other function satisfying the same analyticity and asymptotic properties in a sector wider than \pi can exist, ensuring the Borel summation process recovers f(z) precisely via the integral

f(z) = \int_0^\infty e^{-t} B(t z) \, dt,

where B(w) is the Borel transform, analytic in a half-plane \operatorname{Re} w > 0. This uniqueness holds because the Gevrey-1 condition on the asymptotics ensures the Borel transform B is holomorphic in a suitable region, allowing the Laplace transform to converge to f(z). The remainder bound in the asymptotic expansion, when linked to Gevrey estimates, confirms that deviations from the partial sums decay sufficiently fast to match the Borel integral exactly. A proof involves showing that the difference between f(z) and its Borel sum is asymptotically smaller than any power of z as z \to 0 in S, hence zero by analytic continuation and the Phragmén–Lindelöf principle, which prevents non-trivial bounded solutions in the sector.^[25]^[1] This theorem particularly applies to solutions of linear ordinary differential equations (ODEs) with analytic coefficients, where formal power series solutions at regular singular points are Gevrey-1 and Borel summable in sectors away from Stokes lines, providing a unique analytic continuation via the Borel transform.^[25] Watson's result extends classical uniqueness principles and relates to theorems on quasi-analytic functions.^[26]

Carleman's Uniqueness Theorem

Carleman's uniqueness theorem provides conditions under which a function analytic in a half-plane is uniquely determined by its asymptotic power series expansion via Borel summation. It states that if f is analytic for \operatorname{Re} z > 0 and f(z) \sim \sum_{n=0}^\infty a_n z^n as z \to 0 in every sector within the half-plane, with the series satisfying Gevrey-1 growth |a_n| \lesssim n! \, K^n, and f satisfies suitable growth estimates (related to exponential type in angular sectors), then f is the unique Borel sum of the series in the half-plane. This result relies on properties of quasi-analytic classes and ensures the injectivity of the Borel transform under these constraints. The theorem, developed by Torsten Carleman as part of his work on quasi-analytic functions and moment problems, extends Borel's ideas by providing a framework for global uniqueness across the plane via growth restrictions like |f(z)| \leq C \exp(\tau |\operatorname{Im} z| + o(|\operatorname{Im} z|)) in strips. Carleman's proof uses Phragmén-Lindelöf principles and estimates on the Borel transform to establish uniqueness.^[27] The theorem is particularly applied in moment problems, distinguishing determinate cases for Hamburger or Stieltjes sequences where the growth of moments satisfies Carleman's condition \sum (m_n)^{ -1/(2n) } = \infty, ensuring a unique measure whose exponential generating function is the Borel sum of the associated series. This clarifies the convergence of orthogonal polynomials and provides canonical representations in indeterminate cases. It connects to Borel summation by viewing the generating function as a Laplace-Borel transform of the measure.

Example of Uniqueness Application

A concrete illustration of the application of uniqueness theorems in Borel summation is provided by the divergent formal power series S(z) = \sum_{n=0}^\infty n! \, z^n, which has radius of convergence zero. The Borel transform of this series is B(t) = \sum_{n=0}^\infty n! \, z^n \frac{t^n}{n!} = \sum_{n=0}^\infty (z t)^n = \frac{1}{1 - z t} for |z t| < 1. To compute the Borel sum, evaluate the integral \int_0^\infty e^{-t} B(t) \, dt = \int_0^\infty \frac{e^{-t}}{1 - z t} \, dt. This integral can be expressed using the exponential integral function \Ei(w) = -\int_{-w}^\infty \frac{e^{-u}}{u} \, du (principal value), yielding -\frac{\Ei(-z^{-1})}{z} for appropriate z via analytic continuation. The evaluation proceeds by rewriting \frac{1}{1 - z t} = -\frac{1}{z} \cdot \frac{1}{t - z^{-1}} and recognizing the form as a Laplace transform representation of the exponential integral, valid via analytic continuation across the singularity at t = z^{-1}. Watson's uniqueness theorem guarantees that this Borel sum is the unique analytic function in a suitable sector that has S(z) as its asymptotic expansion as z \to 0. This example demonstrates how such theorems confirm that the Borel sum matches the analytic continuation of the zero solution to a differential equation, thereby rigorously assigning a finite value to the divergent series in regions where it provides the correct asymptotic behavior.

Illustrative Examples

Geometric Series Summation

The geometric series \sum_{n=0}^\infty z^n converges to \frac{1}{1-z} for |z| < 1, but diverges for |z| \geq 1. To apply Borel summation, consider the formal power series \sum_{n=0}^\infty z^n, with coefficients a_n = 1. The Borel transform is the entire function B(t) = \sum_{n=0}^\infty \frac{(z t)^n}{n!} = e^{z t}. The Borel sum is then given by the Laplace integral

\int_0^\infty e^{-t} e^{z t} \, dt = \int_0^\infty e^{t(z-1)} \, dt.

This integral converges absolutely in the half-plane \operatorname{Re}(z) < 1, where it evaluates to \frac{1}{1-z}, agreeing with the known sum inside the disk of convergence. By analytic continuation, the Borel sum extends \frac{1}{1-z} to the entire complex plane minus the ray [1, \infty), which forms the boundary of the Borel polygon for this series. Outside \operatorname{Re}(z) < 1, the integral along the positive real axis may diverge due to the singularity at t = \frac{1}{1-z} when \operatorname{Re}(z-1) \geq 0, but deformation of the integration path into sectors avoiding the positive real axis allows summation in larger domains consistent with the principal branch of the function.

Alternating Factorial Divergence

A classic example of a divergent series amenable to Borel summation is the alternating factorial series \sum_{n=0}^\infty (-1)^n n! z^n, which exhibits factorial divergence due to the rapid growth of the coefficients despite the alternating signs. The partial sums oscillate wildly for any z \neq 0, rendering the series divergent in the usual sense, but Borel summation assigns a finite value by transforming it into an integral representation.^[28] The Borel transform of the series is B(t) = \sum_{n=0}^\infty (-1)^n t^n = \frac{1}{1 + t}, which converges for |t| < 1 and admits analytic continuation to the complex plane except for a simple pole at t = -1.^[28] The Borel sum is then given by the integral

S(z) = \int_0^\infty e^{-t} \frac{1}{1 + t z} \, dt,

which formally inverts the transform and recovers the original series asymptotically as z \to 0. This integral converges absolutely for all z with \operatorname{Re} z > 0, as the integrand behaves like e^{-t}/(t z) for large t, which is integrable. For z > 0, the sum S(z) admits a closed-form expression in terms of the exponential integral function:

S(z) = \frac{e^{1/z}}{z} E_1\left(\frac{1}{z}\right),

where E_1(w) = \int_w^\infty \frac{e^{-u}}{u} \, du for \operatorname{Re} w > 0.^[1] Equivalently, using the relation E_1(w) = -\operatorname{Ei}(-w), this can be written as

S(z) = -\frac{e^{1/z}}{z} \operatorname{Ei}\left(-\frac{1}{z}\right),

with \operatorname{Ei} denoting the exponential integral. Alternatively, E_1(1/z) is the upper incomplete gamma function evaluated at order zero, \Gamma(0, 1/z). These special functions provide the explicit value, for instance, at z=1, S(1) \approx 0.596347.^[29] The function S(z) defined by the integral for \operatorname{Re} z > 0 extends to an analytic continuation in the complex plane cut along the negative real axis, where a branch point arises due to the pole in B(t) interacting with the integration contour. For complex z where the line \operatorname{Re}(t z) > -1 for t \geq 0 (avoiding the pole at t = -1/z), the integral defines the principal branch; otherwise, a principal value prescription is used to handle the contour deformation around the singularity. This continuation preserves the asymptotic nature of the original series while resolving its divergence through the summation method.^[28]

Failure of Equivalence Case

A notable illustration of the nonequivalence between weak and strong Borel summation arises in cases where the Borel transform exhibits singularities that render the integral along the positive real axis non-convergent for the weak method, yet permit convergence via path deformation in the strong method. Consider the formal Laurent series \sum_{k=0}^\infty k! \, x^{-k-1}, whose Borel transform develops a non-integrable singularity at p=1 in the Borel plane.^[1] For the weak Borel sum, the Laplace integral along the real positive axis fails due to this singularity, leading to divergence. In contrast, the strong Borel sum succeeds by employing techniques such as Écalle's medianization, which effectively averages over the singularity to yield a convergent value.^[1] This example underscores the role of rapid oscillations or growth induced by the singularity, which disrupt the limiting process in weak summation. By analytically continuing the Borel transform and deforming the integration contour to circumvent the problematic region—such as along a path in a sector avoiding the singularity—the strong method ensures the integral converges, providing a well-defined sum.^[1] Such constructions highlight the necessity of analytic continuation in strong Borel summation to handle scenarios inaccessible to the weaker variant.^[1] A related constructed example involves a Borel transform B(t) with an essential singularity at t=0, asymptotically behaving as B(t) \sim \exp(1/t) near the origin. Here, the weak sum diverges owing to the explosive growth and oscillatory behavior near t=0 along the real line, preventing the integral from settling to a limit. However, strong summation resolves this by continuing B(t) holomorphically into a suitable domain and integrating along a deformed path, such as a ray in the complex plane where the integrand decays sufficiently, thus establishing convergence.^[1] This disparity emphasizes that strong Borel summation extends beyond the constraints of real-line integration, capturing sums for series otherwise deemed unsummable by weaker criteria.

Convergence Domain

Summability Along Chords

In Borel summation, summability along chords refers to the evaluation of the Laplace integral along straight-line paths, specifically rays emanating from the origin to infinity in a prescribed direction within the complex Borel plane. This variant extends the standard real-positive Borel summation to complex settings, allowing for the handling of directional dependencies introduced by singularities in the Borel transform. The method is essential for series whose Borel transforms are analytic only in limited sectors of the plane, enabling summation by choosing paths that skirt these singularities. The Borel sum along the chord in direction \theta is given by

S_{\theta}(z) = \int_{0}^{\infty} e^{-t} B(t z e^{i \theta}) \, dt,

where B denotes the Borel transform of the formal power series, assuming the integral exists.^[18] Convergence of this integral holds if B is analytic in a wedge centered on the ray \arg(t) = \arg(z) + \theta and exhibits controlled exponential growth within that wedge, typically of the form |B(\zeta)| \leq A \exp(\gamma |\zeta|) for constants A, \gamma > 0.^[30] Such conditions ensure the real part of the exponent remains negative along the path, guaranteeing absolute convergence.^[18] In multi-sector scenarios, where the Borel transform's analytic continuation spans overlapping sectors separated by singularities, chordal summability approximates the radial limits by selecting \theta aligned with the sector bisectors, thereby bridging discrepancies across Stokes lines.^[30] This directional approach guarantees summability precisely in those \theta for which the corresponding chord avoids singularities, yielding a holomorphic function in half-planes determined by the wedge aperture, often |\arg z + \theta| < \pi/2 - \epsilon for some \epsilon > 0.^[18] For \theta within the allowable range—typically an open interval of length up to \pi dictated by the singularity configuration—the resulting S_{\theta}(z) matches the asymptotic expansion of the original series to all orders in the appropriate sector.^[30]

The Borel Polygon

The Borel polygon denotes the maximal convex domain in the complex z-plane within which a formal power series admits a Borel sum via integration along straight-line paths in the Borel plane that avoid singularities of the Borel transform. Its construction proceeds by identifying the set of directions in the Borel plane along which rays from the origin remain free of singularities of the Borel transform B(t); the convex hull of these directions maps to the corresponding convex region in the z-plane, where the Laplace integral defining the sum converges and yields an analytic function. This domain is limited by the positions of the singularities, as the boundary of the polygon consists of line segments corresponding to rays tangent to the convex hull of the singularities in the Borel plane, transformed via the relation between z and the integration direction arg(t) = -arg(z). Outside this polygon, the straight-path integral may diverge or encounter singularities, necessitating lateral analytic continuation along curved paths or averages of upper and lower limits to extend the sum. Summability holds unambiguously inside the polygon, providing a global geometric characterization of the region where the Borel method succeeds without ambiguity. A representative example is the geometric series \sum_{n=0}^\infty z^n, whose Borel transform is B(t) = e^t, free of singularities but with exponential growth determining the convergence of the integral \int_0^\infty e^{-t} B(zt)\, dt = \frac{1}{1-z}. The domain is the open half-plane \operatorname{Re} z < 1, a degenerate polygon excluding the ray [1, \infty) along the positive real axis, where the integral diverges due to the pole at z=1; this exclusion arises from effective singularities in the scaled transform at t = 1/z for z \geq 1. Chord approximations within the polygon, such as truncated integrals along finite segments, approximate the sum with error controlled by the distance to the boundary. Another illustrative case is the alternating factorial series \sum_{n=0}^\infty (-1)^n n! z^n, with Borel transform B(t) = \frac{1}{1+t} featuring a singularity at t = -1 on the negative real axis. The convex hull of this singularity is the point itself, blocking the ray in direction \phi = \pi, which corresponds to negative real z. The resulting Borel polygon covers the upper and lower half-planes separately as distinct domains of analyticity, connected across the positive real axis but separated by a branch cut along (-\infty, 0], where lateral continuation is required to match the sums from opposite sides.

Tauberian Theorems for Borel Sums

Tauberian theorems for Borel summation address the converse direction to Abelian implications, establishing conditions under which Borel summability of a series or formal power series implies convergence of partial sums or equivalence to an asymptotic expansion. In the classical setting for numerical series \sum a_n, a Hardy-type Tauberian theorem asserts that if the series is Borel summable to a limit s and the partial sums are slowly oscillating, then the partial sums s_n converge to s. This result, originally due to Hardy and Littlewood and extended in subsequent works, highlights how controlled oscillation in the partial sums prevents excessive divergence, ensuring actual convergence under Borel summability.^[31]^[32] For formal power series \tilde{f}(z) = \sum_{n=0}^\infty a_n z^n in the context of asymptotic analysis, Borel-specific Tauberian theorems link summability to the asymptotic behavior of a function f(z). If f(z) admits \tilde{f}(z) as a Gevrey-one asymptotic expansion in a sector (meaning |a_n| \leq C R^n n! for some constants C, R > 0), then \tilde{f}(z) is Borel summable to f(z) along suitable directions within the sector, with the Borel sum LB_\theta \{\tilde{f}\} coinciding with f(z). This slow growth condition on the coefficients of \tilde{f} ensures that the formal series captures the true asymptotics of f(z) near z = 0, providing a converse to direct summability results.^[1] These theorems improve upon Watson's uniqueness theorem, which requires analytic continuation of the Borel transform beyond a half-plane, by relaxing such global analyticity assumptions to sectorial properties or local growth controls near singularities. For instance, under Gevrey-one conditions, Borel summability holds without needing the full analyticity in a star-shaped domain, allowing application to functions with branch points or multi-scale asymptotics.^[1] A key quantitative aspect arises from coefficient growth rates: if a_n \sim c \, n! \, n^{-\alpha} for some constant c and \alpha > 0, the Borel transform B(t) = \sum (a_n / n!) t^n exhibits singularity behavior near t = 1, such as a Puiseux expansion B(t) \sim (1 - t)^{\alpha - 1} \log(1 - t) or similar algebraic-logarithmic terms, dictating the Stokes phenomenon and analytic continuation of the sum in adjacent sectors. This links coefficient asymptotics directly to the local structure of singularities in the Borel plane, facilitating precise control over the summability domain.^[1] Such Tauberian results relate to uniqueness theorems like Watson's by supplying the additional growth hypotheses needed for converses, ensuring that Borel summability not only recovers asymptotics but also validates them under minimal regularity.^[1]

Applications

Classical Analysis

Borel summation plays a fundamental role in classical analysis by providing a means to assign analytic continuations to divergent formal power series solutions of linear ordinary differential equations (ODEs). For linear ODEs with analytic coefficients and irregular singular points, the formal power series expansions around such points are typically divergent, but they can often be resummed via the Borel method to yield actual analytic functions in suitable sectors of the complex plane. This resummation establishes a bridge between formal solutions and genuine solutions, enabling the study of asymptotic behaviors near singularities. A representative example arises in the context of Euler equations, where formal power series solutions at irregular points can be Borel summed to recover sectorial analytic continuations that match the asymptotic expansions of exact solutions.^[33] Borel summation also extends to nonlinear ODEs, particularly in resurgent analysis, where it decodes the asymptotic expansions of solutions to equations like the Painlevé transcendents. These equations exhibit movable singularities, and Borel summation, combined with resurgence theory, allows the reconstruction of global solutions from their divergent series expansions in sectors, revealing non-perturbative contributions and Stokes phenomena.^[1] In the realm of partial differential equations (PDEs), Borel summation facilitates proofs of local existence for solutions to nonlinear systems such as the three-dimensional Navier-Stokes equations. By applying the method to formal power series solutions in short time, it provides a rigorous summation that controls errors and establishes analyticity in suitable domains, bridging perturbative approximations with actual solutions.^[4]^[34] In asymptotic analysis, Borel summation facilitates the investigation of singularities through its connection to the Darboux method, which derives asymptotic expansions of coefficients from the nature of singularities on the circle of convergence. The Borel transform of a power series with finite radius of convergence is an entire function whose growth in different directions reveals the locations and types of singularities of the original function, as encapsulated in Pólya's classical theorem. This theorem links the asymptotic behavior of the Borel transform at large distances—specifically, its growth rates and directions of minimal increase—to the positions of singularities, thereby allowing precise singularity analysis without direct computation of the function itself. Such techniques are essential for extracting asymptotic information from generating functions and integral representations in classical problems.^[35] During the 1920s, G. H. Hardy and J. E. Littlewood advanced the theory of Borel summability, particularly through Tauberian theorems that relate Borel summability to other methods like Cesàro means and establish conditions for the summability of divergent integrals. Their work clarified the equivalence and limitations between Borel summation and integral representations, showing that certain classes of divergent integrals could be rigorously summed via Borel methods to yield finite values consistent with asymptotic approximations. These developments solidified Borel summation as a cornerstone tool for handling divergent expressions in integral calculus. A concrete illustration of Borel summation's utility in classical analysis is its application to Stirling's asymptotic series for the logarithm of the gamma function, \log \Gamma(z) \sim (z - \frac{1}{2})\log z - z + \frac{1}{2}\log(2\pi) + \sum_{k=1}^\infty \frac{B_{2k}}{2k(2k-1)z^{2k-1}} as |z| \to \infty in |\arg z| < \pi. This divergent series, involving Bernoulli numbers B_{2k}, is Borel summable, with the Borel transform admitting an integral representation that integrates to the exact remainder term, thus providing a resummed expression valid in the complex plane excluding the negative real axis. This summation not only confirms the asymptotic accuracy but also extends the approximation globally via analytic continuation.

Quantum Field Theory and Physics

In quantum field theory and quantum mechanics, Borel summation provides a rigorous method to assign finite values to divergent perturbation series that arise from non-perturbative effects such as instantons and renormalons. These series, often factorial divergent, emerge in the weak-coupling expansion of physical quantities like energy levels or scattering amplitudes, where the perturbative approximation breaks down at higher orders due to the asymptotic nature of the expansion. By applying the Borel transform and subsequent Laplace integral, the method resums the series while respecting the underlying analytic structure, yielding a unique sum in regions free of singularities on the positive real axis in the Borel plane. Instantons contribute ultraviolet singularities, while renormalons introduce infrared ones, both of which can render the Borel sum ambiguous along certain directions, but the technique remains essential for extracting non-perturbative information.^[36] A seminal application appears in the anharmonic oscillator, a benchmark model in quantum mechanics where the ground state energy perturbation series in the coupling constant \lambda for the Hamiltonian H = p^2 + x^2 + \lambda x^4 diverges factorially. Borel summation uniquely determines the energy levels from their Rayleigh-Schrödinger expansion, with the resummed value obtained via analytic continuation of the Borel transform, often approximated using Padé approximants for numerical accuracy. This approach not only recovers the exact eigenvalues but also highlights the role of Stokes lines in resolving summation ambiguities, providing conceptual insight into tunneling effects akin to those in field theory.^[37] In quantum electrodynamics (QED), Borel summation resums the Dyson series for the effective action, particularly its derivative expansion in external fields. For an inhomogeneous magnetic background, the expansion is a divergent asymptotic series but Borel summable, allowing computation of the imaginary part related to pair production via dispersion relations. The leading Borel approximations exponentiate to yield corrections to the Schwinger pair production rate, demonstrating how non-perturbative effects like the decay of the vacuum are encoded in the singularities of the Borel plane. Early applications in QED trace to the 1950s, where summation techniques matched results for vacuum polarization, underscoring the method's foundational role in handling divergent expansions.^[38]^[36] For \phi^4 theory, Borel summability has been established for key observables in both continuum and lattice formulations. In the massive \phi^4_2 model, the physical mass and two-body S-matrix in the elastic region are analytic in the coupling \lambda and Borel summable at \lambda = 0, leveraging complex scaling and analyticity domains to control the perturbation series. On the lattice, distributional Borel summability applies to the characteristic function of finite-volume \lambda \phi^4 measures, resumming the large-coupling expansion in g = \lambda^{-1/2} and enabling rigorous definitions even at strong couplings relevant to quantum chromodynamics (QCD) simulations. In lattice QCD, this extends to sum rules where the Borel transform suppresses continuum contributions, aiding precise determinations of hadron decay constants and quark masses from perturbative-lattice hybrids. Multi-instanton contributions introduce further ambiguities in the Borel sum, manifesting as lateral singularities that resurgence theory resolves by relating perturbative sectors across different instanton numbers, though full details lie in advanced frameworks.^[36]

Generalizations

Mittag-Leffler Type Methods

Mittag-Leffler type methods generalize the Borel summation technique to handle divergent power series exhibiting super-factorial growth, particularly those belonging to Gevrey classes of order s > 1. These methods were introduced by Gösta Mittag-Leffler in a series of papers published between 1900 and 1905, building on Émile Borel's earlier work to extend summability to series where the coefficients a_n satisfy |a_n| \leq C K^n (n!)^s for constants C, K > 0 and s > 1.^[39] In these methods, the exponential kernel e^{-t} of the standard Borel transform is replaced by the Mittag-Leffler function E_\alpha(-t^\alpha), where \alpha = 1/s < 1, to accommodate the stronger divergence. The generalized \alpha-Borel transform of the formal series \hat{f}(z) = \sum_{n=0}^\infty a_n z^n is defined as

B_\alpha(t) = \sum_{n=0}^\infty a_n \frac{t^{n \alpha}}{\Gamma(n \alpha + 1)},

which converges in a suitable half-plane due to the growth properties of the Gamma function aligning with the Gevrey-s estimate. The Mittag-Leffler sum is then obtained via the integral representation

f(z) = \frac{1}{\Gamma(\alpha)} \int_0^\infty t^{\alpha - 1} E_\alpha(-t^\alpha) B_\alpha(t z) \, dt,

provided the integral converges in a sector of the complex plane. This formulation ensures analytic continuation and summability in a star-shaped domain, generalizing the Borel plane to a Mittag-Leffler star. A representative example is the series \sum_{n=0}^\infty (n!)^2 z^n, which diverges factorially with s=2 (so \alpha = 1/2) and is not Borel summable but admits a Mittag-Leffler sum through the above integral, yielding a holomorphic function in a suitable sector. These methods form a bridge to more abstract approaches, such as those developed by Nachbin for analytic functionals on spaces of Gevrey type.

Resurgence and Écalle Theory

Resurgent functions form a central class in the theory of Borel summation, characterized by their analytic properties and the structure of their singularities. These functions are holomorphic in the complex plane except for essential singularities at 0 and infinity, with the property that their Borel transform at each singularity yields a formal power series that admits analytic continuation with isolated singularities.^[40] This self-replicating behavior of singularities, known as resurgence, allows for a systematic analysis of the global analytic continuation of the Borel transform across the complex plane, excluding a discrete set of singular directions.^[41] In the 1980s, Jean Écalle developed resurgence theory to address the limitations of standard Borel summation in handling complex singularity structures.^[42] A key component is the alien derivation, a family of linear operators \Delta_\omega indexed by directions \omega \in \mathbb{C} \setminus \{0\}, defined for a function f on the Borel plane as \Delta_\omega f(\zeta) = \lim_{\varepsilon \to 0} [f(\zeta + \omega + \varepsilon) - f(\zeta + \varepsilon)], which measures the principal part of the singularity at \omega.^[41] These operators act as derivations with respect to convolution in the Borel plane, linking local singularities to global resummation via the relation \Delta_\omega (\phi_1 * \phi_2) = (\Delta_\omega \phi_1) * \phi_2 + \phi_1 * (\Delta_\omega \phi_2), where * denotes the Cauchy convolution.^[42] Resurgence theory resolves the Stokes phenomenon in Borel summation by quantifying the jumps between sectorial Borel sums across anti-Stokes lines through alien derivations and associated Stokes automorphisms.^[41] For instance, the alien operators encode the multiplier that relates differing asymptotic behaviors in adjacent sectors, providing a consistent framework for multi-valued analytic continuations.^[40] This approach has notable applications to the Painlevé equations, where formal power series solutions are 1-resurgent, and their alien derivatives reveal connections between perturbative sectors and exact holomorphic solutions near movable singularities.^[41] For functions exhibiting infinitely many levels of singularities, multi-Borel summation extends the standard method by iterating the Borel-Laplace transform over a Riemann surface of Borel planes, incorporating polarized integration paths to handle the hierarchical structure of resurgences.^[40] In resurgence theory, this allows the decomposition of the full resummation into a transseries involving contributions from all singular directions, ensuring convergence in appropriate sectors.^[42] Such techniques find brief mention in physics, particularly in modeling instanton effects through resurgent structures in quantum field theory partition functions.^[41]

References

[1]
[PDF] Asymptotics and Borel summability - OSU Math
reason will be better understood after Borel summation methods have been studied. Divergence means that the Borel transform of the formal solution is ...
[2]
Émile Borel (1871 - 1956) - Biography - MacTutor
Borel, although not the first to define the sum of a divergent series, was the first to develop a systematic theory for a divergent series which he did in 1899.Missing: original | Show results with:original
[3]
Leçons sur les séries divergentes : Borel, Emile, 1871-1956
Dec 11, 2008 · Leçons sur les séries divergentes. by: Borel, Emile, 1871-1956. Publication date: 1901. Topics: Divergent series. Publisher: Paris : Gauthier ...Missing: summation 1928
[4]
Divergent expansion, Borel summability and three-dimensional ...
Borel summation associates to a divergent asymptotic series an actual function, whose asymptotics is given by the series. Under some conditions, this ...
[5]
[PDF] Power Series - UC Davis Math
Definition 6.3. converges for |x − c| < R and diverges for |x − c| > R, then 0 ≤ R ≤ ∞ is called the radius of convergence of the power series. Theorem 6.2 ...
[6]
[PDF] DIVERGENT SERIES AND ASYMPTOTIC EXPANSIONS, 1850-1900
Divergent series enjoyed a period of free and easy use in the eighteenth century. This was somewhat curtailed in the early nineteenth century even though ...
[7]
Regular summation methods - Encyclopedia of Mathematics
May 8, 2012 · Regular summation methods are those methods for summing series (sequences) that sum every convergent series (sequence) to the same sum as that ...
[8]
Linear summation method - Encyclopedia of Mathematics
Nov 9, 2014 · All most widespread summation methods are linear; in particular, a matrix summation method and a semi-continuous summation method.
[9]
[PDF] Divergent Series and Summation Methods - DiVA portal
Jan 18, 2023 · Summation methods are functions developed to assign sums to infinite series, in particular to divergent series.
[10]
On the use of algebraic approximants to sum divergent series for ...
Padé summation of large-order perturbation theory can often yield highly accurate energy eigenvalues for molecular vibrations.
[11]
On a Comparison between the Cesaro and Borel Methods of ...
It is well known that the Abel method of summability is strictly stronger than the Cesaro method Cr for every r, and that the Borel's (exponential) method ...Missing: hierarchy summation
[12]
[PDF] arXiv:1701.02294v1 [hep-th] 9 Jan 2017
Jan 9, 2017 · instead of the purely formal original power series. At the level of power series, the Borel transform is defined by: f(a) = ∞. ∑ n=0 fnan+1.
[13]
Borel transform - Encyclopedia of Mathematics
Nov 11, 2023 · The Borel transform is a special case of the Laplace transform. The function γ(t) is called the Borel transform of f(z).Missing: definition Émile 1899<|control11|><|separator|>
[14]
[PDF] An Introduction to Resurgence, Trans-Series and Alien Calculus
Jan 17, 2015 · This means that the Borel transform of ˜φ has no singu- larities along the θ direction and is given by a convergent power series. In this case ...
[15]
https://arxiv.org/pdf/math/0608408.pdf
[16]
Quasinormal modes of black holes and Borel summation
Jan 2, 2020 · This case is called Borel nonsummable. In the Borel nonsummable case, one has to deform the integration contour to avoid these singularities.
[17]
On Borel summation and Stokes phenomena of nonlinear ... - arXiv
Aug 16, 2006 · This paper studies nonlinear ODEs, shows formal solutions are Borel summable, and connects summation to Laplace integrals and Stokes phenomena.
[18]
[PDF] Introduction to 1-summability and resurgence - arXiv
May 2, 2014 · A power series is said to be resurgent when its Borel transform is convergent and has good analytic continuation properties: there may be ...<|control11|><|separator|>
[19]
https://doi.org/10.1007/s00211-025-01493-4
[20]
[PDF] Divergent Series (G.H.Hardy).djvu
But it was not until the time of Cauchy that the definitions were formulated generally and explicitly. Newton and Leibniz, the first mathematicians to use ...
[21]
On Some Relations Between the Abel, Borel, and Cesàro Methods ...
R. D. Lord; On Some Relations Between the Abel, Borel, and Cesàro Methods of Summation, Proceedings of the London Mathematical Society, Volume s2-38, Issue.
[22]
[PDF] Comparison between Borel-Padé summation and factorial ... - HAL
Apr 8, 2019 · This algorithm is based on the Asymptotic Numerical Method, where the solution is sought as a (eventually zero radius of convergence) power ...Missing: transcendental | Show results with:transcendental
[23]
https://arxiv.org/pdf/math/0703641.pdf
[24]
VII. A theory of asymptotic series - Journals
... doi.org/10.1098/rsta.1912.0007. Section. Abstract; Footnotes. You have accessArticle. VII. A theory of asymptotic series. George Neville Watson. Google Scholar.
[25]
[PDF] PDF - Resurgence in Geometry and Physics
Abstract. We introduce the Borel transform as an operation that takes a germ of a function on a Riemann surface, and produces a one-form on a vector.
[26]
[PDF] On a Watson-like Uniqueness Theorem and Gevrey Expansions.
This possibility can be realized using the Borel summation method. The corresponding result is known as Watson's representation Theorem. The proof of this ...
[27]
[PDF] RATIONAL APPROXIMANTS GENERATED BY PADE ...
The second chapter briefly touches on improvement of convergence, the Shanks transformation, summation of divergent series, Euler summation, Borel summa- tion, ...
[28]
ON THE BOREL SUMMABILITY OF DIVERGENT SOLUTIONS OF ...
In conclusion, the Borel summability of a formal solution is characterized by an analytic continuation property together with its growth condition of Cauchy.
[29]
Some Tauberian theorems for Borel summability methods
The first Tauberian theorem related to Borel summability method which gives the relation between Borel and Cesàro summability methods is given by Hardy and ...
[30]
s exponential method
THEOREMS CONCERNING THE SUMMABILITY OF SERIES BY BOREL'S EXPONENTIAL METHOD. ~I. We may suppose without loss of generality that x o -- I. Then. (4.24).
[31]
Borel summability of divergent solutions for singularly perturbed first ...
This paper is concerned with the study of the Borel summability of divergent solutions for singularly perturbed inhomogeneous first-order linear ordinary ...
[32]
A Borel Transform Method for Locating Singularities of Taylor and ...
Mar 23, 2007 · A theorem of Pólya relates the large distance behavior of the Borel transform in different directions to singularities of the original function.
[33]
[PDF] On the role of power expansions in quantum field theory - arXiv
A summation method states conditions under which an asymptotic series can deter- mine f(z) uniquely, and yields the explicit formula for f(z). called the Borel ...
[34]
https://math.osu.edu/~costin/Prs08.pdf
[35]
https://link.springer.com/article/10.1007/s10955-007-9307-z
[36]
Gösta Mittag-Leffler (1846 - 1927) - Biography - MacTutor
Between 1900 and 1905 Mittag-Leffler published a series of five papers which he called "Notes" on the summation of divergent series. The aim of these notes was ...
[37]
https://doi.org/10.1016/0370-2693(70)90564-2
[38]
https://doi.org/10.1103/PhysRevD.60.065002
[39]
https://mathshistory.st-andrews.ac.uk/Biographies/Mittag-Leffler/
[40]
https://arxiv.org/pdf/0706.0137.pdf
[41]
[PDF] Guided tour through resurgence theory.
1 The starting point. 2 Alien derivations and alien calculus. 3 Notion of resurgent functions. 4 Critical variables and acceleration transforms.Missing: seminal | Show results with:seminal