Open Access

New mean value theorems and generalization of Hadamard inequality via coordinated m-convex functions

Journal of Inequalities and Applications20152015:283

DOI: 10.1186/s13660-015-0808-z

Received: 17 July 2015

Accepted: 1 September 2015

Published: 17 September 2015

Abstract

We derive new mean value theorems for functionals associated with Hadamard inequality for convex functions on the coordinates. We present some Hadamard type inequalities and related results for m-convex functions on the coordinates.

Keywords

convex functions m-convex functions convex functions on coordinates Hadamard inequality mean value theorems

1 Introduction

We start with the very basic concept of a convex function that has been seen as important ever since it was defined.

Definition 1.1

A real valued function \(f : I \to\mathbb{R}\), where I is an interval in \(\mathbb{R}\), is called convex if
$$ f\bigl(\lambda x + (1 - \lambda)y\bigr) \leq\lambda f(x) + (1 - \lambda)f(y), $$
(1)
where \(\lambda\in[0, 1]\), and \(x, y \in I\).

One cannot deny the importance of convex functions. It is used by many mathematicians in many fields of mathematics such as functional analysis, mathematical statistics, and complex analysis (see for example [14] and references therein). In the field of inequalities, convex functions play a unique role. Most of the new inequalities till now defined are results and consequences of (1). The most cardinal and classical inequality for convex functions is stated in the following.

Theorem 1.2

Let \(f : I \to\mathbb{R}\) be convex function and \(a,b\in I\) with \(a< b\), then
$$ f \biggl(\frac{a+b}{2} \biggr) \leq\frac{1}{b-a} \int _{a}^{b} f(x)\,dx \leq\frac{f(a) + f(b)}{2}. $$
(2)

This famous integral inequality can be traced back to the papers presented by Hermite [5] and Hadamard [6]. Researchers have used inequality (2) several times for giving generalization and modification of Hadamard type inequalities using different modification of convex functions. For refinements, counterparts, and generalizations see for example [3, 719].

Recently, many authors have considered a convex function on the coordinates to give the Hadamard inequality on the coordinates and its different variants. Also they have given many results associated with it (e.g. see [2023]).

Definition 1.3

Let \(\Delta^{2}:=[a,b]\times[c,d] \subset\mathbb{R}^{2}\) with \(a< b\) and \(c< d\). A function \(f:\Delta^{2} \to\mathbb{R}\) is called convex on the coordinates if the partial mapping \(f_{y}:[a,b] \to\mathbb{R}\), \(f_{y}(u):=f(u,y)\) and \(f_{x}:[c,d] \to\mathbb{R}\), \(f_{x}(v):=f(x,v)\) are convex, where they are defined for all \(y\in[c,d]\) and \(x\in[a,b]\).

We will keep the notation \(\Delta^{2}=[a,b]\times[c,d]\) throughout this paper.

Recall that a mapping \(f:\Delta^{2}\rightarrow \mathbb {R}\) is convex in \(\Delta^{2}\) if, for \((x,y), (u,v)\in\Delta^{2}\) and \(\alpha\in [0,1]\), the following inequality holds:
$$ f\bigl(\alpha(x,y)+(1-\alpha) (u,v) \bigr)\leq\alpha f(x,y)+(1-\alpha)f(u,v). $$
It can be seen that every convex mapping \(f:\Delta^{2}\rightarrow \mathbb {R}\) is convex on the coordinates but the converse is not true. Dragomir gave the Hadamard inequality for a rectangle in the plane for convex functions on the coordinates (see [11]).

Theorem 1.4

Suppose that \(f:\Delta^{2} \to\mathbb{R}\) is convex on the coordinates on \(\Delta^{2}\). Then one has the following inequalities:
$$\begin{aligned} &f \biggl(\frac{a+b}{2},\frac{c+d}{2} \biggr) \\ &\quad \leq\frac{1}{2} \biggl[\frac{1}{b-a}\int_{a}^{b}f \biggl(x,\frac {c+d}{2} \biggr)\,dx+\frac{1}{d-c}\int_{c}^{d}f \biggl(\frac {a+b}{2},y \biggr)\,dy \biggr] \\ &\quad \leq\frac{1}{(b-a)(d-c)}\int_{a}^{b}\int _{c}^{d}f(x,y)\,dx\,dy \\ &\quad \leq\frac{1}{4} \biggl[\frac{1}{b-a}\int_{a}^{b}f(x,c) \,dx+\frac {1}{b-a}\int_{a}^{b}f(x,d)\,dx+ \frac{1}{d-c}\int_{c}^{d}f(a,y)\,dy \\ &\qquad {}+\frac{1}{d-c}\int_{c}^{d}f(b,y)\,dy \biggr] \\ &\quad \leq\frac{1}{4} \bigl[f(a,c)+f(a,d)+f(b,c)+f(b,d) \bigr]. \end{aligned}$$

In [24], Toader defined the concept of m-convexity, an intermediate between the usual convexity and star shape properties.

Definition 1.5

The function \(f:[0,b]\to\mathbb{R}\) is said to be m-convex, where \(m\in[0,1]\), if for every \(x,y\in[0,b]\) and \(t\in[0,1]\) we have
$$ f \bigl(tx+m(1-t)y \bigr)\leq tf(x)+m(1-t)f(y). $$
(3)

