Inequalities by Means of Generalized Proportional Fractional Integral Operators with Respect to Another Function

Abstract

In this article, we define a new fractional technique which is known as generalized proportional fractional (GPF) integral in the sense of another function $\Psi .$ The authors prove several inequalities for newly defined GPF-integral with respect to another function $\Psi .$ Our consequences will give noted outcomes for a suitable variation to the GPF-integral in the sense of another function $\Psi$ and the proportionality index $\varsigma$. Furthermore, we present the application of the novel operator with several integral inequalities. A few new properties are exhibited, and the numerical approximation of these new operators is introduced with certain utilities to real-world problems.

1. Introduction

A revolution via the discipline of fractional calculus was perceived, whereas the conventional was conjointly brought up because the classical calculus becomes stretched out to the conception of non-local operators. Fractional calculus was popularized and implemented in numerous areas of science, technology, and engineering as a mathematical model. The idea of this new calculus was implemented in many diversified disciplines previously with outstanding achievements completed in the frame of new discoveries and posted academic articles, see [1,2,3,4] and the references therein.

Numerous distinguished generalized fractional integral operators consist of the Hadamard operator, Erdélyi–Kober operators, the Saigo operator, the Gaussian hypergeometric operator, the Marichev–Saigo–Maeda fractional integral operator and so on; out of these, the Riemann–Liouville (RL) fractional integral operator was extensively utilized by analysts in the literature as well as applications. For more information, see [5,6,7,8]. Almeida [9] expounded $\Psi$-Caputo derivative in the sense of another function $\Psi$ and Kilbas et al. [10] explored the concept of RL-fractional integrals in the sense of another function $\Psi .$ The attractors with numerical simulations work for varying values and this permits the readers to choose the most appropriate operator for demonstrating the issue under investigation. In addition, as a result of its effortlessness in utilities, analysts have given much consideration to presently determined fractional operators without singular kernels [1,2,11,12,13,14]. Later on, numerous articles considering these sorts of fractional operators turned out to be noteworthy.

In [14], Jarad et al. presented the concept of generalized proportional-integral operators which was utilized to characterize some probability density functions and has intriguing applications in statistics (also see [15,16,17]).

Following this tendency, we introduce another fractional operator in more general form which is known as the generalized proportional fractional operator in the sense of another function $\Psi$. These kinds of speculations elevate future studies to investigate novel concepts to modify the fractional operators and attain fractional integral inequalities within such generalized fractional operators (see Remark 1 below). It is noted that GPF-integrals are used to manipulate statistical learning and integrodifferential equations, see [18,19,20,21] and the references therein.

Inequalities and their utilities assume a crucial job in the literature of applied mathematics. The assortment of distinct kinds of classical variants and their modifications were built up by using the classical fractional operators and their developments in [22,23,24,25,26,27]. Adopting this propensity, we give a modified version for the most distinguished Grüss type inequality [28] and some other related variants in the frame of the GPF-integral in the sense of another function $\Psi$ that could be increasingly effective and more applicable than the existing ones. More accurately, Grüss inequality can be described as follows:

Definition 1.

([28]) Let two positive functions $\mathcal{U},\mathcal{S}:[{\upsilon }_1,{\upsilon }_2]\to \mathcal{R}$ (set of real numbers) such that $m\le \mathcal{U}\left(\tau \right)\le \mathcal{M}$ and $n\le \mathcal{S}\left(\tau \right)\le \mathcal{N}$ for all $\tau \in [{\upsilon }_1,{\upsilon }_2]$. Then

$$\begin{array}{c}\hfill |\frac{1}{{\upsilon }_2-{\upsilon }_1}\underset{{\upsilon }_1}{\overset{{\upsilon }_2}{\int }}\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right)d\tau -\frac{1}{{({\upsilon }_2-{\upsilon }_1)}^2}\underset{{\upsilon }_1}{\overset{{\upsilon }_2}{\int }}\mathcal{U}\left(\tau \right)d\tau \underset{{\upsilon }_1}{\overset{{\upsilon }_2}{\int }}\mathcal{S}\left(\tau \right)d\tau |\le \frac{1}{4}(\mathcal{M}-m)(\mathcal{N}-n),\end{array}$$

(1)

where the constant $\frac{1}{4}$ is sharp and $m,\mathcal{M},n,\mathcal{N}\in \mathcal{R}$.

The aforementioned inequality sincerely associates the integral of the product two functions with the product of their integrals. Inequality (1) is a tremendous mechanism for investigating numerous scientific areas of research comprising engineering, fluid dynamics, bio-sciences, chaos, meteorology, vibration analysis, biochemistry, aerodynamics, and many more. There was a constant development of enthusiasm for such an area of research so as to address the issues of different utilizations of these variants, see [29,30,31,32,33,34,35,36].

The principal purpose of this article is to derive novel integral inequalities including a Grüss type inequality and several other related variants via GPF in the sense of another function $\Psi$, by using Young’s, weighted arithmetic and geometric mean inequalities. Interestingly, the special cases of presented results are generalized RL-fractional integral and RL-fractional integral inequalities. Therefore, it is important to summarize the study of fractional integrals.

2. Prelude

In this segment, we give some significant ideas from fractional calculus utilized in our consequent discourse. The fundamental specifics are presented in the monograph by Kilbas et al. [10]. Throughout the paper, for the results concerning [28], it is assumed that all functions are integrable in the Riemann sense.

Definition 2.

([31,37]) A function $\mathcal{U}\left(\xi \right)$ is said to be in $L_{q,r}[0,\infty ]$ space if

$$\begin{array}{c}\hfill L_{q,r}[0,\infty )=\left\{{\mathcal{U}:\parallel \mathcal{U}\parallel }_{L_{q,r}[0,\infty )}={\left(\underset{{\upsilon }_1}{\overset{{\upsilon }_2}{\int }}{\left|\mathcal{U}\left(\xi \right)\right|}^q{\xi }^{r}d\xi \right)}^{\frac{1}{q}}<\infty ,1\le q<\infty ,r\ge 0\right\}.\end{array}$$

For $r=0,$

$$\begin{array}{c}\hfill L_q[0,\infty )=\left\{{\mathcal{U}:\parallel \mathcal{U}\parallel }_{L_q[0,\infty )}={\left(\underset{{\upsilon }_1}{\overset{{\upsilon }_2}{\int }}{\left|\mathcal{U}\left(\xi \right)\right|}^{q}d\xi \right)}^{\frac{1}{q}}<\infty ,1\le q<\infty \right\}.\end{array}$$

Definition 3.

([32]) Let $\mathcal{U}\in L_1[0,\infty )$ and Ψ be an increasing and positive monotone function on $[0,\infty )$ and also derivative ${\Psi }^{\prime }$ is continuous on $[0,\infty )$ and $\Psi \left(0\right)=0.$ The space ${\chi }_{\Psi }^q(0,\infty )(1\le q<\infty )$ of those real-valued Lebesgue measurable functions $\mathcal{U}$ on $[0,\infty )$ for which

$$\begin{array}{c}\hfill {\parallel \mathcal{U}\parallel }_{{\chi }_{\Psi }^q}={\left(\underset{0}{\overset{\infty }{\int }}{\left|\mathcal{U}\left(\xi \right)\right|}^p{\Psi }^{\prime }\left(\xi \right)d\xi \right)}^{\frac{1}{p}}<\infty ,1\le q<\infty \end{array}$$

and for the case $q=\infty$

$$\begin{array}{c}\hfill {\parallel \mathcal{U}\parallel }_{{\chi }_{\Psi }^{\infty }}=ess\underset{0\le \xi <\infty }{sup}\left[{\Psi }^{\prime }\left(\xi \right)\mathcal{U}\left(\xi \right)\right].\end{array}$$

Specifically, when $\Psi \left(\tau \right)=\tau (1\le q<\infty )$ the space ${\chi }_{\Psi }^q(0,\infty )$ coinsides with the $L_q[0,\infty )$-space and also if we choose $\Psi \left(\tau \right)=ln\tau (1\le q<\infty )$ the space ${\chi }_{\Psi }^q(0,\infty )$ coincides with $L_{q,r}[1,\infty )$-space.

Now, we present a new fractional operator which is known as the GPF-integral operator of a function in the sense of another function $\Psi .$

Definition 4.

Let $\mathcal{U}\in {\chi }_{\Psi }^q(0,\infty ),$ there is an increasing, positive monotone function Ψ defined on $[0,\infty )$ having continuous derivative ${\Psi }^{\prime }\left(\tau \right)$ on $[0,\infty )$ with $\Psi \left(0\right)=0.$ Then the left-sided and right-sided GPF-integral operator of a function $\mathcal{U}$ in the sense of another function Ψ of order $\eta >0$ are stated as:

