On Fejer type inequalities for co-ordinated hyperbolic ρ-convex functions

1.   Introduction

The inequalities discovered by C. Hermite and J. Hadamard for convex functions are considerable significant in the literature (see, e.g., ^[9], ^[18], [27,p.137]). These inequalities state that if $f:I\rightarrow \mathbb{R}$ is a convex function on the interval $I$ of real numbers and $a, b\in I$ with $a < b$, then

Both inequalities hold in the reversed direction if $f$ is concave.

The Hermite-Hadamard inequality, which is the first fundamental result for convex mappings with a natural geometrical interpretation and many applications, has drawn attention much interest in elementary mathematics. A number of mathematicians have devoted their efforts.

The most well-known inequalities related to the integral mean of a convex function are the Hermite Hadamard inequalities or its weighted versions, the so-called Hermite-Hadamard-Fejér inequalities. In ^[17], Fejer gave a weighted generalization of the inequalities (1.1) as the following:

Theorem 1. $f:[a, b]\rightarrow \mathbb{R}$, be a convex function, then the inequality

holds, where $g:[a, b]\rightarrow \mathbb{R}$ is nonnegative, integrable, and symmetric about $x = \frac{a+b}{2}$ (i.e. $g(x) = g(a+b-x)$)$.$

In this paper we will establish some new Fejér type inequalities for the new concept of co-ordinated hyperbolic $\rho$-convex functions.

The overall structure of the paper takes the form of four sections including introduction. The paper is organized as follows: we first give the definition of co-ordinated convex functions, the definition of fractional integrals and related Hermite-Hadamard inequality in Section 1. We also recall the concept of hyperbolic $\rho$-convex functions and co-ordinated hyperbolic $\rho$-convex functions introduced by Özçelik et. al in ^[23]. Moreover, we give a lemma and a theorem which will be frequently used in the next section. Some Hermite-Hadamard-Fejer type inequalities for co-ordinated hyperbolic $\rho$-convex functions are obtained and some special cases of the results are also given in Section 2. Then, we also apply the inequalities obtained in Section 2 to establish some fractional Fejer type inequalities in Section 3. Finally, in Section 4, some conclusions and further directions of research are discussed.

A formal definition for co-ordinated convex function may be stated as follows:

Definition 1. A function $f:\Delta : = [a, b]\times \lbrack c, d]\rightarrow \mathbb{R}$ is called co-ordinated convex on $\Delta,$ for all $(x, u), (y, v)\in \Delta$ and $t, s\in \lbrack 0, 1]$, if it satisfies the following inequality:

The mapping $f$ is a co-ordinated concave on $\Delta$ if the inequality (1.3) holds in reversed direction for all $t, s\in \lbrack 0, 1]$ and $(x, u), (y, v)\in \Delta$.

In ^[11], Dragomir proved the following inequalities which is Hermite-Hadamard type inequalities for co-ordinated convex functions on the rectangle from the plane $\mathbb{R} ^{2}.$

Theorem 2. Suppose that $f:\Delta : = \left[ a, b\right] \times \left[ c, d\right] \rightarrow \mathbb{R}$ is co-ordinated convex, then we have the following inequalities:

The above inequalities are sharp. The inequalities in (1.4) hold in reverse direction if the mapping $f$ is a co-ordinated concave mapping.

Over the years, the numerous studies have focused on to establish generalization of the inequality (1.1) and (1.4). For some of them, please see (^{[1,2,3,4,5,6,7,8]}, ^{[19,20,21,22,23,24,25,26]}, ^{[28,29,30,31,32,33,34,35,36]}).

Definition 2. ^[29] Let $f\in L_{1}\left(\Delta \right).$The Riemann-Lioville integrals $J_{a+, c+}^{\alpha, \beta }, J_{a+, d-}^{\alpha, \beta }, +J_{b-, c+}^{\alpha, \beta }$ and $J_{b-, d-}^{\alpha, \beta }$of order $\alpha, \beta > 0$ with $a, c\geq 0$ are defined by

respectively. Here, $\Gamma$ is the Gamma funtion,

and

First, we give the definition of hyperbolic $\rho$-convex functions and some related inequalities. Then we define the co-ordinated hyperbolic $\rho$ -convex functions.

