Siegel's problem for E-functions of order 2 - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Springer Proceedings in Mathematics & Statistics Année : 2021

Siegel's problem for E-functions of order 2

Résumé

$E$-functions are entire functions with algebraic Taylor coefficients at the origin satisfying certain arithmetic conditions, and solutions of linear differential equations with coefficients in $\overline{\mathbb Q}(z)$; they naturally generalize the exponential function. Siegel and Shidlovsky proved a deep transcendence result for their values at algebraic points. Since then, a lot of work has been devoted to apply their theorem to special $E$-functions, in particular the hypergeometric ones. In fact, Siegel asked whether any $E$-function can be expressed as a polynomial in $z$ and generalized confluent hypergeometric series. As a first positive step, Shidlovsky proved that $E$-functions with order of the differential equation equal to $1$ are in $\overline{\mathbb Q}[z]e^{\overline{\mathbb Q} z}$. In this paper, we give a new proof of a result of Gorelov that any $E$-function (in the strict sense) with order $\le 2$ can be written in the form predicted by Siegel with confluent hypergeometric functions ${}_1F_1[\alpha;\beta;\lambda z]$ for suitable $\alpha, \beta\in \mathbb Q$ and $\lambda \in \overline{\mathbb Q}$. Gorelov's result is in fact more general as it holds for $E$-functions in the large sense. Our proof makes use of Andr\'e's results on the singularities of the minimal differential equations satisfied by $E$-functions, together with a rigidity criterion for (irregular) differential systems recently obtained by Bloch-Esnault and Arinkin. An {\em ad-hoc} version of this criterion had already been used by Katz in his study of confluent hypergeometric series. Siegel's question remains unanswered for orders $\ge 3$..
Fichier principal
Vignette du fichier
eopordre2.pdf (363.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03327786 , version 1 (27-08-2021)

Identifiants

Citer

Tanguy Rivoal, Julien Roques. Siegel's problem for E-functions of order 2. Springer Proceedings in Mathematics & Statistics, 2021, ⟨10.1007/978-3-030-84304-5_21⟩. ⟨hal-03327786⟩
73 Consultations
59 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More