In mathematics, the **isoperimetric inequality** is a geometric inequality involving the perimeter of a set and its volume. In -dimensional space the inequality lower bounds the surface area or perimeter of a set by its volume ,

- The isoperimetric problem in the plane
- On a plane
- On a sphere
- In Rn
- In Hadamard manifolds
- In a metric measure space
- For graphs
- Example: Isoperimetric inequalities for hypercubes
- Isoperimetric inequality for triangles
- See also
- Notes
- References
- External links

- ,

where is a unit sphere. The equality holds only when is a sphere in .

On a plane, i.e. when , the isoperimetric inequality relates the square of the circumference of a closed curve and the area of a plane region it encloses. * Isoperimetric * literally means "having the same perimeter". Specifically in , the isoperimetric inequality states, for the length *L* of a closed curve and the area *A* of the planar region that it encloses, that

and that equality holds if and only if the curve is a circle.

The **isoperimetric problem** is to determine a plane figure of the largest possible area whose boundary has a specified length.^{ [1] } The 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 the 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.

The isoperimetric problem has been extended in multiple ways, for example, to curves on surfaces and to regions in higher-dimensional spaces. Perhaps the most familiar physical manifestation of the 3-dimensional isoperimetric inequality is the shape of a drop of water. Namely, a drop will typically assume a symmetric round shape. Since the amount of water in a drop is fixed, surface tension forces the drop into a shape which minimizes the surface area of the drop, namely a round sphere.

The classical *isoperimetric problem* dates back to antiquity.^{ [2] } 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*.^{ [3] } 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 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

and that the equality holds if and only if the curve is a circle. The area of a disk of radius *R* is *πR*^{2} and the circumference of the circle is 2*πR*, so both sides of the inequality are equal to 4*π*^{2}*R*^{2} 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.

For a given closed curve, the **isoperimetric quotient** is defined as the ratio of its area and that of the circle having the same perimeter. This is equal to

