Valuations on Sobolev spaces (Q2892856)

This paper treats valuations on \((W^{1,1}(\mathbb{R}^n),\vee,\wedge)\), where the Sobelev space \(W^{1,1}(\mathbb{R}^n)\) consists of the functions \(f \in L^1(\mathbb{R}^n)\) whose weak gradient \(\nabla f\) belongs to \(L^1(\mathbb{R}^n)\) also, and \(f \vee g\) and \(f \wedge g\) are the point-wise maximum and minimum of \(f\) and \(g\). Let \(\mathcal{K}_c^n\) denote the family of origin-symmmetric convex bodies in \(\mathbb{R}^n\). Then \(\langle f \rangle \in \mathcal{K}_c^n\) is that body with the same volume as the usual unit ball in \(\mathbb{R}^n\) whose corresponding norm \(\|\cdot\|\) is such that NEWLINE\[NEWLINE \int_{\mathbb{R}^n} \, \|\nabla f\|_*\,dx NEWLINE\]NEWLINE is minimal, where \(\|\cdot\|_*\) is the dual norm to \(\|\cdot\|\). With \(\#\) Blaschke addition on \(\mathcal{K}_c^n\) (that is, addition of surface area measures), the author shows that a mapping \(\mathrm{z}: W^{1,1}(\mathbb{R}^n) \to (\mathcal{K}_c^n,\#)\) is a continuous affinely covariant valuation exactly when \(\mathrm{z}(f) = c\langle f \rangle\) for all \(f\) and some constant \(c \geq 0\). Here, \(\mathrm{z}\) is affine covariant when it is homogeneous (there is some \(q \in \mathbb{R}\) such that \(\mathrm{z}(sf) = |s|^q\mathrm{z}(f)\) for all \(s \in \mathbb{R}\)), translation invariant and \(\mathrm{GL}(n)\) covariant (there is some \(p \in \mathbb{R}\) such that \(\mathrm{z}(f \circ \phi^{-1}) = |\det\phi|^p\phi\mathrm{z}(f)\) for all \(\phi \in \mathrm{GL}(n)\)). If covariance is replaced by contravariance (there is some \(p \in \mathbb{R}\) such that \(\mathrm{z}(f \circ \phi^{-1}) = |\det\phi|^p\phi^{-t}\mathrm{z}(f)\) for all \(\phi \in \mathrm{GL}(n)\), with \(\phi^{-t}\) the inverse transpose), then the characterization is \(\mathrm{z}(f) = c\Pi\langle f \rangle\), with \(\Pi\) the projection body.