Open Access

Parametrized inequality of Hermite-Hadamard type for functions whose third derivative absolute values are quasi-convex

SpringerPlus20154:831

https://doi.org/10.1186/s40064-015-1633-z

Received: 8 October 2015

Accepted: 17 December 2015

Published: 30 December 2015

Abstract

In this paper we present some inequalities of Hermite-Hadamard type for functions whose third derivative absolute values are quasi-convex. Moreover, an application to special means of real numbers is also considered.

Keywords

Hermite-Hadamard type inequalityParameterQuasi-convexSpecial means

Mathematics Subject Classification

26D1026A5126E60

Background

A real-valued function f defined on an interval \(I\subseteq \mathbb {R}\) is said to be convex on I, if
$$\begin{aligned} f(\lambda x + (1-\lambda )y) \le \lambda f(x) + (1-\lambda )f(y) \end{aligned}$$
for all \(x,y\in I\) and \(\lambda \in [0,1]\).
If f is convex on I, then we have the Hermite-Hadamard inequality (see Mitrinović et al. 1993)
$$\begin{aligned} f\left( \frac{a+b}{2}\right) \le \frac{1}{b-a}\displaystyle \int _{a}^{b}f(x) dx \le \frac{f(a)+f(b)}{2} \end{aligned}$$
(1)
for all \(a,\,b\in I\).
A function \(f: I\subseteq \mathbb {R}\rightarrow \mathbb {R} \) is said to be quasi-convex on I, if
$$\begin{aligned} f(\lambda x + (1-\lambda )y) \le \max \left\{ f(x),f(y)\right\} \end{aligned}$$
for all \(x,y\in I\) and \(\lambda \in [0,1]\).

Clearly, any convex function is a quasi-convex function. Furthermore, there exist quasi-convex functions which are not convex.

In 2007, Ion (2007) presented an inequality of Hermite-Hadamard type for functions whose derivatives in absolute values are quasi-convex functions, as follows:

Theorem 1.1

Let f : \(I\subset \mathbb {R} \rightarrow \mathbb {R}\) be a differentiable mapping on \(I^{o}\), \(a, b\in I\) with \(a<b\). If \(\;\left| f{^{\prime }}\right| \) is quasi-convex on [ab], then the following inequality holds:
$$\begin{aligned} \left| \frac{f(a)+f(b)}{2} - \frac{1}{b-a}\int _{a}^{b}f(x) dx\right| \le \frac{b-a}{4}\max \left\{ \left| f{^{\prime }}(a)\right| ,\left| f{^{\prime }}(b)\right| \right\} . \end{aligned}$$
(2)

In 2010, Alomari et al. (2010a) established an analogous version of inequality (1), which is asserted by Theorem 1.2 below:

Theorem 1.2

Let f : \(I\subset \mathbb {R} \rightarrow \mathbb {R}\) be twice differentiable mapping on \(I^{o}\), \(a, b\in I\) with \(a<b\) and \(f^{{\prime\prime }}\) is integrable on [ab]. If \(\;\left| f^{{\prime\prime }}\right| \) is quasi-convex on [ab], then the following inequality holds:
$$\begin{aligned} \displaystyle \left| \frac{f(a)+f(b)}{2} - \frac{1}{b-a}\int _{a}^{b}f(x) dx\right| \le \frac{(b-a)^2}{12}\max \left\{ \left| f^{{\prime\prime }}(a)\right| ,\left| f^{{\prime\prime }}(b)\right| \right\} . \end{aligned}$$
(3)

Recently, Guo et al. (2015) investigated Hermite-Hadamard type inequalities for geometrically quasi-convex functions. Xi and Qi (2014, 2015) and Xi et al. (2012, 2014) showed some new Hermite-Hadamard type inequalities for s-convex functions. For more results relating to refinements, counterparts, generalizations of Hadamard type inequalities, we refer interested readers to Alomari et al. (2010b), Chen (2015), Niculescu and Persson (2006), Pečarić et al. (1992), Sroysang (2014), Sroysang (2013) and Wu (2009).

