Inequalities for polars of mixed projection bodies (Q1777539): Difference between revisions

The following are the main results of the paper. Let \(K_1,\dots,K_{n-1},K,L\) be convex bodies in \({\mathbb R}^n\), let \(r \in \{2,\dots,n-1\}\) and \(\lambda,\mu\geq 0\). \(V\) denotes volume. Then \[ V(\Pi^*(K_1,\dots,K_{n-1}))^r\leq\prod_{j=1}^r V(\Pi^*(\underbrace{K_j,\dots,K_j}_r,K_{r+1},\dots,K_{n-1}), \] with equality if \(K_1,\dots,K_{n-1}\) are homothetic. If \(C=(K_2,\dots,K_{n-1})\), then \[ 4V(\Pi^*(\lambda K+\mu L,C))^{1/n} \leq \lambda V(\Pi^*(K,C))^{1/n}+\mu V(\Pi^*(L,C))^{1/n}, \] with equality if and (for \(\lambda,\mu>0\)) only if \(\Pi(K,C)=\Pi(L,C)\). Here \(\Pi(K_1,\dots,K_{n-1})\) denotes the mixed projection body of \(K_1,\dots,K_{n-1}\), as introduced by \textit{E. Lutwak} [Trans. Am. Math. Soc. 339, 901--916 (1993; Zbl 0784.52009)], and \(\Pi^*\) is the polar body of \(\Pi\). The proof combines the Aleksandrov-Fenchel inequalities with the integral inequalities of Hölder and Minkowski. A further result extends \textit{W. Firey}'s [Math. Scand. 8, 168--170 (1960; Zbl 0104.17003)] Pythagorean inequalities for projection volumes.