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 and the reduct of generated by all convergent generalized power series with natural support; in particular, its expansion by the exponential function defines both the Gamma function on and the Zeta function on .
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