Home
Scholarly Works
Multisummability for generalized power series
Preprint

Multisummability for generalized power series

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}_{\mathrm{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

Publication date

March 28, 2022

DOI

10.48550/arxiv.2203.15047

Preprint server

arXiv

Labels

View published work (Non-McMaster Users)

Contact the Experts team