The hybird methods of projection-splitting for solving tensor split feasibility problem

Yajun Xie; Changfeng Ma; Yajun Xie; Changfeng Ma

doi:10.3934/math.20231050

AIMS Mathematics

2023, Volume 8, Issue 9: 20597-20611. doi: 10.3934/math.20231050

Previous Article Next Article

Research article

The hybird methods of projection-splitting for solving tensor split feasibility problem

Yajun Xie ¹,
Changfeng Ma ^{2
,
,}

1.
Nanchang Normal College of Applied Technology, Nanchang, 330108, China
2.
Key Laboratory of Digital Technology and Intelligent Computing, Fuzhou University of International Studies and Trade, Fuzhou, 350202, China

Received: 15 April 2023 Revised: 23 May 2023 Accepted: 29 May 2023 Published: 26 June 2023
MSC : 60H35; 65F10

Projection-type methods are studied widely and deeply to solve multiples-sets split feasibility problem. From the perspective of splitting iteration, in this paper, the efficient tensor projection-splitting iteration methods are firstly investigated for solving tensor split feasibility problem, which is properly transformed into a tensor equation by taking advantage of projection operator. Then, accelerated overrelaxation method and symmetric (alternating) accelerated overrelaxation method are further generalized to solve this problem from general system of linear equations to multi-linear systems. Theoretically, the convergence is proven by the analysis of spectral radius of splitting iteration tensor. Numerical experiments demonstrate the efficiency of the presented method.

Keywords:

Citation: Yajun Xie, Changfeng Ma. The hybird methods of projection-splitting for solving tensor split feasibility problem[J]. AIMS Mathematics, 2023, 8(9): 20597-20611. doi: 10.3934/math.20231050

Related Papers:

[1]	Iqra Nayab, Shahid Mubeen, Rana Safdar Ali, Faisal Zahoor, Muath Awadalla, Abd Elmotaleb A. M. A. Elamin . Novel fractional inequalities measured by Prabhakar fuzzy fractional operators pertaining to fuzzy convexities and preinvexities. AIMS Mathematics, 2024, 9(7): 17696-17715. doi: 10.3934/math.2024860
[2]	Yanping Yang, Muhammad Shoaib Saleem, Waqas Nazeer, Ahsan Fareed Shah . New Hermite-Hadamard inequalities in fuzzy-interval fractional calculus via exponentially convex fuzzy interval-valued function. AIMS Mathematics, 2021, 6(11): 12260-12278. doi: 10.3934/math.2021710
[3]	Manar A. Alqudah, Artion Kashuri, Pshtiwan Othman Mohammed, Muhammad Raees, Thabet Abdeljawad, Matloob Anwar, Y. S. Hamed . On modified convex interval valued functions and related inclusions via the interval valued generalized fractional integrals in extended interval space. AIMS Mathematics, 2021, 6(5): 4638-4663. doi: 10.3934/math.2021273
[4]	Muhammad Bilal Khan, Muhammad Aslam Noor, Thabet Abdeljawad, Bahaaeldin Abdalla, Ali Althobaiti . Some fuzzy-interval integral inequalities for harmonically convex fuzzy-interval-valued functions. AIMS Mathematics, 2022, 7(1): 349-370. doi: 10.3934/math.2022024
[5]	Muhammad Bilal Khan, Hari Mohan Srivastava, Pshtiwan Othman Mohammed, Dumitru Baleanu, Taghreed M. Jawa . Fuzzy-interval inequalities for generalized convex fuzzy-interval-valued functions via fuzzy Riemann integrals. AIMS Mathematics, 2022, 7(1): 1507-1535. doi: 10.3934/math.2022089
[6]	Jamshed Nasir, Saber Mansour, Shahid Qaisar, Hassen Aydi . Some variants on Mercer's Hermite-Hadamard like inclusions of interval-valued functions for strong Kernel. AIMS Mathematics, 2023, 8(5): 10001-10020. doi: 10.3934/math.2023506
[7]	Hari Mohan Srivastava, Soubhagya Kumar Sahoo, Pshtiwan Othman Mohammed, Bibhakar Kodamasingh, Kamsing Nonlaopon, Khadijah M. Abualnaja . Interval valued Hadamard-Fejér and Pachpatte Type inequalities pertaining to a new fractional integral operator with exponential kernel. AIMS Mathematics, 2022, 7(8): 15041-15063. doi: 10.3934/math.2022824
[8]	Sabila Ali, Shahid Mubeen, Rana Safdar Ali, Gauhar Rahman, Ahmed Morsy, Kottakkaran Sooppy Nisar, Sunil Dutt Purohit, M. Zakarya . Dynamical significance of generalized fractional integral inequalities via convexity. AIMS Mathematics, 2021, 6(9): 9705-9730. doi: 10.3934/math.2021565
[9]	Jamshed Nasir, Shahid Qaisar, Saad Ihsan Butt, Hassen Aydi, Manuel De la Sen . Hermite-Hadamard like inequalities for fractional integral operator via convexity and quasi-convexity with their applications. AIMS Mathematics, 2022, 7(3): 3418-3439. doi: 10.3934/math.2022190
[10]	Muhammad Bilal Khan, Pshtiwan Othman Mohammed, Muhammad Aslam Noor, Abdullah M. Alsharif, Khalida Inayat Noor . New fuzzy-interval inequalities in fuzzy-interval fractional calculus by means of fuzzy order relation. AIMS Mathematics, 2021, 6(10): 10964-10988. doi: 10.3934/math.2021637

Abstract

1. Introduction

The classical Hermite-Hadamard (H-H) inequality, serving as a litmus test for convexity, formally establishes that if the function $\mathscr{F}:[\Im_1, \Im_2]\to\mathbb{R}$ is a convex function satisfying the essential containment relationship between its midpoint value and integral mean. Specifically, the following inequalities are satisfied:

