Skip to main content

Ostrowski-type inequalities via h-convex functions with applications to special means

Abstract

In this paper, we establish some new Ostrowski-type inequalities for absolutely continuous mappings whose first derivatives in absolute value are h-convex (resp. h-concave) and which are super-multiplicative or super-additive. Some applications to special means are given.

MSC: 26D10, 26A15, 26A16, 26A51.

1 Introduction

[1] Let f:I[0,)R be a differentiable mapping on I , the interior of the interval I, such that f L[a,b], where a,bI with a<b. If | f (x)|M, then the following inequality holds:

|f(x) 1 b a a b f(u)du| M b a [ ( x a ) 2 + ( b x ) 2 2 ] .
(1.1)

This result is known in the literature as the Ostrowski inequality. For recent results and generalizations concerning Ostrowski’s inequality, see [27] and the references therein.

Definition 1 [8]

We say that f:IR is a Godunova-Levin function or that f belongs to the class Q(I) if f is nonnegative, and for all x,yI and t(0,1), we have

f ( t x + ( 1 t ) y ) f ( x ) t + f ( y ) 1 t .
(1.2)

Definition 2 [9]

We say that f:IRR is a P-function, or that f belongs to the class P(I), if f is nonnegative, and for all x,yI and t[0,1], we have

f ( t x + ( 1 t ) y ) f(x)+f(y).
(1.3)

Definition 3 [10]

Let s(0,1]. A function f:[0,)[0,) is said to be s-convex in the second sense if

f ( t x + ( 1 t ) y ) t s f(x)+ ( 1 t ) s f(y)
(1.4)

for all x,y[0,) and t[0,1]. This class of s-convex functions is usually denoted by K s 2 .

Definition 4 [11]

Let h:JR be a nonnegative function, h0. We say that f:IRR is an h-convex function, or that f belongs to the class SX(h,I), if f is nonnegative, and for all x,yI and t[0,1], we have

f ( t x + ( 1 t ) y ) h(t)f(x)+h(1t)f(y).
(1.5)

If inequality (1.5) is reversed, then f is said to be h-concave, i.e., fSV(h,I). Obviously, if h(t)=t, then all nonnegative convex functions belong to SX(h,I) and all nonnegative concave functions belong to SV(h,I); if h(t)= 1 t , then SX(h,I)=Q(I); if h(t)=1, then SX(h,I)P(I); and if h(t)= t s , where s(0,1), then SX(h,I) K s 2 .

Remark 1 [11]

Let h be a nonnegative function such that

h(α)α
(1.6)

for all α(0,1). For example, the function h k (x)= x k , where k1 and x>0, has that property. If f is a nonnegative convex function on I, then for x,yI, α(0,1), we have

f ( α x + ( 1 α ) y ) αf(x)+(1α)f(y)h(α)f(x)+h(1α)f(y).
(1.7)

So, fSX(h,I). Similarly, if the function h has the property h(α)α for all α(0,1), then any nonnegative concave function f belongs to the class SV(h,I).

Definition 5 [11]

A function h:JR is said to be a super-multiplicative function if

h(xy)h(x)h(y)
(1.8)

for all x,yJ, when xyJ.

If inequality (1.8) is reversed, then h is said to be a sub-multiplicative function. If equality is held in (1.8), then h is said to be a multiplicative function.

Definition 6 [12]

A function h:JR is said to be a super-additive function if

h(x+y)h(x)+h(y)
(1.9)

for all x,yJ, when x+yJ.

In [13], Sarıkaya et al. established the following Hadamard-type inequality for h-convex functions.

Theorem 1 [13]

Let fSX(h,I), a,bI and f L 1 ([a,b]), then

1 2 h ( 1 2 ) f ( a + b 2 ) 1 b a a b f(x)dx [ f ( a ) + f ( b ) ] 0 1 h(t)dt.
(1.10)

For recent results related to h-convex functions, see [11, 1316].

The aim of this study is to establish some Ostrowski-type inequalities for the class of functions whose derivatives in absolute value are h-convex and h-concave functions.

2 Ostrowski-type inequalities for h-convex functions

