Blaschke-Santaló inequality

One of the most important affine isoperimetric inequalities (cf. Isoperimetric inequality). It has applications to number theory, differential equations, differential geometry, stochastic geometry, as well as in the study of Banach spaces.

The Blaschke–Santaló inequality states that if is a convex body (a compact convex subset with non-empty interior) in Euclidean -space such that the centroid of is at the origin, then

with equality if and only if is an ellipsoid. Here, denotes -dimensional volume, denotes the unit ball centred at the origin, , and denotes the polar body of :

where denotes the standard inner product of and in .

The Blaschke–Santaló inequality was proven by W. Blaschke in 1917, for , and by L. Santaló in 1949, for all . Both proofs use the affine isoperimetric inequality of affine differential geometry and the solution of the Minkowski problem. The fact that only ellipsoids attain the upper bound in the Blaschke–Santaló inequality was demonstrated by J. Saint Raymond in 1981 for the class of bodies symmetric about the origin and, in general, by C. Petty in 1985. In the 1980s, new and simpler proofs of the Blaschke–Santaló inequality were discovered by Saint Raymond, K. Ball, and M. Meyer and A. Pajor. (All facts can be found in, e.g., [a2] and [a3].)

In the plane (), the complementary inequality to the Blaschke–Santaló inequality was obtained by K. Mahler in 1939. Mahler's inequality is the special case of the following conjectured inequality: If is a convex body in , then

where is a simplex whose centroid is at the origin. For bodies , symmetric about the origin, the conjectured complementary inequality is

where is the cube . Again, for this inequality was established by Mahler in 1939. Reisner's inequality is precisely this last inequality for the special case when is a zonoid (cf. Zonohedron).

A major breakthrough occurred when J. Bourgain and V.D. Milman [a1] showed that this last conjectured inequality is, at least asymptotically, correct. By using techniques from the local theory of Banach spaces, they proved the existence of a constant , independent of , such that for each convex body that is symmetric about the origin:

Of the many applications of the Blaschke–Santaló inequality, one of its most immediate consequences provides an excellent upper bound for the volume of a convex body in terms of the length of the projections of the body onto lines. Consider the following conjectured inequality: If is a convex body in , then

with equality if and only if is an ellipsoid. Here, denotes the (image of) the orthogonal projection of onto , and the integration is over , the Grassmann manifold (Grassmannian) of -dimensional subspaces of , with respect to its usual invariant probability measure. For the special case this inequality is an easy consequence of the Blaschke–Santaló inequality. In fact, for bodies symmetric about the origin this inequality is the Blaschke–Santaló inequality! For this inequality was established in 1972 and is known as the Petty projection inequality. The complementary inequality to the Petty projection inequality was established by G. Zhang in 1991. All the cases where are open.

In [a2] it is shown how the Blaschke–Santaló inequality, the curvature image inequality, Petty's geo-minimal surface area inequality, and the affine isoperimetric inequality of affine differential geometry, are very closely related in that given any one of these inequalities, then all the others can be easily obtained by well-known methods.

References

[a1]	J. Bourgain, V. Milman, "New volume ratio properties for convex symmetric bodies in " Invent. Math. , 88 (1987) pp. 319–340
[a2]	E. Lutwak, "Selected affine isoperimetric inequalities" P.M. Gruber (ed.) J.M. Wills (ed.) , Handbook of Convex Geometry , North-Holland (1993) pp. 151–176
[a3]	R. Schneider, "Convex bodies: the Brunn–Minkowski theory" , Cambridge Univ. Press (1993)