- Research
- Open Access

# A generalizations of Simpson’s type inequality for differentiable functions using $(\alpha ,m)$-convex functions and applications

- Shahid Qaisar
^{1}Email author, - Chuanjiang He
^{1, 2}and - Sabir Hussain
^{3, 4}

**2013**:158

https://doi.org/10.1186/1029-242X-2013-158

© Qaisar et al.; licensee Springer. 2013

**Received:**11 November 2012**Accepted:**18 March 2013**Published:**8 April 2013

## Abstract

In this paper, we establish some new inequalities of Simpson’s type based on $(\alpha ,m)$-convexity for differentiable mappings. This contributes to new better estimates than presented already. Some applications for special means of real numbers and error estimates for some numerical quadrature rules are also given.

**MSC:**26D15, 26D10.

## Keywords

- Simpson’s inequality
- mid point inequality
- Holder’s inequality; special means
- $(\alpha ,m)$-convex function

## 1 Introduction

*s*-convex function as: A function $f:[0,\mathrm{\infty})\to \mathrm{R}$ is said to be

*s*-convex or

*f*belongs to the class ${K}_{s}^{i}$, if for all $x,y\in [0,\mathrm{\infty})$ and $\mu ,\nu \in [0,1]$, the following inequality holds:

for some fixed $s\in (0,1]$.

Note that, if ${\mu}^{s}+{\nu}^{s}=1$, the above class of convex functions is called *s*-convex functions in first sense and represented by ${K}_{s}^{1}$ and if $\mu +\nu =1$, the above class is called *s*-convex in second sense and represented by ${K}_{s}^{2}$.

It may be noted that every 1-convex function is convex. In [1], they also discussed a few results connecting with *s*-convex functions in second sense and some new results about Hadamard’s inequality for *s*-convex functions are discussed in [2], while on the other hand there are many important inequalities connecting with 1-convex (convex) functions [2].

Recently, many others [1–6] developed and discussed error estimates of the Simpson’s inequality interms of refinement, counterparts, generalizations and new Simpson’s type inequalities.

In [3], Dragomir *et al.* proved the following recent developments on Simpson’s inequality for which the remainder is expressed interms of lower derivatives than the fourth.

**Theorem 1.1**

*Suppose*$f:[a,b]\to \mathrm{R}$

*is a differentiable mapping whose derivative is continuous on*$(a,b)$

*and*${f}^{\mathrm{\prime}}\in L[a,b]$.

*Then*

*where* ${\parallel {f}^{\mathrm{\prime}}\parallel}_{1}={\int}_{a}^{b}|{f}^{\mathrm{\prime}}(x)|\phantom{\rule{0.2em}{0ex}}dx$.

Note that the bound of (1.1) for *L*-Lipschitzian mapping is $\frac{5}{36}L(b-a)$ [3].

**Theorem 1.2**

*Suppose*$f:[a,b]\to \mathrm{R}$

*is an absolutely continuous mapping on*$[a,b]$

*whose derivative belongs to*${L}_{p}[a,b]$.

*Then the following inequality holds*:

*where* $\frac{1}{p}+\frac{1}{q}=1$ *and* $p>1$.

In [7], Kirmaci established the following Hermite-Hadamard type inequality for differentiable convex functions as the following.

**Theorem 1.3**

*Let*$f:I\subset \mathrm{R}\to \mathrm{R}$

*be a differentiable function on*${I}^{0}$ (

*interior of*

*I*),

*where*$a,b\in I$

*with*$a<b$.

*If the mapping*$|{f}^{\mathrm{\prime}}|$

*is convex on*$[a,b]$,

*then*

For generalizations of (1.3), we refer to [8–10].

In [4] and [5], Dragomir and Fitzpatrick presented the following inequalities.

**Theorem 1.4** [4]

*Let*$f:[a,b]\to \mathrm{R}$

*be a L*-

*Lipschitzian mapping on*$[a,b]$.

*Then*

**Theorem 1.5** [5]

*Suppose that*$f:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$

*is a convex function in the second sense*,

*where*$s\in (0,1)$

*and let*$a,b\in [0,\mathrm{\infty})$, $a<b$.

