English

Multisummability for generalized power series

Classical Analysis and ODEs 2023-01-23 v4 Logic

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 RG\mathbb{R}_{\mathcal{G}} and the reduct of Ran\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,)(0,\infty) and the Zeta function on (1,)(1,\infty).

Keywords

Cite

@article{arxiv.2203.15047,
  title  = {Multisummability for generalized power series},
  author = {Jean-Philippe Rolin and Tamara Servi and Patrick Speissegger},
  journal= {arXiv preprint arXiv:2203.15047},
  year   = {2023}
}

Comments

34 pages

R2 v1 2026-06-24T10:28:59.206Z