Efficient computations for weighted generalized proportional fractional operators with respect to a monotone function

1.   Introduction

In recent years, a useful extension has been proposed from the classical calculus by permitting derivatives and integrals of arbitrary orders is known as fractional calculus. It emerged from a celebrated logical conversation between Leibniz and L'Hopital in 1695 and was enhanced by different scientists like Laplace, Abel, Euler, Riemann, and Liouville ^[1]. Fractional calculus has gained popularity on the account of diverse applications in various areas of science and technology ^[2,3,4]. The concept of this new calculus was applied in several distinguished areas previously with excellent developments in the frame of novel approaches and posted scholarly papers, see ^{[5,6,7,8,9,10,11,12,13,14,15,16,17,18]}. Various notable generalized fractional integral operators such as the Riemann-Liouville, Hadamard, Caputo, Marichev-Saigo-Maeda, Riez, the Gaussian hypergeometric operators and so on, their attempts helpful for researchers to recognize the real world phenomena. Therefore, the Caputo and Riemann-Liouville was the most used fractional operators having singular kernels. It is remarkable that all the above mentioned operators are the particular cases of the operators investigated by Jarad et al. ^[19]. The utilities to weighted generalized fractional operators are undertaking now.

Adopting the excellency of the above work, we introduce a new weighted framework of generalized proportional fractional integral operator with respect to monotone function $\Psi.$ Also, some new characteristics of the aforesaid operator are apprehended to explore new ideas to amplify the fractional operators and acquire fractional integral inequalities via generalized fractional operators (see Remark 2 and 3 below).

Recently, by employing the fractional integral operators, several researchers have established a bulk of fractional integral inequalities and their variant forms with fertile applications. These sorts of speculations have noteworthy applications in fractional differential/difference equations and fractional Schrödinger equations ^[20,21]. By the use of Riemann-Liouville fractional integral operator, Belarbi and Dahmani ^[22] contemplated the subsequent integral inequalities as follows:

If $f_{1}$ and $g_{1}$ are two synchronous functions on $[0, \infty),$ then

and

for all $\varkappa > 0, \alpha, \beta > 0.$ Butt et al. ^[23], Rashid et al. ^[24] and Set et al. ^[25] established the fractional integral inequalities via generalized fractional integral operator having Raina's function, generalized $K$-fractional integral and Katugampola fractional integral inequalities similar to the variants (1.1) and (1.2), respectively. Here we should emphasize that, inequalities (1.1) and (1.2) are a remarkable instrument for reconnoitering plentiful scientific regions of investigation encompassing probability theory, statistical analysis, physics, meteorology, chaos and henceforth.

More general version of inequalities (1.1) and (1.2) proposed by Dahmani ^[26] by employing Riemann-Liouville fractional integral operator.

Let $f_{1}$ and $g_{1}$ be two synchronous functions on $[0, \infty)$ and let $r, s:[0, \infty)\rightarrow [0, \infty).$ Then

and

for all $\varkappa > 0, \alpha, \beta > 0.$ Chinchane and Pachpatte ^[27], Brahim and Taf ^[28] and Shen et al. ^[29] explored the Hadamard fractional integral inequalities, the fractional version of integral inequalities in two variable quantum deformation and the Riemann-Liouville fractional integral operator on time scale analysis coincide to variants (1.3) and (1.4), respectively.

Let us define the most distinguished Chebyshev functional ^[30]:

where $f_{1}$ and $g_{1}$ are two integrable functions on $[a_{1}, b_{1}].$ In ^[31], Grüss proposed the well-known generalization:

where $f_{1}$ and $g_{1}$ are two integrable functions on $[a_{1}, b_{1}]$ satisfying the assumptions

The inequality (1.6) is known to be Grüss inequality. In recent years, the Grüss type integral inequality has been the subject of very active research. Mathematicians and scientists can see them in research papers, monographs, and textbooks devoted to the theory of inequalities ^{[32,33,34,35]} such as, Dragomir ^[36] demonstrated certain variants with the supposition of vectors and continuous mappings of selfadjoint operators in Hilbert space similar to (1.6). In this context, $f_{1}$ and $g_{1}$ are holding the assumptions (1.7), Dragomir ^[37] derived several functionals in two and three variable sense as follows:

where

and

In ^[37], Dragomir established the inequality:

If $f_{1}^{\prime}, g_{1}^{\prime}\in L_{\infty}(a_{1}, b_{1}),$ then

Moreover, author ^[37] proved numerous variants for Lipschitzian functions as follows:

If $f_{1}$ is $L$-$g_{1}$-Lipschitzian on $[a_{1}, b_{1}],$ that is

