Skip to main content

Advertisement

Journal of Inequalities and Applications
Journal of Inequalities and Applications Cover Image

New refinements of the Hadamard inequality on coordinated convex function

Journal of Inequalities and Applications volume 2019, Article number: 192 (2019) | Download Citation

Article metrics

  • 305 Accesses

  • 1 Citations

Abstract

In this paper, new refinements of the Hadamard inequality on coordinated convex function are established. Besides, a simple proof of the Hadamard type for linear functions is also found. Moreover, some examples of the new refinement inequalities are given to check their validity.

Introduction and preliminaries

Convex functions have many applications in various areas of science such as management science, finance and engineering. Moreover, numerous extensions and generalizations of convexity have been applied in mathematical inequalities and optimization. A function \(\psi :J\subseteq \mathbb{R}\to \mathbb{R}\) is called a convex if, for any \(m,n\in J\) and \(\theta \in [a_{1},a_{2}]\),

$$ \psi \bigl(\theta m+(1-\theta )n\bigr)\leq \theta \psi (m)+(1-\theta )\psi (n). $$

The most famous inequality in the literature for convex functions is known as Hadamard’s inequality. This inequality was proposed in 1893 by Hadamard. The following theorem states the double inequality, introduced by Pečarić and Tong ([1], 1992).

Theorem 1

Let \(\psi :[a_{1},a_{2}]\subseteq \mathbb{R}\to \mathbb{R}\) be a convex function where \(a_{1}\leq a_{2}\), then

$$\begin{aligned} \psi \biggl(\frac{a_{1}+a_{2}}{2} \biggr)\leq \frac{1}{a_{2}-a_{1}} \int _{a_{1}}^{a_{2}}\psi (x)\,dx \leq \frac{\psi (a_{1})+\psi (a_{2})}{2}. \end{aligned}$$
(1)

Hadamard’s inequalities play a crucial role in various branches of science, including engineering, economics, astronomy, and mathematics. Thus, due to its great utility in several areas of pure and applied mathematics, much attention has been paid, by many mathematicians, to Hadamard’s inequality. Consequently, such inequalities were studied extensively by many authors. Also, numerous generalizations and extensions have been reported in a number of papers [2,3,4].

Dragomir [5] defined the following mapping which is considered to be naturally connected with Hadamard’s result:

$$\begin{aligned} H:[0,1]\to \mathbb{R},\qquad H(t):=\frac{1}{a_{2}-a_{1}} \int _{a_{1}}^{a_{2}} \psi \biggl(tx+(1-t)\frac{a_{1}+a_{2}}{2} \biggr)\,dx, \end{aligned}$$

where \(\psi :[a_{1},a_{2}]\to \mathbb{R}\) is a convex function defined on \([a_{1},a_{2}]\).

Using the above result, we now state the following theorem.

Theorem 2

Let \(\psi :[a_{1},a_{2}]\to \mathbb{R}\) be a convex function. We define \(H:[0,1]\to \mathbb{R}\) to get the following inequalities:

$$\begin{aligned} \psi \biggl(\frac{a_{1}+a_{2}}{2} \biggr)\leq H(t)\leq \frac{1}{a_{2}-a _{1}} \int _{a_{1}}^{a_{2}}\psi (x)\,dx. \end{aligned}$$

ElFarissi [6] established a new generalization of inequality (1) as follows.

Theorem 3

Assume that \(\psi :[a_{1},a_{2}]\to \mathbb{R}\) is a convex function on \([a_{1},a_{2}]\), then for all \(\alpha \in [0,1]\) we have

$$\begin{aligned} \psi \biggl(\frac{a_{1}+a_{2}}{2} \biggr) \leq m(\alpha )\leq \frac{1}{a _{2}-a_{1}} \int _{a_{1}}^{a_{2}}\psi (x)\,dx\leq M(\alpha )\leq \frac{ \psi (a_{1})+\psi (a_{2})}{2}, \end{aligned}$$
(2)

where

$$\begin{aligned} m(\alpha )=:\alpha \psi \biggl(\frac{ta_{2}+(2-t)a_{1}}{2} \biggr)+(1- \alpha )\psi \biggl(\frac{(1+\alpha )a_{2}+(1-\alpha )a_{1}}{2} \biggr) \end{aligned}$$

