Abstract
In this article, we extend some estimates of the righthand side of a HermiteHadamardtype inequality for preinvex functions. Then, a generalization to functions of several variables on invex subsets of is introduced.
Keywords:
HermiteHadamard inequality; invex sets; preinvex functions1 Introduction and preliminary
Let be an interval on the real line ℝ, let be a convex function and let , . We consider the wellknown Hadamard’s inequality
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 HermiteHadamard inequality provides estimates of the mean value of a continuous convex function .
Dragomir and Agarwal [5] used the formula,
to prove the following results.
Theorem 1.1Assumewithandis a differentiable function on. Ifis convex onthen the following inequality holds true
Theorem 1.2Assumewithandis a differentiable function on. Assumewith. Ifis convex onthen the following inequality holds true
Ion [6] presented some estimates of the righthand side of a HermiteHadamardtype inequality in which some quasiconvex 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 HermiteHadamard inequality for preinvex and logpreinvex 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 is said to be invex with respect to the map , if for every and ,
It is obvious that every convex set is invex with respect to the map , but there exist invex sets which are not convex (see [11]). Let be an invex set with respect to . For every the ηpath joining the points x and is defined as follows
Definition 1.2 Let be an invex set with respect to . Then, the function is said to be preinvex with respect to η, if for every and ,
Every convex function is a preinvex with respect to the map 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 HermiteHadamardtype inequality for firstorder differentiable functions are given. Section 3 is devoted to a generalization to several variable preinvex functions. HermiteHadamardtype inequality for secondorder differentiable functions are studied in Section 23.
2 Firstorder differentiable functions
In this section, we introduce some generalizations of HermiteHadamardtype 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.1Letbe an open invex subset with respect toandwith. Suppose thatis a differentiable function. Ifis integrable on theθpaththen, the following equality holds
Proof Suppose that . Since A is an invex set with respect to θ, for every we have . Integrating by parts implies that
which completes the proof. □
Theorem 2.1Letbe an open invex subset with respect to. Suppose thatis a differentiable function. Ifis preinvex onAthen, for everywiththe following inequality holds
Proof Suppose that . Since A is an invex set with respect to θ, for every we have . By preinvexity of and Lemma 2.1 we get
where,
□
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 and the function is defined by
Clearly K is an open invex set with respect to θ. Suppose that and , hence, . Now,
and
Another similar result is embodied in the following theorem.
Theorem 2.2Letbe an open invex subset with respect to. Suppose thatis a differentiable function. Assume thatwith. Ifis preinvex onAthen, for everywiththe following inequality holds
Proof Suppose that . By assumption, Hölder’s inequality and the proof of Theorem 4.1 we have
Note that if and for every 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 .
The mapping is said to be satisfies the condition C if for every and ,
Note that, in Example 2.1, θ satisfies the condition C.
For every and every from condition C we have
see [12] for details.
Proposition 3.1Letbe an invex set with respect toandis a function. Suppose thatηsatisfies conditionConS. Then, for everythe functionfis preinvex with respect toηonηpathif and only if the functiondefined by
Proof Suppose that φ is convex on and , . Fix . Since η satisfies condition C, by (13) we have
Hence, f is preinvex with respect to η on ηpath .
Conversely, let and the function f be preinvex with respect to η on ηpath . Suppose that . Then, for every we have
Therefore, φ is quasiconvex on . □
The following theorem is a generalization of Proposition 1 in [6].
Theorem 3.1Letbe an open invex set with respect to. Assume thatηsatisfies conditionC. Suppose that for everythe functionis preinvex with respect toηonηpath. Then, for everywiththe following inequality holds,
Proof Let and with . Since f is preinvex with respect to η on ηpath by Proposition 3.1 the function defined by
is convex on . Now, we define the function as follows
hence, . Applying Theorem 1.1 to the function ϕ implies that
and we deduce that (16) holds. □
4 Secondorder differentiable functions
In this section, we introduce some generalizations of HermiteHadamardtype 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.1Letbe an open invex subset with respect toandwith. Suppose thatis a differentiable function. Ifis integrable on theθpath, then, the following equality holds
Proof Suppose that . Since A is an invex set with respect to θ, for every we have . Integrating by parts implies that
which completes the proof. □
Theorem 4.1Letbe an open invex subset with respect toandfor all. Suppose thatis a twice differentiable function onA. Ifis preinvex onAandis integrable on theθpath, then, the following inequality holds
Proof Suppose that . Since A is an invex set with respect to θ, for every we have . By preinvexity of and Lemma 4.1 we get
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.2Letbe an open invex subset with respect toandfor all. Suppose thatis a twice differentiable function onAandis preinvex onA, for. Ifis integrable on theθpath, then, the following inequality holds
Proof By preinvexity of , Lemma 4.1 and using the wellknown Hölder integral inequality, we get
which completes the proof. □
A more general inequality is given using Lemma 4.1, as follows:
Theorem 4.3Letbe an open invex subset with respect toandfor all. Suppose thatis a twice differentiable function onAandis preinvex onA, for. Ifis integrable on theθpath, then, the following inequality holds
Proof By preinvexity of , Lemma 4.1 and using the wellknown weighted power mean inequality, we get
which completes the proof. □
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors conceived of the study, and participated in the design and coordination. All authors read and approved the final manuscript.
References