$$\begin{array}{c}\hfill \left({}^{\Psi }{\mathcal{T}}_{{\upsilon }_1}^{\eta ,\varsigma }\mathcal{U}\right)\left(\tau \right)=\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{{\upsilon }_1}{\overset{\tau }{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\xi \right))\right]}{{(\Psi \left(\tau \right)-\Psi \left(\xi \right))}^{1-\eta }}\mathcal{U}\left(\xi \right){\Psi }^{\prime }\left(\xi \right)d\xi ,{\upsilon }_1<\tau \end{array}$$

(2)

and

$$\begin{array}{c}\hfill \left({}^{\Psi }{\mathcal{T}}_{{\upsilon }_2}^{\eta ,\varsigma }\mathcal{U}\right)\left(\tau \right)=\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{\tau }{\overset{{\upsilon }_2}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\xi \right)-\Psi \left(\tau \right))\right]}{{(\Psi \left(\xi \right)-\Psi \left(\tau \right))}^{1-\eta }}\mathcal{U}\left(\xi \right){\Psi }^{\prime }\left(\xi \right)d\xi ,\tau <{\upsilon }_2,\end{array}$$

(3)

where the proportionality index $\varsigma \in (0,1],\eta \in \mathbb{C},\Re \left(\eta \right)>0,$ and $\Gamma \left(\tau \right)=\underset{0}{\overset{\infty }{\int }}{\xi }^{\tau -1}{e}^{-\xi }d\xi$ is the Gamma function.

Remark 1.

Several existing fractional operators are just special cases of (2) and (3).

(1)

Choosing $\Psi \left(\tau \right)=\tau ,$ in (2) and (3), then we acquire the left and right-sided GPF operator proposed by Jarad et al. [14], stated as follows:

$$\begin{array}{c}\hfill \left({\mathcal{T}}_{{\upsilon }_1}^{\eta ,\varsigma }\mathcal{U}\right)\left(\tau \right)=\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{{\upsilon }_1}{\overset{\tau }{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\tau -\xi )\right]}{{(\tau -\xi )}^{1-\eta }}\mathcal{U}\left(\xi \right)d\xi ,{\upsilon }_1<\tau \end{array}$$

(4)

and

$$\begin{array}{c}\hfill \left({\mathcal{T}}_{{\upsilon }_2}^{\eta ,\varsigma }\mathcal{U}\right)\left(\tau \right)=\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{\tau }{\overset{{\upsilon }_2}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\xi -\tau )\right]}{{(\xi -\tau )}^{1-\eta }}\mathcal{U}\left(\xi \right)d\xi ,\tau <{\upsilon }_2.\end{array}$$

(5)

(2)

Choosing $\varsigma =1,$ in (2) and (3), then we acquire the left and right-sided generalized RL-fractional integral operator introduced by Kilbas et al. [10], stated as follows:

$$\begin{array}{c}\hfill \left({}^{\Psi }{\mathcal{T}}_{{\upsilon }_1}^{\eta }\mathcal{U}\right)\left(\tau \right)=\frac{1}{\Gamma \left(\eta \right)}\underset{{\upsilon }_1}{\overset{\tau }{\int }}\frac{{\Psi }^{\prime }\left(\xi \right)\mathcal{U}\left(\xi \right)}{{(\Psi \left(\tau \right)-\Psi \left(\xi \right))}^{1-\eta }}d\xi ,{\upsilon }_1<\tau \end{array}$$

(6)

and

$$\begin{array}{c}\hfill \left({}^{\Psi }{\mathcal{T}}_{{\upsilon }_2}^{\eta }\mathcal{U}\right)\left(\tau \right)=\frac{1}{\eta \Gamma \left(\eta \right)}\underset{\tau }{\overset{{\upsilon }_2}{\int }}\frac{\mathcal{U}\left(\xi \right){\Psi }^{\prime }\left(\xi \right)}{{(\Psi \left(\xi \right)-\Psi \left(\tau \right))}^{1-\eta }}d\xi ,\tau <{\upsilon }_2.\end{array}$$

(7)

(3)

Choosing $\Psi \left(\tau \right)=ln\tau$ in (2) and (3), then we acquire the left and right-sided generalized proportional Hadamard fractional integral operator established by Rahman et al. [23], stated as follows:

$$\begin{array}{c}\hfill \left({\mathcal{T}}_{{\upsilon }_1}^{\eta ,\varsigma }\mathcal{U}\right)\left(\tau \right)=\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{{\upsilon }_1}{\overset{\tau }{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }\left(ln\frac{\tau }{\xi }\right)\right]}{{\left(ln\frac{\tau }{\xi }\right)}^{1-\eta }}\frac{\mathcal{U}\left(\xi \right)}{\xi }d\xi ,{\upsilon }_1<\tau \end{array}$$

(8)

and

$$\begin{array}{c}\hfill \left({\mathcal{T}}_{{\upsilon }_2}^{\eta ,\varsigma }\mathcal{U}\right)\left(\tau \right)=\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{\tau }{\overset{{\upsilon }_2}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }\left(ln\frac{\xi }{\tau }\right)\right]}{{(ln\frac{\xi }{\tau })}^{1-\eta }}\frac{\mathcal{U}\left(\xi \right)}{\xi }d\xi ,\tau <{\upsilon }_2.\end{array}$$

(9)

(4)

Choosing $\Psi \left(\tau \right)=ln\tau$ along with $\varsigma =1$ in (2) and (3), then we acquire the left and right-sided Hadamard fractional integral operator obtained by Kilbas et al. and Smako et al. [7,10], stated as follows:

$$\begin{array}{c}\hfill {\mathcal{T}}_{{\upsilon }_1}^{\eta }\mathcal{U}\left(\tau \right)=\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{{\upsilon }_1}{\overset{\tau }{\int }}\frac{\mathcal{U}\left(\xi \right)}{\xi {\left(ln\frac{\tau }{\xi }\right)}^{1-\eta }}d\xi ,{\upsilon }_1<\tau \end{array}$$

(10)

and

$$\begin{array}{c}\hfill {\mathcal{T}}_{{\upsilon }_2}^{\eta }\mathcal{U}\left(\tau \right)=\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{\tau }{\overset{{\upsilon }_2}{\int }}\frac{\mathcal{U}\left(\xi \right)}{\xi {(ln\frac{\xi }{\tau })}^{1-\eta }}d\xi ,\tau <{\upsilon }_2.\end{array}$$

(11)

(5)

Choosing $\Psi \left(\tau \right)=\frac{{\tau }^{\rho }}{\rho }(\rho >0)$ in (2) and (3), then we acquire the left and right-sided generalized fractional integral operator in the sense of Katugampola obtained by [37], stated as follows:

$$\begin{array}{c}\hfill {\mathcal{T}}_{{\upsilon }_1}^{\eta }\mathcal{U}\left(\tau \right)=\frac{1}{\Gamma \left(\eta \right)}\underset{{\upsilon }_1}{\overset{\tau }{\int }}{\left(\frac{{\tau }^{\rho }-{\xi }^{\rho }}{\rho }\right)}^{\eta -1}\mathcal{U}\left(\xi \right)\frac{d\xi }{{\xi }^{1-\rho }},{\upsilon }_1<\tau \end{array}$$

(12)

and

$$\begin{array}{c}\hfill {\mathcal{T}}_{{\upsilon }_2}^{\eta }\mathcal{U}\left(\tau \right)=\frac{1}{\Gamma \left(\eta \right)}\underset{\tau }{\overset{{\upsilon }_2}{\int }}{\left(\frac{{\xi }^{\rho }-{\tau }^{\rho }}{\rho }\right)}^{\eta -1}\mathcal{U}\left(\xi \right)\frac{d\xi }{{\xi }^{1-\rho }},\tau <{\upsilon }_2.\end{array}$$

(13)

(6)

Choosing $\Psi \left(\tau \right)=\tau$ along with $\varsigma =1$ in (2) and (3), then we get the left and right-sided RL-fractional integral operator stated as follows:

$$\begin{array}{c}\hfill {\mathcal{T}}_{{\upsilon }_1}^{\eta }\mathcal{U}\left(\tau \right)=\frac{1}{\Gamma \left(\eta \right)}\underset{{\upsilon }_1}{\overset{\tau }{\int }}\frac{\mathcal{U}\left(\xi \right)}{{(\tau -\xi )}^{1-\eta }}d\xi ,{\upsilon }_1<\tau \end{array}$$

(14)

and

$$\begin{array}{c}\hfill {\mathcal{T}}_{{\upsilon }_2}^{\eta }\mathcal{U}\left(\tau \right)=\frac{1}{\Gamma \left(\eta \right)}\underset{\tau }{\overset{{\upsilon }_2}{\int }}\frac{\mathcal{U}\left(\xi \right)}{{(\xi -\tau )}^{1-\eta }}d\xi ,\tau <{\upsilon }_2.\end{array}$$

(15)

Definition 5.

