Open Access

Hermite-Hadamard inequality for functions whose derivatives absolute values are preinvex

Journal of Inequalities and Applications20122012:247

DOI: 10.1186/1029-242X-2012-247

Received: 6 August 2011

Accepted: 28 May 2012

Published: 29 October 2012

Abstract

In this article, we extend some estimates of the right-hand side of a Hermite-Hadamard-type inequality for preinvex functions. Then, a generalization to functions of several variables on invex subsets of https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq1_HTML.gif is introduced.

Keywords

Hermite-Hadamard inequality invex sets preinvex functions

1 Introduction and preliminary

Let I = [ c , d ] be an interval on the real line , let f : I R be a convex function and let a , b [ c , d ] , a < b . We consider the well-known Hadamard’s inequality
f ( a + b 2 ) 1 b a a b f ( x ) d x f ( a ) + f ( b ) 2 .
(1)

Both inequalities hold in the reversed direction if f is concave. We note that Hadamard’s inequality may be regarded as a refinement of the concept of convexity and it follows easily from Jensen’s inequality. Hadamard’s inequality for convex functions has received renewed attention in recent years and a remarkable variety of refinements and generalizations have been found (see, for example, [14]).

The classical Hermite-Hadamard inequality provides estimates of the mean value of a continuous convex function f : [ a , b ] R .

Dragomir and Agarwal [5] used the formula,
f ( a ) + f ( b ) 2 1 b a a b f ( x ) d x = b a 2 0 1 ( 1 2 t ) f ( t a + ( 1 t ) b ) d t
(2)

to prove the following results.

Theorem 1.1 Assume a , b R with a < b and f : [ a , b ] R is a differentiable function on ( a , b ) . If | f | is convex on [ a , b ] then the following inequality holds true
| f ( a ) + f ( b ) 2 1 b a a b f ( x ) d x | ( b a ) ( | f ( a ) | + | f ( b ) | ) 8 .
(3)
Theorem 1.2 Assume a , b R with a < b and f : [ a , b ] R is a differentiable function on ( a , b ) . Assume p R with p > 1 . If | f | p p 1 is convex on [ a , b ] then the following inequality holds true
| f ( a ) + f ( b ) 2 1 b a a b f ( x ) d x | b a 2 ( p + 1 ) 1 / p [ | f ( a ) | p p 1 + | f ( b ) | p p 1 2 ] p 1 p .
(4)

Ion [6] presented some estimates of the right-hand side of a Hermite-Hadamard-type inequality in which some quasi-convex functions are involved.

In recent years, several extensions and generalizations have been considered for classical convexity. A significant generalization of convex functions is that of invex functions introduced by Hanson [7]. Weir and Mond [8] introduced the concept of preinvex functions and applied it to the establishment of the sufficient optimality conditions and duality in nonlinear programming. Aslam Noor [9, 10] introduced the Hermite-Hadamard inequality for preinvex and log-preinvex functions.

In this article, we generalize the results in [6] for functions whose first derivatives absolute values are preinvex. Also some results for functions whose second derivatives absolute values are preinvex will be given. Now, we recall some notions in invexity analysis which will be used throughout the article (see [11, 12] and references therein).

Definition 1.1 A set https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq15_HTML.gif is said to be invex with respect to the map https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq16_HTML.gif , if for every x , y S and t [ 0 , 1 ] ,
y + t η ( x , y ) S .
(5)
It is obvious that every convex set is invex with respect to the map η ( x , y ) = x y , but there exist invex sets which are not convex (see [11]). Let https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq15_HTML.gif be an invex set with respect to https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq16_HTML.gif . For every x , y S the η-path P x v joining the points x and v : = x + η ( y , x ) is defined as follows
P x v : = { z : z = x + t η ( y , x ) : t [ 0 , 1 ] } .
Definition 1.2 Let https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq15_HTML.gif be an invex set with respect to https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq16_HTML.gif . Then, the function https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq22_HTML.gif is said to be preinvex with respect to η, if for every x , y S and t [ 0 , 1 ] ,
f ( y + t η ( x , y ) ) t f ( x ) + ( 1 t ) f ( y ) .
(6)

Every convex function is a preinvex with respect to the map η ( x , y ) = x y but the converse does not holds. For properties and applications of preinvex functions, see [12, 13] and references therein.

The organization of the article is as follows: In Section 2, some generalizations of Hermite-Hadamard-type inequality for first-order differentiable functions are given. Section 3 is devoted to a generalization to several variable preinvex functions. Hermite-Hadamard-type inequality for second-order differentiable functions are studied in Section 23.

