Trapezium-Type Inequalities for an Extension of Riemann–Liouville Fractional Integrals Using Raina’s Special Function and Generalized Coordinate Convex Functions

Abstract

In this paper, the authors analyse and study some recent publications about integral inequalities related to generalized convex functions of several variables and the use of extended fractional integrals. In particular, they establish a new Hermite–Hadamard inequality for generalized coordinate $\varphi$-convex functions via an extension of the Riemann–Liouville fractional integral. Furthermore, an interesting identity for functions with two variables is obtained, and with the use of it, some new extensions of trapezium-type inequalities using Raina’s special function via generalized coordinate $\varphi$-convex functions are developed. Various special cases have been studied. At the end, a brief conclusion is given as well.

1. Introduction

The application of the concept of convexity in modern analysis is a notorious fact [1,2,3]. Due to its importance and applications, this concept has been generalized in different ways. It is also important to mention that convex functions are closely related to certain inequalities present in different branches of science such as economics, biology, and optimization, among other [2,4,5]. Referring to the development of the concept of convexity, many authors have introduced new definitions and properties of these and have related them to the study of inequalities [6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25].

This property is defined in the following works of Jensen J.L.W.V. (1905 and 1906) [26,27] as follows.

Definition 1.

A function $f:I\subseteq \mathbb{R}⟶\mathbb{R}$ is said to be convex on $I,$ if:

$$f((1-ı){\ell }_1+ı{\ell }_2)\le (1-ı)f\left({\ell }_1\right)+ıf\left({\ell }_2\right)$$

holds for every ${\ell }_1,{\ell }_2\in I$, and $ı\in [0,1].$

This property is a necessary condition for the classical Hermite–Hadamard inequality, which is established as follows.

Theorem 1.

Let $f:I\subseteq \mathbb{R}⟶\mathbb{R}$ be a convex function on I and ${\ell }_1,{\ell }_2\in I$ with ${\ell }_1<{\ell }_2.$ Then, the following inequality holds:

$$f\left(\frac{{\ell }_1+{\ell }_2}{2}\right)\le \frac{1}{{\ell }_2-{\ell }_1}{\int }_{{\ell }_1}^{{\ell }_2}f\left(x\right)dx\le \frac{f\left({\ell }_1\right)+f\left({\ell }_2\right)}{2}.$$

(1)

This inequality (6) is also known as the trapezium inequality.

Furthermore, several papers have also been published that relate integral inequalities to fractional calculus and special functions [14,28]. In [29], Sambandham, S. wrote: “the advantage of using fractional derivative versus the integer derivative is that the integer derivative is local in nature, where as the fractional derivative is global in nature”; this notion invites us to think about the behaviour of generalized convex functions in the setting of integral inequalities of fractional order.

Given the introduction of an extension of the Riemann–Liouville fractional integral made by Awan [30] and the relevance of the Hermite–Hadamard inequality in the field of statistics and probability theory, which in turn involves all the research in applied science, the purpose of the present work is to establish some integral inequalities of the trapezium type using this type of double integral for generalized convex functions in coordinates.

2. Preliminaries

Following the notation used by Dragomir S.S. in [8], we recall the following definition. Let us consider the rectangle $\Delta =[{\ell }_1,{\ell }_2]\times [{\ell }_3,{\ell }_4]\subset {\mathbb{R}}^2$ with ${\ell }_1<{\ell }_2$ and ${\ell }_3<{\ell }_4$. A function $f:\Delta ⟶\mathbb{R}$ is said to be convex on $\Delta$ if the following inequality holds:

$$f(ıx+(1-ı)z,ıy+(1-ı\left)w\right)\le ıf(x,y)+(1-ı)f(z,w),$$

for all $(x,y),(z,w)\in \Delta$ and $ı\in [0,1]$. A function $f:\Delta ⟶\mathbb{R}$ is said to be convex on coordinates $\Delta$ if the partial functions $f_y:[{\ell }_1,{\ell }_2]⟶\mathbb{R}$, $f_y\left(u\right)=f(u,y)$, and $f_x:[{\ell }_3,{\ell }_4]⟶\mathbb{R},f_x\left(v\right)=f(x,v)$ are convex for all $x\in [{\ell }_1,{\ell }_2]$ and $y\in [{\ell }_3,{\ell }_4].$

In the work of Awan et al. [30], the following definition used in the study of a two-dimensional extension of the Hermite–Hadamard inequality was found.

Definition 2.

Consider the rectangle $\Delta =[{\ell }_1,{\ell }_2]\times [{\ell }_3,{\ell }_4]\subset {\mathbb{R}}^2$. A function $f:\Delta ⟶\mathbb{R}$ is said to be coordinated convex on Δ, if:

$$\begin{array}{ccc}f({ı}_{\mathbf{1}}x+(1-{ı}_{\mathbf{1}})y,{ı}_{\mathbf{2}}u+(1-{ı}_{\mathbf{2}})w)\hfill & & \\ & \le {ı}_{\mathbf{1}}{ı}_{\mathbf{2}}f(x,u)+{ı}_{\mathbf{1}}(1-{ı}_{\mathbf{2}})f(x,w)& \\ & \hfill +{ı}_{\mathbf{2}}(1-{ı}_{\mathbf{1}})& f(y,u)+(1-{ı}_{\mathbf{1}})(1-{ı}_{\mathbf{2}})f(z,w),\hfill \end{array}$$

whenever $x,y\in [{\ell }_1,{\ell }_2],u,w\in [{\ell }_3,{\ell }_4]$ and ${ı}_{\mathbf{1}},{ı}_{\mathbf{2}}\in [0,1]$.

Dragomir in [8] extended the concept of classical convex functions on coordinates, and the Hermite–Hadamard type inequality using convex functions on coordinates was established; furthermore, M.Z. Sarikaya in [31], using the Riemann–Liouville fractional integral, extended the Hermite–Hadamard inequality for convex functions on coordinates. For other recent results, please see [32,33,34,35,36].

Noor M.A. in [16] introduced the concept of $\varphi$-convex function with the assumption that K is a non-empty closed set in ${\mathbb{R}}^n$ and $\varphi :K\to \mathbb{R}$ a continuous function.

Definition 3.

Let $u\in K$. If there exists a function ϕ such that the set K is said to be a ϕ-convex set:

$${\ell }_1+ıe^{i\varphi }({\ell }_2-{\ell }_1)\in K$$

for all ${\ell }_1,{\ell }_{2}inK$ and $t\in [0,1]$, then the set K is usually called a ϕ-convex set.

Definition 4.

Given a function $f:K\to \mathbb{R}$, where K is ϕ-convex set, if:

$$f({\ell }_1+ıe^{i\varphi }({\ell }_2-{\ell }_1))\le (1-ı)f\left({\ell }_1\right)+ıf\left({\ell }_2\right),\forall {\ell }_1,{\ell }_2\in K,ı\in [0,1].$$

then the function is called ϕ-convex.

The function f is said to be $\varphi$-concave iff $(-f)$ is $\varphi$-convex. Note that every convex function is $\varphi$-convex, but the converse does not hold in general.

The following class of functions, introduced by Raina R.K. in [37], is defined by:

$${\mathcal{F}}_{\rho ,\lambda }^{\sigma }\left(z\right)={\mathcal{F}}_{\rho ,\lambda }^{\sigma \left(0\right),\sigma \left(1\right),\dots }\left(z\right)=\sum _{k=0}^{+\infty }\frac{\sigma \left(k\right)}{\Gamma (\rho k+\lambda )}{z}^k,$$

(2)

where $\rho ,\lambda >0,\left|z\right|<R$, and:

$$\sigma =\left(\sigma \right(0),\dots ,\sigma (k),\dots )$$

is a bounded sequence of positive real numbers.

If we take in (2) $\rho =1,\lambda =0$, and:

$$\sigma \left(k\right)=\frac{\left({\left(\alpha \right)}_k{\left(\beta \right)}_k\right)}{{\left(\gamma \right)}_k}fork=0,1,2,\dots ,$$

for any parameters $\alpha ,\beta$, and $\gamma$ which may be in $\mathbb{R}$ or $\mathbb{C}$ (provided that $\gamma \ne 0,-1,-2,\dots ),$ and the symbol ${\left(a\right)}_k$ denotes the quantity:

$${\left(a\right)}_k=\frac{\Gamma (a+k)}{\Gamma \left(a\right)}=a(a+1)\dots (a+k-1),k=0,1,2,\dots ,$$

and restricts its domain to $\left|z\right|\le 1$ (with $z\in \mathbb{C}$), then we have the classical hypergeometric function:

$${\mathcal{F}}_{\rho ,\lambda }^{\sigma }\left(z\right)=F(\alpha ,\beta ;\gamma ;z)=\sum _{k=0}^{+\infty }\frac{{\left(\alpha \right)}_k{\left(\beta \right)}_k}{k!{\left(\gamma \right)}_k}{z}^k.$$

Furthermore, The classical Mittag–Leffler function defined by:

$$E_{\alpha }\left(z\right)=\sum _{k=0}^{+\infty }\frac{1}{\Gamma (1+\alpha k)}{z}^k.$$

is obtained by the replacement of $\sigma =(1,1,\dots )$ with $\rho =\alpha ,\left(Re\right(\alpha )>0),\lambda =1$ and restricting its domain to $z\in \mathbb{C}$ in (2).

Recently, Vivas-Cortez et al. in [38] introduced a class of sets and functions using Raina’s function (2).

Definition 5.

Let $\rho ,\lambda >0$, and $\sigma =\left(\sigma \right(0),\dots ,\sigma (k),\dots )$ is a bounded sequence of positive real numbers. A non-empty set K is said to be a generalized ϕ-convex set, if:

$${\ell }_1+ı{\mathcal{F}}_{\rho ,\lambda }^{\sigma }({\ell }_2-{\ell }_1)\in K,\forall {\ell }_1,{\ell }_2\in Kandı\in [0,1],$$

(3)

and if a function $f:K\to \mathbb{R}$ satisfies the following inequality:

$$f\left({\ell }_1+ı{\mathcal{F}}_{\rho ,\lambda }^{\sigma }({\ell }_2-{\ell }_1)\right)\le (1-ı)f\left({\ell }_1\right)+ıf\left({\ell }_2\right),$$

(4)

for all $ı\in [0,1]$ and ${\ell }_1,{\ell }_2\in K,$ then f is called generalized ϕ-convex, where ${\mathcal{F}}_{\rho ,\lambda }^{\sigma }(·)$ is Raina’s function.

Remark 1.

Taking $\rho =1,\lambda =0$ and $\sigma =(0,1,0,0,\cdots )$ in (2), then ${\mathcal{F}}_{\rho ,\lambda }^{\sigma }({\ell }_2-{\ell }_1)={\ell }_2-{\ell }_1>0$, and so, we obtain Definition 1.

Using the same idea from Vivas-Cortez et al. in [38], we are in the position to introduce the generalized coordinate $\varphi$-convex set and also the generalized coordinate $\varphi$-convex function as follows.

Definition 6.

Let ${\rho }_1,{\rho }_2,{\lambda }_1,{\lambda }_2>0$, and ${\sigma }_1=({\sigma }_1\left(0\right),\dots ,{\sigma }_1\left(k\right),\dots )$, ${\sigma }_2=({\sigma }_2\left(0\right),\dots ,{\sigma }_2\left(k\right),\dots )$ be bounded sequences of positive real numbers. A non-empty set $K\times K\subset {\mathbb{R}}^2$ is said to be a generalized coordinate ϕ-convex set, if:

$$\left({\ell }_1+ı{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+j{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)\in K\times K,$$

(5)

for all ${\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4\in Kandı,j\in [0,1]$, where ${\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}(·)$ and ${\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}(·)$ are Raina’s functions.

Definition 7.

Consider the rectangle $\Delta =[{\ell }_1,{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)]\times [{\ell }_3,{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)]\subset {\mathbb{R}}^2.$ A function $f:\Delta ⟶\mathbb{R}$ is said to be generalized coordinate ϕ-convex on Δ, if:

$$\begin{array}{cc}f(x+{ı}_{\mathbf{1}}{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}(x-y),u+\hfill & {ı}_{\mathbf{2}}{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}(u-w))\hfill \\ & \le (1-{ı}_{\mathbf{1}})(1-{ı}_{\mathbf{2}})f(x,u)+(1-{ı}_{\mathbf{1}})& {ı}_{\mathbf{2}}f(x,w)\hfill & \\ & & \hfill +{ı}_{\mathbf{1}}(1-{ı}_{\mathbf{2}})f(y,u)+{ı}_{\mathbf{1}}{ı}_{\mathbf{2}}f(y,w),\end{array}$$

whenever $(x,u),(x,w),(y,u),(y,w)\in \Delta$ and ${ı}_{\mathbf{1}},{ı}_{\mathbf{2}}\in [0,1]$.

Remark 2.

Taking ${\rho }_1={\rho }_2=1$, ${\lambda }_1={\lambda }_2=0$, and ${\sigma }_1=(0,1,0,0,\cdots )$, ${\sigma }_2=(0,1,0,0,\cdots )$, then ${\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}(x-y)=x-y$ and ${\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}(u-w)=u-w$ in Definition 7, then we obtain Definition 2.

Awan M.U. et al. in [30] defined some new extensions for fractional integrals.

Definition 8.

Let $f\in L_1([{\ell }_1,{\ell }_2]\times [{\ell }_3,{\ell }_4])$. The Riemann–Liouville integrals ${\mathcal{J}}_{{\ell }_1^{+},{\ell }_3^{+}}^{\alpha ,\beta }$, ${\mathcal{J}}_{{\ell }_1^{+},{\ell }_4^{-}}^{\alpha ,\beta }$, ${\mathcal{J}}_{{\ell }_2^{-},{\ell }_3^{+}}^{\alpha ,\beta }$, and ${\mathcal{J}}_{{\ell }_2^{-},{\ell }_4^{-}}^{\alpha ,\beta }$ of order $\alpha ,\beta >0,$ where ${\ell }_1,{\ell }_3\ge 0$ and ${\ell }_1<{\ell }_2,{\ell }_3<{\ell }_4$ are defined by:

$$\begin{array}{ccc}\hfill {\mathcal{J}}_{{\ell }_1^{+},{\ell }_3^{+}}^{\alpha ,\beta }f(x,y)& =& \frac{1}{\Gamma \left(\alpha \right)\Gamma \left(\beta \right)}{\int }_{{\ell }_1}^x{\int }_{{\ell }_3}^y{(x-t)}^{\alpha -1}{(y-s)}^{\beta -1}f(t,s)dsdt,\hfill \\ \hfill & & \mathit{for}x>{\ell }_1,y>{\ell }_3\hfill \end{array}$$

$$\begin{array}{ccc}\hfill {\mathcal{J}}_{{\ell }_1^{+},{\ell }_4^{-}}^{\alpha ,\beta }f(x,y)& =& \frac{1}{\Gamma \left(\alpha \right)\Gamma \left(\beta \right)}{\int }_{{\ell }_1}^x{\int }_y^{{\ell }_4}{(x-t)}^{\alpha -1}{(s-y)}^{\beta -1}f(t,s)dsdt,\hfill \\ \hfill & & \mathit{for}x>{\ell }_1,y<{\ell }_4\hfill \end{array}$$

$$\begin{array}{ccc}\hfill {\mathcal{J}}_{{\ell }_2^{-},{\ell }_3^{+}}^{\alpha ,\beta }f(x,y)& =& \frac{1}{\Gamma \left(\alpha \right)\Gamma \left(\beta \right)}{\int }_x^{{\ell }_2}{\int }_{{\ell }_3}^y{(t-x)}^{\alpha -1}{(y-s)}^{\beta -1}f(t,s)dsdt,\hfill \\ \hfill & & \mathit{for}x<{\ell }_2,y>{\ell }_3\hfill \end{array}$$

$$\begin{array}{ccc}\hfill {\mathcal{J}}_{{\ell }_2^{-},{\ell }_4^{-}}^{\alpha ,\beta }f(x,y)& =& \frac{1}{\Gamma \left(\alpha \right)\Gamma \left(\beta \right)}{\int }_x^{{\ell }_2}{\int }_y^{{\ell }_4}{(t-x)}^{\alpha -1}{(s-y)}^{\beta -1}f(t,s)dsdt,\hfill \\ \hfill & & \mathit{for}x<{\ell }_2,y<{\ell }_4\hfill \end{array}$$

and

$${\mathcal{J}}_{{\ell }_1^{+},{\ell }_3^{+}}^{1,1}f(x,y)={\int }_{{\ell }_1}^x{\int }_{{\ell }_3}^{y}f(t,s)dsdt,\mathit{for}x>{\ell }_1,y>{\ell }_3.$$

From the above definition and fixing the mean value between the extremes of the intervals, we have:

$$\begin{array}{ccc}\hfill {\mathcal{J}}_{{\ell }_1^{+}}^{\alpha }f\left(x,\frac{{\ell }_3+{\ell }_4}{2}\right)& =& \frac{1}{\Gamma \left(\alpha \right)}{\int }_{{\ell }_1}^x{(x-t)}^{\alpha -1}f\left(t,\frac{{\ell }_3+{\ell }_4}{2}\right)dt,x>{\ell }_1,\hfill \\ \hfill {\mathcal{J}}_{{\ell }_2^{-}}^{\alpha }f\left(x,\frac{{\ell }_3+{\ell }_4}{2}\right)& =& \frac{1}{\Gamma \left(\alpha \right)}{\int }_x^{{\ell }_2}{(t-x)}^{\alpha -1}f\left(t,\frac{{\ell }_3+{\ell }_4}{2}\right)dt,x<{\ell }_2,\hfill \\ \hfill {\mathcal{J}}_{{\ell }_3^{+}}^{\beta }f\left(\frac{{\ell }_1+{\ell }_2}{2},y\right)& =& \frac{1}{\Gamma \left(\beta \right)}{\int }_{{\ell }_3}^y{(y-s)}^{\beta -1}f\left(\frac{{\ell }_1+{\ell }_2}{2},s\right)ds,y>{\ell }_3,\hfill \\ \hfill {\mathcal{J}}_{{\ell }_4^{-}}^{\beta }f\left(\frac{{\ell }_1+{\ell }_2}{2},y\right)& =& \frac{1}{\Gamma \left(\beta \right)}{\int }_y^{{\ell }_4}{(s-y)}^{\beta -1}f\left(\frac{{\ell }_1+{\ell }_2}{2},s\right)ds,y<{\ell }_4.\hfill \end{array}$$

Motivated by the aforementioned literature, the paper is organized as follows: In Section 3, a new Hermite–Hadamard inequality for generalized functions in Definition 7 via the Riemann–Liouville fractional integral will be established. Furthermore, an interesting identity for functions with two variables will be given. By using the established identity, some new extensions of trapezium-type inequalities for Raina’s fractional integral operators via generalized coordinate $\varphi$-convex functions and some special cases will be obtained. In Section 4, a brief conclusion will be provided as well.

3. Main Results

Our first result is the Hermite–Hadamard inequality for generalized coordinate $\varphi$-convex functions via the Riemann–Liouville fractional integral.

Theorem 2.

Let $f:\Delta \subset {\mathbb{R}}^2⟶\mathbb{R}$ be a generalized coordinate ϕ-convex function on $\Delta \subset {\mathbb{R}}^2$ with ${\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)>0$ and ${\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)>0$ and $f\in L_1(\Delta )$. Then, the following inequalities holds:

$$\begin{array}{cc}f\left(\frac{2{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)}{2},\frac{2{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{2}\right)\hfill & \\ & \hfill \le \frac{\Gamma (\alpha +1)\Gamma (\beta +1)}{4{\left({\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right)}^{\alpha }{\left({\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)}^{\beta }}\times \end{array}$$

$$\begin{array}{cc}[J_{{[{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)]}^{-},{[{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)]}^{-}}^{\alpha ,\beta }\hfill & f({\ell }_1,{\ell }_3)\hfill \\ & +J_{{[{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)]}^{-},{\ell }_3^{+}}^{\alpha ,\beta }\hfill & f({\ell }_1,{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))\hfill \\ & +J_{{\ell }_1^{+},{[{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)]}^{-}}^{\alpha ,\beta }\hfill & f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3)\hfill & \\ & & \hfill +J_{{\ell }_1^{+},{\ell }_3^{+}}^{\alpha ,\beta }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))]\end{array}$$

$$\le \frac{f({\ell }_1,{\ell }_3)+f({\ell }_1,{\ell }_4)+f({\ell }_2,{\ell }_3)+f({\ell }_2,{\ell }_4)}{4}.$$

(6)

Proof. 

Since f is a generalized coordinate $\varphi$-convex function and using the change of variables $x={\ell }_1+t_1{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),y={\ell }_1+(1-t_1){\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),u={\ell }_3+r_1{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3),w={\ell }_3+(1-r_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)$, and $t=r=\frac{1}{2},$ we have:

$$f\left(\frac{2{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)}{2},\frac{2{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{2}\right)$$

$$\le \frac{1}{4}[f({\ell }_1+t_1{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r_1{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))$$

(7)

$$+f({\ell }_1+t_1{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+(1-r_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))$$

$$+f({\ell }_1+(1-t_1){\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r_1{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))$$

$$+f({\ell }_1+(1-t_1){\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+(1-r_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))].$$

Multiplying both sides of Inequality (7) by $t_1^{\alpha }{r}_1^{\beta }$ and integrating with respect to $(t_1,r_1)$ on $[0,1]\times [0,1],$ we get:

$$\frac{1}{\alpha \beta }f\left(\frac{2{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)}{2},\frac{2{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{2}\right)$$

$$\le {\int }_0^1{\int }_0^1{t}_1^{\alpha -1}{r}_1^{\beta -1}[f({\ell }_1+t_1{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r_1{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))$$

$$+f({\ell }_1+t_1{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+(1-r_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))$$

$$+f({\ell }_1+(1-t_1){\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r_1{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))$$

$$+f({\ell }_1+(1-t_1){\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+(1-r_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))]d{r}_{1}d{t}_1.$$

Therefore,

$$\frac{4}{\alpha \beta }f\left(\frac{2{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)}{2},\frac{2{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{2}\right)$$

$$\le \frac{1}{{\left({\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right)}^{\alpha }{\left({\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)}^{\beta }}$$

(8)

$$\times [{\int }_{{\ell }_1}^{{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)}{\int }_{{\ell }_3}^{{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{(x-{\ell }_1)}^{\alpha -1}{(y-{\ell }_3)}^{\beta -1}f(x,y)dydx$$

$$\begin{array}{ccc}& & +{\int }_{{\ell }_1}^{{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)}{\int }_{{\ell }_3}^{{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{(x-{\ell }_1)}^{\alpha -1}\times \hfill \\ & & {({\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)-y)}^{\beta -1}f(x,y)dydx\hfill \end{array}$$

$$\begin{array}{ccc}& & +{\int }_{{\ell }_1}^{{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)}{\int }_{{\ell }_3}^{{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)-x)}^{\alpha -1}\times \hfill \\ & & {(y-{\ell }_3)}^{\beta -1}f(x,y)dydx\hfill \end{array}$$

$$+{\int }_{{\ell }_1}^{{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)}{\int }_{{\ell }_3}^{{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)-x)}^{\alpha -1}$$

$$\times {({\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)-y)}^{\beta -1}f(x,y)dydx].$$

Multiplying and dividing by $\Gamma \left(\alpha \right)\Gamma \left(\beta \right)$ on the right side of Inequality (8), we get the required left-hand side of the Inequality (6). Furthermore, for $x={\ell }_1,y={\ell }_2,u={\ell }_3$ and $w={\ell }_4$ and using the definition of generalized coordinate $\varphi$-convex function, we have:

$$\begin{array}{ccc}f({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3\hfill & +r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))\hfill & \\ & \le (1-t)(1-r)f({\ell }_1,{\ell }_3)+(1-t)rf& ({\ell }_1,{\ell }_4)+\hfill \\ & & \hfill t(1-r)f({\ell }_2,{\ell }_3)+trf({\ell }_2,{\ell }_4),\end{array}$$

(9)

$$\begin{array}{ccc}f({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),\hfill & (1-r){\ell }_3+r{\ell }_4)\hfill & \\ & \hfill \le (1-t)rf({\ell }_1,{\ell }_3)+(1-t)(1-r)f& ({\ell }_1,{\ell }_4)+\hfill \\ & & \hfill trf({\ell }_2,{\ell }_3)+t(1-r)f({\ell }_2,{\ell }_4),\end{array}$$

(10)

$$\begin{array}{ccc}f((1-t){\ell }_1+t{\ell }_2,{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}\hfill & ({\ell }_4-{\ell }_3))\hfill & \\ & \hfill \le t(1-r)f({\ell }_1,{\ell }_3)& +trf({\ell }_1,{\ell }_4)+\hfill \\ & & \hfill (1-t)(1-r)f({\ell }_2,{\ell }_3)+(1-t)rf({\ell }_2,{\ell }_4),\end{array}$$

(11)

$$\begin{array}{ccc}f((1-t){\ell }_1+t{\ell }_2,(1-r){\ell }_3+r{\ell }_4)\hfill & & \\ & \hfill \le trf({\ell }_1,{\ell }_3)+t(1-& r)f({\ell }_1,{\ell }_4)+\hfill \\ & & \hfill (1-t)rf({\ell }_2,{\ell }_3)+(1-t)(1-r)f({\ell }_2,{\ell }_4).\end{array}$$

(12)

Adding Inequalities (9)–(12), we obtain:

$$f({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))+f({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),(1-r){\ell }_3+r{\ell }_4)$$

$$+f((1-t){\ell }_1+t{\ell }_2,{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))+f((1-t){\ell }_1+t{\ell }_2,(1-r){\ell }_3+r{\ell }_4)$$

$$\le f({\ell }_1,{\ell }_3)+f({\ell }_1,{\ell }_4)+f({\ell }_2,{\ell }_3)+f({\ell }_2,{\ell }_4).$$

(13)

Multiplying both sides of Inequality (13) by $t^{\alpha -1}{r}^{\beta -1}$ and integrating on $[0,1]\times [0,1]$ with respect to $(t,r)$, we get:

$$\begin{array}{ccc}\hfill {\int }_0^1{\int }_0^1{t}^{\alpha -1}{r}^{\beta -1}\left[f\right({\ell }_1+t& {\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))\hfill & \\ & \hfill +f({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),& (1-r){\ell }_3+r{\ell }_4)\hfill \\ & \hfill +f((1-t){\ell }_1+t{\ell }_2,{\ell }_3+r& {\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))\hfill \\ & & \hfill +f((1-t){\ell }_1+t{\ell }_2,(1-r){\ell }_3+r{\ell }_4)]drdt\end{array}$$

$$\le {\int }_0^1{\int }_0^1{t}^{\alpha -1}{r}^{\beta -1}\left(f({\ell }_1,{\ell }_3)+f({\ell }_1,{\ell }_4)+f({\ell }_2,{\ell }_3)+f({\ell }_2,{\ell }_4)\right)drdt.$$

This implies that:

$$\begin{array}{c}\frac{\Gamma (\alpha +1)\Gamma (\beta +1)}{4{\left({\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right)}^{\alpha }{\left({\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)}^{\beta }}\times \hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em} \hspace{1em}[J_{{\left[{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right]}^{-},{\left[{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right]}^{-}}^{\alpha ,\beta }f({\ell }_1,{\ell }_3)\hfill \\ \hspace{1em} \hspace{1em}+J_{{\left[{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right]}^{-},{\ell }_3^{+}}^{\alpha ,\beta }f({\ell }_1,{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))\\ \hspace{1em} \hspace{1em}+J_{{\ell }_1^{+},{\left[{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right]}^{-}}^{\alpha ,\beta }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3)\\ \hspace{1em}\hspace{1em}\hspace{1em}+J_{{\ell }_1^{+},{\ell }_3^{+}}^{\alpha ,\beta }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))]\\ \hfill \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\le \frac{f({\ell }_1,{\ell }_3)+f({\ell }_1,{\ell }_4)+f({\ell }_2,{\ell }_3)+f({\ell }_2,{\ell }_4)}{4}.\end{array}$$

(14)

Combining (8) and (14), we obtain the required right-hand side of the Inequality (6).

The proof is complete. □

To derive our second results, we establish a new integral identity for the partial differentiable function involving Raina’s functions.

Lemma 1.

Let $f:\Delta \subset {\mathbb{R}}^2\to \mathbb{R}$ be a partial differentiable function on Δ with ${\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)>0$ and ${\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)>0$. If $\frac{{\partial }^{2}f}{\partial t\partial r}\in L_1\left(▵\right)$, then the following identity holds:

$$E_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4;{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1},{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}\right)=\frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{4}$$

(15)

$$\times \{{\int }_0^1{\int }_0^1{t}^{\alpha }{r}^{\beta }\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)drdt$$

$$-{\int }_0^1{\int }_0^1{(1-t)}^{\alpha }{r}^{\beta }\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)drdt$$

$$-{\int }_0^1{\int }_0^1{t}^{\alpha }{(1-r)}^{\beta }\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)drdt$$

$$+{\int }_0^1{\int }_0^1{(1-t)}^{\alpha }{(1-r)}^{\beta }\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)drdt\},$$

where:

$$\begin{array}{c}{E}_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4;{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1},{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}\right)\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em} =\frac{f\left({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)}{4}+\frac{f\left({\ell }_1,{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)}{4}\\ \hfill \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}+\frac{f\left({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3\right)}{4}+\frac{f({\ell }_1,{\ell }_3)}{4}\end{array}$$

$$\begin{array}{c}-\frac{\Gamma (\beta +1)}{4{\left({\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)}^{\beta }}\times \hfill \\ \hfill \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\times [J_{{\left[{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right]}^{-}}^{\beta }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3)+J_{{\left[{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right]}^{-}}^{\beta }f({\ell }_1,{\ell }_3)\end{array}$$

$$\hspace{1em}+J_{{\ell }_3^{+}}^{\beta }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))+J_{{\ell }_3^{+}}^{\beta }f({\ell }_1,{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))]$$

$$\begin{array}{c}-\frac{\Gamma (\alpha +1)}{4{\left({\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right)}^{\alpha }}\times \hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}[J_{{\left[{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right]}^{-}}^{\alpha }f({\ell }_1,{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))+J_{{\left[{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right]}^{-}}^{\alpha }f({\ell }_1,{\ell }_3)\\ \hfill \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}+J_{{\ell }_1^{+}}^{\alpha }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))+J_{{\ell }_1^{+}}^{\alpha }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3)]\end{array}$$

$$\begin{array}{c}+\frac{\Gamma (\alpha +1)\Gamma (\beta +1)}{4{\left({\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right)}^{\alpha -1}{\left({\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)}^{\beta -1}}\times \hfill \\ \hspace{1em}[J_{{\left[{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right]}^{-},{[{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)]}^{-}}^{\alpha ,\beta }f({\ell }_1,{\ell }_3)\\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}+J_{{\ell }_1^{+},{\left[{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right]}^{-}}^{\alpha ,\beta }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3)\\ \hspace{1em} \hspace{1em}\hspace{1em}+J_{{\left[{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right]}^{-},{\ell }_3^{+}}^{\alpha ,\beta }f({\ell }_1,{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))+\\ \hfill \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}{J}_{{\ell }_1^{+},{\ell }_3^{+}}^{\alpha ,\beta }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))].\end{array}$$

Proof. 

Let:

$$I_1={\int }_0^1{\int }_0^1{t}^{\alpha }{r}^{\beta }\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))drdt$$

$$={\int }_0^1{r}^{\beta }[\frac{t^{\alpha }}{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)}\frac{\partial f}{\partial r}({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)){|}_0^1$$

$$-\frac{\alpha }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)}{\int }_0^1\frac{\partial f}{\partial r}({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))t^{\alpha -1}]dr$$

$$=\frac{1}{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))$$

$$-\frac{\beta }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}\times$$

$${\int }_0^1{r}^{\beta -1}f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))dr$$

$$-\frac{\alpha }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}\times$$

$${\int }_0^1{t}^{\alpha -1}f({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))dt$$

$$+\frac{\alpha \beta }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}\times$$

$${\int }_0^1{\int }_0^1{t}^{\alpha -1}{r}^{\beta -1}f({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))drdt.$$

Similarly, we have:

$$I_2={\int }_0^1{\int }_0^1{(1-t)}^{\alpha }{r}^{\beta }\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))drdt$$

$$=-\frac{1}{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}f({\ell }_1,{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))$$

$$+\frac{\beta }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{\int }_0^1{r}^{\beta -1}f({\ell }_1,{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))dr$$

$$+\frac{\alpha }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}\times$$

$${\int }_0^1{(1-t)}^{\alpha -1}f({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))dt$$

$$-\frac{\alpha \beta }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}\times$$

$${\int }_0^1{\int }_0^1{(1-t)}^{\alpha -1}{r}^{\beta -1}f({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))drdt,$$

$$I_3={\int }_0^1{\int }_0^1{t}^{\alpha }{(1-r)}^{\beta }\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))drdt$$

