Integration over facet-simple polytopes (Q6981620)

This article studies the integral of the \(n\)-th derivative of a function over an \(n\) dimensional polytope. This is seen as a generalization of the Fundamental Theorem of Calculus which gives the case \(n=1\). More precisely, the author studies integrals of functions of the type \(x\mapsto f(s\cdot x)\) where \(f:\mathbb{C}\to\mathbb{C}\) is analytic, \(s\in\mathbb{C}^n\) is fixed and \(s\cdot x\) denotes the hermitian product. For such functions he proves (Corollary 4.1) that for every polytope \(\mathcal{P}\subset\mathbb{R}^n\) with set of vertices \(V_\mathcal{P}\), there exist unique rational functions \(Q_{\mathcal{P},v}\) (that do not depend on \(f\) or \(s\)) such that: \N\[\N\int_{\mathcal{P}}f^{(n)}(s\cdot x)\mathrm{d} x= \sum_{v\in V_\mathcal{P}}Q_{\mathcal{P},v}(s) f(v\cdot s) \N\]\Nand this formula holds for all \(s\) except in a finite union of hyperplanes.\N\NThe author then focuses on the case where the polytope \(\mathcal{P}\) is \textit{facet-simple} i.e. each facet is an \((n-1)\) dimensional simple polytope. In that case, the rational function \(Q_{\mathcal{P},v}\) can be given explicitely (Theorem 2.1) as: \N\[\NQ_{\mathcal{P},v}=\sum_{F\in\mathcal{F}_{\mathcal{P},v}}\mathrm{sgn}_{\mathcal{P}}(F,p)\frac{(n-1)!\Delta_{F,v}}{\prod_{e\in E_{F,v}}e\cdot s}\N\]\Nwhere \(\mathcal{F}_{\mathcal{P},v}\) denotes the facets of \(\mathcal{P}\) containing \(v\), \(E_{F,v}\) the edges of \(F\) containing \(v\), \(\Delta_{F,v}\) is the \((n-1)\)-dimensional volume of the simplex formed by the edges in \(E_{F,v}\) and finally \(\mathrm{sgn}_{\mathcal{P}}(F,p)\) is a sign choice which depends on a reference point \(p\). This formula still holds for so called \textit{generalized facet-simple polytopes} which are union of facet-simple polytopes whose intersection is either empty or a common facet.