Let $\mathcal{U}\in {\chi }_{\Psi }^q(0,\infty )$ and there is an increasing, positive monotone function Ψ defined on $[0,\infty )$ having continuous derivative ${\Psi }^{\prime }\left(\tau \right)$ on $[0,\infty )$ with $\Psi \left(0\right)=0.$ Then the one-sided GPF-integral operator of a function $\mathcal{U}$ in the sense of another function Ψ of order $\eta >0$ and proportionality index $\varsigma \in [0,1]$ is stated as:

$$\begin{array}{c}\hfill ({\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U})\left(\tau \right)=\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{\tau }{\int }}\frac{exp[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\xi \right)]}{{(\Psi \left(\tau \right)-\Psi \left(\xi \right))}^{1-\eta }}\mathcal{U}\left(\xi \right){\Psi }^{\prime }\left(\xi \right)d\xi ,\xi >0.\end{array}$$

(16)

For the suitability of inaugurating our consequences, we prove the following semigroup and linearity property for the newly introduced operator.

Theorem 1.

(Semigroup Property) Let $\mathcal{U}:[{\upsilon }_1,{\upsilon }_2]\subseteq [0,\infty )\to \mathcal{R}$ be a GPF-integral operator in the sense of another function $\Psi .$ Then for $\eta ,\delta >0$ and $\varsigma \in (0,1]$ we have:

$$\begin{array}{c}\hfill {}^{\Psi }{\mathcal{T}}_{{\upsilon }_2,\tau }^{\eta ,\varsigma }\left({}^{\Psi }{\mathcal{T}}_{{\upsilon }_2,\tau }^{\delta ,\varsigma }\mathcal{U}\right)\left(\tau \right)=\left({}^{\Psi }{\mathcal{T}}_{{\upsilon }_2,\tau }^{\eta +\delta ,\varsigma }\mathcal{U}\right)\left(\tau \right).\end{array}$$

(17)

Proof. 

Consider

$$\begin{array}{cc}{}^{\Psi }{\mathcal{T}}_{{\upsilon }_2,\tau }^{\eta ,\varsigma }\left({}^{\Psi }{\mathcal{T}}_{{\upsilon }_2,\tau }^{\delta ,\varsigma }\mathcal{U}\right)\left(\tau \right)& \\ & =\frac{1}{{\varsigma }^{\eta }{\varsigma }^{\delta }\Gamma \left(\eta \right)\Gamma \left(\delta \right)}\underset{\tau }{\overset{{\upsilon }_2}{\int }}\underset{\theta }{\overset{{\upsilon }_2}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\theta \right)-\Psi \left(\tau \right))\right]}{{\left(\Psi \left(\theta \right)-\Psi \left(\tau \right)\right)}^{\eta -1}}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\xi \right)-\Psi \left(\theta \right))\right]}{{\left(\Psi \left(\xi \right)-\Psi \left(\theta \right)\right)}^{\delta -1}}\hfill \\ & \times \mathcal{U}\left(\xi \right){\Psi }^{\prime }\left(\xi \right)d\xi {\Psi }^{\prime }\left(\theta \right)d\theta \hfill \\ & =\frac{1}{{\varsigma }^{\eta +\delta }\Gamma \left(\eta \right)\Gamma \left(\delta \right)}\underset{\tau }{\overset{{\upsilon }_2}{\int }}exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\xi \right)-\Psi \left(\tau \right))\right]\mathcal{U}\left(\xi \right)\underset{\tau }{\overset{\xi }{\int }}{\left(\Psi \left(\theta \right)-\Psi \left(\tau \right)\right)}^{\eta -1}\hfill \\ & \times {\left(\Psi \left(\xi \right)-\Psi \left(\theta \right)\right)}^{\delta -1}{\Psi }^{\prime }\left(\theta \right)d\theta {\Psi }^{\prime }\left(\xi \right)d\xi .\hfill \end{array}$$

Now, interchanging the order of integration and changing variables defined by $y=\frac{\Psi \left(\xi \right)-\Psi \left(\theta \right)}{\Psi \left(\xi \right)-\Psi \left(\tau \right)},$ in the inner integral

$$\begin{array}{c}{}^{\Psi }{\mathcal{T}}_{{\upsilon }_2,\tau }^{\eta ,\varsigma }\left({}^{\Psi }{\mathcal{T}}_{{\upsilon }_2,\tau }^{\delta ,\varsigma }\mathcal{U}\right)\left(\tau \right)\hfill \\ =\frac{1}{{\varsigma }^{\eta +\delta }\Gamma \left(\eta \right)\Gamma \left(\delta \right)}\underset{\tau }{\overset{{\upsilon }_2}{\int }}exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\xi \right)-\Psi \left(\tau \right))\right]\mathcal{U}\left(\xi \right){\left(\Psi \left(\xi \right)-\Psi \left(\tau \right)\right)}^{\eta +\delta -1}{\Psi }^{\prime }\left(\xi \right)d\xi \hfill \\ \times \underset{0}{\overset{1}{\int }}{(1-y)}^{\eta -1}{y}^{\delta -1}dy\hfill \\ =\frac{1}{{\varsigma }^{\eta +\delta }\Gamma (\eta +\delta )}\underset{\tau }{\overset{{\upsilon }_2}{\int }}exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\xi \right)-\Psi \left(\tau \right))\right]{\left(\Psi \left(\xi \right)-\Psi \left(\tau \right)\right)}^{\eta +\delta -1}\mathcal{U}\left(\xi \right){\Psi }^{\prime }\left(\xi \right)d\xi \hfill \\ =\left({}^{\Psi }{\mathcal{T}}_{{\upsilon }_2,\tau }^{\eta +\delta ,\varsigma }\mathcal{U}\right)\left(\tau \right),\hfill \end{array}$$

where $\underset{0}{\overset{1}{\int }}{(1-y)}^{\eta -1}{y}^{\delta -1}dy=\frac{\Gamma \left(\eta \right)\Gamma \left(\delta \right)}{\Gamma (\eta +\delta )}$ is the well known Euler Beta function. □

Remark 2.

If we choose $\varsigma =1$ along with $\Psi \left(\tau \right)=\tau ,$ then (17) becomes the result of [7].

Suppose a bounded interval $[{\upsilon }_1,{\upsilon }_2]$, such that ${\upsilon }_1\ge 0$. The operators ${}^{\Psi }{\mathcal{T}}_{{\upsilon }_1}^{\eta ,\varsigma }$ and ${}^{\Psi }{\mathcal{T}}_{{\upsilon }_2}^{\eta ,\varsigma }$ link the function ${}^{\Psi }{\mathcal{T}}_{{\upsilon }_1}^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)$ and ${}^{\Psi }{\mathcal{T}}_{{\upsilon }_2}^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)$ to each GPF integrable function $\mathcal{U}$ in the sense of another function $\Psi$ on $[{\upsilon }_1,{\upsilon }_2].$ In this manner, these are linear operators, which is demonstrated in the following hypothesis.

Theorem 2.

(linearity) The operators ${}^{\Psi }{\mathcal{T}}_{{\upsilon }_1}^{\eta ,\varsigma }$ and ${}^{\Psi }{\mathcal{T}}_{{\upsilon }_2}^{\eta ,\varsigma }$ are linear operators on $L_1[{\upsilon }_1,{\upsilon }_2]$. That is, characterize

$$\begin{array}{c}\hfill {}^{\Psi }{\mathcal{T}}_{{\upsilon }_1}^{\eta ,\varsigma },{}^{\Psi }{\mathcal{T}}_{{\upsilon }_2}^{\eta ,\varsigma }:L_1[{\upsilon }_1,{\upsilon }_2]\to L_1[{\upsilon }_1,{\upsilon }_2],\end{array}$$

then

$$\begin{array}{cc}\hfill {}^{\Psi }{\mathcal{T}}_{{\upsilon }_1}^{\eta ,\varsigma }(a{\mathcal{U}}_1+b{\mathcal{U}}_2)& =a{}^{\Psi }{\mathcal{T}}_{{\upsilon }_1}^{\eta ,\varsigma }{\mathcal{U}}_1+b{}^{\Psi }{\mathcal{T}}_{{\upsilon }_1}^{\eta ,\varsigma }{\mathcal{U}}_2,\hfill \\ \hfill {}^{\Psi }{\mathcal{T}}_{{\upsilon }_2}^{\eta ,\varsigma }(a{\mathcal{U}}_1+b{\mathcal{U}}_2)& =a{}^{\Psi }{\mathcal{T}}_{{\upsilon }_2}^{\eta ,\varsigma }{\mathcal{U}}_1+b{}^{\Psi }{\mathcal{T}}_{{\upsilon }_2}^{\eta ,\varsigma }{\mathcal{U}}_2.\hfill \end{array}$$

For all ${\mathcal{U}}_1,{\mathcal{U}}_2\in L_1[{\upsilon }_1,{\upsilon }_2]$ and $a,b\in \mathcal{R}.$

Proof. 

The proof is simple, consider