2 First-order differentiable functions

In this section, we introduce some generalizations of Hermite-Hadamard-type inequality for functions whose first derivatives absolute values are preinvex. We begin with the following lemma which is a generalization of Lemma 2.1 in [5] to invex setting.

Lemma 2.1 Let https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq23_HTML.gif be an open invex subset with respect to https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq24_HTML.gif and a , b A with θ ( a , b ) 0 . Suppose that https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq27_HTML.gif is a differentiable function. If f is integrable on the θ-path P b c , c = b + θ ( a , b ) then, the following equality holds
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equ7_HTML.gif
(7)
Proof Suppose that a , b A . Since A is an invex set with respect to θ, for every t [ 0 , 1 ] we have b + t θ ( a , b ) A . Integrating by parts implies that
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equ8_HTML.gif
(8)

which completes the proof. □

Theorem 2.1 Let https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq23_HTML.gif be an open invex subset with respect to https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq24_HTML.gif . Suppose that https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq32_HTML.gif is a differentiable function. If | f | is preinvex on A then, for every a , b A with θ ( a , b ) 0 the following inequality holds
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equ9_HTML.gif
(9)
Proof Suppose that a , b A . Since A is an invex set with respect to θ, for every t [ 0 , 1 ] we have b + t θ ( a , b ) A . By preinvexity of | f | and Lemma 2.1 we get
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equ10_HTML.gif
(10)
where,
0 1 | 1 2 t | ( 1 t ) d t = 0 1 | 1 2 t | t d t = 1 4 .

 □

Now, we give an example of an invex set with respect to an θ which is satisfies the conditions of Theorem 2.1.