*If*$f\in {L}^{1}[a,b]$,

*then*

*The constant* $k=\frac{1}{s+1}$ *is the best possible in the second inequality in* (1.5). *The above inequalities are sharp*.

In [11], Mishen presented the class of $(\alpha ,m)$-convex functions as the following.

**Definition 1.6**A function $f:[0,b)\to \mathrm{R}$ is said to be $(\alpha ,m)$-convex, where $(\alpha ,m)\in {[0,1]}^{2}$, if for every $x,y\in [0,b]$ and $\lambda \in [0,1]$, the following inequality holds:

where $(\alpha ,m)\in {[0,1]}^{2}$, for some fixed $m\in (0,1]$.

Note that $(\alpha ,m)\in \{(0,0),(\alpha ,0),(1,0),(1,m)(1,1),(\alpha ,1)\}$. One receives the following classes of functions respectively: increasing, *α*-starshaped, starshaped, *m*-convex, convex and *α*-convex. Denote by ${K}_{m}^{\alpha}(b)$, the set of all $(\alpha ,m)$-convex function on $[0,b]$ with $f(0)\le 0$. For recent results and generalizations referring *m*-convex and $(\alpha ,m)$-convex functions, we refer to [12, 13] and [14].

In this paper, we establish some new inequalities of Simpson’s type based on $(\alpha ,m)$-convexity for differentiable mappings. This contributes to new better estimates than presented already. Some applications for special means of real numbers and error estimates for some numerical quadrature rules are also given. By using these results, without discussing the higher derivatives, which may not exist, not be bounded and may be difficult to investigate, we find the error estimate of Simpson’s formula.

## 2 Main results

Before proceeding toward our main theorem regarding generalization of Simpson’s inequality using $(\alpha ,m)$-convex function, we begin with the following lemma.

**Lemma 2.1**

*Let*$f:I\subset \mathrm{R}\to \mathrm{R}$

*be differentiable mapping on*${I}^{0}$ (

*interior of*

*I*),

*where*$a,b\in I$

*such that*$a<b$.

*Then we have the following inequality*:

*where*

*Proof*

Let we substitute, $x=\lambda b+m(1-\lambda )a$, and $dx=(b-ma)\phantom{\rule{0.2em}{0ex}}d\lambda $, which gives $(b-ma)$. $I=\frac{1}{6}[f(ma)+4f(\frac{ma+b}{2})+f(b)]-\frac{1}{b-ma}{\int}_{ma}^{b}f(x)\phantom{\rule{0.2em}{0ex}}d\lambda $. This proves as required. □

In the following result, we have another refinement of the Simpson’s inequality *via* $(\alpha ,m)$-convex functions.

**Theorem 2.2**

*Let*

*f*

*be defined as in Lemma*2.1.

*If the mapping*$|{f}^{\mathrm{\prime}}|$

*is*$(\alpha ,m)$-

*convex on*$[a,b]$,

*for*$(\alpha ,m)\in {[0,1]}^{2}$.

*Then we have the following inequality*:

*where* ${v}_{1}=\frac{{6}^{-\alpha}-9{(2)}^{-\alpha}+{(5)}^{\alpha +2}{(6)}^{-\alpha}+3\alpha -12}{18(\alpha +1)(\alpha +2)}$ *and* ${v}_{2}=(\frac{5}{36}-{v}_{1})$.

The proof is completed. □

Now, we conclude the following corollaries.

**Corollary 2.3**

*Let*

*f*

*be defined as in Theorem*2.2.

*If the mapping*$|{f}^{\mathrm{\prime}}|$

*is*$(\alpha ,m)$-

*convex on*$[a,b]$, $(\alpha ,m)\in {[0,1]}^{2}$.

*Then we have the following inequality*:

**Observation 1** It is observed that the above midpoint inequality (2.3) is better than the inequality (1.1) presented by Dragomir [12].

The upper bound of the midpoint inequality for the first derivative is presented as:

**Corollary 2.4**

*By substituting*$f(ma)=f(\frac{ma+b}{2})=f(b)$,

*in inequality*(2.2),

*we get*

