Stability of the functional forms of the Blaschke-Santaló inequality (Q2436043): Difference between revisions

Let \(\rho:\mathbb{R}_+ \longrightarrow \mathbb{R}_+\) and \(f,g:\mathbb{R}^n \longrightarrow \mathbb{R}_+\) be log-concave functions with positive integrals. Assume that there exists \(z\in \mathbb{R}^n\) such that the mass centre of the convex set \(\{ x\in \mathbb{R}^n \, : \, \int _{\mathbb{R}_+} r^{n-1} f(z+rx) dx \geq 1\} \) is the origin. Suppose moreover that \(\rho\) is non-increasing and \(f(x)g(y) \leq \rho ^2 \bigl((x-z,y-z)\bigr)\) for all \(x,y\in \mathbb{R}^n\) with \((x-z,y-z) >0\). If for \(\varepsilon > 0\) one has \[ (1+\varepsilon) \int _{\mathbb{R}^n} f(x)dx \int _{\mathbb{R}^n} g(y)dy \geq \left( \int _{\mathbb{R}^n}\rho (| x |^2) d x \right)^2 \] then there exist \(\xi > 0\) and a positive definite \(n\times n\) matrix \(T\) such that \[ \int _{\mathbb{R}^n} \left | \rho ( | x |^2) - \xi f(Tx+z)\right | dx < \gamma \, C \int _{\mathbb{R}_+} r^{n-1} \rho (r^2) dr, \] \[ \int _{\mathbb{R}^n} \left| \rho ( | x |^2) - \xi^{-1} g(T^{-1}x+z)\right | dx < \gamma \, C \int _{\mathbb{R}_+} r^{n-1} \rho (r^2) dr, \] where \(\gamma\) depends only on \(n\) and \(C=\varepsilon ^{1/(32n^2)}\). This result entails stability version for the functional form of the Blaschke-Santaló inequality for concave (and even only measurable) functions \(\mathbb{R}^n \longrightarrow \mathbb{R}\). The authors mention their belief that in the main result \(C\) depends on \(\varepsilon\) only.