Some Hermite-Hadamard Type Inequalities for Differentiable Co-Ordinated Convex Functions and Applications ()
![](https://www.scirp.org/html/htmlimages\5-5300719x\cc4fcf1e-ac35-4763-aa04-ecbbdc06296d.png)
1. Introduction
Throughout this paper, let
be double intervals with
,
in
, and a partial derivative of second order
is denoted by
for brevity.
The inequality
(1)
which holds for all convex functions
is known as Hermite-Hadamard’s inequality [1] or simply Hadamard’s inequality.
For some results which generalize, improve, and extend the Inequality (1), please refer to [2] -[17] .
Based on the convex functions on
, Dragomir proposed the concept of co-ordinated convex functions in [3] , defined as follows:
Definition 1. A function
is said to be convex on the co-ordinates on
if the partial mappings
![](https://www.scirp.org/html/htmlimages\5-5300719x\5a53841b-7cf0-4534-939d-93b3a7039b97.png)
are convex.
Definition 2. A function
is said to be convex on the co-ordinates on
if the inequality
(2)
holds for all
and
,
,
,
.
Clearly, we can observe that every convex function
is convex on the co-ordinates, but in some special cases, some co-ordinated convex functions are not convex (please refer to [3] ). For more relevant coordinated convex functions, please refer to [5] [6] [8] -[10] [12] .
The following extended Hadamard’s inequality for co-ordinated convex functions on
in two variables was proved in [3] :
Theorem 1. Suppose that
is co-ordinated convex on
. Then the following inequalities hold:
(3)
The above inequalities are sharp.
In [10] , Latif and Dragomir established the following Hadamard-type inequalities that gave an estimate of the difference in the left side of the Inequalities (3) for differentiable co-ordinated convex functions on
.
Theorem 2. Let
be a partial differentiable mapping on
.
(1) If
is convex on the co-ordinates on
, then the following inequality holds:
(4)
(2) If
is convex on the co-ordinates on
and
,
, then the following inequality holds:
(5)
(3) If
is convex on the co-ordinates on
and
, then the following inequality holds:
(6)
where
![](https://www.scirp.org/html/htmlimages\5-5300719x\4a878ab7-6f5a-492a-acc5-61128de53de7.png)
Remark 1. The Inequality (6) shows the result of giving the Inequality (5) an improved and simplified constant.
In [12] , Sarikaya et al. established the following results that gave an estimate of the difference in the right side of the Inequalities (3) for differentiable co-ordinated convex functions on
.
Theorem 3. Let
be a partial differentiable mapping on
.
(1) If
is convex on the co-ordinates on
, then the following inequality holds:
(7)
(2) If
is convex on the co-ordinates on
and
,
, then the following inequality holds:
(8)
(3) If
is convex on the co-ordinates on
and
, then the following inequality holds:
(9)
where
![](https://www.scirp.org/html/htmlimages\5-5300719x\65402e14-f3a3-4683-a7d3-18791669de98.png)
Remark 2. The Inequality (9) shows the result of giving the Inequality (8) an improved and simplified constant.
The goal of this paper is to establish an inequality which could be connected with the left side and right side of the extended Hadamard’s Inequality (3) and improve and generalize the Theorem 2 and Theorem 3. Also, the paper aims to note some consequent applications to special means.
In order to show our main results, we need the following identities (I)-(VI):
(I) For
,
, the following four identities hold:
![](https://www.scirp.org/html/htmlimages\5-5300719x\b422d0f9-4bce-4c5c-b1f9-b5241177cded.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\1bd23c0e-9322-441d-9433-0b9ddb1cf8e4.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\586fdaad-45dd-4a09-ae9a-0618ac25847f.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\6150ec12-ed45-4d49-8aba-ac7640fbe7da.png)
(II) For
,
, the following four identities hold:
![](https://www.scirp.org/html/htmlimages\5-5300719x\ec3e2ff0-73c3-48b7-8816-edd95a3845d1.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\ed91921b-d723-42f9-bf4e-8701c2c9b487.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\8b172ba4-97ff-4b88-8d5a-f7efcb4afdff.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\69425095-5e03-4feb-b3ec-7c0632413bab.png)
(III) For
,
, the following four identities hold:
![](https://www.scirp.org/html/htmlimages\5-5300719x\91caf25e-5d27-4eec-bf39-9f367fe92f57.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\3ec3bdbd-a05e-4ad4-9d11-e886d22abfc2.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\2a4e79b1-a1fe-4c2c-9ad1-0d3c515d03fc.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\548970e4-08a3-4487-a1cc-4ac015139b09.png)
(IV) For
,
, the following four identities hold:
![](https://www.scirp.org/html/htmlimages\5-5300719x\79ebcb7a-aa03-49f8-a86b-b4cfb243ce17.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\4964d7d2-c127-40d6-9713-6420e8173610.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\6fb45383-8e19-43e9-a563-2c76f088fc0e.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\76a82eca-ad8a-4673-81c3-408a41e2ef04.png)
2. Main Results
In this section, let the mapping
for all
be defined as follows:
(10)
In order to prove our main results, we need the following lemma:
Lemma 1. Let
be a partial differentiable mapping on
. Then the following inequality holds:
(11)
where
![](https://www.scirp.org/html/htmlimages\5-5300719x\a948f299-f93d-4b8a-a57a-927c85985d52.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\970a0c17-b119-4f43-9dbb-2004d5b9abbb.png)
Proof. It suffices to note that
(12)
Integration by parts, we have
![](https://www.scirp.org/html/htmlimages\5-5300719x\fdbaa26a-7d4a-4de4-bb38-4b8311e1876e.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\e4867c79-7c3a-4703-9567-4d5763f97ca3.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\ed6ce09d-6742-479f-8138-5625abbac638.png)
and
![](https://www.scirp.org/html/htmlimages\5-5300719x\edac4361-4b92-4bb7-b2ab-4d5be5149d57.png)
By summing the above four identities
,
,
and
and simplifying the result, it follows that
(13)
Then, multiply both sides by
in (12). From (12) and (13), we get the equations
and
. This proof of the identity 11 is complete. ![](https://www.scirp.org/html/htmlimages\5-5300719x\89d5a17f-88af-423a-a6fe-69ce8503ef8d.png)
Now, we are ready to state and prove the main results.
Theorem 1. Let
be defined as Lemma 1. If
and the mapping
is convex on the co-ordinates on ![](https://www.scirp.org/html/htmlimages\5-5300719x\174a8d87-fa76-4729-a40f-006b74a76a65.png)
then
(14)
where
![](https://www.scirp.org/html/htmlimages\5-5300719x\5dfd5e8b-546a-4b2f-924f-cd5725b2b382.png)
and
![](https://www.scirp.org/html/htmlimages\5-5300719x\37a6edf9-7af4-4554-86b1-746391794641.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\43f2e2dd-f840-4b68-8614-97a95ee17fa8.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\3de6c861-db4b-435a-9dab-8b24dc54d4b4.png)
Proof. By using the identity (11), we have
![](https://www.scirp.org/html/htmlimages\5-5300719x\0d9c8693-98a0-490e-8d52-52b043a5aee4.png)
If
,
, it follows from the power mean inequality that
(15)
We denote
and
by
![](https://www.scirp.org/html/htmlimages\5-5300719x\6267dc6f-e8ea-4550-8d24-52f442210f3c.png)
and
![](https://www.scirp.org/html/htmlimages\5-5300719x\3475c209-282a-4597-bb4b-414b48533c4c.png)
respectively, and then
(16)
By using the integration techniques, we have
![](https://www.scirp.org/html/htmlimages\5-5300719x\3b5c6fbe-3f7d-4f0a-9e8e-340ae22e9752.png)
and similary we get,
![](https://www.scirp.org/html/htmlimages\5-5300719x\110f7024-d8f2-4a90-81a2-0c544118bb1b.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\56d7fd9c-10f0-4cd9-9757-ae05f4dbe9cd.png)
and
![](https://www.scirp.org/html/htmlimages\5-5300719x\17bfe6d6-e865-45d8-8c9e-3a0ccd073f81.png)
By summing the above four identities
,
,
and
and simplifying the result. Then according to (16), we get the estimated bound
.
On the other hand, by using the identity mappings
![](https://www.scirp.org/html/htmlimages\5-5300719x\2195179e-0149-48ff-8388-d062684ebd6f.png)
and
![](https://www.scirp.org/html/htmlimages\5-5300719x\c809f12c-29f0-4e4e-aec1-e570aabf5224.png)
we have
(17)
By the convexit3 of
on the co-ordinates on
and the Inequality (2) in
,
,
and
, then we have
![](https://www.scirp.org/html/htmlimages\5-5300719x\4e4f42d5-2238-43f2-b2d4-5822c14226b2.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\07c9447e-6e4d-40a2-838b-91dfa97995d3.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\64d74edd-c21f-4e81-bcf6-d6029a4be3bc.png)
and
![](https://www.scirp.org/html/htmlimages\5-5300719x\d0b071af-d4e9-40d0-8fbd-5a95a2f53b66.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\8ac11b90-0d16-460d-8607-59f94a2ba432.png)
By applying the identities (I), (II), (III) and (IV) to the above four inequalities and then simplifying the results, we get the estimated bound
and the Inequality (14) for
. If
, then the Inequality (14) follows from (15) and (17). The proof of the Inequality (14) is complete. ![](https://www.scirp.org/html/htmlimages\5-5300719x\16c9a534-99c6-4ea6-b5cf-35389224ac14.png)
Corollary 1. Under the assumptions of Theorem 1 with
,
,
,
,
and
, we have
(18)
where
is as given in Theorem 2,
![](https://www.scirp.org/html/htmlimages\5-5300719x\5254c23c-d6bc-460d-9130-16a47d4cba62.png)
and
![](https://www.scirp.org/html/htmlimages\5-5300719x\a662c1a5-cf48-43ba-a156-bf38ce04141e.png)
The Corollary 1 shows that we get the new estimated bound of the Inequality (6).
Corollary 2. Under the assumptions of Corollary 1 with
, we have
(19)
where
is as given in Theorem 2,
![](https://www.scirp.org/html/htmlimages\5-5300719x\0c232e40-cb1e-409a-bf9e-def864d13f98.png)
and
![](https://www.scirp.org/html/htmlimages\5-5300719x\1e005ebe-5cf8-43d0-a6ac-730ddebf0c7d.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\6ca84aae-7cf6-4b22-8c94-ce94465691da.png)
Remark 3. By using the convexity of
on the co-ordinates on
, we have the inequality
![](https://www.scirp.org/html/htmlimages\5-5300719x\223c5fa9-7543-430d-9ae3-d566a7a1144e.png)
and then
![](https://www.scirp.org/html/htmlimages\5-5300719x\2bdca024-cd9d-4d11-b22e-3069177ea2bb.png)
Hence the Inequality (19) improves the Inequality (6).
Remark 4. Under the assumptions of Theorem 1 with
,
,
,
,
,
and
, we get the new estimated bound and it could improve the Inequality (4).
Corollary 3. Under the assumptions of Theorem 1 with
,
, we have
(20)
where
is as given in Theorem 3,
![](https://www.scirp.org/html/htmlimages\5-5300719x\2b0b7b61-c844-4e75-9211-37ad6c263a5c.png)
and
![](https://www.scirp.org/html/htmlimages\5-5300719x\6fe74b5a-3b34-4733-882f-e91252e7bb9f.png)
![](https://www.scirp.org/html/htmlimages\5-5300719x\5b1542e1-8a37-4a91-9f2c-9a9dda559518.png)
The Corollary 3 shows that we get the new estimated bound of the Inequality (9).
Corollary 4. Under the assumptions of Corollary 3 with
, we have
(21)
where
is as given in Theorem 3,
![](https://www.scirp.org/html/htmlimages\5-5300719x\7f9a9194-20ee-4812-894d-d6787e746770.png)
and
![](https://www.scirp.org/html/htmlimages\5-5300719x\383f3d9b-62ad-4f0b-b85e-8233ed75bb9f.png)
Remark 5. By using the convexity of
on the co-ordinates on
, we have the inequality
![](https://www.scirp.org/html/htmlimages\5-5300719x\ecca0035-3d10-424b-8084-635ffe962714.png)
and then
![](https://www.scirp.org/html/htmlimages\5-5300719x\53d2c10a-7be1-45f9-a5c0-476994e9e389.png)
Hence the Inequality (21) improves the Inequality (9).
Remark 6. Under the assumptions of Theorem 1 with
,
and
, we get the new estimated bound and it could improve the Inequality (7).
Example 1. Let the function
be
,
. Then the result of the right-hand side of (6) or (9) is
, whereas the right-hand side of (19) and (21) are
and
, respectively.
3. Some Applications to Special Means
As in [11] we shall consider extensions of arithmetic, logarithmic and generalized logarithmic means from positive real numbers. We take
![](https://www.scirp.org/html/htmlimages\5-5300719x\57a58e0c-8679-47e5-aebc-f8a61346377e.png)
where
is the set of integers.
Proposition 1. Let
,
,
,
,
,
,
,
, and
,
,
and
. Then, for
, we have
(22)
Proof. The proof is immediate from Corollary 4 with
,
,
,
,
.
Proposition 2. Suppose
,
,
,
,
,
,
,
. Then, for
, we have
(23)
Proof. The result follows from Corollary 4 with
![](https://www.scirp.org/html/htmlimages\5-5300719x\3abacddd-7731-4086-b42f-15c34881744e.png)
Remark 7. The Corollary 2 could also be applied to some special means.
Acknowledgements
The author is very grateful to the reviewers for carefully reading this paper and giving constructive comments.
NOTES
*2000 Mathematics Subject Classification. Primary 26D15. Secondary 26A51.