Mean radii of symmetrizations of a convex body (Q6572416)

The authors first generalize the familiar radii of convex bodies by introducing, for a convex body \(K\subset{\mathbb R}^n\) and for \(i=1,\dots,n\), the \(i\)-th mean projection outer and inner radii of \(K\) by \N\[\N\widetilde{\mathrm{R}}_i^\pi(K) =\int_{{\mathcal L}_i^n}\mathrm{R}(K|L)\mathrm{d}\nu_{n,i}(L), \qquad \widetilde{\mathrm{r}}_i^{\hspace{1pt}\pi}(K) = \int_{{\mathcal L}_i^n}\mathrm{r}(K|L;L))\mathrm{d}\nu_{n,i}(L).\N\]\NHere \({\mathcal L}_i^n\) is the space of \(i\)-dimensional linear subspaces of \({\mathbb R}^n\) with Haar probability measure \(\nu_{n,i}\), \(K|L\) is the image of \(K\) under orthogonal projection to the subspace \(L\), whereas \(R\) and \(r\) denote circumradius and inradius, the latter measured in the subspace. Analogous mean radii are defined for sections, involving maxima over translated subspaces. Also successive radii, as defined in the literature, are mentioned. The present paper is a systematic investigation of the behavior of such generalized radii under the symmetrizations of Steiner, Schwarz and Minkowski. Typical results are: If \(S_{u^\perp}\) denotes the Steiner symmetrization in direction \(u\), then \(\widetilde{\mathrm{R}}_i^\pi(S_{u^\perp}(K)) \le \widetilde{\mathrm{R}}_i^\pi(K)\). If \(M_L\) denotes the Minkowski symmetrization with respect to the subspace \(L\), then \(\widetilde {\mathrm{R}}_i^\pi(M_L(K)) \le \widetilde{\mathrm{R}}_i^\pi(K)\), \(\widetilde{\mathrm{r}}_i^{\hspace{1pt}\pi}(M_L(K)) \ge \widetilde{\mathrm{r}}_i^{\hspace{1pt}\pi}(K)\) and \(\widetilde{\mathrm{r}}_i^{\hspace{1pt}\sigma}(M_L(K)) \ge \widetilde{\mathrm{r}}_i^{\hspace{1pt}\sigma}(K)\), where the latter are mean section inner radii. Moreover, the authors collect a wealth of results on successive radii, behaviour under parallel chord movement, and several convexity and concavity aspects of radii.