Theory and Modern Applications

# Weighted Hermite–Hadamard type inclusions for products of co-ordinated convex interval-valued functions

## Abstract

In this paper, we establish some Hermite–Hadamard–Fejér type inclusions for the product of two co-ordinated convex interval-valued functions. These inclusions are generalizations of some results given in earlier works.

## Introduction

Over the last century, integral inequalities have attracted the interest of a good many researchers because of the importance in applied and pure mathematics. For example, Hermite–Hadamard inequalities, based on convex functions, have an important place in many areas of mathematics, specifically optimization theory. These inequalities, introduced by C. Hermite and J. Hadamard, express that if $$\varpi :I\rightarrow \mathbb{\mathbb{R} }$$ is a convex mapping on the interval I of real numbers and $$c,d\in I$$ with $$c< d$$, then

$$\varpi \biggl( \frac{c+d}{2} \biggr) \leq \frac{1}{d-c} \int _{c}^{d} \varpi (x)\,dx\leq \frac{\varpi ( c ) +\varpi ( d ) }{2}.$$
(1.1)

If ϖ is concave, both inequalities hold in the opposite direction. The best known results associated with these inequalities are midpoint and trapezoid inequalities which are frequently used in special means and estimation errors (see [16, 25]). After that, the authors also gave the fractional version of inequality (1.1) in [49]. For instance, the weighted version of inequality (1.1), which is also named Hermite–Hadamard–Fejér inequality, was established by Fejér in [18] as follows.

### Theorem 1

Suppose that $$\varpi :[c,d]\rightarrow \mathbb{\mathbb{R} }$$ is a convex function, and let $$\phi :[c,d]\rightarrow \mathbb{\mathbb{R} }$$ be nonnegative, integrable, and symmetric about $$x=\frac{c+d}{2}$$ (i.e. $$\phi (x)=\phi (c+d-x)$$). Then we have the inequality

$$\varpi \biggl( \frac{c+d}{2} \biggr) \int _{c}^{d}\phi (x)\,dx \leq \int _{c}^{d}\varpi (x)\phi (x)\,dx\leq \frac{\varpi ( c ) +\varpi ( d ) }{2} \int _{c}^{d}\phi (x)\,dx.$$
(1.2)

Many mathematicians derived some generalizations and new results involving fractional integrals regarding inequality (1.2) to obtain new bounds for the left- and right-hand sides of inequality (1.2) (see [17, 47, 48]). In addition to all these generalizations, a good many of authors have worked on Hermite–Hadamard type inequalities for the product of two convex functions in recent years. Moreover, some of them obtained Hermite–Hadamard type results and included fractional integrals in their works. For instance, Pachpatte provided novel inequalities for the product of two nonnegative and convex mappings in [40]. After that, some authors examined how the results were obtained by multiplying two mappings selected from various convex function classes in the references [3, 1012, 21, 22, 26, 5052]. What is more, some inequalities involving the product of two co-ordinated convex mappings were observed by Latif and Alomari in [27]. Thereafter, Ozdemir et al. [38, 39] deduced more general versions of the inequalities presented in [27] by considering the product of two co-ordinated s-convex and the product of two co-ordinated h-convex mappings. In [6], by using the products of two co-ordinated convex mappings, new Hermite–Hadamard type results including fractional integrals were proved by Budak and Sarıkaya.

On the other hand, interval analysis is handled as one of the methods for solving interval uncertainty; it is an important material which is used in mathematical and computer models. Although this theory has a long history which may be dated back to Archimedes’ calculation of the circumference of a circle, a considerable study had not been published in this field until 1950s. The first book [33] about interval analysis was published by Ramon E. Moore, known as the pioneer of interval calculus, in 1966. Thereafter, a great many researchers started to investigate the theories and applications of interval analysis. Recently, many authors have focused on integral inclusions obtained by using interval-valued functions. For example, Sadowska [46] established the Hermite–Hadamard inclusion for set-valued functions, that is, a more general version of interval-valued mappings, as follows.

### Theorem 2

([46])

Suppose that $$\digamma :[\varrho ,\varsigma ]\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ is an interval-valued convex function such that $$\digamma (\vartheta )= [ \underline{\digamma }(\vartheta ), \overline{\digamma }(\vartheta ) ]$$. Then we have the inclusions

$$\digamma \biggl( \frac{\varrho +\varsigma }{2} \biggr) \supseteq \frac{1}{\varsigma -\varrho }(IR) \int _{\varrho }^{\varsigma } \digamma (x)\,dx\supseteq \frac{\digamma (\varrho )+\digamma (\varsigma )}{2}.$$
(1.3)

Furthermore, well-known inclusions such as Ostrowski, Minkowski, and Beckenbach and some of their applications have been provided by considering interval-valued functions in [8, 9, 19, 44]. In addition, some inclusions involving interval-valued Riemann-Liouville fractional integrals have been derived by Budak et al. in [7]. In [28], Liu et al. gave the definition of interval-valued harmonically convex functions, and so they have some Hermite–Hadamard type inclusions including interval fractional integrals. For more details about this topic, you can look over the references [13, 14, 32, 3436, 45, 55, 56].

The general structure of this paper consists of four main sections including introduction. In this section, we give some necessary inclusions and the concept of interval analysis, and we also mention some related works in the literature. In Sect. 2, some basic information about the interval calculus which forms the basis of this work is presented. In Sect. 3, we provide Fejér type inclusions for the product of interval-valued convex functions, and we examine the relation between our results and the inclusions presented in the earlier works. Finally, we establish interval-valued Fejér type inclusions including fractional integrals by applying the inclusions given in Sect. 3 to interval-valued fractional integrals in Sect. 4. Briefly, the most important property of this study is that it contains interval-valued Fejér type inclusions for classical and fractional integrals. We note that the opinion and technique of this work may inspire new research in this area.

## Preliminaries of interval calculus and some inclusions

In this part, we give some necessary notions and notations related to interval analysis, which forms the basis of this paper. The set of all closed intervals of $$\mathbb{R}$$, the set of all closed positive intervals of $$\mathbb{R}$$, and the set of all closed negative intervals of $$\mathbb{R}$$ are denoted by $$\mathbb{R} _{\mathcal{I}}$$, $$\mathbb{R} _{\mathcal{I}}^{+}$$, and $$\mathbb{R} _{\mathcal{I}}^{-}$$, respectively. We also suppose that $$\Delta = [ \varrho ,\varsigma ] \times [ \zeta , \iota ]$$. For more details regarding the interval analysis, interested readers can see [1, 15, 30, 41].

### Definition 1

([46])

Let $$\digamma :[\varrho ,\varsigma ]\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ be an interval-valued function such that $$\digamma (\vartheta )= [ \underline{\digamma }(\vartheta ), \overline{\digamma }(\vartheta ) ]$$. We say that Ϝ is a convex interval-valued function if, for all $$\xi ,\eta \in {}[ \varrho ,\varsigma ]$$ and $$\vartheta \in (0,1)$$, we have

$$\vartheta \digamma (\xi )+(1-\vartheta )\digamma (\eta )\subseteq \digamma \bigl(\vartheta \xi +(1-\vartheta )\eta \bigr).$$

### Definition 2

([54])

Suppose that $$h:[\zeta ,\iota ]\rightarrow \mathbb{R}$$ is a nonnegative function with $$(0,1)\subseteq {}[ \zeta ,\iota ]$$, $$h\neq 0$$ and $$\digamma :[\varrho ,\varsigma ]\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ is an interval-valued function such that $$\digamma (\vartheta )= [ \underline{\digamma }(\vartheta ), \overline{\digamma }(\vartheta ) ]$$. We say that Ϝ is an h-convex interval-valued function if, for all $$\xi ,\eta \in {}[ \varrho ,\varsigma ]$$ and $$\vartheta \in (0,1)$$, we have

$$h(\vartheta )\digamma (\xi )+h(1-\vartheta )\digamma (\eta ) \subseteq \digamma \bigl(\vartheta \xi +(1-\vartheta )\eta \bigr).$$
(2.1)

### Remark 1

If we set $$h ( \vartheta ) =\vartheta$$ in Definition 2, then Definition 2 reduces to Definition 1. Similarly, if we choose $$h ( \vartheta ) =\vartheta ^{s}$$ in Definition 2, then Definition 2 transforms into s-convex interval-valued functions given in [2].

In [42], Piatek gave the notion of the integral of interval-valued functions and provided its relation with the Riemann integral in the following form.

### Theorem 3

Assume that $$\digamma :[\varrho ,\varsigma ]\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ is an interval-valued function such that $$\digamma (\vartheta )= [ \underline{\digamma }(\vartheta ), \overline{\digamma }(\vartheta ) ]$$. A function $$\digamma \in \mathcal{IR}_{( [ \varrho ,\varsigma ] )}$$ if and only if $$\underline{\digamma }(\vartheta )$$, $$\overline{\digamma }(\vartheta )\in \mathcal{R}_{( [ \varrho , \varsigma ] )}$$ and

$$(IR) \int _{\varrho }^{\varsigma }\digamma (\vartheta )\,d\vartheta = \biggl[ \int _{\varrho }^{\varsigma } \underline{\digamma }(\vartheta )\,d\vartheta , \int _{\varrho }^{ \varsigma }\overline{\digamma }( \vartheta )\,d\vartheta \biggr],$$

where $$\mathcal{IR}_{( [ \varrho ,\varsigma ] )}$$ and $$\mathcal{R}_{( [ \varrho ,\varsigma ] )}$$ denote all Riemann integrable interval-valued functions and Riemann integrable functions, respectively.

In [54], Zhao et al. gave the following inclusions of Hermite–Hadamard type for h-convex interval-valued functions by using Theorem 3.

### Theorem 4

Let $$\digamma :[\varrho ,\varsigma ]\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ be an interval-valued function such that $$\digamma (\vartheta )= [ \underline{\digamma }(\vartheta ), \overline{\digamma }(\vartheta ) ]$$ and $$\digamma \in \mathcal{IR}_{( [ \varrho ,\varsigma ] )}$$, $$h:[0,1] \rightarrow \mathbb{R}$$ be a nonnegative function and $$h ( \frac{1}{2} ) \neq 0$$. If Ϝ is an h-convex interval-valued function, then the following inclusion holds:

$$\frac{1}{2h ( \frac{1}{2} ) }\digamma \biggl( \frac{\varrho +\varsigma }{2} \biggr) \supseteq \frac{1}{\varsigma -\varrho }(IR) \int _{\varrho }^{\varsigma } \digamma (\xi )\,d\xi \supseteq {} \bigl[ \digamma (\varrho )+\digamma ( \varsigma )\bigr] \int _{0}^{1}h(\vartheta )\,d\vartheta .$$
(2.2)

