Source author record

David Sauzin

David Sauzin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

16works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2022arXiv

Resurgence and Partial Theta Series

We consider partial theta series associated with periodic sequences of coefficients, of the form $Θ(τ) := \sum_{n>0} n^νf(n) e^{iπn^2τ/M}$, with $ν$ non-negative integer and an $M$-periodic function $f : \mathbb{Z} \rightarrow \mathbb{C}$. Such a function is analytic in the half-plane $\{Im(τ)>0\}$ and as $τ$ tends non-tangentially to any $α\in\mathbb{Q}$, a formal power series appears in the asymptotic behaviour of $Θ(τ)$, depending on the parity of $ν$ and $f$. We discuss the summability and resurgence properties of these series by means of explicit formulas for their formal Borel transforms, and the consequences for the modularity properties of $Θ$, or its ``quantum modularity'' properties in the sense of Zagier's recent theory. The Discrete Fourier Transform of $f$ plays an unexpected role and leads to a number-theoretic analogue of Écalle's ``Bridge Equations''. The motto is: (quantum) modularity = Stokes phenomenon + Discrete Fourier Transform.

preprint2020arXiv

On the regularity of Mather's $β$-function for standard-like twist maps

We consider the minimal average action (Mather's $β$ function) for area preserving twist maps of the annulus. The regularity properties of this function share interesting relations with the dynamics of the system. We prove that the $β$-function associated to a standard-like twist map admits a unique $C^1$-holomorphic complex extension, which coincides with this function on the set of real diophantine frequencies.

preprint2017arXiv

Rayleigh-Schrödinger series and Birkhoff decomposition

We derive new expressions for the Rayleigh-Schrödinger seriesdescribing the perturbation of eigenvalues of quantumHamiltonians. The method, somehow close to the so-called dimensionalrenormalization in quantum field theory, involves the Birkhoffdecomposition of some Laurent series built up out of explicit fullynon-resonant terms present in the usual expression of theRayleigh-Schrödinger series. Our results provide new combinational formulae and a new way \ff{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.

preprint2015arXiv

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.

preprint2015arXiv

Measure and capacity of wandering domains in Gevrey near-integrable exact symplectic systems

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.

preprint2014arXiv

Introduction to 1-summability and resurgence

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.

preprint2014arXiv

Nonlinear analysis with resurgent functions

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.

preprint2014arXiv

On the resurgent approach to Ecalle-Voronin's invariants

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.

preprint2014arXiv

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

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.

preprint2011arXiv

A quasianalyticity property for monogenic solutions of small divisor problems

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.

preprint2011arXiv

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.