Stability of the Prékopa-Leindler inequality for log-concave functions (Q2039563)

The main result is Theorem 1.4, whose statement is as follows: For some absolute constant \(c>1\), if \(\tau\in(0,1/2]\), \(\tau\leq\lambda\leq1-\tau\), \(h, f, g :\mathbb{R}^{n}\rightarrow [0,\infty)\) are integrable functions such that \(h((1-\lambda)x+\lambda y)\geq f(x)^{1-\lambda }g(y)^{\lambda}\) for \(x,y\in\mathbb{R}^{n}\), \(h\) is log-concave and \(\int_{\mathbb{R}^{n}}h\mathrm{d}x\leq(1+\varepsilon)\left( \int _{\mathbb{R}^{n}}f\mathrm{d}x\right) ^{1-\lambda}\left( \int_{\mathbb{R} ^{n}}g\mathrm{d}x\right) ^{\lambda}\) for some \(\varepsilon\in(0,1],\) then there exists \(w\in\mathbb{R}^{n}\) such that letting \(a=\int_{\mathbb{R}^{n} }g\mathrm{d}x/\int_{\mathbb{R}^{n}}f\mathrm{d}x\) the following two inequalities hold true: \begin{itemize} \item[(i)] \(\int_{\mathbb{R}^{n}} |f(x)-a^{-\lambda }h(x-\lambda w)| \mathrm{d}x\leq c^{n}n^{n}(\varepsilon/\tau )^{1/19}\int_{\mathbb{R}^{n}}f\mathrm{d}x\); and \item[(ii)] \(\int_{\mathbb{R}^{n} } |g(x)-a^{1-\lambda}h(x+(1-\lambda)w)| \mathrm{d}x\leq c^{n}n^{n}(\varepsilon/\tau)^{1/19}\int_{\mathbb{R}^{n}}g\mathrm{d}x\). \end{itemize} If \(f\) and \(g\) are log-concave, then this result holds for \(h(z)=\sup \{ f(x)^{1-\lambda}g(y)^{\lambda}:z=(1-\lambda)x+\lambda y\} \). This improves an earlier result due to \textit{K. M. Ball} and \textit{K. J. Böröczky} [Monatsh. Math. 163, No. 1, 1--14 (2011; Zbl 1217.60014)]. Based on the above theorem, the authors prove a stability version of the classical Prékopa-Leindler inequality in the case of log-concave functions. Very interesting are also the fundamental estimates for log-concave functions presented in section 4.