In [25] using inequality (2) and (3) Dragomir and Toader gave the following Hadamard type inequality for m-convex functions.

Theorem 1.6

Let \(f:[0,\infty)\to\mathbb{R}\) be m-convex function with \(m\in (0,1]\) and \(0\leq a< b\). If \(f\in L_{1} [a,b]\), then one has the following inequalities:
$$\begin{aligned} f \biggl(\frac{a+b}{2} \biggr)&\leq\frac{1}{b-a} \int _{a}^{b} \frac {f(x)+mf (\frac{x}{m} )}{2}\,dx \\ &\leq\frac{m+1}{4} \biggl[\frac{f(a)+f(b)}{2} + m \biggl(\frac {f(\frac{a}{m}) + f(\frac{b}{m})}{2} \biggr) \biggr]. \end{aligned}$$
(4)

They also gave the following related results to the Hadamard type inequality for m-convex functions.

Theorem 1.7

Let \(f:[0,\infty)\to\mathbb{R}\) be an m-convex function with \(m\in (0,1]\). If \(0\leq a < b <\infty\) and \(f\in L_{1}[a, b]\), then one has the inequality
$$\begin{aligned} \frac{1}{b-a}\int_{a}^{b} f(x)\,dx \leq \min \biggl\{ \frac{f(a) + mf(\frac {b}{m})}{2}, \frac{f(b) + mf(\frac{a}{m})}{2} \biggr\} . \end{aligned}$$

Theorem 1.8

Let \(f:[0,\infty)\to\mathbb{R}\) be an m-convex function with \(m\in (0,1]\). If \(0\leq a < b <\infty\) and f is differentiable on \((0,\infty)\), then one has the inequality
$$\begin{aligned} \frac{f(mb)}{m}-\frac{b-a}{2} f^{\prime}(mb)&\leq\frac{1}{b-a} \int_{a}^{b}f(x)\,dx \\ &\leq\frac{(b-ma)f(d)-(a-mb)f(a)}{2(b-a)}. \end{aligned}$$

In this paper, new mean value theorems of Cauchy type for functionals associated with nonnegative differences of the Hadamard inequality on the coordinates are proved. Generalized results related to the Hadamard inequality for m-convex functions on the coordinates are also given.

2 Mean value theorems

We know that if a function f is twice differentiable on an interval I then it is convex on I if and only if its second order derivative is nonnegative. If a function \(f(X):=f(x,y)\) has continuous second order partial derivatives on interior of \(\Delta^{2}\) then it is convex on \(\Delta^{2}\) if the Hessian matrix
$$ H_{f}(X)= \left ( \begin{matrix} {\frac{\partial^{2}f(X)}{\partial x^{2}}} & {\frac{\partial ^{2}f(X)}{\partial y\partial x}}\\ \frac{\partial^{2}f(X)}{\partial x\partial y} & \frac{\partial ^{2}f(X)}{\partial y^{2}} \end{matrix} \right ) $$
is nonnegative definite, that is, \(\mathbf{v}H_{f}(X)\mathbf{v}^{\tau}\) is nonnegative for all real nonnegative vector v (see [3], p.11).
It is easy to see that \(f:\Delta^{2} \to\mathbb{R}\) is coordinated convex on \(\Delta^{2}\) iff
$$f''_{x}(y) = \frac{\partial^{2}f(x,y)}{\partial y^{2}} \quad \mbox{and}\quad f''_{y}(x) = \frac{\partial^{2}f(x,y)}{\partial x^{2}} $$
are nonnegative for all interior points \((x,y)\) in \(\Delta^{2}\).
For a real valued function \(f:\Delta^{2}\rightarrow \mathbb {R}\) we define
$$\begin{aligned} \mathcal{H}(f)={}&\frac{1}{2} \biggl[\frac{1}{b-a}\int _{a}^{b}f \biggl(x,\frac{c+d}{2} \biggr)\,dx+ \frac{1}{d-c}\int_{c}^{d}f \biggl( \frac {a+b}{2},y \biggr)\,dy \biggr] \\ &{}-f \biggl(\frac{a+b}{2},\frac{c+d}{2} \biggr). \end{aligned}$$
(5)
One can note that \(\mathcal{H}(f)\geq0\) if f is convex on the coordinates in \(\Delta^{2}\).

To give the mean value theorems of Cauchy type, we need the following lemma.

Lemma 2.1

Let \(f:\Delta^{2}\rightarrow \mathbb {R}\) be a function such that
$$ m_{1}\leq\frac{\partial^{2}f(x,y)}{\partial x^{2}} \leq M_{1}\quad \textit{and}\quad m_{2}\leq\frac{\partial^{2}f(x,y)}{\partial y^{2}} \leq M_{2} $$
for all interior points \((x,y)\) in \(\Delta^{2}\).
Consider the functions \(g, h: \Delta^{2}\rightarrow \mathbb {R}\) defined as
$$ g(x, y)= \frac{1}{2}\max\{M_{1},M_{2}\} \bigl(x^{2}+y^{2}\bigr)-f(x, y) $$
and
$$ h(x, y)= f(x, y)-\frac{1}{2}\min\{m_{1},m_{2}\} \bigl(x^{2}+y^{2}\bigr). $$
Then g and h are coordinated convex in \(\Delta^{2}\).

