Some functional inverse Santaló inequalities (Q932166): Difference between revisions

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.