and

$$\begin{aligned} M(\alpha )=:\frac{1}{2} \bigl[\psi \bigl(\alpha a_{2}+(1-\alpha )a_{1}\bigr)+ \alpha \psi (a_{1})+(1-\alpha )\psi (a_{2}) \bigr]. \end{aligned}$$

The concept of coordinated convexity was introduced by Dragomir [7]. This is a modification of the convex functions, as given by the following definition.

Definition 1

A function \(\psi :A=[a_{1},a_{2}] \times [b_{1},b_{2}] \to \mathbb{R}\) with \(a_{1}< a_{2}\) and \(b_{1}< b_{2}\) is called a convex function on coordinates on A if the partial mappings \(\psi _{x}:[b_{1},b_{2}] \to \mathbb{R}\), \(\psi _{x}(v)=\psi (x,v)\), and \(\psi _{y}:[a_{1},a_{2}] \to \mathbb{R}\), \(\psi _{y}(u)=\psi (u,y)\) defined for all \(x\in [a _{1},a_{2}]\) and \(y\in [b_{1},b_{2}]\), are convex.

Following the above definition, we remark that every convex function, \(\psi :[a_{1},a_{2}]\times [b_{1},b_{2}] \to \mathbb{R}\), is convex on coordinates. However, the converse is not true; see ([7]).

Moreover, a formal definition of the coordinate convex function is given now.

Definition 2

A function \(\psi :A=[a_{1},a_{2}] \times [b_{1},b_{2}] \to \mathbb{R}\) is said to be convex on coordinates on A if the following inequality holds:

$$\begin{aligned} \psi \bigl(sx+(1-s)y,tu+(1-t)v\bigr) \leq& st\psi (x,u)+t(1-s)\psi (y,u)+s(1-t) \psi (x,v)\\ &{}+(1-s) (1-t)\psi (y,v). \end{aligned}$$

The Hadamard inequalities for coordinate convex functions were further modified by Dragomir [7]. These inequalities provide continuous scales of refinements to Hadamard’s inequalities.

Theorem 4

The function \(\psi :A=[a_{1},a_{2}]\times [b_{1},b_{2}] \to \mathbb{R}\) is convex on coordinates on A. Thus the following inequalities hold:

$$\begin{aligned} \psi \biggl(\frac{a_{1}+a_{2}}{2},\frac{b_{1}+b_{2}}{2}\biggr) &\leq \frac{1}{(a_{2}-a_{1})(b_{2}-b_{1})} \int _{a_{1}}^{a_{2}} \int _{b_{1}}^{b_{2}}\psi (x,y)\,dx\,dy \\ & \leq \frac{\psi (a_{1},b_{1})+\psi (a_{1},b_{2})+\psi (a _{2},b_{1})+\psi (a_{2},b_{2})}{4}. \end{aligned}$$
(3)

Many improvements and generalizations of the above result have been extensively investigated by a number of researchers. For several recent results, see [8, 9] and the references therein. While the Hadamard inequalities were proved by considering convexity on coordinates, this paper is aimed at proving the inequality using the definition of convexity. This can be obtained by a change of variables.

Simple proof of Hadamard type for linear functions

In order to prove the Hadamard inequality, the following lemma is considered.

Lemma 1

Let ψ be an integrable function on A. Then the following result holds:

$$\begin{aligned} &\frac{1}{(a_{2}-a_{1})(b_{2}-b_{1})} \int _{a_{1}}^{a_{2}} \int _{b_{1}} ^{b_{2}}\psi (x,y)\,dx\,dy \\ &\quad = \int _{0}^{1} \int _{0}^{1}\psi \bigl(\theta _{1} a _{2}+(1-\theta _{1})a_{1},\theta _{2} b_{1} +(1-\theta _{2})b_{2}\bigr)\,d\theta _{1} \,d\theta _{2} \end{aligned}$$
(4)
$$\begin{aligned} &\quad = \int _{0}^{1} \int _{0}^{1}\psi \bigl(\theta _{1} a_{1}+(1-\theta _{1} a)a _{2},\theta _{2} b_{2} +(1-\theta _{2})b_{1}\bigr)\,d\theta _{1} \,d\theta _{2}. \end{aligned}$$
(5)