Definition 3. ^[10] A function $f:I\rightarrow \mathbb{R}$ is said to be hyperbolic $\rho$-convex, if for any arbitrary closed subinterval $\left[ a, b\right]$ of $I$ such that we have

for all $x\in \left[ a, b\right].$ If we take $x = (1-t)a+tb,$ $t\in \left[ 0, 1 \right]$ in (1.5), then the condition (1.5) becomes

If the inequality (1.5) holds with "$\geq$", then the function will be called hyperbolic $\rho$-concave on $I.$

The following Hermite-Hadamard inequality for hyperbolic $\rho$-convex function is proved by Dragomir in ^[10].

Theorem 3. Suppose that $f:I\rightarrow \mathbb{R}$ is hyperbolic $\rho$-convex on $I$. Then for any $a, b\in I$, we have

Moreover in ^[12], Dragomir prove the following Hermite Hadamard-Fejer type inequalities for hyperbolic $\rho$-convex functions.

Theorem 4. Assume that the function $f:I\rightarrow \mathbb{R}$ is hyperbolic $\rho$-convex on $I$ and $a, b\in I.$ Assume also that $p:[a, b]\longrightarrow \mathbb{R}$ is a positive, symmetric and integrable function on $[a, b],$ then we have

For the other inequalities for hyperbolic $\rho$-convex functions, please refer to (^{[12,13,14,15]}).

Now we give the definition of co-ordinated hyperbolic $\rho$-convex functions.

Definition 4. ^[23] A function $f:\Delta \rightarrow \mathbb{R}$ is said to co-ordinated hyperbolic $\rho$-convex on $\Delta$, if the inequality

holds.

If the inequality (1.9) holds with "$\geq$", then the function will be called co-ordinated hyperbolic $\rho$-concave on $\Delta.$

If we take $x = (1-t)a+tb$ and $y = (1-s)c+sd$ for $t, s, \in \left[ 0, 1\right],$ then the inequality (1.9) can be written as

Now we give the following useful lemma:

Lemma 1. ^[23] If $f:\Delta = \left[ a, b\right] \times \left[ c, d \right] \rightarrow \mathbb{R}$ is co-ordinated $\rho$-convex function on $\Delta$, then we have the following inequality

for all $(x, y)\in \Delta.$

2.   Fejer type inequalities for co-ordinated hyperbolic $\rho$-convex functions

Theorem 5. Let $p:\Delta \rightarrow \mathbb{R}$ be a positive, integrable and symmetric about $\frac{a+b}{2}$ and $\frac{ c+d}{2}.$ Let, $f:\Delta \rightarrow \mathbb{R}$ be a co-ordinated hyperbolic $\rho$-convex functions on $\Delta$. We have the following Hermite-Hadamard-Fejer type inequalities:

Proof. Multiplying the inequality (1.1) by $p(x, y) > 0$ and then integrating with respect to $\left(x, y\right)$ on $\Delta,$ we obtain

Since $p$ is symmetric about $\frac{a+b}{2}$ and $\frac{c+d}{2},$ one can show that

This completes the proof.

Remark 1. If we choose $p(x, y) = 1$ in Theorem 5, then we have the following the inequality

which is proved by Özçelik et. al in ^[23].

Corollary 1. Suppose that all assumptions of Theorem 5 are satisfied. Then we have the following inequality,

Proof. Let us define the function $p(x, y)$ by

Clearly, $w(x.y)$ is a a positive, integrable and symmetric about $\frac{a+b }{2}$ and $\frac{c+d}{2}.$ If we apply Theorem 5 for the function $w(x, y)$ then we establish the desired inequality (2.3).

Remark 2. If we choose $w(x, y) = 1$ for all $\left(x, y\right) \epsilon \Delta$ in Corollary 1, then we have the following the inequality

which is proved by Özçelik et. al in ^[23].

Theorem 6. Let $p:\Delta \rightarrow \mathbb{R}$ be a positive, integrable and symmetric about $\frac{a+b}{2}$ and $\frac{ c+d}{2}.$ Let $f:\Delta \rightarrow \mathbb{R}$ be a co-ordinated hyperbolic $\rho$-convex on $\Delta$, then we have the following Hermite-Hadamard-Fejer type inequalities