### Remark 2

1. (i)

If $$h(\vartheta )=\vartheta$$, then inclusion (2.2) reduces to (1.3).

2. (ii)

If $$h(\vartheta )=\vartheta ^{s}$$, then (2.2) reduces to the following result:

$$2^{s-1}\digamma \biggl( \frac{\varrho +\varsigma }{2} \biggr) \supseteq \frac{1}{\varsigma -\varrho }(IR) \int _{\varrho }^{\varsigma } \digamma (\xi )\,d\xi \supseteq \frac{\digamma (\varrho )+\digamma (\varsigma )}{s+1},$$

which is obtained by Osuna-Gómez et al. in [37].

Now, let us give the notations $$\mathcal{A}_{k}(\xi ;m,n)$$ and $$\mathcal{B}_{k}(\xi ;m,n)$$ used throughout the study:

\begin{aligned}& \mathcal{A}_{k}(\xi ;m,n)= \int _{m}^{n}(n-\xi )^{2}w_{k}( \xi )\,d\xi\quad \text{and} \\& \mathcal{B}_{k}(\xi ;m,n)= \int _{m}^{n}(n-\xi ) ( \xi -m)w_{k}(\xi )\,d\xi , \quad k=1,2, \end{aligned}

where $$w_{k}:[\varrho ,\varsigma ]\rightarrow \mathbb{R}$$ is a function.

Budak et al. presented the following results.

### Theorem 5

([5])

Suppose that $$w_{1}:[\varrho ,\varsigma ]\rightarrow \mathbb{R}$$ is nonnegative, integrable, and symmetric about $$\xi =\frac{\varrho +\varsigma }{2}$$ (i.e. $$w_{1}(\xi )=w_{1}(\varrho +\varsigma -\xi )$$). If $$\digamma ,\Omega : [ \varrho ,\varsigma ] \rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ are two interval-valued, nonnegative, and convex interval-valued functions such that $$\digamma (\vartheta )= [ \underline{\digamma }(\vartheta ),\overline{\digamma }(\vartheta ) ]$$ and $$\Omega (\vartheta )= [ \underline{\Omega }(\vartheta ), \overline{\Omega }(\vartheta ) ]$$, then we have the following inclusion:

$$( IR ) \int _{\varrho }^{\varsigma }\digamma ( \xi )\Omega (\xi )w_{1}(\xi )\,d\xi \supseteq \frac{\mathbf{M}(\varrho ,\varsigma )}{ ( \varsigma -\varrho ) ^{2}}\mathcal{A}_{1}( \xi ; \varrho ,\varsigma )+ \frac{\mathbf{N}(\varrho ,\varsigma )}{ ( \varsigma -\varrho ) ^{2}} \mathcal{B}_{1}(\xi ;\varrho ,\varsigma ),$$
(2.3)

where

$$\mathbf{M}(\varrho ,\varsigma )=\digamma (\varrho )\Omega (\varrho )+ \digamma ( \varsigma )\Omega (\varsigma )\quad \textit{and}\quad \mathbf{N}( \varrho ,\varsigma )= \digamma (\varrho )\Omega (\varsigma )+\digamma ( \varsigma )\Omega (\varrho ).$$

### Theorem 6

([5])

Suppose that the conditions of Theorem 5hold, then we have the following inclusion:

\begin{aligned}& 2\digamma \biggl( \frac{\varrho +\varsigma }{2} \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2} \biggr) \int _{\varrho }^{\varsigma }w_{1}( \xi )\,d\xi \\& \quad \supseteq ( IR ) \int _{\varrho }^{\varsigma } \digamma (\xi )\Omega (\xi )w_{1}(\xi )\,d\xi + \frac{\mathbf{M}(\varrho ,\varsigma )}{ ( \varsigma -\varrho ) ^{2}}\mathcal{B}_{1}( \xi ; \varrho ,\varsigma )+ \frac{\mathbf{N}(\varrho ,\varsigma )}{ ( \varsigma -\varrho ) ^{2}} \mathcal{A}_{1}(\xi ;\varrho ,\varsigma ), \end{aligned}
(2.4)

where $$\mathbf{M}(\varrho ,\varsigma )$$ and $$\mathbf{N}(\varrho ,\varsigma )$$ are defined as in Theorem 5.

Motivated by the continuing studies, the authors introduced the fractional integrals for interval-valued functions and proved some associated inclusions of Hermite–Hadamard type.

### Definition 3

([7, 29])

Assume that $$\digamma :[\varrho ,\varsigma ]\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ is an interval-valued function such that $$\digamma (\vartheta )= [ \underline{\digamma }(\vartheta ), \overline{\digamma }(\vartheta ) ]$$. Then interval-valued Riemann–Liouville integrals $$\mathcal{J}_{\varrho +}^{\alpha }\digamma$$ and $$\mathcal{J}_{\varsigma -}^{\alpha }\digamma$$ of order $$\alpha >0$$ with $$\varrho \geq 0$$ are defined by

$$\mathcal{J}_{\varrho +}^{\alpha }\digamma (\xi )= \frac{1}{\Gamma (\alpha )} ( IR ) \int _{\varrho }^{\xi } ( \xi -\vartheta ) ^{\alpha -1}\digamma (\vartheta )\,d\vartheta , \quad \xi > \varrho ,$$

and

$$\mathcal{J}_{\varsigma -}^{\alpha }\digamma (\xi )= \frac{1}{\Gamma (\alpha )} ( IR ) \int _{\xi }^{\varsigma } ( \vartheta -\xi ) ^{\alpha -1}\digamma (\vartheta )\,d\vartheta ,\quad \xi < \varsigma ,$$

respectively. Here, $$\Gamma (\alpha )$$ is the gamma function and $$\mathcal{J}_{\varrho +}^{0}\digamma (\xi )=\mathcal{J}_{\varsigma -}^{0} \digamma (\xi )=\digamma (\xi )$$.

### Theorem 7

([7])

If $$\digamma = [ \underline{\digamma }(\vartheta ),\overline{\digamma }(\vartheta ) ] : [ \varrho ,\varsigma ] \rightarrow \mathbb{R} _{\mathcal{I}}$$ is an interval-valued function, then one has

$$\mathcal{J}_{\varrho +}^{\alpha }\digamma (\xi )= \bigl[ I_{\varrho +}^{ \alpha }\underline{\digamma }(\xi ),I_{\varrho +}^{\alpha } \overline{\digamma }(\xi ) \bigr]$$

and

$$\mathcal{J}_{\varsigma -}^{\alpha }\digamma (\xi )= \bigl[ I_{ \varsigma -}^{\alpha }\underline{\digamma }(\xi ),I_{\varsigma -}^{ \alpha } \overline{\digamma }(\xi ) \bigr],$$

where $$I_{\varrho +}^{\alpha }$$ and $$I_{\varsigma -}^{\alpha }$$ are left-sided and right-sided Riemann–Liouville fractional integrals of the functions $$\digamma : [ \varrho ,\varsigma ] \rightarrow \mathbb{R}$$, respectively (see [20, 24, 31, 43]).

### Theorem 8

([7])

Let $$\digamma = [ \underline{\digamma }(\vartheta ), \overline{\digamma }(\vartheta ) ] :[\varrho ,\varsigma ]\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ be a convex interval-valued function and $$\alpha >0$$, then we have the following inclusion:

$$\digamma \biggl( \frac{\varrho +\varsigma }{2} \biggr) \supseteq \frac{\Gamma (1+\alpha )}{2(\varsigma -\varrho )^{\alpha }} \bigl[ \mathcal{J}_{\varrho +}^{\alpha }\digamma (\varsigma )+ \mathcal{J}_{ \varsigma -}^{\alpha }\digamma (\varrho ) \bigr] \supseteq \frac{\digamma (\varrho )+\digamma (\varsigma )}{2}.$$
(2.5)

In addition to all these results, Liu et al. refined Hermite–Hadamard type inclusions for interval-valued mappings in [28].

### Theorem 9

([28])

Suppose that $$w:[\varrho ,\varsigma ]\rightarrow \mathbb{R}$$ is nonnegative, integrable, and symmetric about $$\xi =\frac{\varrho +\varsigma }{2}$$ (i.e. $$w(\xi )=w(\varrho +\varsigma -\xi )$$). If $$\digamma = [ \underline{\digamma }(\vartheta ),\overline{\digamma }( \vartheta ) ] :[\varrho ,\varsigma ]\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ is a convex interval-valued function, then we have the following inclusion:

\begin{aligned}& \digamma \biggl( \frac{\varrho +\varsigma }{2} \biggr) \bigl[ I_{ \varrho +}^{\alpha }w( \varsigma )+I_{\varsigma -}^{\alpha }w(\varrho ) \bigr] \\& \quad \supseteq \bigl[ \mathcal{J}_{\varrho +}^{\alpha }\digamma ( \varsigma )w(\varsigma )+\mathcal{J}_{\varsigma -}^{\alpha }\digamma ( \varrho )w(\varrho ) \bigr] \\& \quad \supseteq \frac{\digamma (\varrho )+\digamma (\varsigma )}{2} \bigl[ I_{\varrho +}^{\alpha }w( \varsigma )+I_{\varsigma -}^{\alpha }w( \varrho ) \bigr] \end{aligned}

for $$\alpha >0$$.

Recently, Zhao et al. introduced the co-ordinated convexity of interval-valued functions and proved some new Hermite–Hadamard inclusions like the following.

### Definition 4

([53])

Let $$\digamma :\Delta \subset \mathbb{R} ^{2}\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ be an interval-valued function such that $$\digamma (\vartheta ,s)= [ \underline{\digamma }(\vartheta ,s), \overline{\digamma }(\vartheta ,s) ]$$. Then $$\digamma = [ \underline{\digamma }(\vartheta ,s),\overline{\digamma }(\vartheta ,s) ] :\Delta \rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ is said to be a co-ordinated convex interval-valued function if the following inclusion holds:

\begin{aligned}& \digamma \bigl(\vartheta \xi +(1-\vartheta )\eta ,su+(1-s)w\bigr) \\& \quad \supseteq \vartheta s\digamma (\xi ,u)+\vartheta (1-s)\digamma ( \xi ,w)+s(1- \vartheta )\digamma (\eta ,u)+(1-s) (1-\vartheta ) \digamma (\eta ,w) \end{aligned}

for all $$(\xi ,\eta ),(u,w)\in \Delta$$ and $$s,\vartheta \in {}[ 0,1]$$.

### Lemma 1

([53])

