Abstract:Given a lamina $K$ whose boundary $\partial K$ is convex we define the Bonnesen functional by integrating over the position and orientation of a disk of radius $r$ its intersections with the lamina and its boundary. \[ B(r) = \frac{1}{2\pi}\int (\frac{n}{2}-\nu)dx\,dy\,d\theta =rL-A-\pi r^2\] where $n$ is the number of intersections of the boundary of $K$ with the boundary of the disk and $\nu$ (with values either 0 or 1) is the number of intersections of the interiors. Analyzing the interval on which $B(r)\ge 0$ leads to a number of isoperimetric inequalities. For example Santalo observed that $B(r)$ is non-negative on $[r_{in},r_{out}]$ where $r_{in}$, the inradius, is the largest disk contained in $K$ and $r_{out}$, the outradius, is the smallest disk containing $K$. For this configuration if the bodies intersect than their boundaries must intersect in 2 or more points (generically) so the integrand is always non-negative and $B(r)\ge 0$. In this paper we show that $B(r)\ge 0$ on the interval$[\rho_{in}, \rho_{out}]$ where these are the inner and outer radii of the annulus of minimal width which surrounds $\partial K$. In this case the integrand is not always positive but we carefully analyze the integral and use an ``averaging trick'' to balance regions where the integrand is negative with regions where the integrand is positive to show that $B(r)\ge 0$ The final isoperimetric inequalities obtained are not new, the same results have been obtained by cleverly cutting $\partial K$ and doubling it to create two centrally symmetric curves and analyzing those, but I believe that the averaging trick is new in this context. The paper also reviews the concept of ``positive centers'' and shows how the isoperimetric inequalities can be used to the show that the final shape of the curve shortening flow in Euclidean and Minkowski geometries are respectively the disk and the isoperimetrix.

Santaló Geometry of Convex Polytopes

Geometric Representation of Classes of Concave Functions and Duality

Santalo region of a log-concave function

On the Hilbert Geometry of Convex Polytopes

Polygons of the Lorentzian plane and spherical simplexes

Dualities in Convex Algebraic Geometry

A Santaló inequality for the $L^p$-polar body

SION'S MINIMAX THEOREM IN GEODESIC METRIC SPACES AND A RIEMANNIAN EXTRAGRADIENT ALGORITHM

Volume growth of Funk geometry and the flags of polytopes

Small perturbations of polytopes

Minkowski's successive minima in convex and discrete geometry

Bounding minimal solid angles of polytopes

Geometry of convex geometries

Convexity properties of sections of 1-symmetric bodies and Rademacher sums

Maximal perimeters of polytope sections and origin-symmetry

Logarithms and Volumes of Polytopes

Volume Maximization and the Extended Hyperbolic Space

Narrowing the gaps of the missing Blaschke-Santaló diagrams

A new trick for for Santalo's integral geometric proof of the strong Bonnesen inequality

Spurious local minima in nonconvex sum-of-squares optimization

Generalized Polyhedral Convex Optimization Problems