On Brunn-Minkowski-type inequalities for polar bodies (Q254244)

Let \( {\mathcal K}^{n}_0\) be the set of all convex bodies in \( {\mathbb R}^n \) containing the origin as an interior point. Given \( K, L \in {\mathcal K}^{n}_0 \), \( 1 \leq p \leq \infty \), and \( \lambda, \mu \geq 0 \), we denote by \( \lambda \cdot K +_p \, \mu \cdot L \) their Firey linear combination, its support function is defined by \[ h (\lambda \cdot K +_p \, \mu \cdot L, \cdot )^p = \lambda h(K, \cdot )^p + \mu h(L, \cdot )^p. \] Let \( K^* \) be the polar of a convex body \( K \in {\mathcal K}^{n}_0 \), and \( W_i (K)\) be its \(i\)-th mixed volume in the Steiner formula of \( K \). The main results of the authors are: { Theorem 1.1.} Let \( K, L, p \) be as above. Then, for all \( i=0, \ldots , n-1 \) and \( \lambda \in [0,1]\), \[ W_i \bigl( [ (1-\lambda) \cdot K +_p \, \lambda \cdot L]^* \bigr)^{-p/(n-i)} \geq (1-\lambda) W_i (K^* )^{-p/(n-i)} + \lambda W_i (L^*)^{-p/(n-i)}. \] If \( p \neq \infty \), equality holds, for some \( \lambda \in (0,1)\), if and only if \( K \) and \( L \) are dilatates. For \( p=\infty \), equality holds if and only if \( K \subset L \) or \( L \subset K \). {Theorem 1.2.} Let \( K, L, p \) be as above. Then, for all \( i=0, \ldots , n-1 \) and \( \lambda \in [0,1]\), \[ W_i \bigl( [ (1-\lambda) \cdot K +_p \, \lambda \cdot L]^* \bigr) \leq W_i (K^* )^{1-\lambda} \cdot W_i (L^*)^{\lambda}. \] Equality holds, for some \( \lambda \in (0,1)\), if and only if \( K = L \). The authors note that these inequalities are equivalent. They show that it is not possible to bound from below the ratio \( \text{vol}([K-K]^*) / { \text{ vol}} (K^*)\) by a positive constant depending only on \( n \). On the other hand, let the ``intersection'' \( K \cap_p L \in {\mathcal K}^{n}_0\) be defined by its support function as \[ h(K \cap_p L , u) = \inf_{u_1 + u_2 = u} \bigl( h(K, u_1)^p + h(L, u_2)^p \bigr)^{1/p}. \] { Proposition 4.1.} Let \( K, p \) be as above. Then \[ \text{vol} \bigl( [K \cap_p (-K)]^* \bigr) \geq \text{vol}(K^*), \] and equality holds if and only if \( K \) is \(0\)-symmetric and \( p=1\).