$\begin{equation*} \mathscr{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \le\frac{1}{\Im_2-\Im_1}\int_{\Im_1}^{\Im_2}\mathscr{F}(\sigma)d\sigma \le\frac{1}{2}\bigl(\mathscr{F}(\Im_1)+\mathscr{F}(\Im_2)\bigr). \end{equation*}$

Convexity inequalities have numerous applications in the study of different models from real-world applications ^[1,2]. Because the H-H inequality is of great significance in convex analysis, it is widely applied in various fields such as integral inequalities, information theory, and optimization theory. In recent years, it has been extended and generalized through various forms of convexity, such as log-convexity ^[3,4], harmonic convexity ^[5,6], h-convexity ^[7,8,9], convexity in $q$ -calculus ^[10,11,12] and especially s-convexity ^[13]. Since 1994, s-convexity has been a significant development and widespread application and various generalizations and results regarding H-H inequalities related to s-convex mappings have been established in ^[14,15,16].

From another perspective, interval analysis provides an effective numerical tool for solving uncertain and nonlinear problems. Since the publication of the first monograph in 1966 ^[17], it has evolved into a distinct branch of mathematics, with applications spanning data mining, machine learning, and various other fields. A key focus has been interval-valued (IV) function inequalities. Recently, based on interval calculus and generalized convexity, some authors like Ali et al. ^[18,19,20], Budak et al. ^[21,22], Costa et al. ^[23,24,25], Du et al. ^[26,27], Khan et al.^[28,29], Sarikaya et al. ^[30,31,32], and Zhao et al. ^[33,34,35] established the interval versions of the Chebyshev's inequality, Jensen's inequality, and H-H inequality. Furthermore, with the successive introduction of the bilateral Riemann-Liouville (R-L) fractional integral operators (left-hand and right-hand variants) for IV functions, the results related to inequalities for IV functions are more extensive and profound ^[36,37]. Especially, in 2023, Budak et al. ^[38] introduced a novel generalized integral to demonstrate the generalized H-H-type inclusion of IV convex functions.

Motivated by the above-mentioned literature, we have established some novel interval forms of H-H inequalities by using generalized fractional integral operators and combining them with IV s-convex functions. The classical convexity theory is extended to the generalized s-convex framework, some interesting theorems are proved, and the exact inequality representation of the product of two s-convex functions is given. Our findings not only extend the main conclusions in ^[36,38,39], but also provide new insights for the study of IV inequalities.

The organization of this work is outlined below: Section 2 introduces essential background concepts, while Section 3 establishes a series of H-H-type inequalities for IV s-convex mappings using generalized fractional integral operators. Section 4 gives the conclusion.

2. Preliminaries

Let $\mathcal{A}$ denote a compact real interval, mathematically expressed as

$\begin{equation*} [\mathcal{A}] = [\underline{\mathcal{A}},\overline{\mathcal{A}}] = \{{a\in\mathbb{R}| \underline{\mathcal{A}}\le a\le \overline{\mathcal{A}}}\}, \end{equation*}$

where $\underline{\mathcal{A}}, \overline{\mathcal{A}}\in\mathbb{R}$ satisfy $\underline{\mathcal{A}}\le\overline{\mathcal{A}}$ . If $\underline{\mathcal{A}} = \overline{\mathcal{A}}$ , the interval becomes degenerate. The intervals discussed in this paper are all non-degenerate intervals. An interval $[\mathcal{A}]$ is termed positive when $\underline{\mathcal{A}} > 0$ , and negative if $\overline{\mathcal{A}} < 0$ . The sets $\mathbb{R}_{I}^{-}$ , $\mathbb{R}_{I}^{+}$ , and $\mathbb{R}_{I}$ , respectively, denote all negative, positive, and arbitrary real-valued intervals. Additionally, we adopt the partial ordering " $\supseteq$ " defined by

$\begin{equation*} [\underline{\mathcal{A}},\overline{\mathcal{A}}] \supseteq[\underline{\mathcal{B}},\overline{\mathcal{B}}] \Longleftrightarrow \underline{\mathcal{A}}\le\underline{\mathcal{B}} \quad \text{and} \quad \overline{\mathcal{B}}\le \overline{\mathcal{A}}. \end{equation*}$

For $\eta\in\mathbb{R}$ and $\mathcal{A}\in\mathbb{R}_I$ , then

$\begin{equation*} \eta\mathcal{A} = \eta[\underline{\mathcal{A}},\overline{\mathcal{A}}] = \begin{cases} [\eta\underline{\mathcal{A}},\eta\overline{\mathcal{A}}], \quad {\rm if} \; \eta \geq 0,\\[0.2cm] [\eta\overline{\mathcal{A}},\eta\underline{\mathcal{A}}],\quad{\rm if } \; \eta < 0. \end{cases} \end{equation*}$

For arbitrary $\mathcal{A}, \mathcal{B}\in\mathbb{R}_I$ , the following four arithmetic operations are given:

$\begin{align*} \mathcal{A}+\mathcal{B}& = [\underline{\mathcal{A}},\overline{\mathcal{A}}] +[\underline{\mathcal{B}},\overline{\mathcal{B}}] = [\underline{\mathcal{A}}+\underline{\mathcal{B}},\overline{\mathcal{A}}+\overline{\mathcal{B}}], \nonumber\\ \mathcal{A}-\mathcal{B}& = [\underline{\mathcal{A}},\overline{\mathcal{A}}] -[\underline{\mathcal{B}},\overline{\mathcal{B}}] = [\underline{\mathcal{A}}-\underline{\mathcal{B}},\overline{\mathcal{A}}-\overline{\mathcal{B}}],\nonumber\\ \mathcal{A}\cdot\mathcal{B} & = [min\{\underline{\mathcal{A}}\underline{\mathcal{B}},\underline{\mathcal{A}}\overline{\mathcal{B}}, \overline{\mathcal{A}}\underline{\mathcal{B}},\overline{\mathcal{A}}\overline{\mathcal{B}}\}, max\{\underline{\mathcal{A}}\underline{\mathcal{B}},\underline{\mathcal{A}}\overline{\mathcal{B}}, \overline{\mathcal{A}}\underline{\mathcal{B}},\overline{\mathcal{A}}\overline{\mathcal{B}}\}],\nonumber\\ \mathcal{B}/\mathcal{A}& = [min\{\underline{\mathcal{B}}/\underline{\mathcal{A}}, \underline{\mathcal{B}}/\overline{\mathcal{A}},\overline{\mathcal{B}}/\underline{\mathcal{A}},\overline{\mathcal{B}}/\overline{\mathcal{A}}\}, max\{\underline{\mathcal{B}}/\underline{\mathcal{A}}, \underline{\mathcal{B}}/\overline{\mathcal{A}},\overline{\mathcal{B}}/\underline{\mathcal{A}},\overline{\mathcal{B}}/\overline{\mathcal{A}}\}],\nonumber\\ &(0\notin[\underline{\mathcal{A}},\overline{\mathcal{A}}]). \end{align*}$

For additional information on interval arithmetic, refer to ^[40].

Definition 2.1. ^[13] A function $\mathscr{F}:[\Im_1, \Im_2]\to \mathbb{R}$ is classified as s-convex if it satisfies the convexity condition:

$\begin{equation} \mathscr{F}\bigl(\iota \hbar_1+(1-\iota)\hbar_2\bigr)\le \iota^s\mathscr{F}(\hbar_1)+(1-\iota)^s\mathscr{F}(\hbar_2), \end{equation}$

(2.1)

for all $\hbar_1, \hbar_2\in [\Im_1, \Im_2]$ and $\iota\in[0, 1]$ with $s\in(0, 1]$ .

In ^[41], Breckner introduced the IV s-convex functions.

Definition 2.2. ^[41] $\mathfrak{F}:[\Im_1, \Im_2]\to\mathbb{R}_{I}^{+}$ is defined as an IV s-convex function if

$\begin{equation} \mathfrak{F}\bigl(\iota \hbar_1+(1-\iota)\hbar_2\bigr) \supseteq \iota^s\mathfrak{F}(\hbar_1)+(1-\iota)^s\mathfrak{F}(\hbar_2), \end{equation}$

(2.2)

for $\hbar_1, \hbar_2\in[\Im_1, \Im_2]$ and $\iota\in[0, 1]$ .

Consider $\mathfrak{F}:[\Im_1, \Im_2]\to\mathbb{R}_{I}^{+}$ , we define $\int_{\Im_1}^{\Im_2}\mathfrak{F}(\iota)d\iota$ by

$\begin{equation*} \int_{\Im_1}^{\Im_2}\mathfrak{F}(\iota)d\iota = \biggl[\int_{\Im_1}^{\Im_2}\underline{\mathfrak{F}}(\iota)d\iota,\int_{\Im_1}^{\Im_2}\overline{\mathfrak{F}}(\iota)d\iota\biggr] \end{equation*}$

and say that the function $\mathfrak{F}$ is interval Lebesgue integrable on $[\Im_1, \Im_2]$ (or that $\mathfrak{F}\in IL_{[\Im_1, \Im_2]}$ ).

Definition 2.3. ^[42] Let $\mathscr{F}\in L[\Im_1, \Im_2]$ . The bilateral R-L fractional integral operators, namely the left-sided $\mathcal{J}_{\Im_1+}^{\alpha}\mathscr{F}$ and the right-sided $\mathcal{J}_{\Im_2-}^{\alpha}\mathscr{F}$ , are defined as

$\begin{equation*} \mathcal{J}_{\Im_1+}^{\alpha}\mathscr{F}(\sigma) = \frac{1}{\Gamma(\alpha)}\int_{\Im_1}^{\sigma}(\sigma-\iota)^{\alpha-1} \mathscr{F}(\iota)d\iota, \end{equation*}$

and

$\begin{equation*} \mathcal{J}_{\Im_2-}^{\alpha}\mathscr{F}(\sigma) = \frac{1}{\Gamma(\alpha)}\int_{\sigma }^{\Im_2}(\iota-\sigma)^{\alpha-1} \mathscr{F}(\iota)d\iota, \end{equation*}$

respectively, where $\alpha > 0$ , $\Im_1\ge0$ , $\mathcal{J}_{\Im_1+}^{0}\mathscr{F}(\sigma) = \mathcal{J}_{\Im_2-}^{0}\mathscr{F}(\sigma) = \mathscr{F}(\sigma)$ and $\Gamma(\alpha)$ is the Gamma function.

The H-H inequality in the form of R-L fractional integrals was proved by Sarikaya et al. in ^[32] as follows:

Theorem 2.4. Let $\mathscr{F}\in L[\Im_1, \Im_2]$ be a mapping from $[\Im_1, \Im_2]$ to $\mathbb{R}^{+}$ . If $\mathscr{F}$ satisfies the convexity condition, then

$\begin{align*} \mathscr{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)&\le \frac{\Gamma(\alpha+1)}{2(\Im_2-\Im_1)^\alpha} \bigl(\mathcal{J}_{\Im_1+}^{\alpha}\mathscr{F}(\Im_2) +\mathcal{J}_{\Im_2-}^{\alpha}\mathscr{F}(\Im_1)\bigr) \nonumber\\ &\le \frac{1}{2}\Bigl(\mathscr{F}(\Im_1)+\mathscr{F}(\Im_2)\Bigr), \end{align*}$

with $\alpha > 0$ .

Definition 2.5. ^[36,37] Let $\mathfrak{F}:[\Im_1, \Im_2]\to\mathbb{R}_{I}^{+}$ . The IV R-L fractional integral operators, including both left-sided and right-sided variants, are defined as follows:

$\begin{equation*} \mathcal{I}_{\Im_1+}^{\alpha}\mathfrak{F}(\sigma) = \frac{1}{\Gamma(\alpha)}\int_{\Im_1}^{\sigma}(\sigma-\iota)^{\alpha-1} \mathfrak{F}(\iota)d\iota,\quad \sigma > \Im_1, \end{equation*}$

and

$\begin{equation*} \mathcal{I}_{\Im_2-}^{\alpha}\mathfrak{F}(\sigma) = \frac{1}{\Gamma(\alpha)}\int_{\sigma}^{\Im_2}(\iota-\sigma)^{\alpha-1} \mathfrak{F}(\iota)d\iota,\quad \sigma < \Im_2, \end{equation*}$

respectively. Here, $\mathcal{I}_{\Im_1+}^{\alpha}\mathfrak{F}(\sigma) = \bigl [\mathcal{J}_{\Im_1+}^{\alpha}\underline{\mathfrak{F}}(\sigma), \mathcal{J}_{\Im_1+}^{\alpha}\overline{\mathfrak{F}}(\sigma)\bigr]$ , and $\alpha > 0$ .

In ^[36], Budak et al. gave the fractional H-H inequality for IV convex functions as follows:

Theorem 2.6. Let $\mathfrak{F}:[\Im_1, \Im_2]\to \mathbb{R}_{I}^{+}$ , and $\alpha > 0$ . If $\mathfrak{F}$ is an IV convex function, then

$\begin{equation} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \supseteq\frac{\Gamma(\alpha+1)}{2(\Im_2-\Im_1)^\alpha} \bigl(\mathcal{I}_{\Im_1+ }^{\alpha}\mathfrak{F}(\Im_2) +\mathcal{I}_{\Im_2-}^{\alpha}\mathfrak{F}(\Im_1)\bigr) \supseteq\frac{\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)}{2}. \end{equation}$

(2.3)

Definition 2.7. ^[31] Let $\varphi:[\Im_1, \Im_2]\to\mathbb{R}^{+}$ be a monotonically increasing mapping, and suppose $\mathscr{F}, \varphi\in L[\Im_1, \Im_2]$ . The generalized R-L fractional integral operators $\mathcal{J}_{\Im_1+, \varphi}^{\alpha, k}\mathscr{F}$ and $\mathcal{J}_{\Im_2-, \varphi}^{\alpha, k}\mathscr{F}$ are defined by

$\begin{equation*} \mathcal{J}_{\Im_1+,\varphi}^{\alpha,k}(\mathscr{F})(\sigma) = \frac{1}{\Gamma(\alpha)}\int_{\Im_1}^{\sigma}(\sigma-\iota)^{\alpha-1} \bigl(\varphi(\sigma)-\varphi(\iota)\bigr)^k\mathscr{F}(\iota)d\iota,\quad \sigma > \Im_1, \end{equation*}$

and

$\begin{equation*} \mathcal{J}_{\Im_2-,\varphi}^{\alpha,k}(\mathscr{F})(\sigma) = \frac{1}{\Gamma(\alpha)}\int_{\sigma}^{\Im_2}(\iota-\sigma)^{\alpha-1} \bigl(\varphi(\iota)-\varphi(\sigma)\bigr)^k\mathscr{F}(\iota)d\iota,\quad \sigma < \Im_2, \end{equation*}$

respectively, where $k\in\mathbb{N}\cup\{0\}$ , $\alpha > 0$ , and $\Im_1\ge 0$ .

In 2023, Budak et al. introduced the generalized fractional integral for IV function as follows:

Definition 2.8. ^[38] Let $\varphi:[\Im_1, \Im_2]\to\mathbb{R}^{+}$ be a monotonically increasing function, and $\mathfrak{F}:[\Im_1, \Im_2]\to\mathbb{R}_{I}^{+}$ . The generalized R-L fractional integrals $\mathcal{I}_{\Im_1+, \varphi}^{\alpha, k}\mathfrak{F}$ and $\mathcal{I}_{\Im_2-, \varphi}^{\alpha, k}\mathfrak{F}$ of interval-valued functions are defined by

