Orlicz projection bodies (Q1043494): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.aim.2009.08.002 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2078778597 / rank | |||
Normal rank |
Revision as of 18:21, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Orlicz projection bodies |
scientific article |
Statements
Orlicz projection bodies (English)
0 references
9 December 2009
0 references
The last decades have seen a tremendous extension of the Brunn-Minkowski theory of convex bodies, to \(L_p\), Orlicz, and dual versions. Here, the Orlicz projection body is introduced. Let \(\phi:{\mathbb R}\to[0,\infty)\) be a convex function with \(\phi(0)=0\), strictly decreasing on \((-\infty,0]\) or strictly increasing on \([0,\infty)\). For a convex body \(K\subset {\mathbb R}^n\), the support function of the Orlicz projection body \(\Pi_\phi K\) is defined by \[ h(\Pi_\phi K,x)=\inf\left\{\lambda>0: \int_{\partial K} \phi\left(\frac{\langle x,\nu(y)\rangle}{\lambda\langle y,\nu(y)\rangle}\right)\langle y,\nu(y)\rangle\,d{\mathcal H}^{n-1}(x)\le n|K|\right\}\] for \(x\in{\mathbb R}^n\). Here \(|K|\) denotes the volume of \(K\), \(\langle\cdot\,,\cdot\rangle\) is the scalar product, \({\mathcal H}^{n-1}\) the \((n-1)\)-dimensional Hausdorff measure, and \(\nu\) the (\({\mathcal H}^{n-1}\)-almost everywhere on \(\partial K\) unique) outer unit normal vector of \(K\). For \(\phi(t)=|t|\), this yields the classical projection body (introduced by Minkowski), up to a factor. Several later generalizations are included. If \(A\) is a volume preserving linear transformation, then \(\Pi_\phi AK= A^{-t}\Pi_\phi K\). The main result of the paper is the Orlicz-Petty projection inequality, saying that, for \(K\) containing the origin in the interior, the volume quotient \(|\Pi_\phi^\circ|/|K|\), where \(^\circ\) indicates the polar body, is maximized when \(K\) is an ellipsoid with center at the origin. That this is the only extremal, is proved if \(\phi\) is strictly convex, and was later proved without this assumption by \textit{K. Böröczky jun.} [J. Differ. Geom. 95, No. 2, 215--247 (2013; Zbl 1291.52012)], who also obtained corresponding stability results.
0 references
Orlicz Brunn-Minkowski theory
0 references
projection body
0 references
Petty projection inequality
0 references