Proof

Since
$$ \frac{\partial^{2}g(x,y)}{\partial x^{2}}=\max\{M_{1},M_{2}\}-\frac {\partial^{2}f(x,y)}{\partial x^{2}} \geq0 $$
and
$$ \frac{\partial^{2}g(x,y)}{\partial y^{2}}=\frac{\partial ^{2}f(x,y)}{\partial y^{2}} - \min\{m_{1},m_{2}\} \geq0 $$
for all interior points \((x,y)\) in \(\Delta^{2}\), g is convex on the coordinates in \(\Delta^{2}\).

Similarly one can prove that h is convex on the coordinates in \(\Delta^{2}\). □

Theorem 2.2

Let \(f:\Delta^{2}\to \mathbb {R}\) be a function, which has continuous partial derivatives of second order in \(\Delta^{2}\) and \(q(x,y):=x^{2}+y^{2}\). Then there exist \((\eta_{1}, \xi_{1})\) and \((\eta_{2}, \xi_{2})\) in the interior of \(\Delta^{2}\) such that
$$ \mathcal{H}(f)= \frac{1}{2}\frac{\partial^{2}f(\eta_{1}, \xi _{1})}{\partial x^{2}}\mathcal{H}(q) $$
and
$$ \mathcal{H}(f)= \frac{1}{2}\frac{\partial^{2}f(\eta_{2}, \xi _{2})}{\partial x^{2}} \mathcal{H}(q), $$
provided that \(\mathcal{H}(q)\neq0\).

Proof

Since f has continuous partial derivatives of second order in compact set \(\Delta^{2}\), there exist real numbers \(m_{1}\), \(m_{2}\), \(M_{1}\), and \(M_{2}\) such that
$$ m_{1}\leq\frac{\partial^{2}f(x,y)}{\partial x^{2}} \leq M_{1} \quad \mbox{and}\quad m_{2}\leq\frac{\partial^{2}f(x,y)}{\partial y^{2}} \leq M_{2}. $$
Now consider functions g defined in Lemma 2.1. As g is convex on the coordinates in \(\Delta^{2}\),
$$\mathcal{H}(g) \geq0, $$
that is,
$$\mathcal{H} \biggl(\frac{1}{2}\max\{M_{1}, M_{2} \}q-f(x, y) \biggr)\geq0. $$
From this we get
$$ 2\mathcal{H}(f)\leq\max\{M_{1}, M_{2}\} \mathcal{H}(q). $$
(6)
On the other hand, for the function h, one has
$$ \min\{m_{1}, m_{2}\} \mathcal{H}(q) \leq2 \mathcal{H}(f). $$
(7)
As \(\mathcal{H}(q) \neq0\), combining inequalities (6) and (7), we get
$$ \min\{m_{1},m_{2}\}\leq\frac{2 \mathcal{H}(f)}{H(q)}\leq\max \{M_{1}, M_{2}\}. $$
Then there exist \((\eta_{1}, \xi_{1})\) and \((\eta_{2}, \xi_{2})\) in the interior of \(\Delta^{2}\) such that
$$ \frac{2 \mathcal{H}(f)}{H(q)} = \frac{\partial^{2}f(\eta_{1}, \xi _{1})}{\partial x^{2}} \quad \mbox{and}\quad \frac{2 \mathcal{H}(f)}{H(q)} = \frac{\partial^{2}f(\eta_{2}, \xi_{2})}{\partial y^{2}}. $$
Hence the required result follows. □

3 Hadamard type inequalities for m-convex function on two coordinates

In this section we give Hadamard type inequalities for m-convex functions on two coordinates. First of all we give the definitions of m-convex functions in two coordinates.

Definition 3.1

Let \(\Delta=[0,b]\times[0,d]\subset[0,\infty)^{2}\), then a function \(f : \Delta\to\mathbb{R}\), will be called m-convex on the coordinates if the partial mappings \(f_{y} : [0, b] \to\mathbb{R}\), \(f_{y}(u) := f(u, y)\), and \(f_{x} : [0,d] \to\mathbb{R}\), \(f_{x}(v) := f(x, v)\), are m-convex on \([0,b]\) and \([0,d]\), respectively.

In the following we give the Hadamard type inequality for m-convex functions on the coordinates.

Theorem 3.2