and

Furthermore, if $f_{1}$ and $g_{1}$ are $L_{1}$ and $L_{2}$-Lipschitzian functions on $[a_{1}, b_{1}],$ then

Owing to the above tendency, Dhamani et al. ^[38] proposed the fractional integral inequalities in the Riemann-Liouville parallel to variant (1.6) with the suppositions (1.7). Additionally, Dahamani and Benzidane ^[39] introduced weighted Grüss type inequality via $(\alpha, \beta)$-fractional $q$-integral inequality resemble to (1.8) under the hypothesis of (1.5). Author ^[40,41] derived the extended functional of (1.10) by employing Riemann-Liouville integral corresponds to variants (1.11), (1.13) and (1.14), respectively. In this flow, Set et al. ^[42] contemplated the Grüss type inequalities considering the generalized $K$-fractional integral. Chen et al. ^[43] obtained the novel refinements of Hermite-Hadamard type inequalities for $n$-polynomial $p$-convex functions within the generalized fractional integral operators. Abdeljawad et al. ^[44] derived the Simpson's type inequalities for generalized $p$-convex functions involving fractal set. Jarad et al. ^[45] investigated the properties of the more general form of generalized proportional fractional operators in Laplace transforms.

The motivation of this paper is twofold. First, we propose a novel framework named weighted generalized proportional fractional integral operator based on characteristics, as well as considering the boundedness and semi-group property and able to be widely applied to many scientific results. Second, the current operator employed to the extended weighted Chebyshev and Grüss type inequalities for exploring the analogous versions of (1.5) and (1.6). Some special cases are pictured with new fractional operators which are not computed yet. Interestingly, particular cases are designed for Riemann-Liouville fractional integral, generalized Riemann-Liouville fractional integral and generalized proportional fractional integral inequalities. It is worth mentioning that these operators have the ability to recapture several generalizations in the literature by considering suitable assumptions of $\Psi, \omega$ and $\rho.$

2.   Prelude

In this section, we demonstrate the space where the weighted fractional integrals are bounded and also, provide certain specific features of these operators.

Definition 2.1 (^[19])Let $\omega\neq0$ be a mapping defined on $[a_{1}, b_{1}]$, $g_{1}$ is a differentiable strictly increasing function on $[a_{1}, b_{1}].$ The space $\chi_{\omega}^{p}(a_{1}, b_{1}), \, 1\leq p < \infty$ is the space of all Lebesgue measurable functions $f_{1}$ defined on $[a_{1}, b_{1}]$ for which $\|f_{1}\|_{\chi_{\omega}^{p}},$ where

and

Remark 1. Clearly we see that $f_{1}\in\chi_{\omega}^{p}(a_{1}, b_{1})$ $\implies$ $\omega(\varkappa)f_{1}(\varkappa)(g_{1}^{-1}(\varkappa))^{1/p}\in L_{p}(a_{1}, b_{1})$ for $1\leq p < \infty$ and $f_{1}\in\chi_{\omega}^{p}(a_{1}, b_{1})$ $\implies$ $\omega(\varkappa)f_{1}(\varkappa)\in L_{\infty}(a_{1}, b_{1}).$

Now, we show a novel fractional integral operator which is known as the weighted generalized proportional fractional integral operator with respect to monotone function $\Psi.$

Definition 2.2. Let $f_{1}\in\chi_{\omega}^{p}(a_1, b_1)$ and $\omega\neq0$ be a function on $[a_1, b_1].$ Also, assume that $\Psi$ is a continuously differentiable function on $[a_1, b_1]$ with $\psi' > 0$ on $[a_1, b_1]$. Then the left and right-sided weighted generalized proportional fractional integral operator with respect to another function $\Psi$ of order $\alpha > 0$ are described as:

and

where $\rho\in(0, 1]$ is the proportionality index, $\alpha\in\mathcal{C}, \Re(\alpha) > 0$ and $\Gamma(\varkappa) = \int_{0}^{\infty}\mu^{\varkappa-1}e^{-\mu}d\mu$ is the Gamma function.

Remark 2. Some particular fractional operators are the special cases of (2.3) and (2.4).

(1) Setting $\Psi(\varkappa) = \varkappa,$ in Definition (2.2), then we get the weighted generalized proportional fractional operators stated as follows:

and

(2) Setting $\Psi(\varkappa) = \varkappa$ and $\rho = 1$ in Definition (2.2), then we get the weighted Riemann-Liouville fractional operators stated as follows:

and

(3) Setting $\Psi(\varkappa) = \ln\varkappa$ and $\; a_{1} > 0$ in Definition (2.2), we get the weighted generalized proportional Hadamard fractional operators stated as follows:

