Due to the depletion of fossil fuels and environmental concerns, renewable energy has become increasingly popular. Even so, the economic competitiveness and cost of energy in renewable systems remain a challenge. Optimization of renewable energy systems from an economic standpoint is important not only from the point of view of researchers but also industry owners, stakeholders, and governments. Solar collectors are one of the most optimized and developed renewable energy systems. However, due to the high degree of nonlinearity and many unknowns associated with these systems, optimizing them is an extremely time-consuming and expensive process. This study presents an economically optimal design platform for solar power plants with a fast response time using machine learning techniques. Compared with traditional mathematical optimization, the speed of economic optimization with the help of the machine learning method increased by up to 1100 times. A total of seven continuous variables and three discrete variables were selected for optimization of the parabolic trough solar collector. The objective functions were to optimize the exergy efficiency and the heat cost. As part of the environmental assessment, the cost of carbon dioxide emission was calculated based on the system's exergy and energy efficiencies. According to the sensitivity analysis, the mass flow of working fluid and the initial temperature of the fluid play the most significant roles. A simulated solar collector in Calgary was optimized in order to evaluate the applicability of the proposed platform.
Citation: Ali Omidkar, Razieh Es'haghian, Hua Song. Developing a machine learning model for fast economic optimization of solar power plants using the hybrid method of firefly and genetic algorithms, case study: optimizing solar thermal collector in Calgary, Alberta[J]. Green Finance, 2024, 6(4): 698-727. doi: 10.3934/GF.2024027
[1] | Tariq A. Aljaaidi, Deepak B. Pachpatte . Some Grüss-type inequalities using generalized Katugampola fractional integral. AIMS Mathematics, 2020, 5(2): 1011-1024. doi: 10.3934/math.2020070 |
[2] | Mustafa Gürbüz, Yakup Taşdan, Erhan Set . Ostrowski type inequalities via the Katugampola fractional integrals. AIMS Mathematics, 2020, 5(1): 42-53. doi: 10.3934/math.2020004 |
[3] | Miguel Vivas-Cortez, Muhammad Aamir Ali, Artion Kashuri, Hüseyin Budak . Generalizations of fractional Hermite-Hadamard-Mercer like inequalities for convex functions. AIMS Mathematics, 2021, 6(9): 9397-9421. doi: 10.3934/math.2021546 |
[4] | Ghulam Farid, Hafsa Yasmeen, Hijaz Ahmad, Chahn Yong Jung . Riemann-Liouville Fractional integral operators with respect to increasing functions and strongly (α,m)-convex functions. AIMS Mathematics, 2021, 6(10): 11403-11424. doi: 10.3934/math.2021661 |
[5] | Saad Ihsan Butt, Artion Kashuri, Muhammad Umar, Adnan Aslam, Wei Gao . Hermite-Jensen-Mercer type inequalities via Ψ-Riemann-Liouville k-fractional integrals. AIMS Mathematics, 2020, 5(5): 5193-5220. doi: 10.3934/math.2020334 |
[6] | Hüseyin Budak, Fatma Ertuğral, Muhammad Aamir Ali, Candan Can Bilişik, Mehmet Zeki Sarikaya, Kamsing Nonlaopon . On generalizations of trapezoid and Bullen type inequalities based on generalized fractional integrals. AIMS Mathematics, 2023, 8(1): 1833-1847. doi: 10.3934/math.2023094 |
[7] | Yanping Yang, Muhammad Shoaib Saleem, Waqas Nazeer, Ahsan Fareed Shah . New Hermite-Hadamard inequalities in fuzzy-interval fractional calculus via exponentially convex fuzzy interval-valued function. AIMS Mathematics, 2021, 6(11): 12260-12278. doi: 10.3934/math.2021710 |
[8] | Eze R. Nwaeze, Muhammad Adil Khan, Ali Ahmadian, Mohammad Nazir Ahmad, Ahmad Kamil Mahmood . Fractional inequalities of the Hermite–Hadamard type for m-polynomial convex and harmonically convex functions. AIMS Mathematics, 2021, 6(2): 1889-1904. doi: 10.3934/math.2021115 |
[9] | Atiq Ur Rehman, Ghulam Farid, Sidra Bibi, Chahn Yong Jung, Shin Min Kang . k-fractional integral inequalities of Hadamard type for exponentially (s,m)-convex functions. AIMS Mathematics, 2021, 6(1): 882-892. doi: 10.3934/math.2021052 |
[10] | Thanin Sitthiwirattham, Muhammad Aamir Ali, Hüseyin Budak, Sotiris K. Ntouyas, Chanon Promsakon . Fractional Ostrowski type inequalities for differentiable harmonically convex functions. AIMS Mathematics, 2022, 7(3): 3939-3958. doi: 10.3934/math.2022217 |
Due to the depletion of fossil fuels and environmental concerns, renewable energy has become increasingly popular. Even so, the economic competitiveness and cost of energy in renewable systems remain a challenge. Optimization of renewable energy systems from an economic standpoint is important not only from the point of view of researchers but also industry owners, stakeholders, and governments. Solar collectors are one of the most optimized and developed renewable energy systems. However, due to the high degree of nonlinearity and many unknowns associated with these systems, optimizing them is an extremely time-consuming and expensive process. This study presents an economically optimal design platform for solar power plants with a fast response time using machine learning techniques. Compared with traditional mathematical optimization, the speed of economic optimization with the help of the machine learning method increased by up to 1100 times. A total of seven continuous variables and three discrete variables were selected for optimization of the parabolic trough solar collector. The objective functions were to optimize the exergy efficiency and the heat cost. As part of the environmental assessment, the cost of carbon dioxide emission was calculated based on the system's exergy and energy efficiencies. According to the sensitivity analysis, the mass flow of working fluid and the initial temperature of the fluid play the most significant roles. A simulated solar collector in Calgary was optimized in order to evaluate the applicability of the proposed platform.
Fractional calculus is like an extended version of regular calculus that allows us to deal with numbers that are not whole, like 1.5 or 2.3. This might not sound like a big deal, but it is incredibly useful in many fields. When we want to understand how things change or accumulate over time, fractional calculus helps us do that more accurately, especially when things are complicated and do not follow normal rules. These fractional calculations come in handy when we are dealing with stuff like how liquids flow, how materials deform, or how we control things like robots or machines. Inequalities, in the context of fractional calculus, are like special rules that help us understand when things are bigger or smaller than each other, but with these non-whole numbers involved. These rules are important because they help us figure out if systems with fractional calculus are stable and work the way they should. Thus, in a nutshell, fractional calculus and inequalities help us make sense of the world in a more precise and practical way. Thus, the term convexity and inequalities in the frame of fractional calculus have been recommended as an engrossing area for researchers due to their vital role and fruitful importance in numerous branches of science. Integral inequalities have remarkable uses in probability, optimization theory, information technology, stochastic processes, statistics, integral operator theory and numerical integration. For the applications, see references [1,2,3,4,5,6,7,8].
In [9], a comprehensive and up-to-date review on Hermite-Hadamard-type inequalities for different kinds of convexities and different kinds of fractional integral operators is presented. In this review paper, we aim to discuss and present the up-to-date review of the Grüss type inequality via different fractional integral operators.
In [10] (see also [11]), the Grüss inequality is defined as the integral inequality that establishes a connection between the integral of the product of two functions and the product of the integrals. The inequality is as follows.
Theorem 1.1. If Ω,Π:[x1,x2]→R are two continuous functions satisfying m≤Ω(t)≤M and p≤Π(t)≤P, t∈[x1,x2], m,M,p,P∈R, then
|1x2−x1∫x2x1Ω(s)Π(s)ds−1(x2−x1)2∫x2x1Ω(s)ds∫x2x1Π(s)ds|≤14(M−m)(P−p). |
Our objective in this paper is to present a comprehensive and up-to-date review on Grüss-type inequalities for different kinds of fractional integral operators. In each section and subsection, we first introduce the basic definitions of fractional integral operators and then include the results on Grüss-type inequalities. We believe that the collection of almost all existing in the literature Grüss-type inequalities in one file will help new researchers in the field learn about the available work on the topic before developing new results. We present the results without proof but instead provide a complete reference for the details of each result elaborated in this survey for the convenience of the reader.
The remainder of this review paper is as follows. In Sections 2–15, we summarize Grüss-type integral inequalities and especially for Riemann-Liouville fractional integral operators in Section 2, for Riemann-Liouville fractional integrals of a function with respect to another function in Section 3, in Section 4 for Katugampola fractional integral operators, in Section 5 for Hadamard's fractional integral operators, in Section 6 for k-fractional integral operators, in Section 7 for Raina's fractional integral operators, in Section 8 for tempered fractional integral operators, in Section 9 for conformable fractional integrals operators, in Section 10 for proportional fractional integrals operators, in Section 11 for generalized Riemann-Liouville fractional integral operators, in Section 12 for Caputo-Fabrizio fractional integrals operators, for Saigo fractional integral operators in Section 13, in Section 14 for quantum integral operators and in Section 15 for Hilfer fractional differential operators.
Throughout this survey the following assumptions are used:
(H) Assume that Ω,Π:I→R are integrable functions on I for which there exist constants m,M,p,P∈R, such that
m≤Ω(t)≤M,p≤Π(t)≤P,t∈I. |
(H1) There exist two integrable functions Q1,Q2:[0,∞)→R such that
Q1(t)≤Ω(t)≤Q2(t)for allt∈[0,∞). |
(H2) There exist two integrable functions R1,R2:[0,∞)→R such that
R1(t)≤Π(t)≤R2(t)for allt∈[0,∞). |
In this subsection we give generalizations for Grüss-type inequalities by using the Riemann-Liouville fractional integrals. The first result deals with some inequalities using one fractional parameter.
Definition 2.1. [12] A real valued function Ω(t),t≥0 is said to be in
(ⅰ) the space Cμ,μ∈R if there exists a real number p>μ such that Ω(t)=tpΩ1(t), where Ω1(t)∈C([0,∞),R),
(ⅰ) the space Cnμ,μ∈R if Ω(n)∈Cμ.
Definition 2.2. [12] The Riemann-Liouville integral operator of fractional order α≥0, for an integrable function Ω is defined by
JαΩ(t)=1Γ(α)∫t0(t−s)α−1Ω(s)ds,α>0,t>0, |
and J0Ω(t)=Ω(t).
Theorem 2.1. [12] Assume that (H) holds on [0,∞). Then for all t>0 and α>0 we have:
|tαΓ(α+1)JαΩ(t)Π(t)−JαΩ(t)JαΠ(t)|≤(tα2Γ(α+1))2(M−m)(P−p). |
In the next result two real positive parameters are used.
Theorem 2.2. [12] Assume that (H) holds on [0,∞). Then for all t>0 and α>0,β>0 we have:
(tαΓ(α+1)JβΩ(t)Π(t)+tβΓ(β+1)JαΩ(t)Π(t)−JαΩ(t)JβΠ(t)−JβΩ(t)JαΠ(t))2≤[(MtαΓ(α+1)−JαΩ(t))(JβΩ(t)−mtβΓ(β+1))+(JαΩ(t)−mtαΓ(α+1))(MtβΓ(β+1)−JβΩ(t))]×[(PtαΓ(α+1)−JαΠ(t))(JβΠ(t)−ptβΓ(β+1))+(JαΠ(t)−ptαΓ(α+1))(PtβΓ(β+1)−JβΠ(t))]. |
Next, we present some fractional integral inequalities of Grüss type by using the Riemann-Liouville fractional integral. The constants appeared as bounds of the functions Ω and Π, are replaced by four integrable functions.
Theorem 2.3. [13] Assume that Ω:[0,∞)→R is an integrable function satisfying (H1). Then, for t>0, α,β>0, we have:
JβQ1(t)JαΩ(t)+JαQ2(t)JβΩ(t)≥JαQ2(t)JβQ1(t)+JαΩ(t)JβΩ(t). |
Theorem 2.4. [13] Suppose that Ω,Π:[0,∞)→R are two integrable functions satisfying (H1) and (H2). Then, for t>0, α, β>0, the fractional integral inequalities hold:
(i)JβR1(t)JαΩ(t)+JαQ2(t)JβΠ(t)≥JβR1(t)JαQ2(t)+JαΩ(t)JβΠ(t).(ii)JβQ1(t)JαΠ(t)+JαR2(t)JβΩ(t)≥JβQ1(t)JαR2(t)+JβΩ(t)JαΠ(t).(iii)JαQ2(t)JβR2(t)+JαΩ(t)JβΠ(t)≥JαQ2(t)JβΠ(t)+JβR2(t)JαΩ(t).(iv)JαQ1(t)JβR1(t)+JαΩ(t)JβΠ(t)≥JαQ1(t)JβΠ(t)+JβR1(t)JαΩ(t). |
Theorem 2.5. [13] Assume that Ω,Π:[0,∞)→R are two integrable functions satisfying (H1) and (H2). Then for all t>0, α>0, we have:
|tαΓ(α+1)JαΩ(t)Π(t)−JαΩ(t)JαΠ(t)|≤√T(Ω,Q1,Q2)T(Π,R1,R2), |
where T(y,z,w) is defined by
T(y,z,w)=(Jαw(t)−Jαy(t))(Jαy(t)−Jαz(t))+tαΓ(α+1)Jαz(t)y(t)−Jαz(t)Jαy(t)+tαΓ(α+1)Jαw(t)y(t)−Jαw(t)Jαy(t)+Jαz(t)Jαw(t)−tαΓ(α+1)Jαz(t)w(t). |
In the next theorem we give an Ostrowski-Grüss type inequality of fractional type via Riemann-Liouville fractional integral.
Theorem 2.6. [14] Let Ω:[x1,x2]→R be a differentiable mapping on (x1,x2) and |Ω′(x)|≤M for all x∈[x1,x2]. Then
|12Ω(x)−(α+1)Γ(α)(x2−x)1−α2(x2−x1)Jαx1Ω(x2)+12Jα−1x1((x2−x)1−αΓ(α)Ω(x2))+(x2−x)2−α2(x2−x1)Γ(α)Jα−1x1Ω(x2)+(x2−x)1−α(x−x1)2(x2−x1)2−αΩ(x1)|≤M(x2−x)1−αx2−x1[(x2−x1)α(x−x1)+(x2−x)α(x1+x2−2x)2α], |
where x1≤x<x2.
Definition 3.1. [15] Let ψ:[0,∞)→R be positive, increasing function and also its derivative ψ′ be continuous on [0,∞) and ψ(0)=0. The fractional integral of Riemann-Liouville type of an integrable function Ω with respect to another function ψ is defined as
Iα,ψΩ(t)=1Γ(α)∫t0(ψ(t)−ψ(s))α−1ψ′(s)Ω(s)ds. |
In the next we include Grüss type integral inequalities with the help of ψ-Riemann-Liouville fractional integral.
Theorem 3.1. [16] Assume that ψ:[0,∞)→R is a positive, increasing function and also its derivative ψ′ is continuous on [0,∞) and ψ(0)=0. Assume that Ω:[0,∞)→R is an integrable function satisfying (H1). Then the following inequality holds:
Iβ,ψQ1(t)Iα,ψΩ(t)+Iα,ψQ2(t)Iβ,ψΩ(t)≥Iα,ψQ2(t)Iβ,ψQ1(t)+Iβ,ψΩ(t)Iβ,ψΩ(t). |
Theorem 3.2. [16] Let ψ be as in Theorem 3.1 and Ω,Π be two integrable functions satisfying (H1) and (H2). Then we have:
(a) Iβ,ψR1(t)Iα,ψΩ(t)+Iα,ψQ2(t)Iβ,ψΠ(t)≥Iβ,ψR1(t)Iα,ψQ2(t)+Iα,ψΩ(t)Iβ,ψΠ(t).
(b) Iβ,ψQ1(t)Iα,ψΠ(t)+Iα,ψR2(t)Iβ,ψΩ(t)≥Iβ,ψQ1(t)Iα,ψR2(t)+Iβ,ψΩ(t)Iα,ψΠ(t).
(c) Iα,ψQ2(t)Iβ,ψR2(t)+Iα,ψΩ(t)Iβ,ψΠ(t)≥Iα,ψQ2(t)Iβ,ψΠ(t)+Iβ,ψR2(t)Iα,ψΩ(t).
(d) Iα,ψQ1(t)Iβ,ψR1(t)+Iα,ψΩ(t)Iβ,ψΠ(t)≥Iα,ψQ1(t)Iβ,ψΠ(t)+Iβ,ψR1(t)Iα,ψΩ(t).
Theorem 3.3. [16] Let ψ be as in Theorem 3.1 and Ω,Π be two integrable functions satisfying (H1) and (H2). Then the following inequality holds:
|ψα(t)Γ(α+1)Iα,ψΩ(t)Π(t)−Iα,ψΩ(t)Iα,ψΠ(t)|≤√T(Ω,Q1,Q2)T(Π,R1,R2), |
where
T(y,z,w)=(Iα,ψw(t)−Iα,ψy(t))(Iα,ψy(t)−Iα,ψz(t))+ψα(t)Γ(α+1)Iα,ψv(t)Iα,ψy(t)−Iα,ψz(t)Iα,ψy(t)+ψα(t)Γ(α+1)Iα,ψw(t)y(t)−Iα,ψw(t)Iα,ψy(t)+Iα,ψz(t)Iα,ψw(t)−ψα(t)Γ(α+1)Iα,ψz(t)w(t). |
Now we define the space Xpc(x1,x2) in which Katugampola's fractional integrals are defined.
Definition 4.1. [17] The space Xpc(x1,x2)(c∈R,1≤p<∞) consists of those complex-valued Lebesgue measurable functions ϕ on (x1,x2) for which ‖ϕ‖Xpc<∞, with
‖ϕ‖Xpc=(∫x2x1|xcϕ(x)|pdxx)1/p(1≤p<∞), |
and
‖ϕ‖X∞c=esssupx∈(x1,x2)[xc|ϕ(x)|]. |
Definition 4.2. [17] Let ϕ∈Xpc(x1,x2), α>0 and β,ρ,η,κ∈R. Then, the left- and right- sided fractional integrals of a function ϕ are defined respectively by
ρJα,βx1+,η,κϕ(x)=ρ1−βxκΓ(α)∫xx1τρ(η+1)−1(xρ−τρ)1−αϕ(τ)dτ,0≤x1<x<x2≤∞, |
and
ρJα,βx2−,η,κϕ(x)=ρ1−βxρηΓ(α)∫x2xτκ+ρ−1(τρ−xρ)1−αϕ(τ)dτ,0≤x1<x<x2≤∞, |
if the integrals exist.
Now, we present several Grüss-type inequalities involving Katugampola's fractional integral.
Theorem 4.1. [17] Assume that (H) holds on [0,∞). Then we have:
|Λρ,βx,κ(α,η)ρJα,βη,κΩ(x)Π(x)−ρJα,βη,κΩ(x)ρJα,βη,κΠ(x)|≤(Λρ,βx,κ(α,η))2(M−m)(P−p), |
for all β,κ∈R, x>0, α>0, ρ>0 and η≥0, where
Λρ,βx,κ(α,η)=Γ(η+1)Γ(η+α+1)ρ−βxκ+ρ(η+α). |
Theorem 4.2. [17] Assume that (H) holds on [0,∞). Then for all β,κ∈R, x>0, α>0, γ>0 and η≥0, we have:
(Λρ,βx,κ(α,η)ρJγ,βη,κΩ(x)Π(x)+Λρ,βx,κ(γ,η)ρJα,βη,κΩ(x)Π(x)−ρJα,βη,κΩ(x)ρJα,βη,κΠ(x)−ρJγ,βη,κΩ(x)ρJα,βη,κΠ(x))2≤[(MΛρ,βx,κ(α,η)−ρJα,βη,κΩ(x))(ρJγ,βη,κΩ(x)−mΛρ,βx,κ(α,η))+(ρJα,βη,κΩ(x)−mΛρ,βx,κ(α,η))(MΛρ,βx,κ(γ,η)−ρJγ,βη,κΩ(x))]×[(PΛρ,βx,κ(α,η)−ρJα,βη,κΠ(x))(ρJγ,βη,κΠ(x)−pΛρ,βx,κ(γ,η))+(ρJα,βη,κΠ(x)−pΛρ,βx,κ(α,η))(PΛρ,βx,κ(γ,η)−ρJγ,βη,κΠ(x))]. |
Theorem 4.3. [17] Let α>0, β,ρ,η,κ∈R, Ω,Π∈Xpc(0,x) x>0 and p,q>1 such that 1p+1q=1. Then we have:
(a)1pρJα,βη,κΩp(x)+1qρJα,βη,κΠq(x)≥Γ(η+α+1)ρβΓ(η+1)xρ(η+α)+κ(ρJα,βη,κΩ(x)ρJα,βη,κΠ(x)).(b)1pρJα,βη,κΩp(x)ρJα,βη,κΠp(x)+1qρJα,βη,κΩq(x)ρJα,βη,κΠq(x)≥(ρJα,βη,κΩ(x)Π(x))2.(c)1pρJα,βη,κΩp(x)ρJα,βη,κΠq(x)+1qρJα,βη,κΩq(x)ρJα,βη,κΠp(x)≥(ρJα,βη,κ(ΩΠ)p−1(x))(ρJα,βη,κ(ΩΠ)q−1(x)).(d)ρJα,βη,κΩp(x)ρJα,βη,κΠq(x)≥(ρJα,βη,κΩ(x)Π(x))(ρJα,βη,κΩp−1(x)Πq−1(x)).(e)1pρJα,βη,κΩp(x)ρJα,βη,κΠ2(x)+1qρJα,βη,κΩ2(x)ρJα,βη,κΠq(x)≥(ρJα,βη,κΩ(x)Π(x))(ρJα,βη,κΩ2/p(x)Π2/p(x)).(f)1pρJα,βη,κΩ2(x)ρJα,βη,κΠq(x)+1qρJα,βη,κΩq(x)ρJα,βη,κΠ2(x)≥(ρJα,βη,κΩ2/p(x)Π2/p(x))(ρJα,βη,κΩp−1(x)Πq−1(x)).(g)ρJα,βη,κΩ2(x)ρJα,βη,κ(Πq(x)p+Πq(x)q)≥(ρJα,βη,κΩ2/p(x)Π(x))(ρJα,βη,κΩ2/q(x)Π(x)). |
Theorem 4.4. [17]\ Assume that the assumptions of Theorem 4.3 are satisfied. In addition, let
μ=min0≤t≤xΩ(t)Π(t)andM=max0≤t≤xΩ(t)Π(t). |
Then we have:
(i)0≤(ρJα,βη,κΩ2(x)ρJα,βη,κΠ2(x))≤(M+μ)24μM(ρJα,βη,κΩ(x)Π(x))2.(ii)0≤√ρJα,βη,κΩ2(x)ρJα,βη,κΠ2(x)−(ρJα,βη,κΩ(x)Π(x))≤(√M−√μ)22√μM(ρJα,βη,κΩ(x)Π(x)).(iii)0≤ρJα,βη,κΩ2(x)ρJα,βη,κΠ2(x)−(ρJα,βη,κΩ(x)Π(x))2≤(M−μ)24μM(ρJα,βη,κΩ(x)Π(x))2. |
Theorem 4.5. [18] Assume that Ω:[0,∞)→R is an integrable function satisfying (H1). Then we have:
ρJα,βη,kQ2(t)ρJδ,λη,kΩ(t)+ρJα,βη,kΩ(t)ρJδ,λη,kQ1(t)≥ρJα,βη,kΩ(t)ρJδ,λη,kΩ(t)+ρJα,βη,kQ2(t)ρJδ,λη,kQ1(t), |
for all t>0,α,ρ,δ>0, β,η,k,λ∈R.
Theorem 4.6. [18] Suppose that Ω,Π:[0,∞)→R are two integrable functions satisfying (H1) and (H2). Then for all t>0 and α,ρ>0, β,η,k∈R we have:
[Λρ,βt,k(α,η)ρJα,βη,kΩ(t)Π(t)−(ρJα,βη,kΩ(t)ρJα,βη,kΠ(t))]2≤T(Ω,Q1,Q2)T(Π,R1,R2), |
where
T(y,z,w)=(ρJα,βη,kw(t)−ρJα,βη,ky(t))(ρJα,βη,ky(t)−ρJα,βη,kz(t))+Λρ,βt,k(α,η)ρJα,βη,ky(t)z(t)−ρJα,βη,ky(t)ρJα,βη,kz(t)+Λρ,βt,k(α,η)ρJα,βη,ky(t)w(t)−ρJα,βη,ky(t)ρJα,βη,kw(t)−Λρ,βt,k(α,η)ρJα,βη,kz(t)w(t)+ρJα,βη,kz(t)ρJα,βη,kw(t). |
Theorem 4.7. [18] Suppose that Ω,Π:[0,∞)→R are two integrable functions satisfying (H1) and (H2). Then for all t>0 and α,δ,ρ>0, β,λ,η,k∈R we have:
(a) ρJδ,λη,kΩ(t)ρJα,βη,kQ2(t)+ρJδ,λη,kR1(t)ρJα,βη,kΠ(t)≥ρJδ,λη,kR1(t)ρJα,βη,kQ2(t)+ρJδ,λη,kΩ(t)ρJα,βη,kΠ(t).
(b) ρJδ,λη,kQ1(t)ρJα,βη,kΩ(t)+ρJα,βη,kR2(t)ρJδ,λη,kΠ(t)≥ρJδ,λη,kQ1(t)ρJα,βη,kR2(t)+ρJδ,λη,kΠ(t)ρJα,βη,kΩ(t).
(c) ρJα,βη,kQ2(t)ρJδ,λη,kR2(t)+ρJα,βη,kΠ(t)ρJδ,λη,kΩ(t)≥ρJα,βη,kQ2(t)ρJδ,λη,kΩ(t)+ρJδ,λη,kR2(t)ρJα,βη,kΠ(t).
(d) ρJα,βη,kQ1(t)ρJδ,λη,kR1(t)+ρJα,βη,kΠ(t)ρJδ,λη,kΩ(t)≥ρJα,βη,kQ1(t)ρJδ,λη,kΩ(t)+ρJδ,λη,kR1(t)ρJα,βη,kΠ(t).
Definition 5.1. [15] The fractional integral of Hadamard type of order α∈R+ of an integrable function Ω(t), for all t>1 is defined as
HJαΩ(t)=1Γ(α)∫t1(logts)α−1Ω(s)dss, | (5.1) |
provided the integral exists. (Here log(⋅)=loge(⋅)).
We present, by using Hadamard's fractional integral, some Grüss-type fractional integral inequalities.
Theorem 5.1. [19] Assume that Ω:[1,∞)→R is an integrable function satisfying (H1). Then, for t>1, α,β>0, we have
HJβQ1(t)HJαΩ(t)+HJαQ2(t)HJβΩ(t)≥HJαQ2(t)HJβQ1(t)+HJαΩ(t)HJβΩ(t). |
Theorem 5.2. [19] Assume that Ω:[1,∞)→R is an integrable function satisfying (H1). Let θ1,θ2>0 satisfying 1/θ1+1/θ2=1. Then, for t>1, α,β>0, we have
1θ1(logt)βΓ(β+1)HJα((Q2−Ω)θ1)(t)+1θ2(logt)αΓ(α+1)HJβ((Ω−Q1)θ2)(t)+HJαQ2(t)HJβQ1(t)+HJαΩ(t)HJβΩ(t)≥HJαQ2(t)HJβΩ(t)+HJαΩ(t)HJβQ1(t). |
Theorem 5.3. [19] Assume that Ω:[1,∞)→R is an integrable function satisfying (H1). Let θ1,θ2>0 satisfying θ1+θ2=1. Then, for t>1, α,β>0, we have
θ1(logt)βΓ(β+1)HJαQ2(t)+θ2(logt)αΓ(α+1)HJβΩ(t)≥HJα(Q2−Ω)θ1(t)HJβ(Ω−Q1)θ2(t)+θ1(logt)βΓ(β+1)HJαΩ(t)+θ2(logt)αΓ(α+1)HJβQ1(t). |
Theorem 5.4. [19] Assume that Ω:[1,∞)→R is an integrable function satisfying (H1). Let p≥q≥0, p≠0. Then, we have the following two inequalities, for any k>0, t>1, α, β>0,
(i)HJα(Q2−Ω)qp(t)+qpkq−ppHJαΩ(t)≤qpkq−ppHJαQ2(t)+p−qpkqp(logt)αΓ(α+1).(ii)HJα(Ω−Q1)qp(t)+qpkq−ppHJαQ1(t)≤qpkq−ppHJαΩ(t)+p−qpkqp(logt)αΓ(α+1). |
Theorem 5.5. [19] Suppose that Ω,Π:[1,∞)→R are two integrable functions satisfying (H1) and (H2). Then, for t>0, α, β>0, we have:
(a) HJβR1(t)HJαΩ(t)+HJαQ2(t)HJβΠ(t)≥HJβR1(t)HJαQ2(t)+HJαΩ(t)HJβΠ(t).
(b) HJβQ1(t)HJαΠ(t)+HJαR2(t)HJβΩ(t)≥HJβQ1(t)HJαR2(t)+HJβΩ(t)HJαΠ(t).
(c) HJβR2(t)HJαQ2(t)+HJαΩ(t)HJβΠ(t)≥HJαQ2(t)HJβΠ(t)+HJβR2(t)HJαΩ(t).
(d) HJαQ1(t)HJβR1(t)+HJαΩ(t)HJβΠ(t)≥HJαQ1(t)HJβΠ(t)+HJβR1(t)HJαΩ(t).
Theorem 5.6. [19] Suppose that Ω,Π:[1,∞)→R are two integrable functions satisfying (H1) and (H2). Let θ1,θ2>0 such that 1/θ1+1/θ2=1. Then, for t>1, α, β>0, the following inequalities hold:
(ⅰ) 1θ1(logt)βΓ(β+1)HJα(Q2−Ω)θ1(t)+1θ2(logt)αΓ(α+1)HJβ(R2−Π)θ2(t) ≥HJα(Q2−Ω)(t)HJβ(R2−Π)(t).
(ⅱ) 1θ1HJα(Q2−Ω)θ1(t)HJβ(R2−Π)θ1(t)+1θ2HJα(R2−Π)θ2(t)HJβ(Q2−Ω)θ2(t) ≥HJα(Q2−Ω)(R2−Π)(t)HJβ(Q2−Ω)(R2−Π)(t).
(ⅲ) 1θ1(logt)βΓ(β+1)HJα(Ω−Q1)θ1(t)+1θ2(logt)αΓ(α+1)HJβ(Π−R1)θ2(t) ≥HJα(Ω−Q1)(t)HJβ(Π−R1)(t).
(ⅳ) 1θ1HJα(Ω−Q1)θ1(t)HJβ(Π−R1)θ1(t)+1θ2HJα(Π−R1)θ2(t)HJβ(Ω−Q1)θ2(t) ≥HJα(Ω−Q1)(Π−R1)(t)HJβ(Ω−Q1)(Π−R1)(t).
Theorem 5.7. [19] Suppose that Ω,Π:[1,∞)→R are two integrable functions satisfying (H1) and (H2). Let θ1,θ2>0 such that θ1+θ2=1. Then, for t>1, α, β>0, we have:
(a) θ1(logt)βΓ(β+1)HJαQ2(t)+θ2(logt)αΓ(α+1)HJβR2(t) ≥HJα(Q2−Ω)θ1(t)HJβ(R2−Π)θ2(t)+θ1(logt)βΓ(β+1)HJαΩ(t)+θ2(logt)αΓ(α+1)HJβΠ(t).
(b) θ1HJαQ2(t)HJβR2(t)+θ1HJαΩ(t)HJβΠ(t) +θ2HJαR2(t)HJβQ2(t)+θ2HJαΠ(t)HJβΩ(t) ≥HJα(Q2−Ω)θ1(R2−Π)θ2(t)HJβ(R2−Π)θ1(Q2−Ω)θ2(t) +θ1HJαQ2(t)HJβΠ(t)+θ1HJαΩ(t)HJβR2(t) +θ2HJαR2(t)HJβΩ(t)+θ2HJαΠ(t)HJβQ2(t).
(c) θ1(logt)βΓ(β+1)HJαΩ(t)+θ2(logt)αΓ(α+1)HJβΠ(t) ≥HJα(Ω−Q1)θ1(t)HJβ(Π−R1)θ2(t)+θ1(logt)βΓ(β+1)HJαQ1(t)+θ2(logt)αΓ(α+1)HJβR1(t).
(d) θ1HJαΩ(t)HJβΠ(t)+θ1HJαQ1(t)HJβR1(t) +θ2HJαΠ(t)HJβΩ(t)+θ2HJαR1(t)HJβQ1(t) ≥HJα(Ω−Q1)θ1(Π−R1)θ2(t)HJβ(Π−R1)θ1(Ω−Q1)θ2(t) +θ1HJαΩ(t)HJβR1(t)+θ1HJαQ1(t)HJβΠ(t) +θ2HJαΠ(t)HJβQ1(t)+θ2HJαR1(t)HJβΩ(t).
Theorem 5.8. [19] Suppose that Ω,Π:[1,∞)→R are two integrable functions satisfying (H1) and (H2). Then for all t>1, α>0, we have
|(logt)αΓ(α+1)HJαΩ(t)Π(t)−HJαΩ(t)HJαΠ(t)|≤|T(Ω,Q1,Q2)|12|T(Π,R1,R2)|12, |
where T(y,z,w) is defined by
T(y,z,w)=(HJαw(t)−HJαy(t))(HJαy(t)−HJαz(t))+(logt)αΓ(α+1)HJαz(t)y(t)−HJαz(t)HJαy(t)+(logt)αΓ(α+1)HJαw(t)y(t)−HJαw(t)HJαy(t)+HJαz(t)HJαw(t)−(logt)αΓ(α+1)HJαz(t)w(t). |
In this section we present Grüss-type fractional integral inequalities concerning k-fractional integral operators.
k-fractional integral inequalities of Grüss-type are included in this section.
Definition 6.1. [20] The k-fractional integral of the Riemann-Liouville type is defined as follows:
kJαx1Ω(t)=1kΓk(α)∫tx1(x−s)αk−1Ω(s)ds,α>0,t>a. |
Theorem 6.1. [21] Assume that Ω:[0,∞) is an integrable function satisfying (H1). Then, for t>0, α,β>0, k>0, we have
kJβQ1(t)kJαΩ(t)+ kJαQ2(t)kJβΩ(t)≥ kJαQ2(t)kJβQ1(t)+ kJαΩ(t)kJβΩ(t). |
Theorem 6.2. [21] Assume that Ω:[0,∞) is an integrable function satisfying (H1). Let θ1,θ2>0 such that 1/θ1+1/θ2=1. Then, we have for t>0, α,β>0 and k>0,
1θ1tβkΓk(β+k)kJα((Q2−Ω)θ1)(t)+1θ2tαkΓk(α+k)kJβ((Ω−Q1)θ2)(t)+kJαQ2(t)kJβQ1(t)+kJαΩ(t)kJβΩ(t)≥kJαQ2(t)kJβΩ(t)+kJαΩ(t)kJβQ1(t). |
Theorem 6.3. [21] Assume that Ω:[0,∞) is an integrable function satisfying (H1). Let θ1,θ2>0 such that θ1+θ2=1. Then, for t>0, α,β>0 and k>0, we have
θ1tβkΓk(β+k)kJαQ2(t)+θ2tαkΓk(α+k)kJβΩ(t)≥kJα(Q2−Ω)θ1(t)kJβ(Ω−Q1)θ2(t)+θ1tβkΓk(β+k)kJαΩ(t)+θ2tαkΓk(α+k)kJβQ1(t). |
Theorem 6.4. [21] Assume that Ω,Π:[0,∞)→R are two integrable functions satisfying (H1) and (H2). Then, for t>0, α, β>0, k>0 we have:
(ⅰ) kJβR1(t) kJαΩ(t)+ kJαQ2(t) kJβΠ(t)≥ kJβR1(t) kJαQ2(t)+ kJαΩ(t) kJβΠ(t).
(ⅱ) kJβQ1(t) kJαΠ(t)+ kJαR2(t) kJβΩ(t)≥ kJβQ1(t) kJαR2(t)+ kJβΩ(t) kJαΠ(t).
(ⅲ) kJαQ2(t) kJβR2(t)+ kJαΩ(t) kJβΠ(t)≥ kJαQ2(t) kJβΠ(t)+ kJβR2(t) kJαΩ(t).
(ⅳ) kJαQ1(t)JβR1(t)+ kJαΩ(t) kJβΠ(t)≥ kJαQ1(t) kJβΠ(t)+ kJβR1(t) kJαΩ(t).
Theorem 6.5. [21] Assume that Ω,Π:[0,∞)→R are two integrable functions satisfying (H1) and (H2). Then for all t>0, α>0, k>0, we have
|tαkΓk(α+k) kJαΩ(t)Π(t)− kJαΩ(t) kJαΠ(t)|≤√T(Ω,Q1,Q2)T(Π,R1,R2), |
where
T(y,z,w)=( kJαw(t)− kJαy(t))( kJαy(t)− kJαz(t))+tαkΓk(α+k) kJαz(t)y(t)−kJαz(t) kJαy(t)+tαkΓk(α+k)Jαw(t)y(t)−kJαw(t) kJαy(t)+kJαz(t) kJαw(t)−tαkΓk(α+k) kJαz(t)w(t). |
Theorem 6.6. [22] Assume that (H) holds on [x1,x2] and p be a positive function on [x1,x2]. Then for all t>0, k>0,α>0, we have
|(kJαx1p(t))(kJαx1p(t)Ω(t)Π(t))−(kJαx1p(t)Ω(t))(kJαx1p(t)Π(t))|≤(kJαx1p(t))24(M−m)(P−p). |
Theorem 6.7. [22] Let the assumptions of Theorem 6.6 be satisfied. Then, for all t>0, k>0,α,β>0, t he following inequality holds:
[(kJαx1p(t))(kJβx1p(t)Ω(t)Π(t))+(kJβx1p(t))(kJαx1p(t)Ω(t)Π(t))−(kJαx1p(t)Ω(t))(kJαx1p(t)Π(t))−(kJβx1p(t)Ω(t))(kJαx1p(t)Π(t))]2≤{[M(kJαx1p(t))−(kJαx1p(t)Ω(t))][(kJβx1p(t)Ω(t))−m(kJβx1p(t))]+[(kJαx1p(t)Ω(t))−m(kJαx1p(t))][M(kJβx1p(t))−(kJβx1pΩ(t))]}×{[P(kJαx1p(t))−(kJαx1p(t)Π(t))][(kJβx1p(t)Π(t))−p(kJβx1p(t))]+[(kJαx1p(t)Π(t))−p(kJαx1p(t))][P(kJβx1p(t))−(kJβx1p(t)Π(t))]}. |
Definition 6.2. [23] Let ψ be a positive and increasing function on [x1,x2]. Then the left-sided and right-sided generalized Riemann–Liouville fractional integrals of a function Ω with respect to another function ψ of order α>0 are defined by
Jα,ψx1+,kΩ(t)=1kΓk(α)∫tx1(ψ(t)−ψ(s))αk−1ψ′(s)Ω(s)ds,t>x1, |
Jα,ψx2−,kΩ(t)=1kΓk(α)∫x2t(ψ(s)−ψ(t))αk−1ψ′(s)Ω(s)ds,t<x2. |
Theorem 6.8. [23] Assume that Ω:[0,∞)→R is an integrable function satisfying (H1). Then, for t>0, α,β>0, k>0, we have:
Jβ,ψ0+,kQ1(t)Jα,ψ0+,kΩ(t)+ Jα,ψ0+,kQ2(t)Jβ,ψ0+,kΩ(t)≥ Jα,ψ0+,kQ2(t)Jβ,ψ0+,kQ1(t)+ Jα,ψ0+,kΩ(t)Jβ,ψ0+,kΩ(t). |
Theorem 6.9. [23] Suppose that Ω,Π:[0,∞)→R are two integrable functions satisfying (H1) and (H2). Assume that ψ is a positive and increasing function with ψ(0)=0 and ψ′ continuous on [0,∞). Then, for t>0, α, β>0, k>0 we have:
(ⅰ) Jβ,ψ0+,kR1(t) Jα,ψ0+,kΩ(t)+ Jα,ψ0+,kQ2(t) Jβ,ψ0+,kΠ(t)≥ Jβ,ψ0+,kR2(t) Jα,ψ0+,kQ2(t)+ Jα,ψ0+,kΩ(t) Jβ,ψ0+,kΠ(t).
(ⅱ) Jβ,ψ0+,kQ1(t) Jα,ψ0+,kΠ(t)+ Jα,ψ0+,kR2(t) Jβ,ψ0+,kΩ(t)≥ Jβ,ψ0+,kQ1(t) Jα,ψ0+,kR2(t)+ Jβ,ψ0+,kΩ(t) Jα,ψ0+,kΠ(t).
(ⅲ) Jα,ψ0+,kQ2(t) kJβ,ψ0+,kR2(t)+ Jα,ψ0+,kΩ(t) Jβ,ψ0+,kΠ(t)≥ Jα,ψ0+,kQ2(t) Jβ,ψ0+,kΠ(t)+ Jβ,ψ0+,kR2(t) Jα,ψ0+,kΩ(t).
(ⅳ) Jα,ψ0+,kQ1(t)Jβ,ψ0+,kR1(t)+ Jα,ψ0+,kΩ(t) Jβ,ψ0+,kΠ(t)≥ Jα,ψ0+,kQ1(t) Jβ,ψ0+,kΠ(t)+ Jβ,ψ0+,kR1(t) Jα,ψ0+,kΩ(t).
Theorem 6.10. [23] Suppose that Ω,Π:[0,∞)→R are two integrable functions satisfying (H1) and (H2). Assume that ψ is a positive and increasing function on [0,∞) such that ψ(0)=0 and ψ′ is continuous on [0,∞). Then for all t>0, α>0, k>0, we have
|ψ(t)αkΓk(α+k) Jα,ψ0+,kΩ(t)Π(t)− Jα,ψ0+,kΩ(t) Jα,ψ0+,kΠ(t)|≤√T(Ω,Q1,Q2)T(Π,R1,R2), |
where
T(y,z,w)=( Jα,ψ0+,kw(t)− Jαy(t))( Jα,ψ0+,ky(t)− Jα,ψ0+,kz(t))+ψ(t)αkΓk(α+k) Jα,ψ0+,kz(t)y(t)−Jα,ψ0+,kz(t) Jα,ψ0+,ky(t)+ψ(t)αkΓk(α+k)Jα,ψ0+,kw(t)y(t)−Jα,ψ0+,kw(t) Jα,ψ0+,ky(t)+Jα,ψ0+,kz(t) Jα,ψ0+,kw(t)−tαkΓk(α+k) Jα,ψ0+,kz(t)w(t). |
Definition 7.1. [24] The function Ω is said to be Lp,r[x1,x2] if
(∫x2x1|Ω(t)|ptrdt)1/p<∞,1<p<∞,r>0. |
Definition 7.2. [24] The Γk (generalized gamma function) is defined by
Γk(z)=limn→∞n!kn(nk)zk−1(z)nk,k>0. |
Definition 7.3. [24] The function Fσ,kρ,λ is defined by
Fσ,kρ,λ(z)=F(σ(0),σ(1),…,),kρ,λ=∞∑m=0σ(m)kΓk(ρkm+λ)zm,ρ,λ>0,z∈C,|z|<R, |
where R∈R+ and σ=(σ(1),…,σ(m),…) is a bounded sequence of positive real numbers.
Definition 7.4. [24] Let k>0, λ>0, ρ>0 and ω∈R. Assume that ψ:[x1,x2]→R is an increasing function for which ψ′ is continuous on (x1,x2). Then the left and right generalized k-fractional integrals of the function Ω with respect to ψ on [x1,x2] are defined by
Jσ,k,ψρ,λ,a+;ωΩ(z)=∫zx1ψ′(t)(ψ(z)−ψ(t))1−λkFσ,kρ,λ[ω(ψ(z)−ψ(t))ρ]Ω(t)dt,z>x1 |
and
Jσ,k,ψρ,λ,x2−;ωΩ(z)=∫x2zψ′(t)(ψ(t)−ψ(z))1−λkFσ,kρ,λ[ω(ψ(t)−ψ(z))ρ]Ω(t)dt,z<x2, |
respectively.
Theorem 7.1. [24] Let ρ,λ,δ>0, ω∈R, Ω∈L1,r[x1,x2], and (H1) holds. Then we have:
Jσ,k,ψρ,λ,0+;ωQ2(x)Jσ,k,ψρ,δ,0+;ωΩ(x)+Jσ,k,ψρ,δ,0+;ωQ1(x)Jσ,k,ψρ,λ,0+;ωΩ(x)≥Jσ,k,ψρ,δ,0+;ωQ1(x)Jσ,k,ψρ,λ,0+;ωQ2(x)+Jσ,k,ψρ,δ,0+;ωΩ(x)Jσ,k,ψρ,λ,0+;ωΩ(x). |
Theorem 7.2. [24] Under the assumptions of Theorem 7.1, we have:
Jσ,k,ψρ,λ,0+;ωQ2(x)Jσ,k,ψρ,δ,0+;ωΩ(x)+Jσ,k,ψρ,δ,0+;ωQ1(x)Jσ,k,ψρ,λ,0+;ωΩ(x)≥Jσ,k,ψρ,δ,0+;ωQ1(x)Jσ,k,ψρ,λ,0+;ωQ2(x)+Jσ,k,ψρ,δ,0+;ωΩ(x)Jσ,k,ψρ,λ,0+;ωΩ(x). |
Theorem 7.3. [24] Let ρ,λ,δ>0, ω∈R, Ω,Π∈L1,r[x1,x2] satifying (H1) and (H2) for all x∈[0,∞). Then we have
|Jσ,k,ψρ,λ,0+;ωΩ(x)Π(x)Aδ(x)+Jσ,k,ψρ,λ,0+;ωΩ(x)Π(x)Aλ(x)−Jσ,k,ψρ,λ,0+;ωΩ(x)Jσ,k,ψρ,δ,0+;ωΠ(x)−Jσ,k,ψρ,δ,0+;ωΩ(x)Jσ,k,ψρ,λ,0+;ωΠ(x)|≤(Aλ(x)Aδ(x)2)2(Q2−Q1)(R1−R2), |
where Aλ and Aδ are defined as
Aλ(z)=(ψ(z))λkFσ,kρ,λ+1(ω(ψ(z))ρ)andAδ=(ψ(z))δkFσ,kρ,δ+1(ω(ψ(z))ρ), |
respectively.
Theorem 7.4. [24] Under the assumptions of Theorem 7.3, we have
(i)Jσ,k,ψρ,λ,0+;ωQ2(x)Jσ,k,ψρ,δ,0+;ωΠ(x)+Jσ,k,ψρ,δ,0+;ωR1(x)Jσ,k,ψρ,λ,0+;ωΩ(x)≥Jσ,k,ψρ,δ,0+;ωR1(x)Jσ,k,ψρ,λ,0+;ωQ2(x)+Jσ,k,ψρ,δ,0+;ωΠ(x)Jσ,k,ψρ,λ,0+;ωΩ(x),(ii)Jσ,k,ψρ,λ,0+;ωR1(x)Jσ,k,ψρ,λ,0+;ωΩ(x)+Jσ,k,ψρ,λ,0+;ωΠ(x)Jσ,k,ψρ,δ,0+;ωQ1(x)≥Jσ,k,ψρ,λ,0+;ωΠ(x)Jσ,k,ψρ,δ,0+;ωΩ(x)+Jσ,k,ψρ,λ,0+;ωR1(x)Jσ,k,ψρ,δ,0+;ωQ1(x),(iii)Jσ,k,ψρ,λ,0+;ωQ2(x)Jσ,k,ψρ,δ,0+;ωΠ(x)+Jσ,k,ψρ,λ,0+;ωΩ(x)Jσ,k,ψρ,λ,0+;ωR1(x)≥Jσ,k,ψρ,λ,0+;ωΩ(x)Jσ,k,ψρ,δ,0+;ωΠ(x)+Jσ,k,ψρ,δ,0+;ωR1(x)Jσ,k,ψρ,λ,0+;ωQ2(x),(iv)Jσ,k,ψρ,λ,0+;ωQ1(x)Jσ,k,ψρ,δ,0+;ωΠ(x)+Jσ,k,ψρ,λ,0+;ωΩ(x)Jσ,k,ψρ,λ,0+;ωR1(x)≥Jσ,k,ψρ,λ,0+;ωΩ(x)Jσ,k,ψρ,λ,0+;ωΠ(x)+Jσ,k,ψρ,λ,0+;ωQ1(x)Jσ,k,ψρ,λ,0+;ωR1(x). |
Now we present certain other associated fractional integral inequalities.
Theorem 7.5. [24] Let α,β>1 and a−1+β−1=1, and Ω,Π∈L1,r[x1,x2]. Then we have:
(i)a−1Aδ(x)Jσ,k,ψρ,λ,0+;ωΩα(x)+β−1Aλ(x)Jσ,k,ψρ,λ,0+;ωΠβ(x)≥Jσ,k,ψρ,λ,0+;ωΩ(x)Jσ,k,ψρ,λ,0+;ωΠ(x).(ii)a−1Jσ,k,ψρ,λ,0+;ωΩα(x)Jσ,k,ψρ,δ,0+;ωΠα(x)+β−1Jσ,k,ψρ,λ,0+;ωΠβJσ,k,ψρ,δ,0+;ωΩβ(x)≥Jσ,k,ψρ,λ,0+;ωΩ(x)Π(x)Jσ,k,ψρ,δ,0+;ωΩ(x)Π(x).(iii)a−1Jσ,k,ψρ,λ,0+;ωΩα(x)Jσ,k,ψρ,δ,0+;ωΠβ(x)+β−1Jσ,k,ψρ,δ,0+;ωΩβ(x)Jσ,k,ψρ,λ,0+;ωΠα(x)≥Jσ,k,ψρ,λ,0+;ωΩ(x)Πα−1(x)Jσ,k,ψρ,δ,0+;ωΩ(x)Πβ−1(x).(iv)a−1Jσ,k,ψρ,δ,0+;ωΩα(x)Jσ,k,ψρ,λ,0+;ωΠβ(x)+β−1Jσ,k,ψρ,δ,0+;ωΠβ(x)Jσ,k,ψρ,λ,0+;ωΩα(x)≥Jσ,k,ψρ,λ,0+;ωΩα−1(x)Πβ−1(x)Jσ,k,ψρ,δ,0+;ωΩ(x)Π(x).(v)a−1Jσ,k,ψρ,λ,0+;ωΩα(x)Jσ,k,ψρ,δ,0+;ωΠ2(x)+β−1Jσ,k,ψρ,λ,0+;ωΠβ(x)Jσ,k,ψρ,λ,0+;ωΩ(x)≥Jσ,k,ψρ,λ,0+;ωΩ(x)Π(x)Jσ,k,ψρ,δ,0+;ωΩ2/β(x)Π2/α(x).(vi)a−1Jσ,k,ψρ,λ,0+;ωΩ2(x)Jσ,k,ψρ,δ,0+;ωΠβ(x)+β−1Jσ,k,ψρ,δ,0+;ωΩα(x)Jσ,k,ψρ,λ,0+;ωΠ2(x)≥Jσ,k,ψρ,λ,0+;ωΩ2/α(x)Π2/β(x)Jσ,k,ψρ,δ,0+;ωΩα−1(x)Πβ−1(x).(vii)a−1Aδ(x)Jσ,k,ψρ,λ,0+;ωΩ2(x)Πβ(x)+β−1Aλ(x)Jσ,k,ψρ,δ,0+;ωΠβ(x)Ω2(x)≥Jσ,k,ψρ,λ,0+;ωΩ2/α(x)Πβ−1(x)Jσ,k,ψρ,δ,0+;ωΩ2/β(x)Πα−1(x). |
Theorem 7.6. [24] Assume that Ω,Π:[0,∞)→R are two positive and integrable functions such that
μ=min0≤t≤xΩ(t)Ω(t),M=max0≤t≤xΩ(t)Π(t). |
Then we have
(a)0≤Jσ,k,ψρ,λ,0+;ωΩ2(x)Jσ,k,ψρ,λ,0+;ωΠ2(x)≤(μ+M)24μM(Jσ,k,ψρ,λ,0+;ωΩ(x)Π(x))2,(b)0≤√Jσ,k,ψρ,λ,0+;ωΩ2(x)Jσ,k,ψρ,λ,0+;ωΠ2(x)−Jσ,k,ψρ,λ,0+;ωΩ(x)Π(x)≤(√M−√μ)22√μM(Jσ,k,ψρ,λ,0+;ωΩ(x)Π(x)),(c)0≤Jσ,k,ψρ,λ,0+;ωΩ2(x)Jσ,k,ψρ,λ,0+;ωΠ2(x)−(Jσ,k,ψρ,λ,0+;ωΩ(x)Π(x))2≤(M−μ)24μM(Jσ,k,ψρ,λ,0+;ωΩ(x)Π(x))2. |
In this section we define a generalized left sided tempered fractional integral with respect to another function. Then we present Grüss-type integral inequalities.
Definition 8.1. [16] Suppose Ω∈L1[0,∞) and the function ψ:[0,∞)→R is positive, and increasing with continuous derivative and ψ(0)=0. Then the Lebesgue real-valued measurable function Ω defined on [0,∞) is said to be in the space Xpψ, (1≤p<∞) for which
‖Ω‖Xpψ=(∫x2x1|Ω(t)|ψ′(t)dt)1/p<∞,1≤p<∞. |
When p=∞, then
‖Ω‖X∞ψ=esssup0≤t<∞[ψ′(t)Ω(t)]. |
Definition 8.2. [25] Suppose that κ,ξ∈C with ℜ(κ)>0 and ℜ(ξ)≥0. The tempered fractional left sided integral is defined by
(x1Jκ,ξΩ)(t)=1Γ(κ)∫tx1e−ξ(t−s)(t−s)κ−1Ω(s)ds,t>x1. |
Definition 8.3. [26] Let Ω be an integrable function in the space Xpψ(0,∞) and assume that ψ:[0,∞)→R is positive, and increasing with continuous derivative and ψ(0)=0. Then the generalized left sided tempered fractional integral of a function Ω with respect to another function ψ is defined by
(ψJκ,ξΩ)(t)=1Γ(κ)∫t0e−ξ(ψ(t)−ψ(s))(ψ(t)−ψ(s))κ−1ψ′(s)Ω(s)ds,t>0, |
where ξ>0, κ∈C with ℜ(κ)>0.
Theorem 8.1. [27] Suppose that Ω∈Xpψ(0,∞) and assume that ψ:[0,∞)→R is positive, and increasing with continuous derivative and ψ(0)=0. Moreover, we assume that (H1) holds. Then for t>0, κ,λ>0, we have
ψJκ,ξQ2(t)ψJλ,ξΩ(t)+ψJκ,ξΩ(t)ψJλ,ξQ1(t)≥ψJκ,ξQ2(t)ψJλξQ1(t)+ψJκ,λΩ(t)ψJλ,ξΩ(t). |
Theorem 8.2. [27] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). In addition, we suppose that \psi: [0, \infty)\to \mathbb{R} is positive, and increasing with continuous derivative and \psi(0) = 0. Then, for t > 0 and \kappa, \lambda > 0, the following inequalities hold:
\begin{eqnarray*} (a)\; \; \; &&{}^{\psi}J^{\kappa,\xi}Q_2(t)\; {}^{\psi}J^{\lambda,\xi}\Pi(t)+{}^{\psi}J^{\lambda,\xi}\Omega(t) \; {}^{\psi}J^{\kappa,\xi} R_1(t)\\ &\ge&{}^{\psi}J^{\kappa,\xi}Q_2(t)\; {}^{\psi}J^{\lambda,\xi} R_1(t)+{}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}\Pi(t).\\[0.3cm] (b)\; \; \; &&{}^{\psi}J^{\lambda,\xi}Q_1(t)\; {}^{\psi}J^{\kappa,\xi}\Pi(t)+{}^{\psi}J^{\kappa,\xi} R_2(t)\; {}^{\psi}J^{\lambda,\xi}\Omega(t) \\ &\ge&{}^{\psi}J^{\kappa,\xi}Q_1(t)\; {}^{\psi}J^{\lambda,\xi} R_2(t)+{}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}\Pi(t).\\[0.3cm] (c)\; \; \; &&{}^{\psi}J^{\kappa,\xi}Q_2(t)\; {}^{\psi}J^{\lambda,\xi} R_2(t)+{}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}\Pi(t)\\ &\ge&{}^{\psi}J^{\kappa,\xi}Q_2(t)\; {}^{\psi}J^{\lambda,\xi}\Pi(t)+{}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi} R_2(t).\\[0.3cm] (d)\; \; \; &&{}^{\psi}J^{\kappa,\xi}Q_1(t)\; {}^{\psi}J^{\lambda,\xi} R_1(t)+{}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}\Pi(t)\\ &\ge&{}^{\psi}J^{\kappa,\xi}Q_1(t)\; {}^{\psi}J^{\lambda,\xi}\Pi(t)+{}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi} R_1(t). \end{eqnarray*} |
We present in the next certain other types of inequalities for tempered fractional integral.
Theorem 8.3. [27] Assume that the assumptions on Theorem 8.2 hold. If p, q > 1 are such that \frac{1}{p}+\frac{1}{q} = 1, then, for t > 0 we have:
\begin{eqnarray*} (i)\; \; \; &&\frac{1}{p}{}^{\psi}J^{\kappa,\xi}\Omega^p(t)\; {}^{\psi}J^{\lambda,\xi}\Pi^p(t)+\frac{1}{q}{}^{\psi}J^{\kappa,\xi}\Pi^q(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^q(t)\\ &\ge&{}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t)\; {}^ {\psi}J^{\lambda,\xi}\Pi(t)\Omega(t) .\\[0.3cm] (ii)\; \; \; &&\frac{1}{p}{}^{\psi}J^{\kappa,\xi}\Omega^p(t)\; {}^{\psi}J^{\lambda,\xi}\Pi^p(t)+\frac{1}{q}{}^{\psi}J^{\kappa,\xi}\Pi^q(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^p(t)\\ &\ge&{}^{\psi}J^{\lambda,\xi}\Pi^{q-1}(t)\Omega^{p-1}(t)\; {}^{\psi}J^{\kappa,\xi}\Pi(t)\Omega(t) .\\[0.3cm] (iii)\; \; \; &&\frac{1}{p}{}^{\psi}J^{\kappa,\xi}\Omega^p(t)\; {}^{\psi}J^{\lambda,\xi}\Pi^2(t)+\frac{1}{q}{}^{\psi}J^{\kappa,\xi}\Pi^q(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^2(t)\\ &\ge&{}^{\psi}J^{\lambda,\xi}\Omega^{2/p}(t)\Pi^{2/q}(t)\; {}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t).\\[0.3cm] (iv)\; \; \; &&\frac{1}{p}{}^{\psi}J^{\kappa,\xi}\Omega^2(t)\; {}^{\psi}J^{\lambda,\xi}\Pi^q(t)+\frac{1}{q}{}^{\psi}J^{\kappa,\xi}\Pi^2(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^p(t)\\ &\ge&{}^{\psi}J^{\lambda,\xi}\Omega^{p-1}(t)\Pi^{q-1}(t)\; {}^{\psi}J^{\kappa,\xi}\Omega^{2/p}(t)\Pi^{2/q}(t). \end{eqnarray*} |
Theorem 8.4. [27] Assume that the assumptions on Theorem 8.2 hold. If p, q > 1 are such that \frac{1}{p}+\frac{1}{q} = 1, then, for t > 0 we have:
\begin{eqnarray*} (a)\; \; \; &&p\; {}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}\Pi(t)+q\; {}^{\psi}J^{\kappa,\xi}\Pi(t)\; {}^{\psi}J^{\lambda,\xi}\Omega(t) \\ &\ge&{}^{\psi}J^{\kappa,\xi}\Omega^p(t)\Pi^q(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^q(t)\Pi^{p}(t).\\[0.3cm] (b)\; \; \; &&p\; {}^{\psi}J^{\kappa,\xi}\Omega^{p-1}(t)\; {}^{\psi}J^{\lambda,\xi}\Omega(t) \Pi^q(t)+q\; {}^{\psi}J^{\kappa,\xi}\Omega^{q-1}(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^q(t)\Pi(t)\\ &\ge&{}^{\psi}J^{\kappa,\xi}\Pi^q(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^p(t).\\[0.3cm] (c)\; \; \; &&p\; {}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}\Pi^{2/p}(t)+q\; {}^{\psi}J^{\kappa,\xi}\Pi^{q}(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^{2/q}(t))\\ &\ge&{}^{\psi}J^{\lambda,\xi}\Omega^p(t)\Pi(t)\; {}^{\psi}J^{\kappa,\xi}\Pi^q(t)\Omega^2(t).\\[0.3cm] (d)\; \; \; &&p\; {}^{\psi}J^{\kappa,\xi}\Omega^{2/p}(t)\Pi^q(t)\; {}^{\psi}J^{\lambda,\xi}\Pi^{q-1}(t)+q\; {}^{\psi}J^{\kappa,\xi}\Pi^{q-1}(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^{2/q}(t)\Pi^p(t)\\ &\ge&{}^{\psi}J^{\lambda,\xi}\Omega^2(t)\; {}^{\psi}J^{\kappa,\xi}\Pi^2(t). \end{eqnarray*} |
Theorem 8.5. [27] Assume that the assumptions on Theorem 8.2 hold. Let p, q > 1 be such that \frac{1}{p}+\frac{1}{q} = 1. Suppose that
\mathcal{K} = \min\limits_{0\le s\le t}\frac{\Omega(t) }{\Pi(t)}\; \; \; \; and\; \; \; \; \mathcal{H} = \max\limits_{0\le s\le t}\frac{\Omega(t) }{\Pi(t)}. |
Then, for t > 0 we have:
\begin{eqnarray*} (i)\; \; \; &&{}^{\psi}J^{\kappa,\xi}\Omega^2(t)\; {}^{\psi}J^{\kappa,\xi}\Pi^2(t)\le \frac{(\mathcal{K}+\mathcal{H})^2}{4\mathcal{K}\mathcal{H}}\Big({}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t)\Big)^2,\\[0.3cm] (ii)\; \; \; 0&\le&\sqrt{{}^{\psi}J^{\kappa,\xi}\Omega^2(t)\; {}^{\psi}J^{\kappa,\xi}\Pi^2(t)}-\Big({}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t)\Big)\\ &\le&\frac{\sqrt{\mathcal{H}}-\sqrt{\mathcal{K}}}{2\sqrt{\mathcal{K}\mathcal{H}}}\Big({}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t)\Big),\\[0.3cm] (iii)\; \; \; 0&\le&{}^{\psi}J^{\kappa,\xi}\Omega^2(t)\; {}^{\psi}J^{\kappa,\xi}\Pi^2(t)-\Big({}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t)\Big)^2\\ &\le&\frac{\mathcal{H}-\mathcal{K}}{4\mathcal{K}\mathcal{H}}\Big({}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t)\Big)^2. \end{eqnarray*} |
In this section we deal with Grüss-type integral inequalities concerning conformable fractional integrals.
We now introduced the definition of the generalized mixed \eta -conformable fractional integral.
Definition 9.1. [28] Assume that \Omega: [x_1, x_2]\to \mathbb{R} and \alpha\in \mathbb{C}, \Re(\alpha) > 0, \rho > 0, \eta is defined on [x_1, x_2] \times [x_1, x_2]. Then the mixed left \eta -conformable generalized fractional integral of \Omega is defined by
\begin{align} J_{\eta}^{\alpha,\rho}\Omega(x) = \frac{1}{\Gamma(\alpha)}\int_{x_1+\eta(x,x_1)}^{x_2}\Omega(s)\Big(\frac{(\eta(x_2,s))^{\rho}-(x_1-x+\eta(x_2,x_1))^{\rho}}{\rho}\Big)^{\alpha-1}(\eta(x_2,s))^{\rho-1}ds, \end{align} |
and the mixed right \eta -conformable generalized fractional integral of \Omega is defined by
\begin{align} J_{\eta}^{\alpha,\rho}\Omega(x) = \frac{1}{\Gamma(\alpha)}\int_{x_1}^{x_1+\eta(x,x_1)}\Omega(s)\Big(\frac{(\eta(s,x_1))^{\rho}-(x-b+\eta(x_2,x_1))^{\rho}}{\rho}\Big)^{\alpha-1}(\eta(s,x_1))^{\rho-1}ds. \end{align} |
Theorem 9.1. [28] Assume that \Omega: [0, \infty) is an integrable function satisfying (H_1) and t > 0, \alpha, \beta, \rho > 0. Then, we have:
J_{\eta}^{\beta,\rho}Q_1(t)J_{\eta}^{\alpha,\rho}\Omega(t) +J_{\eta}^{\alpha,\rho}Q_2(t)J_{\eta}^{\beta,\rho}\Omega(t) \ge J_{\eta}^{\alpha,\rho}Q_2(t)J_{\eta}^{\beta,\rho}Q_1(t)+ J_{\eta}^{\alpha,\rho}\Omega(t) J_{\eta}^{\beta,\rho}\Omega(t) . |
Theorem 9.2. [28] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable function satisfying (H_1) and (H_2) and t > 0, \alpha, \beta, \rho > 0. Then we have:
(ⅰ). J_{\eta}^{\beta, \rho} R_1(t)J_{\eta}^{\alpha, \rho}\Omega(t) +J_{\eta}^{\alpha, \rho}Q_2(t)J_{\eta}^{\beta, \rho}\Pi(t)\ge J_{\eta}^{\beta, \rho} R_1(t)J_{\eta}^{\alpha, \rho}Q_2(t)+ J_{\eta}^{\alpha, \rho}\Omega(t) J_{\eta}^{\beta, \rho}\Pi(t).
(ⅱ). J_{\eta}^{\beta, \rho}Q_1(t)J_{\eta}^{\alpha, \rho}\Pi(t)+J_{\eta}^{\alpha, \rho} R_2(t)J_{\eta}^{\beta, \rho}\Omega(t) \ge J_{\eta}^{\beta, \rho}Q_1(t)J_{\eta}^{\alpha, \rho} R_2(t)+ J_{\eta}^{\beta, \rho}\Omega(t) J_{\eta}^{\alpha, \rho}\Pi(t).
(ⅲ). J_{\eta}^{\alpha, \rho}Q_2(t)J_{\eta}^{\beta, \rho} R_2(t)+J_{\eta}^{\alpha, \rho}\Omega(t) J_{\eta}^{\beta, \rho}\Pi(t)\ge J_{\eta}^{\alpha, \rho}Q_2(t)J_{\eta}^{\beta, \rho}\Pi(t)+ J_{\eta}^{\beta, \rho} R_2(t)J_{\eta}^{\alpha, \rho}\Omega(t).
(ⅳ). J_{\eta}^{\alpha, \rho}Q_1(t)J_{\eta}^{\beta, \rho} R_1(t)+J_{\eta}^{\alpha, \rho}\Omega(t) J_{\eta}^{\beta, \rho}\Pi(t)\ge J_{\eta}^{\alpha, \rho}Q_1(t)J_{\eta}^{\beta, \rho}\Pi(t)+ J_{\eta}^{\beta, \rho} R_1(t)J_{\eta}^{\alpha, \rho}\Omega(t).
Theorem 9.3. [28] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable function satisfying (H_1) and (H_2) and t > 0, \alpha, \beta, \rho > 0. Then:
\begin{eqnarray*} &&\Big|J_{\eta}^{\alpha,\rho}\Omega(t) \Pi(t)\Big\{\frac{(\eta(x_2,x_1+\eta(t,x_1))^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}-\frac{(\eta(x_2,x_1)^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}\Big\}\\ &&-J_{\eta}^{\alpha,\rho}\Omega(t) J_{\eta}^{\alpha,\rho}\Pi(t)\Big|\\ &\le& \sqrt{T(\Omega, Q_1,Q_2)T(\Pi, R_1, R_2)}, \end{eqnarray*} |
where
\begin{eqnarray*} &&T(u,v,w)\\ & = &(J_{\eta}^{\alpha,\rho}w(t)-J_{\eta}^{\alpha,\rho}u(t))(J_{\eta}^{\alpha,\rho}u(t)-J_{\eta}^{\alpha,\rho}v(t))+J_{\eta}^{\alpha,\rho}v(t)u(t)\\ &&\times \Big\{\frac{(\eta(x_2,x_1+\eta(t,x_1))^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}-\frac{(\eta(x_2,x_1)^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}\Big\}\\ &&-J_{\eta}^{\alpha,\rho}v(t)J_{\eta}^{\alpha,\rho}u(t)\\ &&+J_{\eta}^{\alpha,\rho}w(t)\Big\{\frac{(\eta(x_2,x_1+\eta(t,x_1))^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}-\frac{(\eta(x_2,x_1)^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}\Big\}\\ &&-J_{\eta}^{\alpha,\rho}w(t)J_{\eta}^{\alpha,\rho}u(t)+J_{\eta}^{\alpha,\rho}v(t)J_{\eta}^{\alpha,\rho}w(t)\\ &&-J_{\eta}^{\alpha,\rho}v(t)w(t)\Big\{\frac{(\eta(x_2,x_1+\eta(t,x_1))^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}-\frac{(\eta(x_2,x_1)^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}\Big\}. \end{eqnarray*} |
The (k, s) -fractional conformable integral operator is defined as
Definition 9.2. [29] Let \Omega be an integrable function, \alpha\in \mathbb{C}, \Re(\alpha) > 0 and s > 0. The (k, s) -fractional conformable integral operator is defined as
\begin{align} I_{k}^{\alpha,s}\Omega(t) = \frac{s^{1-\frac{\alpha}{k}}}{k\Gamma_k(\alpha)}\int_{x_1}^t\Big[(t-x_1)^s-(x-x_1)^s\Big]^{\frac{\alpha}{k}-1}(x-x_1)^{s-1}\Omega(x)ds, \; \; t\in [x_1, x_2]. \end{align} |
Here, we present Grüss type inequalities involving the (k, s) -fractional conformable integral I_{k}^{\alpha, s} defined in Definition 9.2.
Theorem 9.4. [29] Assume that \Omega: [0, \infty)\to \mathbb{R} is an integrable function satisfying (H_1) and k, s, \alpha, \beta > 0. Then we have:
I_{k}^{\beta,s}Q_1(t)I_{k}^{\alpha,s}\Omega(t) +I_{k}^{\alpha,s}Q_2(t)I_{k}^{\beta,s}\Omega(t) \ge I_{k}^{\alpha,s}Q_2(t)I_{k}^{\beta,s}Q_1(t)+I_{k}^{\alpha,s}\Omega(t) I_{k}^{\beta,s}\Omega(t) . |
Theorem 9.5. [29] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable function satisfyingt (H_1) and (H_2) and k, s, \alpha, \beta > 0. Then we have:
(ⅰ). I_{k}^{\beta, s} R_1(t)I_{k}^{\alpha, s}\Omega(t) +I_{k}^{\alpha, s}Q_2(t)I_{k}^{\beta, s}\Pi(t)\ge I_{k}^{\beta, s} R_1(t)I_{k}^{\beta, s}Q_2(t)+I_{k}^{\alpha, s}\Omega(t) I_{k}^{\beta, s}\Pi(t).
(ⅱ). I_{k}^{\beta, s}Q_1(t)I_{k}^{\alpha, s}\Pi(t)+I_{k}^{\alpha, s} R_2(t)I_{k}^{\beta, s}\Omega(t) \ge I_{k}^{\beta, s}Q_1(t)I_{k}^{\beta, s} R_2(t)+I_{k}^{\alpha, s}\Pi(t)I_{k}^{\beta, s}\Omega(t).
(ⅲ). I_{k}^{\alpha, s}Q_2(t)I_{k}^{\beta, s} R_2(t)+I_{k}^{\alpha, s}\Omega(t) I_{k}^{\beta, s}\Pi(t)\ge I_{k}^{\alpha, s}Q_2(t)I_{k}^{\beta, s}\Pi(t)+I_{k}^{\beta, s} R_2(t)I_{k}^{\alpha, s}\Omega(t).
(ⅳ). I_{k}^{\alpha, s}Q_1(t)I_{k}^{\beta, s} R_1(t)+I_{k}^{\alpha, s}\Omega(t) I_{k}^{\beta, s}\Pi(t)\ge I_{k}^{\alpha, s}Q_1(t)I_{k}^{\beta, s}\Pi(t)+I_{k}^{\beta, s} R_1(t)I_{k}^{\alpha, s}\Omega(t).
Theorem 9.6. [29] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable function satisfyingt (H_1) and (H_2) and k, s, \alpha > 0. Then we have:
\Big|\frac{s^{-\frac{\alpha}{k}}(t-x_1)^{\frac{s\alpha}{k}}}{\Gamma_k(\alpha+k)}I_{k}^{\alpha,s}(\Omega(t) \Pi(t))-I_{k}^{\alpha,s}\Omega(t) I_{k}^{\alpha,s}\Pi(t)\Big|\ge \sqrt{T_k(\Omega, Q_1,Q_2)T_k(\Pi, R_1, R_2)}, |
where
\begin{eqnarray*} T_k(x,y,z)& = &(I_{k}^{\alpha,s}z(t)-I_{k}^{\alpha,s}x(t))(I_{k}^{\alpha,s}x(t)-I_{k}^{\alpha,s}y(t))\\ &&+\frac{s^{-\frac{\alpha}{k}}(t-x_1)^{\frac{s\alpha}{k}}}{\Gamma_k(\alpha+k)}I_{k}^{\alpha,s}(y(t)x(t))-I_{k}^{\alpha,s}y(t)I_{k}^{\alpha,s}x(t)\\ &&+\frac{s^{-\frac{\alpha}{k}}(t-x_1)^{\frac{s\alpha}{k}}}{\Gamma_k(\alpha+k)}I_{k}^{\alpha,s}(z(t)x(t))-I_{k}^{\alpha,s}z(t)I_{k}^{\alpha,s}x(t)\\ &&-\frac{s^{-\frac{\alpha}{k}}(t-x_1)^{\frac{s\alpha}{k}}}{\Gamma_k(\alpha+k)}I_{k}^{\alpha,s}(y(t)z(t))+I_{k}^{\alpha,s}y(t)I_{k}^{\alpha,s}z(t). \end{eqnarray*} |
Definition 9.3. [30] Let \lambda\in \mathbb{C}, \Re(\lambda) > 0. We define the left and right sided fractional conformable integral operators as
\begin{align} {}^{\lambda}_{x_1}J^{\mu}\Omega(x) = \frac{1}{\Gamma(\lambda)}\int_{x_1}^x\Big(\frac{(x-x_1)^{\mu}-(t-x_1)^{\mu}}{\mu}\Big)^{\lambda-1}\frac{\Omega(t) }{(t-x_1)^{1-\mu}}dt, \end{align} |
\begin{align} {}^{\lambda}_{x_2}J^{\mu}\Omega(x) = \frac{1}{\Gamma(\lambda)}\int_x^{x_2}\Big(\frac{(x_2-x)^{\mu}-(x_2-t)^{\mu}}{\mu}\Big)^{\lambda-1}\frac{\Omega(t) }{(x_2-t)^{1-\mu}}dt. \end{align} |
For the results in this section we consider x_1 = 0.
Theorem 9.7. [30] Suppose that \Omega: [0, \infty)\to \mathbb{R} is an integrable function satisfying (H_1). Then for x, \alpha, \beta > 0 we have:
{}^{\beta}J^{\mu}Q_1(t)\; {}^{\alpha}J^{\mu}\Omega(t) +{}^{\alpha}J^{\mu}Q_2(t)\; {}^{\beta}J^{\mu}\Omega(t) \ge {}^{\alpha}J^{\mu}Q_2(t)\; {}^{\beta}J^{\mu}Q_1(t)+{}^{\alpha}J^{\mu}\Omega(t) \; {}^{\beta}J^{\mu}\Omega(t). |
Theorem 9.8. [30] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). Then for x, \alpha, \beta > 0 we have:
(1) ^{\beta}J^{\mu} R_1(t)\; ^{\alpha}J^{\mu}\Omega(t) +^{\alpha}J^{\mu}Q_2(t)\; ^{\beta}J^{\mu}\Pi(t)\ge ^{\alpha}J^{\mu}Q_2(t)\; ^{\beta}J^{\mu} R_1(t)+^{\alpha}J^{\mu}\Omega(t) \; ^{\beta}J^{\mu}\Pi(t).
(2) ^{\beta}J^{\mu}Q_1(t)\; ^{\alpha}J^{\mu}\Pi(t)+^{\alpha}J^{\mu} R_2(t)\; ^{\beta}J^{\mu}\Omega(t) \ge ^{\alpha}J^{\mu}Q_1(t)\; ^{\beta}J^{\mu} R_2(t)+^{\alpha}J^{\mu}\Omega(t) \; ^{\beta}J^{\mu}\Pi(t).
(3) ^{\alpha}J^{\mu}Q_2(t)\; ^{\beta}J^{\mu} R_2(t)+^{\alpha}J^{\mu}\Omega(t) \; ^{\beta}J^{\mu}\Pi(t)\ge ^{\alpha}J^{\mu}Q_2(t)\; ^{\beta}J^{\mu}\Pi(t)+^{\beta}J^{\mu} R_2(t)\; ^{\alpha}J^{\mu}\Omega(t).
(4) ^{\alpha}J^{\mu}Q_1(t)\; ^{\beta}J^{\mu} R_1(t)+^{\alpha}J^{\mu}\Omega(t) \; ^{\beta}J^{\mu}\Pi(t)\ge ^{\alpha}J^{\mu}Q_1(t)\; ^{\beta}J^{\mu}\Pi(t)+^{\alpha}J^{\mu}\Omega(t) \; ^{\beta}J^{\mu} R_1(t).
Theorem 9.9. [30] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). Then for x, \alpha, \beta > 0 we have:
\Bigg|\frac{t^{\mu \alpha}}{\mu^{\alpha}\Gamma(\alpha+1)} {}^{\alpha}J^{\mu}\Omega(t) \Pi(t)-{}^{\alpha}J^{\mu}\Omega(t) \; {}^{\alpha}J^{\mu}\Pi(t)\Bigg|\le \sqrt{T(\Omega, Q_1, Q_2)T(\Pi, R_1 R_2)}, |
where
\begin{eqnarray*} T(y,z,w)& = &({}^{\alpha}J^{\mu}w(t)-{}^{\alpha}J^{\mu}y(t))({}^{\alpha}J^{\mu}y(t)-{}^{\alpha}J^{\mu}z(t))\\ &&+\frac{t^{\mu \alpha}}{\mu^{\alpha}\Gamma(\alpha+1)}{}^{\alpha}J^{\mu}z(t)y(t)-{}^{\alpha}J^{\mu}z(t)\; {}^{\alpha}J^{\mu}y(t)\\ &&+\frac{t^{\mu \alpha}}{\mu^{\alpha}\Gamma(\alpha+1)}{}^{\alpha}J^{\mu}w(t)y(t)-{}^{\alpha}J^{\mu}w(t)\; {}^{\alpha}J^{\mu}y(t)\\ &&+{}^{\alpha}J^{\mu}z(t)\; {}^{\alpha}J^{\mu}w(t)-\frac{t^{\mu \alpha}}{\mu^{\alpha}\Gamma(\alpha+1)}{}^{\alpha}J^{\mu}z(t)w(t). \end{eqnarray*} |
Definition 10.1. [31] The proportional fractional integrals, left- and right-sided, of a function \Omega of order \alpha and \sigma\in (0, 1] are defined by
\begin{align} I^{\alpha,\sigma}_{x_1}\Omega(t) = \frac{1}{\sigma^{ \alpha}\Gamma(\alpha)}\int_{x_1}^te^{\frac{\sigma-1}{\sigma}(t-s)}(t-s)^{\alpha-1} \Omega(s)ds, \end{align} |
and
\begin{align} I^{\alpha,\sigma}_{x_2}\Omega(t) = \frac{1}{\sigma^{\alpha}\Gamma(\alpha)}\int_t^{x_2}e^{\frac{\sigma-1}{\sigma}(s-t)}(s-t)^{\alpha-1} \Omega(s)ds , \end{align} |
where \alpha\in \mathbb{C}, \Re(\alpha) > 0.
In what follows, we present Grüss-type inequality with the help of the proportional fractional integral defined above.
Theorem 10.1. [31] Assume that \Omega: [0, \infty)\to \mathbb{R} is an integrable function satisfying (H_1). Then:
I^{\beta,\sigma}Q_1(t)I^{\alpha,\sigma}\Omega(t) +I^{\alpha,\sigma}Q_2(t)I^{\beta,\sigma}\Omega(t) \ge I^{\alpha,\sigma}Q_2(t)I^{\beta,\sigma}Q_1(t)+I^{\beta,\sigma}\Omega(t) I^{\beta,\sigma}\Omega(t) . |
Theorem 10.2. [31] Let \sigma\in (0, 1]. Suppose that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). Then the following inequalities hold:
(a) I^{\beta, \sigma} R_1(t)I^{\alpha, \sigma}\Omega(t) +I^{\alpha, \sigma}Q_2(t)I^{\beta, \sigma}\Pi(t)\ge I^{\beta, \sigma} R_1(t)I^{\alpha, \sigma}Q_2(t)+I^{\alpha, \sigma}\Omega(t) I^{\beta, \sigma}\Pi(t).
(b) I^{\beta, \sigma}Q_1(t)I^{\alpha, \sigma}\Pi(t)+I^{\alpha, \sigma} R_2(t)I^{\beta, \sigma}\Omega(t) \ge I^{\beta, \sigma}Q_1(t)I^{\alpha, \sigma} R_2(t)+I^{\beta, \sigma}\Omega(t) I^{\alpha, \sigma}\Pi(t).
(c) I^{\alpha, \sigma}Q_2(t)I^{\beta, \sigma} R_2(t)+I^{\alpha, \sigma}\Omega(t) I^{\beta, \sigma}\Pi(t)\ge I^{\alpha, \sigma}Q_2(t)I^{\beta, \sigma}\Pi(t)+I^{\beta, \sigma} R_2(t)I^{\alpha, \sigma}\Omega(t).
(d) I^{\alpha, \sigma}Q_1(t)I^{\beta, \sigma} R_1(t)+I^{\alpha, \sigma}\Omega(t) I^{\beta, \sigma}\Pi(t)\ge I^{\alpha, \sigma}Q_1(t)I^{\beta, \sigma}\Pi(t)+I^{\beta, \sigma} R_1(t)I^{\alpha, \sigma}\Omega(t).
Theorem 10.3. [31] Let x > 0, \alpha, \beta > 0, and p, q > 1 satisfying \frac{1}{p} + \frac{1}{q} = 1, and \Omega, \Pi: [0, \infty)\to \mathbb{R} be two positive integrable functions. Then we have:
\begin{eqnarray*} (i)\; \; \; &&\frac{1}{p}J_{0+}^{\alpha,\sigma}\Omega^p(x)\; J_{0+}^{\beta,\sigma}\Pi^p(x)+\frac{1}{q}J_{0+}^{\alpha,\sigma}\Pi^q(x)\; J_{0+}^{\beta,\sigma}\Omega^q(x)\\ &\ge& \Big(J_{0+}^{\alpha,\sigma}\Omega(x)\Pi(x)\Big)\Big(J_{0+}^{\beta,\sigma}\Omega(x)\Pi(x)\Big).\\[0.3cm] (ii)\; \; \; &&\frac{1}{p}J_{0+}^{\beta,\sigma}\Pi^q(x)\; J_{0+}^{\alpha,\sigma}\Omega^p(x)+\frac{1}{q}J_{0+}^{\beta,\sigma}\Omega^p(x)\; J_{0+}^{\alpha,\sigma}\Pi^q(x)\\ &\ge& \Big(J_{0+}^{\beta,\sigma}\Omega^{p-1}\Pi^{q-1}(x)\Big)\Big(J_{0+}^{\alpha,\sigma}\Omega(x) \Pi(x)\Big).\\[0.3cm] (iii)\; \; \; &&\frac{1}{p}J_{0+}^{\beta,\sigma}\Pi^2(x)\; J_{0+}^{\alpha,\sigma}\Omega^p(x)+\frac{1}{q}J_{0+}^{\beta,\sigma}\Omega^2(x)\; J_{0+}^{\alpha,\sigma}\Pi^q(x)\\ &\ge& \Big(J_{0+}^{\beta,\sigma}\Omega^{2/q}(x)\Pi^{2/p}(x)\Big)\Big(J_{0+}^{\alpha,\sigma}\Omega(x)\Pi(x)\Big).\\[0.3cm] (iv)\; \; \; &&\frac{1}{p}J_{0+}^{\beta,\sigma}\Pi^q(x)\; J_{0+}^{\alpha,\sigma}\Omega^2(x)+\frac{1}{q}J_{0+}^{\beta,\sigma}\Omega^p(x)\; J_{0+}^{\alpha,\sigma}\Pi^2(x)\\ &\ge& \Big(J_{0+}^{\beta,\sigma}\Omega^{p-1}(x)\Pi^{q-1}(x)\Big)\Big(J_{0+}^{\alpha,\sigma}\Omega^{2/p}(x)\Pi^{2/p}(x)\Big). \end{eqnarray*} |
Theorem 10.4. [31] Let the assumptions of Theorem 10.1 be hold. In addition, let
\mu = \min\limits_{0\le t\le x}\frac{\Omega(t) }{\Pi(t)}\; \; \; and\; \; \; \mathcal{M} = \max\limits_{0\le t\le x}\frac{\Omega(t) }{\Pi(t)}. |
Then, we have:
\begin{eqnarray*} (a)\; \; \; 0&\le&\Big(J_{0+}^{\alpha,\sigma}\Omega^2(x)\; J_{0+}^{\alpha,\sigma}\Pi^2(x)\Big)\le \frac{(\mathcal{M}+\mu)^2}{4\mu\mathcal{M}}\Big(J_{0+}^{\alpha,\sigma}\Omega(x) \Pi(x)\Big)^2.\\[0.3cm] (b)\; \; \; 0&\le&\sqrt{J_{0+}^{\alpha,\sigma}\Omega^2(x)\; J_{0+}^{\alpha,\sigma}\Pi^2(x)}-\Big(J_{0+}^{\alpha,\sigma}\Omega(x)\Pi(x)\Big)\\ &\le&\frac{(\sqrt{\mathcal{M}}-\sqrt{\mu})^2}{2\sqrt{\mu\mathcal{M}}}\Big(J_{0+}^{\alpha,\sigma}\Omega(x) \Pi(x)\Big).\\[0.3cm] (c)\; \; \; 0&\le&J_{0+}^{\alpha,\sigma}\Omega^2(x)\; J_{0+}^{\alpha,\sigma}\Pi^2(x)-\Big(J_{0+}^{\alpha,\sigma}\Omega(x) \Pi(x)\Big)^2\\ &\le&\frac{(\mathcal{M}-\mu)^2}{4\mu\mathcal{M}}\Big(J_{0+}^{\alpha,\sigma}\Omega(x) \Pi(x)\Big)^2. \end{eqnarray*} |
Definition 10.2. [32] Assume that \Omega is integrable and \psi is a strictly increasing continuous function on [x_1, x_2]. For \sigma\in (0, 1], \alpha\in \mathbb{C}, \Re(\alpha)\ge 0, k\in \mathbb{R}^+, we define the left- and right-sided proportional k -fractional integrals, respectively, as
\begin{align} {}^{k,\psi}I^{\alpha,\sigma}_{x_1}\Omega(t) = \frac{1}{\sigma^{\frac{\alpha}{k}}k\Gamma_k(\alpha)}\int_{x_1}^te^{\frac{\sigma-1}{\sigma}(\psi(t)-\psi(s))}(\psi(t)-\psi(s))^{\frac{\alpha}{k}-1}\psi'(s)\Omega(s)ds, \end{align} |
and
\begin{align} {}^{k,\psi}I^{\alpha,\sigma}_{x_2}\Omega(t) = \frac{1}{\sigma^{\frac{\alpha}{k}}k\Gamma_k(\alpha)}\int_t^{x_2}e^{\frac{\sigma-1}{\sigma}(\psi(s)-\psi(t))}(\psi(s)-\psi(t))^{\frac{\alpha}{k}-1}\psi'(s)\Omega(s)ds. \end{align} |
In what follows, we present Grüss-type inequality with the help of the generalized k -fractional integral.
Theorem 10.5. [32] Let \Omega, \Pi:[0, \infty)\to \mathbb{R} be positive integrable functions. satisfying (H_1), (H_2) with positive integrable functions Q_1, Q_2, R_1, R_2 and \psi be a strictly increasing continuous function. Tthen the following inequality also holds:
\begin{eqnarray*} &&\Bigg|\frac{\frac{1}{\alpha}[\psi(t)-\psi(0))^{\frac{\alpha}{k}}}{\sigma^{\frac{\alpha}{k}}\Gamma_k(\alpha)}{}^{k,\psi}I^{\alpha,\sigma}\Omega(t) \Pi(t)-{}^{k,\psi}I^{\alpha,\sigma}\Omega(t) \; {}^{k,\psi}I^{\alpha,\sigma}\Pi(t)\Bigg|\\ &\le&\sqrt{T(\Omega, Q_1,Q_2)(t)T(\Pi, R_1, R_2)(t)}, \end{eqnarray*} |
where
T(u,v,w)(t) = \frac{\frac{1}{\alpha}[\psi(t)-\psi(0))^{\frac{\alpha}{k}}}{4\sigma^{\frac{\alpha}{k}}\Gamma_k(\alpha)}\frac{\Big({}^{k,\psi}I^{\alpha,\sigma}\{(v+w)u\}(t)\Big)^2}{{}^{k,\psi}I^{\alpha,\sigma}\Omega(t) \Pi(t)}-\Big({}^{k,\psi}I^{\alpha,\sigma}(u)(t)\Big)^2. |
Definition 11.1. A function \Omega is said to be L_{p, s}[x_1, x_2] if
\begin{align} \Big(\int_{x_1}^{x_2}|\Omega(t) |^pt^s dt\Big)^{1/p} < \infty, \; \; 1\le p < \infty, \; \; s\ge 0. \end{align} |
Definition 11.2. [33] Let \Omega\in L_{1, s}[0, \infty). The Riemann-Liouville generalized fractional integral of \Omega of order \alpha > 0 and s\ge 0 is defined by
\begin{align} I^{\alpha,s}\Omega(t) = \frac{(s+1)^{1- \alpha}}{\Gamma(\alpha)}\int_{x_1}^t(t^{s+1}-\tau^{s+1})^{\alpha-1}\tau^s\Omega(\tau)d\tau, \; \; t\in [x_1, x_2]. \end{align} |
In this section, we present some Grüss type inequalities via the fractional integral defined in Definition 11.2.
Theorem 11.1. [34] Let \Omega\in L_{1, s}[x_1, x_2] satisfying (H_1) and k > 0, s\ge 0, \alpha, \beta > 0. Then we have the following inequality:
I^{\beta,s}Q_1(t)I^{\alpha,s}\Omega(t) +I^{\alpha,s}Q_2(t)I^{\beta,s}\Omega(t) \ge I^{\alpha,s}Q_2(t)I^{\beta,s}Q_1(t)+I^{\alpha,s}\Omega(t) I^{\beta,s}\Omega(t) . |
Theorem 11.2. [34] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2) and k > 0, s\ge 0, \alpha, \beta > 0. Then we have the following inequalities:
(ⅰ) I^{\beta, s} R_1(t)I^{\alpha, s}\Omega(t) +I^{\alpha, s}Q_2(t)I^{\beta, s}\Pi(t)\ge I^{\beta, s} R_1(t)I^{\alpha, s}Q_2(t)+I^{\alpha, s}\Omega(t) I^{\beta, s}\Pi(t).
(ⅱ) I^{\beta, s}Q_1(t)I^{\alpha, s}\Pi(t)+I^{\alpha, s} R_2(t)I^{\beta, s}\Omega(t) \ge I^{\beta, s}Q_1(t)I^{\alpha, s} R_2(t)+I^{\alpha, s}\Pi(t)I^{\beta, s}\Omega(t).
(ⅲ) I^{\alpha, s}Q_2(t)I^{\beta, s} R_2(t)+I^{\alpha, s}\Omega(t) I^{\beta, s}\Pi(t)\ge I^{\alpha, s}Q_2(t)I^{\beta, s}\Pi(t)+I^{\beta, s} R_2(t)I^{\alpha, s}\Omega(t).
(ⅳ) I^{\alpha, s}Q_1(t)I^{\beta, s} R_1(t)+I^{\alpha, s}\Omega(t) I^{\beta, s}\Pi(t)\ge I^{\alpha, s}Q_1(t)I^{\beta, s}\Pi(t)+I^{\beta, s} R_1(t)I^{\alpha, s}\Omega(t).
Theorem 11.3. [35] Under the assumptions of Theorem 11.2 we have for all t\in [x_1, x_2], s\ge 0 and \alpha > 0
\Bigg|\frac{(s+1)^{- \alpha}t^{(s+1) \alpha}}{\Gamma(\alpha+1)}I^{\alpha,s}\Omega(t) \Pi(t)-I^{\alpha,s}\Omega(t) I^{\alpha,s}\Pi(t)\Bigg|\le \sqrt{T(\Omega, Q_1,Q_1)T(\Pi, R_1, R_2)}, |
where
\begin{eqnarray*} T(x,y,z)& = &(I^{\alpha,s}z(t)-I^{\alpha,s}x(t))(I^{\alpha,s}x(t)-I^{\alpha,s}y(t))\\ &&+\frac{(s+1)^{- \alpha}t^{(s+1) \alpha}}{\Gamma(\alpha+1)}I^{\alpha,s}y(t)x(t)-I^{\alpha,s}y(t)I^{\alpha,s}x(t)\\ &&+\frac{(s+1)^{- \alpha}t^{(s+1) \alpha}}{\Gamma(\alpha+1)}I^{\alpha,s}z(t)x(t)-I^{\alpha,s}z(t)I^{\alpha,s}x(t)\\ &&-\frac{(s+1)^{- \alpha}t^{(s+1) \alpha}}{\Gamma(\alpha+1)}I^{\alpha,s}y(t)z(t)+I^{\alpha,s}y(t)I^{\alpha,s}x(t). \end{eqnarray*} |
Now we define (k, s) -Riemann-Liouville fractional integral.
Definition 11.3. [33] Let \Omega: [x_1, x_2]\to \mathbb{R} be a continuous function. Then (k, s) -Riemann-Liouville fractional integral of \Omega of order \alpha > 0 is defined by
\begin{align} J_{x_1,k}^{\alpha,s}\Omega(t) = \frac{(s+1)^{1-\frac{\alpha}{k}}}{k\Gamma_k(\alpha)}\int_{x_1}^t(t^{s+1}-\tau^{s+1})^{\frac{\alpha}{k}-1}\tau^s\Omega(\tau)d\tau, \; \; t\in [x_1, x_2],\end{align} |
where k > 0, s\in \mathbb{R}\setminus\{-1\}.
Now, for the generalized (k, s) -Riemann-Liouville fractional integral defined above, we give some Grüss type inequalities.
Theorem 11.4. [35] Let \Omega\in L_{1, s}[x_1, x_2] satisfying (H_1) and k > 0, s\ge 0, \alpha, \beta > 0. Then we have the following inequality:
J_{x_1,k}^{\beta,s}Q_1(t)J_{x_1,k}^{\alpha,s}\Omega(t) +J_{x_1,k}^{\alpha,s}Q_2(t)\Omega(t) \ge J_{x_1,k}^{\alpha,s}Q_2(t)J_{x_1,k}^{\beta,s}Q_1(t)+J_{x_1,k}^{\alpha,s}\Omega(t) J_{x_1,k}^{\beta,s}\Omega(t) . |
Theorem 11.5. [35] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2) and k > 0, s\ge 0, \alpha, \beta > 0. Then we have:
(ⅰ) J_{x_1, k}^{\beta, s} R_1(t)J_{x_1, k}^{\alpha, s}\Omega(t) +J_{x_1, k}^{\alpha, s}Q_2(t)J_{x_1, k}^{\beta, s}\Pi(t)\ge J_{x_1, k}^{\beta, s} R_1(t)J_{x_1, k}^{\alpha, s}Q_2(t)+J_{x_1, k}^{\alpha, s}\Omega(t) J_{x_1, k}^{\beta, s}\Pi(t).
(ⅱ) J_{x_1, k}^{\beta, s}Q_1(t)J_{x_1, k}^{\alpha, s}\Pi(t)+J_{x_1, k}^{\alpha, s} R_2(t)J_{x_1, k}^{\beta, s}\Omega(t) \ge J_{x_1, k}^{\beta, s}Q_1(t)J_{x_1, k}^{\alpha, s} R_2(t)+J_{x_1, k}^{\alpha, s}\Pi(t)J_{x_1, k}^{\beta, s}\Omega(t).
(ⅲ) J_{x_1, k}^{\alpha, s}Q_2(t)J_{x_1, k}^{\beta, s} R_2(t)+J_{x_1, k}^{\alpha, s}\Omega(t) J_{x_1, k}^{\beta, s}\Pi(t)\ge J_{x_1, k}^{\alpha, s}Q_2(t)J_{x_1, k}^{\beta, s}\Pi(t)+J_{x_1, k}^{\beta, s} R_2(t)J_{x_1, k}^{\alpha, s}\Omega(t).
(ⅳ) J_{x_1, k}^{\alpha, s}Q_1(t)J_{x_1, k}^{\beta, s} R_1(t)+J_{x_1, k}^{\alpha, s}\Omega(t) J_{x_1, k}^{\beta, s}\Pi(t)\ge J_{x_1, k}^{\alpha, s}Q_1(t)J_{x_1, k}^{\beta, s}\Pi(t)+J_{x_1, k}^{\beta, s} R_1(t)J_{x_1, k}^{\alpha, s}\Omega(t).
Theorem 11.6. [35] Under the assumptions of Theorem 11.5 we have for all t\in [x_1, x_2], s\ge 0 and \alpha > 0
\Bigg|\frac{(s+1)^{-\frac{\alpha}{k}}t^{(s+1)\frac{\alpha}{k}}}{\Gamma_k(\alpha+k)}J_{x_1,k}^{\alpha,s}\Omega(t) \Pi(t)-J_{x_1,k}^{\alpha,s}\Omega(t) J_{x_1,k}^{\alpha,s}\Pi(t)\Bigg|\le \sqrt{T_k^s(\Omega,Q_1,Q_1)T_k^s(\Pi, R_1, R_2)}, |
where
\begin{eqnarray*} T_k^s(x,y,z)& = &(J_{x_1,k}^{\alpha,s}z(t)-J_{x_1,k}^{\alpha,s}x(t))(J_{x_1,k}^{\alpha,s}x(t)-J_{x_1,k}^{\alpha,s}y(t))\\ &&+\frac{(s+1)^{-\frac{\alpha}{k}}t^{(s+1)\frac{\alpha}{k}}}{\Gamma_k(\alpha+k)}J_{x_1,k}^{\alpha,s}y(t)x(t)-J_{x_1,k}^{\alpha,s}y(t)J_{x_1,k}^{\alpha,s}x(t)\\ &&+\frac{(s+1)^{-\frac{\alpha}{k}}t^{(s+1)\frac{\alpha}{k}}}{\Gamma_k(\alpha+k)}J_{x_1,k}^{\alpha,s}z(t)x(t)-J_{x_1,k}^{\alpha,s}z(t)J_{x_1,k}^{\alpha,s}x(t)\\ &&-\frac{(s+1)^{-\frac{\alpha}{k}}t^{(s+1)\frac{\alpha}{k}}}{\Gamma_k(\alpha+k)}J_{x_1,k}^{\alpha,s}y(t)z(t)+J_{x_1,k}^{\alpha,s}y(t)J_{x_1,k}^{\alpha,s}x(t). \end{eqnarray*} |
In this section, we present the Grüss-type fractional integral inequalities involving the Caputo-Fabrizio fractional integral.
Definition 12.1. [36] Assume that \alpha\in \mathbb{R} such that 0 < \alpha < 1. We define the Caputo-Fabrizio fractional integral of a function \Omega of order \alpha by
\begin{align} I_{0,t}^{\alpha}\Omega(t) = \frac{1}{\alpha}\int_0^t e^{-\big(\frac{1-\alpha}{\alpha}\big)(t-s)}\Omega(s)ds . \end{align} |
Theorem 12.1. [37] Assume that \Omega: [0, \infty)\to \mathbb{R} is an integrable function satisfying (H_1). Then, for t > 0 , \alpha, \beta > 0 , k > 0 , we have:
\begin{equation*} I_{0,t}^{\beta}Q_{1}(t) I_{0,t}^{\alpha}\Omega(t) +\ I_{0,t}^{\alpha}Q_{2}(t) I_{0,t}^{\beta}\Omega(t) \geq \ I_{0,t}^{\alpha}Q_{2}(t) I_{0,t}^{\beta}Q_{1}(t) +\ I_{0,t}^{\alpha}\Omega(t) I_{0,t}^{\beta}\Omega(t) . \end{equation*} |
Theorem 12.2. [37] Suppose that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). Then, for t > 0 , \alpha , \beta > 0 , k > 0 we have the inequalities:
(a) I_{0, t}^{\beta}R_{1}(t)\ I_{0, t}^{\alpha}\Omega(t) +\ I_{0, t}^{\alpha}Q_{2}(t)\ I_{0, t}^{\beta}\Pi(t)\geq \ I_{0, t}^{\beta}R _{1}(t)\ I_{0, t}^{\alpha}Q_{2}(t)+\ I_{0, t}^{\alpha}\Omega(t) \ I_{0, t}^{\beta}\Pi(t).
(b) I_{0, t}^{\beta}Q_{1}(t)\ I_{0, t}^{\alpha}\Pi(t)+\ I_{0, t}^{\alpha}R_{2}(t)\ I_{0, t}^{\beta}\Omega(t) \geq \ I_{0, t}^{\beta}Q _{1}(t)\ I_{0, t}^{\alpha}R_{2}(t)+\ I_{0, t}^{\beta}\Omega(t) \ I_{0, t}^{\alpha}\Pi(t).
(c) I_{0, t}^{\alpha}Q_{2}(t)_{\ k} I_{0, t}^{\beta}R _{2}(t)+\ I_{0, t}^{\alpha}\Omega(t) \ I_{0, t}^{\beta}\Pi(t)\geq \ I_{0, t}^{\alpha}Q_{2}(t)\ I_{0, t}^{\beta}\Pi(t)+\ I_{0, t}^{\beta}R_{2}(t)\ I_{0, t}^{\alpha}\Omega(t).
(d) I_{0, t}^{\alpha}Q_{1}(t) I_{0, t}^{\beta}R _{1}(t)+\ I_{0, t}^{\alpha}\Omega(t) \ I_{0, t}^{\beta}\Pi(t)\geq \ I_{0, t}^{\alpha}Q_{1}(t)\ I_{0, t}^{\beta}\Pi(t)+\ I_{0, t}^{\beta}R_{1}(t)\ I_{0, t}^{\alpha}\Omega(t).
Theorem 12.3. [37] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_{1}) and (H_{2}). Then for all t > 0 , \alpha > 0 , we have:
\begin{equation*} \left\vert \Big(\frac{1}{1-\alpha}\Big[1-e^{-\big(\frac{1-\alpha}{\alpha}\big)t}\Big]\Big)\ I_{0,t}^{\alpha}\Omega(t) \Pi(t)-\ I_{0,t}^{\alpha}\Omega(t) \ I_{0,t}^{\alpha}\Pi(t)\right\vert \leq \sqrt{T(\Omega, Q_{1},Q_{2})T(\Pi, R_{1},R_{2})}, \end{equation*} |
where
\begin{eqnarray*} T(y,z,w)& = &\left( \ I_{0,t}^{\alpha}w(t)-\ J^{\alpha }y(t)\right) \left( \ I_{0,t}^{\alpha}y(t)-\ I_{0,t}^{\alpha}z(t)\right)\\ && +\Big(\frac{1}{1-\alpha}\Big[1-e^{-\big(\frac{1-\alpha}{\alpha}\big)t}\Big]\Big) I_{0,t}^{\alpha}z(t)y(t)- I_{0,t}^{\alpha}z(t)\ I_{0,t}^{\alpha}y(t) \\ && +\Big(\frac{1}{1-\alpha}\Big[1-e^{-\big(\frac{1-\alpha}{\alpha}\big)t}\Big]\Big) I_{0,t}^{\alpha}w(t)y(t)- I_{0,t}^{\alpha}w(t)\ I_{0,t}^{\alpha}y(t) \\ && + I_{0,t}^{\alpha}z(t)\ I_{0,t}^{\alpha}w(t)+\Big(\frac{1}{1-\alpha}\Big[1-e^{-\big(\frac{1-\alpha}{\alpha}\big)t}\Big]\Big) I_{0,t}^{\alpha}z(t)w(t). \end{eqnarray*} |
In this section, Grüss-type fractional integral inequalities are presented via Saigo fractional integer operator.
Definition 13.1. [38] Assume that \alpha > 0, \beta, \eta\in \mathbb{R}. The Saigo fractional integral I_{0, x}^{\alpha, \beta, \eta}[\Omega(x)] of order \alpha for a real-valued continuous function \Omega is defined by
\begin{align} I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)] = \frac{x^{-\alpha-\beta}}{\Gamma(\alpha)}\int_0^x(x-t)^{\alpha-1}\; {}_{2}F_1\Big(\alpha+\beta, -\eta; \alpha; 1-\frac{t}{x}\Big)\Omega(t) dt,\end{align} |
where {}_{2}F_1 is the Gaussian hypergeometric function defined by
{}_{2}F_1(a,b;c;x) = \sum\limits_{n = 0}^{\infty}\frac{(a)_n(b)_nx^n}{(c)_n n!}, |
and (a)_n is the Pochhammer symbol
(a)_0 = 1, \; (a)_n = a(a+1)\cdots(a+n-1) = \frac{\Gamma(a+n)}{\Gamma(a)}. |
Theorem 13.1. [39] Assume that \Omega, \Pi:[0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). Then for all x > 0, \alpha > \max\{0, -\beta\}, \beta < 1, \beta-1 < \eta < 0, one has
\begin{eqnarray*} &&\Big|\frac{\Gamma(1-\beta+\eta)}{\Gamma(1-\beta)\Gamma(1+\alpha+\eta)x^{\beta}}I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)\Pi(x)]-I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]I_{0,x}^{\alpha,\beta,\eta}[\Pi(x)]\Big|\\ &\le&\sqrt{T(\Omega, Q_1(x),Q_2(x))T(\Pi, R_1(x), R_2(x))}, \end{eqnarray*} |
where
\begin{eqnarray*} T(a,b,c)& = &(I_{0,x}^{\alpha,\beta,\eta}[c(x)]-I_{0,x}^{\alpha,\beta,\eta}[a(x)])(I_{0,x}^{\alpha,\beta,\eta}[a(x)]-I_{0,x}^{\alpha,\beta,\eta}[b(x)])\\ &&+\frac{\Gamma(1-\beta+\eta)}{\Gamma(1-\beta)\Gamma(1+\alpha+\eta)x^{\beta}}I_{0,x}^{\alpha,\beta,\eta}[b(x)a(x)]-I_{0,x}^{\alpha,\beta,\eta}[b(x)]I_{0,x}^{\alpha,\beta,\eta}[a(x)]\\ &&+\frac{\Gamma(1-\beta+\eta)}{\Gamma(1-\beta)\Gamma(1+\alpha+\eta)x^{\beta}}I_{0,x}^{\alpha,\beta,\eta}[c(x)a(x)]-I_{0,x}^{\alpha,\beta,\eta}[c(x)]I_{0,x}^{\alpha,\beta,\eta}[a(x)]\\ &&+ I_{0,x}^{\alpha,\beta,\eta}[b(x)]I_{0,x}^{\alpha,\beta,\eta}[c(x)]+\frac{\Gamma(1-\beta+\eta)}{\Gamma(1-\beta)\Gamma(1+\alpha+\eta)x^{\beta}}I_{0,x}^{\alpha,\beta,\eta}[b(x)c(x)]. \end{eqnarray*} |
Theorem 13.2. [39] Suppose that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). Then for all x > 0, \alpha > \max\{0, -\beta\}, \psi > \max\{0-\phi\}, \beta < 1, \beta-1 < \eta < 0, \phi < 1, \phi-1 < \zeta < 0, we have:
\begin{eqnarray*} (a)\; \; &&I_{0,x}^{\psi,\phi,\zeta}[Q_1(x)]I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]+I_{0,x}^{\alpha,\beta,\eta}[Q_2(x)]I_{0,x}^{\psi,\phi,\zeta}[\Omega(x)]\\ &\ge&I_{0,x}^{\psi,\phi,\zeta}[Q_2(x)]I_{0,x}^{\alpha,\beta,\eta}[Q_1(x)]+I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]I_{0,x}^{\psi,\phi,\zeta}[\Omega(x)].\\[0.3cm] (b)\; \; &&I_{0,x}^{\psi,\phi,\zeta}[ R_1(x)]I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]+I_{0,x}^{\alpha,\beta,\eta}[Q_2(x)]I_{0,x}^{\psi,\phi,\zeta}[\Pi(x)]\\ &\ge&I_{0,x}^{\psi,\phi,\zeta}[ R_1(x)]I_{0,x}^{\alpha,\beta,\eta}[Q_2(x)]+I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]I_{0,x}^{\psi,\phi,\zeta}[\Pi(x)].\\[0.3cm] (c)\; \; &&I_{0,x}^{\psi,\phi,\zeta}[Q_1(x)]I_{0,x}^{\alpha,\beta,\eta}[\Pi(x)]+I_{0,x}^{\alpha,\beta,\eta}[ R_2(x)]I_{0,x}^{\psi,\phi,\zeta}[\Omega(x)]\\ &\ge&I_{0,x}^{\psi,\phi,\zeta}[Q_1(x)]I_{0,x}^{\alpha,\beta,\eta}[ R_2(x)]+I_{0,x}^{\psi,\phi,\zeta}[u\Omega(x)]I_{0,x}^{\alpha,\beta,\eta}[\Pi(x)].\\[0.3cm] (d)\; \; &&I_{0,x}^{\alpha,\beta,\eta}[Q_2(x)]I_{0,x}^{\psi,\phi,\zeta}[ R_2(x)]+I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]I_{0,x}^{\psi,\phi,\zeta}[\Pi(x)]\\ &\ge&I_{0,x}^{\alpha,\beta,\eta}[Q_2(x)]I_{0,x}^{\psi,\phi,\zeta}[\Pi(x)]+I_{0,x}^{\psi,\phi,\zeta}[ R_2(x)]I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)].\\[0.3cm] (e)\; \; &&I_{0,x}^{\alpha,\beta,\eta}[Q_1(x)]I_{0,x}^{\psi,\phi,\zeta}[ R_1(x)]+I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]I_{0,x}^{\psi,\phi,\zeta}[\Pi(x)]\\ &\ge&I_{0,x}^{\alpha,\beta,\eta}[Q_1(x)]I_{0,x}^{\psi,\phi,\zeta}[\Pi(x)]+I_{0,x}^{\psi,\phi,\zeta}[ R_1(x)]I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]. \end{eqnarray*} |
We define a fractional integral K^{\alpha, \beta, \eta} associated with the Gauss hypergeometric function as follows:
Definition 13.2. [40] Let \Omega\in C_{\mu}. For \alpha > \max\{0, -(\eta+1)\}, \eta-\beta > -1, \beta < 1, we define a fractional integral K^{\alpha, \beta, \eta}f as follows:
K^{\alpha,\beta,\eta}\Omega(t) = \frac{\Gamma(1-\beta)\Gamma(\alpha+\eta+1)}{\Gamma(\eta-\beta+1)}t^{\beta}I_{0+}^{\alpha,\beta,\eta}\Omega(t) , |
where I_{0+}^{\alpha, \beta, \eta}f is the right-hand sided Gauss hypergeometric fractional integral of order \alpha defined in Definition 13.1.
We present integral inequalities of Grüss type for the above defined hypergeometric fractional integral.
Theorem 13.3. [40] Let \Omega, \Pi\in C_{\mu} satisfying the condition (H) on [0, \infty). Then for all t > 0, \alpha > \max\{0, -(\eta+1)\}, \eta-\beta > -1, \beta < 1, we have
|K^{\alpha,\beta,\eta}\Omega(t) \Pi(t)-K^{\alpha,\beta,\eta}\Omega(t) K^{\alpha,\beta,\eta}\Pi(t)|\le \frac{1}{4}(\mathfrak{M}-\mathfrak{m})(\mathfrak{P}-\mathfrak{p}). |
Theorem 13.4. [40] Let \Omega and \Pi be two synchronous functions on [0, \infty). Then the following inequality holds:
K^{\alpha,\beta,\eta}\Omega(t) \Pi(t)\ge K^{\alpha,\beta,\eta}\Omega(t) K^{\alpha,\beta,\eta}\Pi(t). |
Another fractional integral operator K^{\alpha, \beta, \eta, \delta} associated with the Gauss hypergeometric function is defined as follows.
Definition 13.3. [41] Let \Omega\in C_{\mu}. For \alpha > \max\{0, -(\delta+\eta+1)\}, \eta-\beta > -1, \beta < 1, \delta > -1 we define a fractional integral K^{\alpha, \beta, \eta, \delta}\Omega as follows:
K^{\alpha,\beta,\eta,\delta}\Omega(t) = \frac{\Gamma(1-\beta)\Gamma(\alpha+\delta+\eta+1)}{\Gamma(\eta-\beta+1)\Gamma(\delta+1)}t^{\beta+\beta}I_{0+}^{\alpha,\beta,\eta, \delta}\Omega(t) , |
where I_{0+}^{\alpha, \beta, \eta, \delta}\Omega is the right-hand sided Gauss hypergeometric fractional integral of order \alpha defined by
\begin{align} I_{0,x}^{\alpha,\beta,\eta, \delta}[\Omega(x)] = \frac{x^{-\alpha-\beta-2\delta}}{\Gamma(\alpha)}\int_0^x t^{\delta}(x-t)^{\alpha-1}\; {}_{2}F_1\Big(\alpha+\beta+\delta, -\eta; \alpha; 1-\frac{t}{x}\Big)\Omega(t) dt,\end{align} |
and {}_{2}F_1 is the Gaussian hypergeometric function defined in Definition 13.1.
We establish two Grüss-type fractional integral inequalities involving the Gauss hypergeometric function.
Theorem 13.5. [41] Assume that \Omega, \Pi: [x_1, x_2]\to \mathbb{R} are two integrable functions satisfying the condition (H) on [0, \infty). Then, for all x\in [0, \infty), \alpha > 0, \delta > -1, and \beta, \eta\in \mathbb{R} with \alpha+\beta+\delta\ge 0 and \eta\le 0, we have:
|K^{\alpha,\beta,\eta;\delta}\Omega(t) \Pi(t)-K^{\alpha,\beta,\eta,\delta}\Omega(t) K^{\alpha,\beta,\eta,\delta}\Pi(t)|\le \frac{1}{4}(\mathfrak{M}-\mathfrak{m})(\mathfrak{P}-\mathfrak{p}). |
Theorem 13.6. [41] Suppose that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two synchronous functions (i.e (\Omega(t) -\Omega(s))(\Pi(t)-\Pi(s))\ge 0, \; t, s\in [0, \infty) ). Then, for all x\in [0, \infty), \alpha > 0, \delta > -1, and \beta, \eta\in \mathbb{R} with \alpha+\beta+\delta\ge 0 and \eta\le 0, we have:
K^{\alpha,\beta,\eta,\delta}\Omega(t) \Pi(t)\ge K^{\alpha,\beta,\eta,\delta}\Omega(t) K^{\alpha,\beta,\eta,\delta}\Pi(t). |
Now we give some Grüss-type inequalities for generalized hypergeometric function fractional order integral operators. We start with the following definitions.
Definition 13.4. [42] Let \alpha, \alpha', \beta, \beta', \gamma\in \mathbb{R} and \gamma > 0. Then the Saigo and Maeda fractional integral operator I_{t}^{\alpha, \alpha', \beta, \beta', \gamma}[\Omega(x)] of order \alpha for a real-valued continuous function \Omega is defined by
\begin{align} I_{t}^{\alpha,\alpha',\beta,\beta',\gamma}[\Omega(x)] = \frac{x^{-\alpha}}{\Gamma(\gamma)}\int_0^x(x-t)^{\gamma-1}t^{-\alpha'}\; F_3\Big(\alpha, \alpha', \beta,\beta', \gamma, 1-\frac{t}{x}, 1-\frac{x}{t}\Big)\Omega(t) dt,\end{align} |
where F_3 is the Appell hypergeometric function defined by
F_3(\alpha, \alpha', \beta,\beta', \gamma, x,y) = \sum\limits_{n = 0}^{\infty}\sum\limits_{n = 0}^{\infty}\frac{(\alpha)_n(\alpha')_n(\beta)_n(\beta')_n x^my^n}{(\gamma)_{m+n}m! n!}, \; \; \max\{|x|,|y|\} < 1, |
and (a)_n is the Pochhammer symbol.
Definition 13.5. [43] Assume that \alpha, \alpha', \beta, \beta', \gamma\in \mathbb{R} such that
\gamma > \max\{0, \alpha+\alpha'+\beta-1, \alpha+\alpha'-1,\alpha'+\beta-1\}\; \; and\; \; \beta' > \max\{-1,\alpha'-1\}. |
Then we define a fractional integral operator
(S_t^{\alpha, \alpha', \beta, \beta', \gamma}\Omega)(x) = \frac{\Gamma(1+\gamma-\alpha-\alpha')\Gamma(1+\gamma-\alpha'-\beta)\Gamma(1+\beta')}{\Gamma(1+\gamma-\alpha-\alpha'-\beta)\Gamma(1+\beta'-\alpha')}x^{\alpha+\alpha'-\gamma}(I_t^{\alpha, \alpha', \beta, \beta', \gamma}\Omega)(x), |
where I_t^{\alpha, \alpha', \beta, \beta', \gamma} is the Saigo-Maeda fractional integral of order \gamma.
The main results for Grüss inequalities are given now.
Theorem 13.7. [43] Assume that h: [0, \infty)\to \mathbb{R} is an integrable function satisfying the condition m_1\le h(x)\le M_1 for all x\in [0, \infty). Then for \alpha, \alpha', \beta, \beta', \gamma\in \mathbb{R} we have:
\begin{eqnarray*} && \Big|(S^{\alpha, \alpha', \beta, \beta', \gamma}_t h^2)(x)-\Big((S_t^{\alpha, \alpha', \beta, \beta', \gamma}h)(x)\Big)^2\\ & = &\Big(M_1-(S^{\alpha, \alpha', \beta, \beta', \gamma}_t h)(x)\Big)\Big((S^{\alpha, \alpha', \beta, \beta', \gamma}_t h)(x)-m\Big)(M_1-h)(h-m_1)(x), \end{eqnarray*} |
provided \alpha, \alpha', \beta, \beta', \gamma > 0.
Theorem 13.8. [43] Assume that (H) holds on [0, \infty). In addition, let \Omega, \Pi\in C_{\mu}. Then for \alpha, \alpha', \beta, \beta', \gamma\in \mathbb{R} and \alpha, \alpha', \beta, \beta', \gamma > 0 we have:
\begin{eqnarray*} \Big|(S^{\alpha, \alpha', \beta, \beta', \gamma}\Omega(x)\Pi(x)-(S^{\alpha, \alpha', \beta, \beta', \gamma}\Omega)(x)(S^{\alpha, \alpha', \beta, \beta', \gamma}\Pi)(x)\Big|\le \frac{1}{4} (\mathfrak{M}-\mathfrak{m})(\mathfrak{P}-\mathfrak{p}), \; \forall x\in [0,\infty). \end{eqnarray*} |
Theorem 13.9. [43] Let \Omega and \Pi be two synchronous functions on [0, \infty) and let v, w: [0, \infty) \to [0, \infty). Then for all t > 0,
\begin{eqnarray*} && \Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t v\Omega\Pi\Big)(x)\Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t w\Big)(x)+\Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t w\Omega\Pi\Big)(x) \Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t v\Big)(x)\\ &\ge&\Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t w\Pi\Big)(x)\Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t v\Omega\Big)(x)+\Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t w\Omega\Big)(x) \Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t v\Pi\Big)(x). \end{eqnarray*} |
In this section we present Grüss-type integral inequalities via quantum calculus.
Definition 14.1. [44] The Jakson's q -derivarive and q -integral of a function \Omega defined on J are, respectively, given by
D_q\Omega(t) = \frac{\Omega(t) -\Omega(tq)}{t(1-q)}, \; \; \; t\ne 0, \; \; q\ne 1, |
\begin{align} \int_0^t\Omega(s)d_qs = t(1-q)\sum\limits_{k = 0}^{\infty}q^k \Omega(tq^k). \end{align} |
Definition 14.2. [45] The Riemann-Liouville fractional q -integral operator of a function \Omega of order \alpha is given by
\begin{align} I_q^{\alpha}\Omega(t) = \frac{t^{\alpha-1}}{\Gamma_q(\alpha)}\int_0^t\Big(\frac{qs}{t}, q\Big)_{\alpha-1}\Omega(s)d_qs, \; \; \alpha > 0, \; \; 0 < q < 1,\end{align} |
where
(a,q)_{\alpha} = \frac{(a;q)_{\infty}}{(aq^{\alpha};q)_{\infty}}, \; \; \alpha\in \mathbb{R} |
and
(\alpha, q)_{\infty} = \prod\limits_{j = 0}^{\infty}(1-\alpha q^j). |
Now, we present some q -Grüss integral inequalities.
Theorem 14.1. [46] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfyingt (H_1) and (H_2). Then, for t > 0 and \alpha > 0, we have:
\Big|\frac{t^{\alpha}}{\Gamma_q(\alpha+1)}I_q^{\alpha}\Omega(t) \Pi(t)- I_q^{\alpha}\Omega(t) I_q^{\alpha} \Pi(t)\Big|\le \sqrt{T_q(\Omega,Q_1.Q_2)T_q(\Pi, R_1, R_2)}, |
where
\begin{eqnarray*} T_q(u,v,w)& = &(I_q^{\alpha}w(t)-I_q^{\alpha}u(t))(I_q^{\alpha}u(t)-I_q^{\alpha}v(t))+\frac{t^{\alpha}}{\Gamma_q(\alpha+1)}I_q^{\alpha}v(t)u(t)-I_q^{\alpha}v(t)I_q^{\alpha}u(t)\\ &&+I_q^{\alpha}v(t)I_q^{\alpha}w(t)-\frac{t^{\alpha}}{\Gamma_q(\alpha+1)}I_q^{\alpha}v(t)w(t). \end{eqnarray*} |
Definition 14.3. [47] Assume \Omega:J\rightarrow \mathbb{R} is a continuous function and let x\in J . Then the expression
\begin{equation*} \label{A2.1} _{x_1}D_{q}\Omega(x) = \frac{\Omega(x)-\Omega(qx+(1-q)x_1)}{(1-q)(x-x_1)}, \,\, t\ne x_1 , \quad _{x_1}D_{q}\Omega(x_1) = \lim\limits_{x\to x_1} {_{x_1}D_{q}}\Omega(x), \end{equation*} |
is called the q -derivative on J of function \Omega at x .
Definition 14.4. [47] Assume \Omega:J\rightarrow \mathbb{R} is a continuous function. Then the q -integral on J is defined by
\begin{align} \label{A2.4} \int_{x_1}^x\Omega(t) {_{x_1}d_{q}}t = (1-q)(x-x_1)\sum\limits_{n = 0}^{\infty}q^n\Omega(q^nx+(1-q^n)x_1) \end{align} |
for x\in J . Moreover, if c\in(a, x) then the definite q -integral on J is defined by
\begin{eqnarray*} \int_{c}^x\Omega(t) {_{x_1}d_{q}}t& = &\int_{x_1}^x\Omega(t) {_{x_1}d_{q}}t-\int_{x_1}^c\Omega(t) {_{x_1}d_{q}t}\\ & = &(1-q)(x-x_1)\sum\limits_{n = 0}^{\infty}q^n\Omega(q^nx+(1-q^n)x_1)\\ &&-(1-q)(c-x_1)\sum\limits_{n = 0}^{\infty}q^n\Omega(q^nc+(1-q^n)x_1). \end{eqnarray*} |
Theorem 14.2. [47] Assume \Omega, \Pi:J \rightarrow \mathbb{R} are continuous functions on J satisfying the vondition (H). Then we have the inequality
\begin{eqnarray*} &&\left|\frac{1}{x_2-x_1}\int_{x_1}^{x_2}\Omega(x)\Pi(x){_{x_1}d_q}x-\left(\frac{1}{x_2-x_1}\int_{x_1}^{x_2}\Omega(x){_{x_1}d_q}x\right)\left(\frac{1}{x_2-x_1}\int_{x_1}^{x_2}\Pi(x){_{x_1}d_q}x\right)\right|\nonumber\\ &&\; \leq\frac{1}{4}(\mathfrak{M}-\mathfrak{m})(\mathfrak{P}-\mathfrak{p}). \end{eqnarray*} |
Now, we are going to present the q -Grüss- \check{C} eby \check{s} ev integral inequality on interval [x_1, x_2] .
Theorem 14.3. [47] Let \Omega, \Pi:J \rightarrow \mathbb{R} be L_1 , L_2 -Lipschitzian continuous functions on [x_1, x_2] , so that
\begin{eqnarray*} |\Omega(u)-\Omega(v)|\leq L_1|u-v|, \qquad |\Pi(u)-\Pi(v)|\leq L_2|u-v|, \end{eqnarray*} |
for all u, v\in[x_1, x_2] . Then we have:
\begin{eqnarray*} &&\left|\frac{1}{x_2-x_1}\int_{x_1}^{x_2}\Omega(x)\Pi(x){_{x_1}d_q}x-\left(\frac{1}{x_2-x_1}\int_{x_1}^{x_2}\Omega(x){_{x_1}d_q}x\right)\left(\frac{1}{x_2-x_1}\int_{x_1}^{x_2}\Pi(x){_{x_1}d_q}x\right)\right|\nonumber\\ & \leq& \frac{qL_1L_2}{(1+q+q^2)(1+q)^2}(x_2-x_1)^2. \end{eqnarray*} |
Let q\in (0, 1) and let I be any interval of \mathbb{R} containing 0, and denote by I_q the set
I_q = qI = \{qX: X\in I\}; \; \; I_q\subseteq I. |
Definition 14.5. [44] Let \Omega:I\to \mathbb{R}. The q -symmetric difference operator of \Omega is defined by
(\tilde{D}_q\Omega)(t) = \frac{\Omega(qt)-\Omega(q^{-1}t)}{(q-q^{-1})t}; \; \; t\in I_q\setminus\{0\}, |
and
(\tilde{D}_q\Omega)(t) = \Omega'(0), \; t = 0. |
Definition 14.6. [44] Suppose that x_1, x_2\in I and x_1 < x_2. For \Omega: I\to \mathbb{R} and for q\in (0, 1), the q -symmetric integral of \Omega is given by
\begin{align} \int_{x_1}^{x_2} \Omega(t) \tilde{d}_qt = \int_0^{x_2}\Omega(t) \tilde{d}_qt-\int_0^{x_1}\Omega(t) \tilde{d}_qt, \end{align} |
where
\begin{align} \int_0^x\Omega(t) \tilde{d}_qt = x(1-q^2)\sum\limits_{n = 0}^{\infty}q^{2n}\Omega(q^{2n+1}x), \; \; x\in I, \end{align} |
provided that the series converges at x = x_1 and x = x_2.
Now, the concepts of q -symmetric derivative and q -symmetric integral are extended on finite intervals. We fix s\in \mathbb{N}\cup \{0\}. Let J_s = [t_s, t_{s+1}]\subset \mathbb{R} be an interval containing 0 and 0 < q_s < 1 be a constant. For a function \Omega: I_s\to \mathbb{R}, we define the q_s -symmetric derivative at a point t\in I_s as follows:
Definition 14.7. [48] Assume that \Omega: I_s\to \mathbb{R} is continuous and t\in I_s. The q_s -symmetric derivative of \Omega at t is defined as
(D_{q_s}\Omega)(t) = \frac{\Omega(q_s^{-1}t+(1-q_s^{-1})t_s)-\Omega(q_s t+(1-q_s)t_s)}{(q_s^{-1}-q_s)(t-t_s)}; \; \; t\ne t_s, |
(D_{q_s}\Omega)(t_s)\lim\limits_{t\to t_s}(D_{q_s}\Omega)(t). |
Definition 14.8. [48] Assume that \Omega: I_s\to \mathbb{R} is a continuous function. The q_s -symmetric integral is defined as
\begin{align} \int_{t_s}^t\Omega(s)d_{q_s}t = (t-t_s)(1-q_s^2)\sum\limits_{n = 0}^{\infty}q_s^{2n}\Omega(q_s^{2n+1} t+(1-q_s^{2n+1})t_s). \end{align} |
Now, we present q_s -symmetric analogue of Grüss-Chebyshev integral inequality.
Theorem 14.4. [48] Let \Omega and \Pi:J = [x_1, x_2]\to \mathbb{R} be L_1, L_2 -Lipschitzian continuous functions on [x_1, x_2] so that
|\Omega(u)-\Omega(v)|\le L_1|u-v|, \; \; \; |\Pi(u)-\Pi(v)|\le L_2|u-v|, |
for all u, v\in [x_1, x_2]. Then:
\begin{eqnarray*} &&\Big|\frac{1}{x_2-x_1}\int_{x_1}^{x_2} \Omega(x)\Pi(x)d_{q_s}x-\Big(\frac{1}{x_2-x_1}\int_{x_1}^{x_2} \Omega(x)d_{q_s}x\Big)\Big(\frac{1}{x_2-x_1}\int_{x_1}^{x_2} \Pi(x)d_{q_s}x\Big)\Big|\\ &\le&\frac{L_1L_2q_s^4(x_2-x_1)^2}{(1+q_s^2+q_s^4)(1+q_s^2)^2}. \end{eqnarray*} |
The following concepts are adapted by Ref. ([49]). We state a q -shifting operator as
{}_{x_1}\Phi_q(m) = qm+(1-q)x_1, \; \; \; 0 < q < 1, \; \; m,x_1\in \mathbb{R}. |
The q -analog is stated by
(m;q)_0 = 1, \; \; \; \; (m;q)_k = \prod\limits_{i = 1}^{k-1}(1-q^im), \; \; k\in \mathbb{N}\cup\{\infty\}. |
The q number is stated by
[m]_q = \frac{1-q^m}{1-q}, \; \; m\in \mathbb{R}. |
The q -Gamma function is stated by
\Gamma_q(t) = \frac{{}_{0}(1-{}_{0}\Phi_q(1))_q^{(t-1)}}{(1-q)^{t-1)}}, \; \; t\in \mathbb{R}\setminus\{0,-1,-2,\ldots\}. |
Here, we add some definitions regarding fractional q -calculus, namely the Riemann-Liouville fractional q -integral.
Definition 14.9. [49] Let \alpha\ge 0 and function \Omega be a continuous stated on [x_1, x_2]. Then (_{x_1}I^{0}_q\Omega)(t) = \Omega (t) is given by
\begin{eqnarray*} (_{x_1}I^{\alpha}_q \Omega)(t)& = &\frac{1}{\Gamma_q(\alpha)}\int_{x_1}^t{}_{x_1}(t-{}_{x_1}\Phi_q(s))^{\alpha-1}_{q}\Omega(s)\; _{x_1}d_qs\\ & = &\frac{(1-q)(t-x_1)}{\Gamma_q(\alpha)}\sum\limits_{i = 0}^{\infty}q^i\; {}_{x_1}(t-{}_{x_1}\Phi_q^{i+1}(t))^{\alpha-1}_{q}\Omega({}_{x_1}\Phi^{i}_{q}(t)). \end{eqnarray*} |
Now, we present the fractional q -Grüss integral inequality on the interval [x_1, x_2].
Theorem 14.5. [50] Let \Omega, \Pi: [x_1, x_2]\to \mathbb{R} be continuous functions satisfying (H). For 0 < q < 1 and \alpha > 0, we have the inequality
\begin{eqnarray*} &&\Big|\frac{\Gamma_q(\alpha+1)}{(x_2-x_1)^{\alpha}}({}_{x_1}I_q^{\alpha}\Omega(s)\Pi(s))(b)-\Big(\frac{\Gamma_q(\alpha+1)}{(x_2-x_1)^{\alpha}}({}_{x_1}I_q^{\alpha}\Omega(s))(b)\Big)\Big(\frac{\Gamma_q(\alpha+1)}{(x_2-x_1)^{\alpha}}({}_{x_1}I_q^{\alpha}\Pi(s))(b)\Big)\Big|\\ &\le&\frac{1}{4}(\mathfrak{M}-\mathfrak{m})(\mathfrak{P}-\mathfrak{p}). \end{eqnarray*} |
Next, we give the fractional q -Grüss-Čebyšev integral inequality on the interval [x_1, x_2].
Theorem 14.6. [50] Let \Omega, \Pi: [x_1, x_2]\to \mathbb{R} be L_1 -, L_2 -Lipschitzian continuous functions, so that
|\Omega(u)-\Omega(v)|\le L_1 |u-v|, \; \; \; \; \; |\Pi(u)-\Pi(v)|\le L_2 |u-v|, |
for all u, v\in [x_1, x_2], 0 < q < 1, L_1, L_2 > 0, and \alpha > 0. Then we have the inequality
\begin{eqnarray*} &&\Big|\frac{(x_2-x_1)^{\alpha}}{\Gamma_q(\alpha+1)}({}_{x_1}I_q^{\alpha}\Omega(s)\Pi(s))(x_2)-({}_{x_1}I_q^{\alpha}\Omega(s))(x_2)({}_{x_1}I_q^{\alpha}\Pi(s))(x_2)\Big|\\ &\le&\frac{L_1L_2(x_2-x_1)^{2\alpha+2}}{\Gamma_q(\alpha+2)\Gamma_q(\alpha+3)}\Big((1+q)[\alpha+1]_q-[\alpha+2]_q\Big). \end{eqnarray*} |
In this section we give Grüss-type integral inequalities via fractional Hilfer derivative operators.
In this section we present several integral inequalities for the k -Hilfer fractional derivative operator.
Definition 15.1. [51] Let \Omega\in L^1[x_1, x_2], \Omega\star K_{(1-\eta)(\eta-\xi)}\in AC^n[x_1, x_2], n-1 < \xi < n, 0 < \eta\le 1, n\in \mathbb{N}. Then the following
({}^{k}D^{\xi,\eta}_{x_1+}\Omega)(x) = I^{\eta(n-\xi)}_{x_1+,k}\frac{d^n}{dx^n}(I^{(1-\eta)(n-\xi)}_{x_1+,k} \Omega(x)), |
is called the Hiler k -fractional derivative.
Theorem 15.1. [51] Let k > 0 and (D^{\xi+\eta(n-\xi)}_{x_1+, k}\Pi) be a positive function on [0, \infty), and let ({}^{k}D^{\xi, \eta}_{x_1+}\Omega) denote the Hilfer k -fractional derivative of order \xi, 0 < \xi < 1, and type 0 < \eta\le 1. Suppose that:
There exist (D^{\xi+\eta(n-\xi)}_{x_1+, k} R_1), (D^{\xi+\eta(n-\xi)}_{x_1+, k} R_2) such that
(D^{\xi+\eta(n-\xi)}_{x_1+,k} R_1)(\xi)\le (D^{\xi+\eta(n-\xi)}_{x_1+,k}\Pi)(\xi)\le (D^{\xi+\eta(n-\xi)}_{x_1+,k} R_2)(\xi), |
for all \xi\in [0, \infty).
Then
\begin{eqnarray*} &&({}^{k}D^{\xi,\eta}_{x_1+} R_1)(\xi)({}^{k}D^{\xi,\eta}_{x_1+}\Pi)(\xi)+({}^{k}D^{\xi,\eta}_{x_1+} R_2)(\xi)({}^{k}D^{\xi,\eta}_{x_1+}\Pi)(\xi)\\ &\ge&({}^{k}D^{\xi,\eta}_{x_1+} R_1)(\xi)({}^{k}D^{\xi,\eta}_{x_1+} R_2)(\xi)+({}^{k}D^{\xi,\eta}_{x_1+}\Pi)(\xi)({}^{k}D^{\xi,\eta}_{x_1+}\Pi)(\xi). \end{eqnarray*} |
In this section, we present inequalities of the Grüss-type via k -fractional Hilfer-Katugampola generalized derivative.
Definition 15.2. [52] Let n-1 < \alpha\le n, 0\le \beta\le 1, n\in \mathbb{N}, \rho > 0, k > 0 and \Omega\in M_q[x_1, x_2] = \Big\{\Omega: \|\Omega_q\| = \Big(\int_{x_1}^{x_2}|\Omega(t) |^qdt\Big)^{1/q} < \infty\Big\}, 1 < q < \infty. The generalized k -fractional Hilfer-Katugampola derivatives (left-sided and right-sided) are defined as
\begin{align} \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) = \frac{\rho^{1-\frac{\gamma-\alpha}{k}}}{k\Gamma_k(\gamma-\alpha)}\int_{x_1}^t(t^{\rho}-y^{\rho})^{\frac{\gamma-\alpha}{k}-1}y^{\rho-1}\Omega^{(\gamma)}(y)dy,\; \; t > x_1, \end{align} |
\begin{align} \mathcal{D}^{\alpha, \gamma, \rho}_{x_2,k}\Omega(t) = \frac{\rho^{1-\frac{\gamma-\alpha}{k}}}{k\Gamma_k(\gamma-\alpha)}\int_t^{x_2}(y^{\rho}-t^{\rho})^{\frac{\gamma-\alpha}{k}-1}y^{\rho-1}\Omega^{(\gamma)}(y)dy,\; \; t < x_2, \end{align} |
where \gamma = \alpha+\beta(kn-\alpha), \alpha > 0.
Theorem 15.2. [52] Let \rho, \delta, \alpha, \gamma, k, a > 0 and \Omega\in M_q[x_1, x_2] be positive integrable function on [x_1, x_2] satisfying (H_1). Then we have:
\begin{eqnarray*} &&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega(t) \; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_2(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}Q_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) \\ &\ge& \mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}Q_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_2(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega(t) \; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) . \end{eqnarray*} |
Theorem 15.3. [52] Let \rho, \delta, \alpha, \gamma, k, a > 0 and \Omega, \Pi\in M_q[x_1, x_2] be positive integrable functions on [x_1, x_2] satisfying (H_1) and (H_2). Then we have:
\begin{eqnarray*} (a)\; \; \; &&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k} R_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) +\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_2(t)\\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k} R_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_2(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) .\\[0.3cm] (b)\; \; \; &&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}Q_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Pi(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega(t) \; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k} R_2(t)\\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}Q_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k} R_2(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) .\\[0.3cm] (c)\; \; \; &&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k} R_2(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_2(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) \\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_2(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k} R_2(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) .\\[0.3cm] (d)\; \; \; &&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k} R_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_1(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) \\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_1(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k} R_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) . \end{eqnarray*} |
Theorem 15.4. [52] Let \rho, \delta, \alpha, \gamma, k, a > 0 and \Omega, \Pi\in M_q[x_1, x_2] be positive integrable functions on [x_1, x_2] satisfying (H_1) and (H_2). If p, q > 1 and \frac{1}{p}+\frac{1}{q} = 1, then we have:
\begin{eqnarray*} (a)\; \; \; &&\frac{1}{p}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Pi(t))^p\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Omega(t) )^p+\frac{1}{q}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Omega(t) )^q\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Pi(t))^q\\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega(t) \Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) \Pi(t).\\[0.3cm] (b)\; \; \; &&\frac{1}{p}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Pi(t))^p\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Omega(t) )^p+\frac{1}{q}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Omega(t) )^q\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Pi(t))^q\\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega^{p-1}(t)\Pi^{q-1}(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k} \Omega(t) \Pi(t).\\[0.3cm] (c)\; \; \; &&\frac{1}{p}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Pi(t))^p\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Omega(t) )^2+\frac{1}{q}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Omega(t) )^q\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Pi(t))^2\\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega^{2/p}(t)\Pi^{2/q}(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) \Pi(t).\\[0.3cm] (d)\; \; \; &&\frac{1}{p}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Pi(t))^q\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Omega(t) )^2+\frac{1}{q}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Omega(t) )^p\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Pi(t))^2\\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega^{p-1}(t)\Pi^{q-1}(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega^{2/p}(t)\Pi^{2/q}(t). \end{eqnarray*} |
Theorem 15.5. [52] Let \rho, \delta, \alpha, \gamma, k, a > 0 and \Omega, \Pi\in M_q[x_1, x_2] be positive integrable functions on [x_1, x_2]. Let
\mu = \min\limits_{0\le y\le t}\frac{\Omega(y)}{\Pi(y)}, \; \; \; \mathcal{M} = \max\limits_{0\le y\le t}\frac{\Omega(y)}{\Pi(y)}. |
Then we have:
\begin{eqnarray*} &&(i)\; \; \frac{(\mu+\mathcal{M})^2}{4\mu\mathcal{M}}\mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) \Pi(t)]^2\ge \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Pi(t)]^2\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) ]^2.\\[0.3cm] &&(ii)\; \; \frac{\sqrt{\mu}-\sqrt{\mathcal{M}}}{2\sqrt{\mu\mathcal{M}}}\mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) \Pi(t)]\ge \sqrt{\mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Pi(t)]^2\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) ]^2}-\mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) \Pi(t)]\ge 0.\\[0.3cm] &&(iii)\; \; \frac{\mu-\mathcal{M}}{4\mu\mathcal{M}} \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) \Pi(t)]^2\ge \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Pi(t)]^2\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) ]^2- [\mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) \Pi(t)]]^2\ge 0. \end{eqnarray*} |
Our objective in this paper was to present a comprehensive and up-to-date review on Grüss-type inequalities for fractional differential operators. We presented results including inequalities of the Grüss-type for different kinds of fractional integral and differential operators. Grüss-type inequalities for fractional integrals of Riemann-Liouville, Katugampola, Hadamard's, Raina's, tempered, conformable, proportional, Caputo-Fabrizio, Saigo's are included. Moreover Grüss-type inequalities concerning Hilfer fractional differential operators and quantum Grüss-type integral inequalities are also presented. We believe that the present survey will provide a platform for the researchers working on Grüss-type inequalities to learn about the available work on the topic before developing the new results. Future research regarding this review paper is fascinating. Our review paper might inspire a good number of additional studies.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
The authors extend their appreciation to the Deputyship for Research & Innovation, Ministry of Education in Saudi Arabia for funding this research work through the project no. (IFKSUOR3-340-1).
The authors declare that they do not have conflict of interest regarding this manuscript.
[1] |
Alawi OA, Kamar HM, Abdelrazek AH, et al. (2024) Design optimization of solar collectors with hybrid nanofluids: An integrated ansys and machine learning study. Sol Energ Mat Sol C 271: 112822. https://doi.org/https://doi.org/10.1016/j.solmat.2024.112822 doi: 10.1016/j.solmat.2024.112822
![]() |
[2] |
Alawi OA, Kamar HM, Salih SQ, et al. (2024) Development of optimized machine learning models for predicting flat plate solar collectors thermal efficiency associated with Al2O3-water nanofluids. Eng Appl Artif Intel 133: 108158. https://doi.org/https://doi.org/10.1016/j.engappai.2024.108158 doi: 10.1016/j.engappai.2024.108158
![]() |
[3] |
Ali B (2018) Forecasting model for water-energy nexus in Alberta, Canada. Water-Energy Nexus 1: 104–115. https://doi.org/10.1016/j.wen.2018.08.002 doi: 10.1016/j.wen.2018.08.002
![]() |
[4] |
Ashouri M, Khoshkar Vandani AM, Mehrpooya M, et al. (2015) Techno-economic assessment of a Kalina cycle driven by a parabolic Trough solar collector. Energ Convers Manage 105: 1328–1339. https://doi.org/https://doi.org/10.1016/j.enconman.2015.09.015 doi: 10.1016/j.enconman.2015.09.015
![]() |
[5] |
Azad Gilani H, Hoseinzadeh S (2021) Techno-economic study of compound parabolic collector in solar water heating system in the northern hemisphere. Appl Therm Eng 190: 116756. https://doi.org/https://doi.org/10.1016/j.applthermaleng.2021.116756 doi: 10.1016/j.applthermaleng.2021.116756
![]() |
[6] |
Badescu V (2018) How much work can be extracted from diluted solar radiation? Sol Energy 170: 1095-1100. https://doi.org/10.1016/j.solener.2018.05.094 doi: 10.1016/j.solener.2018.05.094
![]() |
[7] | Barrington-Leigh C, Ouliaris M (2017) The renewable energy landscape in Canada: a spatial analysis. Renew Sust Energ Rev 75: 809–819. |
[8] | Bellos E, Tzivanidis C (2017) A detailed exergetic analysis of parabolic trough collectors. Energ Convers Manage 149: 275–292. |
[9] | Bergman TL (2011) Fundamentals of heat and mass transfer. John Wiley & Sons. |
[10] |
Brenner A, Kahn J, Hirsch T, et al. (2023) Soiling determination for parabolic trough collectors based on operational data analysis and machine learning. Sol Energy 259: 257–276. https://doi.org/https://doi.org/10.1016/j.solener.2023.05.008 doi: 10.1016/j.solener.2023.05.008
![]() |
[11] |
Cuce PM, Cuce E (2023) Performance analysis of fresnel lens driven hot water/steam generator for domestic and industrial use: A CFD research. Hittite J Sci Eng 10: 1–9. https://doi.org/10.17350/HJSE19030000285 doi: 10.17350/HJSE19030000285
![]() |
[12] |
Cuce PM, Cuce E, Guclu T, et al. (2021) Energy saving aspects of green facades: Current applications and challenges. Green Build Constr Econ 2021: 18–28. https://doi.org/10.37256/gbce.2220211007 doi: 10.37256/gbce.2220211007
![]() |
[13] |
Cuce PM, Guclu T, Cuce E (2024) Design, modelling, environmental, economic and performance analysis of parabolic trough solar collector (PTC) based cogeneration systems assisted by thermoelectric generators (TEGs). Sustain Energy Techn 64: 103745. https://doi.org/https://doi.org/10.1016/j.seta.2024.103745 doi: 10.1016/j.seta.2024.103745
![]() |
[14] |
Deniz E, Çınar S (2016) Energy, exergy, economic and environmental (4E) analysis of a solar desalination system with humidification-dehumidification. Energ Convers Manage 126: 12–19. https://doi.org/10.1016/j.enconman.2016.07.064 doi: 10.1016/j.enconman.2016.07.064
![]() |
[15] |
Desai NB, Pranov H, Haglind F (2021) Techno-economic analysis of a foil-based solar collector driven electricity and fresh water generation system. Renew Energy 165: 642–656. https://doi.org/https://doi.org/10.1016/j.renene.2020.11.043 doi: 10.1016/j.renene.2020.11.043
![]() |
[16] | Duffie JA, Beckman WA, Blair N (2020) Solar engineering of thermal processes, photovoltaics and wind. John Wiley & Sons. |
[17] |
El-Shorbagy MA, El-Refaey AM (2022) A hybrid genetic–firefly algorithm for engineering design problems. J Comput Des Eng 9: 706–730. https://doi.org/10.1093/jcde/qwac013 doi: 10.1093/jcde/qwac013
![]() |
[18] |
Elfeky KE, Wang Q (2023) Techno-environ-economic assessment of photovoltaic and CSP with storage systems in China and Egypt under various climatic conditions. Renew Energy 215: 118930. https://doi.org/https://doi.org/10.1016/j.renene.2023.118930 doi: 10.1016/j.renene.2023.118930
![]() |
[19] |
Elsheikh A, Zayed M, Aboghazala A, et al. (2024) Innovative solar distillation system with prismatic absorber basin: Experimental analysis and LSTM machine learning modeling coupled with great wall construction algorithm. Process Saf Environ Prot 186: 1120–1133. https://doi.org/https://doi.org/10.1016/j.psep.2024.04.063 doi: 10.1016/j.psep.2024.04.063
![]() |
[20] |
Faizal M, Saidur R, Mekhilef S, et al. (2015) Energy, economic, and environmental analysis of a flat-plate solar collector operated with SiO2 nanofluid. Clean Technol Envir 17: 1457–1473. https://doi.org/10.1007/s10098-014-0870-0 doi: 10.1007/s10098-014-0870-0
![]() |
[21] |
Fister I, Fister Jr I, Yang XS, et al. (2013) A comprehensive review of firefly algorithms. Swarm Evol Comput 13: 34–46. https://doi.org/10.1016/j.swevo.2013.06.001 doi: 10.1016/j.swevo.2013.06.001
![]() |
[22] | Forristall R (2003) Heat transfer analysis and modeling of a parabolic trough solar receiver implemented in engineering equation solver. |
[23] | Frangopoulos CA (1987) Thermo-economic functional analysis and optimization. Energy 12: 563–571. |
[24] | García-García JC, Ponce-Rocha JD, Marmolejo-Correa D, et al. (2019) Exergy analysis for energy integration in a bioethanol production process to determine heat exchanger networks feasibility. In A. A. Kiss, E. Zondervan, R. Lakerveld, & L. Özkan (Eds.), Computer Aided Chemical Engineering, 46: 475–480. Elsevier. https://doi.org/https://doi.org/10.1016/B978-0-12-818634-3.50080-1 |
[25] | Gnielinski V (1976) New equations for heat and mass transfer in turbulent pipe and channel flow. Int J Chem Eng 16: 359–367. |
[26] | Haykin S (1998) Neural networks: a comprehensive foundation. Prentice Hall PTR. |
[27] | Jehring L (1992) Bejan, A., Advanced Engineering Thermodynamics. New York etc., John Wiley & Sons 1988. XXIII, 758. ISBN 0‐471‐83043‐7, Wiley Online Library. |
[28] | Johari NF, Zain AM, Noorfa MH, et al. (2013) Firefly algorithm for optimization problem. Appl Mech Mater 421: 512–517. |
[29] |
Kalogirou SA (2004) Solar thermal collectors and applications. Prog Energ Combust Sci 30: 231–295. https://doi.org/10.1016/j.pecs.2004.02.001 doi: 10.1016/j.pecs.2004.02.001
![]() |
[30] |
Kottala RK, Balasubramanian KR, Jinshah BS, et al. (2023) Experimental investigation and machine learning modelling of phase change material-based receiver tube for natural circulated solar parabolic trough system under various weather conditions. J Therm Anal Calorim 148: 7101–7124. https://doi.org/10.1007/s10973-023-12219-9 doi: 10.1007/s10973-023-12219-9
![]() |
[31] | Landsberg P, Mallinson J (1976) Thermodynamic constraints, effective temperatures and solar cells. International Conference on Solar Electricity. |
[32] | Mazen F, AbulSeoud RA, Gody AM (2016) Genetic algorithm and firefly algorithm in a hybrid approach for breast cancer diagnosis. Int J Comput Trends Tech 32: 62–68. |
[33] |
Mehdipour R, Baniamerian Z, Golzardi S, et al. (2020) Geometry modification of solar collector to improve performance of solar chimneys. Renew Energy 162: 160–170. https://doi.org/https://doi.org/10.1016/j.renene.2020.07.151 doi: 10.1016/j.renene.2020.07.151
![]() |
[34] |
Mustafa J, Alqaed S, Sharifpur M (2022) Numerical study on performance of double-fluid parabolic trough solar collector occupied with hybrid non-Newtonian nanofluids: Investigation of effects of helical absorber tube using deep learning. Eng Anal Bound Elem 140: 562–580. https://doi.org/https://doi.org/10.1016/j.enganabound.2022.04.033 doi: 10.1016/j.enganabound.2022.04.033
![]() |
[35] |
Nguyen HM, Omidkar A, Li W, et al. (2023) Non-thermal plasma assisted catalytic nitrogen fixation with methane at ambient conditions. Chem Eng J 471: 144748. https://doi.org/https://doi.org/10.1016/j.cej.2023.144748 doi: 10.1016/j.cej.2023.144748
![]() |
[36] |
Omidkar A, Alagumalai A, Li Z, et al. (2024) Machine learning assisted techno-economic and life cycle assessment of organic solid waste upgrading under natural gas. Appl Energy 355: 122321. https://doi.org/https://doi.org/10.1016/j.apenergy.2023.122321 doi: 10.1016/j.apenergy.2023.122321
![]() |
[37] |
Omidkar A, Haddadian K, Es'haghian R, et al. (2024) Novel energy efficient in-situ bitumen upgrading technology to facilitate pipeline transportation using natural gas: Sustainability evaluation using a new hybrid approach based on fuzzy multi-criteria decision-making tool and techno-economic and life cycle assessment. Energy 297: 131280. https://doi.org/https://doi.org/10.1016/j.energy.2024.131280 doi: 10.1016/j.energy.2024.131280
![]() |
[38] |
Omidkar A, Xu H, Li Z, et al. (2023) Techno-economic and life cycle assessment of renewable diesel production via methane-assisted catalytic waste cooking oil upgrading. J Clean Prod 414: 137512. https://doi.org/https://doi.org/10.1016/j.jclepro.2023.137512 doi: 10.1016/j.jclepro.2023.137512
![]() |
[39] |
Pal RK, K RK (2021) Investigations of thermo-hydrodynamics, structural stability, and thermal energy storage for direct steam generation in parabolic trough solar collector: A comprehensive review. J Clean Product 311: 127550. https://doi.org/https://doi.org/10.1016/j.jclepro.2021.127550 doi: 10.1016/j.jclepro.2021.127550
![]() |
[40] | Patel S, Parkins JR (2023) Assessing motivations and barriers to renewable energy development: Insights from a survey of municipal decision-makers in Alberta, Canada. Energy Rep 9: 5788–5798. |
[41] |
Pourasl HH, Barenji RV, Khojastehnezhad VM (2023) Solar energy status in the world: A comprehensive review. Energy Rep 10: 3474–3493. https://doi.org/https://doi.org/10.1016/j.egyr.2023.10.022 doi: 10.1016/j.egyr.2023.10.022
![]() |
[42] |
Ruiz-Moreno S, Sanchez AJ, Gallego AJ, et al. (2022) A deep learning-based strategy for fault detection and isolation in parabolic-trough collectors. Renew Energy 186: 691–703. https://doi.org/https://doi.org/10.1016/j.renene.2022.01.029 doi: 10.1016/j.renene.2022.01.029
![]() |
[43] |
Salari A, Shakibi H, Soltani S, et al. (2024) Optimization assessment and performance analysis of an ingenious hybrid parabolic trough collector: A machine learning approach. Appl Energy 353: 122062. https://doi.org/https://doi.org/10.1016/j.apenergy.2023.122062 doi: 10.1016/j.apenergy.2023.122062
![]() |
[44] |
Shafieian A, Parastvand H, Khiadani M (2020) Comparative and performative investigation of various data-based and conventional theoretical methods for modelling heat pipe solar collectors. Sol Energy 198: 212–223. https://doi.org/https://doi.org/10.1016/j.solener.2020.01.056 doi: 10.1016/j.solener.2020.01.056
![]() |
[45] |
Shboul B, Zayed ME, Al-Tawalbeh N, et al. (2024) Dynamic numerical modeling and performance optimization of solar and wind assisted combined heat and power system coupled with battery storage and sophisticated control framework. Results Eng 22: 102198. https://doi.org/https://doi.org/10.1016/j.rineng.2024.102198 doi: 10.1016/j.rineng.2024.102198
![]() |
[46] |
Shboul B, Zayed ME, Tariq R, et al. (2024) New hybrid photovoltaic-fuel cell system for green hydrogen and power production: Performance optimization assisted with Gaussian process regression method. Int J Hydrogen Energ 59: 1214–1229. https://doi.org/https://doi.org/10.1016/j.ijhydene.2024.02.087 doi: 10.1016/j.ijhydene.2024.02.087
![]() |
[47] |
Sultan AJ, Hughes KJ, Ingham DB, et al. (2020) Techno-economic competitiveness of 50 MW concentrating solar power plants for electricity generation under Kuwait climatic conditions. Renew Sust Energ Rev 134: 110342. https://doi.org/10.1016/j.rser.2020.110342 doi: 10.1016/j.rser.2020.110342
![]() |
[48] |
Tabarhoseini SM, Sheikholeslami M, Said Z (2022) Recent advances on the evacuated tube solar collector scrutinizing latest innovations in thermal performance improvement involving economic and environmental analysis. Sol Energ Mat Sol C 241: 111733. https://doi.org/https://doi.org/10.1016/j.solmat.2022.111733 doi: 10.1016/j.solmat.2022.111733
![]() |
[49] |
Vakili M, Salehi SA (2023) A review of recent developments in the application of machine learning in solar thermal collector modelling. Environ Sci Pollut Res 30: 2406–2439. https://doi.org/10.1007/s11356-022-24044-y doi: 10.1007/s11356-022-24044-y
![]() |
[50] | Vapnik VN (1999) An overview of statistical learning theory. Ieee T Neural Networ 10: 988–999. |
[51] |
Wahid F, Alsaedi AKZ, Ghazali R (2019) Using improved firefly algorithm based on genetic algorithm crossover operator for solving optimization problems. J Intell Fuzzy Syst 36: 1547–1562. https://doi.org/10.3233/JIFS-181936 doi: 10.3233/JIFS-181936
![]() |
[52] |
Wahid F, Ghazali R, Ismail LH (2019) Improved firefly algorithm based on genetic algorithm operators for energy efficiency in smart buildings. Arab J Sci Eng 44: 4027–4047. https://doi.org/10.1007/s13369-019-03759-0 doi: 10.1007/s13369-019-03759-0
![]() |
[53] |
Wang Y, Kandeal AW, Swidan A, et al. (2021) Prediction of tubular solar still performance by machine learning integrated with Bayesian optimization algorithm. Appl Therm Eng 184: 116233. https://doi.org/https://doi.org/10.1016/j.applthermaleng.2020.116233 doi: 10.1016/j.applthermaleng.2020.116233
![]() |
[54] |
Wu S, Wang C, Tang R (2022) Optical efficiency and performance optimization of a two-stage secondary reflection hyperbolic solar concentrator using machine learning. Renew Energy 188: 437–449. https://doi.org/https://doi.org/10.1016/j.renene.2022.01.117 doi: 10.1016/j.renene.2022.01.117
![]() |
[55] |
Yang XS (2010) Firefly algorithm, stochastic test functions and design optimisation. Int J Bio-Inspir Com 2: 78–84. https://doi.org/10.1504/IJBIC.2010.032124 doi: 10.1504/IJBIC.2010.032124
![]() |
[56] |
Zayed ME, Aboelmaaref MM, Chazy M (2023a) Design of solar air conditioning system integrated with photovoltaic panels and thermoelectric coolers: Experimental analysis and machine learning modeling by random vector functional link coupled with white whale optimization. Therm Sci Eng Prog 44: 102051. https://doi.org/https://doi.org/10.1016/j.tsep.2023.102051 doi: 10.1016/j.tsep.2023.102051
![]() |
[57] |
Zayed ME, Kabeel AE, Shboul B, et al. (2023b) Performance augmentation and machine learning-based modeling of wavy corrugated solar air collector embedded with thermal energy storage: Support vector machine combined with Monte Carlo simulation. J Energy Storage 74: 109533. https://doi.org/https://doi.org/10.1016/j.est.2023.109533 doi: 10.1016/j.est.2023.109533
![]() |
[58] |
Zayed ME, Zhao J, Li W, et al. (2021) Predicting the performance of solar dish Stirling power plant using a hybrid random vector functional link/chimp optimization model. Solar Energy 222: 1–17. https://doi.org/https://doi.org/10.1016/j.solener.2021.03.087 doi: 10.1016/j.solener.2021.03.087
![]() |
1. | HUI-YAN CHENG, IBRAHIM MEKAWY, JUAN WANG, HUMERA BATOOL, MUHAMMAD IMRAN QURESHI, ANALYSIS OF NEWTON AND HERMITE–HADAMARD-TYPE LOCAL FRACTIONAL INTEGRAL INEQUALITIES ON FRACTAL SETS USING GENERALIZED PRE-INVEXITY, 2025, 33, 0218-348X, 10.1142/S0218348X25401036 |