A strengthening of the Blaschke-Santal\'o inequality for $o$-symmetric planar convex bodies

TL;DR

This paper proves a strengthened version of the Blaschke-Santaló inequality for symmetric planar convex bodies, establishing a new bound involving John and Löwner ellipses with optimal error terms.

Contribution

It introduces a new inequality that enhances the classical Blaschke-Santaló inequality specifically for o-symmetric convex bodies in the plane, with optimal error bounds.

Findings

Verified the inequality for o-symmetric bodies in 

Identified limitations for non-symmetric or higher-dimensional cases

Provided a stronger inequality with optimal error term

Abstract

We verify the inequality $$ \frac{|K|}{|E|}+\frac{|K^*|}{|E^*|}\leq 2 $$ for any $o$-symmetric convex body $K\subset\mathbb{R}^2$ where $E$ is either the John ellipse of maximal area contained in $K$ or the minimal area L\"owner ellipse containing $K$. The analogous estimate may not hold if $K$ is a planar but the assumption of $o$-symmetry is dropped, or if $K$ is $o$-symmetric convex body in $\mathbb{R}^n$ for $n\geq 3$. Our new inequality strengthens the Blaschke-Santal\'o inequality for $o$-symmetric convex bodies $K\subset\mathbb{R}^2$ with an error term of optimal order.