and

(4) Setting $\Psi(\varkappa) = \ln\varkappa$ and $\; a_{1} > 0$ along with $\rho = 1$ in Definition (2.2), then we get the weighted Hadamard fractional operators stated as follows:

and

(5) Setting $\Psi(\varkappa) = \frac{\varkappa^{\tau}}{\tau}\, \, (\tau > 0)$ in Definition (2.2), then we get the weighted generalized fractional operators in terms of Katugampola stated as follows:

and

Remark 3. Several existing integral operators can be derived from Definition 2.2 as follows:

(1) Letting $\omega(\varkappa) = 1,$ then we get the Definition 4 proposed by Rashid et al. ^[46] and Definition 3.2 introduced by Jarad et al. ^[47], independently.

(2) Letting $\omega(\varkappa) = 1, \, \Psi(\varkappa) = \varkappa,$ then we get the Definition 3.4 defined by Jarad et al. ^[48].

(3) Letting $\omega(\varkappa) = 1$ and $\Psi(\varkappa) = \ln \varkappa$ along with $a_{1} > 0,$ then we get the Definition 2.1 defined by Rahman et al. ^[49].

(4) Letting $\omega(\varkappa) = \rho = 1$ and $\Psi(\varkappa) = \ln \varkappa$ along with $a_{1} > 0,$ then we get the operator defined by Kilbas et al. ^[3] and Smako et al. ^[5], respectively.

(5) Letting $\omega(\varkappa) = \rho = 1$ and $\Psi(\varkappa) = \varkappa,$ then we get the operator defined by Kilbas et al ^[3].

(6) Letting $\omega(\varkappa) = 1$ and $\Psi(\varkappa) = \frac{\varkappa^{\tau}}{\tau}, \, (\tau > 0),$ then we get the operator defined by Katugampola et al. ^[7].

(7) Letting $\omega(\varkappa) = \rho = 1$ and $\Psi(\varkappa) = \frac{\varkappa^{\tau+s}}{\tau+s}, \, \tau\in(0, 1], \, s\in\mathbb{R},$ then we get the Definition 2 defined by Khan and Khan et al ^[50].

(8) Letting $\omega(\varkappa) = \rho = 1$ and $\Psi(\varkappa) = \frac{(\varkappa-a_{1})^{\tau}}{\tau},$ and $\Psi(\varkappa) = \frac{-(b_{1}-\varkappa)^{\tau}}{\tau}, \, (\tau > 0),$ then we get the operator defined by Jarad et al. ^[51].

Theorem 2.3. For $\alpha > 0, \rho\in(0, 1], \, 1\leq p\leq \infty$ and $f_{1}\in\chi_{\omega}^{p}(a_{1}, b_{1}).$ Then $\, _{\omega}^{\Psi}\Omega_{a_{1}}^{\rho; \alpha}$ is bounded in $\chi_{\omega}^{p}(a_{1}, b_{1})$ and

Proof. For $1\leq p\leq \infty,$ we have

Using the fact that $\vert\exp[\frac{\rho-1}{\rho}(t_{2}-t_{1})]\vert < 1.$ Taking into account the generalized Minkowski inequality ^[5], we can write

By employing the well-known Hölder inequality satisfying $p^{-1}+q^{-1} = 1,$ we obtain

Now, for $p = \infty,$ we have

This ends the proof.

Our next result is the semi group property for weighted generalized proportional fractional integral operator with respect to monotone function.

Theorem 2.4. For $\alpha, \beta > 0, \rho\in(0, 1]$ with $1\leq p\leq\infty$ and let $f_{1}\in\chi_{\omega}^{p}(a_{1}, b_{1}).$ Then

Proof.

By making change of variable technique $\theta = \frac{\Psi(\mu)-\Psi(a_{1})}{\Psi(\varkappa)-\Psi(a_{1})},$ we can write

where $\mathbb{B}(\alpha, \beta) = \frac{\Gamma(\alpha)\Gamma(\beta)}{\Gamma(\alpha+\beta)} = \int\limits_{0}^{1}\theta^{\beta-1}(1-\theta)^{\alpha-1}d\theta$ is known to be Euler Beta function.

3.   Main results

This section contains some significant generalizations for weighted integral inequalities by employing weighted generalized proportional fractional integral operator, for the consequences relating to (1.1) and (1.2), it is suppose that all mappings are integrable in the Riemann sense.

Throughout this investigation, we use the following assumptions:

I. Let $f_{1}$ and $g_{1}$ be two synchronous functions on $[0, \infty).$

