Resurgence of the Euler-MacLaurin summation formula

The Euler-MacLaurin summation formula compares the sum of a function over the lattice points of an interval with its corresponding integral, plus a remainder term. The remainder term has an asymptotic expansion, and for a typical analytic function, it is a divergent (Gevrey-1) series. Under some decay assumptions of the function in a half-plane (resp. in the vertical strip containing the summation interval), Hardy (resp. Abel-Plana) prove that the asymptotic expansion is a Borel summable series, and give an exact Euler-MacLaurin summation formula. Using a mild resurgence hypothesis for the function to be summed, we give a Borel summable transseries expression for the remainder term, as well as a Laplace integral formula, with an explicit integrand which is a resurgent function itself. In particular, our summation formula allows for resurgent functions with singularities in the vertical strip containing the summation interval. Finally, we give two applications of our results. One concerns the construction of solutions of linear difference equations with a small parameter. Another concerns resurgence of 1-dimensional sums of quantum factorials, that are associated to knotted 3-dimensional objects.