A function $$\digamma = [ \underline{\digamma }(\vartheta ,s),\overline{\digamma }(\vartheta ,s) ] :\Delta \rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ is a co-ordinated convex interval-valued function if and only if there exist two functions $$\digamma _{\xi }:[\zeta ,\iota ]\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$, $$\digamma _{\xi }(w)=\digamma (\xi ,w)$$, and $$\digamma _{\eta }:[\varrho ,\varsigma ]\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$, $$\digamma _{\eta }(u)=\digamma (u,\eta )$$ are convex interval-valued functions.

### Theorem 10

([53])

Let $$\digamma ,\Omega :\Delta \rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ be two co-ordinated convex interval-valued functions such that $$\digamma (\vartheta ,s)= [ \underline{\digamma }(\vartheta ,s), \overline{\digamma }(\vartheta ,s) ]$$ and $$\Omega (\vartheta ,s)= [ \underline{\Omega }(\vartheta ,s),\overline{\Omega }( \vartheta ,s) ]$$, then the following Hermite–Hadamard type inclusions hold:

\begin{aligned}& \frac{1}{ ( \varsigma -\varrho ) ( \iota -\zeta ) } ( IR ) \int _{\varrho }^{\varsigma } \int _{ \zeta }^{\iota }\digamma (\xi ,\eta )\Omega (\xi , \eta )\,d\eta \,d\xi \\& \quad \supseteq \frac{1}{9}\mathbf{K}(\varrho ,\varsigma ,\zeta ,\iota )+ \frac{1}{18} \bigl[ \mathbf{L}(\varrho ,\varsigma ,\zeta ,\iota )+ \mathbf{M}( \varrho ,\varsigma ,\zeta ,\iota ) \bigr] +\frac{1}{36} \mathbf{N}( \varrho ,\varsigma ,\zeta ,\iota ) \end{aligned}
(2.6)

and

\begin{aligned}& 4\digamma \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) \\& \quad \supseteq \frac{1}{ ( \varsigma -\varrho ) ( \iota -\zeta ) } ( IR ) \int _{\varrho }^{\varsigma } \int _{ \zeta }^{\iota }\digamma (\xi ,\eta )\Omega (\xi , \eta )\,d\eta \,d\xi +\frac{5}{36}\mathbf{K}(\varrho ,\varsigma , \zeta ,\iota ) \\& \qquad {} +\frac{7}{36} \bigl[ \mathbf{L}(\varrho ,\varsigma ,\zeta ,\iota )+ \mathbf{M}(\varrho ,\varsigma ,\zeta ,\iota ) \bigr] + \frac{2}{9}\mathbf{N}( \varrho ,\varsigma ,\zeta ,\iota ), \end{aligned}
(2.7)

where

\begin{aligned}& \mathbf{K}(\varrho ,\varsigma ,\zeta ,\iota )=\digamma (\varrho , \zeta )\Omega (\varrho ,\zeta )+\digamma (\varsigma ,\zeta )\Omega ( \varsigma ,\zeta )+ \digamma (\varrho ,\iota )\Omega (\varrho ,\iota )+ \digamma (\varsigma ,\iota ) \Omega (\varsigma ,\iota ), \\& \mathbf{L}(\varrho ,\varsigma ,\zeta ,\iota )=\digamma (\varrho , \zeta )\Omega (\varsigma ,\zeta )+\digamma (\varsigma ,\zeta )\Omega ( \varrho ,\zeta )+ \digamma (\varrho ,\iota )\Omega (\varsigma ,\iota )+ \digamma (\varsigma ,\iota ) \Omega (\varrho ,\iota ), \\& \mathbf{M}(\varrho ,\varsigma ,\zeta ,\iota )=\digamma (\varrho , \zeta )\Omega (\varrho ,\iota )+\digamma (\varsigma ,\zeta )\Omega ( \varsigma ,\iota )+ \digamma (\varrho ,\iota )\Omega (\varrho ,\zeta )+ \digamma (\varsigma ,\iota ) \Omega (\varsigma ,\zeta ), \end{aligned}

and

$$\mathbf{N}(\varrho ,\varsigma ,\zeta ,\iota )=\digamma (\varrho , \zeta )\Omega (\varsigma ,\iota )+\digamma (\varsigma ,\zeta )\Omega ( \varrho ,\iota )+ \digamma (\varrho ,\iota )\Omega (\varsigma ,\zeta )+ \digamma (\varsigma ,\iota ) \Omega (\varrho ,\zeta ).$$

For more recent results related to inclusions (2.6) and (2.7), one can read [23].

The definitions of the interval-valued Riemann–Liouville fractional integrals of function $$\digamma (\xi ,\eta )$$ are given as follows.

### Definition 5

([4, 23])

Let $$\digamma :\Delta \subset \mathbb{R} ^{2}\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ be an interval-valued function such that $$\digamma (\vartheta ,s)= [ \underline{\digamma }(\vartheta ,s), \overline{\digamma }(\vartheta ,s) ]$$ and $$\digamma \in \mathcal{IR}_{( [ \varrho ,\varsigma ] )}$$. The Riemann–Liouville fractional integrals $$\mathcal{J}_{\varrho +,\zeta +}^{\alpha ,\beta }$$, $$\mathcal{J}_{\varrho +,\iota -}^{ \alpha ,\beta }$$, $$\mathcal{J}_{\varsigma -,\zeta +}^{\alpha ,\beta }$$, and $$\mathcal{J}_{\varsigma -,\iota -}^{\alpha ,\beta }$$ of order $$\alpha ,\beta >0$$ with $$\varrho ,\zeta \geq 0$$ are defined by

\begin{aligned}& \mathcal{J}_{\varrho +,\zeta +}^{\alpha ,\beta }\digamma (\xi ,\eta ) = \frac{1}{\Gamma ( \alpha ) \Gamma ( \beta ) }(IR) \int _{\varrho }^{\xi } \int _{\zeta }^{\eta } ( \xi -\vartheta ) ^{\alpha -1} ( \eta -s ) ^{\beta -1} \digamma ( \vartheta ,s ) \,ds\,d \vartheta , \quad \xi > \varrho , \eta >\zeta , \\& \mathcal{J}_{\varrho +,\iota -}^{\alpha ,\beta }\digamma (\xi ,\eta ) = \frac{1}{\Gamma ( \alpha ) \Gamma ( \beta ) }(IR) \int _{\varrho }^{\xi } \int _{\eta }^{\iota } ( \xi -\vartheta ) ^{\alpha -1} ( s-\eta ) ^{\beta -1} \digamma ( \vartheta ,s ) \,ds\,d \vartheta , \quad \xi > \varrho , \eta >\iota , \\& \mathcal{J}_{\varsigma -,\zeta +}^{\alpha ,\beta }\digamma (\xi , \eta ) = \frac{1}{\Gamma ( \alpha ) \Gamma ( \beta ) }(IR) \int _{\xi }^{\varsigma } \int _{\zeta }^{\eta } ( \vartheta -\xi ) ^{\alpha -1} ( \eta -s ) ^{\beta -1} \digamma ( \vartheta ,s ) \,ds\,d \vartheta ,\quad \xi < \varsigma , \eta >\zeta , \\& \mathcal{J}_{\varsigma -,\iota -}^{\alpha ,\beta }\digamma (\xi , \eta ) = \frac{1}{\Gamma ( \alpha ) \Gamma ( \beta ) }(IR) \int _{\xi }^{\varsigma } \int _{\eta }^{\iota } ( \vartheta -\xi ) ^{\alpha -1} ( s-\eta ) ^{\beta -1} \digamma ( \vartheta ,s ) \,ds\,d \vartheta ,\quad \xi < \varsigma , \eta < \iota , \end{aligned}

respectively.

## Main results

### Theorem 11

Let $$\digamma ,\Omega :\Delta \subset \mathbb{R} ^{2}\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ be two co-ordinated convex interval-valued functions on Δ such that $$\digamma (\vartheta ,s)= [ \underline{\digamma }(\vartheta ,s),\overline{\digamma }(\vartheta ,s) ]$$ and $$\Omega (\vartheta ,s)= [ \underline{\Omega }(\vartheta ,s), \overline{\Omega }(\vartheta ,s) ]$$. In addition, $$w_{1}:[\varrho ,\varsigma ]\rightarrow \mathbb{\mathbb{R} }$$ is nonnegative, integrable, and symmetric about $$\xi =\frac{\varrho +\varsigma }{2}$$ (i.e. $$w_{1}(\xi )=w_{1}(\varrho +\varsigma -\xi )$$) and $$w_{2}:[\zeta ,\iota ]\rightarrow \mathbb{\mathbb{R} }$$ is nonnegative, integrable, and symmetric about $$\eta =\frac{\zeta +\iota }{2}$$. Then we have the following Hermite–Hadamard–Fejér type inclusion:

\begin{aligned}& \frac{1}{(\varsigma -\varrho )(\iota -\zeta )}(IR) \int _{ \varrho }^{\varsigma } \int _{\zeta }^{\iota }\digamma (\xi , \eta )\Omega (\xi ,\eta )w_{1}(\xi )w_{2}(\eta )\,d\eta \,d\xi \\& \quad \supseteq \frac{\mathcal{A}_{2}(\eta ;\zeta ,\iota )}{(\varsigma -\varrho )^{3}(\iota -\zeta )^{3}} \bigl[ \mathbf{K}(\varrho ,\varsigma ,\zeta , \iota )\mathcal{A}_{1}(\xi ;\varrho ,\varsigma )+ \mathbf{L}(\varrho , \varsigma ,\zeta ,\iota )\mathcal{B}_{1}(\xi ; \varrho ,\varsigma ) \bigr] \\& \qquad {} + \frac{\mathcal{B}_{2}(\eta ;\zeta ,\iota )}{(\varsigma -\varrho )^{3}(\iota -\zeta )^{3}} \bigl[ \mathbf{M}(\varrho ,\varsigma ,\zeta ,\iota )\mathcal{A}_{1}(\xi ;\varrho ,\varsigma )+\mathbf{N}( \varrho , \varsigma ,\zeta ,\iota )\mathcal{B}_{1}(\xi ;\varrho , \varsigma ) \bigr], \end{aligned}

where $$\mathbf{K}(\varrho ,\varsigma ,\zeta ,\iota )$$, $$\mathbf{L}(\varrho ,\varsigma ,\zeta ,\iota )$$, $$\mathbf{M}(\varrho ,\varsigma ,\zeta ,\iota )$$, and $$\mathbf{N}(\varrho ,\varsigma ,\zeta ,\iota )$$ defined as in Theorem 10.

### Proof

Since Ϝ and Ω are two co-ordinated convex interval-valued functions on Δ, the functions $$\digamma _{\xi }(\eta )=\digamma (\xi ,\eta )$$ and $$\Omega _{\xi }(\eta )=\Omega (\xi ,\eta )$$ are convex interval-valued on $$[ \zeta ,\iota ]$$. If inclusion (2.3) is applied to the functions $$\digamma _{\xi }$$ and $$\Omega _{\xi }$$, then we obtain

