On the stochastic proof of the Blaschke-Santaló inequality

Abstract

In 2024, Courtade, Fathi and Mikulincer gave a proof of the symmetrized Talagrand inequality based on stochastic calculus, in the spirit of Borell's proof of the Prékopa-Leindler inequality. The symmetrized Talagrand inequality can be seen as a dual form of the functional Santaló inequality. The modest purpose of this note is to give a simplified version of the Courtade, Fathi and Mikulincer argument. Namely we first recall briefly Borell's original argument, and we then explain a simple twist in his proof that allows to recover the functional Santaló inequality directly, rather than in its dual form.