Extremal general affine surface areas

Abstract

For a convex body $K$ in ${\mathbb{R}}^n$, we introduce and study the extremal general affine surface areas, defined by \[ {\rm IS}_φ(K):=\sup_{K^\prime\subset K}{\rm as}_φ(K),\quad {\rm os}_ψ(K):=\inf_{K^\prime\supset K}{\rm as}_ψ(K) \] where ${\mathrm{as}}_{\phi }(K)$ and ${\mathrm{as}}_{\psi }(K)$ are the $L_{\phi }$ and $L_{\psi }$ affine surface area of $K$, respectively. We prove that there exist extremal convex bodies that achieve the supremum and infimum, and that the functionals ${\mathrm{IS}}_{\phi }$ and ${\mathrm{os}}_{\psi }$ are continuous. In our main results, we prove Blaschke-Santaló type inequalities and inverse Santaló type inequalities for the extremal general affine surface areas. This article may be regarded as an Orlicz extension of the recent work of Giladi, Huang, Schütt and Werner (2020), who introduced and studied the extremal $L_p$ affine surface areas.

24 pages; to appear in Journal of Mathematical Analysis and Applications