arXiv subjects
Publications and source records attributed to David Sauzin.
We give estimates for the convolution product of an arbitrary number of endlessly continuable functions. This allows us to deal with nonlinear operations for the corresponding resurgent series, e.g. substitution into a convergent power series.
We establish Ecalle'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.
A wandering domain for a diffeomorphism is an open connected set whose iterates are pairwise disjoint. We endow A^n = T^n x R^n with its usual exact symplectic structure. An integrable diffeomorphism Φ^h, i.e. the time-one map of a Hamiltonian h which depends only on the action variables, has no nonempty wandering domains. The aim of this paper is to estimate the size (measure and Gromov capacity) of wandering domains in the case of an exact symplectic perturbation of Φ^h , in the analytic or Gevrey category. Upper estimates are related to Nekhoroshev theory, lower estimates are related to examples of Arnold diffusion. This is a contribution to the "quantitative Hamiltonian perturbation theory" initiated in previous works on the optimality of long term stability estimates and diffusion times; our emphasis here is on discrete systems because this is the natural setting to study wandering domains.
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.
Given a holomorphic germ at the origin of C with a simple parabolic fixed point, the Fatou coordinates have a common asymptotic expansion whose formal Borel transform is resurgent. We show how to use Ecalle's alien operators to study the singularities in the Borel plane and relate them to the horn maps, providing each of Ecalle-Voronin's invariants in the form of a convergent numerical series. The proofs are original and self-contained, with ordinary Borel summability as the only prerequisite.
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 Écalle-Voronin's classification result and the definition of the parabolic renormalization operator. We revisit Écalle's 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.
This text is about the mathematical use of certain divergent power series. The first part is an introduction to 1-summability. The definitions rely on the formal Borel transform and the Laplace transform along an arbitrary direction of the complex plane. Given an arc of directions, if a power series is 1-summable in that arc, then one can attach to it a Borel-Laplace sum, i.e. a holomorphic function defined in a large enough sector and asymptotic to that power series in Gevrey sense. The second part is an introduction to Ecalle's resurgence theory. A power series is said to be resurgent when its Borel transform is convergent and has good analytic continuation properties: there may be singularities but they must be isolated. The analysis of these singularities, through the so-called alien calculus, allows one to compare the various Borel-Laplace sums attached to the same resurgent 1-summable series.In the context of analytic difference-or-differential equations, this sheds light on the Stokes phenomenon. A few elementary or classical examples are given a thorough treatment (the Euler series, the Stirling series, a less known example by Poincaré). Special attention is devoted to non-linear operations: 1-summable series as well as resurgent series are shown to form algebras which are stable by composition. As an application, the resurgent approach to the classification of tangent-to-identity germs of holomorphic diffeomorphisms in the simplest case is included. An example of a class of non-linear differential equations giving rise to resurgent solutions is also presented. The exposition is as self-contained as can be, requiring only some familiarity with holomorphic functions of one complex variable.
We provide estimates for the convolution product of an arbitrary number of "resurgent functions", that is holomorphic germs at the origin of $C$ that admit analytic continuation outside a closed discrete subset of $C$ which is stable under addition. Such estimates are then used to perform nonlinear operations like substitution in a convergent series, composition or functional inversion with resurgent functions, and to justify the rules of "alien calculus"; they also yield implicitly defined resurgent functions. The same nonlinear operations can be performed in the framework of Borel-Laplace summability.
This article contains a self-contained proof of the stability under convolution of the space of resurgent functions associated with a closed discrete subset of the complex plane (the set of possible singularities), under the assumption that this set be stable under addition.
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ω}. An additional LIL typicality assumption on the postcritical orbit gives stronger results.
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.
We discuss the quasianalytic properties of various spaces of functions suitable for one-dimensional small divisor problems. These spaces are formed of functions C^1-holomorphic on certain compact sets K_j 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 K_j 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 K_j's.
This article proposes an initiation to Écalle's mould calculus, a powerful combinatorial tool which yields surprisingly explicit formulas for the normalising series attached to an analytic germ of singular vector field. This is illustrated on the case of saddle-node singularities, generated by two-dimensional vector fields which are formally conjugate to Euler's vector field $x^2\frac{\pa}{\pa x}+(x+y)\frac{\pa}{\pa y}$, and for which the formal normalisation proves to be resurgent in $1/x$.
This article is an introduction to some aspects of Écalle's mould calculus, a powerful combinatorial tool which yields surprisingly explicit formulas for the normalising series attached to an analytic germ of singular vector field or of map. This is illustrated on the case of the saddle-node, a two-dimensional vector field which is formally conjugate to Euler's vector field $x^2\frac{\pa}{\pa x}+(x+y)\frac{\pa}{\pa y}$, and for which the formal normalisation is shown to be resurgent in $1/x$. Resurgence monomials adapted to alien calculus are also described as another application of mould calculus.
The present text is an introduction to Écalle's theory of resurgent functions and alien calculus, in connection with problems of exponentially small separatrix splitting. An outline of the resurgent treatment of Abel's equation for resonant dynamics in one complex variable is included. The emphasis is on examples of nonlinear difference equations, as a simple and natural way of introducing the concepts.
We prove that the solutions of a cohomological equation of complex dimension one and in the analytic category have a monogenic dependence on the parameter, and we investigate the question of their quasianalyticity. This equation is the standard linearized conjugacy equation for germs of holomorphic maps in a neighborhood of a fixed point. The parameter is the eigenvalue $q$ of the linear part. This problem has been first investigated by Arnol'd and Herman. Herman raised the question whether the solutions of the cohomological equation had a quasianalytic dependence on the parameter. Indeed they are analytic outside $§^1$ which is a natural boundary but the solutions are still defined at points of $§^1$ which lie ``far enough from resonances''. We adapt to our case Herman's construction of an increasing sequence of compacts which avoid resonances and prove that the solutions belong to the associated space of monogenic functions. The solutions admit asymptotic expansions at the points of $§^1$ which satisfy some arithmetical condition, and Carleman's Theorem allows us to answer negatively to the question of quasianalyticity at these points. But resonances (roots of unity) lead to asymptotic expansions, for which quasianalyticity is obtained as a particular case of Écalle's theory of resurgent functions. At constant-type points one can still recover the solutions from their asymptotic expansions and obtain a special kind of quasianalyticity. Our results are obtained by reducing the problem to the study of a fundamental solution (which is the ``quantum logarithm''). We deduce as a corollary of our work the proof of a conjecture of Gammel on the monogenic and quasianalytic properties of a certain number-theoretical Borel-Wolff-Denjoy series.