Namespaces
Variants
Actions

Difference between revisions of "Blaschke-Santaló inequality"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (→‎References: latexify)
 
(5 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 +
<!--
 +
b1106101.png
 +
$#A+1 = 48 n = 1
 +
$#C+1 = 48 : ~/encyclopedia/old_files/data/B110/B.1100610 Blaschke\ANDSantal\Aeo inequality
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
One of the most important affine isoperimetric inequalities (cf. [[Isoperimetric inequality|Isoperimetric inequality]]). It has applications to number theory, differential equations, differential geometry, [[Stochastic geometry|stochastic geometry]], as well as in the study of Banach spaces.
 
One of the most important affine isoperimetric inequalities (cf. [[Isoperimetric inequality|Isoperimetric inequality]]). It has applications to number theory, differential equations, differential geometry, [[Stochastic geometry|stochastic geometry]], as well as in the study of Banach spaces.
  
The Blaschke–Santaló inequality states that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b1106101.png" /> is a [[Convex body|convex body]] (a compact convex subset with non-empty interior) in Euclidean <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b1106102.png" />-space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b1106103.png" /> such that the [[Centroid|centroid]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b1106104.png" /> is at the origin, then
+
The Blaschke–Santaló inequality states that if $  K $
 +
is a [[Convex body|convex body]] (a compact convex subset with non-empty interior) in Euclidean $  n $-
 +
space $  \mathbf R  ^ {n} $
 +
such that the [[Centroid|centroid]] of $  K $
 +
is at the origin, then
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b1106105.png" /></td> </tr></table>
+
$$
 +
{ { \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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b1106106.png" /> is an [[Ellipsoid|ellipsoid]]. Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b1106107.png" /> denotes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b1106108.png" />-dimensional volume, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b1106109.png" /> denotes the unit ball centred at the origin, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061010.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061011.png" /> denotes the polar body of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061012.png" />:
+
with equality if and only if $  K $
 +
is an [[Ellipsoid|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 $:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061013.png" /></td> </tr></table>
+
$$
 +
K  ^ {*} = \left \{ {x \in \mathbf R  ^ {n} } : {x \cdot y \leq  1,  \textrm{ for  all  }  y \in K } \right \} ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061014.png" /> denotes the standard inner product of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061015.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061016.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061017.png" />.
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061018.png" />, and by L. Santaló in 1949, for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061019.png" />. Both proofs use the affine isoperimetric inequality of [[Affine differential geometry|affine differential geometry]] and the solution of the [[Minkowski problem|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., [[#References|[a2]]] and [[#References|[a3]]].)
+
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|affine differential geometry]] and the solution of the [[Minkowski problem|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., [[#References|[a2]]] and [[#References|[a3]]].)
  
In the plane (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061020.png" />), the complementary inequality to the Blaschke–Santaló inequality was obtained by K. Mahler in 1939. Mahler's inequality is the special case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061021.png" /> of the following conjectured inequality: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061022.png" /> is a convex body in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061023.png" />, then
+
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
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061024.png" /></td> </tr></table>
+
$$
 +
{ { \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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061025.png" /> is a simplex whose centroid is at the origin. For bodies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061026.png" />, symmetric about the origin, the conjectured complementary inequality is
+
where $  T $
 +
is a simplex whose centroid is at the origin. For bodies $  K $,  
 +
symmetric about the origin, the conjectured complementary inequality is
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061027.png" /></td> </tr></table>
+
$$
 +
{ { \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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061028.png" /> is the cube <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061029.png" />. Again, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061030.png" /> this inequality was established by Mahler in 1939. Reisner's inequality is precisely this last inequality for the special case when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061031.png" /> is a zonoid (cf. [[Zonohedron|Zonohedron]]).
+
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 [[#References|[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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061032.png" />, independent of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061033.png" />, such that for each convex body <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061034.png" /> that is symmetric about the origin:
+
A major breakthrough occurred when J. Bourgain and V.D. Milman [[#References|[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:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061035.png" /></td> </tr></table>
+
$$
 +
{ { \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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061036.png" /> is a convex body in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061037.png" />, then
+
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
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061038.png" /></td> </tr></table>
+
$$
 +
{ { \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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061039.png" /> is an ellipsoid. Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061040.png" /> denotes the (image of) the orthogonal projection of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061041.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061042.png" />, and the integration is over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061043.png" />, the [[Grassmann manifold|Grassmann manifold]] (Grassmannian) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061044.png" />-dimensional subspaces of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061045.png" />, with respect to its usual invariant probability measure. For the special case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061046.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061047.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061048.png" /> are open.
+
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|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 [[#References|[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.
 
In [[#References|[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====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J. Bourgain,  V. Milman,  "New volume ratio properties for convex symmetric bodies in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110610/b11061049.png" />"  ''Invent. Math.'' , '''88'''  (1987)  pp. 319–340</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  E. Lutwak,  "Selected affine isoperimetric inequalities"  P.M. Gruber (ed.)  J.M. Wills (ed.) , ''Handbook of Convex Geometry'' , North-Holland  (1993)  pp. 151–176</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  R. Schneider,  "Convex bodies: the Brunn–Minkowski theory" , Cambridge Univ. Press  (1993)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top">  J. Bourgain,  V. Milman,  "New volume ratio properties for convex symmetric bodies in $\RR^n$"  ''Invent. Math.'' , '''88'''  (1987)  pp. 319–340</TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top">  E. Lutwak,  "Selected affine isoperimetric inequalities"  P.M. Gruber (ed.)  J.M. Wills (ed.) , ''Handbook of Convex Geometry'' , North-Holland  (1993)  pp. 151–176</TD></TR>
 +
<TR><TD valign="top">[a3]</TD> <TD valign="top">  R. Schneider,  "Convex bodies: the Brunn–Minkowski theory" , Cambridge Univ. Press  (1993)</TD></TR>
 +
</table>

Latest revision as of 08:24, 26 March 2023


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=22139
This article was adapted from an original article by E. Lutwak (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article