Chord power integrals and radial mean bodies (Q2481874)

\loadeufm The authors obtain a formula relating the chord power integrals of a convex body \(K \subseteq \mathbb R^{n}\) and the dual quermassintegrals of its radial \(p\)th mean body \(R_{p}K\). As a corollary, some geometric inequalities between the dual quermassintegrals of \(R_{p}K\) and the volume of \(K\) are established. For \(n \in \mathbb N\) and \(i \leq n\), let \(AG_{i,n}\) denote the affine Grassmann manifold of \(i\)-dimensional planes in \(\mathbb R^{n}\). Let \(V\) denote the Lebesgue measure in \(\mathbb R^{n}\); let \(V_{1}\) stand for the 1-dimensional Lebesgue measure. Let \(K \subseteq \mathbb R^{n}\) be a convex body. The chord power integrals of \(K\) are defined by \[ I_{p}(K) = \frac{2\alpha _{n-1}}{ n} \int_{\xi_{1} \in AG_{1,n}} V_{1}(K \cap \xi_{1})^{p}\, d \xi_{1} \quad (0 \leq p < \infty), \] where \(\alpha_{n-1}\) is the surface area of the unit sphere \(S^{n-1}\). For \(x\in \mathbb R^{n}\) and \(u \in S^{n-1}\), set \(\rho _{K}(x, u) = \max\{c\colon x + cu \in K\}\). For every nonzero \(p >-1\), the radial \(p\)th mean body of \(K\), \(R_{p}K\), is the new geometric object defined by the relation \[ \rho_{R_{p}K}(0,u) =\left(\frac{1}{V (K)} \int_{K}\rho_{K}(x, u)^{p} d x\right)^{ \frac{1}{p}} \quad (u \in S^{n-1}). \] For \(r \in \mathbb R\), the dual quermassintegrals of a star body \(K\subseteq \mathbb R^{n}\) are \[ \widetilde W_{n-r}(K, z) =\frac{1}{n} \int _{S^{n-1}}\rho^{r}_{K}(z, u) \,d u. \] The authors show that for every convex body \(K \subseteq \mathbb R^{n}\) and nonzero \(p > -1\), \[ I_{p+1}(K) = (p +1)V (K) \widetilde W_{n-p}(R_{p}K). \tag{1} \] By proving \(R_{p}(\varphi(K)) = \varphi(R_{p}(K))\) for every nonsingular linear transformation \(\varphi\), the authors obtain \(I_{p+1}(cK) = c^{n+p}I_{p+1}(K)\) for every \(c\geq 0\), and prove that the radial \(p\)th mean body of a centered ellipsoid is still a centered ellipsoid. The following geometric inequalities are also obtained: with \(\omega_{r} = (2\pi^{r/2})/(r\Gamma(r/2))\) \((r > 0)\), \[ \begin{aligned} \widetilde W_{n-p}(R_{p}K) & \geq \frac{2^{p+1}V (K)^{ \frac{p}{n}} \omega_{n+p}}{(p+1)\omega_{n}^{ \frac{p}{n}} \omega_{p+1}} \quad\text{for } -1 < p < 0;\\ \widetilde W_{n-p}(R_{p}K) & \leq \frac{2^{p+1}V (K)^{ \frac{p}{n}} \omega_{n+p}}{(p+1)\omega_{n}^{ \frac{p}{n}} \omega_{p+1}} \quad \text{for } 0 < p < n;\\ \widetilde W_{n-p}(R_{p}K) & \geq \frac{2^{p+1}V (K)^{ \frac{p}{n}} \omega_{n+p}}{(p+1)\omega_{n}^{ \frac{p}{n}} \omega_{p+1}} \quad \text{for } n < p < \infty; \end{aligned} \] these follow from \((1)\) using some known isoperimetric-type inequalities involving chord power integrals.