Relations between values of arithmetic Gevrey series, and applications to values of the Gamma function
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912474851180544 |
|---|---|
| author | Fischler, Stéphane Rivoal, Tanguy |
| author_facet | Fischler, Stéphane Rivoal, Tanguy |
| contents | We investigate the relations between the rings ${\bf E}$, ${\bf G}$ and ${\bf D}$ 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 ${\bf G}$ can be written as multivariate polynomial with algebraic coefficients in elements of ${\bf E}$ and ${\bf D}$, 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é and Beukers for $E$-functions) and the conjecture ${\bf D}\cap{\bf E}=\overline{\mathbb Q}$ (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 ${\bf E}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2301_13518 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Relations between values of arithmetic Gevrey series, and applications to values of the Gamma function Fischler, Stéphane Rivoal, Tanguy Number Theory 11J91 (Primary), 33B15 (Secondary) We investigate the relations between the rings ${\bf E}$, ${\bf G}$ and ${\bf D}$ 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 ${\bf G}$ can be written as multivariate polynomial with algebraic coefficients in elements of ${\bf E}$ and ${\bf D}$, 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é and Beukers for $E$-functions) and the conjecture ${\bf D}\cap{\bf E}=\overline{\mathbb Q}$ (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 ${\bf E}$. |
| title | Relations between values of arithmetic Gevrey series, and applications to values of the Gamma function |
| topic | Number Theory 11J91 (Primary), 33B15 (Secondary) |
| url | https://arxiv.org/abs/2301.13518 |