$\begin{equation*} \mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(\mathfrak{F})(\sigma) = \frac{1}{\Gamma(\alpha)}\int_{\Im_1}^{\sigma}(\sigma-\iota)^{\alpha-1} \bigl(\varphi(\sigma)-\varphi(\iota)\bigr)^k\mathfrak{F}(\iota)d\iota,\quad \sigma > \Im_1, \end{equation*}$

and

$\begin{equation*} \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(\mathfrak{F})(\sigma) = \frac{1}{\Gamma(\alpha)}\int_{\sigma}^{\Im_2}(\iota-\sigma)^{\alpha-1} \bigl(\varphi(\iota)-\varphi(\sigma)\bigr)^k\mathfrak{F}(\iota)d\iota,\quad \sigma < \Im_2, \end{equation*}$

respectively, where $\alpha > 0$ , $\Im_1\ge0$ and $k\in\mathbb{N}\cup\{0\}$ .

The families of all functions that are Riemann integrable and interval Riemann integrable over the closed interval $[\Im_1, \Im_2]$ are respectively represented by the notations $\mathcal{R}_{[\Im_1, \Im_2]}$ and $\mathcal{IR}_{[\Im_1, \Im_2]}$ .

Theorem 2.9. ^[38] Suppose $\mathfrak{F}\in\mathcal{IR}_{[\Im_1, \Im_2]}$ , $\varphi:[\Im_1, \Im_2]\to\mathbb{R}$ is a monotonically increasing function on $(\Im_1, \Im_2)$ with $\varphi\in L[\Im_1, \Im_2]$ . Letting $\Phi(\iota) = \mathfrak{F}(\iota)+\mathfrak{F}(\Im_1+\Im_2-\iota)$ , then $\Phi\in \mathcal{IR}_{[\Im_1, \Im_2]}$ , and we have

$\begin{equation*} \begin{split} &\mathfrak{F}\Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr) \bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2)+\mathcal{I}_{\Im_2-,\varphi}^{\alpha ,k}(1)(\Im_1)\bigr) \nonumber\\\supseteq&\; \frac{1}{2}\Bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(\Phi)(\Im_2) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha ,k}(\Phi)(\Im_1)\Bigr) \nonumber\\\supseteq&\; \frac{1}{2}(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)) \Bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1)\Bigr), \end{split} \end{equation*}$

where $\alpha > 0$ and $k\in\mathbb{N}\cup\{0\}$ .

3. Main results

Let $\Phi(\varpi) = \mathfrak{F}(\varpi)+\mathfrak{F}(\Im_1+\Im_2-\varpi)$ and $\Lambda(\varpi) = \mathcal{G}(\varpi)+\mathcal{G}(\Im_1+\Im_2-\varpi)$ for $\varpi\in [\Im_1, \Im_2]$ . It is straightforward to demonstrate that if $\mathfrak{F}, \mathcal{G}\in\mathcal{IR}_{[\Im_1, \Im_2]}$ , then $\Phi(\varpi), \Lambda(\varpi)\in\mathcal{IR}_{[\Im_1, \Im_2]}$ .

Theorem 3.1. Let $\mathfrak{F}:[{\Im_1}, {\Im_2}]\to\mathbb{R}_{I}^{+}$ , $\mathfrak{F} \in\mathcal{IR}_{[\Im_1, \Im_2]}$ , and $\varphi:[\Im_1, \Im_2]\to\mathbb{R}^{+}$ be a monotonically increasing function. If $\mathfrak{F}$ is an IV s-convex function, then

$\begin{align} &\mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1)\bigr) \\ \supseteq{}&\frac{1}{2^s} \bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k} (\Phi)(\Im_2) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(\Phi)(\Im_1)\bigr)\\ \supseteq{}& \frac{1}{2^s}\bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2)+ \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1)\bigr), \end{align}$

(3.1)

where $\alpha > 0$ and $k\in \mathbb{N}\cup\{0\}$ .

Proof. By the assumption, we have

$\begin{equation} \mathfrak{F}\Bigl( \frac{\hbar_1+\hbar_2}{2}\Bigr) \supseteq \frac {\mathfrak{F}(\hbar_1)+\mathfrak{F}(\hbar_2)}{2^s}. \end{equation}$

(3.2)

Letting $\hbar_1 = \iota\Im_1+(1-\iota)\Im_2$ , $\hbar_2 = (1-\iota)\Im_1+\iota\Im_2$ for $\iota \; \in [0, 1]$ , we obtain

$\begin{equation} \begin{split} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \supseteq \frac{1}{2^s}\Bigl(\mathfrak{F} \bigl( \iota\Im_1+(1-\iota)\Im_2 \bigr)+\mathfrak{F} \bigl( (1-\iota)\Im_1+\iota\Im_2\bigr)\Bigr). \end{split} \end{equation}$

(3.3)

Then, multiplying the two sides of (3.3) by $\iota^{\alpha-1}\bigl(\varphi(\Im_2)-\varphi(\iota\Im_1 +(1-\iota)\Im_2) \bigr)^{k}$ and integrating on [0, 1], we obtain

$\begin{equation*} \begin{split} &{}\mathfrak{F}\Bigl( \frac{\Im_1+\Im_2}{2}\Bigr)\int_{0}^{1}\iota^{\alpha-1}\Bigl( \varphi(\Im_2)-\varphi(\iota\Im_1+(1-\iota)\Im_2) \bigr)^{k}d\iota \nonumber\\ \supseteq{}& \frac{1}{2^s}\Bigl(\int_{0}^{1}\iota^{\alpha-1}\bigl(\varphi(\Im_2)-\varphi(\iota\Im_1+(1-\iota)\Im_2) \bigr)^{k}\mathfrak{F}(\iota\Im_1+(1-\iota)\Im_2)d\iota \nonumber\\ &+\int_{0}^{1}\iota^{\alpha-1}\bigl( \varphi(\Im_2)-\varphi(\iota\Im_1+(1-\iota)\Im_2) \bigr)^{k}\mathfrak{F}((1-\iota)\Im_1+\iota\Im_2)d\iota \Bigr ). \end{split} \end{equation*}$

Letting $y = \iota\Im_1+(1-\iota\Im_2)$ , we have

$\begin{equation*} \label{eq:(10.14)} \begin{split} & \mathfrak{F}{}\Bigl(\frac{\Im_1+\Im_2}{2} \Bigr) \int_{\Im_1}^{\Im_2}(\Im_2-y)^{\alpha-1} \bigl(\varphi(\Im_2)-\varphi(y)\bigr)^{k}dy\nonumber\\ \supseteq {}&\frac{1}{2^s}\Bigl (\int_{\Im_1}^{\Im_2}(\Im_2-y)^{\alpha-1} \bigl(\varphi(\Im_2)-\varphi(y)\bigr)^{k}\mathfrak{F}(y)dy\nonumber\\ &+\int_{\Im_1}^{\Im_2}(\Im_2-y)^{\alpha-1} \bigl(\varphi(\Im_2)-\varphi(y)\bigr)^{k}\mathfrak{F}(\Im_1+\Im_2-y)dy \Bigr). \end{split} \end{equation*}$

That is,

$\begin{equation} \mathfrak{F}\Bigl( \frac{\Im_1+\Im_2}{2}\Bigr ) \mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2)\supseteq \frac{1}{2^s}\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(\Phi)(\Im_2). \end{equation}$

(3.4)

By multiplying the two sides of (3.3) by $\iota^{\alpha-1}\Bigl(\varphi\bigl((1-\iota)\Im_1+\iota\Im_2\bigr) -\varphi(\Im_1)\Bigr)^{k}$ and integrating on [0, 1], we obtain

$\begin{equation*} \begin{split} &\mathfrak{F}{}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr ) \int_{0}^{1}\tau^{\alpha-1} \Bigl( \varphi\bigl((1-\iota)\Im_1+\iota\Im_2\bigr) -\varphi(\Im_1)\Bigr )^{k}d\iota \nonumber\\ \supseteq{}& \frac{1}{2^s}\Bigl(\int_{0}^{1}\iota^{\alpha-1} \Bigl(\varphi\bigl((1-\iota)\Im_1+\iota\Im_2\bigr)-\varphi(\Im_1) \Bigr)^{k}\mathfrak{F}\bigl(\iota\Im_1+(1-\iota)\Im_2\bigr)d\iota \nonumber\\ &+\int_{0}^{1}\iota^{\alpha-1}\Bigl(\varphi\bigl((1-\iota)\Im_1 +\iota\Im_2\bigr)-\varphi(\Im_1)\Bigr)^{k} \mathfrak{F}((1-\iota)\Im_1+\iota\Im_2)d\iota \Bigr). \end{split} \end{equation*}$

Letting $y = (1-\iota)\Im_1+\iota\Im_2$ , we have

$\begin{equation} \begin{split} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1) \supseteq \frac{1}{2^s}\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(\Phi)(\Im_2). \end{split} \end{equation}$

(3.5)

Combining with conclusions (3.4) and (3.5), we obtain

$\begin{equation*} \begin{split} &\mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2\bigr) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1) ) \\ \supseteq&\; \frac{1}{2^s} \bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(\Phi)(\Im_2) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(\Phi)(\Im_1)\bigr). \end{split} \end{equation*}$

According to (2.2), we have

$\begin{equation*} \begin{split} \mathfrak{F}\bigl(\iota\Im_1+(1-\iota)\Im_2\bigr) \supseteq\iota^s\mathfrak{F}(\Im_1)+(1-\iota)^s\mathfrak{F}(\Im_2), \nonumber\\ \mathfrak{F}\bigl((1-\iota)\Im_1+\iota\Im_2\bigr) \supseteq\iota^s\mathfrak{F}(\Im_2)+(1-\iota)^s\mathfrak{F}(\Im_1). \end{split} \end{equation*}$

That is,

$\begin{equation} \begin{split} \mathfrak{F}\bigl(\iota\Im_1+(1-\iota)\Im_2\bigr) +\mathfrak{F}\bigl((1-\iota)\Im_1+\iota\Im_2\bigr) \supseteq \bigl (\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr). \end{split} \end{equation}$

(3.6)

Multiplying the two sides of (3.6) by $\iota^{\alpha-1}\Bigl(\varphi(\Im_2)-\varphi\bigl(\iota\Im_1 +(1-\iota)\Im_2\bigr)\Bigr)^{k}$ and integrating on [0, 1], we obtain