and the isoperimetric inequality says that *Q* ≤ 1. Equivalently, the isoperimetric ratio *L*^{2}/*A* is at least 4π for every curve.

The isoperimetric quotient of a regular *n*-gon is

Let be a smooth regular convex closed curve. Then the **improved isoperimetric inequality** states the following

where denote the length of , the area of the region bounded by and the oriented area of the Wigner caustic of , respectively, and the equality holds if and only if is a curve of constant width.^{ [4] }

Let *C* be a simple closed curve on a sphere of radius 1. Denote by *L* the length of *C* and by *A* the area enclosed by *C*. The **spherical isoperimetric inequality** states that

and that the equality holds if and only if the curve is a circle. There are, in fact, two ways to measure the spherical area enclosed by a simple closed curve, but the inequality is symmetric with the respect to taking the complement.

This inequality was discovered by Paul Lévy (1919) who also extended it to higher dimensions and general surfaces.^{ [5] }

In the more general case of arbitrary radius *R*, it is known^{ [6] } that

The isoperimetric inequality states that a sphere has the smallest surface area per given volume. Given a bounded set with surface area and volume , the isoperimetric inequality states

where is a unit ball. The equality holds when is a ball in . Under additional restrictions on the set (such as convexity, regularity, smooth boundary), the equality holds for a ball only. But in full generality the situation is more complicated. The relevant result of Schmidt (1949 , Sect. 20.7) (for a simpler proof see Baebler (1957)) is clarified in Hadwiger (1957 , Sect. 5.2.5) as follows. An extremal set consists of a ball and a "corona" that contributes neither to the volume nor to the surface area. That is, the equality holds for a compact set if and only if contains a closed ball such that and For example, the "corona" may be a curve.

The proof of the inequality follows directly from Brunn–Minkowski inequality between a set and a ball with radius , i.e. . By taking Brunn–Minkowski inequality to the power , subtracting from both sides, dividing them by , and taking the limit as (Osserman (1978); Federer (1969 , §3.2.43)).

In full generality ( Federer 1969 , §3.2.43), the isoperimetric inequality states that for any set whose closure has finite Lebesgue measure

where is the (*n*-1)-dimensional Minkowski content, *L ^{n}* is the

The *n*-dimensional isoperimetric inequality is equivalent (for sufficiently smooth domains) to the Sobolev inequality on with optimal constant:

for all .

Hadamard manifolds are complete simply connected manifolds with nonpositive curvature. Thus they generalize the Euclidean space , which is a Hadamard manifold with curvature zero. In 1970's and early 80's, Thierry Aubin, Misha Gromov, Yuri Burago, and Viktor Zalgaller conjectured that the Euclidean isoperimetric inequality

holds for bounded sets in Hadamard manifolds, which has become known as the Cartan–Hadamard conjecture. In dimension 2 this had already been established in 1926 by André Weil, who was a student of Hadamard at the time. In dimensions 3 and 4 the conjecture was proved by Bruce Kleiner in 1992, and Chris Croke in 1984 respectively.

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 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

where

is the ε-*extension* of *A*.

The isoperimetric problem in *X* asks how small can 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

is called the *isoperimetric profile* of the metric measure space . 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).

In graph theory, isoperimetric inequalities are at the heart of the study of expander graphs, which are sparse graphs that have strong connectivity properties. Expander constructions have spawned research in pure and applied mathematics, with several applications to complexity theory, design of robust computer networks, and the theory of error-correcting codes.^{ [7] }

Isoperimetric inequalities for graphs relate the size of vertex subsets to the size of their boundary, which is usually measured by the number of edges leaving the subset (edge expansion) or by the number of neighbouring vertices (vertex expansion). For a graph and a number , the following are two standard isoperimetric parameters for graphs.^{ [8] }

- The edge isoperimetric parameter:
- The vertex isoperimetric parameter:

Here denotes the set of edges leaving and denotes the set of vertices that have a neighbour in . The isoperimetric problem consists of understanding how the parameters and behave for natural families of graphs.

The -dimensional hypercube is the graph whose vertices are all Boolean vectors of length , that is, the set . Two such vectors are connected by an edge in if they are equal up to a single bit flip, that is, their Hamming distance is exactly one. The following are the isoperimetric inequalities for the Boolean hypercube.^{ [9] }

The edge isoperimetric inequality of the hypercube is . This bound is tight, as is witnessed by each set that is the set of vertices of any subcube of .

Harper's theorem^{ [10] } says that *Hamming balls* have the smallest vertex boundary among all sets of a given size. Hamming balls are sets that contain all points of Hamming weight at most and no points of Hamming weight larger than for some integer . This theorem implies that any set with

satisfies

^{ [11] }

As a special case, consider set sizes of the form

for some integer . Then the above implies that the exact vertex isoperimetric parameter is

^{ [12] }

The isoperimetric inequality for triangles in terms of perimeter *p* and area *T* states that^{ [13] }

with equality for the equilateral triangle. This is implied, via the AM–GM inequality, by a stronger inequality which has also been called the isoperimetric inequality for triangles:^{ [14] }

- ↑ Blåsjö, Viktor (2005). "The Evolution of the Isoperimetric Problem".
*Amer. Math. Monthly*.**112**(6): 526–566. doi:10.2307/30037526. JSTOR 30037526. - ↑ Olmo, Carlos Beltrán, Irene (4 January 2021). "Sobre mates y mitos".
*El País*(in Spanish). Retrieved 14 January 2021. - ↑ J. Steiner,
*Einfacher Beweis der isoperimetrischen Hauptsätze*, J. reine angew Math.**18**, (1838), pp. 281–296; and Gesammelte Werke Vol. 2, pp. 77–91, Reimer, Berlin, (1882). - ↑ Zwierzyński, Michał (2016). "The improved isoperimetric inequality and the Wigner caustic of planar ovals".
*J. Math. Anal. Appl*.**442**(2): 726–739. arXiv: 1512.06684 . doi:10.1016/j.jmaa.2016.05.016. S2CID 119708226. - ↑ Gromov, Mikhail; Pansu, Pierre (2006). "Appendix C. Paul Levy's Isoperimetric Inequality".
*Metric Structures for Riemannian and Non-Riemannian Spaces*. Modern Birkhäuser Classics. Dordrecht: Springer. p. 519. ISBN 9780817645830. - ↑ Osserman, Robert. "The Isoperimetric Inequality." Bulletin of the American Mathematical Society. 84.6 (1978) http://www.ams.org/journals/bull/1978-84-06/S0002-9904-1978-14553-4/S0002-9904-1978-14553-4.pdf
- ↑ Hoory, Linial & Widgerson (2006)
- ↑ Definitions 4.2 and 4.3 of Hoory, Linial & Widgerson (2006)
- ↑ See Bollobás (1986) and Section 4 in Hoory, Linial & Widgerson (2006)
- ↑ Cf. Calabro (2004) or Bollobás (1986)
- ↑ cf. Leader (1991)
- ↑ Also stated in Hoory, Linial & Widgerson (2006)
- ↑ Chakerian, G. D. "A Distorted View of Geometry." Ch. 7 in
*Mathematical Plums*(R. Honsberger, editor). Washington, DC: Mathematical Association of America, 1979: 147. - ↑ Dragutin Svrtan and Darko Veljan, "Non-Euclidean Versions of Some Classical Triangle Inequalities",
*Forum Geometricorum*12, 2012, 197–209. http://forumgeom.fau.edu/FG2012volume12/FG201217.pdf

In probability theory, the **expected value** is a generalization of the weighted average. Informally, the expected value is the arithmetic mean of a large number of independently selected outcomes of a random variable.

In mathematics, the ** L^{p} spaces** are function spaces defined using a natural generalization of the

In the mathematical field of real analysis, the **monotone convergence theorem** is any of a number of related theorems proving the convergence of monotonic sequences that are also bounded. Informally, the theorems state that if a sequence is increasing and bounded above by a supremum, then the sequence will converge to the supremum; in the same way, if a sequence is decreasing and is bounded below by an infimum, it will converge to the infimum.

In probability theory, **Chebyshev's inequality** guarantees that, for a wide class of probability distributions, no more than a certain fraction of values can be more than a certain distance from the mean. Specifically, no more than 1/*k*^{2} of the distribution's values can be *k* or more standard deviations away from the mean. The rule is often called Chebyshev's theorem, about the range of standard deviations around the mean, in statistics. The inequality has great utility because it can be applied to any probability distribution in which the mean and variance are defined. For example, it can be used to prove the weak law of large numbers.

In probability theory, **Markov's inequality** gives an upper bound for the probability that a non-negative function of a random variable is greater than or equal to some positive constant. It is named after the Russian mathematician Andrey Markov, although it appeared earlier in the work of Pafnuty Chebyshev, and many sources, especially in analysis, refer to it as Chebyshev's inequality or Bienaymé's inequality.

In Riemannian geometry, the **sectional curvature** is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature *K*(σ_{p}) depends on a two-dimensional linear subspace σ_{p} of the tangent space at a point *p* of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σ_{p} as a tangent plane at *p*, obtained from geodesics which start at *p* in the directions of σ_{p}. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.

In mathematics, **Jensen's inequality**, named after the Danish mathematician Johan Jensen, relates the value of a convex function of an integral to the integral of the convex function. It was proved by Jensen in 1906, building on an earlier proof of the same inequality for doubly-differentiable functions by Otto Hölder in 1889. Given its generality, the inequality appears in many forms depending on the context, some of which are presented below. In its simplest form the inequality states that the convex transformation of a mean is less than or equal to the mean applied after convex transformation; it is a simple corollary that the opposite is true of concave transformations.

In probability theory, a **Chernoff bound** is an exponentially decreasing upper bound on the tail of a random variable based on its moment generating function. The minimum of all such exponential bounds forms *the* Chernoff or **Chernoff-Cramér bound**, which may decay faster than exponential. It is especially useful for sums of independent random variables, such as sums of Bernoulli random variables.

In mathematics, the **isoperimetric dimension** of a manifold is a notion of dimension that tries to capture how the *large-scale behavior* of the manifold resembles that of a Euclidean space.

In mathematics, the **Brunn–Minkowski theorem** is an inequality relating the volumes of compact subsets of Euclidean space. The original version of the Brunn–Minkowski theorem applied to convex sets; the generalization to compact nonconvex sets stated here is due to Lazar Lyusternik (1935).

In mathematics, the **Grothendieck inequality** states that there is a universal constant with the following property. If *M*_{ij} is an *n* × *n* matrix with

In differential geometry, **Pu's inequality**, proved by Pao Ming Pu, relates the area of an arbitrary Riemannian surface homeomorphic to the real projective plane with the lengths of the closed curves contained in it.

In mathematics, a **space**, where is a real number, is a specific type of metric space. Intuitively, triangles in a space are "slimmer" than corresponding "model triangles" in a standard space of constant curvature . In a space, the curvature is bounded from above by . A notable special case is ; complete spaces are known as "Hadamard spaces" after the French mathematician Jacques Hadamard.

In Riemannian geometry, the **Cheeger isoperimetric constant** of a compact Riemannian manifold *M* is a positive real number *h*(*M*) defined in terms of the minimal area of a hypersurface that divides *M* into two disjoint pieces. In 1970, Jeff Cheeger proved an inequality that related the first nontrivial eigenvalue of the Laplace–Beltrami operator on *M* to *h*(*M*). This proved to be a very influential idea in Riemannian geometry and global analysis and inspired an analogous theory for graphs.

**Systolic geometry** is a branch of differential geometry, a field within mathematics, studying problems such as the relationship between the area inside a closed curve *C*, and the length or perimeter of *C*. Since the area *A* may be small while the length *l* is large, when *C* looks elongated, the relationship can only take the form of an inequality. What is more, such an inequality would be an upper bound for *A*: there is no interesting lower bound just in terms of the length.

In extremal graph theory, the **forbidden subgraph problem** is the following problem: given a graph , find the maximal number of edges an -vertex graph can have such that it does not have a subgraph isomorphic to . In this context, is called a **forbidden subgraph**.

The **exponential mechanism** is a technique for designing differentially private algorithms. It was developed by Frank McSherry and Kunal Talwar in 2007. Their work was recognized as a co-winner of the 2009 PET Award for Outstanding Research in Privacy Enhancing Technologies.

In mathematical analysis, the **Pólya–Szegő inequality** states that the Sobolev energy of a function in a Sobolev space does not increase under symmetric decreasing rearrangement. The inequality is named after the mathematicians George Pólya and Gábor Szegő.

In mathematics and theoretical computer science, **analysis of Boolean functions** is the study of real-valued functions on or from a spectral perspective. The functions studied are often, but not always, Boolean-valued, making them Boolean functions. The area has found many applications in combinatorics, social choice theory, random graphs, and theoretical computer science, especially in hardness of approximation, property testing, and PAC learning.

- 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 - Bollobás, Béla (1986).
*Combinatorics: set systems, hypergraphs, families of vectors, and combinatorial probability*. Cambridge University Press. ISBN 978-0-521-33703-8. - Burago (2001) [1994], "Isoperimetric inequality",
*Encyclopedia of Mathematics*, EMS Press - Calabro, Chris (2004). "Harper's Theorem" (PDF). Retrieved 8 February 2011.
- Capogna, Luca; Donatella Danielli; Scott Pauls; Jeremy Tyson (2007).
*An Introduction to the Heisenberg Group and the Sub-Riemannian Isoperimetric Problem*. Birkhäuser Verlag. ISBN 978-3-7643-8132-5. - Fenchel, Werner; Bonnesen, Tommy (1934).
*Theorie der konvexen Körper*. Ergebnisse der Mathematik und ihrer Grenzgebiete. Vol. 3. Berlin: 1. Verlag von Julius Springer. - Fenchel, Werner; Bonnesen, Tommy (1987).
*Theory of convex bodies*. Moscow, Idaho: L. Boron, C. Christenson and B. Smith. BCS Associates. ISBN 9780914351023. - Federer, Herbert (1969).
*Geometric measure theory*. Springer-Verlag. ISBN 3-540-60656-4.. - Gromov, M.: "Paul Levy's isoperimetric inequality". Appendix C in
*Metric structures for Riemannian and non-Riemannian spaces*. Based on the 1981 French original. With appendices by M. Katz, P. Pansu and S. Semmes. Translated from the French by Sean Michael Bates. Progress in Mathematics, 152. Birkhäuser Boston, Inc., Boston, Massachusetts, 1999. - Hadwiger, Hugo (1957).
*Vorlesungen über Inhalt, Oberfläche und Isoperimetrie*. Springer-Verlag.. - Hoory, Shlomo; Linial, Nathan; Widgerson, Avi (2006). "Expander graphs and their applications" (PDF).
*Bulletin of the American Mathematical Society*. New Series.**43**(4): 439–561. doi: 10.1090/S0273-0979-06-01126-8 . - Leader, Imre (1991). "Discrete isoperimetric inequalities".
*Proceedings of Symposia in Applied Mathematics*. Vol. 44. pp. 57–80. - Osserman, Robert (1978). "The isoperimetric inequality".
*Bull. Amer. Math. Soc*.**84**(6): 1182–1238. doi: 10.1090/S0002-9904-1978-14553-4 .. - Zwierzyński, Michał (2016). "The improved isoperimetric inequality and the Wigner caustic of planar ovals".
*J. Math. Anal. Appl*.**442**(2): 726–739. arXiv: 1512.06684 . doi:10.1016/j.jmaa.2016.05.016. S2CID 119708226. - Schmidt, Erhard (1949). "Die Brunn-Minkowskische Ungleichung und ihr Spiegelbild sowie die isoperimetrische Eigenschaft der Hugel in der euklidischen und nichteuklidischen Geometrie. II".
*Math. Nachr*.**2**(3–4): 171–244. doi:10.1002/mana.19490020308.. - Baebler, F. (1957). "Zum isoperimetrischen Problem".
*Arch. Math. (Basel)*.**8**: 52–65. doi:10.1007/BF01898439. S2CID 123704157..

Wikimedia Commons has media related to Isoperimetric inequality .

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.