II. Let $\Psi: [0, \infty)\rightarrow (0, \infty)$ is an increasing function with continuous derivative $\Psi^{\prime}$ on the interval $(0, \infty)$.

Lemma 3.1. If the supposition $\boldsymbol{I}$ and $\boldsymbol{II}$ are satisfied and let $\mathcal{Q}$ and $\mathcal{P}$ be two non-negative continuous mappings on $[0, \infty).$ Then the inequality

holds for all $\rho\in(0, 1], \alpha\in\mathcal{C}$ with $\Re(\alpha) > 0.$

Proof. Since $f_{1}$ and $g_{1}$ are two synchronous functions on $[0, \infty)$, then for all $\mu > 0$ and $\nu > 0,$ we have

By (3.2), we write

If we multiply both sides of (3.3) by $\frac{\exp[\frac{\rho-1}{\rho}(\Psi(\varkappa)-\Psi(\mu))]\mathcal{Q}(\mu)\omega(\mu)\Psi^{\prime}(\mu)}{\rho^{\alpha}\Gamma(\alpha)(\Psi(\varkappa)-\Psi(\mu))^{1-\alpha}}$ and integrating the resulting inequality with respect to $\mu$ from $0$ to $\varkappa,$ we get

Taking product both sides of the above equation by $\omega^{-1}(\varkappa)$ and in view of Definition (2.2), we have

Further, if we multiply both sides of (3.5) by $\frac{\exp[\frac{\rho-1}{\rho}(\Psi(\varkappa)-\Psi(\nu))]\mathcal{P}(\nu)\omega(\nu)\Psi^{\prime}(\nu)}{\rho^{\alpha}\Gamma(\alpha)(\Psi(\varkappa)-\Psi(\nu))^{1-\alpha}}$ and integrating the resulting inequality with respect to $\nu$ from $0$ to $\varkappa.$ Then, multiplying by $\omega^{-1}(\varkappa)$ and in view of Definition 2.2, we obtain

which implies (3.1).

Theorem 3.2. Under the assumption of $\boldsymbol{I},$ $\boldsymbol{II}$ and let $r,$ $s$ and $t$ be three non-negative continuous functions on $[0, \infty).$ Then the inequality

holds for all $\rho\in(0, 1], \alpha\in\mathcal{C}$ with $\Re(\alpha) > 0.$

Proof. By means of Lemma 3.1 and setting $\mathcal{P} = r, \, \mathcal{Q} = s,$ we can write

Conducting product both sides of (3.8) by $\, _{\omega}^{\Psi}\Omega_{0^{+}}^{\rho; \alpha}r(\varkappa),$ we obtain

By means of Lemma 3.1 and setting $\mathcal{P} = r, \, \mathcal{Q} = t,$ we can write

Conducting product of (3.10) by $\, _{\omega}^{\Psi}\Omega_{0^{+}}^{\rho; \alpha}s(\varkappa),$ we obtain

By similar argument as we did before, yields

Adding (3.9), (3.11) and (3.12), we get the desired inequality (3.8).

Lemma 3.3. Under the assumption of $\boldsymbol{I},$ $\boldsymbol{II}$ and let $\mathcal{Q}$ and $\mathcal{P}$ be two non-negative continuous functions on $[0, \infty).$ Then the inequality

holds for all $\rho\in(0, 1], \alpha, \beta\in\mathcal{C}$ with $\Re(\alpha), \Re(\beta) > 0.$

Proof. If we multiply both sides of (3.2) by $\frac{\exp[\frac{\rho-1}{\rho}(\Psi(\varkappa)-\Psi(\nu))]\mathcal{Q}(\nu)\omega(\nu)\Psi^{\prime}(\nu)}{\rho^{\beta}\Gamma(\beta)(\Psi(\varkappa)-\Psi(\nu))^{1-\beta}}$ and integrating the resulting inequality with respect to $\nu$ from $0$ to $\varkappa,$ we have

Taking product both sides of the above equation by $\omega^{-1}(\varkappa)$ and in view of Definition (2.2), we have

Again, multiplying both sides of (3.14) by $\frac{\exp[\frac{\rho-1}{\rho}(\Psi(\varkappa)-\Psi(\mu))]\mathcal{P}(\mu)\omega(\mu)\Psi^{\prime}(\mu)}{\rho^{\alpha}\Gamma(\alpha)(\Psi(\varkappa)-\Psi(\mu))^{1-\alpha}}$ and integrating the resulting inequality with respect to $\nu$ from $0$ to $\varkappa,$ we have

Taking product both sides of the above equation by $\omega^{-1}(\varkappa)$ and in view of Definition (2.2), we obtain

which implies (3.13).