\begin{aligned}& \frac{1}{\iota -\zeta }(IR) \int _{\zeta }^{\iota }\digamma _{ \xi }(\eta ) \Omega _{\xi }(\eta )w_{2}(\eta )\,d\eta \\& \quad \supseteq \frac{\mathcal{A}_{2}(\eta ;\zeta ,\iota )}{(\iota -\zeta )^{3}} \bigl[ \digamma _{\xi }( \zeta )\Omega _{\xi }(\zeta )+\digamma _{ \xi }(\iota )\Omega _{\xi }(\iota ) \bigr] \\& \qquad {} +\frac{\mathcal{B}_{2}(\eta ;\zeta ,\iota )}{(\iota -\zeta )^{3}} \bigl[ \digamma _{\xi }(\zeta )\Omega _{\xi }(\iota )+\digamma _{ \xi }(\iota )\Omega _{\xi }(\zeta ) \bigr] . \end{aligned}
(3.1)

This implies that

\begin{aligned}& \frac{1}{\iota -\zeta }(IR) \int _{\zeta }^{\iota }\digamma ( \xi ,\eta )\Omega (\xi ,\eta )w_{2}(\eta )\,d\eta \\& \quad \supseteq \frac{\mathcal{A}_{2}(\eta ;\zeta ,\iota )}{(\iota -\zeta )^{3}} \bigl[ \digamma (\xi ,\zeta )\Omega (\xi ,\zeta )+\digamma (\xi , \iota )\Omega (\xi ,\iota ) \bigr] \\& \qquad {} +\frac{\mathcal{B}_{2}(\eta ;\zeta ,\iota )}{(\iota -\zeta )^{3}} \bigl[ \digamma (\xi ,\zeta )\Omega (\xi ,\iota )+ \digamma (\xi , \iota )\Omega (\xi ,\zeta ) \bigr] . \end{aligned}
(3.2)

Multiplying (3.2) by $$\frac{w_{1}(\xi )}{\varsigma -\varrho }$$ and integrating the resultant one with respect to ξ over $$[ \varrho ,\varsigma ]$$, we get

\begin{aligned}& \frac{1}{(\varsigma -\varrho )(\iota -\zeta )}(IR) \int _{ \varrho }^{\varsigma } \int _{\zeta }^{\iota }\digamma (\xi , \eta )\Omega (\xi ,\eta )w_{1}(\xi )w_{2}(\eta )\,d\eta \,d\xi \\& \quad \supseteq \frac{\mathcal{A}_{2}(\eta ;\zeta ,\iota )}{(\varsigma -\varrho )(\iota -\zeta )^{3}}(IR) \int _{\varrho }^{\varsigma } \bigl[ \digamma (\xi ,\zeta ) \Omega (\xi ,\zeta )+\digamma (\xi ,\iota )\Omega (\xi ,\iota ) \bigr] w_{1}(\xi )\,d\xi \\& \qquad {} + \frac{\mathcal{B}_{2}(\eta ;\zeta ,\iota )}{(\varsigma -\varrho )(\iota -\zeta )^{3}}(IR) \int _{\varrho }^{\varsigma } \bigl[ \digamma (\xi ,\zeta ) \Omega (\xi ,\iota )+\digamma (\xi ,\iota )\Omega (\xi ,\zeta ) \bigr] w_{1}(\xi )\,d\xi . \end{aligned}
(3.3)

Applying (2.3) to each integral in (3.3), we have

\begin{aligned}& (IR) \int _{\varrho }^{\varsigma }\digamma (\xi ,\zeta ) \Omega (\xi ,\zeta )w_{1}(\xi )\,d\xi \end{aligned}
(3.4)
\begin{aligned}& \quad \supseteq \frac{\mathcal{A}_{1}(\xi ;\varrho ,\varsigma )}{ ( \varsigma -\varrho ) ^{2}} \bigl[ \digamma (\varrho ,\zeta ) \Omega ( \varrho ,\zeta )+\digamma (\varsigma ,\zeta )\Omega ( \varsigma ,\zeta ) \bigr] \\& \qquad {} + \frac{\mathcal{B}_{1}(\xi ;\varrho ,\varsigma )}{ ( \varsigma -\varrho ) ^{2}} \bigl[ \digamma (\varrho ,\zeta )\Omega (\varsigma , \zeta )+ \digamma (\varsigma ,\zeta )\Omega (\varrho ,\zeta ) \bigr] , \\& (IR) \int _{\varrho }^{\varsigma }\digamma (\xi ,\iota ) \Omega (\xi ,\iota )w_{1}(\xi )\,d\xi \end{aligned}
(3.5)
\begin{aligned}& \quad \supseteq \frac{\mathcal{A}_{1}(\xi ;\varrho ,\varsigma )}{ ( \varsigma -\varrho ) ^{2}} \bigl[ \digamma (\varrho ,\iota ) \Omega ( \varrho ,\iota )+\digamma (\varsigma ,\iota )\Omega ( \varsigma ,\iota ) \bigr] \\& \qquad {} + \frac{\mathcal{B}_{1}(\xi ;\varrho ,\varsigma )}{ ( \varsigma -\varrho ) ^{2}} \bigl[ \digamma (\varrho ,\iota )\Omega (\varsigma , \iota )+ \digamma (\varsigma ,\iota )\Omega (\varrho ,\iota ) \bigr] , \\& (IR) \int _{\varrho }^{\varsigma }\digamma (\xi ,\zeta ) \Omega (\xi ,\iota )w_{1}(\xi )\,d\xi \\& \quad \supseteq \frac{\mathcal{A}_{1}(\xi ;\varrho ,\varsigma )}{ ( \varsigma -\varrho ) ^{2}} \bigl[ \digamma (\varrho ,\zeta ) \Omega ( \varrho ,\iota )+\digamma (\varsigma ,\zeta )\Omega ( \varsigma ,\iota ) \bigr] \\& \qquad {} + \frac{\mathcal{B}_{1}(\xi ;\varrho ,\varsigma )}{ ( \varsigma -\varrho ) ^{2}} \bigl[ \digamma (\varrho ,\zeta )\Omega (\varsigma , \iota )+ \digamma (\varsigma ,\zeta )\Omega (\varrho ,\iota ) \bigr] , \end{aligned}
(3.6)

and

\begin{aligned}& (IR) \int _{\varrho }^{\varsigma }\digamma (\xi ,\iota ) \Omega (\xi ,\zeta )w_{1}(\xi )\,d\xi \\& \quad \supseteq \frac{\mathcal{A}_{1}(\xi ;\varrho ,\varsigma )}{ ( \varsigma -\varrho ) ^{2}} \bigl[ \digamma (\varrho ,\iota ) \Omega ( \varrho ,\zeta )+\digamma (\varsigma ,\iota )\Omega ( \varsigma ,\zeta ) \bigr] \\& \qquad {} + \frac{\mathcal{B}_{1}(\xi ;\varrho ,\varsigma )}{ ( \varsigma -\varrho ) ^{2}} \bigl[ \digamma (\varrho ,\iota )\Omega (\varsigma , \zeta )+ \digamma (\varsigma ,\iota )\Omega (\varrho ,\zeta ) \bigr] . \end{aligned}
(3.7)

Substituting (3.4)–(3.7) in (3.3) and by arranging the resultant one, we get the desired result. On the other hand, the same result can be obtained by using the convexity of interval-valued functions $$\digamma _{\eta }(\xi )=\digamma (\xi ,\eta )$$ and $$\Omega _{\eta }(\xi )=\Omega (\xi ,\eta )$$. □

### Theorem 12

Let $$\digamma ,\Omega :\Delta \subset \mathbb{R} ^{2}\rightarrow \mathbb{R} _{\mathcal{I}}^{+}$$ be two co-ordinated convex interval-valued functions on Δ such that $$\digamma (\vartheta ,s)= [ \underline{\digamma }(\vartheta ,s),\overline{\digamma }(\vartheta ,s) ]$$ and $$\Omega (\vartheta ,s)= [ \underline{\Omega }(\vartheta ,s), \overline{\Omega }(\vartheta ,s) ]$$. In addition, $$w_{1}:[\varrho ,\varsigma ]\rightarrow \mathbb{\mathbb{R} }$$ is nonnegative, integrable, and symmetric about $$\xi =\frac{\varrho +\varsigma }{2}$$ (i.e. $$w_{1}(\xi )=w_{1}(\varrho +\varsigma -\xi )$$) and $$w_{2}:[\zeta ,\iota ]\rightarrow \mathbb{\mathbb{R} }$$ is nonnegative, integrable, and symmetric about $$\eta =\frac{\zeta +\iota }{2}$$. Then we have the following Hermite–Hadamard–Fejér type inclusion:

\begin{aligned}& 4(IR) \int _{\varrho }^{\varsigma } \int _{\zeta }^{ \iota }\digamma \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) w_{1}( \xi )w_{2}(\eta )\,d\eta \,d\xi \\& \quad \supseteq (IR) \int _{\varrho }^{\varsigma } \int _{ \zeta }^{\iota }\digamma ( \xi ,\eta ) \Omega ( \xi ,\eta ) w_{1}(\xi )w_{2}(\eta )\,d\eta \,d\xi \\& \qquad {} + \frac{\mathbf{K}(\varrho ,\varsigma ,\zeta ,\iota )}{(\varsigma -\varrho )^{2}(\iota -\zeta )^{2}} \bigl[ \mathcal{B}_{1}(\xi ;\varrho , \varsigma )\mathcal{A}_{2}(\eta ;\zeta ,\iota )+ \mathcal{B}_{2}(\eta ;\zeta , \iota )\mathcal{A}_{1}( \xi ;\varrho ,\varsigma ) \\& \qquad {}+\mathcal{B}_{1}(\xi ; \varrho ,\varsigma ) \mathcal{B}_{2}(\eta ;\zeta ,\iota ) \bigr] \\& \qquad {} + \frac{\mathbf{L}(\varrho ,\varsigma ,\zeta ,\iota )}{(\varsigma -\varrho )^{2}(\iota -\zeta )^{2}} \bigl[ \mathcal{B}_{2}(\eta ;\zeta ,\iota )\mathcal{B}_{1}(\xi ;\varrho ,\varsigma )+ \mathcal{A}_{2}(\eta ;\zeta ,\iota )\mathcal{A}_{1}( \xi ;\varrho ,\varsigma ) \\& \qquad {}+\mathcal{A}_{1}(\xi ; \varrho ,\varsigma ) \mathcal{B}_{2}(\eta ;\zeta ,\iota ) \bigr] \\& \qquad {} + \frac{\mathbf{M}(\varrho ,\varsigma ,\zeta ,\iota )}{(\varsigma -\varrho )^{2}(\iota -\zeta )^{2}} \bigl[ \mathcal{B}_{2}(\eta ;\zeta ,\iota )\mathcal{B}_{1}(\xi ;\varrho ,\varsigma )+ \mathcal{A}_{2}(\eta ;\zeta ,\iota )\mathcal{A}_{1}( \xi ;\varrho ,\varsigma ) \\& \qquad {}+\mathcal{B}_{1}(\xi ; \varrho ,\varsigma ) \mathcal{A}_{2}(\eta ;\zeta ,\iota ) \bigr] \\& \qquad {} + \frac{\mathbf{N}(\varrho ,\varsigma ,\zeta ,\iota )}{(\varsigma -\varrho )^{2}(\iota -\zeta )^{2}} \bigl[ \mathcal{A}_{1}(\xi ;\varrho , \varsigma )\mathcal{B}_{2}(\eta ;\zeta ,\iota )+ \mathcal{A}_{2}(\eta ;\zeta , \iota )\mathcal{B}_{1}( \xi ;\varrho ,\varsigma ) \\& \qquad {}+\mathcal{A}_{2}(\eta ; \zeta ,\iota ) \mathcal{A}_{1}(\xi ;\varrho ,\varsigma ) \bigr] . \end{aligned}

