Isoperimetric inequality

Isoperimetric inequality
Name	Isoperimetric inequality
Field	Mathematics
Introduced	Antiquity
Notable	Steiner, Dido, Pappus, Bonnesen, Weierstrass

Isoperimetric inequality The isoperimetric inequality relates perimeter and area in Euclidean space, asserting that among planar regions with fixed perimeter the circle encloses maximal area, and among regions with fixed area the circle minimizes perimeter. The result connects classical problems attributed to Dido and Pappus of Alexandria with rigorous modern analysis involving figures such as Jakob Steiner, Karl Weierstrass, and Henri Poincaré. Statements extend through works of Lord Rayleigh, David Hilbert, Henri Lebesgue, and Ludwig Bieberbach into geometric measure theory associated with Federer and Georgi Perelman.

Statement and formulations

Several equivalent formulations appear in the literature: in the plane the inequality asserts 4πA ≤ L^2 for a region with area A and perimeter L, with equality for the circle studied by Steiner and featured in treatises by Euler and Gauss. Higher-dimensional Euclidean variants use surface area S and volume V, producing the inequality S^n ≥ C_n V^{n-1} with sharp constant determined by the unit ball analyzed by Isaac Newton and later by Joseph-Louis Lagrange. Variants appear in Riemannian geometry where curvature from Bernhard Riemann and comparison theorems of Hermann Weyl modify the constants; formulations also arise in convex geometry via inequalities of Bonnesen and in functional analytic forms related to the Sobolev inequality studied by Sergei Sobolev and Elias Stein.

Historical background

The classical isoperimetric question traces to ancient Mediterranean legends of Dido and engineering expositions by Pappus of Alexandria and Archimedes. Rigorous approaches developed in the 19th century with contributions from Steiner who provided geometric arguments, and critiques by Weierstrass who emphasized analytic precision. The calculus of variations era, influenced by Joseph Plateau, Siméon Denis Poisson, and Karl Weierstrass, recast the problem, while 20th‑century treatments by Henri Lebesgue, Emmy Noether, and David Hilbert integrated measure theory and functional analysis into proofs. Subsequent refinements and inequalities named after Bonnesen and F. B. Fuller further clarified quantitative stability and perimeter bounds.

Proofs and methods

Proof techniques are diverse: classical geometric rearrangement methods used by Steiner and rearrangement inequalities developed by Paul Lévy compare symmetric decreasing rearrangements; calculus of variations approaches through Euler–Lagrange frameworks owe to Lagrange and Weierstrass. Modern proofs employ symmetrization via the Schwarz symmetrization technique linked to Joseph Fourier analyses and to concentration compactness ideas associated with Pierre-Louis Lions. Geometric measure theory proofs use currents and varifolds introduced by Herbert Federer and William Fleming, while optimal transport approaches leveraging the work of Cédric Villani and Yann Brenier yield alternative derivations. Discrete and combinatorial analogues relate to isoperimetric problems on graphs studied by Paul Erdős and Béla Bollobás.

Equality cases and rigidity

Equality is rigid: in Euclidean space equality holds precisely for balls (circles in the plane), a fact established in classical treatments by Steiner and given analytic rigor by Weierstrass and Hilbert. Rigidity results connecting uniqueness up to translations and rotations rely on characterizations from convex geometry by Aleksandr Danilovich Alexandrov and stability analyses by T. Bonnesen and Ludwig Bieberbach. In Riemannian settings, rigidity phenomena tie to comparison theorems of Cheeger and Gromov and to sphere theorems associated with John Milnor and Michael Gromov.

Generalizations and extensions

Generalizations include anisotropic isoperimetric inequalities studied in crystal shape analysis by Wulff and in capillarity problems examined by Thomas Young and Pierre-Simon Laplace. Manifold extensions incorporate curvature effects from Gauss and comparison techniques of Bishop and Gromov, while discrete and probabilistic analogues connect to concentration of measure results of Vitaly Milman and isoperimetry on groups investigated by Mikhail Gromov. Functional extensions encompass Sobolev and Poincaré inequalities investigated by Sergei Sobolev and Siméon Denis Poisson, and spectral forms relate to eigenvalue bounds addressed by Lord Rayleigh and Richard Courant.

Applications and related inequalities

Applications span physics and engineering from capillarity and minimal surface problems in studies by Joseph Plateau and Thomas Young to optimal design problems relevant to Isaac Newton‑era mechanics and modern computational geometry used in algorithms by Donald Knuth. In analysis the isoperimetric inequality underpins Sobolev inequalities of Emmanuel Brezis and Elias Stein, concentration inequalities of Michel Talagrand, and heat kernel bounds related to work by Alexander Grothendieck and Daniel Stroock. Related geometric inequalities include the Brunn–Minkowski inequality by Hermann Brunn and Adolf Minkowski, the Bonnesen inequality, and Mahler's inequality studied by Kurt Mahler, all influential across convex geometry, partial differential equations, and metric geometry as pursued by Mikhael Gromov.

Category:Geometry