*where* ${v}_{1}=\frac{{6}^{-\alpha}-9{(2)}^{-\alpha}+{(5)}^{\alpha +2}{(6)}^{-\alpha}+3\alpha -12}{18(\alpha +1)(\alpha +2)}$ *and* ${v}_{2}=(\frac{5}{36}-{v}_{1})$.

**Corollary 2.5**

*Putting*$\alpha =1$,

*and*$m=1$,

*in the above inequality*(2.4),

*we get*

**Observation 2** It is observed that the above midpoint inequality (2.5) seems better than the inequality (1.3) presented by Kiramic [7].

By applying Holder’s inequality, we obtain the following theorem.

**Theorem 2.6**

*Let*

*f*

*be defined as in Theorem*2.2

*with*$\frac{1}{p}+\frac{1}{q}=1$.

*If the mapping*$|{f}^{\mathrm{\prime}}{|}^{p/(p-1)}$

*is*$(\alpha ,m)$-

*convex on*$[a,b]$,

*for*$(\alpha ,m)\in {[0,1]}^{2}$

*and*$p>1$.

*Then we have the following inequality*:

*Proof*

Therefore, by combining (2.7), (2.8) and (2.9), we get the required result. The proof is completed. □

**Corollary 2.7**

*Let*

*f*

*be defined as in Theorem*2.6.

*If the mapping*$|{f}^{\mathrm{\prime}}{|}^{p/(p-1)}$

*is*$(\alpha ,m)$-

*convex on*$[a,b]$,

*for*$(\alpha ,m)\in {[0,1]}^{2}$

*with*$p>1$

*and*$\frac{1}{p}+\frac{1}{q}=1$.

*Then we have the following inequality*:

In the following corollary, we have the mid point inequality for powers in terms of the first derivative.

In the following theorem, we obtain another form of Simpson inequality for powers in term of the first derivative.

**Theorem 2.10**

*Let*

*f*

*be defined as in Theorem*2.6.

*If the mapping*$|{f}^{\prime}{|}^{q}$

*is*$(\alpha ,m)$-

*convex on*$[a,b]$,

*for*$(\alpha ,m)\in {[0,1]}^{2}$

*and*$q\ge 1$.

*We have the following inequality*:

*where* ${u}_{1}=\frac{({3}^{-\alpha})({2}^{1-\alpha})+3(\alpha )({2}^{1-\alpha})+3({2}^{-\alpha})}{{6}^{3}(\alpha +1)(\alpha +2)}$,
, ${u}_{3}=\frac{({5}^{\alpha +2})({3}^{-\alpha})({2}^{1-\alpha})-3(\alpha )({2}^{1-\alpha})-21({2}^{-\alpha})+6(\alpha )-24}{{6}^{3}(\alpha +1)(\alpha +2)}$ *and* ${u}_{4}=(\frac{5}{72}-{u}_{3})$.

*Proof*

Our required result is obtained by combining inequalities (2.14), (2.15) and (2.16). The proof is completed. □

**Corollary 2.11**

*Let*

*f*

*be as in Theorem*2.10

*and*$\alpha =1$,

*the inequality holds for*

*s*-

*convex functions*:

*Moreover*,

*if*$\alpha =1$, $m=1$,

*the inequality holds for convex function*.

*If*$|{f}^{\mathrm{\prime}}(x)|\le Q$, $\mathrm{\forall}x\in I$,

*then we have*

**Observation 3** It is observed that the inequality (2.18) with $m=1$ gives an improvement for the inequality (1.4).

The following corollary gives the refinement of inequality (2.13).

*where*${v}_{1}=({3}^{-\alpha})({2}^{1-\alpha})+3(\alpha )({2}^{1-\alpha})+3({2}^{-\alpha})$,

*and*${v}_{2}=({5}^{\alpha +2})({3}^{-\alpha})({2}^{1-\alpha})-3(\alpha )({2}^{1-\alpha})-21({2}^{-\alpha})+6(\alpha )-24$.

*Further*,

*if*$\alpha =1$,

*we get*

The proof is completed. □

## 3 Application to Simpson’s formula

*D*be the partition of the interval $[a,b]$, with ${h}_{i}=({x}_{i+1}-{x}_{i})/2$ and suppose that $D:a={x}_{0}<{x}_{1}<\cdots <{x}_{n-1}<{x}_{n}=b$. Since the Simpson’s formula is:

*I*by Simpson’s formula ${S}_{n}(f,D)$ fulfils the following:

Clearly, (3.2) cannot be applied, if the fourth derivative of *f* is not bounded on $(a,b)$. Some new error estimates for the Simpson’s rule in terms of first and second derivative are presented as follows.

**Proposition 3.1**

*Let*

*f*

*be defined as in Corollary*2.3.

*If the mapping*$|{f}^{\prime}|$

*is*$(\alpha ,m)$-

*convex on*$[a,b]$,

*then for every division*

*D*

*of*$[a,b]$,

*in*(3.2),

*we have*

*Proof*Let

*D*be the division of the subintervals $[{x}_{i+1}-{x}_{i}]$ ($i=0,1,\dots ,n-1$). By applying Corollary 2.3 on the subintervals, we get

*i*from 0 to $n-1$, and by triangle inequality, we get

The proof is completed. □

The proof of following proposition is same as of Proposition 3.1 and by using Corollary 2.9.

**Proposition 3.2**

*Let*

*f*

*be defined as in Proposition*3.1.

*If*$|{f}^{\mathrm{\prime}}{|}^{p/(p-1)}$

*is*$(\alpha ,m)$-

*convex on*$[a,b]$, $p>1$,

*then for every division*

*D*

*of*$[a,b]$,

*in*(3.2),

*we have*

## 4 Application to the midpoint formula

*D*be the partition of the interval $[a,b]$, with ${h}_{i}=({x}_{i+1}-{x}_{i})/2$ and suppose that $D:a={x}_{0}<{x}_{1}<\cdots <{x}_{n-1}<{x}_{n}=b$. Since the midpoint formula is:

*I*by the mid point formula $M(f,D)$ fulfils the following:

Here, we derive some new better error estimates for the remainder term ${E}_{M}(f,D)$ in terms of the first derivative which are refined estimates as compared to presented in [10].

**Proposition 4.1**

*Let*

*f*

*be defined as in Corollary*2.5.

*If the mapping*$|{f}^{\prime}|$

*is*$(\alpha ,m)$-

*convex on*$[a,b]$,

*then for every division*

*D*

*of*$[a,b]$,

*in*(4.2),

*we have*

*Proof*Let

*D*be the division of the subintervals $[{x}_{i+1}-{x}_{i}]$ ($i=0,1,\dots ,n-1$). By applying Corollary 2.5 on the subintervals, we get

*i*from 0 to $n-1$, and by triangle inequality, we get

The proof is completed. □

The proof of following proposition is same as of Proposition 4.1, by putting $m=1$ in Corollary 2.9.

**Proposition 4.2**

*Let*

*f*

*be defined as in Proposition*4.1.

*If*$|{f}^{\mathrm{\prime}}{|}^{p/(p-1)}$

*is*$(\alpha ,m)$-

*convex on*$[a,b]$, $p>1$,

*then for every division*

*D*

*of*$[a,b]$,

*in*(4.2),

*we have*

## 5 Application to some special means