### Proof

Since Ϝ and Ω are co-ordinated convex interval-valued functions on Δ, the functions $$\digamma _{\xi }$$, $$\Omega _{\xi }$$, $$\digamma _{\eta }$$, and $$\Omega _{\eta }$$ are convex interval-valued. Applying (2.4) for the functions $$\digamma ( \xi ,\frac{\zeta +\iota }{2} )$$ and $$\Omega ( \xi ,\frac{\zeta +\iota }{2} )$$ and multiplying the resultant by $$2\int _{\zeta }^{\iota }w_{2}(\eta )\,d\eta$$, we get

\begin{aligned}& 4\digamma \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) \int _{\varrho }^{\varsigma } \int _{\zeta }^{ \iota }w_{1}(\xi )w_{2}(\eta )\,d\eta \,d\xi \\& \quad \supseteq 2(IR) \int _{\varrho }^{\varsigma } \int _{ \zeta }^{\iota }\digamma \biggl( \xi , \frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \xi ,\frac{\zeta +\iota }{2} \biggr) w_{1}(\xi )w_{2}( \eta )\,d\eta \,d\xi \\& \qquad {} +\frac{2}{(\varsigma -\varrho )^{2}} \biggl[ \digamma \biggl( \varrho ,\frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \varrho , \frac{\zeta +\iota }{2} \biggr) + \digamma \biggl( \varsigma ,\frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \varsigma ,\frac{\zeta +\iota }{2} \biggr) \biggr] \\& \qquad {}\times \biggl( \int _{\zeta }^{\iota }w_{2}(\eta )\,d\eta \biggr) \mathcal{B}_{1}(\xi ;\varrho ,\varsigma ) \\& \qquad {} +\frac{2}{(\varsigma -\varrho )^{2}} \biggl[ \digamma \biggl( \varrho ,\frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \varsigma , \frac{\zeta +\iota }{2} \biggr) + \digamma \biggl( \varsigma ,\frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \varrho , \frac{\zeta +\iota }{2} \biggr) \biggr] \\& \qquad {}\times \biggl( \int _{\zeta }^{\iota }w_{2}(\eta )\,d\eta \biggr) \mathcal{A}_{1}(\xi ;\varrho ,\varsigma ). \end{aligned}
(3.8)

Similarly, if we apply (2.4) for the functions $$\digamma ( \frac{\varrho +\varsigma }{2},\eta )$$ and $$\Omega ( \frac{\varrho +\varsigma }{2},\eta )$$ and multiply the resultant inclusion by $$2\int _{\varrho }^{\varsigma }w_{1}(\xi )\,d\xi$$, we get

\begin{aligned}& 4\digamma \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) \int _{\varrho }^{\varsigma } \int _{\zeta }^{ \iota }w_{1}(\xi )w_{2}(\eta )\,d\eta \,d\xi \\& \quad \supseteq 2(IR) \int _{\varrho }^{\varsigma } \int _{ \zeta }^{\iota }\digamma \biggl( \frac{\varrho +\varsigma }{2},\eta \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2},\eta \biggr) w_{1}( \xi )w_{2}(\eta )\,d\eta \,d\xi \\& \qquad {} +\frac{2}{(\iota -\zeta )^{2}} \biggl[ \digamma \biggl( \frac{\varrho +\varsigma }{2},\zeta \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2},\zeta \biggr) +\digamma \biggl( \frac{\varrho +\varsigma }{2}, \iota \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2}, \iota \biggr) \biggr] \\& \qquad {}\times\biggl( \int _{\varrho }^{\varsigma }w_{1}( \xi )\,d\xi \biggr) \mathcal{B}_{2}(\eta ;\zeta ,\iota ) \\& \qquad {} +\frac{2}{(\iota -\zeta )^{2}} \biggl[ \digamma \biggl( \frac{\varrho +\varsigma }{2},\zeta \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2},\iota \biggr) +\digamma \biggl( \frac{\varrho +\varsigma }{2}, \iota \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2}, \zeta \biggr) \biggr] \\& \qquad {}\times\biggl( \int _{\varrho }^{\varsigma }w_{1}( \xi )\,d\xi \biggr) \mathcal{A}_{2}(\eta ;\zeta ,\iota ). \end{aligned}
(3.9)

Using (2.4) for each term in the right-hand sides of (3.8) and (3.9), we have

\begin{aligned}& 2\digamma \biggl( \varrho ,\frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \varrho ,\frac{\zeta +\iota }{2} \biggr) \int _{ \zeta }^{\iota }w_{2}(\eta )\,d\eta \end{aligned}
(3.10)
\begin{aligned}& \quad \supseteq (IR) \int _{\zeta }^{ \iota }\digamma (\varrho ,\eta )\Omega ( \varrho ,\eta )w_{2}(\eta )\,d\eta \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\zeta )\Omega (\varrho ,\zeta ) +\digamma (\varrho ,\iota )\Omega (\varrho ,\iota )}{(\iota -\zeta )^{2}} \biggr] \mathcal{B}_{1}(\eta ; \zeta ,\iota ) \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\zeta )\Omega (\varrho ,\iota ) +\digamma (\varrho ,\iota )\Omega (\varrho ,\zeta )}{(\iota -\zeta )^{2}} \biggr] \mathcal{A}_{1}(\eta ; \zeta ,\iota ), \\& 2\digamma \biggl( \varsigma ,\frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \varsigma ,\frac{\zeta +\iota }{2} \biggr) \int _{\zeta }^{\iota }w_{2}(\eta )\,d\eta \end{aligned}
(3.11)
\begin{aligned}& \quad \supseteq (IR) \int _{\zeta }^{\iota }\digamma (\varsigma ,\eta )\Omega ( \varsigma ,\eta )w_{2}(\eta )\,d\eta \\& \qquad {} + \biggl[ \frac{\digamma (\varsigma ,\zeta )\Omega (\varsigma ,\zeta )+\digamma (\varsigma ,\iota )\Omega (\varsigma ,\iota )}{(\iota -\zeta )^{2}} \biggr] \mathcal{B}_{1}(\eta ; \zeta ,\iota ) \\& \qquad {} + \biggl[ \frac{\digamma (\varsigma ,\zeta )\Omega (\varsigma ,\iota )+\digamma (\varsigma ,\iota )\Omega (\varsigma ,\zeta )}{(\iota -\zeta )^{2}} \biggr] \mathcal{A}_{1}(\eta ; \zeta ,\iota ), \\& 2\digamma \biggl( \varrho ,\frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \varsigma ,\frac{\zeta +\iota }{2} \biggr) \int _{ \zeta }^{\iota }w_{2}(\eta )\,d\eta \end{aligned}
(3.12)
\begin{aligned}& \quad \supseteq (IR) \int _{\zeta }^{ \iota }\digamma (\varrho ,\eta )\Omega ( \varsigma ,\eta )w_{2}(\eta )\,d\eta \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\zeta )\Omega (\varsigma ,\zeta )+\digamma (\varrho ,\iota )\Omega (\varsigma ,\iota )}{(\iota -\zeta )^{2}} \biggr] \mathcal{B}_{1}( \eta ;\zeta ,\iota ) \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\zeta )\Omega (\varsigma ,\iota )+\digamma (\varrho ,\iota )\Omega (\varsigma ,\zeta )}{(\iota -\zeta )^{2}} \biggr] \mathcal{A}_{1}( \eta ;\zeta ,\iota ), \\& 2\digamma \biggl( \varsigma ,\frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \varrho ,\frac{\zeta +\iota }{2} \biggr) \int _{ \zeta }^{\iota }w_{2}(\eta )\,d\eta \end{aligned}
(3.13)
\begin{aligned}& \quad \supseteq (IR) \int _{\zeta }^{ \iota }\digamma (\varsigma ,\eta )\Omega (\varrho ,\eta )w_{2}(\eta )\,d\eta \\& \qquad {} + \biggl[ \frac{\digamma (\varsigma ,\zeta )\Omega (\varrho ,\zeta )+\digamma (\varsigma ,\iota )\Omega (\varrho ,\iota )}{(\iota -\zeta )^{2}} \biggr] \mathcal{B}_{1}( \eta ;\zeta ,\iota ) \\& \qquad {} + \biggl[ \frac{\digamma (\varsigma ,\zeta )\Omega (\varrho ,\iota )+\digamma (\varsigma ,\iota )\Omega (\varrho ,\zeta )}{(\iota -\zeta )^{2}} \biggr] \mathcal{A}_{1}( \eta ;\zeta ,\iota ), \\& 2\digamma \biggl( \frac{\varrho +\varsigma }{2},\zeta \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2},\zeta \biggr) \int _{\varrho }^{\varsigma }w_{1}(\xi )\,d\xi \end{aligned}
(3.14)
\begin{aligned}& \quad \supseteq (IR) \int _{\varrho }^{\varsigma }\digamma (\xi ,\zeta )\Omega (\xi , \zeta )w_{1}(\xi )\,d\xi \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\zeta )\Omega (\varrho ,\zeta )+\digamma (\varsigma ,\zeta )\Omega (\varsigma ,\zeta )}{(\varsigma -\varrho )^{2}} \biggr] \mathcal{B}_{1}( \xi ;\varrho ,\varsigma ) \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\zeta )\Omega (\varsigma ,\zeta )+\digamma (\varsigma ,\zeta )\Omega (\varrho ,\zeta )}{(\varsigma -\varrho )^{2}} \biggr] \mathcal{A}_{1}(\xi ; \varrho ,\varsigma ), \\& 2\digamma \biggl( \frac{\varrho +\varsigma }{2},\iota \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2},\iota \biggr) \int _{\varrho }^{\varsigma }w_{1}(\xi )\,d\xi \end{aligned}
(3.15)
\begin{aligned}& \quad \supseteq (IR) \int _{\varrho }^{\varsigma }\digamma (\xi ,\iota )\Omega (\xi , \iota )w_{1}(\xi )\,d\xi \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\iota )\Omega (\varrho ,\iota )+\digamma (\varsigma ,\iota )\Omega (\varsigma ,\iota )}{(\varsigma -\varrho )^{2}} \biggr] \mathcal{B}_{1}( \xi ;\varrho ,\varsigma ) \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\iota )\Omega (\varsigma ,\iota )+\digamma (\varsigma ,\iota )\Omega (\varrho ,\iota )}{(\varsigma -\varrho )^{2}} \biggr] \mathcal{A}_{1}(\xi ; \varrho ,\varsigma ), \\& 2\digamma \biggl( \frac{\varrho +\varsigma }{2},\iota \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2},\iota \biggr) \int _{\varrho }^{\varsigma }w_{1}(\xi )\,d\xi \end{aligned}
(3.16)
\begin{aligned}& \quad \supseteq (IR) \int _{\varrho }^{\varsigma }\digamma (\xi ,\iota )\Omega (\xi , \iota )w_{1}(\xi )\,d\xi \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\iota )\Omega (\varrho ,\iota )+\digamma (\varsigma ,\iota )\Omega (\varsigma ,\iota )}{(\varsigma -\varrho )^{2}} \biggr] \mathcal{B}_{1}( \xi ;\varrho ,\varsigma ) \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\iota )\Omega (\varsigma ,\iota )+\digamma (\varsigma ,\iota )\Omega (\varrho ,\iota )}{(\varsigma -\varrho )^{2}} \biggr] \mathcal{A}_{1}(\xi ; \varrho ,\varsigma ), \\& 2\digamma \biggl( \frac{\varrho +\varsigma }{2},\zeta \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2},\iota \biggr) \int _{\varrho }^{\varsigma }w_{1}(\xi )\,d\xi \end{aligned}
(3.17)
\begin{aligned}& \quad \supseteq (IR) \int _{\varrho }^{\varsigma }\digamma (\xi ,\zeta )\Omega (\xi , \iota )w_{1}(\xi )\,d\xi \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\zeta )\Omega (\varrho ,\iota )+\digamma (\varsigma ,\zeta )\Omega (\varsigma ,\iota )}{(\varsigma -\varrho )^{2}} \biggr] \mathcal{B}_{1}( \xi ;\varrho ,\varsigma ) \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\zeta )\Omega (\varsigma ,\iota )+\digamma (\varsigma ,\zeta )\Omega (\varrho ,\iota )}{(\varsigma -\varrho )^{2}} \biggr] \mathcal{A}_{1}(\xi ; \varrho ,\varsigma ), \\& 2\digamma \biggl( \frac{\varrho +\varsigma }{2},\iota \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2},\zeta \biggr) \int _{\varrho }^{\varsigma }w_{1}(\xi )\,d\xi \\& \quad \supseteq (IR) \int _{\varrho }^{\varsigma }\digamma (\xi ,\iota )\Omega (\xi , \zeta )w_{1}(\xi )\,d\xi \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\iota )\Omega (\varrho ,\zeta )+\digamma (\varsigma ,\iota )\Omega (\varsigma ,\zeta )}{(\varsigma -\varrho )^{2}} \biggr] \mathcal{B}_{1}( \xi ;\varrho ,\varsigma ) \\& \qquad {} + \biggl[ \frac{\digamma (\varrho ,\iota )\Omega (\varsigma ,\zeta )+\digamma (\varsigma ,\iota )\Omega (\varrho ,\zeta )}{(\varsigma -\varrho )^{2}} \biggr] \mathcal{A}_{1}(\xi ; \varrho ,\varsigma ). \end{aligned}
(3.18)