Dragomir, SS: Two mappings on connection to Hadamard’s inequality. J. Math. Anal. Appl.. 167, 49–56 (1992). Publisher Full Text

Dragomir, SS: On Hadamard’s inequalities for convex functions. Math. Balk.. 6, 215–222 (1992)

Dragomir, SS, Pecaric, JE, Sandor, J: A note on the JensenHadamard inequality. Anal. Numér. Théor. Approx.. 19, 29–34 (1990)

Dragomir, SS, Pecaric, JE, Persson, LE: Some inequalities of Hadamard type. Soochow J. Math.. 21, 335–341 (1995)

Dragomir, SS, Agarwal, RP: Two inequalities for differentiable mappings and applications to special means of real numbers and to trapezoidal formula. Appl. Math. Lett.. 11, 91–95 (1998)

Ion, DA: Some estimates on the HermiteHadamard inequality through quasiconvex functions. Ann. Univ. Craiova, Math. Comput. Sci. Ser.. 34, 82–87 (2007)

Hanson, MA: On sufficiency of the KuhnTucker conditions. J. Math. Anal. Appl.. 80, 545–550 (1981). Publisher Full Text

Weir, T, Mond, B: Preinvex functions in multiple objective optimization. J. Math. Anal. Appl.. 136, 29–38 (1998)

Noor, MA: HermiteHadamard integral inequalities for logpreinvex functions. J. Math. Anal. Approx. Theory. 2, 126–131 (2007)

Noor, MA: On Hadamard integral inequalities involving two logpreinvex functions. J. Inequal. Pure Appl. Math.. 8, 1–6 (2007)

Antczak, T: Mean value in invexity analysis. Nonlinear Anal.. 60, 1471–1484 (2005)

Yang, XM, Li, D: On properties of preinvex functions. J. Math. Anal. Appl.. 256, 229–241 (2001). Publisher Full Text

Mohan, SR, Neogy, SK: On invex sets and preinvex function. J. Math. Anal. Appl.. 189, 901–908 (1995). Publisher Full Text

Alomari, M, Drus, M, Dragomir, SS: New inequalities of HermiteHadamard type for functions whose second derivatives absolute values are quasiconvex. Tamkang J. Math.. 41, 353–359 (2010)

Dragomir, SS, Pearce, CEM: Selected Topics on HermiteHadamard Inequalities and Applications, Victoria University, Melbourne (2000) http://ajmaa.org/RGMIA/monographs.php