Home
Scholarly Works
Multisummability for generalized power series
Journal article

Multisummability for generalized power series

Abstract

Abstract We develop multisummability, in the positive real direction, for generalized power series with natural support, and we prove o-minimality of the expansion of the real field by all multisums of these series. This resulting structure expands both $\mathbb {R}_{\mathcal {G}}$ and the reduct of $\mathbb {R}_{\text {an}^*}$ generated by all convergent generalized power series with natural support; in particular, its expansion by the exponential function defines both the gamma function on $(0,\infty )$ and the zeta function on $(1,\infty )$ .

Authors

Rolin J-P; Servi T; Speissegger P

Journal

Canadian Journal of Mathematics, Vol. 76, No. 2, pp. 458–494

Publisher

Canadian Mathematical Society

Publication Date

April 27, 2024

DOI

10.4153/s0008414x23000111

ISSN

0008-414X

Labels

Contact the Experts team