Theorem 3.4. Under the assumptions $\boldsymbol{I},$ $\boldsymbol{II}$ and let $r,$ $s$ and $t$ be three non-negative continuous functions on $[0, \infty).$ Then the inequality

holds for all $\rho\in(0, 1], \alpha, \beta\in\mathcal{C}$ with $\Re(\alpha), \Re(\beta) > 0.$

Proof. By means of Lemma 3.3 and setting $\mathcal{P} = s, \mathcal{Q} = t,$ we can write

Conducting product both sides of (3.17) by $\, _{\omega}^{\Psi}\Omega_{0^{+}}^{\rho; \alpha}r(\varkappa),$ we obtain

Again, by means of Lemma 3.3 and setting $\mathcal{P} = r, \mathcal{Q} = t,$ we can write

Conducting product both sides of (3.19) by $\, _{\omega}^{\Psi}\Omega_{0^{+}}^{\rho; \alpha}s(\varkappa),$ we obtain

By similar arguments as we did before, yields

Adding (3.18), (3.20) and (3.21), we get the desired inequality (3.16).

Remark 4. Theorem 3.2 and Theorem 3.4 lead to the following conclusions:

(1) Let $f_{1}$ and $g_{1}$ are the asynchronous functions on $[0, \infty),$ then (3.8) and (3.16) are reversed.

(2) Let $r, \, s$ and $t$ are negative on $[0, \infty),$ then (3.8) and (3.16) are reversed.

(3) Let $r, \, s$ are positive $t$ is negative on $[0, \infty),$ then (3.8) and (3.16) are reversed.

In the next, we derive certain novel Grüss-type integral inequalities via weighted generalized proportional fractional integral operators.

Lemma 3.5. Suppose an integrable function $f_{1}$ defined on $[0, \infty)$ satisfying the assertions $\boldsymbol{I}, \boldsymbol{II}$ and $(1.7)$ on $[0, \infty)$ and let a continuous function $r$ defined on $[0, \infty)$. Then the inequality

holds for all $\rho\in(0, 1], \alpha\in\mathcal{C}$ with $\Re(\alpha) > 0.$

Proof. By the given hypothesis and utilizing (1.7). For any $\mu, \nu\in[0, \infty),$ we have

Multiplying both sides of (3.23) by $\frac{\exp[\frac{\rho-1}{\rho}(\Psi(\varkappa)-\Psi(\nu))]r(\nu)\omega(\nu)\Psi^{\prime}(\nu)}{\rho^{\alpha}\Gamma(\alpha)(\Psi(\varkappa)-\Psi(\nu))^{1-\alpha}}$ and integrating the resulting inequality with respect to $\nu$ from $0$ to $\varkappa,$ we have

Taking product both sides of the above equation by $\omega^{-1}(\varkappa)$ and in view of Definition (2.2), we obtain

Multiplying both sides of (3.25) by $\frac{\exp[\frac{\rho-1}{\rho}(\Psi(\varkappa)-\Psi(\mu))]r(\mu)\omega(\mu)\Psi^{\prime}(\mu)}{\rho^{\alpha}\Gamma(\alpha)(\Psi(\varkappa)-\Psi(\mu))^{1-\alpha}}$ and integrating the resulting inequality with respect to $\mu$ from $0$ to $\varkappa,$ we have

Taking product both sides of the above equation by $\omega^{-1}(\varkappa)$ and in view of Definition (2.2), we obtain

which gives (3.22) and proves the lemma.

Theorem 3.6. Suppose two integrable functions $f_{1}$ and $g_{1}$ defined on $[0, \infty)$ satisfying the assertions $\boldsymbol{I}, \boldsymbol{II}$ and $(1.7)$ on $[0, \infty)$ and let a continuous function $r$ defined on $[0, \infty)$. Then the inequality

holds for all $\rho\in(0, 1], \alpha\in\mathcal{C}$ with $\Re(\alpha) > 0.$

Proof. By the given hypothesis stated in Theorem 3.6. Also, assume that $\mathfrak{\mu, \nu}$ be defined by

Multiplying both sides of (3.30) by $\frac{\exp[\frac{\rho-1}{\rho}(\Psi(\varkappa)-\Psi(\mu))]r(\mu)\omega(\mu)\Psi^{\prime}(\mu)}{\rho^{\alpha}\Gamma(\alpha)(\Psi(\varkappa)-\Psi(\mu))^{1-\alpha}}\frac{\exp[\frac{\rho-1}{\rho}(\Psi(\varkappa)-\Psi(\nu))]r(\nu)\omega(\nu)\Psi^{\prime}(\nu)}{\rho^{\alpha}\Gamma(\alpha)(\Psi(\varkappa)-\Psi(\nu))^{1-\alpha}}$ and integrating the resulting inequality with respect to $\mu$ and $\nu$ from $0$ to $\varkappa,$ we can state that