Putting (3.10)–(3.18) in (3.8) and (3.9) and adding the resultant one, we obtain

\begin{aligned}& 8\digamma \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) \int _{\varrho }^{\varsigma } \int _{\zeta }^{ \iota }w_{1}(\xi )w_{2}(\eta )\,d\eta \,d\xi \\& \quad \supseteq 2(IR) \int _{\varrho }^{\varsigma } \int _{ \zeta }^{\iota }\digamma \biggl( \xi , \frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \xi ,\frac{\zeta +\iota }{2} \biggr) w_{1}(\xi )w_{2}( \eta )\,d\eta \,d\xi \\& \qquad {} +2(IR) \int _{\varrho }^{\varsigma } \int _{\zeta }^{ \iota }\digamma \biggl( \frac{\varrho +\varsigma }{2},\eta \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2},\eta \biggr) w_{1}(\xi )w_{2}( \eta )\,d\eta \,d\xi \\& \qquad {} + \frac{\mathcal{B}_{1}(\xi ;\varrho ,\varsigma )}{(\varsigma -\varrho )^{2}}(IR) \int _{\zeta }^{\iota } \bigl[ \digamma (\varrho ,\eta ) \Omega (\varrho ,\eta )+\digamma (\varsigma ,\eta )\Omega (\varsigma , \eta ) \bigr] w_{2}(\eta )\,d\eta \\& \qquad {} + \frac{\mathcal{A}_{1}(\xi ;\varrho ,\varsigma )}{(\varsigma -\varrho )^{2}}(IR) \int _{\zeta }^{\iota } \bigl[ \digamma (\varrho ,\eta ) \Omega (\varsigma ,\eta )+\digamma (\varsigma ,\eta )\Omega (\varrho , \eta ) \bigr] w_{2}(\eta )\,d\eta \\& \qquad {} +\frac{\mathcal{B}_{2}(\eta ;\zeta ,\iota )}{(\iota -\zeta )^{2}}(IR) \int _{\varrho }^{\varsigma } \bigl[ \digamma (\xi ,\zeta ) \Omega (\xi ,\zeta )+\digamma (\xi ,\iota )\Omega (\xi ,\iota ) \bigr] w_{1}(\xi )\,d\xi \\& \qquad {} +\frac{\mathcal{A}_{2}(\eta ;\zeta ,\iota )}{(\iota -\zeta )^{2}}(IR) \int _{\varrho }^{\varsigma } \bigl[ \digamma (\xi ,\zeta ) \Omega (\xi ,\iota )+\digamma (\xi ,\iota )\Omega (\xi ,\zeta ) \bigr] w_{1}(\xi )\,d\xi \\& \qquad {} + \frac{2\mathbf{K}(\varrho ,\varsigma ,\zeta ,\iota )}{(\varsigma -\varrho )^{2}(\iota -\zeta )^{2}} \mathcal{B}_{1}(\xi ;\varrho ,\varsigma ) \mathcal{B}_{2}(\eta ;\zeta ,\iota ) \\& \qquad {} + \frac{2\mathbf{L}(\varrho ,\varsigma ,\zeta ,\iota )}{(\varsigma -\varrho )^{2}(\iota -\zeta )^{2}} \mathcal{A}_{1}(\xi ;\varrho ,\varsigma ) \mathcal{B}_{2}(\eta ;\zeta ,\iota ) \\& \qquad {} + \frac{2\mathbf{M}(\varrho ,\varsigma ,\zeta ,\iota )}{(\varsigma -\varrho )^{2}(\iota -\zeta )^{2}} \mathcal{B}_{1}(\xi ;\varrho ,\varsigma ) \mathcal{A}_{2}(\eta ;\zeta ,\iota ) \\& \qquad {} + \frac{2\mathbf{N}(\varrho ,\varsigma ,\zeta ,\iota )}{(\varsigma -\varrho )^{2}(\iota -\zeta )^{2}} \mathcal{A}_{1}(\xi ;\varrho ,\varsigma ) \mathcal{A}_{2}(\eta ;\zeta ,\iota ). \end{aligned}
(3.19)

By applying (2.4) to the functions $$\digamma ( \xi ,\frac{\zeta +\iota }{2} )$$ and $$\Omega ( \xi ,\frac{\zeta +\iota }{2} )$$, we get

\begin{aligned}& 2(IR) \int _{\varrho }^{\varsigma } \int _{\zeta }^{ \iota }\digamma \biggl( \xi , \frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \xi ,\frac{\zeta +\iota }{2} \biggr) w_{1}(\xi )w_{2}(\eta )\,d\eta \,d\xi \\& \quad \supseteq (IR) \int _{\varrho }^{\varsigma } \int _{ \zeta }^{\iota }\digamma (\xi ,\eta )\Omega (\xi , \eta )w_{1}(\xi )w_{2}( \eta )\,d\eta \,d\xi \\& \qquad {} +\frac{\mathcal{B}_{2}(\eta ;\zeta ,\iota )}{(\iota -\zeta )^{2}}(IR) \int _{\varrho }^{\varsigma } \bigl[ \digamma (\xi ,\zeta ) \Omega (\xi ,\zeta )+\digamma (\xi ,\iota )\Omega (\xi ,\iota ) \bigr] w_{1}(\xi )\,d\xi \\& \qquad {} +\frac{\mathcal{A}_{2}(\eta ;\zeta ,\iota )}{(\iota -\zeta )^{2}}(IR) \int _{\varrho }^{\varsigma } \bigl[ \digamma (\xi ,\zeta ) \Omega (\xi ,\iota )+\digamma (\xi ,\iota )\Omega (\xi ,\zeta ) \bigr] w_{1}(\xi )\,d\xi . \end{aligned}
(3.20)

Similarly, if we apply (2.4) to the functions $$\digamma ( \frac{\varrho +\varsigma }{2},\eta )$$ and $$\Omega ( \frac{\varrho +\varsigma }{2},\eta )$$, then we have

