Related papers: Mould expansions for the saddle-node and resurgenc…
This article proposes an initiation to \'Ecalle'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…
We present the general framework of \'Ecalle's moulds in the case of linearization of a formal vector field without and within resonances. We enlighten the power of moulds by their universality, and calculability. We modify then \'Ecalle's…
This paper is an introduction to mould calculus as introduced by Jean Ecalle. We give a precise definition of moulds and describe there main properties. We translate mould symmetries (alterna(e)l and symetra(e)l) using non commutative…
Resurgence Theory and Mould Calculus were invented by J. Ecalle around 1980 in the context of analytic dynamical systems and are increasingly more used in the mathematical physics community, especially since the 2010s. We review the…
Paralogarithms constitute a family of special functions, which are some generalizations of hyperlogarithms. They have been introduced by Jean Ecalle in the context of the classification of complex analytic dynamical systems with irregular…
In this paper we consider germs of k-parameter generic families of analytic 2-dimensional vector fields unfolding a saddle-node of codimension k and we give a complete modulus of analytic classification under orbital equivalence and a…
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…
We give unique analytic "normal forms" for germs of a holomorphic vector field of the complex plane in the neighborhood of an isolated singularity of saddle-node type having a convergent formal separatrix. We specifically address the…
We give essentially unique ``normal forms'' for germs of a holomorphic vector field of the complex plane in the neighborhood of an isolated singularity which is a p:q resonant-saddle. Hence each vector field of that type is conjugate, by a…
In this paper, we study normal forms of analytic saddle-nodes in $\mathbb C^{n+1}$ with any Poincar\'e rank $k\in \mathbb N$. The approach and the results generalize those of Bonckaert and De Maesschalck from 2008 that considered $k=1$. In…
We derive simple forms for saddle-node singular points of analytic foliations in the real or complex plane just by gluing foliated complex manifolds. We give the versal analytic deformation of the simplest model. We also derive a unique…
In this work, following [Bit15], we consider analytic singular vector fields in $(\mathbb{C}^{3},0)$ with an isolated and doubly-resonant singularity of saddle-node type at the origin. Such vector fields come from irregular two-dimensional…
We review \'Ecalle's formalism of minors, natural-majors and real-majors, and provide explicit formulas in the Borel plane that show the resurgence of the exponential of the Stirling series. We also discuss its Stokes phenomena in the…
We show that a one-dimensional differential equation depending on a parameter $\mu$ with a saddle-node bifurcation at $\mu =0$ can be modelled by an extended normal form $\dot y = \nu (\mu )-y^2+a(\mu )y^3$, where the functions $\nu$ and…
We construct an auto-validated algorithm that calculates a close to identity change of variables which brings a general saddle point into a normal form. The transformation is robust in the underlying vector field, and is analytic on a…
We provide explicit formulas of non-recursive type for the linearizing transformations of a non-resonant analytic germ of diffeomorphism at a fixed point or a non-resonant analytic germ of vector field at a singular point, in any complex…
We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…
We prove the strong normalization of full classical natural deduction (i.e. with conjunction, disjunction and permutative conversions) by using a translation into the simply typed lambda-mu-calculus. We also extend Mendler's result on…
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…
In this work, we consider germs of analytic singular vector elds in (C^3,0) with an isolated and doubly-resonant singularity of saddle-node type at the origin. Such vector elds come from irregular two-dimensional dierential systems with two…