On extendability by continuity of valuations on convex polytopes (Q2445924)

A functional \(\phi: \mathcal{P}(\mathbb{R}^n) \rightarrow \mathbb{C}\) on the family \(\mathcal{P}(\mathbb{R}^n)\) of convex polytopes is called a valuation if \(\phi(P_1)+\phi(P_2)=\phi(P_1 \cup P_2)+\phi(P_1 \cap P_2)\) for all \(P_1,P_2 \in \mathcal{P}(\mathbb{R}^n)\) with \(P_1 \cup P_2 \in \mathcal{P}(\mathbb{R}^n)\). Given an even continuous function \(f:G_k(\mathbb{R}^n) \rightarrow \mathbb{C}\) on the manifold \(G_k(\mathbb{R}^n)= \{ (E,l): E\) is a \(k\)-dimensional linear subspace of \(\mathbb{R}^n\) and \(l\) is a unit vector orthogonal to \(E\}\), one obtains a valuation by \[ \phi_f(P)= \sum_{F \; \mathrm{is} \; \mathrm{a} \; k-\mathrm{face} \; \mathrm{of} \; P} \mathrm{vol}(F) \int_{\gamma_F} f(\bar{F},l)\, dl. \] Here \(\bar{F}\) is the \(k\)-dimensional linear space that contains a translate of \(F\), \(dl\) denotes the Lebesgue measure on the unit sphere \(S(\bar{F}^\perp)\), and \(\gamma_F \subseteq S(\bar{F}^\perp)\) consists of all outer normal vectors of \(P\) at relative inner points of \(F\). The paper discusses the question if \(\phi_f\) extends continuously to the space \(\mathcal{K}(\mathbb{R}^n)\) of non-empty compact convex subsets of \(\mathbb{R}^n\). If \(n \geq 3\) and \(1 \leq k \leq n-2\), there are examples of real analytic functions \(f\) such that \(\phi_f\) does not admit the extension in question. If \(n \geq 4\) and \(2 \leq k \leq n-2\), all \(f \in C^\infty(G_k(\mathbb{R}^n))\) such that \(\phi_f\) extends continuously to \(\mathcal{K}(\mathbb{R}^n)\) are contained in a closed proper linear subspace of \(C^\infty(G_k(\mathbb{R}^n))\). A more detailed consideration concerns the case \(n=3\), \(k=1\).