$\begin{equation*} \begin{split} &\int_{0}^{1}{}\iota^{\alpha-1} \Bigl(\varphi(\Im_2) -\varphi\bigl(\iota\Im_1+(1-\iota)\Im_2\bigr)\Bigr)^{k} \mathfrak{F}\bigl(\iota\Im_1+(1-\iota)\Im_2\bigr)d\iota \nonumber\\ &+\int_{0}^{1}\iota^{\alpha-1} \Bigl(\varphi(\Im_2) -\varphi\bigl(\iota\Im_1+(1-\iota)\Im_2\bigr)\Bigr)^{k} \mathfrak{F}\bigl(\iota\Im_2+(1-\iota)\Im_1\bigr)d\iota \nonumber\\ \supseteq{}&\bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \int_{0}^{1}\iota^{\alpha-1} \Bigl(\varphi(\Im_2) -\varphi\bigl(\iota\Im_1+(1-\iota)\Im_2\bigr)\Bigr)^{k}d\iota. \end{split} \end{equation*}$

Letting $y = \iota\Im_1+(1-\iota)\Im_2$ , we have

$\begin{equation*} \begin{split} &\int_{\Im_1}^{\Im_2} \Bigl(\frac{\Im_2-y}{\Im_2-\Im_1}\Bigr)^{\alpha-1} \bigl(\varphi(\Im_2)-\varphi(y)\bigr)^{k}\mathfrak{F}(y)dy \nonumber\\ &+\int_{\Im_1}^{\Im_2} \Bigl(\frac{\Im_2-y}{\Im_2-\Im_1}\Bigr)^{\alpha-1} \bigl(\varphi(\Im_2)-\varphi(y)\bigr)^{k}\mathfrak{F}(\Im_1+\Im_2-y)dy \nonumber\\ \supseteq{}&\bigl (\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \int_{\Im_1}^{\Im_2} \Bigl(\frac{\Im_2-y}{\Im_2-\Im_1}\Bigr)^{\alpha-1} \bigl(\varphi(\Im_2)-\varphi(y)\bigr)^{k}dy. \end{split} \end{equation*}$

That is,

$\begin{equation} \begin{split} \mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(\Phi)(\Im_2) \supseteq\bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2). \end{split} \end{equation}$

(3.7)

Similarly, multiplying the two sides of $(3.6)$ by $\iota^{\alpha-1}\Bigl(\varphi\bigl((1-\iota)\Im_1+\iota\Im_2\bigr) -\varphi(\Im_1)\Bigr)^{k}$ and integrating on [0, 1], let $y = \iota\Im_2+(1-\iota)\Im_1$ , we have

$\begin{equation*} \begin{split} &\int_{\Im_1}^{\Im_2}{} \Bigl(\frac{y-\Im_1}{\Im_2-\Im_1}\Bigr)^{\alpha-1} \bigl(\varphi(y)-\varphi(\Im_1)\bigr)^{k}\mathfrak{F}(\Im_1+\Im_2-y)dy \nonumber\\ &+\int_{\Im_1}^{\Im_2} \Bigl(\frac{y-\Im_1}{\Im_2-\Im_1}\Bigr)^{\alpha-1} \bigl(\varphi(y)-\varphi(\Im_1)\bigr)^{k}\mathfrak{F}(y)dy \nonumber\\ \supseteq{}&\bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \int_{\Im_1}^{\Im_2} \Bigl(\frac{y-\Im_1}{\Im_2-\Im_1}\Bigr)^{\alpha-1} \bigl(\varphi(y)-\varphi(\Im_1)\bigr)^{k}dy. \end{split} \end{equation*}$

Then, we obtain

$\begin{equation} \begin{split} \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(\Phi)(\Im_1) \supseteq{}& \bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1). \end{split} \end{equation}$

(3.8)

By (3.7) and (3.8), we have

$\begin{equation*} \begin{split} \mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(\Phi)(\Im_2) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(\Phi)(\Im_1) \supseteq{} \bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2)+ \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1)\bigr). \end{split} \end{equation*}$

Hence, Theorem 3.1 is verified. □

Corollary 3.2. If $\varphi(\iota) = \iota-\omega$ for $\omega\in\mathbb{R}$ and $s = 1$ , then

$\begin{equation*} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \supseteq\frac{\Gamma(\alpha+k+1)}{2(\Im_2-\Im_1)^{\alpha+k}} \Bigl(\mathcal{I}_{\Im_1+}^{\alpha+k}\mathfrak{F}(\Im_2) +\mathcal{I}_{\Im_2-}^{\alpha+k}\mathfrak{F}(\Im_1)\Bigr) \supseteq\frac{1}{2}\Bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\Bigr). \end{equation*}$

Remark 3.3. If $s = 1$ , Theorem 3.1 is reduced to Theorem 4.1 obtained by Budak et al. in^[38].

Remark 3.4. If $k = 0$ , then

$\begin{equation*} \begin{split} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \supseteq\frac{\Gamma(\alpha+1)}{2^{s}(\Im_2-\Im_1)^{\alpha}} \Bigl(\mathcal{I}_{\Im_1+}^{\alpha}\mathfrak{F}(\Im_2) +\mathcal{I}_{\Im_2-}^{\alpha}\mathfrak{F}(\Im_1)\Bigr) \supseteq\frac{1}{2^s} \Bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\Bigr). \end{split} \end{equation*}$

Remark 3.5. If $s = 1$ and $k = 0$ , then Theorem 3.1 simplifies to Theorem 3.2 as presented by Budak et al. in ^[36].

Example 3.6. Consider $\mathfrak{F}:[0, 2]\to\mathbb{R}_I^{+}$ , where $\mathfrak{F}(x) = \bigl[2x^2-4, -8x^2 + 20x - 3\bigr]$ , $\varphi(\iota) = \iota-\omega$ for $\omega\in\mathbb{R}$ , $\alpha = 2, s = 1$ , and $k = 1$ . Then we have

$\begin{equation*} \begin{split} \Delta_1 = &{}\mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \Bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1)\Bigr) \nonumber\\ = &{}\mathfrak{F}(1)\frac{1}{\Gamma(2)}\int_{0}^{2}\Bigl ((2-x)^{2}+x^{2}\Bigr )dx \nonumber\\ = &{}\frac{16}{3}[-2,9] = \Bigl[-\frac{32}{3},48\Bigr], \end{split} \end{equation*}$

$\begin{equation*} \begin{split} \Delta_2 = &{}\frac{1}{2^s} \Bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k} (\Phi)(\Im_2) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(\Phi)(\Im_1)\Bigr)\nonumber\\ = &{}\frac{1}{2} \frac{1}{\Gamma(2)}\int_{0}^{2}\Bigl ((2-x)^2+x^2\Bigr )\bigl (\mathfrak{F}(x)+\mathfrak{F}(2-x)\bigr )dx\nonumber\\ = &{}\frac{1}{2}\Bigl [-\frac{64}{5},\frac{16}{3}+\frac{128}{5}\Bigl] = \Bigl[-\frac{32}{5},\frac{464}{15}\Bigr], \end{split} \end{equation*}$

and

$\begin{equation*} \begin{split} \Delta_3 = &{}\frac{1}{2^s}\Bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\Bigr) \Bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2)+ \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1)\Bigr)\nonumber\\ = &{}\frac{1}{2}\Bigl(\mathfrak{F}(0)+\mathfrak{F}(2)\Bigr) \frac{1}{\Gamma(2)}\int_{0}^{2}\Bigl ((2-x)^2+x^2\Bigr )dx\nonumber\\ = &{}\frac{8}{3}\bigl([-4,-3]+[4,5]\bigr) = \Bigl[0,\frac{16}{3}\Bigr]. \end{split} \end{equation*}$

Then, we obtain

$\begin{equation*} \Delta_1\supseteq \Delta_2\supseteq \Delta_3. \end{equation*}$

The graphical representation (Figure 1) confirms the results. $

Figure 1. Illustration of Example 3.6:

$\alpha = 2, k = 1$ , and

$s\in[0.4, 1]$ . The red pattern represents

$\Delta_1$ , the blue pattern represents

$\Delta_2$ , and the green pattern represents

$\Delta_3$ .

DownLoad: Full-Size Img PowerPoint

Theorem 3.7. Assuming that the conditions of Theorem 3.1 are met, then

$\begin{align} {}&\mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \Bigl(\mathcal{I}_{(\frac{1} {2}(\Im_1+\Im_2))+,\varphi}^{\alpha,k}(1)(\Im_2) +\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))-,\varphi}^{\alpha ,k}(1)(\Im_1)\Bigr) \\ \supseteq{}& \frac{1}{2^{s}} \Bigl(\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))+,\varphi}^{\alpha,k}(\Phi)(\Im_2) +\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))-,\varphi}^{\alpha ,k}(\Phi)(\Im_1)\Bigl)\\ \supseteq{}& \frac{1}{2^s} \Bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\Bigr) \Bigl(\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))+,\varphi}^{\alpha,k}(1)(\Im_2) +\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))-,\varphi}^{\alpha,k}(1)(\Im_1)\Bigl), \end{align}$

(3.9)

where $\alpha > 0$ and $k\in \mathbb{N}\cup\{0\}.$

Proof. First, consider $\hbar_1 = \frac{1}{2}\iota\Im_1 +\frac{1}{2}(2-\iota)\Im_2$ and $\hbar_2 = \frac{1}{2}\iota\Im_2+\frac{1}{2}(2-\iota)\Im_1$ for $\iota\in[0, 1]$ in the inclusion (3.2). Then,

$\begin{align} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \supseteq{}& \frac{1}{2^s}\biggl (\mathfrak{F}\Bigl(\frac{1}{2}\iota\Im_1 +\frac{1}{2}(2-\iota)\Im_2\Bigr) +\mathfrak{F}\Bigl(\frac{1}{2}\iota\Im_2 +\frac{1}{2}(2-\iota)\Im_1\Bigr)\biggr) \\ \supseteq{}& \frac{1}{2^s} \bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr). \end{align}$

(3.10)

Then, multiplying the two sides of (3.10) by $\iota^{\alpha-1} \Bigl(\varphi(\Im_2)- \varphi\bigl(\frac{1}{2}\iota\Im_1+\frac{1}{2}(2-\iota)\Im_2\bigr) \Bigr)^{k}$ and integrating on [0, 1], we obtain

$\begin{equation*} \begin{split} &\mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr){} \int_{0}^{1}\iota^{\alpha-1} \biggl(\varphi(\Im_2)-\varphi\Bigl(\frac{1}{2}\iota\Im_1 +\frac{1}{2}(2-\iota)\Im_2\Bigr)\biggr) ^{k}d\iota \nonumber\\ \supseteq&\frac{1}{2^s}\int_{0}^{1}\iota^{\alpha-1}{} \biggl(\varphi(\Im_2)-\varphi\Bigl(\frac{1}{2}\iota\Im_1 +\frac{1}{2}(2-\iota)\Im_2\Bigr)\biggr)^{k}\nonumber\\ &\cdot \biggl(\mathfrak{F}\Bigl(\frac{1}{2}\iota\Im_1+\frac{1}{2}(2-\iota)\Im_2\Bigr) +\mathfrak{F}\Bigl(\frac{1}{2}\iota\Im_2 +\frac{1}{2}(2-\iota)\Im_1\Bigr)\biggr)d\iota\nonumber\\ \supseteq &\frac{1}{2^s}\int_{0}^{1}\iota^{\alpha-1}{} \biggl(\varphi(\Im_2)-\varphi\Bigl(\frac{1}{2}\iota\Im_1 +\frac{1}{2}(2-\iota)\Im_2\Bigr)\biggr)^{k} \bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) d\iota. \end{split} \end{equation*}$

