\(L_p\)-Minkowski valuations on \(L^q\)-spaces (Q2338728)

The function space \(L^q(\mu_p)\) is based on the \(p\)-th moment measure and consists of all Lebesgue measurable functions \(f: \mathbb R^n \rightarrow [-\infty,\infty]\) such that the corresponding norm \(\| f\|=\left( \int | f(x)|^q | x|^p dx \right)^{1/q}\) is finite. The space \(\mathcal{K}^n_0\) of all convex bodies \(K \subseteq \mathbb R^n\) containing the origin is equipped with the Hausdorff distance. The \(L_p\)-Minkowski sum \(K+_pL\) of \(K\), \(L \in \mathcal{K}_0^n\) is defined in terms of its support function, \(h(K+_pL,\cdot)=\left(h^p(K,\cdot)+h^p(L,\cdot)\right)^{1/p}\). A functional \(z:L^q(\mu_p) \rightarrow \mathcal{K}_0^n\) is called an \(L_p\)-Minkowski valuation if \(z(0)=\{0\}\) and \(z(\max(f,g))+_pz(\min(f,g))=z(f)+_pz(g)\) for all \(f,g \in L^q(\mu_p)\). It is called \(\mathrm{SL}(n)\)-covariant if \(z(f \circ \phi^{-1})= \phi(z(f))\) for all \(f \in L^q(\mu_p)\). The author characterizes all continuous \(\mathrm{SL}(n)\)-covariant \(L_p\)-Minkowski valuations \(z:L^q(\mu_p) \rightarrow \mathcal{K}_0^n\) for \(n \geq 3\), \(p\), \(q \geq 1\). The characterization is based on generalizations of the asymmetric \(L_p\)-moment operators \(M_p^\pm\) that go back to \textit{M. Ludwig} [Trans. Am. Math. Soc. 357, No. 10, 4191--4213 (2005; Zbl 1077.52005)].