Open Access

On Minkowski's inequality and its application

Journal of Inequalities and Applications20112011:71

https://doi.org/10.1186/1029-242X-2011-71

Received: 23 February 2011

Accepted: 27 September 2011

Published: 27 September 2011

Abstract

In the paper, we first give an improvement of Minkowski integral inequality. As an application, we get new Brunn-Minkowski-type inequalities for dual mixed volumes.

2000 Mathematics Subject Classification: 52A30, 52A40, 26D15

Keywords

Minkowski's inequalityHölder's inequalityBrunn-Minkowski inequalitydual mixed volume

1 Improvement of Minkowski's inequality

The well-known inequality due to Minkowski can be stated as follows ([1], pp. 19-20, [2], p. 31]):

Theorem 1.1 Let f(x), g(x) ≥ 0 and p > 1, then
( ( f ( x ) + g ( x ) ) p d x ) 1 / p ( f ( x ) p d x ) 1 / p + ( g ( x ) p d x ) 1 / p ,
(1.1)
with equality if and only if f and g are proportional, and if p < 1 (p ≠ 0), then
( ( f ( x ) + g ( x ) ) p d x ) 1 / p ( f ( x ) p d x ) 1 / p + ( g ( x ) p d x ) 1 / p ,
(1.2)

with equality if and only if f and g are proportional. For p < 0, we assume that f(x), g(x) > 0.

An (almost) improvement of Minkowski's inequality, for p \{0}, is obtained in the following Theorem:

Theorem 1.2 Let f(x), g(x) ≥ 0 and p > 0, or f(x), g(x) > 0 and p < 0. Let s, t \{0}, and st. Then
  1. (i)
    Let p, s, t be different, such that s, t > 1 and (s - t)/(p - t) > 1. Then
    ( f ( x ) + g ( x ) ) p d x [ ( f s ( x ) d x ) 1 / s + ( g s ( x ) d x ) 1 / s ] s ( p t ) / ( s t ) × [ ( f t ( x ) d x ) 1 / t + ( g t ( x ) d x ) 1 / t ] t ( s p ) / ( s t ) ,
    (1.3)
     
with equality if and only if f(x) and g(x) are constant, or 1/p = (1/s + 1/t)/2 and f(x) and g(x) are proportional.
  1. (ii)
    Let p, s, t be different, such that s, t < 1 and s, t ≠ 0, and (s - t)/(p - t) < 1. Then
    ( f ( x ) + g ( x ) ) p d x [ ( f s ( x ) d x ) 1 / s + ( g s ( x ) d x ) 1 / s ] s ( p t ) / ( s t ) × [ ( f t ( x ) d x ) 1 / t + ( g t ( x ) d x ) 1 / t ] t ( s p ) / ( s t ) ,
    (1.4)
     

with equality if and only if f(x) and g(x) are constant, or 1/p = (1/s + 1/t)/2 and f(x) and g(x) are proportional.

Proof (i) We have (s - t)/(p - t) > 1, and in view of
( f ( x ) + g ( x ) ) p d x = [ ( f ( x ) + g ( x ) ) s ] ( p t ) / ( s t ) [ ( f ( x ) + g ( x ) ) t ] ( s p ) / ( s t ) d x .
By using Hölder's inequality (see [1] or [2]) with indices (s - t)/(p - t) and (s - t)/(s - p), we have
( f ( x ) + g ( x ) ) p d x [ ( f ( x ) + g ( x ) ) s d x ] ( p t ) / ( s t ) [ ( f ( x ) + g ( x ) ) t d x ] ( s p ) / ( s t ) ,
(1.5)

with equality if and only if (f(x) + g(x))s(p - t)/(s - t)and (f(x) + g(x))t(s - p)/(s - t)are proportional, i.e., either f(x) + g(x) is constant or the exponents are equal, i.e., 1/p = (1/s + 1/t)/2.

On the other hand, by using Minkowski's inequality for s > 1 and t > 1, respectively, we obtain
( ( f ( x ) + g ( x ) ) s d x ) 1 / s ( f s ( x ) d x ) 1 / s + ( g s ( x ) d x ) 1 / s ,
(1.6)
with equality if and only if f(x) and g(x) are proportional, and
( ( f ( x ) + g ( x ) ) t d x ) 1 / t ( f t ( x ) d x ) 1 / t + ( g t ( x ) d x ) 1 / t ,
(1.7)

with equality if and only if f(x) and g(x) are proportional.

From (1.5), (1.6) and (1.7), (1.3) easily follows. From the equality conditions of (1.5), (1.6) and (1.7), the case of equality stated in (i) follows.
  1. (ii)
    We have (s - t)/(p - t) < 1. Similar to the above proof, we have
    ( f ( x ) + g ( x ) ) p d x ( f ( x ) + g ( x ) ) s d x ( p - t ) ( s - t ) ( f ( x ) + g ( x ) ) t d x ( s - p ) ( s - t ) ,
    (1.8)
     