Proof

We let \(x=\theta _{1} a_{2}+(1-\theta _{1})a_{1}\) and \(y=\theta _{2} b _{1} +(1-\theta _{2})b_{2}\) to prove (4). Meanwhile, (5) can be proved by denoting \(x=\theta _{1} a_{1}+(1-\theta _{1})a_{2}\) and \(y=\theta _{2} b_{2} +(1-\theta _{2})b_{1}\), which is required. □

Now, a simple proof of Hermite–Hadamard’s inequality for linear functions can be given as follows.

Proof

We let \(x=\theta _{1} a_{2}+(1-\theta _{1})a_{1}\), and \(y=\theta _{1} a _{1}+(1-\theta _{1})a_{2}\). Since ψ is a convex function, we have, for all \(\theta _{1},\theta _{2} \in [0,1]\),

$$\begin{aligned} &\psi \biggl(\frac{a_{1}+a_{2}}{2},\frac{b_{1}+b_{2}}{2}\biggr)\\ &\quad = \psi \biggl( \frac{ \theta _{1} a_{2}+(1-\theta _{1})a_{1}+\theta _{1} a_{1}+(1-\theta _{1})a _{2}}{2},\frac{\theta _{2} b_{1} +(1-\theta _{2})b_{2}+\theta _{2} b_{2} +(1-\theta _{2})b_{1}}{2} \biggr) \\ &\quad \leq \biggl( \frac{\psi (\theta _{1} a_{2}+(1-\theta _{1})a _{1},0)+\psi (\theta _{1} a_{1}+(1-\theta _{1})a_{2},0)}{2},\\ &\qquad \frac{ \psi (0,\theta _{2} b_{2} +(1-\theta _{2})b_{2})+\psi (0,\theta _{2} b _{2} +(1-\theta _{2})b_{1})}{2} \biggr) \\ &\quad \leq \frac{\psi (a_{1},b_{1})+\psi (a_{1},b_{2})+\psi (a _{2},b_{1})+\psi (a_{2},b_{2})}{4}. \end{aligned}$$

Thus, one can write

$$\begin{aligned} &\psi \biggl(\frac{a_{1}+a_{2}}{2},\frac{b_{1}+b_{2}}{2} \biggr) \\ & \quad \leq \biggl(\frac{\psi (\theta _{1} a_{2}+(1-\theta _{1})a _{1},0)+\psi (\theta _{1} a_{1}+(1-\theta _{1})a_{2},0)}{2}, \\ &\qquad \frac{ \psi (0,\theta _{2} b_{1} +(1-\theta _{2})b_{2})+\psi (0,\theta _{2} b _{2} +(1-\theta _{2})b_{1})}{2} \biggr) \\ & \quad \leq \frac{\psi (a_{1},b_{1})+\psi (a_{1},b_{2})+\psi (a _{2},b_{1})+\psi (a_{2},b_{2})}{4}. \end{aligned}$$
(6)

Using Lemma 1 and integrating inequality (6) over \([0,1]^{2}\), we obtain (3). □

Since the aim of this article is to establish refinements inequalities of (3), the new inequality related to both sides of Hadamard’s result can be obtained.

The refinements of Hadamard’s type for convex functions

The Hadamard’ inequalities for convex functions on coordinates can be refined as follows.

Theorem 5

Assume that \(\psi :A \to \mathbb{R}\) is a convex function on A. Then, for all \(\lambda \in [0,1]\), we have

$$\begin{aligned} \psi \biggl(\frac{a_{1}+a_{2}}{2},\frac{b_{1}+b_{2}}{2} \biggr) &\leq s( \theta _{1},\theta _{2}) \\ &\leq \frac{1}{(a_{2}-a_{1})(b_{2}-b_{1})} \int _{a_{1}}^{a_{2}} \int _{b_{1}}^{b_{2}}\psi (x,y)\,dx\,dy \\ &\leq S(\theta _{1},\theta _{2}) \\ &\leq \frac{1}{4} \bigl[\psi (a_{1},b_{1})+\psi (a_{1},b_{2})+\psi (a _{2},b_{1})+\psi (a_{2},b_{2}) \bigr], \end{aligned}$$
(7)