$$=-\frac{1}{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3)$$

$$+\frac{\beta }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}\times$$

$${\int }_0^1{(1-r)}^{\beta -1}f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))dr$$

$$+\frac{\alpha }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{\int }_0^1{t}^{\alpha -1}f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3)dt$$

$$-\frac{\alpha \beta }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}\times$$

$${\int }_0^1{\int }_0^1{t}^{\alpha -1}{(1-r)}^{\beta -1}f({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))drdt$$

and:

$$I_4={\int }_0^1{\int }_0^1{(1-t)}^{\alpha }{(1-r)}^{\beta }\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))drdt$$

$$=\frac{\alpha }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}f({\ell }_1,{\ell }_3)$$

$$-\frac{\alpha }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{\int }_0^1{(1-t)}^{\alpha -1}f({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3)dt$$

$$-\frac{\beta }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{\int }_0^1{(1-r)}^{\beta -1}f({\ell }_1,{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))dr$$

$$+\frac{\alpha \beta }{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}\times$$

$${\int }_0^1{\int }_0^1{(1-t)}^{\alpha -1}{(1-r)}^{\beta -1}f({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))drdt.$$

By using the change of variables, we have:

$$I_1-I_2-I_3+I_4$$

$$=\frac{f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))+f({\ell }_1,{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))}{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}$$