Taking product both sides of the above equation by $\omega^{-1}(\varkappa)$ and in view of Definition (2.2), we obtain

Thanks to the weighted Cauchy-Schwartz integral inequality for double integrals, we can write that

Since $\big(\Phi-f_{1}(\mu)\big)\big(f_{1}(\mu)-\phi\big)\geq0$ and $\big(\Upsilon-g_{1}(\mu)\big)\big(g_{1}(\mu)-\gamma\big)\geq0,$ we have

and

Therefore, from (3.33), (3.34) and Lemma 3.5, we get

and

Combining (3.30), (3.31), (3.35) and (3.36), we deduce that

Taking into consideration the elementary inequality $4a_{1}a_{2}\leq(a_{1}+a_{2})^{2}, \, a_{1}, a_{2}\in\mathbb{R},$ we can state that

and

From (3.37)-(3.39), we obtain (3.28). This completes the proof of Theorem 3.6.

Lemma 3.7. Suppose two integrable functions $f_{1}$ and $g_{1}$ defined on $[0, \infty)$ satisfying the assertions $\boldsymbol{I}, \boldsymbol{II}$ and $(1.7)$ on $[0, \infty)$ and let two continuous function $r$ and $s$ defined on $[0, \infty)$. Then the inequality

holds for all $\rho\in(0, 1], \alpha, \beta\in\mathcal{C}$ with $\Re(\alpha), \Re(\beta) > 0.$

Proof. Taking product (3.30) by $\frac{\exp[\frac{\rho-1}{\rho}(\Psi(\varkappa)-\Psi(\mu))]r(\mu)\omega(\mu)\Psi^{\prime}(\mu)}{\rho^{\alpha}\Gamma(\alpha)(\Psi(\varkappa)-\Psi(\mu))^{1-\alpha}}\frac{\exp[\frac{\rho-1}{\rho}(\Psi(\varkappa)-\Psi(\nu))]s(\nu)\omega(\nu)\Psi^{\prime}(\nu)}{\rho^{\beta}\Gamma(\beta)(\Psi(\varkappa)-\Psi(\nu))^{1-\beta}}$ and integrating the resulting inequality with respect to $\mu$ and $\nu$ from $0$ to $\varkappa,$ we can state that

Taking product both sides of the above equation by $\omega^{-2}(\varkappa)$ and utilizing Definition (2.2), we have

Then, thanks to the weighted Cauchy-Schwartz integral inequality for double integrals, we conclude (3.40).

Lemma 3.8. Suppose an integrable function $f_{1}$ defined on $[0, \infty)$ satisfying the assertions $\boldsymbol{I}$ and $\boldsymbol{II}$ on $[0, \infty)$ and let two continuous function $r$ and $s$ defined on $[0, \infty)$. Then the inequality

holds for all $\rho\in(0, 1], \alpha, \beta\in\mathcal{C}$ with $\Re(\alpha), \Re(\beta) > 0.$

Proof. Multiplying both sides of (3.25) by $\frac{\exp[\frac{\rho-1}{\rho}(\Psi(\varkappa)-\Psi(\mu))]r(\mu)\omega(\mu)\Psi^{\prime}(\mu)}{\rho^{\beta}\Gamma(\beta)(\Psi(\varkappa)-\Psi(\mu))^{1-\beta}}$ and integrating the resulting inequality with respect to $\mu$ from $0$ to $\varkappa.$ Then, by multiplying with $\omega^{-1}(\varkappa)$ and in view of Definition 2.2, concludes

which gives (3.43) and proves the lemma.

Theorem 3.9. Suppose two integrable functions $f_{1}$ and $g_{1}$ defined on $[0, \infty)$ satisfying the assertions $\boldsymbol{I}, \boldsymbol{II}$ and $(1.7)$ on $[0, \infty)$ and let two continuous function $r$ and $s$ defined on $[0, \infty)$. Then the inequality

holds for all $\rho\in(0, 1], \alpha, \beta\in\mathcal{C}$ with $\Re(\alpha), \Re(\beta) > 0.$

Proof. Since $(\Phi-f_{1}(\mu))(f_{1}(\mu)-\phi)\geq0$ and $(\Upsilon-g_{1}(\mu))(g_{1}(\mu)-\gamma)\geq0,$ we have

and

Utilizing Lemma 3.8 to $f_{1}$ and $g_{1},$ and utilizing Lemma 3.7 and the inequalities (3.46) and (3.47), yields (3.45).