In order to achieve our objective, we need the following lemma [5].

Lemma 1 [5]

Let f:IRR be a differentiable mapping on I where a,bI with a<b. If f L[a,b], then the following equality holds:

f ( x ) 1 b a a b f ( u ) d u = ( x a ) 2 b a 0 1 t f ( t x + ( 1 t ) a ) d t ( b x ) 2 b a 0 1 t f ( t x + ( 1 t ) b ) d t

for each x[a,b].

Theorem 2 Let h:JRR be a nonnegative and super-multiplicative function, let f:IRR be a differentiable mapping on I such that f L[a,b], where a,bI with a<b, and h(α)α. If | f | is an h-convex function on I and | f (x)|M, x[a,b], then we have

|f(x) 1 b a a b f(u)du| M [ ( x a ) 2 + ( b x ) 2 ] b a 0 1 [ h ( t 2 ) + h ( t t 2 ) ] dt
(2.1)

for each x[a,b].

Proof By Lemma 1 and since | f | is h-convex, then we can write

| f ( x ) 1 b a a b f ( u ) d u | ( x a ) 2 b a 0 1 t | f ( t x + ( 1 t ) a ) | d t + ( b x ) 2 b a 0 1 t | f ( t x + ( 1 t ) b ) | d t ( x a ) 2 b a 0 1 t [ h ( t ) | f ( x ) | + h ( 1 t ) | f ( a ) | ] d t + ( b x ) 2 b a 0 1 t [ h ( t ) | f ( x ) | + h ( 1 t ) | f ( b ) | ] d t M ( x a ) 2 b a 0 1 [ h 2 ( t ) + h ( t ) h ( 1 t ) ] d t + M ( b x ) 2 b a 0 1 [ h 2 ( t ) + h ( t ) h ( 1 t ) ] d t M [ ( x a ) 2 + ( b x ) 2 ] b a 0 1 [ h ( t 2 ) + h ( t t 2 ) ] d t .

The proof is completed. □

Remark 2 In (2.1), if we choose h(t)=t, inequality (2.1) reduces to (1.1).

In the next corollary, we also make use of the beta function of Euler type, which is for x,y>0 defined as

β(x,y)= 0 1 t x 1 ( 1 t ) y 1 dt= Γ ( x ) Γ ( y ) Γ ( x + y ) .

Corollary 1 In (2.1), if we choose h(t)= t s , then we have

| f ( x ) 1 b a a b f ( u ) d u | M [ ( x a ) 2 + ( b x ) 2 ] b a 0 1 [ t 2 s + ( t t 2 ) s ] d t = M [ ( x a ) 2 + ( b x ) 2 ] b a 0 1 [ t 2 s + t s ( 1 t ) s ] d t = M [ ( x a ) 2 + ( b x ) 2 ] b a [ 1 2 s + 1 + Γ ( s + 1 ) Γ ( s + 1 ) Γ ( 2 s + 2 ) ] = M [ ( x a ) 2 + ( b x ) 2 ] b a [ Γ ( 2 s + 1 ) + s 2 ( Γ ( s ) ) 2 ( 2 s + 1 ) Γ ( 2 s + 1 ) ] .

One of the important results is given in the following theorem.

Theorem 3 Let h:JRR be a nonnegative and super-additive function, let f:IRR be a differentiable mapping on I such that f L[a,b], where a,bI with a<b. If | f | q is an h-convex function on [a,b], p,q>1, 1 p + 1 q =1, h(t)t and | f (x)|M, x[a,b], then

|f(x) 1 b a a b f(u)du| M h 1 q ( 1 ) b a ( 0 1 ( h ( t p ) d t ) ) 1 p ( ( x a ) 2 + ( b x ) 2 )
(2.2)

for each x[a,b].

Proof Suppose that p>1. From Lemma 1 and using Hölder’s inequality, we can write

| f ( x ) 1 b a a b f ( u ) d u | ( x a ) 2 b a 0 1 t | f ( t x + ( 1 t ) a ) | d t + ( b x ) 2 b a 0 1 t | f ( t x + ( 1 t ) b ) | d t ( x a ) 2 b a ( 0 1 t p d t ) 1 p ( 0 1 | f ( t x + ( 1 t ) a ) | q d t ) 1 q + ( b x ) 2 b a ( 0 1 t p d t ) 1 p ( 0 1 | f ( t x + ( 1 t ) b ) | q d t ) 1 q .