(16)

$$+\frac{f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+f({\ell }_1+,{\ell }_3))}{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}$$

$$-\frac{\Gamma (\beta +1)}{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\left({\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)}^{\beta +1}}\times$$

$$[J_{{[{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)]}^{-}}^{\beta }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3)+J_{{[{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)]}^{-}}^{\beta }f({\ell }_1,{\ell }_3)$$

$$+J_{{\ell }_3^{+}}^{\beta }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))+J_{{\ell }_3^{+}}^{\beta }f({\ell }_1,{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))]$$

$$-\frac{\Gamma (\alpha +1)}{{\left({\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right)}^{\alpha +1}{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}\times$$

$$[J_{{\left[{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right]}^{-}}^{\alpha }f({\ell }_1,{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))$$

$$+J_{{\ell }_1^{+}}^{\alpha }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))$$

$$+J_{{\left[{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right]}^{-}}^{\alpha }f({\ell }_1,{\ell }_3)+J_{{\ell }_1^{+}}^{\alpha }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3)]$$

$$+\frac{\Gamma (\alpha +1)\Gamma (\beta +1)}{{\left({\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right)}^{\alpha }{\left({\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)}^{\beta }}\times$$

$$[J_{{\left[{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right]}^{-},{\left[{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right]}^{-}}^{\alpha ,\beta }f({\ell }_1,{\ell }_3)$$

$$+J_{{\ell }_1^{+},{\left[{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right]}^{-}}^{\alpha ,\beta }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1,{\ell }_3))$$

$$+J_{{\left[{\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)\right]}^{-},{\ell }_3^{+}}^{\alpha ,\beta }f({\ell }_1,{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))$$

$$+J_{{\ell }_1^{+},{\ell }_3^{+}}^{\alpha ,\beta }f({\ell }_1+{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3))].$$

Multiplying Equality (16) by $\frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{4},$ we get the desired equality (15).

The proof is complete. □

Using Lemma 1, we can derive the following theorems for generalized coordinate $\varphi$-convex functions.

Theorem 3.

Let $f:\Delta \subset {\mathbb{R}}^2⟶\mathbb{R}$ be a partial differentiable function on Δ with ${\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)>0$ and ${\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)>0$ and $\frac{{\partial }^{2}f}{\partial t\partial r}\in L_1(\Delta ).$ If $|\frac{{\partial }^{2}f}{\partial t\partial r}{|}^q$ is a generalized coordinated ϕ-convex function where $q>1$ and $\frac{1}{p}+\frac{1}{q}=1,$ then the following inequality holds:

$$\left|E_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4;{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1},{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}\right)\right|\le \frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{\sqrt[p]{(p\alpha +1)(p\beta +1)}}\times$$

(17)

$$\sqrt[q]{\frac{|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_3){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_3){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_4){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_4){|}^q}{4}}.$$

Proof. 

Using Lemma 1, the fact that $|\frac{{\partial }^{2}f}{\partial t\partial r}{|}^q$ is a generalized coordinated $\varphi$-convex function, and Hölder’s inequality, we have:

$$\left|E_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4;{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1},{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}\right)\right|\le \frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{4}$$

$$\times \left\{{\int }_0^1{\int }_0^1{t}^{\alpha }{r}^{\beta }\right|\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)|drdt$$

$$+{\int }_0^1{\int }_0^1{(1-t)}^{\alpha }{r}^{\beta }\left|\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)\right|drdt$$

