Namespaces
Variants
Actions

Blaschke-Santaló inequality

From Encyclopedia of Mathematics
Jump to: navigation, search


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 $ K $ is a convex body (a compact convex subset with non-empty interior) in Euclidean $ n $- space $ \mathbf R ^ {n} $ such that the centroid of $ K $ is at the origin, then

$$ { { \mathop{\rm vol} } _ {n} } ( K ) { { \mathop{\rm vol} } _ {n} } ( K ^ {*} ) \leq { { \mathop{\rm vol} } _ {n} } ( B ) { { \mathop{\rm vol} } _ {n} } ( B ^ {*} ) = \omega _ {n} ^ {2} , $$

with equality if and only if $ K $ is an ellipsoid. Here, $ { { \mathop{\rm vol} } _ {n} } $ denotes $ n $- dimensional volume, $ B $ denotes the unit ball centred at the origin, $ \omega _ {n} = { { \mathop{\rm vol} } } _ {n} ( B ) $, and $ K ^ {*} $ denotes the polar body of $ K $:

$$ K ^ {*} = \left \{ {x \in \mathbf R ^ {n} } : {x \cdot y \leq 1, \textrm{ for all } y \in K } \right \} , $$

where $ x \cdot y $ denotes the standard inner product of $ x $ and $ y $ in $ \mathbf R ^ {n} $.

The Blaschke–Santaló inequality was proven by W. Blaschke in 1917, for $ n = 2,3 $, and by L. Santaló in 1949, for all $ n \geq 2 $. 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 ( $ n = 2 $), the complementary inequality to the Blaschke–Santaló inequality was obtained by K. Mahler in 1939. Mahler's inequality is the special case $ n = 2 $ of the following conjectured inequality: If $ K $ is a convex body in $ \mathbf R ^ {n} $, then

$$ { { \mathop{\rm vol} } _ {n} } ( K ) { { \mathop{\rm vol} } _ {n} } ( K ^ {*} ) \geq { { \mathop{\rm vol} } _ {n} } ( T ) { { \mathop{\rm vol} } _ {n} } ( T ^ {*} ) = { \frac{( n + 1 ) ^ {( n + 1 ) } }{( n! ) ^ {2} } } , $$

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

$$ { { \mathop{\rm vol} } _ {n} } ( K ) { { \mathop{\rm vol} } _ {n} } ( K ^ {*} ) \geq { { \mathop{\rm vol} } _ {n} } ( C ) { { \mathop{\rm vol} } _ {n} } ( C ^ {*} ) = { \frac{4 ^ {n} }{n! } } , $$

where $ C $ is the cube $ [ -1,1 ] ^ {n} $. Again, for $ n = 2 $ this inequality was established by Mahler in 1939. Reisner's inequality is precisely this last inequality for the special case when $ K $ is a zonoid.

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 $ c > 0 $, independent of $ n $, such that for each convex body $ K $ that is symmetric about the origin:

$$ { { \mathop{\rm vol} } _ {n} } ( K ) { { \mathop{\rm vol} } _ {n} } ( K ^ {*} ) \geq { \frac{c ^ {n} }{n! } } . $$

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 $ K $ is a convex body in $ \mathbf R ^ {n} $, then

$$ { { \mathop{\rm vol} } _ {n} } ( K ) \leq { \frac{\omega _ {n} }{\omega _ {i} ^ { {n / i } } } } \left \{ \int\limits _ {G ( n,i ) } { { \mathop{\rm vol} } _ {i} ( K \mid _ \xi ) ^ {- n } } {d \xi } \right \} ^ { {{-1 } / i } } , $$

with equality if and only if $ K $ is an ellipsoid. Here, $ K \mid _ \xi $ denotes the (image of) the orthogonal projection of $ K $ onto $ \xi \in G ( n,i ) $, and the integration is over $ G ( n,i ) $, the Grassmann manifold (Grassmannian) of $ i $- dimensional subspaces of $ \mathbf R ^ {n} $, with respect to its usual invariant probability measure. For the special case $ i = 1 $ 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 $ i = n - 1 $ 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 $ 1 < i < n - 1 $ 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 $\RR^n$" 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)
How to Cite This Entry:
Blaschke-Santaló inequality. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Blaschke-Santal%C3%B3_inequality&oldid=53306
This article was adapted from an original article by E. Lutwak (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article