Dice Question Streamline Icon: https://streamlinehq.com

Stability of the Borell–Brascamp–Lieb inequality under near-equality

Determine whether near-equality in the Borell–Brascamp–Lieb inequality h((1 − λ)y + λz) ≥ M_α(f(y), g(z); λ) with the integral inequality ∫ h ≥ M_{α/(1+nα)}(∫ f, ∫ g; λ) implies that the functions f, g, and h are close (in an appropriate quantitative sense) to satisfying the equality characterization of Theorem 1.2; specifically, ascertain whether they must be close to being α-concave and homothetic to each other.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper recalls that rigidity and equality conditions for the Borell–Brascamp–Lieb inequality (BBL) are known (Dubuc’s theorem), and then poses the natural next step: stability. The authors formulate the concrete question of whether near-equality forces the participating functions to be approximately α-concave and approximately homothetic, emphasizing that these are distinct aspects.

They note that this stability problem is largely open, with only limited results available and few that address unrestricted classes of functions. The relevance extends to the stability of the Brunn–Minkowski inequality, which is more developed but still has recent breakthroughs beyond convex sets.

References

For BBL the question is the following: if the equality in (1.4) nearly holds (in certain sense), then must the three functions f,g,h almost satisfy the conditions dictated by [25]? In particular, are they necessarily close (in some suitable sense) to be α-concave and homothetic to each other? Notice that the two questions about α-concavity and homothety are distinct. This is an open and current subject of investigation and as far as we know, there are very few results regarding the stability of PL or more in general of BBL, most of them assuming α-concavity or however restricting to a special class of functions (see [4, 5,11, 13,26,37]). Moreover, apart from [60], which is however limited to the strengthened one dimensional case, we are not aware of any papers treating the stability in the case α < 0.

A parabolic PDE-based approach to Borell--Brascamp--Lieb inequality (2405.16721 - Ishige et al., 26 May 2024) in Section 1.1 (Introduction), after Theorem 1.2