\begin{aligned}& 2(IR) \int _{\varrho }^{\varsigma } \int _{\zeta }^{ \iota }\digamma \biggl( \frac{\varrho +\varsigma }{2},\eta \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2},\eta \biggr) w_{1}(\xi )w_{2}( \eta )\,d\eta \,d\xi \\& \quad \supseteq (IR) \int _{\varrho }^{\varsigma } \int _{ \zeta }^{\iota }\digamma (\xi ,\eta )\Omega (\xi , \eta )w_{1}(\xi )w_{2}( \eta )\,d\eta \,d\xi \\& \qquad {} + \frac{\mathcal{B}_{1}(\xi ;\varrho ,\varsigma )}{(\varsigma -\varrho )^{2}}(IR) \int _{\zeta }^{\iota } \bigl[ \digamma (\varrho ,\eta ) \Omega (\varrho ,\eta )+\digamma (\varsigma ,\eta )\Omega (\varsigma , \eta ) \bigr] w_{2}(\eta )\,d\eta \\& \qquad {} + \frac{\mathcal{A}_{1}(\xi ;\varrho ,\varsigma )}{(\varsigma -\varrho )^{2}}(IR) \int _{\zeta }^{\iota } \bigl[ \digamma (\varrho ,\eta ) \Omega (\varsigma ,\eta )+\digamma (\varsigma ,\eta )\Omega (\varrho , \eta ) \bigr] w_{2}(\eta )\,d\eta . \end{aligned}
(3.21)

Substituting (3.20) and (3.21) in (3.19), we have

\begin{aligned}& 8\digamma \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) \int _{\varrho }^{\varsigma } \int _{\zeta }^{ \iota }w_{1}(\xi )w_{2}(\eta )\,d\eta \,d\xi \\& \quad \supseteq 2(IR) \int _{\varrho }^{\varsigma } \int _{ \zeta }^{\iota }\digamma (\xi ,\eta )\Omega (\xi , \eta )w_{1}(\xi )w_{2}( \eta )\,d\eta \,d\xi \\& \qquad {} + \frac{2B_{1}(\xi ;\varrho ,\varsigma )}{(\varsigma -\varrho )^{2}}(IR) \int _{\zeta }^{\iota } \bigl[ \digamma (\varrho ,\eta ) \Omega (\varrho ,\eta )+\digamma (\varsigma ,\eta )\Omega (\varsigma , \eta ) \bigr] w_{2}(\eta )\,d\eta \\& \qquad {} + \frac{2A_{1}(\xi ;\varrho ,\varsigma )}{(\varsigma -\varrho )^{2}}(IR) \int _{\zeta }^{\iota } \bigl[ \digamma (\varrho ,\eta ) \Omega (\varsigma ,\eta )+\digamma (\varsigma ,\eta )\Omega (\varrho , \eta ) \bigr] w_{2}(\eta )\,d\eta \\& \qquad {} +\frac{2B_{2}(\eta ;\zeta ,\iota )}{(\iota -\zeta )^{2}}(IR) \int _{\varrho }^{\varsigma } \bigl[ \digamma (\xi ,\zeta ) \Omega ( \xi ,\zeta )+\digamma (\xi ,\iota )\Omega (\xi ,\iota ) \bigr] w_{1}( \xi )\,d\xi \\& \qquad {} +\frac{2A_{2}(\eta ;\zeta ,\iota )}{(\iota -\zeta )^{2}}(IR) \int _{\varrho }^{\varsigma } \bigl[ \digamma (\xi ,\zeta ) \Omega ( \xi ,\iota )+\digamma (\xi ,\iota )\Omega (\xi ,\zeta ) \bigr] w_{1}( \xi )\,d\xi \\& \qquad {} + \frac{2\mathbf{K}(\varrho ,\varsigma ,\zeta ,\iota )}{(\varsigma -\varrho )^{2}(\iota -\zeta )^{2}} \mathcal{B}_{1}(\xi ;\varrho ,\varsigma ) \mathcal{B}_{2}(\eta ;\zeta ,\iota ) \\& \qquad {} + \frac{2\mathbf{L}(\varrho ,\varsigma ,\zeta ,\iota )}{(\varsigma -\varrho )^{2}(\iota -\zeta )^{2}} \mathcal{A}_{1}(\xi ;\varrho ,\varsigma ) \mathcal{B}_{2}(\eta ;\zeta ,\iota ) \\& \qquad {} + \frac{2\mathbf{M}(\varrho ,\varsigma ,\zeta ,\iota )}{(\varsigma -\varrho )^{2}(\iota -\zeta )^{2}} \mathcal{B}_{1}(\xi ;\varrho ,\varsigma ) \mathcal{A}_{2}(\eta ;\zeta ,\iota ) \\& \qquad {} + \frac{2\mathbf{N}(\varrho ,\varsigma ,\zeta ,\iota )}{(\varsigma -\varrho )^{2}(\iota -\zeta )^{2}} \mathcal{A}_{1}(\xi ;\varrho ,\varsigma ) \mathcal{A}_{2}(\eta ;\zeta ,\iota ). \end{aligned}
(3.22)

By applying (2.3) to each integral in (3.22), we obtain the desired result. □

### Remark 3

If we choose $$w_{1}(\xi )=1$$ and $$w_{2}(\eta )=1$$ in Theorem 11 and Theorem 12, we get (2.6) and (2.7), respectively.

### Remark 4

If we choose $$w_{1}(\xi )=\frac{\alpha }{(\varsigma -\varrho )^{\alpha -1}} [ (\varsigma -\xi )^{\alpha -1}+(\xi -\varrho )^{\alpha -1} ]$$ with $$\alpha >0$$ and $$w_{2}(\eta )=\frac{\beta }{(\iota -\zeta )^{\beta -1}} [ (\iota -\eta )^{\beta -1}+(\eta -\zeta )^{\beta -1} ]$$ with $$\beta >0$$ in Theorem 11 and Theorem 12, we get

\begin{aligned}& \frac{\Gamma ( \alpha +1 ) \Gamma ( \beta +1 ) }{4(\varsigma -\varrho )^{\alpha } ( \iota -\zeta ) ^{\beta }} \\& \qquad {} \times \bigl[ \mathcal{J}_{\varrho +,\zeta +}^{\alpha ,\beta } \digamma ( \varsigma ,\iota )\Omega (\varsigma ,\iota )+\mathcal{J}_{ \varrho +,\iota -}^{\alpha ,\beta } \digamma (\varsigma ,\zeta ) \Omega (\varsigma ,\zeta )+\mathcal{J}_{\varsigma -,\zeta +}^{\alpha ,\beta }\digamma (\varrho , \iota )\Omega ( \varrho ,\iota ) \\& \qquad {}+\mathcal{J}_{\varsigma -,\iota -}^{ \alpha ,\beta }\digamma (\varrho , \zeta )\Omega (\varrho ,\zeta ) \bigr] \\& \quad \supseteq \biggl[ \frac{1}{2}- \frac{\beta }{ ( \beta +1 ) ( \beta +2 ) } \biggr] \biggl[ \frac{1}{2}- \frac{\alpha }{ ( \alpha +1 ) ( \alpha +2 ) } \biggr] \mathbf{K}(\varrho , \varsigma ,\zeta ,\iota ) \\& \qquad {} + \biggl[ \frac{1}{2}- \frac{\beta }{ ( \beta +1 ) ( \beta +2 ) } \biggr] \biggl[ \frac{\alpha }{ ( \alpha +1 ) ( \alpha +2 ) } \biggr] \mathbf{L}(\varrho ,\varsigma ,\zeta , \iota ) \\& \qquad {} + \biggl[ \frac{\beta }{ ( \beta +1 ) ( \beta +2 ) } \biggr] \biggl[ \frac{1}{2}- \frac{\alpha }{ ( \alpha +1 ) ( \alpha +2 ) } \biggr] \mathbf{M}(\varrho ,\varsigma ,\zeta , \iota ) \\& \qquad {} + \biggl[ \frac{\beta }{ ( \beta +1 ) ( \beta +2 ) } \biggr] \biggl[ \frac{\alpha }{ ( \alpha +1 ) ( \alpha +2 ) } \biggr] \mathbf{N}(\varrho ,\varsigma ,\zeta ,\iota ) \end{aligned}

and

\begin{aligned}& 4\digamma \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) \Omega \biggl( \frac{\varrho +\varsigma }{2}, \frac{\zeta +\iota }{2} \biggr) \\& \quad \supseteq \frac{\Gamma ( \alpha +1 ) \Gamma ( \beta +1 ) }{4(\varsigma -\varrho )^{\alpha } ( \iota -\zeta ) ^{\beta }} \\& \qquad {} \times \bigl[ \mathcal{J}_{\varrho +,\zeta +}^{\alpha ,\beta } \digamma ( \varsigma ,\iota )\Omega (\varsigma ,\iota )+\mathcal{J}_{ \varrho +,\iota -}^{\alpha ,\beta } \digamma (\varsigma ,\zeta ) \Omega (\varsigma ,\zeta )+\mathcal{J}_{\varsigma -,\zeta +}^{\alpha ,\beta }\digamma (\varrho , \iota )\Omega ( \varrho ,\iota ) \\& \qquad {}+\mathcal{J}_{\varsigma -,\iota -}^{ \alpha ,\beta }\digamma (\varrho , \zeta )\Omega (\varrho ,\zeta ) \bigr] \\& \qquad {} + \biggl\{ \frac{\alpha }{2 ( \alpha +1 ) ( \alpha +2 ) }+ \biggl[ \frac{\beta }{ ( \beta +1 ) ( \beta +2 ) } \biggr] \biggl[ \frac{1}{2}- \frac{\alpha }{ ( \alpha +1 ) ( \alpha +2 ) } \biggr] \biggr\} \mathbf{K}(\varrho ,\varsigma ,\zeta ,\iota ) \\& \qquad {} + \biggl\{ \frac{1}{2} \biggl[ \frac{1}{2}- \frac{\alpha }{ ( \alpha +1 ) ( \alpha +2 ) } \biggr] + \biggl[ \frac{\alpha }{ ( \alpha +1 ) ( \alpha +2 ) } \biggr] \biggl[ \frac{\beta }{ ( \beta +1 ) ( \beta +2 ) } \biggr] \biggr\} \mathbf{L}(\varrho ,\varsigma , \zeta ,\iota ) \\& \qquad {} + \biggl\{ \frac{1}{2} \biggl[ \frac{1}{2}- \frac{\beta }{ ( \beta +1 ) ( \beta +2 ) } \biggr] + \biggl[ \frac{\alpha }{ ( \alpha +1 ) ( \alpha +2 ) } \biggr] \biggl[ \frac{\beta }{ ( \beta +1 ) ( \beta +2 ) } \biggr] \biggr\} \mathbf{M}(\varrho ,\varsigma , \zeta ,\iota ) \\& \qquad {} + \biggl\{ \frac{1}{4}- \biggl[ \frac{\alpha }{ ( \alpha +1 ) ( \alpha +2 ) } \biggr] \biggl[ \frac{\beta }{ ( \beta +1 ) ( \beta +2 ) } \biggr] \biggr\} \mathbf{N}(\varrho ,\varsigma , \zeta ,\iota ) \end{aligned}

which are proved by Kara et al. in [4].

