Convergence of formal solutions of certain functional equations (Q1195605)

D'après l'introduction de l'auteur: Dans cet article, nous allons nous intéresser aux équations fonctionnelles de la forme: (1) \(P(z,\Phi(z),\Phi(qz))=0\) où \(P\) est un polynôme de \(\mathbb{C}[X,Y_ 0,Y_ 1]\), non nul, \(q\) est un nombre complexe non nul, que nous supposerons n'être pas une racine de l'unité, et \(\Phi\) désigne une fonction inconnue. Nous nous intéressons aux solutions qui sont des séries formelles de (1). Si \(q\) est un nombre complexe de module différent de 1, il est facile de construire des telles équations avec des solutions ayant un rayon de convergence nul, y compris si l'on suppose que les coefficients de \(P\), de \(\Phi\) et \(q\) appartiennent par exemple au corps des nombres rationnels. Dans cet article, nous allons nous intéresser à ce qui se passe quand \(q\) est un nombre complexe de module 1. Plus précisément, nous supposons désormais que \(q\), et les coefficients de \(P\), appartiennent tous à \(\overline\mathbb{Q}\), et que \(q\) n'est pas une racine de l'unité. Sous ce hypothèses, nous allons démontrer le résultat suivant: Théorème. Soit \(\Phi\) une solution qui est une série formelle de \(\overline\mathbb{Q}[[z]]\) de l'équation (1). Alors \(\Phi\) a un rayon de convergence non nul dans \(\mathbb{C}\).