Partitions and functional Santaló inequalities

From MaRDI portal
(Redirected from Publication:1016499)



Abstract: We give a direct proof of a functional Santalo inequality due to Fradelizi and Meyer. This provides a new proof of the Blaschke-Santalo inequality. The argument combines a logarithmic form of the Prekopa-Leindler inequality and a partition theorem of Yao and Yao.


For a compact set \(K\subset\mathbb{R}^n,\) the Blaschke-Santaló inequality states [see \textit{L.A. Santaló}, Portugaliae Math. 8, 155--161 (1949; Zbl 0038.35702)] the existence of a point \(z\in\mathbb{R}^n\) (so-called a Santaló point for \(K\)) such that \[ \text{vol}_n(K)\text{vol}_n(K-z)^{\mathrm{o}}\leq v_{n}^{2}, \] where with \(\text{vol}_n(\cdot)\) is meant the Lebesgue measure on \(\mathbb{R}^n,\) \((K-z)^{\text{o}}\) is the polar of \((K-z)\) (that is, the points \(x\in\mathbb{R}^n\) holding that the scalar product \(x\cdot y\) is less than or equal to \(1\) for all \(y\in (K-z)\)), and \(v_{n}^{2}\) is the volume of the Euclidean ball \(B_{2}^{n}.\) In the literature there exist a considerable number of results providing functional versions of Blaschke-Santaló inequality. One of them is due to \textit{M. Fradelizi} and \textit{M. Meyer} [Math. Z. 256, 379--395 (2007; Zbl 1128.52007)]. Now the author gives a new direct proof of the Fradelizi-Meyer inequality, ``in the sense that it does not use the Blaschke-Santaló inequality; it is based on a special form of the Prépoka-Leindler inequality -- a logarithmic form -- ``and on a partition theorem due to \textit{A. C. Yao} and \textit{F. F. Yao} [``A general approach to \(d\)-dimensional geometric queries, Proceedings of the Seventeenth annual ACM symposium on Theory of Computing, ACM Press, 163--168 (1985)].




Cited in
(25)








This page was built for publication: Partitions and functional Santaló inequalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1016499)