with equality if and only if either f(x) + g(x) is constant or 1/p = (1/s + 1/t)/2.

On the other hand, in view of Minkowski's inequality for the cases of 0 < s < 1 and 0 < t < 1,
( f ( x ) + g ( x ) ) s d x 1 s f ( x ) s d x 1 s + g ( x ) s d x 1 s ,
(1.9)
with equality if and only if f(x) and g(x) are proportional, and
( f ( x ) + g ( x ) ) t d x 1 t f ( x ) t d x 1 t + g ( x ) t d x 1 t ,
(1.10)

with equality if and only if f(x) and g(x) are proportional.

The inequality (1.4) easily follows, with equality as stated in (ii). ■

Remark 1.3 For (i) of Theorem 1.2, for p > 1, letting s = p + ε, t = p - ε, when p, s, t are different, s, t > 1, and (s - t)/(p - t) / 2 > 1, and letting ε → 0, we get (1.1).

For (ii) of Theorem 1.2, for p < 1 and p ≠ 0, s = p + ε, t = p + 2ε, when p, s, t are different, s, t < 1 and s, t ≠ 0, and (s - t)/(p - t) = 1/2 < 1, and letting ε → 0, we get (1.2).

2 An application

The setting for this paper is n-dimensional Euclidean space n (n > 2). Associated with a compact subset K of n , which is star-shaped with respect to the origin, is its radial function ρ(K, ·): Sn - 1, defined for u Sn - 1, by
ρ ( K , u ) = Max { λ 0 : λ u K } .

If ρ(K, ·) is positive and continuous, K will be called a star body. Let S n denote the set of star bodies in n . Let δ ̃ denote the radial Hausdorff metric, that is defined as follows: if K , L S n , then δ ̃ ( K , L ) = | ρ K - ρ L | (see e.g. [3]).

If K 1 , , K r S n and λ1, ...,λ r , then the radial Minkowski linear combination, λ 1 K 1 + ̃ + ̃ λ r K r , is defined by Lutwak (see [4]), as λ 1 K 1 + ̃ + ̃ λ r K r = { λ 1 x 1 + ̃ + ̃ λ r x r : x i K i } . Here, λ 1 x 1 + ̃ + ̃ λ r x r equals λ1x1 + +λ r x r if x 1, , x r belong to a linear 1-subspace of n , and is 0 else. It has the following important property, for K , L S n and λ, μ ≥ 0
ρ ( λ K + ̃ μ L , ) = λ ρ ( K , ) + μ ρ ( L , )
(2.1)
For K 1 , , K r S n and λ1, ..., λ r ≥ 0, the volume of the radial Minkowski linear combination λ 1 K 1 + ̃ + ̃ λ r K r is a homogeneous n th-degree polynomial in the λ i ,
V ( λ 1 K 1 + ̃ + ̃ λ r K r ) = i 1 , , i n λ i 1 λ i n
(2.2)

where the sum is taken over all n-tuples (i1, ..., i n ) whose entries are positive integers not exceeding r. If we require the coefficients of the polynomial in (2.2) to be symmetric in their argument, then they are uniquely determined. The coefficient i 1 , , i n is positive and depends only on the star bodies K i 1 , , K i n . It is written as ( K i 1 , , K i n ) and is called the dual mixed volume of K i 1 , , K i n . If K1 = = K n - i = K, Kn - i+1= = K n = L, the dual mixed volumes are written as i ( K , L ) . In particular, for B the unit ball about o, i ( K , B ) is written as W ̃ i ( K ) (see [5]).

For K i S n , the dual mixed volumes were given by Lutwak (see [6]), as
( K 1 , , K n ) = 1 n S n - 1 ρ ( K 1 , u ) ρ ( K n , u ) d S ( u ) ,
(2.3)
For K , L S n and i , the i th dual mixed volume of K and L, i ( K , L ) , is defined by,
i ( K , L ) = 1 n S n - 1 ρ ( K , u ) n - i ρ ( L , u ) i d S ( u ) .
(2.4)
From (2.4), taking in consideration ρ(B, u) = 1, if K S n , and i
W ̃ i ( K ) = 1 n S n - 1 ρ ( K , u ) n - i d S ( u ) .
(2.5)

The well-known Brunn-Minkowski-type inequality for dual mixed volumes can be stated as follows [6]:

Theorem 2.1 Let K , L S n , and i < n - 1. Then,
W ̃ i ( K + ̃ L ) 1 ( n - i ) W ̃ i ( K ) 1 ( n - i ) + W ̃ i ( L ) 1 ( n - i ) ,
(2.6)

with equality if and only if K and L are dilates.

The inequality is reversed for i > n - 1 and in.

In the following, we establish new Brunn-Minkowski-type inequalities for dual mixed volumes.

