Inequalities for Hadwiger's harmonic quermassintegrals (Q1822059): Difference between revisions

Let G(n,i) denote the Grassmann manifold of i-dimensional subspaces of \({\mathbb{R}}^ n\), and let \(\mu _ i\) denote the usual Haar measure on G(n,i), normalized so that \(\mu _ i(G(n,i))=1\). For a convex body K and \(\xi\) \(\in G(n,i)\), let \(K| \xi\) denote the image of the orthogonal projection of K onto \(\xi\), and let \(V_ i(K| \xi)\) denote the i- dimensional volume of the body \(K| \xi\) in \(\xi\). The harmonic quermassintegrals of a convex body K in \({\mathbb{R}}^ n\), Ŵ\({}_ 0(K),\hat W_ 1(K),...,\hat W_ n(K)\) are defined by letting Ŵ\({}_ 0(k)=V(K)\), the volume of K, Ŵ\({}_ n(K)=\omega _ n\), the volume of the unit ball in \({\mathbb{R}}^ n\), and for i such that \(0<i<n\), by \[ \hat W_{n-i}(K)=\omega _ n[\int _{G(n,i)}[V_ i(K| \xi)/\omega _ i]^{-1} d\mu _ i(\xi)]^{-1}. \] It is proved in this article that \[ \omega ^ j_ n\hat W_ i(K)^{n-j}\leq \omega ^ i_ n\hat W_ j(K)^{n-i}\quad [0\leq i<j<n], \] with equality if and only if K is a ball. For a real number \(i\neq n\), the i-th half-width of K, \(b_ i(K)\), is defined by \[ b_ i(K)=[\int _{G(n,1)}[V_ 1(K| \xi)/2]^{i- n}d\mu _ 1(\xi)]^{1/(i-n)}. \] The following inequality is established: \[ \hat W_ i(K)\leq \omega _ nb_ i(K)^{n-i}\quad [0\leq i<n-1]. \] with equality if and only if K is an ellipsoid. For \(i=0\), this inequality is due to Santaló, and for centrally symmetric bodies, this inequality (for \(i=0)\) is the Blaschke-Santaló inequality.