The improved isoperimetric inequality and the Wigner caustic of planar ovals

Abstract

The classical isoperimetric inequality in the Euclidean plane ${\mathbb{R}}^2$ states that for a simple closed curve $M$ of the length $L_M$, enclosing a region of the area $A_M$, one gets \begin{align*} L_{M}^2\geqslant 4πA_{M}. \end{align*} In this paper we present the improved isoperimetric inequality, which states that if $M$ is a closed regular simple convex curve, then \begin{align*} L_{M}^2\geqslant 4πA_{M}+8π\left|\widetilde{A}_{E_{\frac{1}{2}}(M)}\right|, \end{align*} where ${\tilde{A}}_{E_{\frac{1}{2}}(M)}$ is an oriented area of the Wigner caustic of $M$, and the equality holds if and only if $M$ is a curve of constant width. Furthermore we also present a stability property of the improved isoperimetric inequality (near equality implies curve nearly of constant width). The Wigner caustic is an example of an affine $\lambda$-equidistant (for $\lambda =\frac{1}{2}$) and the improved isoperimetric inequality is a consequence of certain bounds of oriented areas of affine equidistants.

15 pages, 4 figures

Cited by in corpus (7)

• A note on Hurwitz's inequality
• Singular points of the Wigner caustic and affine equidistants of planar curves
• The Gauss-Bonnet Theorem for coherent tangent bundles over surfaces with boundary and its applications
• The Constant Width Measure Set, the Spherical Measure Set and isoperimetric equalities for planar ovals
• Isoperimetric equalities for rosettes
• The Geometry of the Wigner Caustic and a Decomposition of a Curve Into Parallel Arcs
• The Geometry of the Secant Caustic of a Planar Curve