Relations between values of arithmetic Gevrey series, and applications to values of the Gamma function

DOI10.1016/J.JNT.2024.02.016arXiv2301.13518MaRDI QIDQ6424936FDOQ6424936

Authors: Stéphane Fischler, T. Rivoal 

Publication date: 31 January 2023

Abstract: We investigate the relations between the rings $$, $$ and $$ of values taken at algebraic points by arithmetic Gevrey series of order either $-1$ ($E$-functions), $0$ (analytic continuations of $G$-functions) or $1$ (renormalization of divergent series solutions at $infty$ of $E$-operators) respectively. We prove in particular that any element of $$ can be written as multivariate polynomial with algebraic coefficients in elements of $$ and $$, and is the limit at infinity of some $E$-function along some direction. This prompts to defining and studying the notion of mixed functions, which generalizes simultaneously $E$-functions and arithmetic Gevrey series of order 1. Using natural conjectures for arithmetic Gevrey series of order 1 and mixed functions (which are analogues of a theorem of Andr'e and Beukers for $E$-functions) and the conjecture $$ (but not necessarily all these conjectures at the same time), we deduce a number of interesting Diophantine results such as an analogue for mixed functions of Beukers' linear independence theorem for values of $E$-functions, the transcendance of the values of the Gamma function and its derivatives at all non-integral algebraic numbers, the transcendance of Gompertz constant as well as the fact that Euler's constant is not in $$.

Mathematics Subject Classification ID

Gamma, beta and polygamma functions (33B15) Transcendence theory of other special functions (11J91)

This page was built for publication: Relations between values of arithmetic Gevrey series, and applications to values of the Gamma function

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6424936)