Transcendence of values of logarithms of $E$-functions - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2024

Transcendence of values of logarithms of $E$-functions

Stéphane Fischler
  • Fonction : Auteur
  • PersonId : 1121072
Tanguy Rivoal

Résumé

Let $f$ be an $E$-function (in Siegel's sense) not of the form $e^{\beta z}$, $\beta \in \overline{\mathbb{Q}}$, and let $\log$ denote any fixed determination of the complex logarithm. We first prove that there exists a finite set $S(f)$ such that for all $\xi\in \overline{\mathbb{Q}}\setminus S(f)$, $\log(f(\xi))$ is a transcendental number. We then quantify this result when $f$ is an $E$-function in the strict sense with rational coefficients, by proving an irrationality measure of $\ln(f(\xi))$ when $\xi\in \mathbb{Q}\setminus S(f)$ and $f(\xi)>0$. This measure implies that $\ln(f(\xi))$ is not an ultra-Liouville number, as defined by Marques and Moreira. The proof of our first result, which is in fact more general, uses in particular a recent theorem of Delaygue. The proof of the second result, which is independent of the first one, is a consequence of a new linear independence measure for values of linearly independent $E$-functions in the strict sense with rational coefficients, where emphasis is put on other parameters than on the height, contrary to the case in Shidlovskii's classical measure for instance.
Fichier principal
Vignette du fichier
logEdef.pdf (180.88 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04711290 , version 1 (26-09-2024)

Identifiants

Citer

Stéphane Fischler, Tanguy Rivoal. Transcendence of values of logarithms of $E$-functions. 2024. ⟨hal-04711290⟩
29 Consultations
10 Téléchargements

Altmetric

Partager

More