where

$$\begin{aligned} s(\theta _{1},\theta _{2})&= \theta _{1}\theta _{2} \psi \biggl(\frac{\theta _{1} a_{2}+(2-\theta _{1})a_{1}}{2},\frac{\theta _{2} b_{2} +(2-\theta _{2})b _{1}}{2}\biggr) \\ &\quad {}+ (1-\theta _{1}) (1-\theta _{2})\psi \biggl( \frac{(1+\theta _{1})a_{2}+(1- \theta _{1})a_{1}}{2}, \frac{(1+\theta _{2})b_{2}+(1-\theta _{2})b_{1}}{2}\biggr) \end{aligned}$$

and

$$\begin{aligned} S(\theta _{1},\theta _{2})&= \frac{\theta _{1} \theta _{2}}{2}\bigl(\psi (a_{1},b _{1})+\psi \bigl(a_{1},N(\theta _{2})\bigr)+\psi \bigl(N(\theta _{1}),b_{1}\bigr) \psi \bigl(N( \theta _{1}),N(\theta _{2})\bigr)+\psi (a_{2},b_{2})\bigr). \end{aligned}$$

Proof

Let ψ be a convex function on A. Then, by applying (1) on the subinterval \([a_{1},N(\theta _{1})]\) and \([b_{1},N(\theta _{2})]\), with \(N(\theta _{1})=\theta _{1} a_{2}+(1-\theta _{1})a_{1}\), \(N(\theta _{2})=\theta _{2} b_{2}+(1-\theta _{2})b_{1}\), and \(\theta _{1},\theta _{2}\neq 0\), we obtain