$$\begin{array}{cc}\hfill {}^{\Psi }{\mathcal{T}}_{{\upsilon }_1}^{\eta ,\varsigma }(a{\mathcal{U}}_1+b{\mathcal{U}}_2)\left(\tau \right)& =\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{{\upsilon }_1}{\overset{\tau }{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\xi \right))\right]}{{(\Psi \left(\tau \right)-\Psi \left(\xi \right))}^{1-\eta }}{\Psi }^{\prime }\left(\xi \right)(a{\mathcal{U}}_1+b{\mathcal{U}}_2)\left(\xi \right)d\xi \hfill \\ & =\frac{a}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{{\upsilon }_1}{\overset{\tau }{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\xi \right))\right]}{{(\Psi \left(\tau \right)-\Psi \left(\xi \right))}^{1-\eta }}{\Psi }^{\prime }\left(\xi \right){\mathcal{U}}_1\left(\xi \right)d\xi \hfill \\ & +\frac{b}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{{\upsilon }_1}{\overset{\tau }{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\xi \right))\right]}{{(\Psi \left(\tau \right)-\Psi \left(\xi \right))}^{1-\eta }}{\Psi }^{\prime }\left(\xi \right){\mathcal{U}}_2\left(\xi \right)d\xi \hfill \\ & ={}^{\Psi }{\mathcal{T}}_{{\upsilon }_1}^{\eta ,\varsigma }{\mathcal{U}}_1\left(\tau \right)+b{}^{\Psi }{\mathcal{T}}_{{\upsilon }_1}^{\eta ,\varsigma }{\mathcal{U}}_2\left(\tau \right).\hfill \end{array}$$

Analogously

$$\begin{array}{c}\hfill {}^{\Psi }{\mathcal{T}}_{{\upsilon }_2}^{\eta ,\varsigma }(a{\mathcal{U}}_1+b{\mathcal{U}}_2)=a{}^{\Psi }{\mathcal{T}}_{{\upsilon }_2}^{\eta ,\varsigma }{\mathcal{U}}_1+b{}^{\Psi }{\mathcal{T}}_{{\upsilon }_2}^{\eta ,\varsigma }{\mathcal{U}}_2.\end{array}$$

 □

3. Main Results

This section is devoted to establishing generalizations of some classical inequalities by employing GPF integral with respect to another function $\Psi$ defined in (16).

Theorem 3.

For $\varsigma \in (0,1],\eta \in \mathbb{C},\Re \left(\eta \right)>0,$ and let $\mathcal{U}\in {\chi }_{\Psi }^q(0,\infty ).$ Suppose that there is an increasing, positive monotone function Ψ defined on $[0,\infty )$ having continuous derivative ${\Psi }^{\prime }\left(\tau \right)$ on $[0,\infty )$ with $\Psi \left(0\right)=0.$ Moreover, one assumes that there exist two integrable functions ${\varphi }_1,{\varphi }_2$ on $[0,\infty )$ such that

$$\begin{array}{c}\hfill {\varphi }_1\left(\tau \right)\le \mathcal{U}\left(\tau \right)\le {\varphi }_2\left(\tau \right),\forall \tau \in [0,\infty ).\end{array}$$

(18)

Then, for $\tau >0,\eta ,\delta >0,$ one has

$$\begin{array}{cc}\hfill & {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{U}\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\varphi }_1\left(\tau \right)\hfill \\ \hfill & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\varphi }_1\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{U}\left(\tau \right).\hfill \end{array}$$

(19)

Proof. 

From (18), for all $\theta \ge 0,\lambda \ge 0,$ one has

$$\begin{array}{c}\hfill \left({\varphi }_2\left(\theta \right)-\mathcal{U}\left(\theta \right)\right)\left(\mathcal{U}\left(\lambda \right)-{\varphi }_1\left(\lambda \right)\right)\ge 0.\end{array}$$

(20)

Therefore,

$$\begin{array}{c}\hfill {\varphi }_2\left(\theta \right)\mathcal{U}\left(\lambda \right)+{\varphi }_1\left(\lambda \right)\mathcal{U}\left(\theta \right)\ge {\varphi }_1\left(\lambda \right){\varphi }_2\left(\theta \right)+\mathcal{U}\left(\theta \right)\mathcal{U}\left(\lambda \right).\end{array}$$

(21)

Taking product on both sides of (21) by $\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}$ and integrating the estimate with respect to $\theta$ from 0 to $\tau ,$ one obtains

$$\begin{array}{cc}\hfill & \mathcal{U}\left(\lambda \right)\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}{\varphi }_2\left(\theta \right)d\theta \hfill \\ \hfill & +{\varphi }_1\left(\lambda \right)\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}\mathcal{U}\left(\theta \right)d\theta \hfill \\ \hfill & \ge {\varphi }_1\left(\lambda \right)\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}{\varphi }_2\left(\theta \right)d\theta \hfill \\ \hfill & +\mathcal{U}\left(\lambda \right)\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}\mathcal{U}\left(\theta \right)d\theta ,\hfill \end{array}$$

(22)

and arrives at

$$\begin{array}{c}\hfill \mathcal{U}\left(\lambda \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right)+{\varphi }_1\left(\lambda \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\ge {\varphi }_1\left(\lambda \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right)+\mathcal{U}\left(\lambda \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right).\end{array}$$

(23)

Taking product on both sides of (23) by $\frac{1}{{\varsigma }^{\delta }\Gamma \left(\delta \right)}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }}$ and integrating the estimate with respect to $\lambda$ from 0 to $\tau ,$ we have

$$\begin{array}{cc}\hfill & {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right)\frac{1}{{\varsigma }^{\delta }\Gamma \left(\delta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }}\mathcal{U}\left(\lambda \right)d\lambda \hfill \\ \hfill & +{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\frac{1}{{\varsigma }^{\delta }\Gamma \left(\delta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }}{\varphi }_1\left(\lambda \right)d\lambda \hfill \\ \hfill & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right)\frac{1}{{\varsigma }^{\delta }\Gamma \left(\delta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }}{\varphi }_1\left(\lambda \right)d\lambda \hfill \\ \hfill & +{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\frac{1}{{\varsigma }^{\delta }\Gamma \left(\delta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }}\mathcal{U}\left(\lambda \right)d\lambda .\hfill \end{array}$$

(24)

Hence, we deduce inequality (20) as required. This concludes the proof. □

Some special cases can be derived immediately from Theorem 3.

$\left(I\right)$ Choosing $\Psi \left(\tau \right)=\tau ,$ then we attain a new result for GPF-integrals.

Corollary 1.

For $\varsigma \in (0,1],\eta \in \mathbb{C},\Re \left(\eta \right)>0,$ and let $\mathcal{U}\in L_1[0,\infty ).$ Assume that there exist two integrable functions ${\varphi }_1,{\varphi }_2$ on $[0,\infty )$ such that

$${\varphi }_1\left(\tau \right)\le \mathcal{U}\left(\tau \right)\le {\varphi }_2\left(\tau \right),\forall \tau \in [0,\infty ).$$

Then, for $\tau >0,\eta ,\delta >0,$ we get

$$\begin{array}{c}{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{U}\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\varphi }_1\left(\tau \right)\hfill \\ \ge {\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\varphi }_1\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{U}\left(\tau \right).\hfill \end{array}$$

$\left(II\right)$ Letting $\varsigma =1,$ then we attain a result for generalized RL-fractional integrals.

Corollary 2.

Let $\mathcal{U}\in {\chi }_{\Psi }^q(0,\infty )$, and there is an increasing and positive monotone function Ψ defined on $[0,\infty )$ having continuous derivative ${\Psi }^{\prime }\left(\tau \right)$ on $[0,\infty )$ with $\Psi \left(0\right)=0.$ Moreover, one assumes that there exist two integrable functions ${\varphi }_1,{\varphi }_2$ on $[0,\infty )$ such that

$${\varphi }_1\left(\tau \right)\le \mathcal{U}\left(\tau \right)\le {\varphi }_2\left(\tau \right),\forall \tau \in [0,\infty ).$$

Then, for $\tau >0,\eta ,\delta >0,$ we get

$$\begin{array}{c}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{U}\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\varphi }_1\left(\tau \right)\hfill \\ \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\varphi }_1\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{U}\left(\tau \right),\hfill \end{array}$$

which is proposed by Kacar et al. [32].

$\left(III\right)$ Choosing $\Psi \left(\tau \right)=\tau$ along with $\varsigma =1,$ then we attain a result for RL-fractional integrals.

Corollary 3.

Let $\mathcal{U}\in L_1[0,\infty ).$ Assume that there exist two integrable functions ${\varphi }_1,{\varphi }_2$ on $[0,\infty )$ such that

$${\varphi }_1\left(\tau \right)\le \mathcal{U}\left(\tau \right)\le {\varphi }_2\left(\tau \right),\forall \tau \in [0,\infty ).$$

Then, for $\tau >0,\eta ,\delta >0,$ we get

