A note on the finitization of Abelian and Tauberian theorems

2019/10/17 by Powell, Thomas
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1910.07926

Abstract

We present finitary formulations of two well known results concerning infinite series, namely Abel's theorem, which establishes that if a series converges to some limit then its Abel sum converges to the same limit, and Tauber's theorem, which presents a simple condition under which the converse holds. Our approach is inspired by proof theory, and in particular Gödel's functional interpretation, which we use to establish quantitative version of both of these results.

Related

• A guide to Tauberian theorems for arithmetic applications
• Where did the examples of Abel's continuity theorem go?
• A Note on a Tauberian theorem for arithmetic functions
• On a Tauberian Theorem of Ingham and Euler-Maclaurin Summation
• An Explicit Tauberian Theorem taking Averaged Inputs with an Application to Counting Abelian Number Fields