A direct proof of the functional Santaló inequality

DOI10.1016/J.CRMA.2008.11.015MaRDI QIDQ1000653zbMATH OpenOpenAlexFDO

Publication date 10 February 2009

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1011.2140

Inequalities for sums, series and integrals (26D15) Inequalities and extremum problems involving convexity in convex geometry (52A40)

Abstract: We give a simple proof of a functional version of the Blaschke-Santalo inequality due to Artstein, Klartag and Milman. The proof is by induction on the dimension and does not use the Blaschke-Santalo inequality.

Review text

Let \(f\) be a non-negative, integrable function on \({\mathbb R}^n\), let \((\int f)^{-1}(\int f(x)x\,\text{d}x)\) denote its barycenter, and let \(f^\circ(x) := \inf_{y\in{\mathbb R}^n}(\text{e}^{-\langle x,y\rangle}f(y)^{-1})\) be its polar function. Extending the Blaschke--Santaló inequality for convex bodies, it was proved by \textit{S. Artstein-Avidan, B. Klartag} and \textit{V. Milman} [Mathematika 51, No. 1--2, 33--48 (2004; Zbl 1121.52021)] (and for even \(f\) earlier by Keith Ball) that, if \(f^\circ\) has barycenter \(0\), then \[ \int_{{\mathbb R}^n} f(x)\,\text{d}x \int_{{\mathbb R}^n} f^\circ(y)\,\text{d}y \leq \left( \int_{{\mathbb R}^n} \text{e}^{-\frac{1}{2}|x|^2}\text{d}x \right)^2 = (2\pi)^n. \] The present paper gives short proofs for more general versions of this inequality.

Recommendations

Cites work

Cited in

(44)

This page was built for publication: A direct proof of the functional Santaló inequality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1000653)