Siegel defined in 1929 two classes of power series, the -functions and -functions, which generalize the Diophantine properties of the exponential and logarithmic functions respectively. He asked whether any -function can be represented as a polynomial with algebraic coefficients in a finite number of -functions of the form , , with rational parameters. The case of -functions of differential order less than or equal to 2 was settled in the affirmative by Gorelov in 2004, but Siegel's question is open for higher order. We prove here that if Siegel's question has a positive answer, then the ring of values taken by analytic continuations of -functions at algebraic points must be a subring of the relatively “small” ring generated by algebraic numbers, and the values of the derivatives of the Gamma function at rational points. Because that inclusion seems unlikely (and contradicts standard conjectures), this points towards a negative answer to Siegel's question in general. As intermediate steps, we first prove that any element of is a coefficient of the asymptotic expansion of a suitable -function, which completes previous results of ours. We then prove (in two steps) that the coefficients of the asymptotic expansion of a hypergeometric -function with rational parameters are in . Finally, we prove a similar result for -functions.
@article{RSMUP_2022__148__83_0, author = {Fischler, St\'ephane and Rivoal, Tanguy}, title = {On {Siegel{\textquoteright}s} problem for $E$-functions}, journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova}, pages = {83--115}, volume = {148}, year = {2022}, doi = {10.4171/rsmup/107}, mrnumber = {4542374}, zbl = {1512.33011}, language = {en}, url = {http://www.numdam.org/articles/10.4171/rsmup/107/} }
TY - JOUR AU - Fischler, Stéphane AU - Rivoal, Tanguy TI - On Siegel’s problem for $E$-functions JO - Rendiconti del Seminario Matematico della Università di Padova PY - 2022 SP - 83 EP - 115 VL - 148 UR - http://www.numdam.org/articles/10.4171/rsmup/107/ DO - 10.4171/rsmup/107 LA - en ID - RSMUP_2022__148__83_0 ER -
Fischler, Stéphane; Rivoal, Tanguy. On Siegel’s problem for $E$-functions. Rendiconti del Seminario Matematico della Università di Padova, Tome 148 (2022), pp. 83-115. doi : 10.4171/rsmup/107. http://www.numdam.org/articles/10.4171/rsmup/107/
Cité par Sources :