Let \(\Delta=[0,b]\times[0,d]\subset[0,\infty)^{2}\) with \(b,d>0\) and \(f : \Delta\to\mathbb{R}\) be m-convex on the coordinates in Δ with \(m\in(0,1]\). If \(f_{x} \in L_{1}[0,d]\) and \(f_{y} \in L_{1}[0,b]\), \(0\leq a< b\), \(0\leq c< d\). Then we have
$$\begin{aligned} &\frac{1}{b-a}\int_{a}^{b} f \biggl(x, \frac{c+d}{2} \biggr)\,dx + \frac {1}{d-c}\int_{c}^{d} f \biggl(\frac{a+b}{2},y \biggr)\,dy \\ &\quad \leq\frac{1}{2(b-a)(d-c)} \int_{a}^{b} \int _{c}^{d} \biggl( 2f(x,y)+m \biggl(f \biggl(x, \frac{y}{m} \biggr)+f \biggl(\frac{x}{m},y \biggr) \biggr) \biggr) \,dy\,dx \\ &\quad \leq\frac{(m+1)^{2}}{16} \biggl[f(a,c)+f(b,c)+f(a,d)+f(b,d) + m \biggl( f \biggl( \frac{a}{m},c \biggr)+f \biggl(\frac{b}{m},c \biggr) \\ &\qquad {} +f \biggl(\frac{a}{m},d \biggr)+f \biggl( \frac{b}{m},d \biggr) + f \biggl(a,\frac{c}{m} \biggr)+f \biggl(a, \frac{d}{m} \biggr)+f \biggl(b,\frac{c}{m} \biggr) +f \biggl(b, \frac{d}{m} \biggr) \biggr) \\ & \qquad {} +m^{2} \biggl(f \biggl(\frac{a}{m},\frac{c}{m} \biggr)+f \biggl(\frac{b}{m},\frac{c}{m} \biggr)+f \biggl( \frac{a}{m},\frac {d}{m} \biggr) +f \biggl(\frac{b}{m}, \frac{d}{m} \biggr) \biggr) \biggr]. \end{aligned}$$

Proof