Theorem 3.10. Suppose two integrable functions $f_{1}$ and $g_{1}$ defined on $[0, \infty)$ satisfying the assertions $\boldsymbol{I}, \boldsymbol{II}$ and $(1.7)$ on $[0, \infty)$ and let two continuous function $r$ and $s$ defined on $[0, \infty)$. Then the inequality

holds for all $\rho\in(0, 1], \alpha, \beta\in\mathcal{C}$ with $\Re(\alpha), \Re(\beta) > 0.$

Proof. Taking into consideration the assumption (1.7), we have

which implies that

From (3.42) and (3.50), we obtain that

This ends the proof.

Theorem 3.11. Suppose two integrable functions $f_{1}$ and $g_{1}$ defined on $[0, \infty)$ satisfying the assertions $\boldsymbol{I}, \boldsymbol{II}$ and $(1.7)$ on $[0, \infty)$ and let two continuous function $r$ and $s$ defined on $[0, \infty)$. Then the inequality

holds for all $\rho\in(0, 1], \alpha, \beta\in\mathcal{C}$ with $\Re(\alpha), \Re(\beta) > 0.$

Proof. Taking into consideration the assumption (1.12), we have

which implies that

From (3.42) and (3.54), we obtain that

This ends the proof.

Theorem 3.12. Suppose two integrable functions $f_{1}$ and $g_{1}$ defined on $[0, \infty)$ satisfying the assertions $\boldsymbol{I}, \boldsymbol{II}$ and the lipschitzian condition with the constants $\mathcal{M}_{1}$ and $\mathcal{M}_{2}$ and let two continuous function $r$ and $s$ defined on $[0, \infty)$. Then the inequality

holds for all $\rho\in(0, 1], \alpha, \beta\in\mathcal{C}$ with $\Re(\alpha), \Re(\beta) > 0.$

Proof. By the given hypothesis, we have

which implies that

From (3.42) and (3.58), we obtain that

This ends the proof.

Corollary 1. Let $f_{1}$ and $g_{1}$ be two differentiable functions on $[0, \infty)$ and let $r$ and $s$ be two non-negative continuous functions on $[0, \infty).$ Then the inequality

holds for all $\rho\in(0, 1], \alpha, \beta\in\mathcal{C}$ with $\Re(\alpha), \Re(\beta) > 0.$

Proof. We have $f_{1}(\mu)-f_{1}(\nu) = \int\limits_{\nu}^{\mu}f_{1}^{\prime}(\varkappa)d\varkappa$ and $g_{1}(\mu)-g_{1}(\nu) = \int\limits_{\nu}^{\mu}g_{1}^{\prime}(\varkappa)d\varkappa.$ That is, $\big\vert f_{1}(\mu)-f_{1}(\nu)\big\vert\leq\|f_{1}^{\prime}\|_{\infty}\big\vert \mu-\nu \big\vert,$ $\big\vert g_{1}(\mu)-g_{1}(\nu)\big\vert\leq\|g_{1}^{\prime}\|_{\infty}\big\vert \mu-\nu \big\vert, \mu, \nu\in[0, \infty),$ and the immediate consequence follows from Theorem 3.12. This completes the proof.

Example 3.13. Let $\rho, \, \alpha > 0, \, \, q_{1}, q_{2} > 1$ with $q_{1}^{-1}+q_{2}^{-1} = 1,$ and $\omega\neq0$ be a function on $[0, \infty).$ Let $f_{1}$ be an integrable function defined on $[0, \infty)$ and $\, _{\omega}^{\Psi}\Omega_{a_{1}^{+}}^{\rho; \alpha}f_{1}$ be the weighted generalized proportional fractional integral operator satisfying assumption $\bf{II}.$ Then we have

where

and

is the incomplete gamma function ^[52,53].

Proof. It follows from Definition 2.2 and the modulus property that

for $\varkappa > a_{1}.$

Making use of the well-known Hölder inequality, we obtain

Let $\theta = \Psi(\varkappa)-\Psi(\mu).$ Then elaborated computations lead to

4.   Special cases

Here, we aim at present some new generalizations via weighted generalized proportional fractional, weighted generalized Riemann-Liouville and weighted Riemann-Liouville fractional integral operators, which are the new estimates of the main consequences.

Lemma 4.1. Let $f_{1}$ and $g_{1}$ be two synchronous functions on $[0, \infty).$ Assume that $\mathcal{Q}$ and $\mathcal{P}$ be two non-negative continuous mappings on $[0, \infty).$ Then the inequality

holds for all $\rho\in(0, 1], \alpha\in\mathcal{C}$ with $\Re(\alpha) > 0.$