$$\begin{aligned} \psi \biggl(\frac{a_{1}+N(\theta _{1})}{2},\frac{b_{1}+N(\theta _{2}}{2} \biggr) &= \psi \biggl( \frac{\theta _{1} a_{2}+(2-\theta _{1})a_{1}}{2},\frac{ \theta _{2} b_{2}+(2-\theta _{2})b_{1}}{2} \biggr) \\ &\leq \frac{1}{\theta _{1}\theta _{2}(a_{2}-a_{1})(b_{2}-b_{1})} \int _{a_{1}}^{N(\theta _{1})} \int _{b_{1}}^{N(\theta _{2})}\psi (x,y)\,dx\,dy \\ & \leq \frac{\psi (a_{1},b_{1})+\psi (a_{1},N(\theta _{2})}{4} \\ &\quad{} + \frac{\psi (N(\theta _{1}),b_{1})+\psi (N(\theta _{1}),N( \theta _{2}))}{4}. \end{aligned}$$
(8)

By applying (1) again on \([N(\theta _{1}),a_{2}]\) and \([N(\theta _{2}),b_{2}]\), with \(\theta _{1},\theta _{2}\neq 1\), one can obtain the following:

$$\begin{aligned} &\psi \biggl(\frac{N(\theta _{1})+a_{2}}{2}, \frac{N(\theta _{2})+b_{2}}{2} \biggr) \\ &\quad = \psi \biggl( \frac{(1+\theta _{1}) a_{2}+(1-\theta _{1})a_{1}}{2},\frac{(1+\theta _{2}) b_{2}+(1-\theta _{2})b_{1}}{2} \biggr) \\ &\quad \leq \frac{1}{(1-\theta _{1})(1-\theta _{2})(a_{2}-a_{1})(b_{2}-b_{1})} \int _{N(\theta _{1})}^{a_{2}} \int _{N(\theta _{2})}^{b_{2}}\psi (x,y)\,dx\,dy \\ &\quad \leq \frac{\psi (\theta _{1} a_{1}+(1-\theta _{1})a_{1},N( \theta _{2}))+\psi (N(\theta _{1}),b_{2})}{4} \\ & \qquad {}+ \frac{\psi (a_{2},N(\theta _{2}))+\psi (a_{2},b_{2})}{4}. \end{aligned}$$
(9)

Multiplying (8) by \(\theta _{1}\theta _{2}\) and (9) by \((1-\theta _{1}) (1-\theta _{2})\) yields

$$\begin{aligned} &\theta _{1}\theta _{2} \psi \biggl( \frac{\theta _{1} a_{2}+(2-\theta _{1})a_{1}}{2}, \frac{\theta _{2} b_{2}+(2- \theta _{2})b_{1}}{2}\biggr) \\ &\quad \leq \frac{1}{(a_{2}-a_{1})(b_{2}-b_{1})} \int _{a_{1}}^{N(\theta _{1})} \int _{b_{1}}^{N(\theta _{2})}\psi (x,y)\,dx\,dy \\ &\quad \leq (\theta _{1}\theta _{2}) \biggl(\frac{\psi (a_{1},b_{1})+\psi (a _{1},N(\theta _{2}))+\psi (N(\theta _{1}),b_{1})}{4} \\ &\qquad {}+\psi \frac{(N(\theta _{1}),N(\theta _{2}))}{4} \biggr) \end{aligned}$$

and

$$\begin{aligned} &(1-\theta _{1}) (1-\theta _{2}) f \biggl( \frac{(1+\theta _{1}) a_{2}+(1- \theta _{1})a_{1}}{2}, \frac{(1+\theta _{2}) b_{2}+(1-\theta _{2})b_{1}}{2} \biggr) \\ &\quad \leq \frac{1}{(a_{2}-a_{1})(b_{2}-b_{1})} \int _{N(\theta _{1})}^{a_{2}} \int _{N(\theta _{2})}^{b_{2}}\psi (x,y)\,dx\,dy \\ &\quad \leq (1-\theta _{1}) (1-\theta _{2}) \biggl( \frac{\psi (N(\theta _{1}),N( \theta _{2})}{4} \\ &\qquad{} +\frac{\psi (N(\theta _{1}),b_{2})+\psi (a_{2},N(\theta _{2})+\psi (a _{2},b_{2})}{4} \biggr). \end{aligned}$$

When combining the resulting inequalities, we have

$$\begin{aligned} s(\theta _{1},\theta _{2})\leq \frac{1}{(a_{2}-a_{1})(b_{2}-b_{1})} \int _{a_{1}}^{a_{2}} \int _{b_{2}}^{b_{1}}\psi (x,y) \,dx \, dy \leq S(\theta _{1},\theta _{2}), \end{aligned}$$
(10)

where \(s(\theta _{1},\theta _{2})\) and \(S(\theta _{1},\theta _{2})\) are defined in the same way as in Theorem 5.

Since ψ is a convex function, we obtain

$$\begin{aligned} &\psi \biggl(\frac{a_{1}+a_{2}}{2},\frac{b_{1}+b_{2}}{2} \biggr) \\ &\quad = \psi \biggl(\theta _{1}\theta _{2} \biggl(\frac{\theta _{1} a_{2}+(2- \theta _{1})a_{1}}{2}, \frac{\theta _{2} b_{2}+(2-\theta _{2})b_{1}}{2} \biggr) \biggr) \\ &\qquad {}+ \psi \biggl((1-\theta _{1}) (1-\theta _{2}) \biggl(\frac{(1+\theta _{1})a _{2}+(1-\theta _{1})a_{1}}{2},\frac{(1+\theta _{2})b_{2}+(1-\theta _{2})b _{1}}{2} \biggr) \biggr) \\ &\quad \leq \theta _{1}\theta _{2} \psi \biggl(\frac{\theta _{1} a_{2}+(2-\theta _{1})a_{1}}{2}, \frac{\theta _{2} b_{2}+(2-\theta _{2})b_{1}}{2} \biggr) \\ &\qquad {}+ (1-\theta _{1}) (1-\theta _{2})f \biggl( \frac{(1+\theta _{1}) a_{2}+(1- \theta _{1})a_{1}}{2}, \frac{(1+\theta _{2}) b_{2}+(1-\theta _{2})b_{1}}{2} \biggr) \\ &\quad \leq \theta _{1}\theta _{2} \psi \biggl(\frac{N(\theta _{1})+a_{1}}{2}, \frac{N( \theta _{2})+b_{1}}{2} \biggr) \\ &\qquad {}+ (1-\theta _{1}) (1-\theta _{2})\psi \biggl( \frac{N(\theta _{1})+a_{2}}{2},\frac{N(\theta _{2})+b_{2}}{2} \biggr) \\ &\quad \leq \frac{1}{4} \bigl(\psi (a_{1},b_{1})+\psi (a_{1},b_{2})+\psi (a _{2},b_{1})+\psi (a_{2},b_{2}) \bigr) . \end{aligned}$$
(11)

Then, by (10) and (11), we obtain (7). This process completes the proof. □

Corollary 1

Suppose that \(\psi :A \to \mathbb{R}\) is coordinated convex on A. Using Theorem 5, with \(\theta _{1}=\theta _{2}=1\), we obtain the following inequalities:

$$\begin{aligned} s(1,1)\leq \frac{1}{(b-a)(d-c)} \int _{a_{1}}^{a_{2}} \int _{b_{1}}^{b _{2}}\psi (x,y)\,dx\,dy \leq S(1,1). \end{aligned}$$

The next proposition is immediate.

Proposition 1

Assume that \(\psi :A\to \mathbb{R}\) is a convex on A. Then the following inequalities are obtained:

$$\begin{aligned} \psi \biggl(\frac{a_{1}+a_{2}}{2},\frac{b_{1}+b_{2}}{2} \biggr) &\leq \sup _{\theta _{1}\in [0,1]} s(\theta _{1},\delta )\leq \frac{1}{(a _{2}-a_{1})(b_{2}-b_{1})} \int _{a_{1}}^{a_{2}} \int _{b_{1}}^{b_{2}} \psi (x,y)\,dx\,dy \\ &\leq \inf_{\theta _{1}\in [0,1]}S(\theta _{1},\theta _{2}) \\ &\leq \frac{1}{4} \bigl[\psi (a_{1},b_{1})+\psi (a_{1},b_{2})+\psi (a _{2},b_{1})+\psi (a_{2},b_{2}) \bigr]. \end{aligned}$$
(12)

Remark 1

In particular,

  1. (i)

    If we choose \(\theta _{1}=1/2\) and \(\theta _{2}=1/3\) in Theorem 5, then we obtain

    $$\begin{aligned} s \biggl(\frac{1}{2},\frac{1}{3} \biggr) = \frac{1}{6} \biggl(\psi \biggl(\frac{a_{2}+3a_{1}}{4},\frac{b_{2}+5b_{1}}{6} \biggr)+2\psi \biggl( \frac{3a_{2}+a_{1}}{4},\frac{2b_{2}+b_{1}}{3} \biggr) \biggr) \end{aligned}$$

    and

    $$\begin{aligned} S \biggl(\frac{1}{2},\frac{1}{3} \biggr)&= \frac{1}{24} \biggl(\psi (a _{1},b_{1})+\psi \biggl(\frac{b_{2}+2b_{1}}{3} \biggr)\\ &\quad {}+\psi \biggl(\frac{a _{2}+a_{1}}{2},b_{1} \biggr) +3\psi \biggl( \frac{a_{2}+a_{1}}{2},\frac{b _{2}+2b_{1}}{3} \biggr) \\ &\quad {}+2 \biggl(\psi \biggl(\frac{a_{2}+a_{1}}{2},b_{2} \biggr)+\psi \biggl(a _{2}+\frac{b_{2}+2b_{1}}{3}+\psi (a_{2},b_{2}) \biggr) \biggr) \biggr). \end{aligned}$$
  2. (ii)

    If we choose \(\theta _{1}=\theta _{2}=1/2\), then one can obtain

    $$\begin{aligned} s \biggl(\frac{1}{2},\frac{1}{2} \biggr) = \frac{1}{16} \bigl( \psi (2 \theta _{1} a_{2}+3a_{1},2\delta b_{2}+3b_{1})+\psi (3a_{2}+a_{1},3b _{2}+b_{1}) \bigr) \end{aligned}$$

    and

    $$\begin{aligned} S \biggl(\frac{1}{2},\frac{1}{2} \biggr) &= \frac{1}{16} \biggl(\psi (a _{1},b_{1}) +\psi \biggl(a_{1}, \frac{b_{1}+b_{2}}{2} \biggr)+\psi \biggl(\frac{a_{1}+a_{2}}{2},b_{1} \biggr) \\ &\quad {}+ \psi \biggl(\frac{a_{1}+a_{2}}{2},\frac{b_{1}+b_{2}}{2} \biggr)+ \psi \biggl(\frac{a_{1}+a_{2}}{2},b_{2} \biggr)\\ &\quad {}+\psi \biggl(a_{2}, \frac{b _{1}+b_{2}}{2} \biggr)+\psi (a_{2},b_{2}) \biggr). \end{aligned}$$

Example 1

Assume that \({\theta _{1}=\frac{a_{1}}{a_{1}+a_{2}}}\) and \({\theta _{2}=\frac{b_{1}}{b_{1}+b_{2}}}\), where \(0\leq a_{1}\), \(b_{1} \leq a_{2},b_{2}\). Then we have

$$\begin{aligned} s \biggl(\frac{a_{1}}{a_{1}+a_{2}},\frac{b_{1}}{b_{1}+b_{2}} \biggr)&= \frac{a _{1}b_{1}}{(a_{1}+a_{2})(b_{1}+b_{2})}\psi \biggl(\frac{a_{1}(3a_{2}+a _{1})}{2(a_{1}+a_{2})},\frac{b_{1}(3b_{2}+b_{1})}{2(b_{1}+b_{2})} \biggr) \\ &\quad {}+ \frac{a_{2}b_{2}}{(a_{1}+a_{2})(b_{1}+b_{2})}\psi \biggl(\frac{a_{2}(3a _{1}+a_{2})}{2(a_{1}+a_{2})}, \frac{b_{2}(3b_{1}+b_{2})}{2(b_{1}+b_{2})} \biggr) \end{aligned}$$

and

$$\begin{aligned} &S \biggl(\frac{a_{1}}{a_{1}+a_{2}},\frac{b_{1}}{b_{1}+b_{2}} \biggr)\\ &\quad = \frac{a _{1}b_{1}}{4(a_{1}+a_{2})(b_{1}+b_{2})} ( \psi (a_{1},b_{1})+ \psi \biggl(a_{1}, \frac{2b_{1}b_{2}}{b_{1}+d} \biggr) \\ &\qquad {} +\frac{a_{1}b_{1}}{4(a_{1}+a_{2})(b_{1}+b_{2})} \biggl( \psi \biggl(\frac{2a _{1}a_{2}}{a_{1}+a_{2}},b_{1} \biggr)+\psi \biggl(\frac{2a_{1}a_{2}}{a _{1}+a_{2}},\frac{2b_{1}b_{2}}{b_{1}+b_{2}} \biggr) \biggr) \\ &\qquad {}+\frac{a_{2}b_{2}}{4(a_{1}+a_{2})(b_{1}+b_{2})} \biggl( \psi \biggl(\frac{2a _{1}a_{2}}{a_{1}+a_{2}}, \frac{2b_{1}b_{2}}{b_{1}+b_{2}} \biggr)+\psi \biggl(\frac{2a_{1}a_{2}}{a_{1}+a_{2}},d \biggr) \biggr) \\ &\qquad {} + \frac{a_{2}b_{2}}{4(a_{1}+a_{2})(b_{1}+b_{2})} \biggl(\psi \biggl(a _{2}, \frac{2b_{1}b_{2}}{b_{1}+b_{2}} \biggr)+\psi (a_{2},b_{2}) \biggr). \end{aligned}$$
  1. (i)

    If we choose \(\psi (x,y)=x^{2}+y^{2}\) with \(a_{1},b_{1}=0\) and \(a_{2},b_{2}=1\), then we obtain

    $$\begin{aligned} \psi \biggl(\frac{1}{2},\frac{1}{2} \biggr)&=\frac{1}{2}\leq s(0,1)= \frac{1}{2} \\ &\leq \int _{0}^{1} \int _{0}^{1}x^{2}+y^{2}\,dx \,dy=\frac{2}{3} \\ &\leq S(0,1)=1 \\ &\leq \frac{1}{4} \bigl[\psi (a_{1},b_{1})+\psi (a_{1},b_{2})+\psi (a _{2},b_{1})+\psi (a_{2},b_{2}) \bigr]=1 . \end{aligned}$$
  2. (ii)

    If we choose \(\psi (x,y)=x^{2}y^{2}\) with \(a_{1},b_{1}=0\) and \(a_{2},b_{2}=1\), then we obtain

    $$\begin{aligned} \psi \biggl(\frac{1}{2},\frac{1}{2} \biggr)&=\frac{1}{16} \leq s(0,0)= \frac{1}{16} \\ &\leq \int _{0}^{1} \int _{0}^{1}x^{2}y^{2}\,dx\,dy= \frac{1}{9} \\ &\leq S(0,0)=\frac{1}{4} \\ &\leq \frac{1}{4} \bigl[\psi (a_{1},b_{1})+\psi (a_{1},b_{2})+\psi (a _{2},b_{1})+\psi (a_{2},b_{2}) \bigr]=\frac{1}{4}. \end{aligned}$$

Conclusions

This paper has presented some new refinements of the Hadamard inequality on coordinate convex functions. In addition, Hadamard’s inequality for linear functions has been proved using the definition of convexity. In order to ascertain the validity of the new refinement inequalities, some examples are also presented. The obtained results in this paper would be useful for generalization of inequalities that were proved in previous work.

References

  1. 1.

    Peajcariaac, J.E., Tong, Y.L.: Convex Functions, Partial Orderings, and Statistical Applications. Academic Press, San Diego (1992)

  2. 2.

    Bessenyei, M., Pales, Z.S.: Higher-order generalizations of Hadamard’s inequality. Publ. Math. (Debr.) 61(3–4), 623–643 (2002)

  3. 3.

    Dragomir, S.S.: Hermite–Hadamard’s type inequalities for convex functions of selfadjoint operators in Hilbert spaces. Linear Algebra Appl. 436(5), 1503–1515 (2012)

  4. 4.

    Kirane, M., Torebek, B.T.: Hermite–Hadamard, Hermite–Hadamard–Fejer, Dragomir–Agarwal and Pachpatte type inequalities for convex functions via fractional integrals (2016) arXiv preprint. arXiv:1701.00092

  5. 5.

    Dragomir, S.S.: Two mappings in connection to Hadamard’s inequalities. J. Math. Anal. Appl. 167(1), 49–56 (1992)

  6. 6.

    El Farissi, A.: Simple proof and refinement of Hermite–Hadamard inequality. J. Math. Inequal. 4(3), 365–369 (2010)

  7. 7.

    Dragomir, S.S.: On the Hadamard’s inequlality for convex functions on the co-ordinates in a rectangle from the plane. Taiwan. J. Math. 5, 775–788 (2001)

  8. 8.

    Latif, M.A., Alomari, M.: Hadamard-type inequalities for product two convex functions on the co-ordinates. Int. Math. Forum 4(47), 2327–2338 (2009)

  9. 9.

    Sarikaya, M.Z., Set, E., Ozdemir, M.E., Dragomir, S.S.: New some Hadamard’s type inequalities for co-ordinated convex functions (2010) arXiv preprint. arXiv:1005.0700

Download references

Acknowledgements

The first author would like to thank University of Hafr Al-Batin for the scholarship to continue for her Ph.D. study in University Putra Malaysia. The authors also very grateful for the referees constructive comments.

Availability of data and materials

Not applicable.

Funding

Not applicable.

Author information

Affiliations

  1. Department of Mathematics, University of Hafr Al-Batin, Hafr Al-Batin, Saudi Arabia

    • Ahoud Almutairi

  2. Department of Mathematics and Institute for Mathematical Research, Universiti Putra Malaysia, Serdang, Malaysia

    • Adem Kılıçman

Authors

  1. Search for Ahoud Almutairi in:

  2. Search for Adem Kılıçman in:

Contributions

The authors contributed equally. All authors read and approved the final copy of manuscript.

Corresponding author

Correspondence to Adem Kılıçman.

Ethics declarations

Competing interests

The authors declare that they have no conflict of interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This 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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Keywords

  • Convex function
  • Hermite–Hadamard inequality
  • Generalized convexity