Since mapping \(\mathit{f}:\Delta\to\mathbb{R}\) is m-convex on the coordinates, the functions \(f_{x}\) and \(f_{y}\) are m-convex on \([0,d]\) and \([0,b]\), respectively. Using (4) for the function \(f_{y}\) we have
$$\begin{aligned} f_{y} \biggl(\frac{a+b}{2} \biggr) &\leq\frac{1}{b-a} \int _{a}^{b} \biggl(\frac{f_{y}(x)+mf_{y}(\frac{x}{m})}{2} \biggr)\,dx \\ & \leq\frac{m+1}{4} \biggl[\frac{f_{y}(a)+f_{y}(b)}{2}+m\frac {f_{y}(\frac{a}{m})+f_{y}(\frac{b}{m})}{2} \biggr], \end{aligned}$$
that is,
$$ \begin{aligned}[b] f \biggl(\frac{a+b}{2},y \biggr) & \leq\frac{1}{b-a} \int_{a}^{b} \biggl( \frac{f(x,y)+mf(\frac{x}{m},y)}{2} \biggr)\,dx \\ & \leq\frac{m+1}{4} \biggl[\frac{f(a,y)+f(b,y)}{2}+m\frac{f(\frac {a}{m},y)+f(\frac{b}{m},y)}{2} \biggr]. \end{aligned} $$
(8)
From this one has
$$ \begin{aligned}[b] &\frac{1}{d-c}\int _{c}^{d} f \biggl(\frac{a+b}{2},y \biggr)\,dy \\ &\quad \leq\frac {1}{(b-a)(d-c)} \int_{a}^{b} \int _{c}^{d} \biggl(\frac{f(x,y)+mf(\frac {x}{m},y)}{2} \biggr)\,dy\,dx \\ & \quad \leq\frac{m+1}{4(d-c)}\int_{c}^{d} \biggl[ \frac {f(a,y)+f(b,y)}{2}+m\frac{f(\frac{a}{m},y)+f(\frac {b}{m},y)}{2} \biggr]\,dy. \end{aligned} $$
(9)
Similarly using (4) for the function \(f_{x}\) we have
$$ \begin{aligned}[b] & \frac{1}{b-a}\int _{a}^{b} f \biggl(x,\frac{c+d}{2} \biggr)\,dx \\ &\quad \leq\frac {1}{(b-a)(d-c)} \int_{a}^{b} \int _{c}^{d} \biggl(\frac{f(x,y)+mf(x,\frac {y}{m})}{2} \biggr)\,dy\,dx \\ &\quad \leq\frac{m+1}{4(b-a)}\int_{a}^{b} \biggl[ \frac {f(x,c)+f(x,d)}{2}+m\frac{f(x,\frac{c}{m})+f(x,\frac {d}{m})}{2} \biggr]\,dx. \end{aligned} $$
(10)
By adding (9) and (10), we get
$$ \begin{aligned}[b] &\frac{1}{b-a}\int _{a}^{b} f \biggl(x, \frac{c+d}{2} \biggr)\,dx + \frac {1}{d-c}\int_{c}^{d} f \biggl( \frac{a+b}{2},y \biggr)\,dy \\ & \quad \leq\frac{1}{2(b-a)(d-c)} \int_{a}^{b} \int _{c}^{d} \biggl( 2f(x,y)+m \biggl(f \biggl(x, \frac{y}{m} \biggr)+f \biggl(\frac{x}{m},y \biggr) \biggr) \biggr) \,dy\,dx \\ &\quad \leq\frac{m+1}{4} \biggl[ \frac{1}{b-a} \int_{a}^{b} \biggl( \frac {f(x,c)+f(x,d)}{2} + m \frac{f(x,\frac{c}{m})+f(x,\frac {d}{m})}{2} \biggr)\,dx \\ &\qquad {}+ \frac{1}{d-c} \int_{c}^{d} \biggl( \frac{f(a,y)+f(b,y)}{2} + m \frac{f(\frac{a}{m},y)+f(\frac{b}{m},y)}{2} \biggr)\,dy \biggr]. \end{aligned} $$
(11)
For fixed y using the m-convexity of \(f_{y}\) we have
$$\begin{aligned} f(x,y)\leq\frac{f(x,y)+mf(\frac{x}{m},y)}{2}. \end{aligned}$$
(12)
Performing the average integral over the interval \([a,b]\) and using (4) we get
$$ \begin{aligned}[b] \frac{1}{b-a}\int _{a}^{b} f(x,y)\,dx&\leq\frac{1}{b-a}\int _{a}^{b} \biggl(\frac{f(x,y)+mf(\frac{x}{m},y)}{2} \biggr)\,dx \\ & \leq\frac{m+1}{4} \biggl[\frac{f(a,y) + f(b,y)}{2}+m\frac{f(\frac {a}{m},y)+ f(\frac{b}{m},y)}{2} \biggr]. \end{aligned} $$
(13)
Similarly for fixed x using the m-convexity of \(f_{x}\) one has
$$ \begin{aligned}[b] \frac{1}{d-c}\int _{c}^{d} f(x,y)\,dy&\leq\frac{1}{d-c} \int _{c}^{d} \biggl(\frac{f(x,y)+mf(x,\frac{y}{m})}{2} \biggr)\,dy \\ & \leq\frac{m+1}{4} \biggl[\frac{f(x,c) + f(x,d)}{2}+m\frac{f(x,\frac {c}{m})+ f(x,\frac{d}{m})}{2} \biggr]. \end{aligned} $$
(14)
Considering (13) for \(y=c,d\), (14) for \(x=a,b\), then (13) for \(y=\frac{c}{m},\frac{d}{m}\), (14) for \(x=\frac{a}{m},\frac{b}{m}\) to multiply later with m. Adding all these inequalities, we obtain
$$\begin{aligned} & \frac{1}{{b - a}}\int _{a}^{b} { \biggl( {\frac{{f(x,c) + f(x,d)}}{2} + m \frac{{f(x,\frac{c}{m}) + f(x,\frac{d}{m})}}{2}} \biggr)}\,dx \\ &\qquad {} + \frac{1}{{d - c}}\int_{c}^{d} { \biggl( { \frac{{f(a,y) + f(b,y)}}{2} + m\frac{{f(\frac{a}{m},y) + f(\frac{b}{m},y)}}{2}} \biggr)}\,dy \\ & \quad \leq\frac{1}{2} \biggl[\frac{1}{{b - a}}\int_{a}^{b} { \biggl( {\frac {{f(x,c) + mf(\frac{x}{m},c) + f(x,d) + mf(\frac{x}{m},d)}}{2}} } \\ & \qquad {} + m\frac{{f(x,\frac{c}{m}) + mf(\frac{x}{m},\frac{c}{m}) + f(x,\frac{d}{m}) + mf(\frac{x}{m},\frac{d}{m})}}{2} \biggr)\,dx \\ & \qquad {}+ \frac{1}{d-c} \int_{c}^{d} \biggl( \frac{f(a,y)+mf(a,\frac {y}{m})+f(b,y)+mf(b,\frac{y}{m})}{2} \\ & \qquad {}+ m \frac{f(\frac{a}{m},y) +mf(\frac{a}{m},\frac {y}{m})+f(\frac{b}{m},y)+mf(\frac{b}{m},\frac{y}{m})}{2} \biggr)\,dy \biggr] \\ & \quad \leq\frac{1}{4} \biggl[f(a,c)+f(b,c)+f(a,d)+f(b,d) + m \biggl( f \biggl( \frac{a}{m},c \biggr)+f \biggl(\frac{b}{m},c \biggr) \\ &\qquad {} +f \biggl(\frac{a}{m},d \biggr)+f \biggl( \frac{b}{m},d \biggr) + f \biggl(a,\frac{c}{m} \biggr)+f \biggl(a, \frac{d}{m} \biggr)+f \biggl(b,\frac{c}{m} \biggr) +f \biggl(b, \frac{d}{m} \biggr) \biggr) \\ & \qquad {} +m^{2} \biggl(f \biggl(\frac{a}{m},\frac{c}{m} \biggr)+f \biggl(\frac{b}{m},\frac{c}{m} \biggr)+f \biggl( \frac{a}{m},\frac {d}{m} \biggr) +f \biggl(\frac{b}{m}, \frac{d}{m} \biggr) \biggr) \biggr]. \end{aligned}$$
(15)
Now combining inequalities in (11) and (15), we get the last two inequalities of the theorem. □

Theorem 3.3

Let \(\Delta=[0,b]\times[0,d]\subset[0,\infty)^{2}\) with \(b,d>0\) and \(f : \Delta\to\mathbb{R}\) be m-convex on the coordinate in Δ with \(m\in(0,1]\). If \(f_{x} \in L_{1}[0,d]\) and \(f_{y} \in L_{1}[0,b]\), then
$$ \begin{aligned}[b] 2 f \biggl(\frac{a+b}{2}, \frac{c+d}{2} \biggr) \leq{}&\frac {1}{b-a}\int_{a}^{b} \biggl(\frac{f (x,\frac{c+d}{2} )+mf (\frac{x}{m},\frac{c+d}{2} )}{2} \biggr)\,dx \\ &{}+ \frac{1}{c-d}\int_{c}^{d} \biggl( \frac{f (\frac{a+b}{2},y )+mf (\frac{a+b}{2},\frac{y}{m} )}{2} \biggr)\,dy. \end{aligned} $$
(16)

