On Borel summability and analytic functionals (Q2393433)

A series \(\sum_{n=0}^\infty a_n\) is said to be summable to a number \(\beta\) by Borel's method (B\('\)) if the power series \(\sum_{n=0}^\infty a_n t^n/n!\) is convergent for all \(t\) and \[ \int_0^\infty e^{-t} \left(\sum_{n=0}^\infty a_n t^n/n!\right) \, d t=\beta. \] The main theorem shows that a formal power series that is uniformly (B\('\)) summable on a circle of radius \(r>0\) necessarily has radius of convergence at least \(r\). The authors apply the result to obtain a characterization of those Silva tempered ultradistributions which are analytic functionals. Also, they use Borel summability to represent analytic functionals as Borel sums of their moment Taylor series over the Borel polygon.