$$\begin{array}{c}{\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{U}\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta }{\varphi }_1\left(\tau \right)\hfill \\ \ge {\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_2\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta }{\varphi }_1\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{U}\left(\tau \right),\hfill \end{array}$$

which is proposed by Tariboon et al. [36].

Theorem 4.

For $\varsigma \in (0,1],\eta ,\delta \in \mathbb{C},\Re \left(\eta \right),\Re \left(\delta \right)>0,$ and let $\mathcal{U}$ and $\mathcal{S}$ be two positive functions on $[0,\infty ),$ and there is an increasing, positive monotone function Ψ defined on $[0,\infty )$ having continuous derivative ${\Psi }^{\prime }\left(\tau \right)$ on $[0,\infty )$ with $\Psi \left(0\right)=0.$ Suppose that (18) holds and moreover one assumes that there exist ${\omega }_1$ and ${\omega }_2$ integrable functions on $[0,\infty )$ such that

$$\begin{array}{c}\hfill {\omega }_1\left(\tau \right)\le \mathcal{S}\left(\tau \right)\le {\omega }_2\left(\tau \right),\forall \tau \in [0,\infty ).\end{array}$$

(25)

Then, for $\tau >0,\eta ,\delta >0,$ the following inequalities hold:

$$\begin{array}{cc}\hfill & \left(M_1\right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_1\left(\tau \right)\hfill \\ \hfill & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_1\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right),\hfill \\ \hfill & \left(M_2\right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\varphi }_1\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{S}\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{U}\left(\tau \right)\hfill \\ \hfill & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\varphi }_1\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\omega }_2\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{S}\left(\tau \right),\hfill \\ \hfill & \left(M_3\right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)\hfill \\ \hfill & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_2\left(\tau \right),\hfill \\ \hfill & \left(M_4\right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_1\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_1\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)\hfill \\ \hfill & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_1\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_1\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right).\hfill \end{array}$$

(26)

Proof. 

To prove $\left(M_1\right)$, from (18) and (25), we have for $\tau \in [0,\infty )$ that

$$\begin{array}{c}\hfill \left({\varphi }_2\left(\theta \right)-\mathcal{U}\left(\theta \right)\right)\left(\mathcal{S}\left(\lambda \right)-{\omega }_1\left(\lambda \right)\right)\ge 0.\end{array}$$

(27)

Therefore,

$$\begin{array}{c}\hfill {\varphi }_2\left(\theta \right)\mathcal{S}\left(\lambda \right)+{\omega }_1\left(\lambda \right)\mathcal{U}\left(\theta \right)\ge {\omega }_1\left(\lambda \right){\varphi }_2\left(\theta \right)+\mathcal{S}\left(\lambda \right)\mathcal{U}\left(\theta \right).\end{array}$$

(28)

Taking product on both sides of (28) by $\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}$ and integrating the estimate with respect to $\theta$ from 0 to $\tau ,$ we have

$$\begin{array}{cc}\hfill & \mathcal{S}\left(\lambda \right)\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}{\varphi }_2\left(\theta \right)d\theta \hfill \\ \hfill & +{\omega }_1\left(\lambda \right)\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}\mathcal{U}\left(\theta \right)d\theta \hfill \\ \hfill & \ge {\omega }_1\left(\lambda \right)\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}{\varphi }_2\left(\theta \right)d\theta \hfill \\ \hfill & +\mathcal{S}\left(\lambda \right)\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}\mathcal{U}\left(\theta \right)d\theta .\hfill \end{array}$$

(29)

Then we have

$$\begin{array}{cc}\hfill & \mathcal{S}\left(\lambda \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right)+{\omega }_1\left(\lambda \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\hfill \\ & \ge {\omega }_1\left(\lambda \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right)+\mathcal{S}\left(\lambda \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right).\hfill \end{array}$$

(30)

Again, taking product on both sides of (30) by $\frac{1}{{\varsigma }^{\delta }\Gamma \left(\delta \right)}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }}$ and integrating the estimate with respect to $\lambda$ from 0 to $\tau ,$ we have

$$\begin{array}{cc}\hfill & {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right)\frac{1}{{\varsigma }^{\delta }\Gamma \left(\delta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }}\mathcal{S}\left(\lambda \right)d\lambda \hfill \\ & +{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\frac{1}{{\varsigma }^{\delta }\Gamma \left(\delta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }}{\omega }_1\left(\lambda \right)d\lambda \hfill \\ & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right)\frac{1}{{\varsigma }^{\delta }\Gamma \left(\delta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }}{\omega }_1\left(\lambda \right)d\lambda \hfill \\ & +{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\frac{1}{{\varsigma }^{\delta }\Gamma \left(\delta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }}\mathcal{S}\left(\lambda \right)d\lambda .\hfill \end{array}$$

It follows that

$$\begin{array}{cc}\hfill & {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_1\left(\tau \right)\hfill \\ & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_1\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right),\hfill \end{array}$$

where we get the desired inequality $\left(M_1\right)$.

We can prove other inequalities by taking into account the following indentities, respectively:

$$\left(M_2\right)\left({\omega }_2\left(\theta \right)-\mathcal{S}\left(\theta \right)\right)\left(\mathcal{U}\left(\lambda \right)-{\varphi }_1\left(\lambda \right)\right)\ge 0,$$

$$\left(M_3\right)\left({\varphi }_2\left(\theta \right)-\mathcal{U}\left(\theta \right)\right)\left(\mathcal{S}\left(\lambda \right)-{\omega }_2\left(\lambda \right)\right)\le 0,$$

$$\left(M_4\right)\left({\varphi }_1\left(\theta \right)-\mathcal{U}\left(\theta \right)\right)\left(\mathcal{S}\left(\lambda \right)-{\omega }_1\left(\lambda \right)\right)\le 0.$$

 □

As a special case of Theorem 4, we have the following corollaries.

$\left(I\right)$ Letting $\Psi \left(\tau \right)=\tau ,$ then we get a new result for GPF-integrals:

Corollary 4.

For $\varsigma \in (0,1],\eta ,\delta \in \mathbb{C},\Re \left(\eta \right),\Re \left(\delta \right)>0,$ and let $\mathcal{U}$ and $\mathcal{S}$ be two positive functions on $[0,\infty ).$ Suppose that (18) holds and moreover one assumes that there exist ${\omega }_1$ and ${\omega }_2$ integrable functions on $[0,\infty )$ such that

$$\begin{array}{c}\hfill {\omega }_1\left(\tau \right)\le \mathcal{S}\left(\tau \right)\le {\omega }_2\left(\tau \right),\forall \tau \in [0,\infty ).\end{array}$$

(31)

Then, for $\tau >0,\eta ,\delta >0,$ the following inequalities hold:

$$\begin{array}{cc}\hfill & \left(M_5\right){\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_1\left(\tau \right)\hfill \\ & \ge {\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_1\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right),\hfill \\ & \left(M_6\right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\varphi }_1\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{S}\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_2\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{U}\left(\tau \right)\hfill \\ & \ge {\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\varphi }_1\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\omega }_2\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{S}\left(\tau \right),\hfill \\ & \left(M_7\right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_2\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)\hfill \\ & \ge {\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_2\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_2\left(\tau \right),\hfill \\ & \left(M_8\right){\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_1\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_1\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right)\hfill \\ & \ge {\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\varphi }_1\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\omega }_1\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right).\hfill \end{array}$$

$\left(II\right)$ Letting $\varsigma =1,$ then we attain a result for generalized RL-fractional integral.

Corollary 5.

let $\mathcal{U}$ and $\mathcal{S}$ be two positive functions on $[0,\infty ),$ and there is an increasing, positive monotone function Ψ defined on $[0,\infty )$ having continuous derivative on $[0,\infty )$ with $\Psi \left(0\right)=0.$ Suppose that (18) holds and moreover one assumes that there exist ${\omega }_1$ and ${\omega }_2$ integrable functions on $[0,\infty )$ such that

$$\begin{array}{c}\hfill {\omega }_1\left(\tau \right)\le \mathcal{S}\left(\tau \right)\le {\omega }_2\left(\tau \right),\forall \tau \in [0,\infty ).\end{array}$$

(32)

Then, for $\tau >0,\eta ,\delta >0,$ the following inequalities hold:

$$\begin{array}{cc}\hfill & \left(M_5\right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_1\left(\tau \right)\hfill \\ & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_1\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right),\hfill \\ & \left(M_6\right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\varphi }_1\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{S}\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{U}\left(\tau \right)\hfill \\ & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\varphi }_1\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\omega }_2\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{S}\left(\tau \right),\hfill \\ & \left(M_7\right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_2\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right)\hfill \\ & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_2\left(\tau \right),\hfill \\ & \left(M_8\right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_1\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_1\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right)\hfill \\ & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_1\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right)+{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_1\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right),\hfill \end{array}$$

which is proposed by Kacar et al. [32].