Since | f | q is h-convex, by using the properties of h-convexity in the assumptions, we have

0 1 | f ( t x + ( 1 t ) a ) | q d t 0 1 [ h ( t ) | f ( x ) | q + h ( 1 t ) | f ( a ) | q ] d t M q 0 1 [ h ( t ) + h ( 1 t ) ] d t M q 0 1 h ( 1 ) d t = M q h ( 1 ) .

Similarly, we can show that

0 1 | f ( t x + ( 1 t ) b ) | q d t 0 1 [ h ( t ) | f ( x ) | q + h ( 1 t ) | f ( b ) | q ] d t M q h ( 1 )

and

0 1 t p dt 0 1 h ( t p ) dt.

Therefore, we obtain

| f ( x ) 1 b a a b f ( u ) d u | M h 1 q ( 1 ) ( x a ) 2 b a ( 0 1 h ( t p ) d t ) 1 p + M h 1 q ( 1 ) ( b x ) 2 b a ( 0 1 h ( t p ) d t ) 1 p = M h 1 q ( 1 ) b a ( 0 1 h ( t p ) d t ) 1 p ( ( x a ) 2 + ( b x ) 2 ) .

The proof is completed. □

For example, h(t)= t 2 is a super-additive function for nonnegative real numbers because the square of (u+v) is always greater than or equal to the square of u plus the square of v, for u,v[0,).

Corollary 2 In (2.2), if we choose h(t)= t n with nN, n2, then we have

|f(x) 1 b a a b f(u)du| M b a ( 1 n p + 1 ) 1 p ( ( x a ) 2 + ( b x ) 2 ) .
(2.3)

Remark 3 Since ( 1 n p + 1 ) 1 p < 1 2 , for any 4n>p>1, nN, then we behold that inequality (2.3) is better than inequality (1.1). Better approaches can be obtained even if it is irregular for bigger n and p numbers.

As we know, h-convex functions include all nonnegative convex, s-convex in the second sense, Q(I)-convex and P-convex function classes. In this respect, it is normal to obtain weaker results once compared with inequalities in referenced studies, because the inequalities written herein were considered to be more general than the above-mentioned classes, and it was taken into account to be super-multiplicative or super-additive material. In this case, the right side of inequality may be greater.

A new approach to an h-convex function is given in the following result.

Theorem 4 Let h:JRR be a nonnegative and super-multiplicative function, let f:IRR be a differentiable mapping on I such that f L[a,b], where a,bI with a<b. If | f | q is an h-convex function on [a,b], q1, h(α)α and | f (x)|M, x[a,b], then

| f ( x ) 1 b a a b f ( u ) d u | 2 q M 2 ( b a ) ( ( x a ) 2 + ( b x ) 2 ) ( 0 1 ( h ( t 2 ) + h ( t t 2 ) ) d t ) 1 q
(2.4)

for each x[a,b].

Proof Suppose that q1. From Lemma 1 and using the power mean inequality, we have

| f ( x ) 1 b a a b f ( u ) d u | ( x a ) 2 b a 0 1 t | f ( t x + ( 1 t ) a ) | d t + ( b x ) 2 b a 0 1 t | f ( t x + ( 1 t ) b ) | d t ( x a ) 2 b a ( 0 1 t d t ) 1 1 q ( 0 1 t | f ( t x + ( 1 t ) a ) | q d t ) 1 q + ( b x ) 2 b a ( 0 1 t d t ) 1 1 q ( 0 1 t | f ( t x + ( 1 t ) b ) | q d t ) 1 q .

Since | f | q is h-convex, we have

0 1 t | f ( t x + ( 1 t ) a ) | q d t 0 1 [ t h ( t ) | f ( x ) | q + t h ( 1 t ) | f ( a ) | q ] d t | f ( x ) | q 0 1 h ( t ) h ( t ) d t + | f ( a ) | q 0 1 h ( t ) h ( 1 t ) d t M q [ 0 1 h ( t 2 ) d t + 0 1 h ( t t 2 ) d t ] .

