Integral Geometry – morphometry.org

In $n$ -dimensional Euclidean space, the Minkowski functionals can be defined by the Steiner formula [bibcite key=schneider2008stochastic]. Given a convex body $K$ , i.e., a compact, convex subset of $\mathbb{R}^n$ , the parallel body $K_{\epsilon}$ at a distance $\epsilon \geq 0$ is the set of all points $x$ for which there is a point $y$ in $K$ such that the distance between $x$ and $y$ is smaller or equal to $\epsilon$ . The volume $W_0$ of this parallel body $K_{\epsilon}$ can be expressed by a polynomial of $\epsilon$

$W_0(K_{\epsilon}) = W_0(K) + \frac{1}{n}\sum_{\nu=1}^n\epsilon^{\nu}\cdot\binom{n}{\nu}\cdot W_{\nu}(K),$

where $W_0(K)=V_n(K)$ and the coefficients $W_1(K),\dots,W_n(K)$ depend on $K$ but not on $\epsilon$ . The so-called Minkowski functionals $W_1(\cdot),\dots,W_n(\cdot)$ can be generalized to finite unions of convex bodies, so that

$W_{\nu}(K\cup L) = W_{\nu}(K) + W_{\nu}(L) - W_{\nu}(K\cap L).$

This is the additivity property [bibcite key=schneider2008stochastic]. By this choice of normalization, the zeroth order Minkowski functional of an $n$ -dimensional unit ball $B^n=\{x\in\mathbb{R}^n\mid\|x\|\leq 1\}$ is equal to its volume $W_0(B^n)=:\kappa_n$ , and the higher-order Minkowski functionals are equal to its surface area $W_{\nu}(B^n)=n\kappa_n$ ( $n\geq \nu\geq 1$ ). In the mathematical literature the intrinsic volumes $V_{\nu}$ are more commonly used than the Minkowski functionals, but only differ by a proportionality constant and the order of the indices

$V_{\nu}(K) :=\frac{1}{n\cdot\kappa_{n-\nu}}\cdot{{n}\choose{\nu}}\cdot W_{n-\nu}(K)\quad\mathrm{for\ }\nu\leq n-1.$

The Minkowski tensors of a convex body $K$ in the $d$ -dimensional Euclidean space can be defined using the so-called support measures $\Lambda_{\nu}(K;\cdot)$ , see [bibcite key=schneider2008stochastic], which can in turn be defined by a local Steiner formula. Their total mass yields the intrinsic volumes, that is $V_{\nu}=\Lambda_{\nu}(K;\mathbb{R}^n\times\mathbb{S}^{n-1})$ . Like the scalar functionals, the tensors can be generalized to non-convex bodies by using their additivity, see [bibcite key=schneider2008stochastic]. For consistency with the Minkowski functionals, we use for $\nu\geq 1$ a different normalization $\Omega_{\nu}(K;\cdot):=\frac{n\cdot\kappa_{n-\nu}}{\binom{n}{\nu}}\Lambda_{n-\nu}(K;\cdot)$ . The Minkowski tensors are then defined as [bibcite key=schneider2008stochastic,mcmullen1997isometry]

$W_{0}^{r,0}(K):= \int_{K}\mathbf{x}^r\text{d}^n\,\mathbf{x},$

$W_{\nu}^{r,s}(K):= \int_{\mathbb{R}^n\times\mathbb{S}^{n-1}}\mathbf{x}^r\mathbf{u}^s\,\Omega_{\nu}(K;\text{n}(\mathbf{x},\mathbf{u})) \quad\mathrm{for\ }n\geq \nu \geq 1,$

where $\mathbf{x}^r$ or $\mathbf{u}^s$ are symmetric tensor products, and $\mathbf{x}^r\mathbf{u}^s$ is the symmetric tensor product of the tensors $\mathbf{x}^r$ and $\mathbf{u}^s$ .

(The presentation follows reference [bibcite key=klatt2017cell].)