Example 2.1 Suppose that K : = ( 3 , 1 ) ( 1 , 4 ) and the function https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq36_HTML.gif is defined by
θ ( x , y ) = { x y , x > 0 , y > 0 , x y , x < 0 , y < 0 , 3 y , x < 0 , y > 0 , 2 y , x > 0 , y < 0 .
Clearly K is an open invex set with respect to θ. Suppose that a ( 3 , 1 ) and b ( 1 , 4 ) , b 3 hence, θ ( a , b ) = 3 b 0 . Now,
P b c = [ b , 3 ] , b < 3 ,
and
P b c = [ 3 , b ] , b > 3 ,

where c = b + θ ( a , b ) .

Another similar result is embodied in the following theorem.

Theorem 2.2 Let https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq23_HTML.gif be an open invex subset with respect to https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq24_HTML.gif . Suppose that https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq32_HTML.gif is a differentiable function. Assume that https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq42_HTML.gif with p > 1 . If | f | p / p 1 is preinvex on A then, for every a , b A with θ ( a , b ) 0 the following inequality holds
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equ11_HTML.gif
(11)
Proof Suppose that a , b A . By assumption, Hölder’s inequality and the proof of Theorem 4.1 we have
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equ12_HTML.gif
(12)

where q : = p / ( p 1 ) . □

Note that if A = [ a , b ] and θ ( x , y ) = x y for every x , y A then, we can deduce Theorems 1.1 and 1.2, from Theorems 2.1 and 2.2, respectively.

3 An extension to several variables functions

The aim of this section is to extend the Proposition 1 in [6] and Theorem 2.2 to functions of several variables defined on invex subsets of https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq49_HTML.gif .

The mapping https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq16_HTML.gif is said to be satisfies the condition C if for every x , y S and t [ 0 , 1 ] ,
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equf_HTML.gif

Note that, in Example 2.1, θ satisfies the condition C.

For every x , y S and every t 1 , t 2 [ 0 , 1 ] from condition C we have
η ( y + t 2 η ( x , y ) , y + t 1 η ( x , y ) ) = ( t 2 t 1 ) η ( x , y ) ,
(13)

see [12] for details.

Proposition 3.1 Let https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq15_HTML.gif be an invex set with respect to https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq16_HTML.gif and https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq52_HTML.gif is a function. Suppose that η satisfies condition C on S. Then, for every x , y S the function f is preinvex with respect to η on η-path P x v if and only if the function https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq53_HTML.gif defined by
φ ( t ) : = f ( x + t η ( y , x ) ) ,

is convex on [ 0 , 1 ] .

Proof Suppose that φ is convex on [ 0 , 1 ] and z 1 : = x + t 1 η ( y , x ) P x v , z 2 : = x + t 2 η ( y , x ) P x v . Fix λ [ 0 , 1 ] . Since η satisfies condition C, by (13) we have
f ( z 1 + λ η ( z 2 , z 1 ) ) = f ( x + ( ( 1 λ ) t 1 + λ t 2 ) η ( y , x ) ) = φ ( ( 1 λ ) t 1 + λ t 2 ) ( 1 λ ) φ ( t 1 ) + λ φ ( t 2 ) = ( 1 λ ) f ( z 1 ) + λ f ( z 2 ) .
(14)

Hence, f is preinvex with respect to η on η-path P x v .

Conversely, let x , y S and the function f be preinvex with respect to η on η-path P x v . Suppose that t 1 , t 2 [ 0 , 1 ] . Then, for every λ [ 0 , 1 ] we have
φ ( ( 1 λ ) t 1 + λ t 2 ) = f ( x + ( ( 1 λ ) t 1 + λ t 2 ) η ( y , x ) ) = f ( x + t 1 η ( y , x ) ) + λ η ( x + t 2 η ( y , x ) , x + t 1 η ( y , x ) ) λ f ( x + t 2 η ( y , x ) ) + ( 1 λ ) f ( x + t 1 η ( y , x ) ) = λ φ ( t 2 ) + ( 1 λ ) φ ( t 1 ) .
(15)

Therefore, φ is quasi-convex on [ 0 , 1 ] . □

The following theorem is a generalization of Proposition 1 in [6].

Theorem 3.1 Let https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq15_HTML.gif be an open invex set with respect to https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq16_HTML.gif . Assume that η satisfies condition C. Suppose that for every x , y S the function https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq59_HTML.gif is preinvex with respect to η on η-path P x v . Then, for every a , b ( 0 , 1 ) with a < b the following inequality holds,
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equ16_HTML.gif
(16)
Proof Let x , y S and a , b ( 0 , 1 ) with a < b . Since f is preinvex with respect to η on η-path P x v by Proposition 3.1 the function https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq61_HTML.gif defined by
φ ( t ) : = f ( x + t η ( y , x ) ) ,
is convex on [ 0 , 1 ] . Now, we define the function https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq62_HTML.gif as follows
ϕ ( t ) : = 0 t φ ( s ) d s = 0 t f ( x + s η ( y , x ) ) d s .
Obviously for every t ( 0 , 1 ) we have
ϕ ( t ) = φ ( t ) = f ( x + t η ( y , x ) ) 0 ,
hence, | ϕ ( t ) | = ϕ ( t ) . Applying Theorem 1.1 to the function ϕ implies that
| ϕ ( a ) + ϕ ( b ) 2 1 b a a b ϕ ( s ) d s | ( b a ) ( ϕ ( a ) + ϕ ( b ) ) 8 ,

and we deduce that (16) holds. □

4 Second-order differentiable functions

In this section, we introduce some generalizations of Hermite-Hadamard-type inequality for functions whose second derivatives absolute values are preinvex. We begin with the following lemma (see Lemma 1 in [14] and Lemma 4 in [15]).

Lemma 4.1 Let https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq23_HTML.gif be an open invex subset with respect to https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq24_HTML.gif and a , b A with θ ( a , b ) 0 . Suppose that https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq27_HTML.gif is a differentiable function. If f is integrable on the θ-path P b c , c = b + θ ( a , b ) then, the following equality holds
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equ17_HTML.gif
(17)
Proof Suppose that a , b A . Since A is an invex set with respect to θ, for every t [ 0 , 1 ] we have b + t θ ( a , b ) A . Integrating by parts implies that
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equ18_HTML.gif
(18)

which completes the proof. □

Theorem 4.1 Let https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq23_HTML.gif be an open invex subset with respect to https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq24_HTML.gif and θ ( a , b ) 0 for all a b . Suppose that https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq27_HTML.gif is a twice differentiable function on A. If | f | is preinvex on A and f is integrable on the θ-path P b c , c = b + θ ( a , b ) then, the following inequality holds
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equ19_HTML.gif
(19)
Proof Suppose that a , b A . Since A is an invex set with respect to θ, for every t [ 0 , 1 ] we have b + t θ ( a , b ) A . By preinvexity of | f | and Lemma 4.1 we get
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equ20_HTML.gif
(20)

which completes the proof. □

The corresponding version for powers of the absolute value of the second derivative is incorporated in the following theorem.

Theorem 4.2 Let https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq23_HTML.gif be an open invex subset with respect to https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq24_HTML.gif and θ ( a , b ) 0 for all a b . Suppose that https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq27_HTML.gif is a twice differentiable function on A and | f | p p 1 is preinvex on A, for p > 1 . If f is integrable on the θ-path P b c , c = b + θ ( a , b ) then, the following inequality holds
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equ21_HTML.gif
(21)
Proof By preinvexity of | f | , Lemma 4.1 and using the well-known Hölder integral inequality, we get
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equl_HTML.gif

which completes the proof. □

A more general inequality is given using Lemma 4.1, as follows:

Theorem 4.3 Let https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq23_HTML.gif be an open invex subset with respect to https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq24_HTML.gif and θ ( a , b ) 0 for all a b . Suppose that https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_IEq27_HTML.gif is a twice differentiable function on A and | f | q is preinvex on A, for q > 1 . If f is integrable on the θ-path P b c , c = b + θ ( a , b ) then, the following inequality holds
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equ22_HTML.gif
(22)
Proof By preinvexity of | f | , Lemma 4.1 and using the well-known weighted power mean inequality, we get
https://static-content.springer.com/image/art%3A10.1186%2F1029-242X-2012-247/MediaObjects/13660_2011_Article_381_Equm_HTML.gif

which completes the proof. □

Declarations

Authors’ Affiliations

(1)
Department of Mathematics, Lorestan University
(2)
School of Engineering and Science, Victoria University
(3)
School of Computational and Applied Mathematics, University of the Witwatersrand

References

  1. Dragomir SS: Two mappings on connection to Hadamard’s inequality. J. Math. Anal. Appl. 1992, 167: 49–56. 10.1016/0022-247X(92)90233-4MATHMathSciNetView ArticleGoogle Scholar
  2. Dragomir SS: On Hadamard’s inequalities for convex functions. Math. Balk. 1992, 6: 215–222.MATHGoogle Scholar
  3. Dragomir SS, Pecaric JE, Sandor J: A note on the Jensen-Hadamard inequality. Anal. Numér. Théor. Approx. 1990, 19: 29–34.MATHMathSciNetGoogle Scholar
  4. Dragomir SS, Pecaric JE, Persson LE: Some inequalities of Hadamard type. Soochow J. Math. 1995, 21: 335–341.MATHMathSciNetGoogle Scholar
  5. Dragomir SS, Agarwal RP: Two inequalities for differentiable mappings and applications to special means of real numbers and to trapezoidal formula. Appl. Math. Lett. 1998, 11: 91–95.MATHMathSciNetView ArticleGoogle Scholar
  6. Ion DA: Some estimates on the Hermite-Hadamard inequality through quasiconvex functions. Ann. Univ. Craiova, Math. Comput. Sci. Ser. 2007, 34: 82–87.MathSciNetGoogle Scholar
  7. Hanson MA: On sufficiency of the Kuhn-Tucker conditions. J. Math. Anal. Appl. 1981, 80: 545–550. 10.1016/0022-247X(81)90123-2MATHMathSciNetView ArticleGoogle Scholar
  8. Weir T, Mond B: Preinvex functions in multiple objective optimization. J. Math. Anal. Appl. 1998, 136: 29–38.MathSciNetView ArticleGoogle Scholar
  9. Noor MA: Hermite-Hadamard integral inequalities for log-preinvex functions. J. Math. Anal. Approx. Theory 2007, 2: 126–131.MATHMathSciNetGoogle Scholar
  10. Noor MA: On Hadamard integral inequalities involving two log-preinvex functions. J. Inequal. Pure Appl. Math. 2007, 8: 1–6.Google Scholar
  11. Antczak T: Mean value in invexity analysis. Nonlinear Anal. 2005, 60: 1471–1484.View ArticleGoogle Scholar
  12. Yang XM, Li D: On properties of preinvex functions. J. Math. Anal. Appl. 2001, 256: 229–241. 10.1006/jmaa.2000.7310MATHMathSciNetView ArticleGoogle Scholar
  13. Mohan SR, Neogy SK: On invex sets and preinvex function. J. Math. Anal. Appl. 1995, 189: 901–908. 10.1006/jmaa.1995.1057MATHMathSciNetView ArticleGoogle Scholar
  14. Alomari M, Drus M, Dragomir SS: New inequalities of Hermite-Hadamard type for functions whose second derivatives absolute values are quasi-convex. Tamkang J. Math. 2010, 41: 353–359.MATHMathSciNetGoogle Scholar
  15. Dragomir SS, Pearce CEM RGMIA Monographs. In Selected Topics on Hermite-Hadamard Inequalities and Applications. Victoria University, Melbourne; 2000. http://ajmaa.org/RGMIA/monographs.phpGoogle Scholar

Copyright

© Barani et al.; licensee Springer 2012

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.