Linear block and convolutional codes are designed using unit schemes and families of these to required length, rate, distance and type are mined. Properties, such as type and distance, of the codes follow from the types of units used and thus required codes are built from specific units. Orthogonal units, units in group rings, Fourier/Vandermonde units and related units are used to construct and analyse linear block and convolutional codes and to construct these to predefined length, rate, distance and type. Series of self-dual, dual containing, quantum error-correcting and linear complementary dual codes are constructed for both linear block and convolutional codes. Low density parity check linear block and linear convolutional codes are constructed from unit schemes.
Citation: Ted Hurley. Ultimate linear block and convolutional codes[J]. AIMS Mathematics, 2025, 10(4): 8398-8421. doi: 10.3934/math.2025387
[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 |
Linear block and convolutional codes are designed using unit schemes and families of these to required length, rate, distance and type are mined. Properties, such as type and distance, of the codes follow from the types of units used and thus required codes are built from specific units. Orthogonal units, units in group rings, Fourier/Vandermonde units and related units are used to construct and analyse linear block and convolutional codes and to construct these to predefined length, rate, distance and type. Series of self-dual, dual containing, quantum error-correcting and linear complementary dual codes are constructed for both linear block and convolutional codes. Low density parity check linear block and linear convolutional codes are constructed from unit schemes.
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 Ω,Π:[0,∞)→R are two integrable functions satisfying (H1) and (H2). In addition, we suppose that ψ:[0,∞)→R is positive, and increasing with continuous derivative and ψ(0)=0. Then, for t>0 and κ,λ>0, the following inequalities hold:
(a)ψJκ,ξQ2(t)ψJλ,ξΠ(t)+ψJλ,ξΩ(t)ψJκ,ξR1(t)≥ψJκ,ξQ2(t)ψJλ,ξR1(t)+ψJκ,ξΩ(t)ψJλ,ξΠ(t).(b)ψJλ,ξQ1(t)ψJκ,ξΠ(t)+ψJκ,ξR2(t)ψJλ,ξΩ(t)≥ψJκ,ξQ1(t)ψJλ,ξR2(t)+ψJκ,ξΩ(t)ψJλ,ξΠ(t).(c)ψJκ,ξQ2(t)ψJλ,ξR2(t)+ψJκ,ξΩ(t)ψJλ,ξΠ(t)≥ψJκ,ξQ2(t)ψJλ,ξΠ(t)+ψJκ,ξΩ(t)ψJλ,ξR2(t).(d)ψJκ,ξQ1(t)ψJλ,ξR1(t)+ψJκ,ξΩ(t)ψJλ,ξΠ(t)≥ψJκ,ξQ1(t)ψJλ,ξΠ(t)+ψJκ,ξΩ(t)ψJλ,ξR1(t). |
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] |
P. Almeida, D. Napp, R. Pinto, A new class of superregular matrices and MDP convolutional codes, Linear Algebra Appl., 439 (2013), 2145–2157. https://doi.org/10.1016/j.laa.2013.06.013 doi: 10.1016/j.laa.2013.06.013
![]() |
[2] |
P. Almeida, D. Napp, R. Pinto, Superregular matrices and applications to convolutional codes, Linear Algebra Appl., 499 (2016), 1–25. https://doi.org/10.1016/j.laa.2016.02.034 doi: 10.1016/j.laa.2016.02.034
![]() |
[3] | R. E. Blahut, Algebraic codes for data transmission, Cambridge: Cambridge University Press, 2003. |
[4] |
I. E. Bocharova, F. Hug, R. Johannesson, B. D. Kudryashov, Dual convolutional codes and the MacWilliams identities, Probl. Inf. Transm., 48 (2012), 21–30. https://doi.org/10.1134/S0032946012010036 doi: 10.1134/S0032946012010036
![]() |
[5] | A. R. Calderbank, E. M. Rains, P. W. Shor, N. J. A. Sloane, Quantum error correction via codes over GF(4), In: Proceedings of IEEE international symposium on information theory, Germany: IEEE, 1997. https://doi.org/10.1109/ISIT.1997.613213 |
[6] |
A. R. Calderbank, P. W. Shor, Good quantum error-correcting codes exist, Phys. Rev. A, 54 (1996), 1098–1105. https://doi.org/10.1103/PhysRevA.54.1098 doi: 10.1103/PhysRevA.54.1098
![]() |
[7] |
C. Carlet, S. Mesnager, C. Tang, Y. Qi, Euclidean and Hermitian LCD MDS codes, Des. Codes Cryptogr., 86 (2018), 2605–2618. https://doi.org/10.1007/s10623-018-0463-8 doi: 10.1007/s10623-018-0463-8
![]() |
[8] |
C. Carlet, S. Mesnager, C. Tang, Y. Qi, R. Pelikaan, Linear codes over F_q are equivalent to LCD codes for q>3, IEEE Trans. Inform. Theory, 64 (2018), 3010–3017. https://doi.org/10.1109/TIT.2018.2789347 doi: 10.1109/TIT.2018.2789347
![]() |
[9] |
C. Carlet, S. Mesnager, C. Tang, Y. Qi, New characterization and parametrization of LCD codes, IEEE Trans. Inform. Theory, 65 (2019), 39–49. https://doi.org/10.1109/TIT.2018.2829873 doi: 10.1109/TIT.2018.2829873
![]() |
[10] | C. Carlet, Boolean functions for cryptography and error correcting codes, In: Chapter of the monography Boolean models and methods in mathematics, computer science, and engineering, Cambridge: Cambridge University Press, 2010,257–397. |
[11] |
G. G. La Guardia, On negacyclic MDS-convolutional codes, Linear Algebra Appl., 448 (2014), 85–96. https://doi.org/10.1016/j.laa.2014.01.033 doi: 10.1016/j.laa.2014.01.033
![]() |
[12] |
H. Gluesing-Luerssen, G. Schneider, A MacWilliams identity for convolutional codes: The general case, IEEE Trans. Inf. Theory, 55 (2009), 2920–2930. https://doi.org/10.1109/TIT.2009.2021302 doi: 10.1109/TIT.2009.2021302
![]() |
[13] | T. Hurley, D. Hurley, B. Hurley, Quantum error-correcting codes: The unit-derived strategy, arXiv: 1805.09053, 2018. https://doi.org/10.48550/arXiv.1805.09053 |
[14] | T. Hurley, Linear block and convolutional MDS codes to required rate, distance and type, In: Lecture notes in networks and systems, Cham: Springer, 507 (2022), 129–157. https://doi.org/10.1007/978-3-031-10464-0_10 |
[15] | T. Hurley, Convolutional codes from unit schemes, arXiv: 1412.1695, 2018. https://doi.org/10.48550/arXiv.1412.1695 |
[16] | T. Hurley, On codes induced from Hadamard matrices, arXiv: 2410.24027, 2024. https://doi.org/10.48550/arXiv.2410.24027 |
[17] | T. Hurley, D. Hurley, B. Hurley, Maximum distance separable codes to order, arXiv: 1902.06624, 2019. https://doi.org/10.48550/arXiv.1902.06624 |
[18] | T. Hurley, Group rings and rings of matrices, Int. J. Pure Appl. Math., 31 (2006), 319–335. |
[19] |
T. Hurley, Solving underdetermined systems with error-correcting codes, Int. J. Inf. Coding Theory, 4 (2017), 201–221. http://dx.doi.org/10.1504/IJICOT.2017.10005825 doi: 10.1504/IJICOT.2017.10005825
![]() |
[20] | T. Hurley, Convolutional codes from units in matrix and group rings, Int. J. Pure Appl. Math., 50 (2009), 431–463. |
[21] | P. Hurley, T. Hurley, Module codes in group rings, In: 2007 IEEE International symposium on information theory, France: IEEE, 2007, 1981–1985. https://doi.org/10.1109/ISIT.2007.4557511 |
[22] |
P. Hurley, T. Hurley, Codes from zero-divisors and units in group rings, Int. J. Inform. Coding Theory, 1 (2009), 57–87. https://doi.org/10.1504/IJICOT.2009.024047 doi: 10.1504/IJICOT.2009.024047
![]() |
[23] | P. Hurley, T. Hurley, Block codes from matrix and group rings, In: Selected topics in information and coding theory, World Scientific, 2010,159–194. https://doi.org/10.1142/9789812837172_0004 |
[24] | P. Hurley, T. Hurley, LDPC and convolutional codes from matrix and group rings, In: Selected topics in information and coding theory, World Scientific, 2010,195–237. https://doi.org/10.1142/9789812837172_0006 |
[25] |
T. Hurley, D. Hurley, Coding theory: The unit-derived methodology, Int. J. Inf. Coding Theory, 5 (2018), 55–80. http://dx.doi.org/10.1504/IJICOT.2018.10013082 doi: 10.1504/IJICOT.2018.10013082
![]() |
[26] |
T. Hurley, P. McEvoy, J. Wenus, Algebraic constructions of LDPC codes with no short cycles, Int. J. Inf. Coding Theory, 1 (2010), 285–297. https://doi.org/10.1504/IJICoT.2010.032544 doi: 10.1504/IJICoT.2010.032544
![]() |
[27] | R. Johannesson, K. Sh. Zigangirov, Fundamentals of convolutional coding, Wiley-IEEE Press, 2015. |
[28] | D. J. C. MacKay, Information theory, inference, and learning algorithms, Cambridge: Cambridge University Press, 2003. |
[29] | F. J. MacWilliams, N. J. A. Sloane, The theory of error-correcting codes, Elsevier, 1977. |
[30] | J. L. Massey, Linear codes with complementary duals, Discrete Math., 106-107 (1992), 337–342. https://doi.org/10.1016/0012-365X(92)90563-U |
[31] | J. L. Massey, Reversible codes, Inf. Control, 7 (1964), 369–380. https://doi.org/10.1016/S0019-9958(64)90438-3 |
[32] |
I. McLoughlin, T. Hurley, A group ring construction of the extended binary Golay code, IEEE Trans. Inform. Theory, 54 (2008), 4381–4383. https://doi.org/10.1109/TIT.2008.928260 doi: 10.1109/TIT.2008.928260
![]() |
[33] | R. McEliece, The theory of information and coding, 2 Eds., Cambridge: Cambridge University Press, 2009. https://doi.org/10.1017/CBO9780511606267 |
[34] |
S. Mesnager, C. Tang, Y. Qi, Complementary dual algebraic geometry codes, IEEE Trans. Inf. Theory, 64 (2018), 2390–2397. https://doi.org/10.1109/TIT.2017.2766075 doi: 10.1109/TIT.2017.2766075
![]() |
[35] | C. P. Milies, S. K. Sehgal, An introduction to group rings, In: Algebra and applications, Dordrecht: Springer, 1 (2002). |
[36] |
R. Pellikaan, On decoding by error location and dependent sets of error positions, Discrete Math., 106-107 (1992), 369–381. https://doi.org/10.1016/0012-365X(92)90567-Y doi: 10.1016/0012-365X(92)90567-Y
![]() |
[37] | J. M. M. Porras, J. A. D. Pérez, J. I. I. Curto, J. S. Sotelo, Convolutional Goppa codes, IEEE Trans. Inform. Theory, 52 (2006), 340–344. https://doi.org/10.1109/TIT.2005.860447 |
[38] |
J. Rosenthal, R. Smarandache, Maximum distance separable convolutional codes, Appl. Algebra Engrg. Comm. Comput., 10 (1999), 15–32. https://doi.org/10.1007/s002000050120 doi: 10.1007/s002000050120
![]() |
[39] | J. Rosenthal, Connections between linear systems and convolutional codes, In: The IMA volumes in mathematics and its applications, New York: Springer, 123 (1999). https://doi.org/10.1007/978-1-4613-0165-3_2 |
[40] | A. M. Steane, Simple quantum error correcting codes, Phys. Rev. A, 54 (1996), 4741–4751. |
[41] |
R. Smarandache, H. Gluesing-Luerssen, J. Rosenthal, Constructions for MDS-convolutional codes, IEEE Trans. Inform. Theory, 47 (2001), 2045–2049. https://doi.org/10.1109/18.930938 doi: 10.1109/18.930938
![]() |
[42] | The GAP group, GAP – groups, algorithms, and programming, Version 4.12.2, 2022. Available from: https://www.gap-system.org |
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 |