Letting $y = \frac{1}{2}\iota\Im_1 +\frac{1}{2}(2-\iota)\Im_2$ , we have

$\begin{equation*} \begin{split} \mathfrak{F}{}&\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \Bigl(\frac{2}{\Im_2-\Im_1}\Bigr)^{\alpha} \int_{\frac{\Im_1+\Im_2}{2}}^{\Im_2} (\Im_2-y)^{\alpha-1}\bigl(\varphi(\Im_2)-\varphi(y)\bigr)^{k}dy \nonumber\\ \supseteq{}& \frac{1}{2^s}\Bigl(\frac{2}{\Im_2-\Im_1}\Bigr)^{\alpha} \int_{\frac{\Im_1+\Im_2}{2}}^{\Im_2} (\Im_2-y)^{\alpha-1}\bigl(\varphi(\Im_2)-\varphi(y)\bigr)^{k} \bigl(\mathfrak{F}(y)+\mathfrak{F}(\Im_1+\Im_2-y)\bigr)dy\nonumber\\ \supseteq {}&\frac{1}{2^s}\bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \Bigl(\frac{2}{\Im_2-\Im_1}\Bigr)^{\alpha} \int_{\frac{\Im_1+\Im_2}{2}}^{\Im_2} (\Im_2-y)^{\alpha-1}\bigl(\varphi(\Im_2)-\varphi(y)\bigr)^{k}dy, \end{split} \end{equation*}$

that is,

$\begin{align} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))+,\varphi}^{\alpha,k}(1)(\Im_2) \supseteq{}&\frac{1}{2^{s}} \mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))+,\varphi}^{\alpha,k}(\Phi)(\Im_2)\\ \supseteq{}& \frac{1}{2^s}\bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))+,\varphi}^{\alpha,k}(1)(\Im_2). \end{align}$

(3.11)

Similarly, multiplying the two sides of (3.10) by $\iota^{\alpha-1}\biggl(\varphi\Bigl(\frac{1}{2}(2-\iota)\Im_1 +\frac{1}{2}\iota\Im_2\Bigr)-\varphi(\Im_1)\biggr)^{k}$ and integrating on [0, 1], we have

$\begin{equation*} \begin{split} & \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr){}\int_{0}^{1} \iota^{\alpha-1}\biggl(\varphi\Bigl(\frac{1}{2}(2-\iota)\Im_1 +\frac{1}{2}\iota\Im_2\Bigr) -\varphi(\Im_1)\biggr)^{k}d\iota \nonumber\\ \supseteq &\frac{1}{2^s}\int_{0}^{1} \iota^{\alpha-1}{} \biggl(\varphi\Bigl(\frac{1}{2}(2-\iota)\Im_1 +\frac{1}{2}\iota\Im_2\Bigr) -\varphi(\Im_1)\biggr)^{k}\nonumber\\ &\times\biggl(\mathfrak{F}\Bigl(\frac{1}{2}\iota\Im_1 +\frac{1}{2}(2-\iota)\Im_2\Bigr) +\mathfrak{F}\Bigl(\frac{1}{2}\iota\Im_2 +\frac{1}{2}(2-\iota)\Im_1\Bigr)\biggr)d\iota\nonumber\\ \supseteq& \frac{1}{2^s} \bigl(\mathfrak{F}(\Im_1)+{} \mathfrak{F}(\Im_2)\bigr) \int_{0}^{1} \iota^{\alpha-1}\biggl(\varphi\Bigl(\frac{1}{2}(2-\iota)\Im_1 +\frac{1}{2}\iota\Im_2\Bigr) -\varphi(\Im_1)\biggr)^{k}d\iota. \end{split} \end{equation*}$

Letting $y = \frac{1}{2}(2-\iota)\Im_1+\frac{1}{2}\iota\Im_2$ , we have

$\begin{equation*} \begin{split} \mathfrak{F}{}&\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \Bigl(\frac{2}{\Im_2-\Im_1}\Bigr)^{\alpha} \int_{\Im_1}^{\frac{\Im_1+\Im_2}{2}} (y-\Im_1)^{\alpha-1}\bigl(\varphi(y)-\varphi(\Im_1)\bigr)^{k}dy \nonumber\\ \supseteq{}& \frac{1}{2^s}\Bigl(\frac{2}{\Im_2-\Im_1}\Bigr)^{\alpha} \int_{\Im_1}^{\frac{\Im_1+\Im_2}{2}} (y-\Im_1)^{\alpha-1}\bigl(\varphi(y)-\varphi(\Im_1)\bigr)^{k} \bigl(\mathfrak{F}(y)+\mathfrak{F}(\Im_1+\Im_2-y)\bigr)dy\nonumber\\ \supseteq {}&\frac{1}{2^s}\bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \Bigl(\frac{2}{\Im_2-\Im_1}\Bigr)^{\alpha} \int_{\Im_1}^{\frac{\Im_1+\Im_2}{2}} (y-\Im_1)^{\alpha-1}\bigl(\varphi(y)-\varphi(\Im_1)\bigr)^{k}dy, \end{split} \end{equation*}$

that is,

$\begin{align} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))-,\varphi}^{\alpha ,k}(1)(\Im_1)) \supseteq{}& \frac{1}{2^{s}}\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))-,\varphi}^{\alpha ,k}(\Phi) (\Im_1)\\ \supseteq{}& \frac{1}{2^s} \bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))-,\varphi}^{\alpha+s,k}(1)(\Im_1). \end{align}$

(3.12)

By (3.11) and (3.12), we obtain the result. □

Corollary 3.8. If $\varphi(\iota) = \iota-\omega$ for $\omega\in\mathbb{R}$ and $s = 1$ , then

$\begin{equation*} \begin{split} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \supseteq{}&\frac{2^{\alpha+k-1}\Gamma(\alpha+k+1)}{(\Im_2-\Im_1)^{\alpha+k}} \bigl(\mathcal{I}_{\frac{1}{2}(\Im_1+\Im_2)+}^{\alpha+k}\mathfrak{F}(\Im_2) +\mathcal{I}_{\frac{1}{2}(\Im_1+\Im_2)-}^{\alpha+k}\mathfrak{F}(\Im_1)\bigr) \nonumber\\ \supseteq{}&\frac{\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)}{2}. \end{split} \end{equation*}$

Remark 3.9. If $s = 1$ , then Theorem 3.7 simplifies to Theorem 4.4 given by Budak et al. in^[38].

Remark 3.10. If $k = 0$ , then

$\begin{align*} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) &\supseteq\frac{2^{\alpha}\Gamma(\alpha+1)}{2^s(\Im_2-\Im_1)^{\alpha}} \bigl(\mathcal{I}_{\frac{1}{2}(\Im_1+\Im_2)+}^{\alpha+k}\mathfrak{F}(\Im_2) +\mathcal{I}_{\frac{1}{2}(\Im_1+\Im_2)-}^{\alpha+k} \mathfrak{F}(\Im_1)\bigr) \nonumber\\ &\supseteq\frac{1}{2^{s}} \bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr). \end{align*}$

Remark 3.11. If $s = 1$ and $k = 0$ , then Theorem 3.7 which has been obtained by Zhao et al. in ^[39].

Example 3.12. Consider $\mathfrak{F}:[0, 1]\to\mathbb{R}_I^{+}$ , where $\mathfrak{F}(x) = \bigl[x^2, 5-(\frac{1}{2})^x\bigr]$ , $\varphi(\iota) = \iota-\omega$ for $\omega\in\mathbb{R}$ , $\alpha = 2, s = 1$ , and $k = 1$ . Then we have

$\begin{equation*} \begin{split} T_1 = &\; {}\mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \Bigl(\mathcal{I}_{(\frac{1} {2}(\Im_1+\Im_2))+,\varphi}^{\alpha,k}(1)(\Im_2) +\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))-,\varphi}^{\alpha ,k}(1)(\Im_1)\Bigr) \nonumber\\ = &\; {}\mathfrak{F}\Bigl(\frac{1}{2}\Bigr)\frac{1}{\Gamma(2)} \Bigl(\int_{\frac{1}{2}}^{1}(1-x)^{2}dx+\int_{0}^{\frac{1}{2}}x^2dx\Bigr) \nonumber\\ = &\; {}\frac{1}{12}\Bigl[\frac{1}{4},5-(\frac{1}{2})^{\frac{1}{2}}\Bigr] \approx [0.0208,0.3750], \end{split} \end{equation*}$

$\begin{equation*} \begin{split} T_2 = &\; {}\frac{1}{2^{s}}\Bigl(\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))+,\varphi}^{\alpha,k}(\Phi)(\Im_2) +\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))-,\varphi}^{\alpha ,k}(\Phi)(\Im_1)\Bigl)\nonumber\\ = &\; {}\frac{1}{2}\frac{1}{\Gamma(2)} \Bigl(\int_{\frac{1}{2}}^{1}(1-x)^2\bigl (\mathfrak{F}(x)+\mathfrak{F}(1-x)\bigr )dx+\int_{0}^{\frac{1}{2}}x^2\bigl (\mathfrak{F}(x)+\mathfrak{F}(1-x)\bigr )dx\Bigr)\nonumber\\ \approx&\; {}[0.0229,0.3574], \end{split} \end{equation*}$

and

$\begin{equation*} \begin{split} T_3 = &\; {} \frac{1}{2^s} \Bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\Bigr) \Bigl(\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))+,\varphi}^{\alpha,k}(1)(\Im_2) +\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))-,\varphi}^{\alpha,k}(1)(\Im_1)\Bigl)\nonumber\\ = &\; {} \frac{1}{2}\frac{1}{\Gamma(2)} \Bigl(\mathfrak{F}(0)+\mathfrak{F}(1)\Bigr) \Bigl(\int_{\frac{1}{2}}^{1}(1-x)^{2}dx+\int_{0}^{\frac{1}{2}}x^2dx\Bigr)\nonumber\\ = &\; {}\frac{1}{24}\Bigl([0,4]+\Bigl[1,\frac{9}{2}\Bigr]\Bigr) \approx[0.0417,0.3542]. \end{split} \end{equation*}$

Then, we obtain

$\begin{equation*} T_1\supseteq T_2\supseteq T_3. \end{equation*}$

Theorem 3.13. Given that the assumptions of Theorem 3.1 hold, we can obtain