- (a)The arithmetic mean:$A=A(a,b):=\frac{a+b}{2},\phantom{\rule{1em}{0ex}}a,b>0.$
- (b)The logarithmic mean:$L=L(a,b)=\{\begin{array}{cc}a,\hfill & \text{if}a=b,\hfill \\ \frac{b-a}{lnb-lna},\hfill & \text{if}a\ne b,\hfill \end{array}\phantom{\rule{1em}{0ex}}a,b0.$
- (c)The
*p*-logarithmic mean:${L}_{p}\equiv {L}_{p}(a,b)=\{\begin{array}{cc}a,\hfill & \text{if}a=b,\hfill \\ \frac{{b}^{p+1}-{a}^{p+1}}{(p+1)(b-a)},\hfill & \text{if}a\ne b,\hfill \end{array}\phantom{\rule{1em}{0ex}}p\in \mathrm{\Re}\mathrm{\setminus}\{-1,0\}:a,b0.$

It is well known that ${L}_{P}$ is monotonic nondecreasing over $p\in \mathrm{R}$ with ${L}_{-1}:=L$ and ${L}_{0}:=I$. In particular, we have $L\le A$.

for $\varphi \ge 0$ and $0\le \chi \le \phi $, we have $g\in {K}_{\alpha}^{2}$ [1]. Thus, by taking $\phi =\chi =0$, $\varphi =1$, we get $g:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ implies: $g(t)={t}^{\alpha}$, $g\in {K}_{\alpha}^{2}$.

Now using the results of Section 2, some new inequalities are derived for the above means.

*Proof* The assertion follows by taking $m=1$ and from inequality (2.2) applied to the mapping $f(x)={x}^{\alpha}$, $x\in [a,b]$ with $n\in N$.

□

*Proof* The assertion follows by taking $m=1$ and from inequality (2.6) applied to the mapping $f(x)={x}^{\alpha}$, $x\in [a,b]$ and $n\in N$.

□

## Declarations

## Authors’ Affiliations

## References

- Hudzik H, Maligrada L: Some remarks on
*s*-convex functions.*Aequ. Math.*1994, 48: 100–111. 10.1007/BF01837981View ArticleGoogle Scholar - Dragomir, SS, Pierce, CEM: Selected Topics on Hermite-Hadamard Inequalities and Applications. RGMIA Monographs. Victoria University (2000) (online: http://ajmaa.org/RGMIA/monographs.php/)Google Scholar
- Dragomir SS, Agarwal RP, Cerone P: On Simpson’s inequality and applications.
*J. Inequal. Appl.*2000, 5: 533–579.MathSciNetGoogle Scholar - Dragomir SS: On Simpson’s quadrature formula for Lipschitzian mappings and applications.
*Soochow J. Math.*1999, 25: 175–180.MathSciNetGoogle Scholar - Dragomir SS, Fitzpatrick S: The Hadamard’s inequality for
*s*-convex functions in the second sense.*Demonstr. Math.*1999, 32(4):687–696.MathSciNetGoogle Scholar - Liu Z: An inequality of Simpson’s type.
*Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci.*2005, 461: 2155–2158. 10.1098/rspa.2005.1505MathSciNetView ArticleGoogle Scholar - Kirmaci US: Inequalities for differentiable mappings and applications to special means of real numbers and to mid point formula.
*Appl. Math. Comput.*2004, 147: 137–146. 10.1016/S0096-3003(02)00657-4MathSciNetView ArticleGoogle Scholar - Kirmaci US, Özdemir ME: On some inequalities for differentiable mappings and applications to special means of real numbers and to midpoint formula.
*Appl. Math. Comput.*2004, 153: 361–368. 10.1016/S0096-3003(03)00637-4MathSciNetView ArticleGoogle Scholar - Özdemir ME: A theorem on mappings with bounded derivatives with applications to quadrature rules and means.
*Appl. Math. Comput.*2003, 138: 425–434. 10.1016/S0096-3003(02)00146-7MathSciNetView ArticleGoogle Scholar - Pearce CEM, Pecari’c J: Inequalities for differentiable mappings with application to special means and quadrature formulae.
*Appl. Math. Lett.*2000, 13(2):51–55. 10.1016/S0893-9659(99)00164-0MathSciNetView ArticleGoogle Scholar - Mihesan VG: A generalization of the convexity.
*Seminar on Functional Equations, Approx. and Convex.*1993. Cluj-Napoca, RomaniaGoogle Scholar - Bakula MK, Emin Özdemir M, Pecaric J: Hadamard type inequalities for
*m*-convex and$(\alpha ,m)$-convex functions.*J. Inequal. Pure Appl. Math.*2008., 9: Article ID 96Google Scholar - Klarici Bakula M, Pecaric J, Ribici M: Companion inequalities to Jensen’s inequality for
*m*-convex and$(\alpha ,m)$-convex functions.*J. Inequal. Pure Appl. Math.*2006., 7: Article ID 194Google Scholar - Set E, Sardari M, Özdemir ME, Rooin J:On generalizations of the Hadamard inequality for ( α , m ) -convex functions.RGMIA Res. Rep. Coll. 2009., 12(4): Article ID 4Google Scholar

## Copyright

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.