Exact Euler Maclaurin formulas for simple lattice polytopes
Abstract
Euler Maclaurin formulas for a polytope express the sum of the values of a function over the lattice points in the polytope in terms of integrals of the function and its derivatives over faces of the polytope or its expansions. Exact Euler Maclaurin formulas [Khovanskii-Pukhlikov, Cappell-Shaneson, Guillemin, Brion-Vergne] apply to exponential or polynomial functions; Euler Maclaurin formulas with remainder [Karshon-Sternberg-Weitsman] apply to more general smooth functions.
In this paper we review these results and present proofs of the exact formulas obtained by these authors, using elementary methods. We then use an algebraic formalism due to Cappell and Shaneson to relate the different formulas.