The main purpose of this paper is to present a parametrized inequality of Hermite-Hadamard type for functions whose third derivative absolute values are quasi-convex. As applications, some new inequalities for special means of real numbers are established.

Lemmas

In order to prove our main results, we need the following lemmas.

Lemma 2.1

Let \(\epsilon \in \mathbb {R}\) and let f: \(I\subset \mathbb {R}\rightarrow \mathbb {R}\) be three times differentiable on \(I^{\circ }\) and \(\; a,b \in I \) with \(a<b\). Assume that \(f^{{\prime\prime\prime}}\) is integrable on [ab]. Then
$$\begin{aligned} &\frac{(4-\epsilon )f(a)+(2+\epsilon )f(b)}{6} - \frac{1}{b-a}\int _{a}^{b}f(x) dx - \frac{b-a}{12}\left( \epsilon f{^{\prime }}(b) - (2-\epsilon )f{^{\prime }}(a) \right) \\ &\quad = \frac{(b-a)^3}{12} \int _{0}^{1} \lambda (1-\lambda )(2\lambda -\epsilon ) f^{{\prime\prime\prime }}(\lambda a + (1-\lambda )b)d\lambda . \end{aligned}$$

Proof

Integrating by parts, we have
$$\begin{aligned} \displaystyle&\int _{0}^{1} \lambda (1-\lambda )(2\lambda -\epsilon ) f^{{\prime\prime\prime }}(\lambda a + (1-\lambda )b)d\lambda \\&\quad = \frac{1}{a-b} \int _{\lambda =0}^{\lambda =1} \lambda (1-\lambda )(2\lambda -\epsilon ) d f^{{\prime\prime }}(\lambda a + (1-\lambda )b)\\&\quad = \frac{1}{a-b} \left[ \lambda (1-\lambda )(2\lambda -\epsilon ) f^{{\prime\prime }}(\lambda a + (1-\lambda )b)\right] _{\lambda =0}^{\lambda =1}\\&\quad \quad - \frac{1}{a-b} \int _{\lambda =0}^{\lambda =1} f^{{\prime\prime }}(\lambda a + (1-\lambda )b) d\left( \lambda (1-\lambda )(2\lambda -\epsilon )\right) \\&\quad = - \frac{1}{a-b} \int _{\lambda =0}^{\lambda =1} f^{{\prime\prime }}(\lambda a + (1-\lambda )b) d\left( \lambda (1-\lambda )(2\lambda -\epsilon )\right) \\&\quad = \frac{1}{b-a} \int _{\lambda =0}^{\lambda =1} \left( -6\lambda ^2 + 2(2+\epsilon )\lambda -\epsilon \right) f^{{\prime\prime }}(\lambda a + (1-\lambda )b) d\lambda \\&\quad = \frac{1}{(b-a)^2} \int _{\lambda =0}^{\lambda =1} \left( 6\lambda ^2 - 2(2+\epsilon )\lambda +\epsilon \right) d f{^{\prime }}(\lambda a + (1-\lambda )b) \\&\quad = \frac{1}{(b-a)^2} \left[ \left( 6\lambda ^2 - 2(2+\epsilon )\lambda +\epsilon \right) f{^{\prime }}(\lambda a + (1-\lambda )b)\right] _{\lambda =0}^{\lambda =1} \\&\quad \quad - \frac{1}{(b-a)^2} \int _{\lambda =0}^{\lambda =1} f{^{\prime }}(\lambda a + (1-\lambda )b) d\left( 6\lambda ^2 - 2(2+\epsilon )\lambda +\epsilon \right) \\&\quad = \frac{-1}{(b-a)^2} \left( \epsilon f{^{\prime }}(b) - (2-\epsilon )f{^{\prime }}(a) \right) \\&\quad \quad - \frac{1}{(b-a)^2} \int _{\lambda =0}^{\lambda =1}\left( 12\lambda - 2(2+\epsilon ) \right) f{^{\prime }}(\lambda a + (1-\lambda )b) d\lambda \\&\quad = \frac{-1}{(b-a)^2} \left( \epsilon f{^{\prime }}(b) - (2-\epsilon )f{^{\prime }}(a) \right) \\&\quad \quad + \frac{2}{(b-a)^3} \int _{\lambda =0}^{\lambda =1} ( 6\lambda - 2-\epsilon ) d f(\lambda a + (1-\lambda )b) \\&\quad = \frac{-1}{(b-a)^2} \left( \epsilon f{^{\prime }}(b) - (2-\epsilon )f{^{\prime }}(a) \right) \\&\quad \quad + \frac{2}{(b-a)^3} \left[ ( 6\lambda - 2-\epsilon )f(\lambda a + (1-\lambda )b) \right] _{\lambda =0}^{\lambda =1} \\&\quad \quad - \frac{2}{(b-a)^3} \int _{\lambda =0}^{\lambda =1} f(\lambda a + (1-\lambda )b) d( 6\lambda - 2-\epsilon ) \\&\quad = \frac{-1}{(b-a)^2} \left( \epsilon f{^{\prime }}(b) - (2-\epsilon )f{^{\prime }}(a) \right) \\&\quad \quad + \frac{2}{(b-a)^3} \left( (4-\epsilon )f(a)+(2+\epsilon )f(b) \right) \\&\quad \quad - \frac{12}{(b-a)^3} \int _{\lambda =0}^{\lambda =1} f(\lambda a + (1-\lambda )b) d\lambda . \end{aligned}$$
Changing variable \(x = \lambda a + (1-\lambda )b\), it follows that
$$\begin{aligned} \displaystyle&\int _{0}^{1} \lambda (1-\lambda )(2\lambda -\epsilon ) f{^{{\prime\prime\prime }}}(\lambda a + (1-\lambda )b)d\lambda \\&\quad = \frac{-1}{(b-a)^2} \left( \epsilon f{^{\prime }}(b) - (2-\epsilon )f{^{\prime }}(a) \right) \\&\quad \quad + \frac{2}{(b-a)^3} \left( (4-\epsilon )f(a)+(2+\epsilon )f(b) \right) \\&\quad \quad - \frac{12}{(b-a)^4} \int _{x=a}^{x=b} f(x) dx. \end{aligned}$$
Thus,
$$\begin{aligned} \displaystyle&\frac{(b-a)^3}{12} \int _{0}^{1} \lambda (1-\lambda )(2\lambda -\epsilon ) f{^{{\prime\prime\prime }}}(\lambda a + (1-\lambda )b)d\lambda \\&\quad = \frac{(4-\epsilon )f(a)+(2+\epsilon )f(b)}{6} - \frac{1}{b-a}\int _{a}^{b}f(x) dx - \frac{b-a}{12}\left( \epsilon f{^{\prime }}(b) - (2-\epsilon )f{^{\prime }}(a) \right) . \end{aligned}$$
The proof of Lemma 2.1 is completed. \(\square \)