Proof. Since $f$ is co-ordinated hyperbolic $\rho$-convex on $\Delta$, if we define the mappings $f_{x}:\left[ c, d\right] \rightarrow \mathbb{R},$ $f_{x}(y) = f(x, y)$ and $p_{x}:\left[ c, d\right] \rightarrow \mathbb{R},$ $p_{x}(y) = p(x, y),$ then $f_{x}(y)$ is hyperbolic $\rho$-convex on $\left[ c, d\right]$ and $p_{x}(y)$ is positive, integrable and symmetric about $\frac{c+d}{2}$ for all $x\in \left[ a, b\right].$ If we apply the inequality (1.8) for the hyperbolic $\rho$-convex function $f_{x}(y),$ then we have

That is,

Integrating the inequality (2.7) with respect to $x$ from $a$ to $b,$ we obtain

Similarly, as $f$ is co-ordinated hyperbolic $\rho$-convex on $\Delta$, if we define the mappings $f_{y}:\left[ a, b\right] \rightarrow \mathbb{R},$ $f_{y}(x) = f(x, y)$ and $p_{y}:\left[ a, b\right] \rightarrow \mathbb{R},$ $p_{y}(x) = p(x, y),$ then $f_{y}(x)$ is hyperbolic $\rho$-convex on $\left[ a, b\right]$ and $p_{y}(x)$ is positive, integrable and symmetric about $\frac{a+b}{2}$ for all $y\in \left[ c, d\right].$ Utilizing the inequality (1.8) for the hyperbolic $\rho$-convex function $f_{y}(x),$ then we obtain the inequality

i.e.

Integrating the inequality (2.10) with respect to $y$ on $\left[ c, d \right],$ we get

Summing the inequalities (2.8) and (2.11), we obtain the second and third inequalities in (2.5).

Since $f\left(\frac{a+b}{2}, y\right)$ is hyperbolic $\rho$-convex on $\left[ c, d\right]$ and $p_{x}(y)$ is positive, integrable and symmetric about $\frac{c+d}{2},$ using the first inequality in (1.8), we have

Multiplying the inequality (2.12) by $\cosh \left[ \rho _{1}\left(x- \frac{a+b}{2}\right) \right]$ and integrating resulting inequality with respect to $x$ on $\left[ a, b\right],$ we get

Since $f\left(x, \frac{c+d}{2}\right)$ is hyperbolic $\rho$-convex on $\left[ a, b\right]$ and $p_{y}(x)$ is positive, integrable and symmetric about $\frac{a+b}{2},$ utilizing the first inequality in (1.8), we have the following inequality

Multiplying the inequality (2.14) by $\cosh \left[ \rho _{2}\left(y- \frac{c+d}{2}\right) \right]$ and integrating resulting inequality with respect to $y$ on $\left[ c, d\right],$ we get

From the inequalities (2.13) and (2.15), we obtain the first inequality in (2.5).

For the proof of last inequality in (2.5), using the second inequality in (1.8) for the hyperbolic $\rho$-convex functions $f(x, c)$ and $f(x, d)$ on $\left[ a, b\right]$ and for the symmetric function $p_{y}(x)$, we obtain the inequalities

and

If we multiply the inequalities (2.16) and (2.17) by $\sec h \left[ \frac{\rho _{2}\left(d-c\right) }{2}\right] \cosh \left[ \rho _{2}\left(y-\frac{c+d}{2}\right) \right]$ and integrating the resulting inequalities on $\left[ c, d\right],$ then we have

and

Similarly, applying the second inequality in (1.8) for the hyperbolic $\rho$-convex functions $f(a, y)$ and $f(b, y)$ on $\left[ c, d\right]$ and for the symmetric function $p_{x}(y),$ we have

and

Multiplying the inequalities (2.20) and (2.21) by $\sec h\left[ \frac{\rho _{1}\left(b-a\right) }{2}\right] \cosh \left[ \rho _{1}\left(x- \frac{a+b}{2}\right) \right]$ and integrating the resulting inequalities on $\left[ a, b\right],$ then we have

and

Summing the inequalities (2.18), (2.19), (2.22) and (2.23), we establish the last inequality in (2.5). This completes the proof.

