Volume inequalities for sections and projections of Wulff shapes and their polars (Q2399887): Difference between revisions

Suppose that \(\nu\) is a Borel measure on \(S^{n-1}\) and that \(f\) is a positive, bounded, and measurable function on \(S^{n-1}\). The Wulff shape \(W_{\nu,f}\) determined by \(\nu\) and \(f\) is defined by \[ W_{\nu,f}:=\{x\in\mathbb R^n:x\cdot u\leq f(u)\text{ for all }u\in\mathrm{supp }\nu\}. \] Let \(1\leq k\leq n\). Sharp volume inequalities for \(k\)-dimensional sections of Wulff shapes and dual inequalities for projections are established. The asymmetric case can be stated as follows: Let \(H\) be a \(k\)-dimensional subspace of \(\mathbb R^n\) with \(1\leq k\leq n\) and let \(f\) be a positive bounded measurable function on \(S^{n-1}\). Suppose that the measure \(\nu\) on \(S^{n-1}\) is discrete, isotropic, and \(f\)-centered with respect to \(H\) when \(1\leq k\leq n\), and that \(\nu\) is isotropic and \(f\)-centered when \(k=n\). Then \[ |H\cap W_{\nu,f}|\leq\frac{\left(k+1-\mathrm{disp}(H\cap W_{\nu,f})\right)^{k+1}}{k!(k+1)^{\frac{k+1}{2}}}\| f\|^k_{L_2(\Psi_H)}\text{ and }|P_HW^\ast_{\nu,f}|\geq\frac{(k+1)^{\frac{k+1}{2}}}{k!}\| f\|^{-k}_{L_2(\Psi_H)}, \] with equalities if and only if \(H\cap W_{\nu,f}\) is a regular simplex inscribed in \(\frac{\| f\|^k_{L_2(\Psi_H)}}{k!}(S^{n-1}\cap H)\) and \(\frac{f(u)}{\| P_Hu\|}\) is constant for all \(u\in\Psi_H\). The symmetric case reads as follows: Let \(H\) be a \(k\)-dimensional subspace of \(\mathbb R^n\) with \(1\leq k\leq n\) and let \(f\) be an even positive bounded measurable function on \(S^{n-1}\). Suppose that the measure \(\nu\) on \(S^{n-1}\) is discrete and even isotropic when \(1\leq k\leq n\), and that \(\nu\) is even isotropic when \(k=n\). Then \(|H\cap W_{\nu,f}|\leq\left(\frac{2}{\sqrt k}\right)\| f\|^k_{L_2(\Psi_H)}\) and \(|P_HW^\ast_{\nu,f}|\geq\frac{(2\sqrt k)^k}{k!}\| f\|^{-k}_{L_2(\Psi_H)}\) with equalities if and only if \(H\cap W_{\nu,f}\) is an origin-symmetric cube with side length of \(\frac{2}{\sqrt k}\| f\|_{L_2(\Psi_H)}\) and \(\frac{f(u)}{\| P_Hu\|}\) is constant for all \(u\in\Psi_H\). As their applications, several special Wulff shapes are investigated.