$\left(III\right)$ Letting $\Psi \left(\tau \right)=\tau$ along with $\varsigma =1,$ then we attain a result for RL-fractional integrals:

Corollary 6.

let $\mathcal{U},\mathcal{S}\in L_1[0,\infty ).$ Suppose that (18) holds and moreover one assumes that there exist ${\omega }_1$ and ${\omega }_2$ integrable functions on $[0,\infty )$ such that

$$\begin{array}{c}\hfill {\omega }_1\left(\tau \right)\le \mathcal{S}\left(\tau \right)\le {\omega }_2\left(\tau \right),\forall \tau \in [0,\infty ).\end{array}$$

(33)

Then, for $\tau >0,\eta ,\delta >0,$ the following inequalities hold:

$$\begin{array}{cc}\hfill & \left(M_5\right){\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_2\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_1\left(\tau \right)\hfill \\ & \ge {\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_2\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_1\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right),\hfill \\ & \left(M_6\right){\mathcal{T}}_{0^{+},\tau }^{\delta }{\varphi }_1\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{S}\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_2\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{U}\left(\tau \right)\hfill \\ & \ge {\mathcal{T}}_{0^{+},\tau }^{\delta }{\varphi }_1\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\eta }{\omega }_2\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{S}\left(\tau \right),\hfill \\ & \left(M_7\right){\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_2\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_2\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right)\hfill \\ & \ge {\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_2\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_2\left(\tau \right),\hfill \\ & \left(M_8\right){\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_1\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_1\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right)\hfill \\ & \ge {\mathcal{T}}_{0^{+},\tau }^{\eta }{\varphi }_1\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right)+{\mathcal{T}}_{0^{+},\tau }^{\delta }{\omega }_1\left(\tau \right){\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right),\hfill \end{array}$$

which is proposed by Tariboon et al. [36].

4. Some other Fractional Integral Inequalities for GPF-Integral in the Sense of Another Function

Theorem 5.

For $\varsigma \in (0,1],\eta ,\delta \in \mathbb{C},\Re \left(\eta \right),\Re \left(\delta \right)>0,$ and let $\mathcal{U}$ and $\mathcal{S}$ be two positive functions on $[0,\infty ),$ and there is an increasing, positive monotone function Ψ defined on $[0,\infty )$ having continuous derivative ${\Psi }^{\prime }\left(\tau \right)$ on $[0,\infty )$ with $\Psi \left(0\right)=0,$ $p,q>1$ satisfying $\frac{1}{p}+\frac{1}{q}=1.$ Then, for $\tau >0,$ one has

$$\begin{array}{cc}\hfill & \left(M_9\right)\frac{1}{p}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^p\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{S}}^p\left(\tau \right)+\frac{1}{q}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^q\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{U}}^q\left(\tau \right)\hfill \\ \hfill & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)\mathcal{U}\left(\tau \right),\hfill \\ \hfill & \left(M_{10}\right)\frac{1}{p}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{S}}^q\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^p\left(\tau \right)+\frac{1}{q}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{U}}^p\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^q\left(\tau \right)\hfill \\ \hfill & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{S}}^{q-1}\left(\tau \right){\mathcal{U}}^{p-1}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right),\hfill \\ \hfill & \left(M_{11}\right)\frac{1}{p}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{S}}^2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^p\left(\tau \right)+\frac{1}{q}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{U}}^2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^q\left(\tau \right)\hfill \\ \hfill & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{U}}^{\frac{2}{q}}\left(\tau \right){\mathcal{S}}^{\frac{2}{p}}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right),\hfill \\ \hfill & \left(M_{12}\right)\frac{1}{p}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{S}}^q\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^2\left(\tau \right)+\frac{1}{q}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{U}}^p\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^2\left(\tau \right)\hfill \\ \hfill & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{U}}^{p-1}\left(\tau \right){\mathcal{S}}^{q-1}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^{\frac{2}{p}}\left(\tau \right){\mathcal{S}}^{\frac{2}{q}}\left(\tau \right).\hfill \end{array}$$

(34)

Proof. 

According to the well-known Young’s inequality [38]:

$$\begin{array}{c}\hfill \frac{1}{p}{a}^p+\frac{1}{q}{b}^q\ge ab,\forall a,b\ge 0,p,q>0,\frac{1}{p}+\frac{1}{q}=1,\end{array}$$

(35)

setting $a=\mathcal{U}\left(\theta \right)\mathcal{S}\left(\lambda \right)$ and $b=\mathcal{U}\left(\lambda \right)\mathcal{S}\left(\theta \right),\theta ,\lambda >0,$ we have

$$\begin{array}{c}\hfill \frac{1}{p}{\left(\mathcal{U}\left(\theta \right)\mathcal{S}\left(\lambda \right)\right)}^p+\frac{1}{q}{\left(\mathcal{U}\left(\lambda \right)\mathcal{S}\left(\theta \right)\right)}^q\ge \left(\mathcal{U}\left(\theta \right)\mathcal{S}\left(\lambda \right)\right)\left(\mathcal{U}\left(\lambda \right)\mathcal{S}\left(\theta \right)\right).\end{array}$$

(36)

Taking product on both sides of (36) by $\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}$ and integrating the estimate with respect to $\theta$ from 0 to $\tau ,$ we have

$$\begin{array}{cc}\hfill & \frac{{\mathcal{S}}^p\left(\lambda \right)}{p{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}{\mathcal{U}}^p\left(\theta \right)d\theta \hfill \\ \hfill & +\frac{{\mathcal{U}}^q\left(\lambda \right)}{q{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}{\mathcal{S}}^q\left(\theta \right)d\theta \hfill \\ \hfill & \ge \frac{\mathcal{S}\left(\lambda \right)\mathcal{U}\left(\lambda \right)}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}\mathcal{U}\left(\theta \right)\mathcal{S}\left(\theta \right)d\theta ,\hfill \end{array}$$

(37)

we get

$$\begin{array}{cc}\hfill & \frac{{\mathcal{S}}^p\left(\lambda \right)}{p}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^p\left(\tau \right)+\frac{{\mathcal{U}}^q\left(\lambda \right)}{q}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^q\left(\tau \right)\hfill \\ & \ge \mathcal{S}\left(\lambda \right)\mathcal{U}\left(\lambda \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right).\hfill \end{array}$$

(38)

Taking product on both sides of (36) by $\frac{1}{{\varsigma }^{\delta }\Gamma \left(\delta \right)}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }},$ and integrating the estimate with respect to $\lambda$ from 0 to $\tau ,$ we have

$$\begin{array}{cc}\hfill & \frac{1}{p}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^p\left(\tau \right)\frac{1}{{\varsigma }^{\delta }\Gamma \left(\delta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }}{\mathcal{S}}^p\left(\lambda \right)d\lambda \hfill \\ \hfill & +\frac{1}{q}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^q\left(\tau \right)\frac{1}{{\varsigma }^{\delta }\Gamma \left(\delta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }}{\mathcal{U}}^q\left(\lambda \right)d\lambda \hfill \\ \hfill & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right)\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\lambda \right))}^{1-\delta }}\mathcal{S}\left(\lambda \right)\mathcal{U}\left(\lambda \right)d\lambda ,\hfill \end{array}$$

(39)

consequently, we get

$$\begin{array}{cc}\hfill & \frac{1}{p}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^p\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{S}}^p\left(\tau \right)+\frac{1}{q}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^q\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{U}}^q\left(\tau \right)\hfill \\ & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)\mathcal{U}\left(\tau \right),\hfill \end{array}$$

(40)

which implies $\left(M_9\right)$. The remaining variants can be derived by adpoting the same technique and accompaying the selection of parameters in Young inequality.

$$\begin{array}{cc}\hfill & \left(M_{10}\right)a=\frac{\mathcal{U}\left(\theta \right)}{\mathcal{U}\left(\lambda \right)},b=\frac{\mathcal{S}\left(\theta \right)}{\mathcal{S}\left(\lambda \right)},\mathcal{U}\left(\lambda \right),\mathcal{S}\left(\lambda \right)\ne 0,\hfill \\ & \left(M_{11}\right)a=\mathcal{U}\left(\theta \right){\mathcal{S}}^{\frac{2}{p}}\left(\lambda \right),b={\mathcal{U}}^{\frac{2}{q}}\left(\lambda \right)\mathcal{S}\left(\theta \right),\hfill \\ & \left(M_{12}\right)a={\mathcal{U}}^{\frac{2}{p}}\left(\theta \right)\mathcal{U}\left(\lambda \right),b={\mathcal{S}}^{\frac{2}{q}}\left(\theta \right)\mathcal{S}\left(\lambda \right),\mathcal{U}\left(\lambda \right),\mathcal{S}\left(\lambda \right)\ne 0.\hfill \end{array}$$

Repeating the foregoing argument, we obtain $\left(M_{10}\right)-\left(M_{12}\right).$ □