Theorem 2.2 Let K , L S n and i, j, k .
  1. (i)
    Let i, j, k be different, such that j, k < n - 1, and (j - k)/(i - k) > 1. Then
    W ̃ i ( K + ̃ L ) W ̃ j ( K ) 1 ( n - j ) + W ̃ j ( L ) 1 ( n - j ) ( n - j ) ( k - i ) ( k - j ) × W ̃ k ( K ) 1 ( n - k ) + W ̃ k ( L ) 1 ( n - k ) ( n - k ) ( i - j ) ( k - j ) ,
    (2.7)
     
with equality if and only if K and L are balls, or 1/(n - i) = [1/(n - j) + 1/(n - k)]/2, and K and L are dilates.
  1. (ii)
    Let i, j, k be different, such that j, k > n - 1 and j, kn, and (j - k)/(i - k) < 1. Then
    W ̃ i ( K + ̃ L ) W ̃ j ( K ) 1 ( n - j ) + W ̃ j ( L ) 1 ( n - j ) ( n - j ) ( k - i ) ( k - j ) W ̃ k ( K ) 1 ( n - k ) + W ̃ k ( L ) 1 ( n - k ) ( n - k ) ( i - j ) ( k - j ) ,
    (2.8)
     

with equality if and only if K and L are balls, or 1/(n - i) = [1/(n - j) + 1/(n - k)]/2, and K and L are dilates..

Proof We begin with the proof of (i). From (2.1), (2.5) and (1.3), we have
W ̃ i ( K + ̃ L ) = 1 n S n - 1 ρ ( K + ̃ L , u ) n - i d S ( u ) = 1 n S n - 1 ( ρ ( K , u ) + ρ ( L , u ) ) n - i d S ( u ) 1 n ρ ( K , u ) n - j d x 1 ( n - j ) + ρ ( L , u ) n - j d x 1 ( n - j ) ( n - j ) ( k - i ) ( k - j ) × ρ ( K , u ) n - k d x 1 ( n - k ) + ρ ( L , u ) n - k d x 1 ( n - k ) ( n - k ) ( i - j ) ( k - j ) = W ̃ j ( K ) 1 ( n - j ) + W ̃ j ( L ) 1 ( n - j ) ( n - j ) ( k - i ) ( k - j ) W ̃ k ( K ) 1 ( n - k ) + W ̃ k ( L ) 1 ( n - k ) ( n - k ) ( i - j ) ( k - j ) ,

with equality if and only if as stated in (i).

Similarly, case (ii) of Theorem 2.2 easily follows. ■

Remark 2.3 For (i) of Theorem 2.2, for n - i > 1, letting s = n - i + ε, t = n - i - ε, when i, j, k are different, n - j, n - k > 1, and (k - j)/(k - i) = 2 > 1, and letting ε → 0, we get the following result: Let K , L S n , and i < n - 1. Then,
W ̃ i ( K + ̃ L ) 1 ( n - i ) W ̃ i ( K ) 1 ( n - i ) + W ̃ i ( L ) 1 ( n - i ) ,

with equality if and only if K and L are dilates.

This is just the well-known inequality (2.6) in Theorem 2.1.

For (ii) of Theorem 2.2, for n - i < 1 and n - i ≠ 0, s = n - i + ε, t = n - i + 2ε, when i, j, k are different, n - j, n - k < 1 and n - j, n - k ≠ 0, and (k - j)/(k - i) = 1/2 < 1, and letting ε → 0, we get the following result:

Let K , L S n , and i < n - 1 and in. Then,
W ̃ i ( K + ̃ L ) 1 ( n - i ) W ̃ i ( K ) 1 ( n - i ) + W ̃ i ( L ) 1 ( n - i ) ,

with equality if and only if K and L are dilates.

This is just an reversed form of inequality (2.6).

Declarations

Acknowledgements

The authors wish to thank the referee for his many excellent suggestions for improving the original manuscript.

This Research is supported by National Natural Science Foundation of China(10971205) and in part by a HKU URC grant.

Authors’ Affiliations

(1)
Department of Mathematics, China Jiliang University
(2)
Department of Mathematics, The University of Hong Kong

References

  1. Beckenbach EF, Bellman R: Inequalities. Springer, Berlin-Göttingen; 1961.View ArticleGoogle Scholar
  2. Hardy GH, Littlewood JE, Pólya G: Inequalities. Cambridge University Press, Cambridge; 1934.Google Scholar
  3. Schneider R: Convex Bodies: The Brunn-Minkowski Theory. Cambridge University Press, Cambridge; 1993.View ArticleGoogle Scholar
  4. Lutwak E: Intersection bodies and dual mixed volumes. Adv Math 1988, 71: 232–261. 10.1016/0001-8708(88)90077-1MathSciNetView ArticleMATHGoogle Scholar
  5. Gardner RJ: Geometric Tomography. Cambridge University Press, New York; 1996.Google Scholar
  6. Lutwak E: Dual mixed volumes. Pacific J Math 1975, 58: 531–538.MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Zhao and Cheung; licensee Springer. 2011

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.