Proof

By using (8) for \(y=\frac{c+d}{2}\)
$$ \begin{aligned} f \biggl(\frac{a+b}{2}, \frac{c+d}{2} \biggr) \leq\frac{1}{b-a}\int_{a}^{b} \biggl(\frac{f (x,\frac{c+d}{2} )+mf (\frac {x}{m},\frac{c+d}{2} )}{2} \biggr)\,dx. \end{aligned} $$
(17)
Applying the first inequality in (4) for \(f_{x}\) on \([c,d]\) we have
$$ \begin{aligned} f \biggl(x,\frac{c+d}{2} \biggr) \leq \frac{1}{c-d}\int_{c}^{d} \biggl( \frac{f (x,y )+mf (x,\frac{y}{m} )}{2} \biggr)\,dy. \end{aligned} $$
Put \(x=\frac{a+b}{2}\) we get
$$ \begin{aligned} f \biggl(\frac{a+b}{2}, \frac{c+d}{2} \biggr) \leq\frac{1}{c-d}\int_{c}^{d} \biggl(\frac{f (\frac{a+b}{2},y )+mf (\frac {a+b}{2},\frac{y}{m} )}{2} \biggr)\,dy. \end{aligned} $$
(18)
By adding (17) and (18) we get (16). □

Remark 3.4

By putting \(m=1\) in Theorem 3.2 and Theorem 3.3 and combining we get inequalities in Theorem 1.4.

Theorem 3.5

Let f, \(f_{x}\), and \(f_{y}\) be defined as in Theorem  3.2. Then one has the following inequality:
$$\begin{aligned} & \frac{2}{(b-a)(d-c)}\int _{a}^{b} \int_{c}^{d} f(x,y)\,dy\,dx \\ & \quad \leq\min \biggl\{ \frac{1}{b-a} \int_{a}^{b} \biggl(\frac {f(x,c)+mf(x,\frac{d}{m})}{2} \biggr)\,dx, \\ &\qquad {}\frac{1}{b-a} \int_{a}^{b} \biggl(\frac{f(x,d)+mf(x,\frac{c}{m})}{2} \biggr)\,dx \biggr\} \\ &\qquad {}+\min\biggl\{ \frac{1}{d-c} \int_{c}^{d} \biggl(\frac{f(a,y)+mf(\frac {b}{m},y)}{2} \biggr)\,dy, \\ &\qquad {}\frac{1}{d-c} \int_{c}^{d} \biggl(\frac {f(b,y)+mf(\frac{a}{m},y)}{2} \biggr)\,dy \biggr\} . \end{aligned}$$
(19)

Proof

Since mapping \(f : \Delta\to\mathbb{R}\) is m-convex on the coordinates, the functions \(f_{x}\) and \(f_{y}\) are m-convex on \([0, d]\) and \([0, b]\), respectively. Thus we have by Theorem 1.7
$$\begin{aligned} \frac{1}{b-a} \int_{a}^{b} f_{y}(x)\,dx \leq\min{ \biggl\{ \frac {f_{y}(a)+f_{y}(\frac{b}{m})}{2}, \frac{f_{y}(b)+f_{y}(\frac {a}{m})}{2} \biggr\} }, \end{aligned}$$
that is,
$$\begin{aligned} \frac{1}{b-a} \int_{a}^{b} f(x,y)\,dx \leq \min{ \biggl\{ \frac {f(a,y)+f(\frac{b}{m},y)}{2}, \frac{f(b,y)+f(\frac {a}{m},y)}{2} \biggr\} }. \end{aligned}$$
Performing the average integral over the interval \([c,d]\)
$$ \begin{aligned}[b] &\frac{1}{(b-a)(d-c)} \int _{a}^{b} \int_{c}^{d} f(x,y)\,dx \\ &\quad \leq \min { \biggl\{ \frac{1}{d-c}\int_{c}^{d} \biggl(\frac{f(a,y)+f(\frac {b}{m},y)}{2} \biggr)\,dy, \frac{1}{d-c}\int_{c}^{d} \biggl(\frac {f(b,y)+f(\frac{a}{m},y)}{2} \biggr)\,dy \biggr\} }. \end{aligned} $$
(20)
Similarly for \(f_{x}\) one has
$$ \begin{aligned}[b] &\frac{1}{(b-a)(d-c)} \int _{a}^{b} \int_{c}^{d} f(x,y)\,dx \\ &\quad \leq\min { \biggl\{ \frac{1}{b-a}\int_{a}^{b} \biggl(\frac{f(x,c)+f(x,\frac {d}{m})}{2} \biggr)\,dx, \frac{1}{b-a}\int_{a}^{b} \biggl(\frac {f(x,d)+f(x,\frac{c}{m})}{2} \biggr)\,dx \biggr\} }. \end{aligned} $$
(21)
For the desired result we add inequalities (20) and (21). □

Theorem 3.6