Similarly, we can observe that

0 1 t | f ( t x + ( 1 t ) b ) | q d t | f ( x ) | q 0 1 h ( t ) h ( t ) d t + | f ( b ) | q 0 1 h ( t ) h ( 1 t ) d t M q { 0 1 h ( t 2 ) d t + 0 1 h ( t t 2 ) d t } .

Therefore, we deduce

| f ( x ) 1 b a a b f ( u ) d u | ( x a ) 2 b a ( 1 2 ) 1 1 q ( M q 0 1 ( h ( t 2 ) + h ( t t 2 ) ) d t ) 1 q + ( b x ) 2 b a ( 1 2 ) 1 1 q ( M q 0 1 ( h ( t 2 ) + h ( t t 2 ) ) d t ) 1 q = M ( 1 2 ) 1 1 q ( 0 1 ( h ( t 2 ) + h ( t t 2 ) ) d t ) 1 q ( ( x a ) 2 + ( b x ) 2 ( b a ) ) = 2 q M ( 0 1 ( h ( t 2 ) + h ( t t 2 ) ) d t ) 1 q ( ( x a ) 2 + ( b x ) 2 2 ( b a ) )

and the proof is completed. □

Remark 4

  1. (i)

    In the above inequalities, one can establish several midpoint-type inequalities by letting x= a + b 2 .

  2. (ii)

    In Theorem 4, if we choose

  3. (a)

    x= a + b 2 , then we obtain

    | f ( a + b 2 ) 1 b a a b f ( u ) d u | 2 q M ( b a ) 4 ( 0 1 ( h ( t 2 ) + h ( t t 2 ) ) d t ) 1 q ,
  4. (b)

    x=a, then we obtain

    |f(a) 1 b a a b f(u)du| 2 q M ( b a ) 2 ( 0 1 ( h ( t 2 ) + h ( t t 2 ) ) d t ) 1 q ,
  5. (c)

    x=b, then we obtain

    |f(b) 1 b a a b f(u)du| 2 q M ( b a ) 2 ( 0 1 ( h ( t 2 ) + h ( t t 2 ) ) d t ) 1 q .

The following result holds for h-concave functions.

Theorem 5 Let h:JRR be a nonnegative and super-additive function, let f:IRR be a differentiable mapping on I such that f L[a,b], where a,bI with a<b. If | f | q is an h-concave function on [a,b], p,q>1, 1 p + 1 q =1, h(t)t, then

| f ( x ) 1 b a a b f ( u ) d u | 1 2 q ( p + 1 ) 1 p h 1 q ( 1 2 ) [ ( x a ) 2 b a | f ( x + a 2 ) | + ( b x ) 2 b a | f ( x + b 2 ) | ]
(2.5)

for each x[a,b].

Proof Suppose that p>1. From Lemma 1 and using Hölder’s inequality, we can write

| f ( x ) 1 b a a b f ( u ) d u | ( x a ) 2 b a 0 1 t | f ( t x + ( 1 t ) a ) | d t + ( b x ) 2 b a 0 1 t | f ( t x + ( 1 t ) b ) | d t ( x a ) 2 b a ( 0 1 t p d t ) 1 p ( 0 1 | f ( t x + ( 1 t ) a ) | q d t ) 1 q + ( b x ) 2 b a ( 0 1 t p d t ) 1 p ( 0 1 | f ( t x + ( 1 t ) b ) | q d t ) 1 q .
(2.6)

However, since | f | q is h-concave, using inequality (1.10), we have

( 0 1 | f ( t x + ( 1 t ) a ) | q d t ) 1 2 h ( 1 2 ) | f ( x + a 2 ) | q
(2.7)

and

( 0 1 | f ( t x + ( 1 t ) b ) | q d t ) 1 2 h ( 1 2 ) | f ( x + b 2 ) | q .
(2.8)

By combining the numbered inequalities above, we obtain

