Skip to main content

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

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.

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). □

References

  1. Mitrinoviśc, DS, Pečarić, JE, Fink, AM: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecht (1993)

    Book  Google Scholar 

  2. Niculescu, CP, Persson, LE: Convex Functions and Their Applications. A Contemporary Approach. Springer, New York (2006)

    Book  MATH  Google 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)

    Article  Google Scholar 

  8. Butt, SI, Pečarić, JE, Rehman, AU: Non-symmetric Stolarsky means. J. Math. Inequal. 7(2), 227-237 (2013)

    Article  MATH  MathSciNet  Google 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)

    MATH  Google 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)

    MATH  Google 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)

    MATH  Google 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)

    MathSciNet  Google Scholar 

  14. Dragomir, SS: Some integral inequalities for differentiable convex functions. Contributions, Macedonian Acad. of Sci. and Arts (Scopie) 16, 77-80 (1992)

    MATH  Google Scholar 

  15. Pečarić, JE, Dragomir, SS: A generalisation of Hadamard’s inequality for isotonic linear functionals. Rad. Mat. 7, 103-107 (1991)

    MATH  MathSciNet  Google Scholar 

  16. Pečarić, JE, Dragomir, SS: On some integral inequalities for convex functions. Bull. Mat. Inst. Pol. Iasi 36, 19-23 (1990)

    MATH  Google Scholar 

  17. Dragomir, SS: Two mappings in connection to Hadamard’s inequalities. J. Math. Anal. Appl. 167, 49-56 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  18. Toader, GH: Means and convexity, on generalization of convexity. Mathematica 30(53), 83-87 (1988)

    MathSciNet  Google 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)

    MATH  MathSciNet  Google 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)

    Article  MathSciNet  Google 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)

    MATH  MathSciNet  Google 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)

    MathSciNet  Google 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)

    MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Atiq Ur Rehman.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally.

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

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Farid, G., Marwan, M. & Rehman, A.U. New mean value theorems and generalization of Hadamard inequality via coordinated m-convex functions. J Inequal Appl 2015, 283 (2015). https://doi.org/10.1186/s13660-015-0808-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-015-0808-z

Keywords