Minkowski's First Inequality For Convex Bodies

In mathematics, Minkowski's first inequality for convex bodies is a geometrical result due to the German mathematician Hermann Minkowski. The inequality is closely related to the Brunn–Minkowski inequality and the isoperimetric inequality.

Statement of the inequality

Let ''K'' and ''L'' be two ''n''-dimensional convex bodies in ''n''-dimensional Euclidean space R^''n''. Define a quantity ''V''₁(''K'', ''L'') by

:$n V_ (K, L) = \lim_ \frac,$

where ''V'' denotes the ''n''-dimensional Lebesgue measure and + denotes the Minkowski sum. Then

:$V_ (K, L) \geq V(K)^ V(L)^,$

with equality if and only if ''K'' and ''L'' are homothetic, i.e. are equal up to translation and dilation.

Remarks

* ''V''₁ is just one example of a class of quantities known as ''mixed volumes''.
* If ''L'' is the ''n''-dimensional unit ball ''B'', then ''n'' ''V''₁(''K'', ''B'') is the (''n'' − 1)-dimensional surface measure of ''K'', denoted ''S''(''K'').

Connection to other inequalities

The Brunn–Minkowski inequality

One can show that the Brunn–Minkowski inequality for convex bodies in R^''n'' implies Minkowski's first inequality for convex bodies in R^''n'', and that equality in the Brunn–Minkowski inequality implies equality in Minkowski's first inequality.

The isoperimetric inequality

By taking ''L'' = ''B'', the ''n''-dimensional unit ball, in Minkowski's first inequality for convex bodies, one obtains the isoperimetric inequality for convex bodies in R^''n'': if ''K'' is a convex body in R^''n'', then

:$\left( \frac \right)^ \leq \left( \frac \right)^,$

with equality if and only if ''K'' is a ball of some radius.

References

* {{cite journal , last=Gardner , first=Richard J. , title=The Brunn–Minkowski inequality , journal=Bull. Amer. Math. Soc. (N.S.) , volume=39 , issue=3 , year=2002 , pages=355–405 (electronic) , doi=10.1090/S0273-0979-02-00941-2 , doi-access=free

Calculus of variations
Geometric inequalities
Normed spaces