The $m$th order Orlicz projection bodies

TL;DR

This paper introduces the $m$th order Orlicz projection operator for convex bodies, studies its properties, and establishes a higher-order Orlicz-Petty projection inequality, with conditions for equality and special cases involving support functions.

Contribution

It proposes a new higher-order Orlicz projection operator, proves its key properties, and establishes a related inequality with conditions for equality, extending classical convex geometric results.

Findings

The $m$th order Orlicz projection operator is continuous and affine invariant.

The higher-order Orlicz-Petty projection inequality is maximized by origin-symmetric ellipsoids.

Uniqueness of maximizers is established under strict convexity of $\Phi$.

Abstract

Let $M_{n, m}(\mathbb{R})$ be the space of $n\times m$ real matrices. Define $\mathcal{K}_o^{n,m}$ as the set of convex compact subsets in $M_{n,m}(\mathbb{R})$ with nonempty interior containing the origin $o\in M_{n, m}(\mathbb{R})$, and $\mathcal{K}_{(o)}^{n,m}$ as the members of $\mathcal{K}_o^{n,m}$ containing $o$ in their interiors. Let $\Phi: M_{1, m}(\mathbb{R}) \rightarrow [0, \infty)$ be a convex function such that $\Phi(o)=0$ and $\Phi(z)+\Phi(-z)>0$ for $z\neq o.$ In this paper, we propose the $m$th order Orlicz projection operator $\Pi_{\Phi}^m: \mathcal{K}_{(o)}^{n,1}\rightarrow \mathcal{K}_{(o)}^{n,m}$, and study its fundamental properties, including the continuity and affine invariance. We establish the related higher-order Orlicz-Petty projection inequality, which states that the volume of $\Pi_{\Phi}^{m, *}(K)$, the polar body of $\Pi_{\Phi}^{m}(K)$, is maximized at origin-symmetric ellipsoids among convex bodies with fixed volume. Furthermore, when $\Phi$ is strictly convex, we prove that the maximum is uniquely attained at origin-symmetric ellipsoids. Our proof is based on the classical Steiner symmetrization and its higher-order analogue. We also investigate the special case for $\Phi_{Q}=\phi\circ h_Q$, where $h_Q$ denotes the support function of $Q\in \mathcal{K}^{1, m}_o$ and $\phi: [0, \infty)\rightarrow [0, \infty)$ is a convex function such that $\phi(0)=0$ and $\phi$ is strictly increasing on $[0, \infty).$ We establish a higher-order Orlicz-Petty projection inequality related to $\Pi_{\Phi_Q}^{m, *} (K)$. Although $\Phi_Q$ may not be strictly convex, we characterize the equality under the additional assumption on $Q$ and $\phi$, such as $Q\in \mathcal{K}_{(o)}^{1,m}$ and the strict convexity of $\phi$.