Isoperimetric inequality

The isoperimetric inequality is a geometric inequality involving the square of the circumference of a closed curve in the plane and the area of a plane region it encloses, as well as its various generalizations. Isoperimetric literally means "having the same perimeter". The isoperimetric problem is to determine a plane figure of the largest possible area whose boundary has a specified length. A closely related Dido's problem asks for a region of the maximal area bounded by a straight line and a curvilinear arc whose endpoints belong to that line. It is named after Dido, the legendary founder and first queen of Carthage. The solution to isoperimetric problem is given by a circle and was known already in Ancient Greece. However, the first mathematically rigorous proof of this fact was obtained only in the 19th century. Since then, many other proofs have been found, some of them stunningly simple. The isoperimetric problem has been extended in multiple ways, for example, to curves on surfaces and to regions in higher-dimensional spaces.

The isoperimetric problem in the plane

The classical isoperimetric problem dates back to antiquity. The problem can be stated as follows: Among all closed curves in the plane of fixed perimeter, which curve (if any) maximizes the area of its enclosed region? This question can be shown to be equivalent to the following problem: Among all closed curves in the plane enclosing a fixed area, which curve (if any) minimizes the perimeter?

This problem is conceptually related to the principle of least action in physics, in that it can be restated: what is the principle of action which encloses the greatest area, with the greatest economy of effort? The 15th-century philosopher and scientist, Cardinal Nicholas of Cusa, considered rotational action, the process by which a circle is generated, to be the most direct reflection, in the realm of sensory impressions, of the process by which the universe is created. German astronomer and astrologer Johannes Kepler invoked the isoperimetric principle in discussing the morphology of the solar system, in Mysterium Cosmographicum (The Sacred Mystery of the Cosmos, 1596).

Although the circle appears to be an obvious solution to the problem, proving this fact is rather difficult. The first progress toward the solution was made by Swiss geometer Jakob Steiner in 1838, using a geometric method later named Steiner symmetrisation.^{[citation needed]} Steiner showed that if a solution existed, then it must be the circle. Steiner's proof was completed later by several other mathematicians.

Steiner begins with some geometric constructions which are easily understood; for example, it can be shown that any closed curve enclosing a region that is not fully convex can be modified to enclose more area, by "flipping" the concave areas so that they become convex. It can further be shown that any closed curve which is not fully symmetrical can be "tilted" so that it encloses more area. The one shape that is perfectly convex and symmetrical is the circle, although this, in itself, does not represent a rigorous proof of the isoperimetric theorem (see external links).

The isoperimetric inequality

The solution to the isoperimetric problem is usually expressed in the form of an inequality that relates the length L of a closed curve and the area A of the planar region that it encloses. The isoperimetric inequality states that

Failed to parse (Missing texvc executable; please see math/README to configure.): 4\pi A \le L^2,

and that the equality holds if and only if the curve is a circle. Indeed, the area of a disk of radius R is πR² and the circumference of the circle is 2πR, so both sides of the inequality are equal to 4π²R² in this case.

Dozens of proofs of the isoperimetric inequality have been found. In 1902, Hurwitz published a short proof using the Fourier series that applies to arbitrary rectifiable curves (not assumed to be smooth). An elegant direct proof based on comparison of a smooth simple closed curve with an appropriate circle was given by E. Schmidt in 1938. It uses only the arc length formula, expression for the area of a plane region from Green's theorem, and the Cauchy–Schwarz inequality.

Generalizations

• A stronger version of the inequality is Bonnesen's inequality, giving an estimate on the isoperimetric defect, the difference between L² and 4πA in terms of the radii of the inscribed and circumscribed circles.

• The isoperimetric theorem generalises to surfaces in the three-dimensional Euclidean space. Among all simple closed surfaces with given surface area, the sphere encloses a region of maximal volume. An analogous statement holds in Euclidean spaces of any dimension, with the sphere replaced by the ball.

• Modern formulations of isoperimetric problems are sometimes given in terms of sub-Riemannian geometry; Dido's problem specifically finds expression in terms of the Heisenberg group: given an arc connecting two points, the "height" z of a point in the Heisenberg group corresponds to the area subtended by the arc.^{[citation needed]}

Isoperimetric inequalities in a metric measure space

Most of the work on isoperimetric problem has been done in the context of smooth regions in Euclidean spaces, or more generally, in Riemannian manifolds. However, the isoperimetric problem can be formulated in much greater generality, using the notion of Minkowski content. Let Failed to parse (Missing texvc executable; please see math/README to configure.): \scriptstyle(X,\, \mu,\, d)

be a metric measure space: X is a metric space with metric d, and μ is a Borel measure on X. The boundary measure, or Minkowski content, of a measurable subset A of X is defined as the lim inf 

Failed to parse (Missing texvc executable; please see math/README to configure.): \mu^+(A) = \liminf_{\varepsilon \to 0+} \frac{\mu(A_\varepsilon) - \mu(A)}{2\varepsilon},

where

Failed to parse (Missing texvc executable; please see math/README to configure.): A_\varepsilon = \{ x \in X \, | \, d(x, A) \leq \varepsilon \}

is the ε-extension of A.

The isoperimetric problem in X asks how small can Failed to parse (Missing texvc executable; please see math/README to configure.): \scriptstyle\mu^+(A)

be for a given μ(A). If X is the Euclidean plane with the usual distance and the Lebesgue measure then this question generalizes the classical isoperimetric problem to planar regions whose boundary is not necessarily smooth, although the answer turns out to be the same.

The function

Failed to parse (Missing texvc executable; please see math/README to configure.): I(a) \,=\, \inf \{ \mu^+(A) \, | \, \mu(A)\, =\, a\}

is called the isoperimetric profile of the metric measure space Failed to parse (Missing texvc executable; please see math/README to configure.): \scriptstyle(X,\, \mu,\, d) . Isoperimetric profiles have been studied for Cayley graphs of discrete groups and for special classes of Riemannian manifolds (where usually only regions A with regular boundary are considered).

References

• Blaschke and Leichtweiß, Elementare Differentialgeometrie (in German), 5th edition, completely revised by K. Leichtweiß. Die Grundlehren der mathematischen Wissenschaften, Band 1. Springer-Verlag, New York Heidelberg Berlin, 1973 ISBN 0-387-05889-3
• Burago (2001), "Isoperimetric inequality", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104
• H. Hadwiger, Vorlesungen über Inhalt, Oberfläche und Isoperimetrie (in German), Springer-Verlag, Berlin Göttingen Heidelberg, 1957
• Robert Osserman, The isoperimetric inequality. Bull. Amer. Math. Soc. 84 (1978), no. 6, 1182–1238

See also

• Isoperimetric dimension
• Chaplygin problem
• Gaussian isoperimetric inequality
• Spherical isoperimetric inequality
• Lévy-Gromov inequality
• Expander graph

External links

• History of the Isoperimetric Problem at Convergence
• Treiberg: Several proofs of the isoperimetric inequality

• Isoperimetric Theorem at cut-the-knotbg:Изопериметрична задача

cs:Izoperimetrický problém de:Isoperimetrische Ungleichung es:Isoperimetría fr:Théorème isopérimétrique it:Isoperimetria hu:Izoperimetrikus egyenlőtlenség fi:Isoperimetrinen epäyhtälö