## Concluding remarks

In this research, some new Hermite–Hadamard–Fejér type inclusions for the product of two co-ordinated convex interval-valued functions are offered. We also proved that the results given in this work generalize the results given in [4, 53]. It is an interesting and new problem that the upcoming researchers can obtain similar inclusions for different kinds of convexities and integrals in their future investigation.

## Availability of data and materials

Data sharing not applicable to this paper as no data sets were generated or analyzed during the current study.

## References

1. Aubin, J.P., Cellina, A.: Differential Inclusions. Springer, New York (1984)

2. Breckner, W.W.: Continuity of generalized convex and generalized concave set-valued functions. Rev. Anal. Numér. Théor. Approx. 22(1), 39–51 (1993)

3. Budak, H., Bakış, Y.: On Fejér type inequalities for products two convex functions. Note Mat. (in press). https://doi.org/10.13140/RG.2.2.10003.73769

4. Budak, H., Kara, H., Ali, M.A., Khan, S.: Fractional Hermite–Hadamard type inequalities for interval-valued co-ordinated convex functions (2020, submitted)

5. Budak, H., Kara, H., Erden, S.: On Fejér type inequalities for products of interval-valued convex functions (2020, submitted)

6. Budak, H., Sarikaya, M.Z.: Hermite–Hadamard type inequalities for products of two co-ordinated convex mappings via fractional integrals. Int. J. Appl. Math. Stat. 58(4), 11–30 (2019)

7. Budak, H., Tunç, T., Sarikaya, M.Z.: Fractional Hermite–Hadamard-type inequalities for interval-valued functions. Proc. Am. Math. Soc. 148(2), 705–718 (2020)

8. Chalco-Cano, Y., Flores-Franulic, A., Roman-Flores, H.: Ostrowski type inequalities for interval-valued functions using generalized Hukuhara derivative. Comput. Appl. Math. 31, 457–472 (2012)

9. Chalco-Cano, Y., Lodwick, W.A., Condori-Equice, W.: Ostrowski type inequalities and applications in numerical integration for interval-valued functions. Soft Comput. 19, 3293–3300 (2015)

10. Chen, F.: A note on Hermite–Hadamard inequalities for products of convex functions. J. Appl. Math. 2013, Article ID 935020 (2013)

11. Chen, F.: A note on Hermite–Hadamard inequalities for products of convex functions via Riemann–Liouville fractional integrals. Ital. J. Pure Appl. Math. 33, 299–306 (2014)

12. Chen, F., Wu, S.: Several complementary inequalities to inequalities of Hermite–Hadamard type for s-convex functions. J. Nonlinear Sci. Appl. 9, 705–716 (2016)

13. Costa, T.M.: Jensen’s inequality type integral for fuzzy interval-valued functions. Fuzzy Sets Syst. 327, 31–47 (2017)

14. Costa, T.M., Roman-Flores, H.: Some integral inequalities for fuzzy-interval-valued functions. Inf. Sci. 420, 110–125 (2017)

15. Dinghas, A.: Zum Minkowskischen Integralbegriff abgeschlossener Mengen. Math. Z. 66, 173–188 (1956)

16. Dragomir, S.S., Agarwal, R.P.: Two inequalities for differentiable mappings and applications to special means of real numbers and to trapezoidal formula. Appl. Math. Lett. 11(5), 91–95 (1998)

17. Erden, S., Sarıkaya, M.Z., Budak, H.: New weighted inequalities for higher order derivatives and applications. Filomat 32(12), 4419–4433 (2018)

18. Fejér, L.: Über die Fourierreihen, II. Math. Naturwiss. Anz. Ungar. Akad. Wiss. 24, 369–390 (1906) (Hungarian)

19. Flores-Franulic, A., Chalco-Cano, Y., Roman-Flores, H.: An Ostrowski type inequality for interval-valued functions. In: IFSA World Congress and NAFIPS Annual Meeting IEEE, vol. 35, pp. 1459–1462 (2013)

20. Gorenflo, R., Mainardi, F.: Fractional calculus: integral and differential equations of fractional order. In: Fractals and Fractional Calculus in Continuum Mechanics, pp. 223–276. Springer, Wien (1997)

21. Hue, N.N., Huy, D.Q.: Some inequalities of the Hermite–Hadamard type for product of two functions. J. New Theory, 26–37 (2016)

22. Iscan, I.: Hermite–Hadamard–Fejér type inequalities for convex functions via fractional integrals. Stud. Univ. Babeş–Bolyai, Math. 60(3), 355–366 (2015)

23. Kara, H., Ali, M.A., Budak, H.: Hermite–Hadamard-type inequalities for interval-valued coordinated convex functions involving generalized fractional integrals. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6712

24. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

25. Kırmacı, U.S.: Inequalities for differentiable mappings and applications to special means of real numbers and to midpoint formula. Appl. Math. Comput. 147, 137–146 (2004)

26. Kırmacı, U.S., Bakula, M.K., Özdemir, M.E., Pečarić, J.: Hadamard-type inequalities for s-convex functions. Appl. Math. Comput. 193, 26–35 (2007)

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

28. Liu, X., Ye, G., Zhao, D., Liu, W.: Fractional Hermite–Hadamard type inequalities for interval-valued functions. J. Inequal. Appl. 2019(1), 266 (2019)

29. Lupulescu, V.: Fractional calculus for interval-valued functions. Fuzzy Sets Syst. 265, 63–85 (2015)

30. Markov, S.: On the algebraic properties of convex bodies and some applications. J. Convex Anal. 7(1), 129–166 (2000)

31. Miller, S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations p. 2. Wiley, New York (1993)

32. Mitroi, F.C., Kazimierz, N., Wasowicz, S.: Hermite–Hadamard inequalities for convex set-valued functions. Demonstr. Math. XLVI(4), 655–662 (2013)

33. Moore, R.E.: Interval Analysis. Prentice Hall, Englewood Cliffs (1966)

34. Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis, vol. 110. SIAM, Philadelphia (2009)

35. Nikodem, K.: On midpoint convex set-valued functions. Aequ. Math. 33, 46–56 (1987)

36. Nikodem, K., Snchez, J.L., Snchez, L.: Jensen and Hermite–Hadamard inequalities for strongly convex set-valued maps. Math. Æterna 4(8), 979–987 (2014)

37. Osuna-Gómez, R., Jiménez-Gamero, M.D., Chalco-Cano, Y., Rojas-Medar, M.A.: Hadamard and Jensen inequalities for s-convex fuzzy processes. In: Soft Methodology and Random Information Systems, pp. 645–652. Springer, Berlin (2004)

38. Ozdemir, M.E., Latif, M.A., Akdemir, A.O.: On some Hadamard-type inequalities for product of two s-convex functions on the co-ordinates. J. Inequal. Appl. 2012, 21 (2012)

39. Ozdemir, M.E., Latif, M.A., Akdemir, A.O.: On some Hadamard-type inequalities for product of two h-convex functions on the co-ordinates. Turk. J. Sci. 1, 41–58 (2016)

40. Pachpatte, B.G.: On some inequalities for convex functions. RGMIA Res. Rep. Coll. 6(E) (2003)

41. Piatek, B.: On the Sincov functional equation. Demonstr. Math. 38(4), 875–882 (2005)

42. Piatek, B.: On the Riemann integral of set-valued functions. Zeszyty Naukowe. Matematyka Stosowana/Politechnika Slaska (2012)

43. Podlubni, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

44. Roman-Flores, H., Chalco-Cano, Y., Lodwick, W.A.: Some integral inequalities for interval-valued functions. Comput. Appl. Math. 37, 1306–1318 (2018)

45. Roman-Flores, H., Chalco-Cano, Y., Silva, G.N.: A note on Gronwall type inequality for interval-valued functions. In: IFSA World Congress and NAFIPS Annual Meeting IEEE, vol. 35, pp. 1455–1458 (2013)

46. Sadowska, E.: Hadamard inequality and a refinement of Jensen inequality for set-valued functions. Results Math. 32, 332–337 (1997)

47. Sarikaya, M.Z., Erden, S.: On the Hermite–Hadamard–Fejér type integral inequality for convex function. Turk. J. Anal. Number Theory 2(3), 85–89 (2014)

48. Sarikaya, M.Z., Erden, S.: On the weighted integral inequalities for convex functions. Acta Univ. Sapientiae Math. 6(2), 194–208 (2014)

49. Sarikaya, M.Z., Set, E., Yaldiz, H., Basak, N.: Hermite–Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 57, 2403–2407 (2013)

50. Set, E., Özdemir, M.E., Dragomir, S.S.: On the Hermite–Hadamard inequality and other integral inequalities involving two functions. J. Inequal. Appl. 2010, Article ID 148102 (2010)

51. Wu, Y., Qi, F., Niu, D.-W.: Integral inequalities of Hermite–Hadamard type for the product of strongly logarithmically convex and other convex functions. Maejo Int. J. Sci. Technol. 9(3), 394–402 (2015)

52. Yin, H.-P., Qi, F.: Hermite–Hadamard type inequalities for the product of $$(\alpha ,m)$$-convex functions. J. Nonlinear Sci. Appl. 8, 231–236 (2015)

53. Zhao, D., Ali, M.A., Murtaza, G., Zhang, Z.: On the Hermite–Hadamard inequalities for interval-valued co-ordinated convex functions. Adv. Differ. Equ. 2020, 570 (2020)

54. Zhao, D., An, T., Ye, G., Liu, W.: New Jensen and Hermite–Hadamard type inequalities for h-convex interval-valued functions. J. Inequal. Appl. 2018, 302 (2018)

55. Zhao, D., An, T., Ye, G., Liu, W.: Chebyshev type inequalities for interval-valued functions. Fuzzy Sets Syst. 396, 82–101 (2020)

56. Zhao, D., Ye, G., Liu, W., Torres, D.F.: Some inequalities for interval-valued functions on time scales. Soft Comput. 23, 6005–6015 (2019)

## Acknowledgements

We are thankful to the editor and referees for their careful reading and valuable suggestions to make the article reader friendly.

## Funding

The work was supported by the Natural Science Foundation of China (Grant Nos. 61673169, 11301127, 11701176, 11626101, 11601485, 11971241).

## Author information

Authors

### Contributions

The study was carried out in collaboration of all authors. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Yu-Ming Chu.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

Reprints and Permissions

Kara, H., Budak, H., Ali, M.A. et al. Weighted Hermite–Hadamard type inclusions for products of co-ordinated convex interval-valued functions. Adv Differ Equ 2021, 104 (2021). https://doi.org/10.1186/s13662-021-03261-8

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/s13662-021-03261-8

• 26D07
• 26D10
• 26D15
• 26B15
• 26B25