Integral geometry of translation invariant functionals. I: The polytopal case (Q2348153)

The author studies translative integral formulas for certain translation invariant functionals defined on convex polytopes. In contrast to classical results in integral geometry, it turns out that it is not essential for such functionals to be additive in order to satisfy translative or kinematic formulas. The author shows that translation invariant functionals \(\varphi\) on the set of convex polytopes that have a so called local extension \(\Phi\) satisfy translative integral formulas, which are similar to the classical formulas for intrinsic volumes. In particular, every real-valued, weakly continuous, and translation invariant functional \(\varphi\) on the set of convex polytopes which is additive has a local extension. However, there are such functionals with a local extension that are not additive. It turns out that exactly these (non-additive) functionals play in interesting role in applications to Poisson particle processes and Boolean models as shown in the final sections of the paper.