Some functional inverse Santaló inequalities

Integration of real functions of several variables: length, area, volume (26B15) Convexity of real functions of several variables, generalizations (26B25) Length, area and volume in real or complex geometry (51M25) Length, area, volume and convex sets (aspects of convex geometry) (52A38) Inequalities and extremum problems involving convexity in convex geometry (52A40) Convex functions and convex programs in convex geometry (52A41)

Review text

Let \(K\subset\mathbb{R}^n\) be a convex body and \(K^z:= \{y\in\mathbb{R}^n\mid\langle x- z,y- z\rangle\leq 1\;\forall x\in\mathbb{R}^n\}\) be its polar with respect to the point \(z\in\mathbb{R}^n\). By the Blaschke-Santaló inequality it is \[ P(K):= \min_{z\in\mathbb{R}^n}(|K|\,|K^z|)\leq P(B^n_2), \] where \(B^n_2\) is the Euclidean ball in \(\mathbb{R}^n\) and \(|\cdot|\) stands for the Lebesgue measure of a set. With respect to the converse conjectures there are two known conjectures: (1) If \(K\) is centrally symmetric, then \(P(K)\geq P(B^n_1)={4^n\over n!}\). (2) For general \(K\) it is \(P(K)\geq P(\Delta^n)= {(n+1)^{n+1}\over (n!)^2}\). Here \(B^n_1\) and \(\Delta^n\) are the \(\|\cdot\|_1\)-ball and the non-degenerated simplex in \(\mathbb{R}^n\) respectively. In the present paper, functional versions of these inequalities are presented replacing the convex body \(K\subset\mathbb{R}^n\) by a log-concave function \(f: \mathbb{R}^n\to\mathbb{R}_+\) and replacing polarity by the Legendre transform according to \[ \begin{gathered}{\mathcal L}^z(-\ln f)(y):= \sup_{x\in\mathbb{R}^n}\langle x-z, y-z\rangle+ \ln f(x),\\ f^z(y):= e^{-{\mathcal L}^z(-\ln f)(y)}= \underset{x\in\mathbb{R}^n}{}{\text{inf}} e^{-\langle x-z,y- z\rangle}/f(x).\end{gathered} \] It is known that \[ P(f):= \underset{z\in \mathbb{R}^n}{}{\text{inf}}\Biggl(\int_{\mathbb{R}^n} f(x)\,dx\,\int_{\mathbb{R}^n} f^z(y)\,dy\Biggr)\leq P(e^{-{1\over 2}\|\cdot\|^2_2}). \] Regarding the converse inequalities, the authors give the following conjectures: (1\('\)) If \(f\) is an even function, then \(P(f)\geq P(e^{-\|\cdot\|_1})= 4^n\). (2\('\)) For general \(f\) it is \(P(f)\geq P(\mathbf{1}_{[-1,+\infty)^n}(x)\cdot e^{-\sum^n_{i=1} x_i})= e^n\). Close relations between the conjectures (1) and (1\('\)), and between (2) and (2\('\)) are shown. Specially for the case \(n= 1\), it is pointed out that the conjecture (2\('\)), i.e. the inequality \(P(f)\geq e\) is true. In case of \(n\geq 1\), the conjectures (1\('\)) and (2\('\)) are proved for functions with special properties.

Recommendations

Cites work

Cited in

(34)

This page was built for publication: Some functional inverse Santaló inequalities

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