David Sauzin

Divergent Series, Summability and Resurgence I : Monodromy and Resurgence

Providing an elementary introduction to analytic continuation and monodromy, the first part of this volume applies these notions to the local and global study of complex linear differential equations, their formal solutions at singular points, their monodromy and their differential Galois groups. The Riemann-Hilbert problem is discussed from Bolibrukh’s point of view. The second part expounds 1-summability and Ecalle’s theory of resurgence under fairly general conditions. It contains numerous examples and presents an analysis of the singularities in the Borel plane via “alien calculus”, which provides a full description of the Stokes phenomenon for linear or non-linear differential or difference equations. The first of a series of three, entitled Divergent Series, Summability and Resurgence, this volume is aimed at graduate students, mathematicians and theoretical physicists interested in geometric, algebraic or local analytic properties of dynamical systems. It includes useful exercises with solutions. The prerequisites are a working knowledge of elementary complex analysis and differential algebra.

On the Stability under Convolution of Resurgent Functions

This article contains a self-contained proof of the stability under convolution of the class of resurgent functions associated with a closed discrete subset of C, under the assumption that , the set of possible singularities, be stable under addition.

A quasianalyticity property for monogenic solutions of small divisor problems

We discuss the quasianalytic properties of various spaces of functions suit-able for one-dimensional small divisor problems. These spaces are formed of functions 1-holomorphic on certain compact sets Kj of the Riemann sphere (in the Whitney sense), as is the solution of a linear or non-linear small divisor problem when viewed as a function of the multiplier (the intersection of Kj with the unit circle is defined by a Diophantine-type condition, so as to avoid the divergence caused by roots of unity). It turns out that a kind of generalized analytic continuation through the unit circle is possible under suitable conditions on the Kj’s.

Natural boundary for the susceptibility function of generic piecewise expanding unimodal maps

We consider the susceptibility function Psi(z) of a piecewise expanding unimodal interval map f with unique acim mu, a perturbation X, and an observable phi. Combining previous results (deduced from spectral properties of Ruelle transfer operators) with recent work of Breuer-Simon (based on techniques from the spectral theory of Jacobi matrices and a classical paper of Agmon), we show that density of the postcritical orbit (a generic condition) implies that Psi(z) has a strong natural boundary on the unit circle. The Breuer-Simon method provides uncountably many candidates for the outer functions of Psi(z), associated to precritical orbits. If the perturbation X is horizontal, a generic condition (Birkhoff typicality of the postcritical orbit) implies that the nontangential limit of the Psi(z) as z tends to 1 exists and coincides with the derivative of the acim with respect to the map (linear response formula). Applying the Wiener-Wintner theorem, we study the singularity type of nontangential limits as z tends to e^{i\omega}. An additional LIL typicality assumption on the postcritical orbit gives stronger results.

NORMALIZATION IN LIE ALGEBRAS VIA MOULD CALCULUS AND APPLICATIONS

We establish Écalle’s mould calculus in an abstract Lie-theoretic setting and use it to solve a normalization problem, which covers several formal normal form problems in the theory of dynamical systems. The mould formalism allows us to reduce the Lie-theoretic problem to a mould equation, the solutions of which are remarkably explicit and can be fully described by means of a gauge transformation group. The dynamical applications include the construction of Poincaré–Dulac formal normal forms for a vector field around an equilibrium point, a formal infinite-order multiphase averaging procedure for vector fields with fast angular variables (Hamiltonian or not), or the construction of Birkhoff normal forms both in classical and quantum situations. As a by-product we obtain, in the case of harmonic oscillators, the convergence of the quantum Birkhoff form to the classical one, without any Diophantine hypothesis on the frequencies of the unperturbed Hamiltonians.

The resurgent character of the Fatou coordinates of a simple parabolic germ

Abstract Given a holomorphic germ at the origin of C with a simple parabolic fixed point, the local dynamics is classically described by means of pairs of attracting and repelling Fatou coordinates and the corresponding pairs of horn maps, of crucial importance for Ecalle-Voronins classification result and the definition of the parabolic renormalization operator. We revisit Ecalles approach to the construction of Fatou coordinates, which relies on Borel–Laplace summation, and give an original and self-contained proof of their resurgent character.

Rayleigh–Schrödinger series and Birkhoff decomposition

We derive new expressions for the Rayleigh–Schrödinger series describing the perturbation of eigenvalues of quantum Hamiltonians. The method, somehow close to the so-called dimensional renormalization in quantum field theory, involves the Birkhoff decomposition of some Laurent series built up out of explicit fully non-resonant terms present in the usual expression of the Rayleigh–Schrödinger series. Our results provide new combinatorial formulae and a new way of deriving perturbation series in quantum mechanics. More generally we prove that such a decomposition provides solutions of general normal form problems in Lie algebras.

There is only one KAM curve

We consider the standard family of area-preserving twist maps of the annulus and the corresponding KAM curves. Addressing a question raised by Kolmogorov, we show that, instead of viewing these invariant curves as separate objects, each of which having its own Diophantine frequency, one can encode them in a single function of the frequency which is naturally defined in a complex domain containing the real Diophantine frequencies and which is monogenic in the sense of Borel; this implies a remarkable property of quasianalyticity, a form of uniqueness of the monogenic continuation, although real frequencies constitute a natural boundary for the analytic continuation from the Weierstrass point of view because of the density of the resonances.

Generalised continuation by means of right limits

Several theories have been proposed to generalise the concept of analytic continuation to holomorphic functions of the disc for which the circle is a natural boundary. Elaborating on Breuer-Simon’s work on right limits of power series, Baladi-Marmi-Sauzin recently introduced the notion of renascent right limit and rrl-continuation. We discuss a few examples and consider particularly the classical example of Poincaré simple pole series in this light. These functions are represented in the disc as series of infinitely many simple poles located on the circle; they appear, for instance, in small divisor problems in dynamics. We prove that any such function admits a unique rrl-continuation, which coincides with the function obtained outside the disc by summing the simple pole expansion. We also discuss the relation with monogenic regularity in the sense of Borel.

The Resurgent Viewpoint on Holomorphic Tangent-to-Identity Germs

The last chapter of this volume is concerned with germs of holomorphic tangent-toidentity diffeomorphisms. The main topics are the description of the local dynamics (describing the local structure of the orbits of the discrete dynamical system induced by a given germ) and the description of the conjugacy classes (attaching to a given germ quantities which characterize its analytic conjugacy class).