Next Article in Journal
Formative Transcendence of Flipped Learning in Mathematics Students of Secondary Education
Previous Article in Journal
New Generalized Mizoguchi-Takahashi’s Fixed Point Theorems for Essential Distances and e0-Metrics
Article

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

1
Department of Mathematics, Government College University, Faisalabad 38000, Pakistan
2
Department of Mathematics, Cankaya University, 06790 Ankara, Turkey
3
Department of Mathematics, COMSATS University Islamabad, Islamabad 45550, Pakistan
4
School of Mathematical Sciences, Zhejiang Universoty, Hangzhou 310027, China
5
Department of Mathematics, Huzhou University, Huzhou 313000, China
*
Author to whom correspondence should be addressed.
Mathematics 2019, 7(12), 1225; https://doi.org/10.3390/math7121225
Received: 31 October 2019 / Revised: 8 December 2019 / Accepted: 10 December 2019 / Published: 11 December 2019

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 Ψ . The authors prove several inequalities for newly defined GPF-integral with respect to another function Ψ . Our consequences will give noted outcomes for a suitable variation to the GPF-integral in the sense of another function Ψ and the proportionality index ς . 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.
Keywords: Grüss inequality; generalized proportional fractional integral with respect to another function Ψ; integral inequalities Grüss inequality; generalized proportional fractional integral with respect to another function Ψ; integral inequalities

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 Ψ -Caputo derivative in the sense of another function Ψ and Kilbas et al. [10] explored the concept of RL-fractional integrals in the sense of another function Ψ . 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 Ψ . 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 Ψ 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 U , S : [ υ 1 , υ 2 ] R (set of real numbers) such that m U ( τ ) M and n S ( τ ) N for all τ [ υ 1 , υ 2 ] . Then
| 1 υ 2 υ 1 υ 1 υ 2 U ( τ ) S ( τ ) d τ 1 ( υ 2 υ 1 ) 2 υ 1 υ 2 U ( τ ) d τ υ 1 υ 2 S ( τ ) d τ | 1 4 ( M m ) ( N n ) ,
where the constant 1 4 is sharp and m , M , n , N 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 Ψ , 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 U ( ξ ) is said to be in L q , r [ 0 , ] space if
L q , r [ 0 , ) = U : U L q , r [ 0 , ) = υ 1 υ 2 | U ( ξ ) | q ξ r d ξ 1 q < , 1 q < , r 0 .
For r = 0 ,
L q [ 0 , ) = U : U L q [ 0 , ) = υ 1 υ 2 | U ( ξ ) | q d ξ 1 q < , 1 q < .
Definition 3.
([32]) Let U L 1 [ 0 , ) and Ψ be an increasing and positive monotone function on [ 0 , ) and also derivative Ψ is continuous on [ 0 , ) and Ψ ( 0 ) = 0 . The space χ Ψ q ( 0 , ) ( 1 q < ) of those real-valued Lebesgue measurable functions U on [ 0 , ) for which
U χ Ψ q = 0 | U ( ξ ) | p Ψ ( ξ ) d ξ 1 p < , 1 q <
and for the case q =
U χ Ψ = e s s sup 0 ξ < Ψ ( ξ ) U ( ξ ) .
Specifically, when Ψ ( τ ) = τ ( 1 q < ) the space χ Ψ q ( 0 , ) coinsides with the L q [ 0 , ) -space and also if we choose Ψ ( τ ) = ln τ ( 1 q < ) the space χ Ψ q ( 0 , ) coincides with L q , r [ 1 , ) -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 Ψ .
Definition 4.
Let U χ Ψ q ( 0 , ) , there is an increasing, positive monotone function Ψ defined on [ 0 , ) having continuous derivative Ψ ( τ ) on [ 0 , ) with Ψ ( 0 ) = 0 . Then the left-sided and right-sided GPF-integral operator of a function U in the sense of another function Ψ of order η > 0 are stated as:
( Ψ T υ 1 η , ς U ) ( τ ) = 1 ς η Γ ( η ) υ 1 τ exp [ ς 1 ς ( Ψ ( τ ) Ψ ( ξ ) ) ] ( Ψ ( τ ) Ψ ( ξ ) ) 1 η U ( ξ ) Ψ ( ξ ) d ξ , υ 1 < τ
and
( Ψ T υ 2 η , ς U ) ( τ ) = 1 ς η Γ ( η ) τ υ 2 exp [ ς 1 ς ( Ψ ( ξ ) Ψ ( τ ) ) ] ( Ψ ( ξ ) Ψ ( τ ) ) 1 η U ( ξ ) Ψ ( ξ ) d ξ , τ < υ 2 ,
where the proportionality index ς ( 0 , 1 ] , η C , ( η ) > 0 , and Γ ( τ ) = 0 ξ τ 1 e ξ d ξ is the Gamma function.
Remark 1.
Several existing fractional operators are just special cases of (2) and (3).
(1)
Choosing Ψ ( τ ) = τ , in (2) and (3), then we acquire the left and right-sided GPF operator proposed by Jarad et al. [14], stated as follows:
( T υ 1 η , ς U ) ( τ ) = 1 ς η Γ ( η ) υ 1 τ exp [ ς 1 ς ( τ ξ ) ] ( τ ξ ) 1 η U ( ξ ) d ξ , υ 1 < τ
and
( T υ 2 η , ς U ) ( τ ) = 1 ς η Γ ( η ) τ υ 2 exp [ ς 1 ς ( ξ τ ) ] ( ξ τ ) 1 η U ( ξ ) d ξ , τ < υ 2 .
(2)
Choosing ς = 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:
( Ψ T υ 1 η U ) ( τ ) = 1 Γ ( η ) υ 1 τ Ψ ( ξ ) U ( ξ ) ( Ψ ( τ ) Ψ ( ξ ) ) 1 η d ξ , υ 1 < τ
and
( Ψ T υ 2 η U ) ( τ ) = 1 η Γ ( η ) τ υ 2 U ( ξ ) Ψ ( ξ ) ( Ψ ( ξ ) Ψ ( τ ) ) 1 η d ξ , τ < υ 2 .
(3)
Choosing Ψ ( τ ) = ln τ 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:
( T υ 1 η , ς U ) ( τ ) = 1 ς η Γ ( η ) υ 1 τ exp [ ς 1 ς ln τ ξ ] ln τ ξ 1 η U ( ξ ) ξ d ξ , υ 1 < τ
and
( T υ 2 η , ς U ) ( τ ) = 1 ς η Γ ( η ) τ υ 2 exp [ ς 1 ς ln ξ τ ] ( ln ξ τ ) 1 η U ( ξ ) ξ d ξ , τ < υ 2 .
(4)
Choosing Ψ ( τ ) = ln τ along with ς = 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:
T υ 1 η U ( τ ) = 1 ς η Γ ( η ) υ 1 τ U ( ξ ) ξ ln τ ξ 1 η d ξ , υ 1 < τ
and
T υ 2 η U ( τ ) = 1 ς η Γ ( η ) τ υ 2 U ( ξ ) ξ ( ln ξ τ ) 1 η d ξ , τ < υ 2 .
(5)
Choosing Ψ ( τ ) = τ ρ ρ ( ρ > 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:
T υ 1 η U ( τ ) = 1 Γ ( η ) υ 1 τ τ ρ ξ ρ ρ η 1 U ( ξ ) d ξ ξ 1 ρ , υ 1 < τ
and
T υ 2 η U ( τ ) = 1 Γ ( η ) τ υ 2 ξ ρ τ ρ ρ η 1 U ( ξ ) d ξ ξ 1 ρ , τ < υ 2 .
(6)
Choosing Ψ ( τ ) = τ along with ς = 1 in (2) and (3), then we get the left and right-sided RL-fractional integral operator stated as follows:
T υ 1 η U ( τ ) = 1 Γ ( η ) υ 1 τ U ( ξ ) ( τ ξ ) 1 η d ξ , υ 1 < τ
and
T υ 2 η U ( τ ) = 1 Γ ( η ) τ υ 2 U ( ξ ) ( ξ τ ) 1 η d ξ , τ < υ 2 .
Definition 5.
Let U χ Ψ q ( 0 , ) and there is an increasing, positive monotone function Ψ defined on [ 0 , ) having continuous derivative Ψ ( τ ) on [ 0 , ) with Ψ ( 0 ) = 0 . Then the one-sided GPF-integral operator of a function U in the sense of another function Ψ of order η > 0 and proportionality index ς [ 0 , 1 ] is stated as:
( T 0 + , τ η , ς U ) ( τ ) = 1 ς η Γ ( η ) 0 τ exp [ ς 1 ς ( Ψ ( τ ) Ψ ( ξ ) ] ( Ψ ( τ ) Ψ ( ξ ) ) 1 η U ( ξ ) Ψ ( ξ ) d ξ , ξ > 0 .
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 U : [ υ 1 , υ 2 ] [ 0 , ) R be a GPF-integral operator in the sense of another function Ψ . Then for η , δ > 0 and ς ( 0 , 1 ] we have:
Ψ T υ 2 , τ η , ς Ψ T υ 2 , τ δ , ς U ( τ ) = Ψ T υ 2 , τ η + δ , ς U ( τ ) .
Proof. 
Consider
Ψ T υ 2 , τ η , ς Ψ T υ 2 , τ δ , ς U ( τ ) = 1 ς η ς δ Γ ( η ) Γ ( δ ) τ υ 2 θ υ 2 exp ς 1 ς ( Ψ ( θ ) Ψ ( τ ) ) Ψ ( θ ) Ψ ( τ ) η 1 exp ς 1 ς ( Ψ ( ξ ) Ψ ( θ ) ) Ψ ( ξ ) Ψ ( θ ) δ 1 × U ( ξ ) Ψ ( ξ ) d ξ Ψ ( θ ) d θ = 1 ς η + δ Γ ( η ) Γ ( δ ) τ υ 2 exp ς 1 ς ( Ψ ( ξ ) Ψ ( τ ) ) U ( ξ ) τ ξ Ψ ( θ ) Ψ ( τ ) η 1 × Ψ ( ξ ) Ψ ( θ ) δ 1 Ψ ( θ ) d θ Ψ ( ξ ) d ξ .
Now, interchanging the order of integration and changing variables defined by y = Ψ ( ξ ) Ψ ( θ ) Ψ ( ξ ) Ψ ( τ ) , in the inner integral
Ψ T υ 2 , τ η , ς Ψ T υ 2 , τ δ , ς U ( τ ) = 1 ς η + δ Γ ( η ) Γ ( δ ) τ υ 2 exp ς 1 ς ( Ψ ( ξ ) Ψ ( τ ) ) U ( ξ ) Ψ ( ξ ) Ψ ( τ ) η + δ 1 Ψ ( ξ ) d ξ × 0 1 ( 1 y ) η 1 y δ 1 d y = 1 ς η + δ Γ ( η + δ ) τ υ 2 exp ς 1 ς ( Ψ ( ξ ) Ψ ( τ ) ) Ψ ( ξ ) Ψ ( τ ) η + δ 1 U ( ξ ) Ψ ( ξ ) d ξ = Ψ T υ 2 , τ η + δ , ς U ( τ ) ,
where 0 1 ( 1 y ) η 1 y δ 1 d y = Γ ( η ) Γ ( δ ) Γ ( η + δ ) is the well known Euler Beta function. □
Remark 2.
If we choose ς = 1 along with Ψ ( τ ) = τ , then (17) becomes the result of [7].
Suppose a bounded interval [ υ 1 , υ 2 ] , such that υ 1 0 . The operators Ψ T υ 1 η , ς and Ψ T υ 2 η , ς link the function Ψ T υ 1 η , ς U ( τ ) and Ψ T υ 2 η , ς U ( τ ) to each GPF integrable function U in the sense of another function Ψ on [ υ 1 , υ 2 ] . In this manner, these are linear operators, which is demonstrated in the following hypothesis.
Theorem 2.
(linearity) The operators Ψ T υ 1 η , ς and Ψ T υ 2 η , ς are linear operators on L 1 [ υ 1 , υ 2 ] . That is, characterize
Ψ T υ 1 η , ς , Ψ T υ 2 η , ς : L 1 [ υ 1 , υ 2 ] L 1 [ υ 1 , υ 2 ] ,
then
Ψ T υ 1 η , ς ( a U 1 + b U 2 ) = a Ψ T υ 1 η , ς U 1 + b Ψ T υ 1 η , ς U 2 , Ψ T υ 2 η , ς ( a U 1 + b U 2 ) = a Ψ T υ 2 η , ς U 1 + b Ψ T υ 2 η , ς U 2 .
For all U 1 , U 2 L 1 [ υ 1 , υ 2 ] and a , b R .
Proof. 
The proof is simple, consider
Ψ T υ 1 η , ς ( a U 1 + b U 2 ) ( τ ) = 1 ς η Γ ( η ) υ 1 τ exp [ ς 1 ς ( Ψ ( τ ) Ψ ( ξ ) ) ] ( Ψ ( τ ) Ψ ( ξ ) ) 1 η Ψ ( ξ ) ( a U 1 + b U 2 ) ( ξ ) d ξ = a ς η Γ ( η ) υ 1 τ exp [ ς 1 ς ( Ψ ( τ ) Ψ ( ξ ) ) ] ( Ψ ( τ ) Ψ ( ξ ) ) 1 η Ψ ( ξ ) U 1 ( ξ ) d ξ + b ς η Γ ( η ) υ 1 τ exp [ ς 1 ς ( Ψ ( τ ) Ψ ( ξ ) ) ] ( Ψ ( τ ) Ψ ( ξ ) ) 1 η Ψ ( ξ ) U 2 ( ξ ) d ξ = Ψ T υ 1 η , ς U 1 ( τ ) + b Ψ T υ 1 η , ς U 2 ( τ ) .
Analogously
Ψ T υ 2 η , ς ( a U 1 + b U 2 ) = a Ψ T υ 2 η , ς U 1 + b Ψ T υ 2 η , ς U 2 .
 □

3. Main Results

This section is devoted to establishing generalizations of some classical inequalities by employing GPF integral with respect to another function Ψ defined in (16).
Theorem 3.
For ς ( 0 , 1 ] , η C , ( η ) > 0 , and let U χ Ψ q ( 0 , ) . Suppose that there is an increasing, positive monotone function Ψ defined on [ 0 , ) having continuous derivative Ψ ( τ ) on [ 0 , ) with Ψ ( 0 ) = 0 . Moreover, one assumes that there exist two integrable functions ϕ 1 , ϕ 2 on [ 0 , ) such that
ϕ 1 ( τ ) U ( τ ) ϕ 2 ( τ ) , τ [ 0 , ) .
Then, for τ > 0 , η , δ > 0 , one has
Ψ T 0 + , τ η , ς ϕ 2 ( τ ) Ψ T 0 + , τ δ , ς U ( τ ) + Ψ T 0 + , τ η , ς U ( τ ) Ψ T 0 + , τ δ , ς ϕ 1 ( τ ) Ψ T 0 + , τ η , ς ϕ 2 ( τ ) Ψ T 0 + , τ δ , ς ϕ 1 ( τ ) + Ψ T 0 + , τ η , ς U ( τ ) Ψ T 0 + , τ δ , ς U ( τ ) .
Proof. 
From (18), for all θ 0 , λ 0 , one has
ϕ 2 ( θ ) U ( θ ) U ( λ ) ϕ 1 ( λ ) 0 .
Therefore,
ϕ 2 ( θ ) U ( λ ) + ϕ 1 ( λ ) U ( θ ) ϕ 1 ( λ ) ϕ 2 ( θ ) + U ( θ ) U ( λ ) .
Taking product on both sides of (21) by 1 ς η Γ ( η ) exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η and integrating the estimate with respect to θ from 0 to τ , one obtains
U ( λ ) 1 ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η ϕ 2 ( θ ) d θ + ϕ 1 ( λ ) 1 ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η U ( θ ) d θ ϕ 1 ( λ ) 1 ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η ϕ 2 ( θ ) d θ + U ( λ ) 1 ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η U ( θ ) d θ ,
and arrives at
U ( λ ) Ψ T 0 + , τ η , ς ϕ 2 ( τ ) + ϕ 1 ( λ ) Ψ T 0 + , τ η , ς U ( τ ) ϕ 1 ( λ ) Ψ T 0 + , τ η , ς ϕ 2 ( τ ) + U ( λ ) Ψ T 0 + , τ η , ς U ( τ ) .
Taking product on both sides of (23) by 1 ς δ Γ ( δ ) exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ and integrating the estimate with respect to λ from 0 to τ , we have
Ψ T 0 + , τ η , ς ϕ 2 ( τ ) 1 ς δ Γ ( δ ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ U ( λ ) d λ + Ψ T 0 + , τ η , ς U ( τ ) 1 ς δ Γ ( δ ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ ϕ 1 ( λ ) d λ Ψ T 0 + , τ η , ς ϕ 2 ( τ ) 1 ς δ Γ ( δ ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ ϕ 1 ( λ ) d λ + Ψ T 0 + , τ η , ς U ( τ ) 1 ς δ Γ ( δ ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ U ( λ ) d λ .
Hence, we deduce inequality (20) as required. This concludes the proof. □
Some special cases can be derived immediately from Theorem 3.
( I ) Choosing Ψ ( τ ) = τ , then we attain a new result for GPF-integrals.
Corollary 1.
For ς ( 0 , 1 ] , η C , ( η ) > 0 , and let U L 1 [ 0 , ) . Assume that there exist two integrable functions ϕ 1 , ϕ 2 on [ 0 , ) such that
ϕ 1 ( τ ) U ( τ ) ϕ 2 ( τ ) , τ [ 0 , ) .
Then, for τ > 0 , η , δ > 0 , we get
T 0 + , τ η , ς ϕ 2 ( τ ) T 0 + , τ δ , ς U ( τ ) + T 0 + , τ η , ς U ( τ ) T 0 + , τ δ , ς ϕ 1 ( τ ) T 0 + , τ η , ς ϕ 2 ( τ ) T 0 + , τ δ , ς ϕ 1 ( τ ) + T 0 + , τ η , ς U ( τ ) T 0 + , τ δ , ς U ( τ ) .
( I I ) Letting ς = 1 , then we attain a result for generalized RL-fractional integrals.
Corollary 2.
Let U χ Ψ q ( 0 , ) , and there is an increasing and positive monotone function Ψ defined on [ 0 , ) having continuous derivative Ψ ( τ ) on [ 0 , ) with Ψ ( 0 ) = 0 . Moreover, one assumes that there exist two integrable functions ϕ 1 , ϕ 2 on [ 0 , ) such that
ϕ 1 ( τ ) U ( τ ) ϕ 2 ( τ ) , τ [ 0 , ) .
Then, for τ > 0 , η , δ > 0 , we get
Ψ T 0 + , τ η ϕ 2 ( τ ) Ψ T 0 + , τ δ U ( τ ) + Ψ T 0 + , τ η U ( τ ) Ψ T 0 + , τ δ ϕ 1 ( τ ) Ψ T 0 + , τ η ϕ 2 ( τ ) Ψ T 0 + , τ δ ϕ 1 ( τ ) + Ψ T 0 + , τ η U ( τ ) Ψ T 0 + , τ δ U ( τ ) ,
which is proposed by Kacar et al. [32].
( I I I ) Choosing Ψ ( τ ) = τ along with ς = 1 , then we attain a result for RL-fractional integrals.
Corollary 3.
Let U L 1 [ 0 , ) . Assume that there exist two integrable functions ϕ 1 , ϕ 2 on [ 0 , ) such that
ϕ 1 ( τ ) U ( τ ) ϕ 2 ( τ ) , τ [ 0 , ) .
Then, for τ > 0 , η , δ > 0 , we get
T 0 + , τ η ϕ 2 ( τ ) Ψ T 0 + , τ δ U ( τ ) + T 0 + , τ η U ( τ ) T 0 + , τ δ ϕ 1 ( τ ) T 0 + , τ η ϕ 2 ( τ ) T 0 + , τ δ ϕ 1 ( τ ) + T 0 + , τ η U ( τ ) T 0 + , τ δ U ( τ ) ,
which is proposed by Tariboon et al. [36].
Theorem 4.
For ς ( 0 , 1 ] , η , δ C , ( η ) , ( δ ) > 0 , and let U and S be two positive functions on [ 0 , ) , and there is an increasing, positive monotone function Ψ defined on [ 0 , ) having continuous derivative Ψ ( τ ) on [ 0 , ) with Ψ ( 0 ) = 0 . Suppose that (18) holds and moreover one assumes that there exist ω 1 and ω 2 integrable functions on [ 0 , ) such that
ω 1 ( τ ) S ( τ ) ω 2 ( τ ) , τ [ 0 , ) .
Then, for τ > 0 , η , δ > 0 , the following inequalities hold:
( M 1 ) Ψ T 0 + , τ η , ς ϕ 2 ( τ ) Ψ T 0 + , τ δ , ς S ( τ ) + Ψ T 0 + , τ η , ς U ( τ ) Ψ T 0 + , τ δ , ς ω 1 ( τ ) Ψ T 0 + , τ η , ς ϕ 2 ( τ ) Ψ T 0 + , τ δ , ς ω 1 ( τ ) + Ψ T 0 + , τ η , ς U ( τ ) Ψ T 0 + , τ δ , ς S ( τ ) , ( M 2 ) Ψ T 0 + , τ δ , ς ϕ 1 ( τ ) Ψ T 0 + , τ η , ς S ( τ ) + Ψ T 0 + , τ δ , ς ω 2 ( τ ) Ψ T 0 + , τ δ , ς U ( τ ) Ψ T 0 + , τ δ , ς ϕ 1 ( τ ) Ψ T 0 + , τ η , ς ω 2 ( τ ) + Ψ T 0 + , τ δ , ς U ( τ ) Ψ T 0 + , τ η , ς S ( τ ) , ( M 3 ) Ψ T 0 + , τ δ , ς ω 2 ( τ ) Ψ T 0 + , τ η , ς ϕ 2 ( τ ) + Ψ T 0 + , τ η , ς U ( τ ) Ψ T 0 + , τ δ , ς S ( τ ) Ψ T 0 + , τ η , ς ϕ 2 ( τ ) Ψ T 0 + , τ δ , ς S ( τ ) + Ψ T 0 + , τ η , ς U ( τ ) Ψ T 0 + , τ δ , ς ω 2 ( τ ) , ( M 4 ) Ψ T 0 + , τ η , ς ϕ 1 ( τ ) Ψ T 0 + , τ δ , ς ω 1 ( τ ) + Ψ T 0 + , τ η , ς U ( τ ) Ψ T 0 + , τ η , ς Ψ T 0 + , τ δ , ς S ( τ ) Ψ T 0 + , τ η , ς ϕ 1 ( τ ) Ψ T 0 + , τ δ , ς S ( τ ) + Ψ T 0 + , τ δ , ς ω 1 ( τ ) Ψ T 0 + , τ η , ς U ( τ ) .
Proof. 
To prove ( M 1 ) , from (18) and (25), we have for τ [ 0 , ) that
ϕ 2 ( θ ) U ( θ ) S ( λ ) ω 1 ( λ ) 0 .
Therefore,
ϕ 2 ( θ ) S ( λ ) + ω 1 ( λ ) U ( θ ) ω 1 ( λ ) ϕ 2 ( θ ) + S ( λ ) U ( θ ) .
Taking product on both sides of (28) by 1 ς η Γ ( η ) exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η and integrating the estimate with respect to θ from 0 to τ , we have
S ( λ ) 1 ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η ϕ 2 ( θ ) d θ + ω 1 ( λ ) 1 ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η U ( θ ) d θ ω 1 ( λ ) 1 ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η ϕ 2 ( θ ) d θ + S ( λ ) 1 ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η U ( θ ) d θ .
Then we have
S ( λ ) Ψ T 0 + , τ η , ς ϕ 2 ( τ ) + ω 1 ( λ ) Ψ T 0 + , τ η , ς U ( τ ) ω 1 ( λ ) Ψ T 0 + , τ η , ς ϕ 2 ( τ ) + S ( λ ) Ψ T 0 + , τ η , ς U ( τ ) .
Again, taking product on both sides of (30) by 1 ς δ Γ ( δ ) exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ and integrating the estimate with respect to λ from 0 to τ , we have
Ψ T 0 + , τ η , ς ϕ 2 ( τ ) 1 ς δ Γ ( δ ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ S ( λ ) d λ + Ψ T 0 + , τ η , ς U ( τ ) 1 ς δ Γ ( δ ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ ω 1 ( λ ) d λ Ψ T 0 + , τ η , ς ϕ 2 ( τ ) 1 ς δ Γ ( δ ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ ω 1 ( λ ) d λ + Ψ T 0 + , τ η , ς U ( τ ) 1 ς δ Γ ( δ ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ S ( λ ) d λ .
It follows that
Ψ T 0 + , τ η , ς ϕ 2 ( τ ) Ψ T 0 + , τ δ , ς S ( τ ) + Ψ T 0 + , τ η , ς U ( τ ) Ψ T 0 + , τ η , ς Ψ T 0 + , τ δ , ς ω 1 ( τ ) Ψ T 0 + , τ η , ς ϕ 2 ( τ ) Ψ T 0 + , τ δ , ς ω 1 ( τ ) + Ψ T 0 + , τ η , ς U ( τ ) Ψ T 0 + , τ δ , ς S ( τ ) ,
where we get the desired inequality ( M 1 ) .
We can prove other inequalities by taking into account the following indentities, respectively:
( M 2 ) ω 2 ( θ ) S ( θ ) U ( λ ) ϕ 1 ( λ ) 0 ,
( M 3 ) ϕ 2 ( θ ) U ( θ ) S ( λ ) ω 2 ( λ ) 0 ,
( M 4 ) ϕ 1 ( θ ) U ( θ ) S ( λ ) ω 1 ( λ ) 0 .
 □
As a special case of Theorem 4, we have the following corollaries.
( I ) Letting Ψ ( τ ) = τ , then we get a new result for GPF-integrals:
Corollary 4.
For ς ( 0 , 1 ] , η , δ C , ( η ) , ( δ ) > 0 , and let U and S be two positive functions on [ 0 , ) . Suppose that (18) holds and moreover one assumes that there exist ω 1 and ω 2 integrable functions on [ 0 , ) such that
ω 1 ( τ ) S ( τ ) ω 2 ( τ ) , τ [ 0 , ) .
Then, for τ > 0 , η , δ > 0 , the following inequalities hold:
( M 5 ) T 0 + , τ η , ς ϕ 2 ( τ ) T 0 + , τ δ , ς S ( τ ) + T 0 + , τ η , ς U ( τ ) T 0 + , τ δ , ς ω 1 ( τ ) T 0 + , τ η , ς ϕ 2 ( τ ) T 0 + , τ δ , ς ω 1 ( τ ) + T 0 + , τ η , ς U ( τ ) T 0 + , τ δ , ς S ( τ ) , ( M 6 ) T 0 + , τ δ , ς ϕ 1 ( τ ) T 0 + , τ η , ς S ( τ ) + T 0 + , τ δ , ς ω 2 ( τ ) T 0 + , τ δ , ς U ( τ ) T 0 + , τ δ , ς ϕ 1 ( τ ) T 0 + , τ η , ς ω 2 ( τ ) + T 0 + , τ δ , ς U ( τ ) T 0 + , τ η , ς S ( τ ) , ( M 7 ) T 0 + , τ δ , ς ω 2 ( τ ) T 0 + , τ η , ς ϕ 2 ( τ ) + T 0 + , τ η , ς U ( τ ) T 0 + , τ δ , ς S ( τ ) T 0 + , τ η , ς ϕ 2 ( τ ) T 0 + , τ δ , ς S ( τ ) + T 0 + , τ η , ς U ( τ ) T 0 + , τ δ , ς ω 2 ( τ ) , ( M 8 ) T 0 + , τ η , ς ϕ 1 ( τ ) T 0 + , τ δ , ς ω 1 ( τ ) + T 0 + , τ η , ς U ( τ ) T 0 + , τ η , ς T 0 + , τ δ S ( τ ) T 0 + , τ η , ς ϕ 1 ( τ ) T 0 + , τ δ , ς S ( τ ) + T 0 + , τ δ , ς ω 1 ( τ ) T 0 + , τ η , ς U ( τ ) .
( I I ) Letting ς = 1 , then we attain a result for generalized RL-fractional integral.
Corollary 5.
let U and S be two positive functions on [ 0 , ) , and there is an increasing, positive monotone function Ψ defined on [ 0 , ) having continuous derivative on [ 0 , ) with Ψ ( 0 ) = 0 . Suppose that (18) holds and moreover one assumes that there exist ω 1 and ω 2 integrable functions on [ 0 , ) such that
ω 1 ( τ ) S ( τ ) ω 2 ( τ ) , τ [ 0 , ) .
Then, for τ > 0 , η , δ > 0 , the following inequalities hold:
( M 5 ) Ψ T 0 + , τ η ϕ 2 ( τ ) Ψ T 0 + , τ δ S ( τ ) + Ψ T 0 + , τ η U ( τ ) Ψ T 0 + , τ δ ω 1 ( τ ) Ψ T 0 + , τ η ϕ 2 ( τ ) Ψ T 0 + , τ δ ω 1 ( τ ) + Ψ T 0 + , τ η U ( τ ) Ψ T 0 + , τ δ S ( τ ) , ( M 6 ) Ψ T 0 + , τ δ ϕ 1 ( τ ) Ψ T 0 + , τ η S ( τ ) + Ψ T 0 + , τ δ ω 2 ( τ ) Ψ T 0 + , τ δ U ( τ ) Ψ T 0 + , τ δ ϕ 1 ( τ ) Ψ T 0 + , τ η ω 2 ( τ ) + Ψ T 0 + , τ δ U ( τ ) Ψ T 0 + , τ η S ( τ ) , ( M 7 ) Ψ T 0 + , τ δ ω 2 ( τ ) Ψ T 0 + , τ η ϕ 2 ( τ ) + Ψ T 0 + , τ η U ( τ ) Ψ T 0 + , τ δ S ( τ ) Ψ T 0 + , τ η ϕ 2 ( τ ) Ψ T 0 + , τ δ S ( τ ) + Ψ T 0 + , τ η U ( τ ) Ψ T 0 + , τ δ ω 2 ( τ ) , ( M 8 ) Ψ T 0 + , τ η ϕ 1 ( τ ) Ψ T 0 + , τ δ ω 1 ( τ ) + Ψ T 0 + , τ η U ( τ ) Ψ T 0 + , τ η Ψ T 0 + , τ δ S ( τ ) Ψ T 0 + , τ η ϕ 1 ( τ ) Ψ T 0 + , τ δ S ( τ ) + Ψ T 0 + , τ δ ω 1 ( τ ) Ψ T 0 + , τ η U ( τ ) ,
which is proposed by Kacar et al. [32].
( I I I ) Letting Ψ ( τ ) = τ along with ς = 1 , then we attain a result for RL-fractional integrals:
Corollary 6.
let U , S L 1 [ 0 , ) . Suppose that (18) holds and moreover one assumes that there exist ω 1 and ω 2 integrable functions on [ 0 , ) such that
ω 1 ( τ ) S ( τ ) ω 2 ( τ ) , τ [ 0 , ) .
Then, for τ > 0 , η , δ > 0 , the following inequalities hold:
( M 5 ) T 0 + , τ η ϕ 2 ( τ ) T 0 + , τ δ S ( τ ) + T 0 + , τ η U ( τ ) T 0 + , τ δ ω 1 ( τ ) T 0 + , τ η ϕ 2 ( τ ) T 0 + , τ δ ω 1 ( τ ) + T 0 + , τ η U ( τ ) T 0 + , τ δ S ( τ ) , ( M 6 ) T 0 + , τ δ ϕ 1 ( τ ) T 0 + , τ η S ( τ ) + T 0 + , τ δ ω 2 ( τ ) T 0 + , τ δ U ( τ ) T 0 + , τ δ ϕ 1 ( τ ) T 0 + , τ η ω 2 ( τ ) + T 0 + , τ δ U ( τ ) T 0 + , τ η S ( τ ) , ( M 7 ) T 0 + , τ δ ω 2 ( τ ) T 0 + , τ η ϕ 2 ( τ ) + T 0 + , τ η U ( τ ) T 0 + , τ δ S ( τ ) T 0 + , τ η ϕ 2 ( τ ) T 0 + , τ δ S ( τ ) + T 0 + , τ η U ( τ ) T 0 + , τ δ ω 2 ( τ ) , ( M 8 ) T 0 + , τ η ϕ 1 ( τ ) T 0 + , τ δ ω 1 ( τ ) + T 0 + , τ η U ( τ ) T 0 + , τ η T 0 + , τ δ S ( τ ) T 0 + , τ η ϕ 1 ( τ ) T 0 + , τ δ S ( τ ) + T 0 + , τ δ ω 1 ( τ ) T 0 + , τ η U ( τ ) ,
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 ς ( 0 , 1 ] , η , δ C , ( η ) , ( δ ) > 0 , and let U and S be two positive functions on [ 0 , ) , and there is an increasing, positive monotone function Ψ defined on [ 0 , ) having continuous derivative Ψ ( τ ) on [ 0 , ) with Ψ ( 0 ) = 0 , p , q > 1 satisfying 1 p + 1 q = 1 . Then, for τ > 0 , one has
( M 9 ) 1 p Ψ T 0 + , τ η , ς U p ( τ ) Ψ T 0 + , τ δ , ς S p ( τ ) + 1 q Ψ T 0 + , τ η , ς S q ( τ ) Ψ T 0 + , τ δ , ς U q ( τ ) Ψ T 0 + , τ η , ς U ( τ ) S ( τ ) Ψ T 0 + , τ δ , ς S ( τ ) U ( τ ) , ( M 10 ) 1 p Ψ T 0 + , τ δ , ς S q ( τ ) Ψ T 0 + , τ η , ς U p ( τ ) + 1 q Ψ T 0 + , τ δ , ς U p ( τ ) Ψ T 0 + , τ η , ς S q ( τ ) Ψ T 0 + , τ δ , ς S q 1 ( τ ) U p 1 ( τ ) Ψ T 0 + , τ η , ς U ( τ ) S ( τ ) , ( M 11 ) 1 p Ψ T 0 + , τ δ , ς S 2 ( τ ) Ψ T 0 + , τ η , ς U p ( τ ) + 1 q Ψ T 0 + , τ δ , ς U 2 ( τ ) Ψ T 0 + , τ η , ς S q ( τ ) Ψ T 0 + , τ δ , ς U 2 q ( τ ) S 2 p ( τ ) Ψ T 0 + , τ η , ς U ( τ ) S ( τ ) , ( M 12 ) 1 p Ψ T 0 + , τ δ , ς S q ( τ ) Ψ T 0 + , τ η , ς U 2 ( τ ) + 1 q Ψ T 0 + , τ δ , ς U p ( τ ) Ψ T 0 + , τ η , ς S 2 ( τ ) Ψ T 0 + , τ δ , ς U p 1 ( τ ) S q 1 ( τ ) Ψ T 0 + , τ η , ς U 2 p ( τ ) S 2 q ( τ ) .
Proof. 
According to the well-known Young’s inequality [38]:
1 p a p + 1 q b q a b , a , b 0 , p , q > 0 , 1 p + 1 q = 1 ,
setting a = U ( θ ) S ( λ ) and b = U ( λ ) S ( θ ) , θ , λ > 0 , we have
1 p U ( θ ) S ( λ ) p + 1 q U ( λ ) S ( θ ) q ( U ( θ ) S ( λ ) ) ( U ( λ ) S ( θ ) ) .
Taking product on both sides of (36) by 1 ς η Γ ( η ) exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η and integrating the estimate with respect to θ from 0 to τ , we have
S p ( λ ) p ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η U p ( θ ) d θ + U q ( λ ) q ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η S q ( θ ) d θ S ( λ ) U ( λ ) ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η U ( θ ) S ( θ ) d θ ,
we get
S p ( λ ) p Ψ T 0 + , τ η , ς U p ( τ ) + U q ( λ ) q Ψ T 0 + , τ η , ς S q ( τ ) S ( λ ) U ( λ ) Ψ T 0 + , τ η , ς U ( τ ) S ( τ ) .
Taking product on both sides of (36) by 1 ς δ Γ ( δ ) exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ , and integrating the estimate with respect to λ from 0 to τ , we have
1 p Ψ T 0 + , τ η , ς U p ( τ ) 1 ς δ Γ ( δ ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ S p ( λ ) d λ + 1 q Ψ T 0 + , τ η , ς S q ( τ ) 1 ς δ Γ ( δ ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ U q ( λ ) d λ Ψ T 0 + , τ η , ς U ( τ ) S ( τ ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( λ ) ( Ψ ( τ ) Ψ ( λ ) ) 1 δ S ( λ ) U ( λ ) d λ ,
consequently, we get
1 p Ψ T 0 + , τ η , ς U p ( τ ) Ψ T 0 + , τ δ , ς S p ( τ ) + 1 q Ψ T 0 + , τ η , ς S q ( τ ) Ψ T 0 + , τ δ , ς U q ( τ ) Ψ T 0 + , τ η , ς U ( τ ) S ( τ ) Ψ T 0 + , τ δ , ς S ( τ ) U ( τ ) ,
which implies ( M 9 ) . The remaining variants can be derived by adpoting the same technique and accompaying the selection of parameters in Young inequality.
( M 10 ) a = U ( θ ) U ( λ ) , b = S ( θ ) S ( λ ) , U ( λ ) , S ( λ ) 0 , ( M 11 ) a = U ( θ ) S 2 p ( λ ) , b = U 2 q ( λ ) S ( θ ) , ( M 12 ) a = U 2 p ( θ ) U ( λ ) , b = S 2 q ( θ ) S ( λ ) , U ( λ ) , S ( λ ) 0 .
Repeating the foregoing argument, we obtain ( M 10 ) ( M 12 ) .  □
( I ) Letting ς = 1 , then we attain a result for generalized RL-fractional integral.
Corollary 7.
Let U and S be two positive functions on [ 0 , ) , and there is an increasing, positive monotone function Ψ defined on [ 0 , ) having continuous derivative Ψ ( τ ) on [ 0 , ) with Ψ ( 0 ) = 0 , p , q > 1 satisfying 1 p + 1 q = 1 . Then, for τ > 0 , η , δ C , R ( η ) , R ( δ ) > 0 , we get
( M 13 ) 1 p Ψ T 0 + , τ η U p ( τ ) Ψ T 0 + , τ δ S p ( τ ) + 1 q Ψ T 0 + , τ η S q ( τ ) Ψ T 0 + , τ δ U q ( τ ) Ψ T 0 + , τ η U ( τ ) S ( τ ) Ψ T 0 + , τ δ S ( τ ) U ( τ ) , ( M 14 ) 1 p Ψ T 0 + , τ δ S q ( τ ) Ψ T 0 + , τ η U p ( τ ) + 1 q Ψ T 0 + , τ δ U p ( τ ) Ψ T 0 + , τ η S q ( τ ) Ψ T 0 + , τ δ S q 1 ( τ ) U p 1 ( τ ) Ψ T 0 + , τ η U ( τ ) S ( τ ) , ( M 15 ) 1 p Ψ T 0 + , τ δ S 2 ( τ ) Ψ T 0 + , τ η U p ( τ ) + 1 q Ψ T 0 + , τ δ U 2 ( τ ) Ψ T 0 + , τ η S q ( τ ) Ψ T 0 + , τ δ U 2 q ( τ ) S 2 p ( τ ) Ψ T 0 + , τ η U ( τ ) S ( τ ) , ( M 16 ) 1 p Ψ T 0 + , τ δ S q ( τ ) Ψ T 0 + , τ η U 2 ( τ ) + 1 q Ψ T 0 + , τ δ U p ( τ ) Ψ T 0 + , τ η S 2 ( τ ) Ψ T 0 + , τ δ U p 1 ( τ ) S q 1 ( τ ) Ψ T 0 + , τ η U 2 p ( τ ) S 2 q ( τ ) .
Theorem 6.
For ς ( 0 , 1 ] , η , δ C , ( η ) , ( δ ) > 0 , and let U and S be two positive functions on [ 0 , ) , and there is an increasing, positive monotone function Ψ defined on [ 0 , ) having continuous derivative Ψ ( τ ) on [ 0 , ) with Ψ ( 0 ) = 0 , and p , q > 0 satisfying p + q = 1 . Then, for τ > 0 , one has
( M 17 ) p Ψ T 0 + , τ η , ς U ( τ ) Ψ T 0 + , τ δ , ς S ( τ ) + q Ψ T 0 + , τ δ , ς U ( τ ) Ψ T 0 + , τ η , ς S ( η ) Ψ T 0 + , τ η , ς U p ( τ ) S q ( τ ) Ψ T 0 + , τ δ , ς U q ( τ ) S p ( τ ) , ( M 18 ) p Ψ T 0 + , τ η , ς U p 1 ( τ ) Ψ T 0 + , τ δ , ς U ( τ ) S q ( τ ) + q Ψ T 0 + , τ δ , ς S q 1 ( τ ) Ψ T 0 + , τ η , ς U q ( τ ) S ( τ ) Ψ T 0 + , τ η , ς S q ( τ ) Ψ T 0 + , τ δ , ς U p ( τ ) , ( M 19 ) p Ψ T 0 + , τ η , ς U ( τ ) Ψ T 0 + , τ δ , ς S 2 p ( τ ) + q Ψ T 0 + , τ η , ς S ( τ ) Ψ T 0 + , τ δ , ς U 2 q ( τ ) Ψ T 0 + , τ η , ς U p ( τ ) S ( τ ) Ψ T 0 + , τ δ , ς S q ( τ ) U 2 ( τ ) , ( M 20 ) p Ψ T 0 + , τ η , ς U 2 p ( τ ) S q ( τ ) Ψ T 0 + , τ δ , ς S p 1 ( τ ) + q Ψ T 0 + , τ η , ς S q 1 ( τ ) Ψ T 0 + , τ δ , ς U 2 q ( τ ) S p ( τ ) Ψ T 0 + , τ η , ς U 2 ( τ ) Ψ T 0 + , τ δ , ς S 2 ( τ ) .
Proof. 
From the well-known weighted A M G M inequality
p a + q b a p b q , a , b 0 , p , q > 0 , p + q = 1 ,
by setting a = U ( θ ) S ( λ ) and b = U ( λ ) S ( θ ) , λ , θ > 0 , we have
p U ( θ ) S ( λ ) + q U ( λ ) S ( θ ) U ( θ ) S ( λ ) p U ( λ ) S ( θ ) q .
Taking product on both sides of (43) by 1 ς η Γ ( η ) ς δ Γ ( δ ) exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] Ψ ( θ ) Ψ ( λ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η ( Ψ ( τ ) Ψ ( θ ) ) 1 δ and integrating the estimate with respect to θ and λ from 0 to τ , respectively, we have
p ς η Γ ( η ) ς δ Γ ( δ ) 0 x 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] ( Ψ ( τ ) Ψ ( θ ) ) 1 η ( Ψ ( τ ) Ψ ( θ ) ) 1 δ U ( θ ) S ( λ ) Ψ ( θ ) Ψ ( λ ) d θ d λ + q ς η Γ ( η ) ς δ Γ ( δ ) 0 x 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] ( Ψ ( τ ) Ψ ( θ ) ) 1 η ( Ψ ( τ ) Ψ ( θ ) ) 1 δ U ( λ ) S ( θ ) Ψ ( θ ) Ψ ( λ ) d θ d λ 1 ς η Γ ( η ) ς δ Γ ( δ ) 0 x 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] exp [ ς 1 ς ( Ψ ( τ ) Ψ ( λ ) ) ] ( Ψ ( τ ) Ψ ( θ ) ) 1 η ( Ψ ( τ ) Ψ ( θ ) ) 1 δ × U ( θ ) S ( λ ) p U ( λ ) S ( θ ) q Ψ ( θ ) Ψ ( λ ) d λ d θ ,
we conclude that
p Ψ T 0 + , τ η , ς U ( τ ) Ψ T 0 + , τ δ , ς S ( τ ) + q Ψ T 0 + , τ δ , ς U ( τ ) Ψ T 0 + , τ η , ς S ( τ ) Ψ T 0 + , τ η , ς U p ( τ ) S q ( τ ) Ψ T 0 + , τ δ , ς U q ( τ ) S p ( τ ) ,
which implies ( M 17 ) . The remaining inequalities can be proved by adopting the same technique by the accompanying selection of parameters in A M G M inequality.
( M 18 ) a = U ( λ ) U ( θ ) , b = S ( θ ) S ( λ ) , U ( θ ) , S ( λ ) 0 . ( M 19 ) a = U ( θ ) S 2 p ( λ ) , b = U 2 q ( λ ) S ( θ ) , ( M 20 ) a = U 2 p ( θ ) S ( λ ) , b = U 2 q ( λ ) S ( θ ) , S ( θ ) , S ( θ ) 0 .
 □
( I ) Letting ς = 1 , then we attain a result for generalized RL-fractional integrals:
Corollary 8.
Let U and S be two positive functions on [ 0 , ) , and there is an increasing, positive monotone function Ψ defined on [ 0 , ) having continuous derivative Ψ ( τ ) on [ 0 , ) with Ψ ( 0 ) = 0 , and p , q > 0 satisfying p + q = 1 . Then, for τ > 0 , η , δ C , R ( η ) , R ( δ ) > 0 , we get
( M 21 ) p Ψ T 0 + , τ η U ( τ ) Ψ T 0 + , τ δ S ( τ ) + q Ψ T 0 + , τ δ U ( τ ) Ψ T 0 + , τ η S ( η ) Ψ T 0 + , τ η U p ( τ ) S q ( τ ) Ψ T 0 + , τ δ U q ( τ ) S p ( τ ) , ( M 22 ) p Ψ T 0 + , τ η U p 1 ( τ ) Ψ T 0 + , τ δ U ( τ ) S q ( τ ) + q Ψ T 0 + , τ δ S q 1 ( τ ) Ψ T 0 + , τ η U q ( τ ) S ( τ ) Ψ T 0 + , τ η S q ( τ ) Ψ T 0 + , τ δ U p ( τ ) , ( M 23 ) p Ψ T 0 + , τ η U ( τ ) Ψ T 0 + , τ δ S 2 p ( τ ) + q Ψ T 0 + , τ η S ( τ ) Ψ T 0 + , τ δ U 2 q ( τ ) Ψ T 0 + , τ η U p ( τ ) S ( τ ) Ψ T 0 + , τ δ S q ( τ ) U 2 ( τ ) , ( M 24 ) p Ψ T 0 + , τ η U 2 p ( τ ) S q ( τ ) Ψ T 0 + , τ δ S p 1 ( τ ) + q Ψ T 0 + , τ η S q 1 ( τ ) Ψ T 0 + , τ δ U 2 q ( τ ) S p ( τ ) Ψ T 0 + , τ η U 2 ( τ ) Ψ T 0 + , τ δ S 2 ( τ ) .
Theorem 7.
Let U and S be two positive functions on [ 0 , ) , and there is an increasing, positive monotone function Ψ defined on [ 0 , ) having continuous derivative Ψ ( τ ) on [ 0 , ) with Ψ ( 0 ) = 0 , and p , q > 1 satisfying 1 q + 1 q = 1 . Let
= min 0 θ τ U ( θ ) S ( θ ) a n d H = max 0 θ τ U ( θ ) S ( θ ) .
Then, for τ > 0 , η , δ > 0 , one has the following inequalities:
( M 25 ) 0 Ψ T 0 + , τ η , ς U 2 ( τ ) Ψ T 0 + , τ η , ς S 2 ( τ ) + H 4 H Ψ T 0 + , τ η , ς U ( τ ) S ( τ ) 2 , ( M 26 ) 0 Ψ T 0 + , τ η , ς U 2 ( τ ) Ψ T 0 + , τ η , ς S 2 ( τ ) Ψ T 0 + , τ η , ς U ( τ ) S ( τ ) H 2 H Ψ T 0 + , τ η , ς U ( τ ) S ( τ ) , ( M 27 ) 0 Ψ T 0 + , τ η , ς U 2 ( τ ) Ψ T 0 + , τ η , ς S 2 ( τ ) Ψ T 0 + , τ η , ς U ( τ ) S ( τ ) 2 H 4 H Ψ T 0 + , τ η , ς U ( τ ) S ( τ ) 2 .
Proof. 
From Equation (46) and the inequality
U ( θ ) S ( θ ) H U ( θ ) S ( θ ) S 2 ( θ ) 0 , 0 θ τ ,
then we can write it as,
U 2 ( θ ) + H S 2 ( θ ) ( + H ) U ( θ ) S ( θ ) .
Taking product on both sides of (48) by 1 ς η Γ ( η ) exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] Ψ ( θ ) ( Ψ ( τ ) Ψ ( θ ) ) 1 η and integrating the estimate with respect to θ from 0 to τ , we have
1 ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] ( Ψ ( τ ) Ψ ( θ ) ) 1 η U 2 ( θ ) Ψ ( θ ) d θ + H 1 ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] ( Ψ ( τ ) Ψ ( θ ) ) 1 η S 2 ( θ ) Ψ ( θ ) d θ ( + H ) 1 ς η Γ ( η ) 0 x exp [ ς 1 ς ( Ψ ( τ ) Ψ ( θ ) ) ] ( Ψ ( τ ) Ψ ( θ ) ) 1 η U ( θ ) S ( θ ) Ψ ( θ ) d θ ,
which implies that
Ψ T 0 + , τ η , ς U 2 ( τ ) + H Ψ T 0 + , τ η , ς S 2 ( τ ) ( + H ) Ψ T 0 + , τ η , ς U ( τ ) S ( τ ) ,
on the other hand, it follows from H > 0 and
Ψ T 0 + , τ η , ς U 2 ( τ ) H Ψ T 0 + , τ η , ς S 2 ( τ ) 2 0 ,
that
2 Ψ T 0 + , τ η , ς U 2 ( τ ) H Ψ T 0 + , τ η , ς S 2 ( τ ) Ψ T 0 + , τ η , ς U 2 ( τ ) + H Ψ T 0 + , τ η , ς S 2 ( τ ) .
Utilizing (50) and (52), we obtain,
4 H Ψ T 0 + , τ η , ς U 2 ( τ ) Ψ T 0 + , τ η , ς S 2 ( τ ) ( + H ) 2 ( Ψ T 0 + , τ η , ς U ( τ ) S ( τ ) ) ,
after simplification, we get ( M 25 ) . By some transformation in ( M 25 ) , analogously, we get ( M 26 ) and ( M 27 ) .  □

5. Conclusions

In this article, we derived several theorems by newly defined generalized proportional fractional integral operators with respect to another function Ψ having proportionality index ς . The analogous versions of the Grüss inequality and several other associated variants were derived by employing GPF in the sense of another function Ψ . 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 ς . 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.

Author Contributions

All authors contributed substantially to the research. Conceptualization: S.R.; methodology, S.R.; software, S.R., F.J.; validation, F.J. and M.A.N.; formal analysis, F.J.; investigation, M.A.N., F.J. and Y.-M.C.; resources, M.A.N; data curation, H.K.; writing, original draft preparation, S.R., H.K.; writing, review and editing, S.R., H.K. and M.A.N.; supervision, S.R. and Y.-M.C.; project administration, Y.-M.C.; funding acquisition, Y.-M.C.

Funding

This research was funded by the Natural Science Foundation of China grant number 61673169.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Abdeljawad, T. On conformable fractional calculus. J. Comput. Appl. Math. 2017, 279, 57–66. [Google Scholar] [CrossRef]
  2. Abdeljawad, T.; Baleanu, D. Monotonicity results for fractional difference operators with discrete exponential kernels. Adv. Differ. Equ. 2017, 2017, 78. [Google Scholar] [CrossRef]
  3. Abdeljawad, T.; Baleanu, D. On fractional derivatives with exponential kernel and their discrete versions. Rep. Math. Phys. 2017, 80. [Google Scholar] [CrossRef]
  4. Alzabut, J.; Abdeljawad, T.; Jarad, F.; Sudsutad, W. A Gronwall inequality via the generalized proportional fractional derivative with applications. J. Inequal. Appl. 2019, 2019, 101. [Google Scholar] [CrossRef]
  5. Baleanu, D.; Diethelm, K.; Scalas, E.; Trujillo, J.J. Fractional Calculus Models and Numerical Methods; World Scientific: Singapore, 2012. [Google Scholar]
  6. Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; Wiley-Interscience, John Wiley and Sons: New York, NY, USA, 1993. [Google Scholar]
  7. Samko, S.G.; Kilbas, A.A. Normal densities. Linear Algebra Appl. 2005, 396, 317–328. [Google Scholar]
  8. Kiryakova, V. Generalized Fractional Calculus and Applications; Pitman Research Notes in Mathematics Series 301; Longman Scientific and Technical: Harlow, UK, 1994. [Google Scholar]
  9. Almeida, R. A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simulat. 2017, 44, 460–481. [Google Scholar] [CrossRef]
  10. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; North-Holland Mathematics Studies: New York, NY, USA, 2006. [Google Scholar]
  11. Denton, Z.; Vatsala, A.S. Fractional integral inequalities and applications. Comput. Math. Appl. 2010, 59, 1087–1094. [Google Scholar] [CrossRef]
  12. Jarad, F.; Ugurlu, E.; Abdeljawad, T.; Baleanu, D. On a new class of fractional operators. Adv. Differ. Equ. 2017, 2017, 247. [Google Scholar] [CrossRef]
  13. Khalil, R.; Al Horani, M.; Yousef, A.; Sababheh, M. A new definition of fractional derivative. J. Comput. Appl. Math. 2014, 264, 65–70. [Google Scholar] [CrossRef]
  14. Jarad, F.; Abdeljawad, T.; Alzabut, J. Generalized fractional derivatives generated by a class of local proportional derivatives. Eur. Phys. J. Spec. Top. 2017, 226, 3457–3471. [Google Scholar] [CrossRef]
  15. Marichev, O.I. Fractional Integrals and Derivatives, Theory and Applications; Gordon and Breach: London, UK, 1993. [Google Scholar]
  16. Mainardi, F. Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models; World Scientific Publishing Company: Singapore; Hackensack, NJ, USA; London, UK; Hong Kong, China, 2010. [Google Scholar]
  17. Minculete, N.; Ciurdariu, L. A generalized form of Grüss type inequality and other integral inequal-ities. J. Inequal. Appl. 2014, 2014, 119. [Google Scholar] [CrossRef]
  18. Zhang, D.; Zhang, Y.; Zhang, Z.; Ahmed, N.; Zhang, Y.; Li, F.; Belic, M.R.; Xiao, M. Unveiling the link between fractional Schrödinger equation and light propagation in honeycomb lattice. Ann. Phys. 2017, 529, 1700149. [Google Scholar] [CrossRef]
  19. Zhang, Y.; Wang, R.; Zhong, H.; Zhang, J.; Belic, M.R.; Zhang, Y. Resonant mode conversions and Rabi oscillations in a fractional Schrödinger equation. Opt. Express 2017, 25, 32401. [Google Scholar] [CrossRef]
  20. Zhang, Y.; Zhong, H.; Belic, M.R.; Zhu, Y.; Zhong, W.P.; Zhang, Y.; Christodoulides, D.N.; Xiao, M. PT symmetry in a fractional Schrödinger equation. Laser Photonics Rev. 2017, 10, 526–531. [Google Scholar] [CrossRef]
  21. Zhang, Y.; Xing Liu, X.; Belic, M.R.; Zhong, W.; Zhang, Y.P.; Xiao, M. Propagation Dynamics of a Light Beam in a Fractional Schrödinger Equation. Phys. Rev. Lett. 2015, 115, 180403. [Google Scholar] [CrossRef]
  22. Rahman, G.; Khan, A.; Abdeljawad, T.; Nisar, K.S. The Minkowski inequalities via generalized proportional fractional integral operators. Adv. Differ. Equ. 2019, 2019, 287. [Google Scholar] [CrossRef]
  23. Rahman, G.; Abdeljawad, T.; Jarad, F.; Khan, A.; Nisar, K.S. Certain inequalities via generalized proportional Hadamard fractional integral operators. Adv. Diff. Eqs. 2019, 2019, 454. [Google Scholar] [CrossRef]
  24. Rashid, S.; Abdeljawad, T.; Jarad, F.; Noor, M.A. Some estimates for generalized Riemann-Liouville fractional integrals of exponentially convex functions and their applications. Mathematics 2019, 7, 807. [Google Scholar] [CrossRef]
  25. Rashid, S.; Akdemir, A.O.; Jarad, F.; Noor, M.A.; Noor, K.I. Simpson’s type integral inequalities for k-fractional integrals and their applications. AIMS. Math. 2019, 4, 1087–1100. [Google Scholar] [CrossRef]
  26. Rashid, S.; Noor, M.A.; Noor, K.I. Fractional exponentially m-convex functions and inequalities. Int. J. Anal. Appl. 2019, 17, 464–478. [Google Scholar] [CrossRef]
  27. Rashid, S.; Noor, M.A.; Noor, K.I. Some generalize Riemann-Liouville fractional estimates involving functions having exponentially convexity property. Punjab. Univ. J. Math. 2019, 51, 1–15. [Google Scholar]
  28. Grültss, G. Uber das Maximum des absoluten Betrages von 1 b a a b P ( t ) U ( t ) d t 1 b a 2 a b P ( t ) d t a b U ( t ) d t . Math. Z. 1935, 39, 215–226. [Google Scholar]
  29. Dahmani, Z. New inequalities in fractional integrals. Int. J. Nonlin. Sci. 2010, 9, 493–497. [Google Scholar]
  30. Dahmani, Z.; Tabharit, L.; Taf, S. New generalisations of Grüss inequality using Riemann-Liouville fractional integrals. Bull. Math. Anal. Appl. 2010, 2, 93–99. [Google Scholar]
  31. Yildirim, H.; Kirtay, Z. Ostrowski inequality for generalized fractional integral and related inequalities. Malaya J. Mat. 2014, 2, 322–329. [Google Scholar]
  32. Kacar, E.; Kacar, Z.; Yildirim, H. Integral inequalities for Riemann-Liouville fractional integrals of a function with respect to another function. Iran. J. Math. Sci. Inform. 2018, 13, 1–13. [Google Scholar]
  33. Rashid, S.; Noor, M.A.; Noor, K.I.; Safdar, F. Integral inequalities for generalized preinvex functions. Punjab. Univ. J. Math. 2019, 51, 77–91. [Google Scholar]
  34. Rashid, S.; Noor, M.A.; Noor, K.I.; Safdar, F.; Chu, Y.-M. Hermite-Hadamard inequalities for the class of convex functions on time scale. Mathematics 2019, 7, 956. [Google Scholar] [CrossRef]
  35. Sudsutad, W.; Ntouyas, S.K.; Tariboon, J. Fractional integral inequalities via Hadamard’s fractional integral. Abstract. Appl. Anal. 2014, 11, 563096. [Google Scholar]
  36. Tariboon, J.; Ntouyas, S.K.; Sudsutad, W. Some new Riemann-Liouville fractional inte-gral inequalities. Int. J. Math. Sci. 2014, 2014, 869434. [Google Scholar]
  37. Katugampola, U.-N. Approach to a generalized fractional integral. Appl. Math. Comput. 2011, 218, 860–865. [Google Scholar]
  38. Kreyszig, E. Introductory Functional Analysis with Applications; Wiley: New York, NY, USA, 1989. [Google Scholar]
Back to TopTop