Table of Contents
Fetching ...

Extremal affine surface areas in a functional setting

Stephanie Egler, Elisabeth M. Werner

Abstract

We introduce extremal affine surface areas in a functional setting. We show their main properties. Among them are linear invariance, isoperimetric inequalities and monotonicity properties. We establish a new duality formula, which shows that the maximal (resp. minimal) inner affine surface area of an $s$-concave function on $\mathbb{R}^n$ equals the maximal (resp. minimal) outer affine surface area of its Legendre polar. We estimate the ``size" of these quantities: up to a constant depending on $n$ and $s$ only, the extremal affine surface areas are proportional to a power of the integral of $f$. This extends results obtained in the setting of convex bodies. We recover and improve those as a corollary to our results.

Extremal affine surface areas in a functional setting

Abstract

We introduce extremal affine surface areas in a functional setting. We show their main properties. Among them are linear invariance, isoperimetric inequalities and monotonicity properties. We establish a new duality formula, which shows that the maximal (resp. minimal) inner affine surface area of an -concave function on equals the maximal (resp. minimal) outer affine surface area of its Legendre polar. We estimate the ``size" of these quantities: up to a constant depending on and only, the extremal affine surface areas are proportional to a power of the integral of . This extends results obtained in the setting of convex bodies. We recover and improve those as a corollary to our results.
Paper Structure (24 sections, 13 theorems, 186 equations)

This paper contains 24 sections, 13 theorems, 186 equations.

Key Result

Proposition 2

CFGLSW Let $s > 0$ and $f \in C_s(\mathbb{R}^n)$. (i) For all linear maps $T: \mathbb{R}^n \rightarrow \mathbb{R}^n$ and for all $\lambda \in \mathbb{R}$, Moreover, for all $\alpha \in \mathbb{R}$, $\alpha > 0$, $as_\lambda^{(s)}( \alpha \, f ) = \alpha^{1-2 \lambda}\, as_\lambda ^{(s)}(f)$. (ii) Let $f \in {\mathit C}_s^+(\mathbb R^n)$. Then Equality holds in the first inequality if $\lambda=0

Theorems & Definitions (25)

  • Definition 1
  • Proposition 2
  • Lemma 3
  • Definition 4
  • Proposition 5
  • proof
  • Theorem 6
  • Lemma 7
  • proof
  • Theorem 8
  • ...and 15 more