The resurgent character of the Fatou coordinates of a simple parabolic germ (Q2445194)

The authors consider a simple parabolic germ. A parabolic germ \(F\) is an analytic function defined in a neighborhood of a point \(w_0\) in the complex plane \(\mathbb{C}\) such that \((1)\) it fixes \(w_0\) and \((2)\) some power \((F'(w_0 ))^q\) of the derivative \(F'(w_0)\) of \(F\) at \(w_0\) is 1. Thus we can write \(F(w)\) in the following form: \[ F(w) = w_0+ \lambda(w-w_0)+a_2(w-w_0)^2+\cdots+a_n (w-w_0)^n+\cdots,\qquad w \in U, \] where \(U\) is a neighborhood of \(w_0\) and \(\lambda = e^{2i\pi \frac{p}{q}}\) for \(p\) and \(q\) two relatively prime integers. The number \(\lambda\) is called the multiplier of \(F\). A parabolic germ is simple if \(q=1\). It follows that a simple parabolic germ at the origin of \(\mathbb{C}\) is given by \[ F(w)=w+cw^2+O(w^3) \in w {\mathbb{C}}\{w\}, \] with \(c\in {\mathbb{C}}^*.\) We can rewrite it at \(\infty\) as follows \[ f(z)=z+1+a(z),\qquad a(z)=-\rho z+ O(z^{-2}) \in z^-1 {\mathbb{C}}\{z^-1\}, \] with \(\rho\in {\mathbb{C}}\). For every \(R>0\) and \(\delta \in (0,\frac{\pi}2)\), put \[ {\mathcal{P}}_{R,\delta}^{+}=\Big\{re^{i \theta} \in {\mathbb{C}}| r>R, \theta \in (-\frac{\pi}2-\delta,\frac{\pi}2+\delta\Big\}, \] and \[ {\mathcal{P}}_{R,\delta}^{-}=\Big\{re^{i \theta} \in {\mathbb{C}}| r>R, \theta \in (-\frac{\pi}2-\delta,\frac{3\pi}2+\delta\Big\}. \] A pair of Fatou coordinates at \(\infty\) is a pair \((v^{+},v^{-})\) of univalent maps: \(v^{+} : {\mathcal{P}}_{R,\delta}^{+}\longrightarrow \mathbb{C}\), \(v^{-} : {\mathcal{P}}_{R,\delta}^{+}\longrightarrow \mathbb{C}\), for some \(R\) and \(\delta\), such that \(v^{\epsilon} \circ f=v^{\epsilon}+1,\) \(\epsilon \in \{+,-\}\). Let \(b(z)=a(z-1)\) and \(b_1(z)=b(z)+\rho \log\big(\frac{1+z^{-1}b(z)}{1-z^-1}\big)\). We denote by \(C_{id-1}\) and \(C_{id+b}\) the composition operators \(\phi(z) \longmapsto \phi(z-1)\) and \(\phi(z) \longmapsto \phi(z+b(z))\), acting in spaces of functions as well as in the space of formal series \(\mathbb{C}{[}z{]}\). Suppose \(\mathcal{P}={\mathcal{P}}_{R,\delta}^{\epsilon}\), \(\epsilon \in \{+,-\}\) with \(R\) be a large enough for \(b\) to be analytic on \(\mathcal{P}\) and let \(\log\) be any branch of the logarithm in \(\mathcal{P}\). Under the change of unknown function \(v(z)=z+\rho \log(z)+\phi(z),\) the equation \(v \circ f=v+1\) becomes \[ (F)\quad \quad \quad \quad C_{id-1}\phi=C_{id+b}\phi+b_1. \] \vskip 0.2cm The main result of this paper is as follows: {Theorem:} Equation \((F)\) admits a unique solution of the form \[ \widetilde{\phi}(z)= \sum_{n \geq 0}c_nz^{-(n+1)}. \] Its formal Borel transform \(\widehat{\phi}(\xi)=\mathcal{B}(\widetilde{\phi})(\xi)= \sum_{n \geq 0}c_n \frac{\xi^n}{n!}\) is \(2\pi i \mathbb{Z}\)-resurgent, in the sense that it converges for \(|\xi| <\frac{\pi}2\) and extends analytically along any path issuing from \(0\) and staying in \(\mathbb{C}\setminus 2\pi i \mathbb{\mathbb Z}\) except for its origin.