$\left(I\right)$ Letting $\varsigma =1,$ then we attain a result for generalized RL-fractional integral.

Corollary 7.

Let $\mathcal{U}$ and $\mathcal{S}$ be two positive functions on $[0,\infty ),$ and there is an increasing, positive monotone function Ψ defined on $[0,\infty )$ having continuous derivative ${\Psi }^{\prime }\left(\tau \right)$ on $[0,\infty )$ with $\Psi \left(0\right)=0,p,q>1$ satisfying $\frac{1}{p}+\frac{1}{q}=1.$ Then, for $\tau >0,\eta ,\delta \in \mathbb{C},\mathcal{R}\left(\eta \right),\mathcal{R}\left(\delta \right)>0,$ we get

$$\begin{array}{c}\left(M_{13}\right)\frac{1}{p}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{U}}^p\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{S}}^p\left(\tau \right)+\frac{1}{q}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{S}}^q\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{U}}^q\left(\tau \right)\hfill \\ \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right)\mathcal{U}\left(\tau \right),\hfill \\ \left(M_{14}\right)\frac{1}{p}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{S}}^q\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{U}}^p\left(\tau \right)+\frac{1}{q}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{U}}^p\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{S}}^q\left(\tau \right)\hfill \\ \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{S}}^{q-1}\left(\tau \right){\mathcal{U}}^{p-1}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right),\hfill \\ \left(M_{15}\right)\frac{1}{p}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{S}}^2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{U}}^p\left(\tau \right)+\frac{1}{q}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{U}}^2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{S}}^q\left(\tau \right)\hfill \\ \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{U}}^{\frac{2}{q}}\left(\tau \right){\mathcal{S}}^{\frac{2}{p}}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right),\hfill \\ \left(M_{16}\right)\frac{1}{p}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{S}}^q\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{U}}^2\left(\tau \right)+\frac{1}{q}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{U}}^p\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{S}}^2\left(\tau \right)\hfill \\ \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{U}}^{p-1}\left(\tau \right){\mathcal{S}}^{q-1}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{U}}^{\frac{2}{p}}\left(\tau \right){\mathcal{S}}^{\frac{2}{q}}\left(\tau \right).\hfill \end{array}$$

Theorem 6.

For $\varsigma \in (0,1],\eta ,\delta \in \mathbb{C},\Re \left(\eta \right),\Re \left(\delta \right)>0,$ and let $\mathcal{U}$ and $\mathcal{S}$ be two positive functions on $[0,\infty ),$ and there is an increasing, positive monotone function Ψ defined on $[0,\infty )$ having continuous derivative ${\Psi }^{\prime }\left(\tau \right)$ on $[0,\infty )$ with $\Psi \left(0\right)=0,$ and $p,q>0$ satisfying $p+q=1.$ Then, for $\tau >0,$ one has

$$\begin{array}{c}\left(M_{17}\right)p{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)+q{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{S}\left(\eta \right)\hfill \\ \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\left({\mathcal{U}}^p\left(\tau \right){\mathcal{S}}^q\left(\tau \right)\right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\left({\mathcal{U}}^q\left(\tau \right){\mathcal{S}}^p\left(\tau \right)\right),\hfill \\ \left(M_{18}\right)p{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^{p-1}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\left(\mathcal{U}\left(\tau \right){\mathcal{S}}^q\left(\tau \right)\right)+q{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{S}}^{q-1}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\left({\mathcal{U}}^q\left(\tau \right)\mathcal{S}\left(\tau \right)\right)\hfill \\ \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^q\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{U}}^p\left(\tau \right),\hfill \\ \left(M_{19}\right)p{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{S}}^{\frac{2}{p}}\left(\tau \right)+q{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{S}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{U}}^{\frac{2}{q}}\left(\tau \right)\hfill \\ \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^p\left(\tau \right)\mathcal{S}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{S}}^q\left(\tau \right){\mathcal{U}}^2\left(\tau \right),\hfill \\ \left(M_{20}\right)p{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^{\frac{2}{p}}\left(\tau \right){\mathcal{S}}^q\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{S}}^{p-1}\left(\tau \right)+q{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^{q-1}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{U}}^{\frac{2}{q}}\left(\tau \right){\mathcal{S}}^p\left(\tau \right)\hfill \\ \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }{\mathcal{S}}^2\left(\tau \right).\hfill \end{array}$$

(41)

Proof. 

From the well-known weighted $AM-GM$ inequality

$$\begin{array}{c}\hfill pa+qb\ge a^p{b}^q,\forall a,b\ge 0,p,q>0,p+q=1,\end{array}$$

(42)

by setting $a=\mathcal{U}\left(\theta \right)\mathcal{S}\left(\lambda \right)$ and $b=\mathcal{U}\left(\lambda \right)\mathcal{S}\left(\theta \right),\lambda ,\theta >0,$ we have

$$\begin{array}{c}\hfill p\mathcal{U}\left(\theta \right)\mathcal{S}\left(\lambda \right)+q\mathcal{U}\left(\lambda \right)\mathcal{S}\left(\theta \right)\ge {\left(\mathcal{U}\left(\theta \right)\mathcal{S}\left(\lambda \right)\right)}^p{\left(\mathcal{U}\left(\lambda \right)\mathcal{S}\left(\theta \right)\right)}^q.\end{array}$$

(43)

Taking product on both sides of (43) by $\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right){\varsigma }^{\delta }\Gamma \left(\delta \right)}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]{\Psi }^{\prime }\left(\theta \right){\Psi }^{\prime }\left(\lambda \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\delta }}$ and integrating the estimate with respect to $\theta$ and $\lambda$ from 0 to $\tau ,$ respectively, we have

$$\begin{array}{cc}\hfill & \frac{p}{{\varsigma }^{\eta }\Gamma \left(\eta \right){\varsigma }^{\delta }\Gamma \left(\delta \right)}\underset{0}{\overset{x}{\int }}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\delta }}\mathcal{U}\left(\theta \right)\mathcal{S}\left(\lambda \right){\Psi }^{\prime }\left(\theta \right){\Psi }^{\prime }\left(\lambda \right)d\theta d\lambda \hfill \\ \hfill & +\frac{q}{{\varsigma }^{\eta }\Gamma \left(\eta \right){\varsigma }^{\delta }\Gamma \left(\delta \right)}\underset{0}{\overset{x}{\int }}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\delta }}\mathcal{U}\left(\lambda \right)\mathcal{S}\left(\theta \right){\Psi }^{\prime }\left(\theta \right){\Psi }^{\prime }\left(\lambda \right)d\theta d\lambda \hfill \\ \hfill & \ge \frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right){\varsigma }^{\delta }\Gamma \left(\delta \right)}\underset{0}{\overset{x}{\int }}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\lambda \right))\right]}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\delta }}\hfill \\ \hfill & \times {\left(\mathcal{U}\left(\theta \right)\mathcal{S}\left(\lambda \right)\right)}^p{\left(\mathcal{U}\left(\lambda \right)\mathcal{S}\left(\theta \right)\right)}^q{\Psi }^{\prime }\left(\theta \right){\Psi }^{\prime }\left(\lambda \right)d\lambda d\theta ,\hfill \end{array}$$

(44)

we conclude that

