Isoperimetric inequality, classical
The inequality between the volume of a domain in a Euclidean space , , and the -dimensional area of the hypersurface bounding the domain:
where is the volume of the unit -sphere. Equality holds only for a sphere. The classical isoperimetric inequality gives a solution of the isoperimetric problem. For the classical isoperimetric inequality was known in Antiquity. A rigorous proof of the classical isoperimetric inequality for was given by F. Edler in 1882, for by H.A. Schwarz in 1890, and for all by L.A. Lyusternik in 1935 and E. Schmidt in 1939 (see , , ).
While in the two-dimensional case there are many proofs of the classical isoperimetric inequality (see ), only two approaches are known for . The first is the method of symmetrization proposed by J. Steiner. Using this method, Schmidt obtained analogues of the classical isoperimetric inequality (and the Brunn–Minkowski inequalities) for spherical and hyperbolic -dimensional spaces (see ). The second approach consists in reducing the classical isoperimetric inequality to a Brunn–Minkowski inequality (see Brunn–Minkowski theorem) and using the method of proportional division of volumes. In this approach there naturally arises the more general inequality
for volumes , of two sets and the Minkowski area of the set with respect to . The inequality (*) can be interpreted as a classical isoperimetric inequality in Minkowski space; equality for a fixed Minkowski "sphere" is not, generally speaking, attained for a unique body ; moreover, these bodies are different from a "sphere" (see ).
There are a number of generalizations of the classical isoperimetric inequality in which one does not consider domains with a piecewise-smooth boundary, but wider classes of sets, and the area of the boundary is considered in a generalized sense (Minkowski area, Lebesgue area, Caccioppoli–De Giorgi perimeter of a set, or the mass of a current, see , ). The classical isoperimetric inequality remains valid in all these cases, as well as for hypersurfaces with self-intersections and the corresponding oriented volume (see ). These generalizations can be obtained from the classical isoperimetric inequality by limit transition for distinct variants of the concept of convergence.
For the isoperimetric difference , and the isoperimetric ratio , estimates are known which strengthen the classical isoperimetric inequality (see ). Some of these estimates are obtained for sets of special shape, in the first place for convex sets (cf. Convex set) and polyhedra (see ). An example of this is the Bonnesen inequality for plane figures:
where is the radius of the largest inscribed circle, and its generalization (see ) for convex bodies in :
Here . The relative isoperimetric difference of two convex bodies,
can serve as a measure of their non-homotheticity (see ). It is used, for example, in proving stability theorems in the Minkowski problem (see ). For generalizations of the classical isoperimetric inequality to spaces of variable curvature and related inequalities, see Isoperimetric inequality.
|||D.A. Kryzhanovskii, "Isoperimeters" , Moscow (1959) (In Russian)|
|||H. Hadwiger, "Vorlesungen über Inhalt, Oberfläche und Isoperimetrie" , Springer (1957)|
|||L.A. Lyusternik, "Application of the Brunn–Minkowski inequality to extremal problems" Uspekhi Mat. Nauk , 2 (1936) pp. 47–54 (In Russian)|
|||H. Reichardt, "Einführung in die Differentialgeometrie" , Springer (1960)|
|||E. Schmidt, "Die Brunn–Minkowskische Ungleichung und ihr Spiegelbild sowie die isoperimetrische Eigenschaft der Kugel in der euklidischen und nichteuklidischen Geometrie I" Math. Nachr. , 1 (1948) pp. 81–157|
|||H. Busemann, "The isoperimetric problem for Minkowski area" Amer. J. Math. , 71 (1949) pp. 743–762|
|||E. De Giorgi, "Sulla proprietà isoperimetrica dell'ipersfera, nella classe degli insience aventi frontiera orientata di misura finita" Atti Acad. Naz. Lincei Mem. Cl. Sci. Fis., Mat. e Natur. , 8 : 5, 2 (1958) pp. 33–44|
|||H. Federer, W.H. Fleming, "Normal and integer currents" Ann. of Math. (2) , 72 (1960) pp. 458–520|
|||T. Radó, "The isoperimetric inequality and the Lebesgue definition of surface area" Trans. Amer. Math. Soc. , 61 : 3 (1947) pp. 530–555|
|||L. Fejes Toth, "Lagerungen in der Ebene, auf der Kugel und im Raum" , Springer (1972)|
|||V.I. Diskant, "A generalization of Bonnesen's inequalities" Soviet Math. Dokl. , 14 : 6 (1973) pp. 1728–1731 Dokl. Akad. Nauk SSSR , 213 : 3 (1973) pp. 519–521|
|||V.I. Diskant, "Bounds for the discrepancy between convex bodies in terms of the isoperimetric difference" Siberian Math. J. , 13 : 4 (1973) pp. 529–532 Sibirsk. Mat. Zh. , 13 : 4 (1972) pp. 767–772|
|||Yu.A. Volkov, "Stability of the solution to Minkowski's problem" Vestnik Leningrad. Univ. Ser. Mat. Astron. , 18 (1963) pp. 33–43 (In Russian)|
The Minkowski area of a convex set with respect to a convex set is defined as follows. Let be the support function of , i.e. for each vector , defines a supporting plane of such that the open half-space into which points contains no points of , so that for all (and equality holds for at least one point of ). The Minkowski area of with respect to is now defined by
where is the boundary of . It is also equal to times the mixed volume ( 's). Here the mixed volume of convex sets is defined as the coefficient of in the polynomial .
|[a1]||T. Bonnesen, W. Fenchel, "Theorie der konvexen Körper" , Chelsea, reprint (1948) pp. Sects. 15, 29, 31, 38|
Isoperimetric inequality, classical. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Isoperimetric_inequality,_classical&oldid=15338