Fixed points of Minkowski valuations (Q2237395)

The authors extend results of \textit{M. N. Ivaki} [J. Funct. Anal. 272, No. 12, 5144--5161 (2017; Zbl 06714267); Mathematika 64, No. 1, 1--19 (2018; Zbl 1393.52002)] on iterations of the \(i\)th projection body to more general Minkowski valuations in \({\mathbb R}^n\) (\(n\ge 3\)). The latter are mappings \(\Phi\) of the space of convex bodies in \({\mathbb R}^n\) into itself that satisfy \(\Phi(K\cup L)+\Phi(K\cap L)=\Phi(K)+\Phi(L)\) whenever \(K,L,K\cup M\) are convex bodies (here \(+\) means Minkowski addition). Suppose \(\Phi_i\) is a Minkowski valuation which is homogeneous of degree \(i\in\{1,\dots,n-1\}\), translation invariant and commutes with \(\mathrm{SO}(n)\). A first result says that if \(\Phi_i\) is monotone and \(\Phi_i\not\equiv\{o\}\), and \(\dim K\ge i+1\), then the intrinsic volume \(V_{i+1}\) satisfies \[ \frac{V_{i+1}(\Phi_i K)}{V_{i+1}(K)^i} \ge \frac{V_{i+1}(\Phi_i^2 K)}{V_{i+1}(\Phi_i(K))^i},\] with equality if and only if \(\Phi_i^2K\) and \(K\) are homothetic. The main result then says that if \(i\in\{2,\dots,n-1\}\), \(\Phi_i\) is even and \(\Phi_i\) and \(K\) satisfy certain regularity assumptions, then in a suitable \(C^2\)-neighborhood of the unit ball the only solutions of \(\Phi_i^2K=\alpha K\) (with a constant \(\alpha>0\)) are Euclidean balls. The proofs make heavy use of a convolution representation of Minkowski valuations, due to [\textit{F. Dorrek}, Geom. Funct. Anal. 27, No. 3, 466--488 (2017; Zbl 1372.52005)], of spherical harmonics and of the inverse function theorem in Banach spaces.