Some log-Minkowski inequalities for \((p, q)\)-mixed volume (Q2148342)

Let \({\mathcal K}^n_0\) be the family of convex bodies (compact and convex sets with non-empty interior), in the \(n\)-dimensional Euclidean space \(\mathbb{R}^n\), containing the origin. Let \({\mathcal S}^n_0\) be the family of star-shaped (with respect to the origin) subsets of \(\mathbb{R}^n\), with continuous and positive radial function (star bodies). The authors introduce a notion of mixed cone volume measure, as follows. Let \(p,q\in\mathbb{R}\), \(K,L\in{\mathcal K}_0^n\) and \(Q\in{\mathcal S}_0^n\). The mixed cone volume measure \(\overline{\tilde{V}}_{p,q}(K,L,Q)\) is defined through its density as follows \[ d\overline{\tilde{V}}_{p,q}(L,K,Q)=\frac{1}{n\tilde V_{p,q}(L,K,Q)}\left(\frac{h(K, \alpha_L(u))}{h(L,\alpha_L(u))}\right)^p\left(\frac{\rho(L,u)}{\rho(Q,u)}\right)^q\rho(Q,u)^n\, du. \tag{1} \] Here: \(h(K,\cdot)\) and \(\rho(Q,\cdot)\) denotes the support function of a convex body \(K\) and the radial function of a star body \(Q\), respectively; \(\alpha_K\) is the radial Gauss map, which assigns to a unit vector \(u\) the outer normal to \(\partial K\) at the point \(\rho_K(u)u\) (whenever this is defined); \(\tilde V_{p,q}(K,L,Q)\) is \((p,q)\)-mixed volume of \(K,L,Q\), introduced by \textit{E. Lutwak} et al. [Adv. Math. 329, 85--132 (2018; Zbl 1388.52003)]; \(du\) indicates integration with respect to the \((n-1)\) dimensional Hausdorff measure restricted to the unit sphere in \(\mathbb{R}^n\). The authors observe that for specific choices of \(p\) and \(q\) and of \(K,L,Q\) in (1), measures which are already known in the literature are retrieved, such as the \(L_p\) mixed cone-volume measure and the \(L_q\) dual mixed cone volume measure. The main results of the article are some inequalities for integral functionals involving the measure previously introduced, of log Brunn-Minkowski type. Among them we mention the following inequality, which holds for every \(K,L\in{\mathcal K}_0^n\), \(Q\in{\mathcal S}_0^n\) and \(1\le\frac qn\le p\): \begin{align*} \int_{S^{n-1}}\ln\left[\left(\frac{h_K}{h_L}\right)^p\left(\frac{\rho_L}{\rho_Q}\right)^q\right]d\overline{\tilde{V}}_{p,q}(L,K,Q)&\ge\ln\left(\frac{\tilde V_{p,q}(L,K,Q)}{V(Q)}\right)\\ &\ge\ln\left(\frac{V(K)^{p/n}V(L)^{q/n}}{V(L)^{p/n}V(Q)^{q/n}}\right). \end{align*} Equality conditions are completely characterized. In addition, the authors establish log-Minkowski inequalities of \((p,q)\)-mixed volume of \(L_q\)-dual mixed cone-volume measure: for every \(K,L\in{\mathcal K}_0^n\), \(Q\in{\mathcal S}_0^n\) and \(q\ne0\), if \(p>0\) then \[ \int_{S^{n-1}}\ln\left(\frac{h_K}{h_L}\right)d\overline{\tilde{V}}_{p,q}(K,L,Q)\ge\frac1p\ln\left(\frac{\tilde V_{p,q}(K,L,Q)}{\tilde V_q(L,Q)}\right)\ge \int_{S^{n-1}}\ln\left(\frac{h_K}{h_L}\right)d\overline{\tilde{V}}_q(L,Q) \] (an analogous statement is proved for \(p<0\)). Here: \(\tilde V_q(L,Q)=\tilde V_{p,q}(L,L,Q)\), and the measure \(\overline{\tilde{V}}_q(L,Q)\) is defined by \[ d\overline{\tilde{V}}_q(L,Q)=\frac1{n\tilde V_q(L,Q)}\rho(L,u)^q\rho(K,u)^{n-q}du. \] Moreover, the following abbreviations are used: \(h_K=h(K,\alpha_L(u))\), \(h_L=h(L,\alpha_L(u))\). Also in this case equality conditions are discussed. Finally, the authors establish inequalities of log Brunn-Minkowski type for radial cone volume measures.