Let \(f_{x}:[0,d]\subset[0,\infty)\to\mathbb{R}\), \(f_{x}(u)=f(x,u)\) and \(f_{y}:[0,b]\subset[0,\infty)\to\mathbb{R}\), \(f_{y}(v)=f(v,y)\) be partial m-convex mappings with \(m\in(0,1]\). If \(0\leq a< b<\infty\), \(0\leq c< d<\infty\), also if \(f_{x} \in L_{1}[0,d]\) and \(f_{y} \in L_{1}[0,b]\) with \(f_{y}\) and \(f_{x}\) are differentiable on \((0,\infty)\), then we have the following inequality:
$$ \begin{aligned}[b] &\frac{1}{2m} \biggl( \frac{1}{b-a}\int_{a}^{b} f(x,md)\,dx+ \frac {1}{d-c}\int_{c}^{d} f(mb,y)\,dy \biggr) \\ &\qquad {}- \frac{1}{2} \biggl(\frac{d-c}{b-a} \int_{a}^{b} \frac{\partial f(x,md)}{\partial y}\,dx +\frac{b-a}{d-c} \int_{c}^{d} \frac{\partial f(mb,y)}{\partial x}\,dy \biggr) \\ &\quad \leq\frac{1}{(b-a)(d-c)}\int_{a}^{b} \int _{c}^{d} f(x,y)\,dy\,dx \leq\frac {1}{4(b-a)(d-c)} \\ &\qquad {}\times \biggl[ (d-mc)\int_{a}^{b} f(x,d)\,dx + (b-ma)\int_{c}^{d} f(b,y)\,dy \\ & \qquad {} - \biggl( (c-md)\int_{a}^{b} f(x,c)\,dx + (a-mb)\int_{c}^{d} f(a,y)\,dy \biggr) \biggr]. \end{aligned} $$
(22)

Proof

Since the functions \(f_{x}\) and \(f_{y}\) are m-convex on \([0, d]\) and \([0, b]\), respectively, and the functions \(f_{x}\) and \(f_{y}\) are differentiable on \((0,\infty)\), applying Theorem 1.8 we have
$$\begin{aligned} \frac{f_{x}(md)}{m}-\frac{d-c}{2} f_{x}^{\prime}(md)&\leq \frac {1}{d-c} \int_{c}^{d}f_{x}(y) \,dy \\ &\leq\frac{(d-mc)f_{x}(d)-(c-md)f_{x}(c)}{2(d-c)} \end{aligned}$$
and
$$\begin{aligned} \frac{f_{y}(mb)}{m}-\frac{b-a}{2} f_{y}^{\prime}(mb)&\leq \frac {1}{b-a} \int_{a}^{b}f_{y}(x) \,dy \\ &\leq\frac{(b-ma)f_{y}(b)-(a-mb)f_{y}(a)}{2(b-a)}. \end{aligned}$$
This gives us
$$ \begin{aligned}[b] \frac{f(x,md)}{m}-\frac{d-c}{2} \frac{\partial f(x,md)}{\partial y}&\leq\frac{1}{d-c} \int_{c}^{d}f(x,y) \,dy \\ & \leq\frac{(d-mc)f(x,d)-(c-md)f(x,c)}{2(d-c)} \end{aligned} $$
(23)
and
$$ \begin{aligned}[b] \frac{f(mb,y)}{m}-\frac{b-a}{2} \frac{\partial f(mb,y)}{\partial x}&\leq\frac{1}{b-a} \int_{a}^{b}f(x,y) \,dx \\ &\leq\frac{(b-ma)f(b,y)-(a-mb)f(a,y)}{2(b-a)}. \end{aligned} $$
(24)
Integrating (23) over \([a,b]\) and (24) over \([c,d]\) we get
$$ \begin{aligned}[b] &\frac{1}{b-a}\int _{a}^{b} \frac{f(x,md)}{m}\,dx- \frac{d-c}{2(b-a)}\int_{a}^{b} \frac{\partial f(x,md)}{\partial y} \,dx \\ &\quad\leq\frac{1}{(b-a)(d-c)}\int_{a}^{b} \int _{c}^{d}f(x,y)\,dy\,dx \\ & \quad\leq\frac{1}{b-a}\int_{a}^{b} \biggl( \frac {(d-mc)f(x,d)-(c-md)f(x,c)}{2(d-c)} \biggr)\,dx \end{aligned} $$
(25)
and
$$ \begin{aligned}[b] &\frac{1}{d-c}\int _{c}^{d} \frac{f(mb,y)}{m}\,dy- \frac{b-a}{2(d-c)}\int_{c}^{d} \frac{\partial f(mb,y)}{\partial x} \,dy \\ &\quad\leq\frac{1}{(b-a)(d-c)} \int_{a}^{b} \int _{c}^{d} f(x,y)\,dy\,dx \\ &\quad\leq\frac{1}{d-c}\int_{c}^{d} \biggl( \frac {(b-ma)f(b,y)-(a-mb)f(a,y)}{2(b-a)} \biggr)\,dy, \end{aligned} $$
(26)
respectively.

Adding (25) and (26) we get (22). □

Declarations

Acknowledgements

The research of the first and third authors is partially funded by the COMSATS Institute of Information Technology, Islamabad, Pakistan.

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.

Authors’ Affiliations