$\begin{align} &\mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \biggl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k} (1)\Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1) \Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr)\biggr) \\ \supseteq{}& \frac{1}{2^s}\biggl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k} (\Phi)\Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k} (\Phi)\Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr)\biggr)\\ \supseteq{}& \frac{1}{2^s} \Bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\Bigr) \biggl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k} (1)\Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1) \Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr)\biggr), \end{align}$

(3.13)

for $\alpha > 0$ and $k\in\mathbb{N}\cup\{0\}.$

Proof. Considering $\hbar_1 = \frac{1}{2}(1+\iota)\Im_1+\frac{1}{2}(1-\iota)\Im_2$ and $\hbar_1 = \frac{1}{2}(1-\iota)\Im_1+\frac{1}{2}(1+\iota)\Im_2$ for $\iota\in[0, 1]$ in the inclusion (3.2). Then we obtain

$\begin{align} &\mathfrak{F}{}\bigl(\frac{\Im_1+\Im_2}{2}\bigr) \\ \supseteq{}& \frac{1}{2^s} \biggl(\mathfrak{F}\Bigl(\frac{1}{2}(1+\iota)\Im_1 +\frac{1}{2}(1-\iota)\Im_2\Bigr) +\mathfrak{F}\Bigl(\frac{1}{2}(1-\iota)\Im_1 +\frac{1}{2}(1+\iota)\Im_2\Bigr)\biggr) \\ \supseteq{}& \frac{1}{2^s}\bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr). \end{align}$

(3.14)

Then, multiplying two sides of (3.14) by

$\iota^{\alpha-1}\Bigl(\varphi(\frac{1}{2}(\Im_1+\Im_2)\bigr)- \varphi\bigl(\frac{1}{2}(1+\iota)\Im_1 +\frac{1}{2}(1-\iota)\Im_2)\Bigr)^{k},$

and integrating on [0, 1], we obtain

$\begin{equation*} \begin{split} &\mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \int_{0}^{1}\iota^{\alpha-1} \biggl(\varphi\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)- \varphi\Bigl(\frac{1}{2}(1+\iota)\Im_1 +\frac{1}{2}(1-\iota)\Im_2\Bigr)^{k}\biggr)d\iota \nonumber\\ \supseteq&\; \frac{1}{2^s}\int_{0}^{1} \tau^{\alpha-1}{}\biggl(\varphi\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)- \varphi\Bigl(\frac{1}{2}(1+\iota)\Im_1+\frac{1}{2}(1-\iota)\Im_2\Bigr)\biggr)^{k}\nonumber\\ {}&\cdot \biggl(\mathfrak{F}\Bigl(\frac{1}{2}(1+\iota)\Im_1 +\frac{1}{2}(1-\iota)\Im_2\Bigr) +\mathfrak{F}\Bigl(\frac{1}{2}(1-\iota)\Im_1 +\frac{1}{2}(1+\iota)\Im_2\Bigr)\biggr)d\iota\nonumber\\ \supseteq &\; \frac{1}{2^s} \bigl(\mathfrak{F}(\Im_1)+{}\mathfrak{F}(\Im_2)\bigr) \int_{0}^{1} \iota^{\alpha-1}\biggl(\varphi\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)- \varphi\Bigl(\frac{1}{2}(1+\iota)\Im_1+\frac{1}{2}(1-\iota)\Im_2\Bigr)\biggr)^{k} d\iota. \end{split} \end{equation*}$

Letting $z = \frac{1}{2}(1+\iota)\Im_1+\frac{1}{2}(1-\iota)\Im_2$ , we have

$\begin{equation*} \begin{split} &\mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \int_{\Im_1}^{\frac{\Im_1+\Im_2}{2}} \Bigl(\frac{\Im_1+\Im_2}{2}-z\Bigr)^{\alpha-1} \biggl(\varphi\Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr) -\varphi(z)\biggr)^{k}dz \nonumber\\ \supseteq{}& \frac{1}{2^s} \int_{\Im_1}^{\frac{\Im_1+\Im_2}{2}}\Bigl(\frac{\Im_1+\Im_2}{2}-z\Bigr)^{\alpha-1}\biggl(\varphi\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)-\varphi(z)\biggr)^{k}\bigl(\mathfrak{F}(z)+\mathfrak{F}(\Im_1+\Im_2-z)\bigr)dz\nonumber\\ \supseteq{}&\frac{1}{2^s}\bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \int_{\Im_1}^{\frac{1}{2}(\Im_1+\Im_2)}\Bigl(\frac{\Im_1+\Im_2}{2}-z\Bigr)^{\alpha-1} \biggl(\varphi\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) -\varphi(z)\biggr)^{k}dz, \end{split} \end{equation*}$

that is,

$\begin{align} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \mathcal{I}_{\Im_1+,\varphi}^{\alpha,k} (1)\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \supseteq{}& \frac{1}{2^s} \mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(\Phi) \Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \\ \supseteq{}& \frac{1}{2^s} \bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \mathcal{I}_{\Im_1+,\varphi}^{\alpha,k} (1)\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr). \end{align}$

(3.15)

Multiplying two sides of (3.14) by

$\iota^{\alpha-1}\biggl(\varphi\Bigl(\frac{1}{2}(1-\iota)\Im_1 +\frac{1}{2}(1+\iota)\Im_2\Bigr) -\varphi\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\biggr)^{k},$

and integrating on [0, 1], we obtain

$\begin{equation*} \begin{split} & \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \int_{0}^{1}\tau^{\alpha-1} \biggl(\varphi\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)- \varphi\Bigl(\frac{1}{2}(1+\iota)\Im_1 +\frac{1}{2}(1-\iota)\Im_2\Bigr)\biggr)^{k}d\iota \nonumber\\ \supseteq&\; \frac{1}{2^s}\int_{0}^{1} \iota^{\alpha-1} \biggl(\varphi\Bigl(\frac{\Im_1+\Im_2}{2}\Big)- \varphi\Bigl(\frac{1}{2}(1+\iota)\Im_1+\frac{1}{2}(1-\iota)\Im_2\Bigr) \biggr)^{k}\nonumber\\ {}&\times \biggl(\mathfrak{F}\Bigl(\frac{1}{2}(1+\iota)\Im_1 +\frac{1}{2}(1-\iota)\Im_2\Bigr) +\mathfrak{F}\Bigl(\frac{1}{2}(1-\iota)\Im_1 +\frac{1}{2}(1+\iota)\Im_2\Bigr)\biggr)d\iota\nonumber\\ \supseteq&\; \frac{1}{2^s} \bigl(\mathfrak{F}(\Im_1)+ \mathfrak{F}(\Im_2)\bigr)\int_{0}^{1} \iota^{\alpha-1}\biggl(\varphi\Bigl(\frac{\Im_1+\Im_2}{2}\Bigl)- \varphi\Bigl(\frac{1}{2}(1+\iota)\Im_1 +\frac{1}{2}(1-\iota)\Im_2\Bigr)\biggr)^{k} d\iota. \end{split} \end{equation*}$

Letting $z = \frac{1}{2}(1-\iota)\Im_1+\frac{1}{2}(1+\iota)\Im_2$ , we obtain

$\begin{align} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1) \Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \supseteq{}& \frac{1}{2^s}\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k} (\Phi)\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\\ \supseteq{}& \frac{1}{2^s}\bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr) \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1) \Bigl(\frac{\Im_1+\Im_2}{2}\Bigr). \end{align}$

(3.16)

Adding the inclusion (3.15) to (3.16), we complete the proof. □

Corollary 3.14. If $\varphi(\iota) = \iota-\omega$ for $\omega\in\mathbb{R}$ and $s = 1$ , then

$\begin{align*} \begin{split} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \supseteq{}& \frac{2^{\alpha+k-1}\Gamma(\alpha+k+1)}{(\Im_2-\Im_1)^{\alpha+k}} \Bigl(\mathcal{I}_{\Im_1+}^{\alpha+k} \mathfrak{F}\bigl(\frac{\Im_1+\Im_2}{2}\bigr) +\mathcal{I}_{\Im_2-}^{\alpha+k} \mathfrak{F}\bigl(\frac{\Im_1+\Im_2}{2}\bigr)\Bigr) \nonumber\\ \supseteq{}& \frac{1}{2}\bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr). \end{split} \end{align*}$

Remark 3.15. If $s = 1$ , Theorem 3.13 simplifies to Theorem 4.7 presented by Budak et al. in^[38].

Remark 3.16. If $s = 1$ and $k = 0$ , then

$\begin{equation*} \begin{split} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\supseteq{}&\frac{2^{\alpha-1}\Gamma(\alpha+1)}{(\Im_2-\Im_1)^{\alpha}} \biggl(\mathcal{I}_{\Im_1+}^{\alpha}\mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)+\mathcal{I}_{\Im_2-}^{\alpha}\mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\biggr)\nonumber\\ \supseteq{}&\frac{1}{2}\bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\bigr), \end{split} \end{equation*}$

which has been obtained by Zhao et al. in ^[39].

Example 3.17. Consider $\mathfrak{F}:[0, 2]\to\mathbb{R}_I^{+}$ , where $\mathfrak{F}(x) = \bigl[x^2, -x^2+8\bigr]$ , $\varphi(\iota) = \iota-\omega$ for $\omega\in\mathbb{R}$ , $\alpha = 2, s = 1$ , and $k = 1$ . Then we have

$\begin{equation*} \begin{split} D_1 = &\; {}\mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \biggl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k} (1)\Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1) \Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr)\biggr) \nonumber\\ = &\; {}\mathfrak{F}(1)\frac{1}{\Gamma(2)} \Bigl(\int_{0}^{1}(1-x)^{2}dx+\int_{1}^{2}(x-1)^2dx\Bigr) \nonumber\\ = &\; {}\frac{2}{3}[1,7] = \Bigl[\frac{2}{3},\frac{14}{3}\Bigr], \end{split} \end{equation*}$

$\begin{equation*} \begin{split} D_2 = &\; {}\frac{1}{2^s}\biggl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k} (\Phi)\Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k} (\Phi)\Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr)\biggr)\\ = &\; {}\frac{1}{2}\frac{1}{\Gamma(2)} \int_{0}^{2}(1-x)^2\bigl (\mathfrak{F}(x)+\mathfrak{F}(2-x)\bigr )dx\nonumber\\ = &\; {}\Bigl[\frac{16}{15},\frac{64}{15}\Bigr], \end{split} \end{equation*}$

and

$\begin{equation*} \begin{split} D_3 = &\; {} \frac{1}{2^s} \Bigl(\mathfrak{F}(\Im_1)+\mathfrak{F}(\Im_2)\Bigr) \biggl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k} (1)\Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1) \Bigl(\frac{1}{2}(\Im_1+\Im_2)\Bigr)\biggr)\nonumber\\ = &\; {} \frac{1}{2}\frac{1}{\Gamma(2)} \Bigl(\mathfrak{F}(0)+\mathfrak{F}(2)\Bigr) \int_{0}^{2}(1-x)^{2}dx\nonumber\\ = &\; {}\frac{1}{3}([0,8]+[4,4]) = \Bigl[\frac{4}{3},4\Bigr]. \end{split} \end{equation*}$

