Functional inequalities related to Mahler's conjecture (Q2655197)

The so-called Mahler's conjecture, a geometric inequality involving convex bodies in \(\mathbb R^n\), is strictly related to some functional inequalities. In this paper, the authors investigate two of these in Theorems 1 and 2. In particular, Theorem 1 extends to any positive \(m\) and with different techniques a result due to \textit{M. Meyer} and \textit{S. Reisner} [Monatsh. Math. 125, No. 3, 219--227 (1998; Zbl 0903.52007)]. In Theorem 2, the same techniques are applied to obtain a simpler proof of a result due to \textit{M. Fradelizi} and \textit{M. Meyer} [Positivity 12, No. 3, 407--420 (2008; Zbl 1152.52002)]: Theorem 1. Let \(g:\mathbb R\to\mathbb R_+\) be a function concave on its support, and such that \(0<\int_{\mathbb R}g<+\infty\). For every \(m>0\), one has \[ \int_{\mathbb R}g(x)^m\,dx\int_{\mathbb R}(g^{*z}(y))^m \,dy\geq {(m+2)^{m+2}\over (m+1)^{m+3}},\quad\forall z\in\mathbb R, \] with equality for some \(z\in\mathbb R\) if and only if for some \(\alpha\neq 0\), \(\beta\in\mathbb R\) and \(\gamma>0\), for every \(x\in\mathbb R\), \[ g(\alpha x+\beta)=\gamma(1-x){ 1}_{[0,1]}(x) \] (\(g^{*z}(y)=\inf_{\{x:g(x)>0\}}{(1-\langle x-z,y\rangle)_+\over g(x)}\)). Theorem 2. Let \(\varphi:\mathbb R\to\mathbb R\cup \{+\infty\}\) be a convex function such that \(0<\int_{\mathbb R}e^{-\varphi(x)}\,dx<+\infty\). Then \[ \int_{\mathbb R}e^{-\varphi(x)}\,dx\int_{\mathbb R}e^{-{\mathcal L}^z\varphi(y)}\,dy\geq e,\quad \forall z\in {\mathbb R}, \] with equality for some \(z\in\mathbb R\) if and only if for some \(\alpha\neq 0\), \(\beta\in\mathbb R\) and \(\delta\in\mathbb R\), \[ \varphi(\alpha x+\beta)= \begin{cases} x+\delta,&x>0,\\ +\infty,&x<0\end{cases} \] (\({\mathcal L}^z\) denotes the Légendre transform of \(\varphi\) with respect to \(z\)).