Lemma 2.2

Let \(\epsilon \) be a real number. Then
$$\begin{aligned} \displaystyle \int _{0}^{1} \lambda (1-\lambda ) \left| 2\lambda -\epsilon \right| d\lambda = {\left\{ \begin{array}{ll} \displaystyle \frac{\epsilon - 1}{6} &{}\quad \text{ if } \epsilon \ge 2 \\ \displaystyle \frac{4\epsilon ^3 - \epsilon ^4}{48} + \frac{1-\epsilon }{6} &{}\quad \text{ if } 0 < \epsilon < 2 \\ \displaystyle \frac{1-\epsilon }{6} &{}\quad \text{ if } \epsilon \le 0. \end{array}\right. } \end{aligned}$$

Proof

We distinguish three cases

Case 1 If \(\epsilon \ge 2\), then
$$\begin{aligned} \displaystyle \int _{0}^{1} \lambda (1-\lambda ) \left| 2\lambda -\epsilon \right| d\lambda = \int _{0}^{1} \lambda (1-\lambda ) (\epsilon -2\lambda ) d\lambda = \frac{\epsilon - 1}{6}. \end{aligned}$$
Case 2 If \(0 < \epsilon < 2\), then
$$\begin{aligned} \displaystyle \int _{0}^{1} \lambda (1-\lambda ) \left| 2\lambda -\epsilon \right| d\lambda&= \int _{0}^{\epsilon /2} \lambda (1-\lambda ) (\epsilon -2\lambda ) d\lambda + \int _{\epsilon /2}^{1} \lambda (1-\lambda ) (2\lambda -\epsilon ) d\lambda \\&= \frac{4\epsilon ^3 - \epsilon ^4}{48} + \frac{1-\epsilon }{6}. \end{aligned}$$
Case 3 If \(\epsilon \le 0\), then
$$\begin{aligned} \displaystyle \int _{0}^{1} \lambda (1-\lambda ) \left| 2\lambda -\epsilon \right| d\lambda = \int _{0}^{1} \lambda (1-\lambda ) (2\lambda -\epsilon ) d\lambda = \frac{1-\epsilon }{6}. \end{aligned}$$
This completes the proof of Lemma 2.2. \(\square \)

Main results

Our main results are stated in the following theorems.

Theorem 3.1

Let \(q\ge 1\) and \(\epsilon \in \mathbb {R}\), and let f : \(I\subset \mathbb {R}\rightarrow \mathbb {R}\) be three times differentiable on \(I^{\circ }\) and \(\; a,b \in I \) with \(a<b\). Assume that \(f{^{{\prime\prime\prime }}}\) is integrable on [ab], and \(\left| f{^{{\prime\prime\prime }}}\right| ^q\) is quasi-convex on [ab]. Then
$$\begin{aligned} \displaystyle&\left| \frac{(4-\epsilon )f(a)+(2+\epsilon )f(b)}{6} - \frac{1}{b-a}\int _{a}^{b}f(x) dx - \frac{b-a}{12}\left( \epsilon f{^{\prime }}(b) - (2-\epsilon )f{^{\prime }}(a) \right) \right| \\&\\&\quad \le {\left\{ \begin{array}{ll} \displaystyle \frac{(b-a)^3}{12}\left( \frac{\epsilon - 1}{6}\right) \left( \max \left\{ \left| f{^{{\prime\prime\prime }}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q} &{}\quad \text{ if } \epsilon \ge 2 \\ \displaystyle \frac{(b-a)^3}{12}\left( \frac{4\epsilon ^3 - \epsilon ^4}{48} + \frac{1-\epsilon }{6}\right) \left( \max \left\{ \left| f{^{{\prime\prime\prime}}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q} &{}\quad \text{ if } 0 < \epsilon < 2 \\ \displaystyle \frac{(b-a)^3}{12} \left( \frac{1-\epsilon }{6}\right) \left( \max \left\{ \left| f{^{{\prime\prime\prime}}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q} &{} \quad \text{ if } \epsilon \le 0. \end{array}\right. } \end{aligned}$$

Proof

Using Lemma 2.1 and Hölder’s inequality gives
$$\begin{aligned} \displaystyle&\left| \frac{(4-\epsilon )f(a)+(2+\epsilon )f(b)}{6} - \frac{1}{b-a}\int _{a}^{b}f(x) dx - \frac{b-a}{12}\left( \epsilon f{^{\prime }}(b) - (2-\epsilon )f{^{\prime }}(a) \right) \right| \\&\quad \le \frac{(b-a)^3}{12} \int _{0}^{1} \lambda (1-\lambda )\left| 2\lambda -\epsilon \right| \left| f{^{{\prime\prime\prime}}}(\lambda a + (1-\lambda )b)\right| d\lambda \\&\quad = \frac{(b-a)^3}{12} \int _{0}^{1} \left( \lambda (1-\lambda )\left| 2\lambda -\epsilon \right| \right) ^{1-1/q} \\&\quad \quad \times \left( \lambda (1-\lambda )\left| 2\lambda -\epsilon \right| \left| f{^{{\prime\prime\prime}}}(\lambda a + (1-\lambda )b)\right| ^q\right) ^{1/q} d\lambda \\&\quad \le \frac{(b-a)^3}{12} \left( \int _{0}^{1} \lambda (1-\lambda )\left| 2\lambda -\epsilon \right| d\lambda \right) ^{1-1/q} \\&\qquad \times \left( \int _{0}^{1} \lambda (1-\lambda )\left| 2\lambda -\epsilon \right| \left| f{^{{\prime\prime\prime}}}(\lambda a + (1-\lambda )b)\right| ^q d\lambda \right) ^{1/q}. \end{aligned}$$
By the quasi-convexity of \(\left| f{^{{\prime\prime\prime}}}\right| ^q\), we obtain
$$\begin{aligned} \displaystyle&\left| \frac{(4-\epsilon )f(a)+(2+\epsilon )f(b)}{6} - \frac{1}{b-a}\int _{a}^{b}f(x) dx - \frac{b-a}{12}\left( \epsilon f{^{\prime }}(b) - (2-\epsilon )f{^{\prime }}(a) \right) \right| \\&\quad \le \frac{(b-a)^3}{12} \left( \int _{0}^{1} \lambda (1-\lambda )\left| 2\lambda -\epsilon \right| d\lambda \right) ^{1-1/q} \\&\quad \times \left( \int _{0}^{1} \lambda (1-\lambda )\left| 2\lambda -\epsilon \right| \max \left\{ \left| f{^{{\prime\prime\prime}}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} d\lambda \right) ^{1/q} \\&\quad = \frac{(b-a)^3}{12} \left( \int _{0}^{1} \lambda (1-\lambda )\left| 2\lambda -\epsilon \right| d\lambda \right) \left( \max \left\{ \left| f{^{{\prime\prime\prime}}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q}. \end{aligned}$$
Utilizing Lemma 2.2 leads to the desired inequality in Theorem 3.1. \(\square \)

Remark 3.2

It is worth noticing that if we use a substitution \(a \rightarrow b\), \(b\rightarrow a\) and \(\epsilon \rightarrow 2-\epsilon \) in Theorem 3.1, we have the following further generalization of Theorem 3.1.

Theorem 3.3

Let \(q\ge 1\) and \(\epsilon \in \mathbb {R}\), and let f : \(I\subset \mathbb {R}\rightarrow \mathbb {R}\) be three times differentiable on \(I^{\circ }\), \(\; a,b \in I \) with \(a\ne b\). Assume that \(f{^{{\prime\prime\prime}}}\) is integrable on [ab], and \(\left| f{^{{\prime\prime\prime}}}\right| ^q\) is quasi-convex on the closed interval formed by the points a and b. Then
$$\begin{aligned} \displaystyle&\left| \frac{(4-\epsilon )f(a)+(2+\epsilon )f(b)}{6} - \frac{1}{b-a}\int _{a}^{b}f(x) dx - \frac{b-a}{12}\left( \epsilon f{^{\prime }}(b) - (2-\epsilon )f{^{\prime }}(a) \right) \right| \\&\\&\quad \le {\left\{ \begin{array}{ll} \displaystyle \frac{|b-a|^3}{12}\left( \frac{\epsilon - 1}{6}\right) \left( \max \left\{ \left| f{^{{\prime\prime\prime }}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q} &{}\quad \text{ if } \epsilon \ge 2 \\ \displaystyle \frac{|b-a|^3}{12}\left( \frac{4\epsilon ^3 - \epsilon ^4}{48} + \frac{1-\epsilon }{6}\right) \left( \max \left\{ \left| f{^{{\prime\prime\prime}}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q} &{}\quad \text{ if } 0 < \epsilon < 2 \\ \displaystyle \frac{|b-a|^3}{12} \left( \frac{1-\epsilon }{6}\right) \left( \max \left\{ \left| f{^{{\prime\prime\prime}}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q} &{} \quad \text{ if } \epsilon \le 0. \end{array}\right. } \end{aligned}$$

As a direct consequence, choosing \(\displaystyle \epsilon = 1\) in Theorem 3.3, we get the following inequality:

Corollary 3.4

Let \(q\ge 1\) and \(\epsilon \in \mathbb {R}\), and let f : \(I\subset \mathbb {R}\rightarrow \mathbb {R}\) be three times differentiable on \(I^{\circ }\), \(\; a,b \in I \) with \(a\ne b\). Assume that \(f{^{{\prime }{\prime }{\prime}}}\) is integrable on [ab], and \(\left| f{^{{\prime\prime\prime}}}\right| ^q\) is quasi-convex on the closed interval formed by the points a and b. Then
$$\begin{aligned} \displaystyle&\left| \frac{f(a)+f(b)}{2} - \frac{1}{b-a}\int _{a}^{b}f(x) dx - \frac{b-a}{12}\left( f{^{\prime }}(b) - f{^{\prime }}(a) \right) \right| \\&\quad \le \frac{|b-a|^3}{192}\left( \max \left\{ \left| f{^{{\prime\prime\prime}}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q}. \end{aligned}$$

In addition, if we utilize Theorem 3.1 with a substitution of \(\;\epsilon = 0,\;0.5,\) \(\;3,\;-2,\;-3,\;-5,\) respectively, then we obtain the following results:

Corollary 3.5

Let \(q\ge 1\) and \(\epsilon \in \mathbb {R}\), and let f : \(I\subset \mathbb {R}\rightarrow \mathbb {R}\) be three times differentiable on \(I^{\circ }\), \(\; a,b \in I \) with \(a\ne b\). Assume that \(f{^{{\prime\prime\prime}}}\) is integrable on [ab], and \(\left| f{^{{\prime\prime\prime}}}\right| ^q\) is quasi-convex on the closed interval formed by the points a and b. Then
$$\begin{aligned} \displaystyle&\left| \frac{2f(a)+f(b)}{3} - \frac{1}{b-a}\int _{a}^{b}f(x) dx + \frac{b-a}{6}f{^{\prime }}(a)\right| \\&\quad \le \frac{|b-a|^3}{72}\left( \max \left\{ \left| f{^{{\prime\prime\prime}}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q}, \end{aligned}$$
$$\begin{aligned} \displaystyle&\left| \frac{7f(a)+5f(b)}{12} - \frac{1}{b-a}\int _{a}^{b}f(x) dx - \frac{b-a}{24}\left( f{^{\prime }}(b) - 3f{^{\prime }}(a) \right) \right| \\&\quad \le \frac{71|b-a|^3}{9216}\left( \max \left\{ \left| f{^{{\prime\prime\prime}}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q}, \end{aligned}$$
$$\begin{aligned} \displaystyle&\left| \frac{f(a)+5f(b)}{6} - \frac{1}{b-a}\int _{a}^{b}f(x) dx - \frac{b-a}{12}\left( 3f{^{\prime }}(b) + f{^{\prime }}(a) \right) \right| \\&\quad \le \frac{|b-a|^3}{36}\left( \max \left\{ \left| f{^{{\prime\prime\prime}}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q}, \end{aligned}$$
$$\begin{aligned} \displaystyle&\left| f(a) - \frac{1}{b-a}\int _{a}^{b}f(x) dx + \frac{b-a}{6}\left( f{^{\prime }}(b) + 2f{^{\prime }}(a) \right) \right| \\&\quad \le \frac{|b-a|^3}{24}\left( \max \left\{ \left| f{^{{\prime\prime\prime}}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q}, \end{aligned}$$
$$\begin{aligned} \displaystyle&\left| \frac{7f(a)-f(b)}{6} - \frac{1}{b-a}\int _{a}^{b}f(x) dx + \frac{b-a}{12}\left( 3f{^{\prime }}(b) + 5f{^{\prime }}(a) \right) \right| \\&\quad \le \frac{|b-a|^3}{18}\left( \max \left\{ \left| f{^{{\prime\prime\prime}}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q}, \end{aligned}$$
$$\begin{aligned} \displaystyle&\left| \frac{3f(a)-f(b)}{2} - \frac{1}{b-a}\int _{a}^{b}f(x) dx + \frac{b-a}{12}\left( 5f{^{\prime }}(b) + 7f{^{\prime }}(a) \right) \right| \\&\quad \le \frac{|b-a|^3}{12}\left( \max \left\{ \left| f{^{{\prime\prime\prime}}}(a)\right| ^q,\left| f{^{{\prime\prime\prime}}}(b)\right| ^q\right\} \right) ^{1/q}. \end{aligned}$$

Applications to special means

We now consider the applications of our results to the special means of real numbers.

The weighted arithmetic mean of real numbers \(\left\{ a,b\right\} \) with weight \(\left\{ w_a,w_b\right\} \) is defined by
$$\begin{aligned} A(a,b;w_a,w_b) = \frac{w_a a + w_b b}{w_a+w_b}, \end{aligned}$$
  where \( a,b, w_a, w_b \in \mathbb {R}\) with \(w_a+w_b\ne 0\).
In particularly
$$\begin{aligned} A(a,b;1,1) = A(a,b)=\frac{a +b}{2}, \end{aligned}$$
  which is called the arithmetic means.
The generalized logarithmic mean of real numbers \(\left\{ a,b\right\} \) is defined by
$$\begin{aligned} L_{n}(a,b) = \left[ \frac{ b^{n+1}- a^{n+1}}{(n+1)(b-a)}\right] ^\frac{1}{n}, \end{aligned}$$
where \( a,b,\in \mathbb {R}\), \(n \in \mathbb {Z}\) with \(n\ne 0, -1\), \(a\ne b\).

Proposition 4.1

Let \( a,b,\epsilon \in \mathbb {R}\), \(a\ne b\), \(\epsilon \ne 1\) and \(n \in \mathbb {N}, n\ge 3\). Then, we have
$$\begin{aligned} \displaystyle&\left| A(a^{n},b^{n};4-\epsilon ,2+\epsilon ) -\frac{(b-a)(\epsilon -1)n}{6}A(a^{{n-1}},b^{{n-1}};\epsilon -2,\epsilon )-L_{n}^{n}(a,b) \right| \\ {}&\\&\le {\left\{ \begin{array}{ll} \displaystyle \frac{|b-a|^3}{72}\left( {\epsilon - 1}\right) n(n-1)(n-2)\left( \max \left\{ |a|^{n-3},|b|^{n-3}\right\} \right) &{}\quad \text{ if } \epsilon \ge 2\\ \displaystyle \frac{|b-a|^3}{576}\left( {8-8\epsilon +4\epsilon ^3-\epsilon ^4 }\right) n(n-1)(n-2)\left( \max \left\{ |a|^{n-3},|b|^{n-3}\right\} \right) &{} \quad \text{ if } 0 < \epsilon < 2 \\ \displaystyle \frac{|b-a|^3}{72}\left( {1-\epsilon }\right) n(n-1)(n-2)\left( \max \left\{ |a|^{n-3},|b|^{n-3}\right\} \right) &{} \quad \text{ if } \epsilon \le 0. \end{array}\right. } \end{aligned}$$

Proof

We consider the function \(f(x)=x^n\), \(x \in \mathbb {R}\), \(n\ge 3\). It is easy to verify that the function \(f{^{{\prime\prime\prime}}}(x)=n(n-1)(n-2)x^{n-3}\) is quasi-convex on \((-\infty ,+\infty )\) (see Alomari et al. 2010b). The assertion follows from Theorem 3.3 with \(q=1\). \(\square \)

Remark 4.2

In a similar way as the proof of the Proposition 4.1, one can easily deduce from Corollary 3.4 the following inequality.

Proposition 4.3

Let \( a,b \in \mathbb {R}\), \(a\ne b\) and \(n \in \mathbb {N}, n\ge 3\). Then, we have
$$\begin{aligned}&\left| A(a^{n},b^{n})-\frac{(b-a)^2}{12}n(n-1)L_{n-2}^{n-2}(a,b)-L_{n}^{n}(a,b) \right| \\&\quad \le \frac{|b-a|^3}{192}n(n-1)(n-2)\left( \max \left\{ |a|^{n-3},|b|^{n-3}\right\} \right) . \end{aligned}$$

Conclusions

This paper provides some new results related to the Hermite-Hadamard type inequalities. Firstly, we present a parametrized inequality of Hermite-Hadamard type for functions whose third derivative absolute values are quasi-convex, the main results are given in Theorems 3.1 and 3.3. As special cases, by assigning special value to the parameter, one can obtain several new and previously known results for Hermite-Hadamard type inequality (Corollaries 3.4 and 3.5). Secondly, as applications of the obtained results, we establish two new inequalities involving special means of real numbers by using the parametrized Hermite-Hadamard type inequality (see Propositions 4.1 and 4.3).

Declarations

Authors’ contributions

SW finished the proof and the writing work. BS and JX gave SW some advice on the proof and writing. YC gave SW lots of help in revising the paper. All authors read and approved the final manuscript.

Acknowledgements

The authors would like to express their hearty thanks to anonymous referees for their valuable comments on this article. This research was supported by the Natural Science Foundation of Fujian province under Grant 2015J05010 and the Outstanding Young Incubation Programme and Key Project of Fujian Province Education Department under Grant JA14299.

Competing interests

The authors declare that they have no competing interests.

Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Department of Mathematics, Longyan University
(2)
Department of Mathematics and Statistics, Faculty of Science and Technology, Thammasat University
(3)
School of Mathematics and Computation Science, Hunan City University

References

  1. Alomari M, Darus M, Dragomir SS (2010) New inequalities of Hermite-Hadamard type for functions whose second derivatives absolute values are quasi-convex. Tamkang J Math 41(4):353–359Google Scholar
  2. Alomari M, Darus M, Kirmaci US (2010) Refinements of Hadamard-type inequalities for quasi-convex functions with applications to trapezoidal formula and to special means. Comput Math Appl 59:225–232View ArticleGoogle Scholar
  3. Chen FX (2015) Extensions of the Hermite-Hadamard inequality for harmonically convex functions via fractional integrals. Appl Math Comput 268(1):121–128Google Scholar
  4. Guo XY, Qi F, Xi BY (2015) Some new Hermite-Hadamard type inequalities for geometrically quasi-convex functions on co-ordinates. J Nonlinear Sci Appl 8(5):740–749Google Scholar
  5. Ion DA (2007) Some estimates on the Hermite-Hadamard inequality through quasi-convex functions, Annals of University of Craiova. Math Comp Sci Ser 34:82–87Google Scholar
  6. Mitrinović DS, Pečarić JE, Fink AM (1993) Classical and New Inequalities in Analysis. Kluwer Academic Publishers, DordrechtView ArticleGoogle Scholar
  7. Niculescu CP, Persson LE (2006) Convex functions and their applications: a contemporary approach. In: CMS Books in Mathematics, vol. 23. Springer, New YorkGoogle Scholar
  8. Pečarić JE, Proschan F, Tong YL (1992) Convex functions, partial orderings, and statistical applications. Academic Press, New YorkGoogle Scholar
  9. Sroysang B (2013) On the Hermite-Hadamard inequality and other integral inequalities involving several functions. J Funct Spaces Appl (Article ID 921828) Google Scholar
  10. Sroysang B (2014) Generalizations on some Hermite-Hadamard type inequalities for differentiable convex functions with applications to weighted means. Sci World J (Article ID 717164) Google Scholar
  11. Wu S (2009) On the weighted generalization of the Hermite-Hadamard inequality and its applications. Rocky Mt J Math 39(5):1741–1749View ArticleGoogle Scholar
  12. Xi BY, Bai RF, Qi F (2012) Hermite-Hadamard type inequalities for the \(m\)- and \((\alpha; m)\)-geometrically convex functions. Aequ Math 84(3):261–269View ArticleGoogle Scholar
  13. Xi BY, Qi F (2014) Hermite-Hadamard type inequalities for geometrically \(r\)-convex functions. Studia Sci Math Hungarica 51(4):530–546Google Scholar
  14. Xi BY, Qi F (2015) Inequalities of Hermite-Hadamard type for extended \(s\)-convex functions and applications to means. J Nonlinear Convex Anal 16(5):873–890Google Scholar
  15. Xi BY, Wang SH, Qi F (2014) Some inequalities for $$(h, m)$$ ( h , m ) -convex functions. J Inequal Appl (Article ID 100) Google Scholar

Copyright

© Wu et al. 2015