Crofton measures and Minkowski valuations (Q986631)

A Minkowski valuation \(\Phi\) on the space \(\mathcal{K}^n\) of convex bodies in \(\mathbb{R}^n\) satisfies \[ \Phi(K \cup L) + \Phi(K \cap L) = \Phi(K) + \Phi(L) \] whenever \(K,L \in \mathcal{K}^n\) are such that \(K \cup L\) is convex, and addition is the Minkowski sum. In this significant paper, the author describes the continuous rigid motion compatible Minkowski valuations: if \(\Phi\) is a smooth even translation-invariant and \(O(n)\)-equivariant Minkowski valuation, then the support function of \(\Phi K\) can be expressed as \[ h(\Phi K,\cdot) = c_0 + \sum_{i=1}^{n-1} \, \text{vol}_i(K|\cdot)*\mu_i + c_nV(K). \] In each middle term, we have the volume of the projection on \(i\)-dimensional subspaces convoluted with a smooth \(O(i) \times O(n-i)\) invariant measure \(\mu_i\) on \(S^{n-1}\). Further, continuous such valuations can be approximated by smooth ones. In addition, there is a Brunn-Minkowski type inequality: if \(\Phi_i: \mathcal{K}^n \to \mathcal{K}^n\) is a continuous translation-invariant and \(O(n)\)-equivariant Minkowski valuation of degree \(i \in \{2,\dots,n-1\}\) and \(K,L \in \mathcal{K}^n\) have non-empty interiors, then \[ V_{i+1}(\Phi_i(K + L))^{1/i(i+1)} \geq V_{i+1}(\Phi_i K)^{1/i(i+1)} + V_{i+1}(\Phi_i L)^{1/i(i+1)}, \] with \(V_{i+1}\) the \((i+1)\)-st intrinsic volume. If \(\Phi_i\) maps bodies with non-empty interiors to bodies with non-empty interiors, then equality holds here exactly when \(K\) and \(L\) are homothetic.