$$+{\int }_0^1{\int }_0^1{t}^{\alpha }{(1-r)}^{\beta }\left|\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)\right|drdt$$

$$+{\int }_0^1{\int }_0^1{(1-t)}^{\alpha }{(1-r)}^{\beta }\left|\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)\right|drdt\}$$

$$\le \frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{4}\times$$

$$\{{\left({\int }_0^1{\int }_0^1{t}^{p\alpha }{r}^{p\beta }drdt\right)}^{\frac{1}{p}}+{\left({\int }_0^1{\int }_0^1{(1-t)}^{p\alpha }{r}^{p\beta }drdt\right)}^{\frac{1}{p}}$$

$$+{\left({\int }_0^1{\int }_0^1{t}^{p\alpha }{(1-r)}^{p\beta }drdt\right)}^{\frac{1}{p}}+{\left({\int }_0^1{\int }_0^1{(1-t)}^{p\alpha }{(1-r)}^{p\beta }drdt\right)}^{\frac{1}{p}}\}$$

$$\times {\left({\int }_0^1{\int }_0^1|\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right){|}^{q}drdt\right)}^{\frac{1}{q}}$$

$$\le \frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{\sqrt[p]{(p\alpha +1)(p\beta +1)}}$$

$$\times \left[{\int }_0^1{\int }_0^1\right\{(1-t)(1-r)|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_3){|}^q+t(1-r)|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_3){|}^q$$

