Sharp quantitative stability for the Borell-Brascamp-Lieb inequality (and hence Prékopa-Leindler) is proven: near-equality of the integral implies an O(√δ) L1-distance to a p-concave function.
Improved stability versions of the Pr\'ekopa-Leindler inequality
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
We consider the problem of stability for the Pr\'ekopa-Leindler inequality. Exploiting properties of the transport map between radially decreasing functions and a suitable functional version of the trace inequality, we obtain a uniform stability exponent for the Pr\'ekopa-Leindler inequality. Our result yields an exponent not only uniform in the dimension but also in the log-concavity parameter $\tau = \min(\lambda,1-\lambda)$ associated with its respective version of the Pr\'ekopa-Leindler inequality. As a further application of our methods, we prove a sharp stability result for log-concave functions in dimension 1, which also extends to a sharp stability result for log-concave radial functions in higher dimensions.
fields
math.FA 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Sharp Quantitative Stability for the Pr\'ekopa-Leindler and Borell-Brascamp-Lieb Inequalities
Sharp quantitative stability for the Borell-Brascamp-Lieb inequality (and hence Prékopa-Leindler) is proven: near-equality of the integral implies an O(√δ) L1-distance to a p-concave function.