Convergence of formal solutions of certain functional equations (Q1195605): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Set OpenAlex properties.
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W2037576038 / rank
 
Normal rank

Latest revision as of 09:17, 30 July 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
    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
    0 references
    functional equation
    0 references
    formal power series
    0 references
    positive radius of convergence
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references