| f ( x ) 1 b a a b f ( u ) d u | ( x a ) 2 b a 1 ( p + 1 ) 1 p ( 1 2 h ( 1 2 ) ) 1 q | f ( x + a 2 ) | + ( b x ) 2 b a 1 ( p + 1 ) 1 p ( 1 2 h ( 1 2 ) ) 1 q | f ( x + b 2 ) | = 1 2 q ( p + 1 ) 1 p h 1 q ( 1 2 ) [ ( x a ) 2 b a | f ( x + a 2 ) | + ( b x ) 2 b a | f ( x + b 2 ) | ] .

The proof is completed. □

A midpoint-type inequality for functions whose derivatives in absolute value are h-concave may be established from the result above as follows.

Corollary 3 In (2.5), if we choose x= a + b 2 , then we get

| f ( a + b 2 ) 1 b a a b f ( u ) d u | b a 2 2 q + 1 q ( p + 1 ) 1 p h 1 q ( 1 2 ) [ | f ( 3 a + b 4 ) | + | f ( a + 3 b 4 ) | ] .
(2.9)

For instance, if h(t)=t, then we obtain

| f ( a + b 2 ) 1 b a a b f ( u ) d u | b a 4 ( p + 1 ) 1 p [ | f ( 3 a + b 4 ) | + | f ( a + 3 b 4 ) | ] ,
(2.10)

where | f | q is an h-concave function on [a,b], p,q>1.

3 Applications to special means

We consider the means for arbitrary positive numbers a, b (ab) as follows.

The arithmetic mean:

A(a,b)= a + b 2 .

The generalized log-mean:

L p (a,b)= [ b p + 1 a p + 1 ( p + 1 ) ( b a ) ] 1 p ,pR{1,0}.

The identric mean:

I(a,b)= 1 e ( b b a a ) 1 b a .

Now, using the result of Section 2, we give some applications to special means of real numbers.

In [11], the following example is given.

Example 1 [11]

Let h be a function defined by h(x)= ( c + x ) p 1 , x0. If c=0, then the function h is multiplicative. If c1, then for p(0,1) the function h is super-multiplicative and for p>1 the function h is sub-multiplicative.

Hence, for c=1, p(0,1), we have h(t)= ( 1 + t ) p 1 , t0, is super-multiplicative. Let f(x)= x n , x>0, |n|2, be an h-convex function.

Proposition 1 Let 0<a<b, p(0,1) and |n|2. Then

| A n (a,b) L n n (a,b)| M ( b a ) 4 [ 0 1 ( 1 + t 2 ) p 1 d t + 0 1 ( 1 + t t 2 ) p 1 d t ] .

Proof The inequality is derived from (2.1) with x= a + b 2 applied to the h-convex functions f:RR, f(x)= x n , |n|2, and h:RR, h(t)= ( 1 + t ) p 1 , p(0,1). The details are disregarded. □

Proposition 2 Let 0<a<b, p(0,1), q>1 and |n|2. Then

| A n (a,b) L n n (a,b)| 2 p M ( b a ) 8 [ 0 1 ( 1 + t 2 ) p 1 d t + 0 1 ( 1 + t t 2 ) p 1 d t ] 1 q .

Proof The inequality is derived from (2.3) with x= a + b 2 applied to the h-convex functions f:RR, f(x)= x n , |n|2, and h:RR, h(t)= ( 1 + t ) p 1 , p(0,1). The details are disregarded. □

Proposition 3 Let 0<a<b and p,q>1. Then we have

|ln ( A ( a , b ) + 1 ) (ba)lnI(a+1,b+1)| b a 4 ( p + 1 ) 1 p [ 1 3 a + b + 4 + 1 a + 3 b + 4 ] .

Proof The inequality is derived from (2.10) applied to the concave function f:[a,b]R, f(x)=ln(x+1). The details are disregarded. □

