Exceptional values of E-functions at algebraic points

Abstract : E-functions are entire functions with algebraic Taylor coefficients satisfying certain arithmetic conditions, and which are also solutions of linear differential equations with rational functions coefficients. They were introduced by Siegel in 1929 to generalize Diophantine properties of the exponential function, and studied further by Shidlovskii in 1956. The celebrated Siegel-Shidlovskii Theorem deals with the algebraic (in)dependence of values at algebraic points of E-functions solutions of a differential system. However, somewhat paradoxically, this deep result may fail to decide whether a given E-fuction assumes an algebraic or a transcendental value at some given algebraic point. Building upon André's theory of E-operators, Beukers refined in 2006 the Siegel-Shidlovskii Theorem in an optimal way. In this paper, we use Beukers' work to prove the following result: there exists an algorithm which, given a transcendental E-function $f(z)$ as input, outputs the finite list of all exceptional algebraic points $\alpha$ such that $f(\alpha)$ is also algebraic, together with the corresponding list of values $f(\alpha)$. This result solves the problem of deciding whether values of E-functions at algebraic points are transcendental.
Type de document :
Pré-publication, Document de travail
IF_PREPUB. 2017
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01570933
Contributeur : Tanguy Rivoal <>
Soumis le : mardi 1 août 2017 - 11:05:53
Dernière modification le : lundi 20 novembre 2017 - 12:48:23

Fichiers

EfonctionsDef.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01570933, version 1
  • ARXIV : 1708.00217

Citation

Boris Adamczewski, Tanguy Rivoal. Exceptional values of E-functions at algebraic points. IF_PREPUB. 2017. 〈hal-01570933〉

Partager

Métriques

Consultations de la notice

212

Téléchargements de fichiers

20