anglais
Difference equations in the complex domain of the form y(x+ϵ)−y(x)=ϵf(y(x))/y(x) are considered. The step size ϵ>0 is a small parameter, and the equation has a singularity at y=0. Solutions near the singularity are described using composite asymptotic expansions. More precisely, it is shown that the derivative v′ of the inverse function v of a solution (the so-called Fatou coordinate) admits a Gevrey asymptotic expansion in powers of the square root of ϵ, denoted by η, involving functions of y and of Y=y/η. This also yields Gevrey asymptotic expansions of the so-called Écalle-Voronin invariants of the equation which are functions of epsilon. An application coming from the theory of complex iteration is presented.
français
On considère des équations aux différences dans le plan complexe de la forme y(x+ϵ)−y(x)=ϵf(y(x))/y(x). Le pas de discrétisation ϵ>0 est un petit paramètre, et l'équation a une singularité en y=0. On décrit les solutions près de la singularité en utilisant des développements asymptotiques combinés. Plus précisément, on montre que la dérivée v′ de la fonction réciproque (appelée coordonnée de Fatou) v d'une solution admet un développement asymptotique Gevrey en puissances de la racine carrée de ϵ, notée η, et faisant intervenir des fonctions de y et de Y=y/η. On obtient également des développements asymptotiques Gevrey des invariants d'Écalle-Voronin de l'équation, qui sont des fonctions de ϵ. Une application venant de la théorie de l'itération complexe est présentée.