\(L_p\) intersection bodies (Q5920458)

For \(p<1\), the \(L_p\) intersection body \(I_pL\) of a star body \(L\) in \({\mathbb R}^n\) is the symmetric star body with radial function defined by \[ \rho(I_pL,u)^p = \int_L| \langle u,x\rangle| ^{-p}\,dx. \] The name is chosen since the radial function of the ordinary intersection body, \(IL\), can be obtained as the limit \(\rho(IL,u) = \lim_{p\nearrow 1} 2^{-1}(1-p)\rho(I_p L,u)^p\). The following results are proved for star bodies \(K,L\) and the volume functional \(V\). If \(K\) is an \(L_p\) intersection body satisfying \(I_p L\subseteq I_p K\), then \(V(K) \leq V(L)\) for \(0<p<1\). If \(K\) is centered and \(I_p L\;=I_p K\), then \(V(K) \leq V(L)\) for \(0<p<1\). In both cases, the inequality is reversed for \(p<0\), and in each case equality holds if and only if \(K=L\). Further, if \(\tilde{+}\) denotes radial addition, then \[ V(I_p(K\tilde{+} L))^{\frac{p}{n(n-p)}} \leq V(I_pK)^{\frac{p}{n(n-p)}} + V(I_pL)^{\frac{p}{n(n-p)}} \] if \(0<p<1\). For \(p<0\), the inequality is reversed, and in both cases equality holds if and only if \(K\) and \(L\) differ only by a dilatation. Editorial remark: According to the errata the author of this paper is only Yuan Jun.