(1)
COMSATS Institute of Information Technology
(2)
Government Degree College

References

  1. Mitrinoviśc, DS, Pečarić, JE, Fink, AM: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecht (1993) View ArticleGoogle Scholar
  2. Niculescu, CP, Persson, LE: Convex Functions and Their Applications. A Contemporary Approach. Springer, New York (2006) MATHView ArticleGoogle Scholar
  3. Pečarić, JE, Proschan, F, Tong, YL: Convex Functions, Partial Ordering, and Statistical Applications. Academic Press, San Diego (1992) Google Scholar
  4. Persson, L-E, Ragusa, MA, Samko, N, Wall, P: Commutators of Hardy operators in vanishing Morrey spaces. In: AIP Conf. Proc., vol. 1493, p. 859 (2012). doi:10.1063/1.4765588 Google Scholar
  5. Hermite, C: Sur deux limites d’une intégrale définie. Mathesis 3, 82 (1883) Google Scholar
  6. Hadamard, J: Étude sur les propriètès des fonctions entières et en particulier d’une fonction considerèe par Riemann. J. Math. Pures Appl. 58, 171-215 (1893) Google Scholar
  7. Abramovich, S, Farid, G, Pečarić, JE: More about Hermite-Hadamard inequalities, Cauchy’s means, and superquadracity. J. Inequal. Appl. 2010, Article ID 102467 (2010) View ArticleGoogle Scholar
  8. Butt, SI, Pečarić, JE, Rehman, AU: Non-symmetric Stolarsky means. J. Math. Inequal. 7(2), 227-237 (2013) MATHMathSciNetView ArticleGoogle Scholar
  9. Dragomir, SS, Pečarić, JE, Sáandor, J: A note on the Jensen-Hadamard inequality. L’Anal. Num. Theor. L’Approx. (Romania) 19, 21-28 (1990) MATHGoogle Scholar
  10. Dragomir, SS, Barbu, D, Buşe, C: A probabilistic argument for the convergence of some sequences associated to Hadamard’s inequality. Stud. Univ. Babeş-Bolyai, Math. 38, 29-34 (1993) MATHGoogle Scholar
  11. Dragomir, SS: On Hadamard’s inequality for convex functions on the co-ordinates in a rectangle from the plane. Taiwan. J. Math. 4, 775-788 (2001) Google Scholar
  12. Dragomir, SS: On Hadamard’s inequality for convex functions. Math. Balk. 6, 215-222 (1992) MATHGoogle Scholar
  13. Dragomir, SS: Refinements of the Hermite-Hadamard inequality for convex functions. JIPAM. J. Inequal. Pure Appl. Math. 6(5), Article ID 140 (2005) MathSciNetGoogle Scholar
  14. Dragomir, SS: Some integral inequalities for differentiable convex functions. Contributions, Macedonian Acad. of Sci. and Arts (Scopie) 16, 77-80 (1992) MATHGoogle Scholar
  15. Pečarić, JE, Dragomir, SS: A generalisation of Hadamard’s inequality for isotonic linear functionals. Rad. Mat. 7, 103-107 (1991) MATHMathSciNetGoogle Scholar
  16. Pečarić, JE, Dragomir, SS: On some integral inequalities for convex functions. Bull. Mat. Inst. Pol. Iasi 36, 19-23 (1990) MATHGoogle Scholar
  17. Dragomir, SS: Two mappings in connection to Hadamard’s inequalities. J. Math. Anal. Appl. 167, 49-56 (1992) MATHMathSciNetView ArticleGoogle Scholar
  18. Toader, GH: Means and convexity, on generalization of convexity. Mathematica 30(53), 83-87 (1988) MathSciNetGoogle Scholar
  19. Mitrinović, DS, Lačković, IB: Hermite and convexity. Aequationes Math. 28, 225-232 (1985) Google Scholar
  20. Alomari, M, Darus, M: Co-ordinated s-convex function in the first sense with some Hadamard-type inequalities. Int. J. Contemp. Math. Sci. 3(32), 1557-1567 (2008) MATHMathSciNetGoogle Scholar
  21. Alomari, M, Darus, M: On the Hadamard’s inequality for log-convex functions on the coordinates. J. Inequal. Appl. 2009, Article ID 283147 (2009) MathSciNetView ArticleGoogle Scholar
  22. Latif, MA, Alomari, M: Hadamard-type inequalities for product two convex functions on the co-ordinates. Int. Math. Forum 4(47), 2327-2338 (2009) MATHMathSciNetGoogle Scholar
  23. Ozdemir, ME, Set, E, Sarikaya, MZ: New some Hadamard’s type inequalities for co-ordinated m-convex and \((\alpha,m)\)-convex functions. Hacet. J. Math. Stat. 40(2), 219-229 (2011) MathSciNetGoogle Scholar
  24. Toader, GH: Some generalizations of convexity. In: Proc. Colloq. Approx. Optim, Cluj Napoca (Romania), pp. 329-338 (1984) Google Scholar
  25. Dragomir, SS, Toader, GH: Some inequalities for m-convex functions. Stud. Univ. Babeş–Bolyai, Math. 38(1), 21-28 (1993) MATHMathSciNetGoogle Scholar

Copyright

© Farid et al. 2015