$$+(1-t)r|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_4){|}^q+tr|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_4){|}^q\}drdt{]}^{\frac{1}{q}}$$

$$=\frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{\sqrt[p]{(p\alpha +1)(p\beta +1)}}$$

$$\times \sqrt[q]{\frac{|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_3){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_3){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_4){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_4){|}^q}{4}}.$$

The proof is complete. □

We point out some special cases of Theorem 3.

Corollary 1.

Choosing $p=q=2$ in Theorem 3, we get:

$$\left|E_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4;{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1},{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}\right)\right|\le \frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{\sqrt{(2\alpha +1)(2\beta +1)}}.$$

(18)

$$\times \sqrt{\frac{|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_3){|}^2+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_3){|}^2+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_4){|}^2+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_4){|}^2}{4}}.$$

Corollary 2.

Choosing ${\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)={\ell }_2-{\ell }_1$ and ${\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)={\ell }_4-{\ell }_3$ in Theorem 3, we have:

$$\left|E_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4\right)\right|\le \frac{({\ell }_2-{\ell }_1)({\ell }_4-{\ell }_3)}{\sqrt[p]{(p\alpha +1)(p\beta +1)}}$$

(19)

$$\times \sqrt[q]{\frac{|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_3){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_3){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_4){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_4){|}^q}{4}}.$$

Corollary 3.

Taking ${\displaystyle \left|\frac{{\partial }^{2}f}{\partial t\partial r}\right|\le K}$ in Theorem 3, we obtain:

$$\left|E_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4;{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1},{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}\right)\right|\le K\frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{\sqrt[p]{(p\alpha +1)(p\beta +1)}}.$$

(20)

Corollary 4.

Choosing ${\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)={\ell }_2-{\ell }_1$ and ${\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)={\ell }_4-{\ell }_3$ in Corollary 3, we get:

$$\left|E_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4\right)\right|\le K\frac{({\ell }_2-{\ell }_1)({\ell }_4-{\ell }_3)}{\sqrt[p]{(p\alpha +1)(p\beta +1)}}.$$

(21)

Theorem 4.

Let $f:\Delta \subset {\mathbb{R}}^2⟶\mathbb{R}$ be a partial differentiable function on Δ with ${\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)>0$ and ${\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)>0$ and $\frac{{\partial }^{2}f}{\partial t\partial r}\in L_1(\Delta ).$ If $|\frac{{\partial }^{2}f}{\partial t\partial r}{|}^q$ is a generalized coordinated ϕ-convex function where $q\ge 1,$ then the following inequality holds:

$$\left|E_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4;{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1},{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}\right)\right|$$

(22)

$$\le \frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{4}{\left(\frac{1}{(\alpha +1)(\beta +1)}\right)}^{1-\frac{1}{q}}\times$$

$$\sqrt[q]{\Psi (\alpha ,\beta )\left\{|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_3){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_3){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_4){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_4){|}^q\right\}},$$

where

$$\Psi (\alpha ,\beta )=\frac{2(\alpha +\beta +2)+\alpha \beta }{(\alpha +1)(\alpha +2)(\beta +1)(\beta +2)}.$$

Proof. 

Using Lemma 1, the fact that $|\frac{{\partial }^{2}f}{\partial t\partial r}{|}^q$ is a generalized coordinated $\varphi$-convex function, and the well-known power-mean inequality, we have:

$$\left|E_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4;{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1},{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}\right)\right|$$

$$\le \frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{4}$$

$$\times \left\{{\int }_0^1{\int }_0^1{t}^{\alpha }{r}^{\beta }\right|\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)|drdt$$

$$+{\int }_0^1{\int }_0^1{(1-t)}^{\alpha }{r}^{\beta }\left|\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)\right|drdt$$

$$+{\int }_0^1{\int }_0^1{t}^{\alpha }{(1-r)}^{\beta }\left|\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)\right|drdt$$

