Resurgent Function

The term resurgent function (from , to get up again) comes from French mathematician Jean Écalle's ''theory of resurgent functions and alien calculus''. The theory evolved from the summability of divergent series (see Borel summation) and treats analytic functions with isolated singularities. He introduced the term in the late 1970s.

''Resurgent functions'' have applications in asymptotic analysis, in the theory of differential equations, in perturbation theory and in quantum field theory.

For analytic functions with isolated singularities, the Alien calculus can be derived, a special algebra for their derivatives.

Definition

A $\Omega$-resurgent function is an element of $\mathbb\delta\oplus \hat_$, i.e. an element of the form $c\delta + \hat$ from $\mathbb\delta \oplus \mathbb\$, where $c\in \mathbb$ and $\hat$ is a ''$\Omega$-continuable germ''.

A power series \widetilde\in \mathbb z^ whose formal Borel transformation is a $\Omega$-resurgent function is called $\Omega$-resurgent series.

Basic concepts and notation

Convergence at $\infty$:

The formal power series \phi(z) \in \mathbb z^ is ''convergent at $\infty$'' if the associated formal power series \psi(t) = \phi(1/t) \in \mathbb t has a positive radius of convergence. $\mathbb\$ denotes the space of ''formal power series convergent at $\infty$''.

Formal Borel transform:

The ''formal Borel transform'' (named after Émile Borel) is the operator \mathcal:z^\mathbb z^ \to \mathbb \zeta defined by
:$\mathcal:\phi=\sum\limits_^\infty a_n z^\mapsto \hat=\sum\limits_^\infty a_n \frac$.

Convolution in $\mathbb\$:

Let \hat,\hat\in \mathbb \zeta, then the convolution is given by
:\hat*\hat:=\mathcal phi\psi/math>.

By adjunction we can add a unit to the convolution in \mathbb \zeta and introduce the vector space \mathbb\times \mathbb z, where we denote the $(1,0)$ element with $\delta$. Using the convention \\times \mathbb \zeta:=\mathbb \zeta we can write the space as \mathbb\delta\oplus \mathbb z and define
:$(a\delta + \hat)*(b\delta + \hat) := ab\delta + a\hat + b \hat +\hat*\hat$
and set $\mathcal1 := \delta$.

$\Omega$-resummable seed:

Let $\Omega$ be a non-empty discrete subset of $\mathbb$ and define $\mathbb_R=\\setminus\$.

Let $r$ be the radius of convergence of $\hat$. $\hat$ is a ''$\Omega$-continuable seed'' if an $R$ exists such that $r \geq R>0$ and $\mathbb_R\cap \Omega=\emptyset$, and $\hat$ analytic continuation along some path in $\mathbb\setminus \Omega$ starting at a point in $\mathbb_R$.

$\hat_$ denotes the space of $\Omega$-continuable germs in $\mathbb\{\zeta \}$.

Bibliography

*''Les Fonctions Résurgentes'', Jean Écalle, vols. 1–3, pub. Math. Orsay, 1981-1985
*''Divergent Series, Summability and Resurgence I'', Claude Mitschi and David Sauzin, Springer Verlag

"Guided tour through resurgence theory"
Jean Écalle

References

Functional analysis