Proof. Letting $\Psi(\varkappa) = \varkappa$ and Lemma 3.1 yields the proof of Lemma 4.1.

Lemma 4.2. Let $f_{1}$ and $g_{1}$ be two synchronous functions on $[0, \infty).$ Assume that $\mathcal{Q}$ and $\mathcal{P}$ be two non-negative continuous mappings on $[0, \infty).$ Then the inequality

holds for all $\rho\in(0, 1], \alpha\in\mathcal{C}$ with $\Re(\alpha) > 0.$

Proof. Letting $\Psi(\varkappa) = \varkappa$ and Lemma 3.1 yields the proof of Lemma 4.2.

Lemma 4.3. Under the assumption of Lemma 3.1, then the inequality

holds for all $\alpha\in\mathcal{C}$ with $\Re(\alpha) > 0.$

Proof. Letting $\rho = 1$ and Lemma 3.1 yields the proof of Lemma 4.3.

Lemma 4.4. Under the assumption of Lemma 4.2, then the inequality

holds for all $\alpha\in\mathcal{C}$ with $\Re(\alpha) > 0.$

Proof. Letting $\rho = 1, \, \Psi(\varkappa) = \varkappa$ and Lemma 3.1 yields the proof of Lemma 4.4.

Theorem 4.5. Let $f_{1}$ and $g_{1}$ be two synchronous functions on $[0, \infty).$ Assume that $r,$ $s$ and $t$ be three non-negative continuous functions on $[0, \infty).$ Then the inequality

holds for all $\rho\in(0, 1], \alpha\in\mathcal{C}$ with $\Re(\alpha) > 0.$

Proof. Letting $\Psi(\varkappa) = \varkappa$ and Theorem 3.2 yields the proof of Theorem 4.5.

Theorem 4.6. Under the assumption of $\boldsymbol{I},$ $\boldsymbol{II}$ and let $r,$ $s$ and $t$ be three non-negative continuous functions on $[0, \infty).$ Then the inequality

holds for all $\alpha\in\mathcal{C}$ with $\Re(\alpha) > 0.$

Proof. Letting $\rho = 1$ and Theorem 3.2 yields the proof of Theorem 4.6.

Theorem 4.7. Under the assumption of Theorem 4.5, then the inequality

holds for all $\alpha\in\mathcal{C}$ with $\Re(\alpha) > 0.$

Proof. Letting $\rho = 1, \, \, \Psi(\varkappa) = \varkappa$ and Theorem 3.2 yields the proof of Theorem 4.7.

Remark 5. The computed results lead to the following conclusion:

(1) Setting $\rho = 1, \Psi(\varkappa) = \varkappa$ and $r(\varkappa) = s(\varkappa) = 1,$ and using the relation (2.7), (2.8) and the assumption $\omega(\varkappa) = 1$, then Theorem 3.6 and Theorem 3.9 reduces to the known results due to Dahmani et al. ^[38].

(2) Setting $\rho = 1, \Psi(\varkappa) = \varkappa$ and using the relation (2.7), (2.8) and the assumption $\omega(\varkappa) = 1$, then Theorem 3.10–3.12, and Corollary 1 reduces to the known results due to Dahmani et al. ^[38] and Dahmani ^[40], respectively.

5.   Conclusions

A new generalized fractional integral operator is proposed in this paper. The novel investigation is used to generate novel weighted fractional operators in the Riemann-Liouville, generalized Riemann-Liouville, Hadamard, Katugampola, Generalized proportional fractional, generalized Hadamard proportional fractional and henceforth, which effectively alleviates the adverse effect of another function $\Psi$ and proportionality index $\rho.$ Utilizing the weighted generalized proportional fractional operator technique, we derived the analogous versions of the extended Chebyshev and Grüss type inequalities that improve the accuracy and efficiency of the proposed technique. Contemplating the Remark 2 and 3, several existing results can be identified in the literature. Some innovative particular cases constructed by this method are tested and analyzed for statistical theory, fractional Schrödinger equation ^[20,21]. The results show that the method proposed in this paper can stably and efficiently generate integral inequalities for convexity with better operators performance, thus providing a reliable guarantee for its application in control theory ^[54].

Conflict of interest

The authors declare that they have no competing interests.

Acknowledgments

The authors would like to express their sincere thanks to referees for improving the article and also thanks to Natural Science Foundation of China (Grant Nos. 61673169) for providing financial assistance to support this research. The authors would like to express their sincere thanks to the support of Taif University Researchers Supporting Project Number (TURSP-2020/217), Taif University, Taif, Saudi Arabia.