Remark 3. If we choose $p(x, y) = 1$ in Theorem 6, then we have

which is proved by Özçelik et. al in ^[23].

Remark 4. Choosing $\rho _{1} = \rho _{2} = 0$ in Theorem 6, we obtain

which is proved by Budak and Sarikaya in ^[5].

Corollary 2. Let $g_{1}:\left[ a, b\right] \rightarrow \mathbb{R}$ and $g_{1}:\left[ c, d\right] \rightarrow \mathbb{R}$ be two positive, integrable and symmetric about $\frac{a+b}{2}$ and $\frac{ c+d}{2},$ respectively. If we choose $p(x, y) = \frac{g_{1}(x)g_{2}(y)}{ G_{1}G_{2}}$ for all $\left(x, y\right) \in \Delta$ in Theorem 6, then we have

where

Remark 5. If we choose $\rho _{1} = \rho _{2} = 0$ in Corollary 2, then we have

which is proved by Farid et al. in ^[16].

3.   Fractional inequalities for co-ordinated hyperbolic $\rho$-convex functions

In this section we obtain some fractional Hermite-Hadamard an Fejer type inequalities for co-ordinated hyperbolic $\rho$-convex functions.

Theorem 7. If $f:\Delta \rightarrow \mathbb{R}$ is a co-ordinated hyperbolic $\rho$-convex functions on $\Delta$, then we have the following Hermite-Hadamard and Fejer type inequalities,

where

Proof. If we apply Theorem 5 for the symmetric function

then we get the following inequality

From the definition of the double fractional integrals we have

which completes the proof.

Remark 6. If we choose $\rho _{1} = \rho _{2} = 0$ in Theorem 7, then we have the following fractional Hermite-Hadamard inequality,

which was proved by Sarikaya in [29,Theorem 4].

Remark 7. If we choose $\alpha$ $= \beta = 1$ in Theorem 7, then we have

Thus, we get the following Hermite-Hadamard inequality,

which is proved by Özçelik et al. in ^[23].

Theorem 8. Let $p:\Delta \rightarrow \mathbb{R}$ be a positive, integrable and symmetric about $\frac{a+b}{2}$ and $\frac{ c+d}{2}.$ If $f:\Delta \rightarrow \mathbb{R}$ is a co-ordinated hyperbolic $\rho$-convex functions on $\Delta$, then we have the following Hermite-Hadamard-Fejer type inequalities,

where

Proof. Let us define the function $k(x, y)$ by

Clearly, $k(x.y)$ is a a positive, integrable and symmetric about $\frac{a+b }{2}$ and $\frac{c+d}{2}.$ If we apply Theorem 5 for the function $k(x, y)$ then we obtain,

From the definition of the double fractional integrals we have

This completes the proof.

Remark 8. If we choose $\rho _{1} = \rho _{2} = 0$ in Theorem 3, then we have the following fractional Hermite-Hadamard inequality,

which is proved by Yaldız et all in ^[34].

Remark 9. If we choose $\alpha$ $= \beta = 1$ in Theorem 3, then we have Theorem 1.3 reduces to Theorem 5.

Theorem 9. If $f:\Delta \rightarrow \mathbb{R}$ is a co-ordinated hyperbolic $\rho$-convex functions on $\Delta$. Then we have the following Hermite-Hadamard type inequalities for fractional integrals,

where

and

Proof. If we apply Theorem 6 for the symmetric function

then we get the following inequality

This completes the proof.

Remark 10. Under assumptions of Theorem 9 with $\alpha = \beta = 1,$ the inequalities (3.1) reduce to inequalities (2.5) proved by Özçelik et. al in ^[23].

Remark 11. Under assumptions of Theorem 9 with $\rho _{1} = \rho _{2} = 0,$ the inequalities (3.1) reduce to inequalities proved by Sarikaya in [29,Theorem 4]

4.   Conclusions

In this paper, we establish some Fejer type inequalities for co-ordinated hyperbolic $\rho$-convex functions. By using these inequalities we present some inequalities for Riemann-Liouville fractional integrals. In the future works, authors can prove similar inequalities for other fractional integrals.

Conflict of interest

All authors declare no conflicts of interest.