## Euler-Maclaurin with remainder for a simple integral polytope.(English)Zbl 1087.65002

A polytope in $$\mathbb R^n$$ is called integral if its vertices are in the lattice $$\mathbb Z^n$$; it is called simple if exactly $$n$$ edges emanate from each vertex; it is called regular if the edges lie along lines that are generated by a $$\mathbb Z$$-basis of the lattice $$\mathbb Z^n$$. The classical Euler-Maclaurin formula (EMF) computes the sum of the values of a function over the integer points in an interval. The first generalization concerns the sum of the values of polynomials or exponential functions on the convex integral and regular polytopes, next one generalizes it to simple integral polytopes.
Previously the authors proved an EMF with remainder for the sum of the values of an arbitrary smooth function on the lattice points in a regular polytopes. In the present article they generalize this formula to the case of simple integral lattice polytopes.

### MSC:

 65B15 Euler-Maclaurin formula in numerical analysis 52B20 Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) 52B55 Computational aspects related to convexity
Full Text:

### References:

 [1] A. Barvinok and J. E. Pommersheim, “An algorithmic theory of lattice points in polyhedra” in New Perspectives in Algebraic Combinatorics (Berkeley, 1996, –. ,1997), Math. Sci. Res. Inst. Publ. 38 , Cambridge Univ. Press, Cambridge, 1999, 91–147. · Zbl 0940.05004 [2] M. Beck, R. Diaz, and S. Robins, The Frobenius problem, rational polytopes, and Fourier-Dedekind sums , J. Number Theory 96 (2002), 1–21. · Zbl 1038.11026 [3] N. Bourbaki, Éléments de mathématique, 12, Premierère partie: Les structures fondamentales de l’analyse, livre 4: Fonctions d’une variable réelle: Théorie élémentaire, chapitre 6: Développements tayloriens généralisés: Formule sommatoire d’Euler-Maclaurin , Actualités Sci. Indust. 1132 , Hermann, Paris, 1951. [4] M. Brion and M. Vergne, Lattice points in simple polytopes , J. Amer. Math. Soc. 10 (1997), 371–392. JSTOR: · Zbl 0871.52009 [5] S. E. Cappell and J. L. Shaneson, Genera of algebraic varieties and counting of lattice points , Bull. Amer. Math. Soc. (N.S.) 30 (1994), 62–69. · Zbl 0847.14010 [6] -, Euler-Maclaurin expansions for lattices above dimension one , C. R. Acad. Sci. Paris Sér. I Math. 321 (1995), 885–890. · Zbl 0838.52018 [7] -, unpublished. · JFM 55.0014.02 [8] V. I. Danilov, The geometry of toric varieties , Russian. Math. Surveys 33 , no. 2 (1978), 97–154. · Zbl 0425.14013 [9] R. Diaz and S. Robins, The Ehrhart polynomial of a lattice polytope , Ann. of Math. (2) 145 (1997), 503–518.; Erratum , Ann. of Math. (2) 146 (1997), 237. ; Mathematical Reviews (MathSciNet): JSTOR: links.jstor.org · Zbl 0874.52009 [10] L. Euler, Methodus generalis summandi progressiones , Comment. Acad. Sci. Petropol. 6 (1738), 68–97., http://math.dartmouth.edu/$$^{\sim}\!$$euler/pages/E025.html [11] -, Methodus universalis serierum convergentium summas quam proxime inveniendi , Comment. Acad. Sci. Petropol. 8 (1741), 3–9., http://math.dartmouth.edu/$$^{\sim}\!$$euler/pages/E046.html [12] -, Inventio summae cuiusque seriei ex dato termino generali , Comment. Acad. Sci. Petropol. 8 (1741), 9–22., http://math.dartmouth.edu/$$^{\sim}\!$$euler/pages/E047.html [13] -, Methodus universalis series summandi ulterius promota , Comment. Acad. Sci. Petropol. 8 (1741), 147–158., http://math.dartmouth.edu/$$^{\sim}\!$$euler/pages/E055.html J. W. Gibbs, Fourier’s series , Nature 59 (1898), 200, and Nature 59 (1899), 606; The Collected Works of J. Willard Gibbs, Vol. 2, Longmans, Green, New York, 1931, 258–260. [14] V. Guillemin, Moment Maps and Combinatorial Invariants of Hamiltonian $$T^{\hbox{\scriptsize \mathit n}}$$-Spaces , Progr. Math. 122 , Birkhäuser, Boston, 1994. · Zbl 0828.58001 [15] -, Riemann-Roch for toric orbifolds , J. Differential Geom. 45 (1997), 53–73. · Zbl 0932.37039 [16] V. Guillemin and S. Sternberg, Geometric quantization and multiplicities of group representations , Invent. Math. 67 (1982), 515–538. · Zbl 0503.58018 [17] G. H. Hardy, Divergent Series , 2nd ed., 1991 (unaltered), Chelsea, New York. · Zbl 0032.05801 [18] A. Hattori and M. Masuda, Theory of multi-fans , Osaka J. Math. 40 (2003), 1–68. · Zbl 1034.57031 [19] L. Hörmander, Lectures on Nonlinear Hyperbolic Differential Equations , Math. Appl. (Berlin) 26 , Springer, Berlin, 1997. [20] J.-M. Kantor and A. Khovanskii, Une application du théorème de Riemann-Roch combinatoire au polyn$$\hat{o}$$me d’Ehrhart des polytopes entiers de $$R^{\hbox {\scriptsize\mathit d}}$$ , C. R. Acad. Sci. Paris Sér. I Math. 317 (1993), 501–507. · Zbl 0791.52012 [21] Y. Karshon, S. Sternberg, and J. Weitsman. The Euler-Maclaurin formula for simple integral polytopes , Proc. Natl. Acad. Sci. USA 100 (2003), 426–433. · Zbl 1064.11063 [22] A. G. KhovanskiI [a. g. hovanskiĭ], Newton polyhedra, and toroidal varieties (in Russian), Funktsional. Anal. i Prilozhen. 11 (1977), no. 4, 56–64.; English translation in Funct. Anal. Appl. 11 (1977), 289–296. [23] -, Newton polyhedra, and the genus of complete intersections (in Russian), Funktsional. Anal. i Prilozhen. 12 (1978), no. 1, 51–61.; English translation in Funct. Anal. Appl. 12 (1978), 38–46. [24] K. Knopp, “Chapter 14: Euler’s summation formula and asymptotic expansions” in Theory and Application of Infinite Series , translated from the 2nd German ed., Blackie, London, 1928, 518–555. [25] J. Lawrence, Polytope volume computation , Math. Comp. 57 (1991), 259–271. JSTOR: · Zbl 0734.52009 [26] C. Maclaurin, A Treatise of Fluxions: In Two Books , Ruddimans, Edinburgh, 1742. [27] L. J. Mordell, Lattice points in a tetrahedron and generalized Dedekind sums , J. Indian Math. Soc. (N.S.) 15 (1951), 41–46. · Zbl 0043.05101 [28] R. Morelli, Pick’s theorem and the Todd class of a toric variety , Adv. Math. 100 (1993), 183–231. · Zbl 0797.14018 [29] T. Oda, Convex Bodies and Algebraic Geometry: An Introduction to the Theory of Toric Varieties , Ergeb. Math. Grenzgeb. (3) 15 , Springer, Berlin, 1988. · Zbl 0628.52002 [30] G. Pick, Geometrisches zur Zahlenlehre , Sitzungsber. Lotos Prag. (2) 19 (1900), 311–319. · JFM 31.0215.03 [31] S. D. Poisson, Mémoire sur le calcul numérique des intégrales définies , Mémoires Acad. Sci. Inst. France 6 (1823), 571–602. [32] J. E. Pommersheim, Toric varieties, lattice points and Dedekind sums , Math. Ann. 295 (1993), 1–24. · Zbl 0789.14043 [33] A. V. Pukhlikov and A. G. Khovanskiĭ, Finitely additive measures of virtual polyhedra (in Russian), Algebra i Analiz 4 (1992), no. 2, 161–185.; English translation in St. Petersburg Math. J. 4 (1993), 337–356. · Zbl 0778.52006 [34] -, The Riemann-Roch theorem for integrals and sums of quasipolynomials on virtual polytopes (in Russian), Algebra i Analiz 4 (1992), no. 4, 188–216.; English translation in St. Petersburg Math. J. 4 (1993), 789–812. · Zbl 0798.52010 [35] J. L. Shaneson, “Characteristic classes, lattice points, and Euler-MacLaurin formulae” in Proceedings of the International Congress of Mathematicians, Vol. 1 (Zürich, 1994) , Birkhäuser, Basel, 1995, 612–624. · Zbl 0846.57018 [36] R. M. Trigub, A generalization of the Euler-Maclaurin formula (in Russian), Mat. Zametki 61 (1997), 312–316.; English translation in Math. Notes 61 (1997), 253–257. · Zbl 0915.42002 [37] A. N. Varchenko, Combinatorics and topology of the arrangement of affine hyperplanes in the real space (in Russian), Funktsional. Anal. i Prilozhen. 21 (1987), no. 1, 11–22.; English translation in Funct. Anal. Appl. 21 (1987), 9–19. · Zbl 0615.52005 [38] W. Wirtinger, Einige Anwendungen der Euler-Maclaurin’schen Summenformel, insbesondere auf eine Aufgabe von Abel Acta. Math. 26 (1902), 255–272. · JFM 33.0454.01
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.