$$\begin{array}{cc}\hfill & p{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{S}\left(\tau \right)+q{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{S}\left(\tau \right)\hfill \\ \hfill & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\left({\mathcal{U}}^p\left(\tau \right){\mathcal{S}}^q\left(\tau \right)\right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta ,\varsigma }\left({\mathcal{U}}^q\left(\tau \right){\mathcal{S}}^p\left(\tau \right)\right),\hfill \end{array}$$

(45)

which implies $\left(M_{17}\right).$ The remaining inequalities can be proved by adopting the same technique by the accompanying selection of parameters in $AM-GM$ inequality.

$$\begin{array}{cc}\hfill & \left(M_{18}\right)a=\frac{\mathcal{U}\left(\lambda \right)}{\mathcal{U}\left(\theta \right)},b=\frac{\mathcal{S}\left(\theta \right)}{\mathcal{S}\left(\lambda \right)},\mathcal{U}\left(\theta \right),\mathcal{S}\left(\lambda \right)\ne 0.\hfill \\ & \left(M_{19}\right)a=\mathcal{U}\left(\theta \right){\mathcal{S}}^{\frac{2}{p}}\left(\lambda \right),b={\mathcal{U}}^{\frac{2}{q}}\left(\lambda \right)\mathcal{S}\left(\theta \right),\hfill \\ & \left(M_{20}\right)a=\frac{{\mathcal{U}}^{\frac{2}{p}}\left(\theta \right)}{\mathcal{S}\left(\lambda \right)},b=\frac{{\mathcal{U}}^{\frac{2}{q}}\left(\lambda \right)}{\mathcal{S}\left(\theta \right)},\mathcal{S}\left(\theta \right),\mathcal{S}\left(\theta \right)\ne 0.\hfill \end{array}$$

 □

$\left(I\right)$ Letting $\varsigma =1,$ then we attain a result for generalized RL-fractional integrals:

Corollary 8.

Let $\mathcal{U}$ and $\mathcal{S}$ be two positive functions on $[0,\infty ),$ and there is an increasing, positive monotone function Ψ defined on $[0,\infty )$ having continuous derivative ${\Psi }^{\prime }\left(\tau \right)$ on $[0,\infty )$ with $\Psi \left(0\right)=0,$ and $p,q>0$ satisfying $p+q=1.$ Then, for $\tau >0,\eta ,\delta \in \mathbb{C},\mathcal{R}\left(\eta \right),\mathcal{R}\left(\delta \right)>0,$ we get

$$\begin{array}{cc}\hfill & \left(M_{21}\right)p{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{S}\left(\tau \right)+q{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{S}\left(\eta \right)\hfill \\ & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\left({\mathcal{U}}^p\left(\tau \right){\mathcal{S}}^q\left(\tau \right)\right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\left({\mathcal{U}}^q\left(\tau \right){\mathcal{S}}^p\left(\tau \right)\right),\hfill \\ & \left(M_{22}\right)p{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{U}}^{p-1}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }\left(\mathcal{U}\left(\tau \right){\mathcal{S}}^q\left(\tau \right)\right)+q{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{S}}^{q-1}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\left({\mathcal{U}}^q\left(\tau \right)\mathcal{S}\left(\tau \right)\right)\hfill \\ & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{S}}^q\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{U}}^p\left(\tau \right),\hfill \\ & \left(M_{23}\right)p{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{U}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{S}}^{\frac{2}{p}}\left(\tau \right)+q{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }\mathcal{S}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{U}}^{\frac{2}{q}}\left(\tau \right)\hfill \\ & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{U}}^p\left(\tau \right)\mathcal{S}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{S}}^q\left(\tau \right){\mathcal{U}}^2\left(\tau \right),\hfill \\ & \left(M_{24}\right)p{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{U}}^{\frac{2}{p}}\left(\tau \right){\mathcal{S}}^q\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{S}}^{p-1}\left(\tau \right)+q{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{S}}^{q-1}\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{U}}^{\frac{2}{q}}\left(\tau \right){\mathcal{S}}^p\left(\tau \right)\hfill \\ & \ge {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta }{\mathcal{U}}^2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\delta }{\mathcal{S}}^2\left(\tau \right).\hfill \end{array}$$

Theorem 7.

Let $\mathcal{U}$ and $\mathcal{S}$ be two positive functions on $[0,\infty ),$ and there is an increasing, positive monotone function Ψ defined on $[0,\infty )$ having continuous derivative ${\Psi }^{\prime }\left(\tau \right)$ on $[0,\infty )$ with $\Psi \left(0\right)=0,$ and $p,q>1$ satisfying $\frac{1}{q}+\frac{1}{q}=1.$ Let

$$\begin{array}{c}\hfill \hslash =\underset{0\le \theta \le \tau }{min}\frac{\mathcal{U}\left(\theta \right)}{\mathcal{S}\left(\theta \right)}and\mathcal{H}=\underset{0\le \theta \le \tau }{max}\frac{\mathcal{U}\left(\theta \right)}{\mathcal{S}\left(\theta \right)}.\end{array}$$

(46)

Then, for $\tau >0,\eta ,\delta >0,$ one has the following inequalities:

$$\begin{array}{c}\left(M_{25}\right)0\le {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^2\left(\tau \right)\le \frac{\hslash +\mathcal{H}}{4\hslash \mathcal{H}}{\left({}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right)\right)}^2,\hfill \\ \left(M_{26}\right)0\le \sqrt{{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^2\left(\tau \right)}-\left({}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right)\right)\le \frac{\sqrt{\mathcal{H}}-\sqrt{\hslash }}{2\sqrt{\hslash \mathcal{H}}}\left({}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right)\right),\hfill \\ \left(M_{27}\right)0\le {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^2\left(\tau \right)-{\left({}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right)\right)}^2\le \frac{\mathcal{H}-\hslash }{4\hslash \mathcal{H}}{\left({}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right)\right)}^2.\hfill \end{array}$$

Proof. 

From Equation (46) and the inequality

$$\begin{array}{c}\hfill \left(\frac{\mathcal{U}\left(\theta \right)}{\mathcal{S}\left(\theta \right)}-\hslash \right)\left(\mathcal{H}-\frac{\mathcal{U}\left(\theta \right)}{\mathcal{S}\left(\theta \right)}\right){\mathcal{S}}^2\left(\theta \right)\ge 0,0\le \theta \le \tau ,\end{array}$$

(47)

then we can write it as,

$$\begin{array}{c}\hfill {\mathcal{U}}^2\left(\theta \right)+\hslash \mathcal{H}{\mathcal{S}}^2\left(\theta \right)\le (\hslash +\mathcal{H})\mathcal{U}\left(\theta \right)\mathcal{S}\left(\theta \right).\end{array}$$

(48)

Taking product on both sides of (48) by $\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]{\Psi }^{\prime }\left(\theta \right)}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}$ and integrating the estimate with respect to $\theta$ from 0 to $\tau ,$ we have

$$\begin{array}{cc}\hfill & \frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}{\mathcal{U}}^2\left(\theta \right){\Psi }^{\prime }\left(\theta \right)d\theta \hfill \\ \hfill & +\hslash \mathcal{H}\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}{\mathcal{S}}^2\left(\theta \right){\Psi }^{\prime }\left(\theta \right)d\theta \hfill \\ \hfill & \le (\hslash +\mathcal{H})\frac{1}{{\varsigma }^{\eta }\Gamma \left(\eta \right)}\underset{0}{\overset{x}{\int }}\frac{exp\left[\frac{\varsigma -1}{\varsigma }(\Psi \left(\tau \right)-\Psi \left(\theta \right))\right]}{{(\Psi \left(\tau \right)-\Psi \left(\theta \right))}^{1-\eta }}\mathcal{U}\left(\theta \right)\mathcal{S}\left(\theta \right){\Psi }^{\prime }\left(\theta \right)d\theta ,\hfill \end{array}$$

(49)

which implies that

$$\begin{array}{cc}\hfill & {}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^2\left(\tau \right)+\hslash \mathcal{H}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^2\left(\tau \right)\le (\hslash +\mathcal{H}){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right),\hfill \end{array}$$

(50)

on the other hand, it follows from $\hslash \mathcal{H}>0$ and

$$\begin{array}{c}\hfill {\left(\sqrt{{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^2\left(\tau \right)}-\sqrt{\hslash \mathcal{H}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^2\left(\tau \right)}\right)}^2\ge 0,\end{array}$$

(51)

that

$$\begin{array}{c}\hfill 2\sqrt{{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^2\left(\tau \right)}\sqrt{\hslash \mathcal{H}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^2\left(\tau \right)}\le \sqrt{{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^2\left(\tau \right)}+\sqrt{\hslash \mathcal{H}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^2\left(\tau \right)}.\end{array}$$

(52)

Utilizing (50) and (52), we obtain,

$$\begin{array}{c}\hfill 4\hslash \mathcal{H}{}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{U}}^2\left(\tau \right){}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }{\mathcal{S}}^2\left(\tau \right)\le {(\hslash +\mathcal{H})}^2\left({}^{\Psi }{\mathcal{T}}_{0^{+},\tau }^{\eta ,\varsigma }\mathcal{U}\left(\tau \right)\mathcal{S}\left(\tau \right)\right),\end{array}$$

(53)

after simplification, we get $\left(M_{25}\right).$ By some transformation in $\left(M_{25}\right),$ analogously, we get $\left(M_{26}\right)$ and $\left(M_{27}\right).$ □

5. Conclusions

In this article, we derived several theorems by newly defined generalized proportional fractional integral operators with respect to another function $\Psi$ having proportionality index $\varsigma .$ The analogous versions of the Grüss inequality and several other associated variants were derived by employing GPF in the sense of another function $\Psi$. Moreover, we took a few specific instances of these hypotheses, by utilizing Remark 1. Since the GPF is an association of the diverse kind of operators, we can determine the various types of variants by choosing the qualities pertinent to the limitations and the proportionality index $\varsigma$. These results can be applied in convex analysis, optimization, integrodifferential equation, and also different areas of pure and applied sciences. Finally, the GPF in the sense of another function subject to the nonlocal exponential kernel provided the outline for obtaining the results for exponential and normal distribution in statistical theory. Note that the outcomes in this paper are like hypothetically surely understood proliferation properties of fractional Schrödinger equation [18,19]. Besides, our outcomes are practically identical to equality-time evenness in a fractional Schrödinger equation [20] and proliferation elements of light beam in a fractional Schrödinger equation [21]. Indeed, the work set up in the given arrangement is new and contributes suggestively to the study of integrodifferential and difference equations.