Then, we obtain

$\begin{equation*} D_1\supseteq D_2\supseteq D_3. \end{equation*}$

Theorem 3.18. Let $\mathfrak{F}, \mathcal{G}:[\Im_1, \Im_2]\to \mathbb{R}_{I}^{+}$ , $s_1, s_2\in (0, 1]$ , and $\varphi:[\Im_1, \Im_2]\to\mathbb{R}$ be a monotonically increasing function. If $\mathfrak{F}$ and $\mathcal{G}$ are both IV s-convex functions, then

$\begin{align} &\mathfrak{F}{}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\cdot \mathcal{G}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \Bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2) + \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1)\Bigr) \\ \supseteq{}& \frac{1}{2^{s_1+s_2}} \Bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(\Phi\Lambda)(\Im_2) + \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(\Phi\Lambda)(\Im_1)\Bigr) \\ \supseteq{}& \frac{1}{2^{s_1+s_2}} \bigl(P(\Im_1,\Im_2)+Q(\Im_1,\Im_2)\bigr) \Bigl( \mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1)\Bigr), \end{align}$

(3.17)

where

$\begin{equation*} P(\Im_1,\Im_2) = \mathfrak{F}(\Im_1)\cdot\mathcal{G}(\Im_1) +\mathfrak{F}(\Im_2)\cdot\mathcal{G}(\Im_2), \end{equation*}$

and

$\begin{equation*} Q(\Im_1,\Im_2) = \mathfrak{F}(\Im_1)\cdot\mathcal{G}(\Im_2) +\mathfrak{F}(\Im_2)\cdot\mathcal{G}(\Im_1). \end{equation*}$

Proof. By hypothesis, then

$\begin{equation*} \begin{split} \mathfrak{F}\Bigl( \frac{\hbar_1+\hbar_2}{2}\Bigr) \supseteq \frac {\mathfrak{F}(\hbar_1)+\mathfrak{F}(\hbar_2)}{2^{s_1}}, \mathcal{G}\Bigl( \frac{\hbar_1+\hbar_2}{2}\Bigr) \supseteq \frac {\mathcal{G}(\hbar_1)+\mathcal{G}(\hbar_2)}{2^{s_2}}. \end{split} \end{equation*}$

Considering $\hbar_1 = \iota\Im_1+(1-\iota\Im_2)$ and $\hbar_2 = (1-\iota)\Im_1+\iota\Im_2$ , we obtain

$\begin{align} &\mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}{}\Bigr)\cdot \mathcal{G}\Bigl( \frac{\Im_1+\Im_2}{2}\Bigr) \\ \supseteq &\frac{1}{2^{s_1+s_2}}{} \bigl(\mathfrak{F}(\iota\Im_1+(1-\iota\Im_2)) +\mathfrak{F}((1-\iota)\Im_1+\iota\Im_2)\bigr)\\ &\cdot \bigl(\mathcal{G}(\iota\Im_1+(1-\iota\Im_2)) +\mathcal{G}((1-\iota)\Im_1+\iota\Im_2)\bigr)\\ \supseteq &\frac{1}{2^{s_1+s_2}}{} \bigl(P(\Im_1,\Im_2)+Q(\Im_1,\Im_2)\bigr). \end{align}$

(3.18)

By multiplying two sides of (3.18) by $\iota^{\alpha-1}\bigl(\varphi(\Im_2) -\varphi(\iota\Im_1+(1-\iota)\Im_2) \bigr)^{k}$ and integrating on [0, 1], we obtain

$\begin{align*} &\mathfrak{F}{}\Bigl( \frac{\Im_1+\Im_2}{2}\Bigr)\cdot \mathcal{G}\Bigl( \frac{\Im_1+\Im_2}{2}\Bigr) \int_{0}^{1}\iota^{\alpha-1}\Bigl( \varphi(\Im_2)-\varphi(\iota\Im_1 +(1-\iota)\Im_2) \bigr)^{k}d\iota \nonumber\\ \supseteq{}&\frac{1}{2^{s_1+s_2}} \int_{0}^{1}\iota^{\alpha-1}\Bigl( \varphi(\Im_2)-\varphi(\iota\Im_1 +(1-\iota)\Im_2) \bigr)^{k} \bigl(\mathfrak{F}(\iota\Im_1+(1-\iota\Im_2)) \nonumber\\ &+\mathfrak{F}((1-\iota)\Im_1+\iota\Im_2)\bigr) \cdot \bigl(\mathcal{G}(\iota\Im_1+(1-\iota\Im_2)) +\mathcal{G}((1-\iota)\Im_1+\iota\Im_2)\bigr) d\tau\nonumber\\ \supseteq{}& \frac{1}{2^{s_1+s_2}} \bigl(P(\Im_1,\Im_2)+Q(\Im_1,\Im_2)\bigr) \int_{0}^{1}\iota^{\alpha-1}\Bigl( \varphi(\Im_2)-\varphi(\iota\Im_1 +(1-\iota)\Im_2) \bigr)^{k}d\iota. \end{align*}$

Letting $y = \iota\Im_1+(1-\iota)\Im_2$ , then

$\begin{equation*} \begin{split} &\mathfrak{F}{}\Bigl(\frac{\Im_1+\Im_2}{2} \Bigr)\cdot \mathcal{G}\Bigl( \frac{\Im_1+\Im_2}{2}\Bigr) \Bigl(\frac{1}{\Im_2-\Im_1}\Bigr)^{\alpha} \int_{\Im_1}^{\Im_2}(\Im_2-y)^{\alpha-1} \bigl(\varphi(\Im_2)-\varphi(y)\bigr)^{k}dy \nonumber\\ \supseteq{}& \frac{1}{2^{s_1+s_2}} \Bigl(\frac{1}{\Im_2-\Im_1}\Bigr)^{\alpha} \Bigl(\int_{\Im_1}^{\Im_2}(\Im_2-y)^{\alpha-1} \bigl(\varphi(\Im_2)-\varphi(y)\bigr)^{k}\nonumber\\ &\cdot \bigl(\mathfrak{F}(y)+\mathfrak{F}(\Im_1+\Im_2-y)\bigr)\cdot \bigl(\mathcal{G}(y)+\mathcal{G}(\Im_1+\Im_2-y)\bigr)dy\nonumber\\ \supseteq {}&\frac{1}{2^{s_1+s_2}} \Bigl(\frac{1}{\Im_2-\Im_1}\Bigr)^{\alpha} \bigl(P(\Im_1,\Im_2)+Q(\Im_1,\Im_2)\bigr) \nonumber\\ &\cdot \int_{\Im_1}^{\Im_2}(\Im_2-y)^{\alpha-1} \bigl(\varphi(\Im_2)-\varphi(y)\bigr)^{k}dy, \end{split} \end{equation*}$

that is,

$\begin{align} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2} \Bigr) \mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2) \supseteq{}& \frac{1}{2^{s_1+s_2}} \mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(\Phi\Lambda)(\Im_2) \\ \supseteq{}& \frac{1}{2^{s_1+s_2}} \bigl(P(\Im_1,\Im_2)+Q(\Im_1,\Im_2)\bigr) \mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2). \end{align}$

(3.19)

By multiplying two sides of (3.18) by $\iota^{\alpha-1}\bigl(\varphi((1-\iota)\Im_1+\iota\Im_2) -\varphi(\Im_1)\bigr)^{k}$ and integrating on [0, 1], we have

$\begin{align*} &\mathfrak{F}{}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\cdot \mathcal{G}\Bigl( \frac{\Im_1+\Im_2}{2}\Bigr) \int_{0}^{1}\iota^{\alpha-1} \Bigl(\varphi\bigl((1-\iota)\Im_1+\iota\Im_2\bigr) -\varphi(\Im_1)\Bigr)^{k}d\iota \nonumber\\ \supseteq{}& \frac{1}{2^{s_1+s_2}} \int_{0}^{1}\iota^{\alpha-1} \Bigl(\varphi\bigl((1-\iota)\Im_1+\iota\Im_2\bigr) -\varphi(\Im_1) \Bigr)^{k} \nonumber\\ &\cdot \bigl(\mathfrak{F}(\iota\Im_1+(1-\iota\Im_2)) +\mathfrak{F}((1-\iota)\Im_1+\iota\Im_2)\bigr) \bigl(\mathcal{G}(\iota\Im_1+(1-\iota\Im_2)) +\mathcal{G}((1-\iota)\Im_1+\iota\Im_2)\bigr) d\tau \nonumber\\ \supseteq{}& \frac{1}{2^{s_1+s_2}} \int_{0}^{1}\iota^{\alpha-1} \Bigl(\varphi\bigl((1-\iota)\Im_1+\iota\Im_2\bigr) -\varphi(\Im_1)\Bigr)^{k} \bigl(P(\Im_1,\Im_2)+Q(\Im_1,\Im_2)\bigr) d\iota. \end{align*}$

Letting $y = (1-\iota)\Im_1+\iota\Im_2$ , that is,

$\begin{align} \mathfrak{F}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\cdot \mathcal{G}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1) \supseteq{}& \frac{1}{2^{s_1+s_2}} \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k} (\Phi\Lambda)(\Im_1) \\ \supseteq{}& \frac{1}{2^{s_1+s_2}} \bigl(P(\Im_1,\Im_2)+Q(\Im_1,\Im_2)\bigr) \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1). \end{align}$

(3.20)

Adding the inclusion (3.19) and (3.20), we obtained the desired result. □

Example 3.19. Assume $\mathfrak{F}, \mathcal{G}:[0, 2]\to\mathbb{R}_I^{+}$ , where $\mathfrak{F}(x) = \bigl[x^2, -x^2 + 10\bigr]$ and

$\mathcal{G}(x) = \Bigl[\frac{1}{2}x^2, -x^2 + 8\Bigr],$

respectively. Let $\varphi(\iota) = \iota-\omega$ for $\omega\in\mathbb{R}$ , $\alpha = 2, k = 1$ , and $s = 1$ . Then we have

$\begin{equation*} \begin{split} \Theta_1 = &\; \mathfrak{F}{}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\cdot \mathcal{G}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \Bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2) + \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1)\Bigr) \nonumber\\ = &\; {}\mathfrak{F}(1)\cdot\mathcal{G}(1)\frac{1}{\Gamma(2)}\int_{0}^{2}\Bigl ((2-x)^{2}+x^{2}\Bigr )dx\nonumber\\ = &\; {}\frac{16}{3}\biggl([1,9]\cdot \Bigl [\frac{1}{2},7\Bigr ]\biggr) = \Bigl[\frac{8}{3},336\Bigr], \end{split} \end{equation*}$

