Blaschke-Santaló inequality for many functions and geodesic barycenters of measures (Q2071631)

The starting point of this investigation is the functional extension of the Blaschke-Santaló inequality, saying that \(\int e^{-V(x)}dx\int e^{-W(y)}dy \le (2\pi)^n\) holds for any two measurable even real functions on \({\mathbb R}^n\) for which \(V(x)+W(y)\ge \langle x,y\rangle\) and the integrals are positive and finite. The authors conjecture an extension to \(k\ge 2\) functions, namely \[ \prod_{i=1}^k \int_{{\mathbb R}^n} f_i(x_i)dx_i \le \left(\int_{{\mathbb R}^n} \rho^{\frac{1}{k}}\left(\frac{k(k-1)}{2}|u|^2\right)du\right)^k\] for any even, measurable, integrable functions \(f_i:{\mathbb R}^n\to{\mathbb R}\) satisfying \[ \prod_{i=1}^k f_i(x_i)\le \rho\left(\sum_{1\le i<j\le k} \langle x_i,x_j\rangle\right)\] with a positive non-increasing function \(\rho\). They prove this for unconditional, nonnegative, measurable functions \(f_i\), under a condition on \(\rho\). For \(k>2\), the equality cases are characterized. The proof makes use of the Prékopa-Leindler inequality for many functions, to which some refinements are added. For \(k>2\) unconditional convex bodies, a generalization of the Blaschke-Santaló inequality is obtained. The main results are related to a broad spectrum of other topics; there are links to optimal transportation theory and to the barycenter problem for measures. Proved are an extension of Talagrand's transport-entropy inequality and affine isoperimetric inequalities for many sets and many functions. Among several further results, there is a monotonicity property of the multimarginal Blaschke-Santaló functional.