References

  1. Dragomir SS, Rassias TM (Eds): Ostrowski Type Inequalities and Applications in Numerical Integration. Kluwer Academic, Dordrecht; 2002.

    Google Scholar 

  2. Alomari M, Darus M: Some Ostrowski type inequalities for convex functions with applications. RGMIA Res. Rep. Coll. 2010., 13(1): Article ID 3

    Google Scholar 

  3. Alomari M, Darus M: Some Ostrowski type inequalities for quasi-convex functions with applications to special means. RGMIA Res. Rep. Coll. 2010., 13(2): Article ID 3

    Google Scholar 

  4. Alomari M, Darus M, Dragomir SS, Cerone P: Ostrowski type inequalities for functions whose derivatives are s -convex in the second sense. Appl. Math. Lett. 2010, 23: 1071–1076. 10.1016/j.aml.2010.04.038

    Article  MathSciNet  Google Scholar 

  5. Cerone P, Dragomir SS: Ostrowski type inequalities for functions whose derivatives satisfy certain convexity assumptions. Demonstr. Math. 2004, 37(2):299–308.

    MathSciNet  Google Scholar 

  6. Barnett NS, Cerone P, Dragomir SS, Pinheiro MR, Sofo A: Ostrowski type inequalities for functions whose modulus of derivatives are convex and applications. RGMIA Res. Rep. Coll. 2002., 5(2): Article ID 1 http://www.rgmia.org/papers/v5n2/Paperwapp2q.pdf

    Google Scholar 

  7. Dragomir, SS, Sofo, A: Ostrowski type inequalities for functions whose derivatives are convex. In: Proceedings of the 4th International Conference on Modelling and Simulation, Victoria University, Melbourne, Australia, 11–13 November 2002. RGMIA Res. Rep. Coll. 5, supp., Article No. 30 (2002). http://www.rgmia.org/papers/v5e/OTIDC2_col.pdf.

    Google Scholar 

  8. Godunova EK, Levin VI: Neravenstva dlja funkcii sirokogo klassa, soderzascego vypuklye, monotonnye i nekotorye drugie vidy funkcii. In Vycislitel. Mat. i Fiz. Mezvuzov. Sb. Nauc. Trudov. MGPI, Moscow; 1985:138–142.

    Google Scholar 

  9. Dragomir SS, Pečarić J, Persson LE: Some inequalities of Hadamard type. Soochow J. Math. 1995, 21: 335–341.

    MathSciNet  Google Scholar 

  10. Hudzik H, Maligranda L: Some remarks on s -convex functions. Aequ. Math. 1994, 48: 100–111. 10.1007/BF01837981

    Article  MathSciNet  Google Scholar 

  11. Varošanec S: On h -convexity. J. Math. Anal. Appl. 2007, 326(1):303–311. 10.1016/j.jmaa.2006.02.086

    Article  MathSciNet  Google Scholar 

  12. Alzer H: A superadditive property of Hadamard’s gamma function. Abh. Math. Semin. Univ. Hamb. 2009, 79: 11–23. 10.1007/s12188-008-0009-5

    Article  MathSciNet  Google Scholar 

  13. Sarıkaya MZ, Sağlam A, Yıldırım H: On some Hadamard-type inequalities for h -convex functions. J. Math. Inequal. 2008, 2(3):335–341.

    Article  MathSciNet  Google Scholar 

  14. Bombardelli M, Varošanec S: Properties of h -convex functions related to the Hermite-Hadamard-Fejér inequalities. Comput. Math. Appl. 2009, 58: 1869–1877. 10.1016/j.camwa.2009.07.073

    Article  MathSciNet  Google Scholar 

  15. Burai P, Hazy A: On approximately h -convex functions. J. Convex Anal. 2011, 18(2):447–454.

    MathSciNet  Google Scholar 

  16. Özdemir ME, Gürbüz M, Akdemir AO: Inequalities for h -convex functions via further properties. RGMIA Res. Rep. Coll. 2011., 14: Article ID 22

    Google Scholar 

Download references

Acknowledgements

The author gives his warm thanks to the editor and the authors for their precious papers in the reference list.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mevlüt Tunç.

Additional information

Competing interests

The author declares that they have no competing interests.

Rights and permissions

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

Reprints and permissions

About this article

Cite this article

Tunç, M. Ostrowski-type inequalities via h-convex functions with applications to special means. J Inequal Appl 2013, 326 (2013). https://doi.org/10.1186/1029-242X-2013-326

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2013-326

Keywords