and

$\begin{equation*} \begin{split} \Theta_2 = &\; {}\frac{1}{2^{s_1+s_2}} \Bigl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(\Phi\Lambda)(\Im_2) + \mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(\Phi\Lambda)(\Im_1)\Bigr)\nonumber\\ = &\; {}\frac{1}{4} \frac{1}{\Gamma(2)}\int_{0}^{2}\Bigl ((2-x)^2+x^2\Bigr )\bigl (\mathfrak{F}(x)+\mathfrak{F}(2-x)\bigr)\cdot(\mathcal{G}(x)+\mathcal{G}(2-x)\bigr )dx\nonumber\\ = &\; {}[5.4857,303.2381], \end{split} \end{equation*}$

and

$\begin{equation*} \begin{split} \Theta_3 = &\; {}\frac{1}{2^{s_1+s_2}} \bigl(P(\Im_1,\Im_2)+Q(\Im_1,\Im_2)\bigr) \Bigl( \mathcal{I}_{\Im_1+,\varphi}^{\alpha,k}(1)(\Im_2) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1)(\Im_1)\Bigr)\nonumber\\ = &\; {}\frac{1}{4}\Bigl(\mathfrak{F}(0)+\mathfrak{F}(2)\Bigr)\cdot\Bigl(\mathcal{G}(0)+\mathcal{G}(2)\Bigr) \frac{1}{\Gamma(2)}\int_{0}^{2}\Bigl ((2-x)^2+x^2\Bigr )dx\nonumber\\ = &\; {}\frac{4}{3}\bigl([8,192]\bigr) = \Bigl[\frac{32}{3},256\Bigr]. \end{split} \end{equation*}$

Then, we obtain

$\begin{equation*} \Theta_1\supseteq \Theta_2\supseteq \Theta_3. \end{equation*}$

Analogously, we can derive the subsequent results.

Theorem 3.20. Assuming that the conditions of Theorem 3.18 hold, we consequently obtain

$\begin{align} &\mathfrak{F}{}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\cdot \mathcal{G}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \Bigl(\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))+,\varphi}^{\alpha,k}(1)(\Im_2) +\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))-,\varphi}^{\alpha ,k}(1)(\Im_1)\Bigr)\\ \supseteq{}& \frac{1}{2^{s_1+s_2}} \Bigl(\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))+,\varphi}^{\alpha,k}(\Phi\Lambda)(\Im_2) +\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))-,\varphi}^{\alpha ,k}(\Phi\Lambda)(\Im_1)\Bigr)\\ \supseteq{}& \frac{1}{2^{s_1+s_2}} \bigl(P(\Im_1,\Im_2)+Q(\Im_1,\Im_2)\bigr) \Bigl(\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))+,\varphi}^{\alpha,k}(1)(\Im_2) +\mathcal{I}_{(\frac{1}{2}(\Im_1+\Im_2))-,\varphi}^{\alpha+s,k}(1)(\Im_1)\Bigl). \end{align}$

(3.21)

Theorem 3.21. Assuming that the conditions of Theorem 3.18 hold, we obtain

$\begin{align} &\mathfrak{F}{}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\cdot \mathcal{G}\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) \biggl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k} (1)\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1) \Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\biggr) \\ \supseteq{}& \frac{1}{2^{s_1+s_2}} \biggl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k} (\Phi\Lambda)\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k} (\Phi\Lambda)\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\biggr)\\ \supseteq{}& \frac{1}{2^{s_1+s_2}} \bigl(P(\Im_1,\Im_2)+Q(\Im_1,\Im_2)\bigr) \biggl(\mathcal{I}_{\Im_1+,\varphi}^{\alpha,k} (1)\Bigl(\frac{\Im_1+\Im_2}{2}\Bigr) +\mathcal{I}_{\Im_2-,\varphi}^{\alpha,k}(1) \Bigl(\frac{\Im_1+\Im_2}{2}\Bigr)\biggr). \end{align}$

(3.22)

4. Conclusions

This study derives novel H-H-type inequalities through generalized fractional integrals applied to IV s-convex functions. These not only generalize but also refine the previously proposed inequalities established by Budak et al. and provide a foundation for further exploration of generalized convexity and IV estimation. The developed techniques offer new tools for uncertainty quantification in convex optimization problems with imprecise measurements. Future research directions include:

(1) Develop new interval H-H inequalities based on more general convexity.

(2) Extension to IV quasi-convex functions using variable-order fractional operators.

(3) Applications in robust portfolio optimization with IV risk measures.

Author contributions

G. Deng and D. Zhao: Conceptualization, Methodology, Formal analysis; S. Etemad: Conceptualization, Software, Formal analysis, Investigation, Writing–original draft preparation; G. Deng: Writing–original draft preparation; D. Zhao: Validation, Investigation, Supervision, Project administration, Writing–review and editing; J. Tariboon: Validation, Formal analysis, Project administration, Writing–review and editing. All authors read and approved the final manuscript.

Use of Generative-AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

This research was funded by the National Science, Research and Innovation Fund (NSRF) and King Mongkut's University of Technology North Bangkok, under Contract No. KMUTNB-FF-68-B-04, and the Foundation of Hubei Normal University (2024Z022).

Conflict of interest

The authors declare no conflict of interest.

References

[1]	C. Byrne, Iterative oblique projection onto convex sets and the split feasibility problem, Inverse Probl., 18 (2002), 411–453. https://doi.org/10.1088/0266-5611/18/2/310 doi: 10.1088/0266-5611/18/2/310
[2]	H. K. Xu, Iterative methods for the split feasibility problem in infinite-dimensional Hilbert spaces, Inverse Probl., 26 (2010), 105018. https://doi.org/10.1088/0266-5611/26/10/105018 doi: 10.1088/0266-5611/26/10/105018
[3]	Y. Censor, T. Elfving, N. Kopf, T. Bortfeld, The multiple-sets split feasibility problem and its applications for inverse problems, Inverse Probl., 21 (2005), 2071–2084. https://doi.org/10.1088/0266-5611/21/6/017 doi: 10.1088/0266-5611/21/6/017
[4]	W. Zhang, D. Han, Z. Li, A self-adaptive projection method for solving the multiple-sets split feasibility problem, Inverse Probl., 25 (2009), 115001. https://doi.org/10.1088/0266-5611/25/11/115001 doi: 10.1088/0266-5611/25/11/115001
[5]	Y. Censor, T. Bortfeld, B. Martin, A. Trofimov, A unified approach for inversion problems in intensity-modulated radiation therapy, Phys. Med. Biol., 51 (2006), 2353–2365. https://doi.org/10.1088/0031-9155/51/10/001 doi: 10.1088/0031-9155/51/10/001
[6]	C. Byrne, A unified treatment of some iterative algorithms in signal processing and image reconstruction, Inverse Probl., 20 (2004), 103–120. https://doi.org/10.1088/0266-5611/20/1/006 doi: 10.1088/0266-5611/20/1/006
[7]	J. Zhao, Q. Yang, A simple projection method for solving the multiple-sets split feasibility problem, Inverse Probl. Sci. Eng., 21 (2013), 537–546. https://doi.org/10.1080/17415977.2012.712521 doi: 10.1080/17415977.2012.712521
[8]	J. Zhao, Q. Yang, Several acceleration schemes for solving the multiple-sets split feasibility problem, Linear Algebra Appl., 437 (2012), 1648–1657. https://doi.org/10.1016/j.laa.2012.05.018 doi: 10.1016/j.laa.2012.05.018
[9]	W. Ding, Y. Wei, Solving multilinear systems with M-tensors, J. Sci. Comput., 68 (2016), 689–715. https://doi.org/10.1007/s10915-015-0156-7 doi: 10.1007/s10915-015-0156-7
[10]	W. Ding, Y. Wei, Generalized tensor eigenvalue problems, SIAM J. Matrix Anal. Appl., 36 (2015), 1073–1099. https://doi.org/10.1137/140975656 doi: 10.1137/140975656
[11]	L. Han, A homotopy method for solving multilinear systems with M-tensors, Appl. Math. Lett., 69 (2017), 49–54. https://doi.org/10.1016/j.aml.2017.01.019 doi: 10.1016/j.aml.2017.01.019
[12]	D. D. Liu, W. Li, S. W. Vong, The tensor splitting with application to solve multi-linear systems, J. Comput. Appl. Math., 330 (2018), 75–94. https://doi.org/10.1016/j.cam.2017.08.009 doi: 10.1016/j.cam.2017.08.009
[13]	W. Li, D. D. Liu, S. W. Vong, Comparison results for splitting iterations for solving multi-linear systems, Appl. Numer. Math., 134 (2018), 105–121. https://doi.org/10.1016/j.apnum.2018.07.009 doi: 10.1016/j.apnum.2018.07.009
[14]	T. G. Kolda, B. W. Bader, Tensor decompositions and applications, SIAM Rev., 51 (2009), 455–500. https://doi.org/10.1137/07070111X doi: 10.1137/07070111X
[15]	A. Cichocki, R. Zdunek, A. H. Phan, S. I. Amari, Nonnegative Matrix and Tensor Factorizations: Applications to Exploratory Multi-way Data Analysis and Blind Source Separation, Wiley, 2009.
[16]	K. Pearson, Essentially positive tensors, Int. J. Algebra, 4 (2010), 421–427.
[17]	W. Li, M. K. Ng, On the inverse of a tensor, Linear Algebra Appl., 495 (2016), 199–205. https://doi.org/10.1016/j.laa.2016.01.011 doi: 10.1016/j.laa.2016.01.011
[18]	L. Zhang, L. Qi, G. Zhou, $\mathcal{M}$ -tensor and some applications, SIAM J. Matrix Anal. Appl., 35 (2014), 437–452. https://doi.org/10.1137/130915339 doi: 10.1137/130915339
[19]	L. Qi, Eigenvalues of a real supersymmetric tensor, J. Symb. Comput., 40 (2005), 1302–1324. https://doi.org/10.1016/j.jsc.2005.05.007 doi: 10.1016/j.jsc.2005.05.007
[20]	L. Qi, Z. Luo, Tensor Analysis: Spectral Theory and Special Tensors, Philadelphia: Society for Industrial and Applied Mathematics, 2017. https://doi.org/10.1137/1.9781611974751
[21]	Y. Yang, Q. Yang, Further results for Perron-Frobenius theorem for nonnegative tensors, SIAM J. Matrix Anal. Appl., 31 (2010), 2517–2530. https://doi.org/10.1137/090778766 doi: 10.1137/090778766

Reader Comments

Your name:*

Email:*
© 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)