Convergence of formal solutions of certain functional equations (Q1195605): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:30, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Convergence of formal solutions of certain functional equations |
scientific article |
Statements
Convergence of formal solutions of certain functional equations (English)
0 references
6 January 1993
0 references
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}\).
0 references
functional equation
0 references
formal power series
0 references
positive radius of convergence
0 references