$$+{\int }_0^1{\int }_0^1{(1-t)}^{\alpha }{(1-r)}^{\beta }\left|\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right)\right|drdt\}$$

$$\le \frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{4}$$

$$\times \{{\left({\int }_0^1{\int }_0^1{t}^{\alpha }{r}^{\beta }drdt\right)}^{1-\frac{1}{q}}+{\left({\int }_0^1{\int }_0^1{(1-t)}^{\alpha }{r}^{\beta }drdt\right)}^{1-\frac{1}{q}}$$

$$+{\left({\int }_0^1{\int }_0^1{t}^{\alpha }{(1-r)}^{\beta }drdt\right)}^{1-\frac{1}{q}}+{\left({\int }_0^1{\int }_0^1{(1-t)}^{\alpha }{(1-r)}^{\beta }drdt\right)}^{1-\frac{1}{q}}\}$$

$$\times [{\int }_0^1{\int }_0^1\left\{t^{\alpha }{r}^{\beta }+{(1-t)}^{\alpha }{r}^{\beta }+t^{\alpha }{(1-r)}^{\beta }+{(1-t)}^{\alpha }{(1-r)}^{\beta }\right\}$$

$$\times |\frac{{\partial }^{2}f}{\partial t\partial r}\left({\ell }_1+t{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1),{\ell }_3+r{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)\right){|}^{q}drdt{]}^{\frac{1}{q}}$$

$$\le \frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{4}{\left(\frac{1}{(\alpha +1)(\beta +1)}\right)}^{1-\frac{1}{q}}$$

$$\times [{\int }_0^1{\int }_0^1\left\{t^{\alpha }{r}^{\beta }+{(1-t)}^{\alpha }{r}^{\beta }+t^{\alpha }{(1-r)}^{\beta }+{(1-t)}^{\alpha }{(1-r)}^{\beta }\right\}$$

$$\times \left\{(1-t)(1-r)\right|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_3){|}^q+t(1-r)|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_3){|}^q$$

$$+(1-t)r|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_4){|}^q+tr|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_4){|}^q\}drdt{]}^{\frac{1}{q}}$$

$$=\frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{4}{\left(\frac{1}{(\alpha +1)(\beta +1)}\right)}^{1-\frac{1}{q}}\times$$

$$\sqrt[q]{\Psi (\alpha ,\beta )\left\{|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_3){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_3){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_4){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_4){|}^q\right\}}.$$

The proof of Theorem 4 is complete. □

We point out some special cases of Theorem 4.

Corollary 5.

Choosing $q=1$ in Theorem 4, we get:

$$\left|E_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4;{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1},{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}\right)\right|$$

(23)

$$\le \Psi (\alpha ,\beta )\frac{{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)}{4}\times$$

$$\left\{\left|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_3)\right|+\left|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_3)\right|+\left|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_4)\right|+\left|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_4)\right|\right\}.$$

Corollary 6.

Choosing ${\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)={\ell }_2-{\ell }_1$ and ${\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)={\ell }_4-{\ell }_3$ in Theorem 4, we have:

$$\left|E_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4\right)\right|\le \frac{({\ell }_2-{\ell }_1)({\ell }_4-{\ell }_3)}{4}{\left(\frac{1}{(\alpha +1)(\beta +1)}\right)}^{1-\frac{1}{q}}\times$$

(24)

$$\sqrt[q]{\Psi (\alpha ,\beta )\left\{|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_3){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_3){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_1,{\ell }_4){|}^q+|\frac{{\partial }^{2}f}{\partial t\partial r}({\ell }_2,{\ell }_4){|}^q\right\}}.$$

Corollary 7.

Taking ${\displaystyle \left|\frac{{\partial }^{2}f}{\partial t\partial r}\right|\le K}$ in Theorem 4, we obtain:

$$\left|E_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4;{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1},{\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}\right)\right|$$

(25)

$$\le 4^{\frac{1-q}{q}}{\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1){\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3){\left(\frac{1}{(\alpha +1)(\beta +1)}\right)}^{1-\frac{1}{q}}\sqrt[q]{\Psi (\alpha ,\beta )}.$$

Corollary 8.

Choosing ${\mathcal{F}}_{{\rho }_1,{\lambda }_1}^{{\sigma }_1}({\ell }_2-{\ell }_1)={\ell }_2-{\ell }_1$ and ${\mathcal{F}}_{{\rho }_2,{\lambda }_2}^{{\sigma }_2}({\ell }_4-{\ell }_3)={\ell }_4-{\ell }_3$ in Corollary 7, we get:

$$\left|E_f\left(\alpha ,\beta ,{\ell }_1,{\ell }_2,{\ell }_3,{\ell }_4\right)\right|\le 4^{\frac{1-q}{q}}({\ell }_2-{\ell }_1)({\ell }_4-{\ell }_3){\left(\frac{1}{(\alpha +1)(\beta +1)}\right)}^{1-\frac{1}{q}}\sqrt[q]{\Psi (\alpha ,\beta )}.$$

(26)

Remark 3.

Taking $\alpha =\beta =1$ in Theorems 2–4, we get some Hermite–Hadamard-type inequalities for the classical integral. Furthermore, for different positive values of ${\rho }_1,{\rho }_2,{\lambda }_1,{\lambda }_2>0,$ where ${\sigma }_1=({\sigma }_1\left(0\right),\dots ,{\sigma }_1\left(k\right),\dots )$ and ${\sigma }_2=({\sigma }_2\left(0\right),\dots ,{\sigma }_2\left(k\right),\dots )$ are bounded sequences of positive real numbers in our above results, we have different fascinating inequalities of the trapezium-type. The details are left to the interested reader.

4. Conclusions

In this paper, we defined a new class of functions, the so-called generalized coordinated $\varphi$-convex involving Raina’s functions and some Hermite–Hadamard-type integral inequalities ((6), (17), (22)) via the extended Riemann–Liouville fractional integral are provided as well. The interested reader can establish new inequalities via fractional operators or multiplicative integrals. Furthermore, given the usefulness of this type of integral inequalities and the integrals of fractional order in different areas of the pure and applied sciences, then the results presented can be applied in those investigations that require them. Similarly, the ideas considered in the development of this work are a contribution and stimulus for future research in the field of generalized convexity.