Rogers-Shephard and local Loomis-Whitney type inequalities (Q2314807)

The authors establish several inequalities involving integrals of log-concave functions and identify the equality cases. Through the embeddings of convex bodies into log-concave functions obtained by taking the characteristic function or the exponential of the pointwise negative of the Minkowski functional, these results extend the inequalities \[ \mathrm{vol}_i(P_H K)\mathrm{vol}_{n-i}(K\cap H^\perp)\leq\binom{n}{i}\mathrm{vol}_n(K) \] by \textit{C. A. Rogers} and \textit{G. C. Shephard} [J. Lond. Math. Soc. 33, 270--281 (1958; Zbl 0083.38402)] and \[ \mathrm{vol}_n(K)\leq\mathrm{vol}_i(P_H K)\max_{x_0\in\mathbb{R}^n}\mathrm{vol}_{n-i}(K\cap(x_0+H^\perp) \] which is a consequence of Fubini's theorem. (Here \(\mathrm{vol}_i\) denotes \(i\)-dimensional volume, \(K\subset\mathbb{R}^n\) is a convex body, and \(P_HK\) is its orthogonal projection onto the \(i\)-dimensional subspace \(H\).) These investigations then lead to local Loomis--Whitney type inequalities which involve volumes of projections of a convex body onto two intersecting subspaces, and functional versions thereof.