Processing math: 35%
Research article

A hybrid IDM using wavelet transform for a synchronous generator-based RES with zero non-detection zone


  • Received: 22 December 2023 Revised: 04 March 2024 Accepted: 11 March 2024 Published: 22 March 2024
  • Increased use of renewable energy sources in distribution grids has led to the growing concern over unintentional islanding. Among the available islanding detection methods, the passive methods have larger non-detection zones and are susceptible to system faults. However, they have no effect on power quality like active methods. We present a hybrid method for the islanding detection of synchronous generator-based renewable energy sources. Here, the larger non-detection zone issue of the passive islanding detection method was reduced by combining it with a wavelet transform. The rate of change of a voltage unbalanced factor was computed from the sequence components of the renewable energy source terminal voltage. Then, the factor was analyzed using a wavelet transform, and a threshold for the factor was found. The robustness of the method was tested for several islanding as well as non-islanding situations. The efficacy of the method was also tested in multi-source test systems. From the analysis, it was observed that the proposed method was fast, reliable, and had a zero non-detection zone.

    Citation: Mamun Mishra, Bibhuti Bhusan Pati. A hybrid IDM using wavelet transform for a synchronous generator-based RES with zero non-detection zone[J]. AIMS Electronics and Electrical Engineering, 2024, 8(1): 146-164. doi: 10.3934/electreng.2024006

    Related Papers:

    [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
  • Increased use of renewable energy sources in distribution grids has led to the growing concern over unintentional islanding. Among the available islanding detection methods, the passive methods have larger non-detection zones and are susceptible to system faults. However, they have no effect on power quality like active methods. We present a hybrid method for the islanding detection of synchronous generator-based renewable energy sources. Here, the larger non-detection zone issue of the passive islanding detection method was reduced by combining it with a wavelet transform. The rate of change of a voltage unbalanced factor was computed from the sequence components of the renewable energy source terminal voltage. Then, the factor was analyzed using a wavelet transform, and a threshold for the factor was found. The robustness of the method was tested for several islanding as well as non-islanding situations. The efficacy of the method was also tested in multi-source test systems. From the analysis, it was observed that the proposed method was fast, reliable, and had a zero non-detection zone.



    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,PR, then

    |1x2x1x2x1Ω(s)Π(s)ds1(x2x1)2x2x1Ω(s)dsx2x1Π(s)ds|14(Mm)(Pp).

    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 Ω,Π:IR are integrable functions on I for which there exist constants m,M,p,PR, such that

    mΩ(t)M,pΠ(t)P,tI.

    (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),t0 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(ts)α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(Mm)(Pp).

    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)Γ(α)(x2x)1α2(x2x1)Jαx1Ω(x2)+12Jα1x1((x2x)1αΓ(α)Ω(x2))+(x2x)2α2(x2x1)Γ(α)Jα1x1Ω(x2)+(x2x)1α(xx1)2(x2x1)2αΩ(x1)|M(x2x)1αx2x1[(x2x1)α(xx1)+(x2x)α(x1+x22x)2α],

    where x1x<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)(cR,1p<) consists of those complex-valued Lebesgue measurable functions ϕ on (x1,x2) for which ϕXpc<, with

    ϕXpc=(x2x1|xcϕ(x)|pdxx)1/p(1p<),

    and

    ϕXc=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τ,0x1<x<x2,

    and

    ρJα,βx2,η,κϕ(x)=ρ1βxρηΓ(α)x2xτκ+ρ1(τρxρ)1αϕ(τ)dτ,0x1<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(Mm)(Pp),

    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α,βη,κ(ΩΠ)p1(x))(ρJα,βη,κ(ΩΠ)q1(x)).(d)ρJα,βη,κΩp(x)ρJα,βη,κΠq(x)(ρJα,βη,κΩ(x)Π(x))(ρJα,βη,κΩp1(x)Πq1(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α,βη,κΩp1(x)Πq1(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

    μ=min0txΩ(t)Π(t)andM=max0txΩ(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, β,η,kR we have:

    [Λρ,βt,k(α,η)ρJα,βη,kΩ(t)Π(t)(ρJα,βη,kΩ(t)ρJα,βη,kΠ(t))]2T(Ω,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, β,λ,η,kR 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 pq0, p0. Then, we have the following two inequalities, for any k>0, t>1, α, β>0,

    (i)HJα(Q2Ω)qp(t)+qpkqppHJαΩ(t)qpkqppHJαQ2(t)+pqpkqp(logt)αΓ(α+1).(ii)HJα(ΩQ1)qp(t)+qpkqppHJαQ1(t)qpkqppHJαΩ(t)+pqpkqp(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(xs)αk1Ω(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(Mm)(Pp).

    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))αk1ψ(s)Ω(s)ds,t>x1,
    Jα,ψx2,kΩ(t)=1kΓk(α)x2t(ψ(s)ψ(t))αk1ψ(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

    \begin{eqnarray*} T(y,z,w)& = &\left( \ J^{\alpha,\psi}_{0+,k}w(t)-\ J^{\alpha }y(t)\right) \left( \ J^{\alpha,\psi}_{0+,k}y(t)-\ J^{\alpha,\psi}_{0+,k}z(t)\right)\\ && +\frac{\psi(t)^{\frac{\alpha }{k}}}{\Gamma_k (\alpha +k) }\ J^{\alpha,\psi}_{0+,k}z(t)y(t)- J^{\alpha,\psi}_{0+,k}z(t)\ J^{\alpha,\psi}_{0+,k}y(t) \\ && +\frac{\psi(t)^{\frac{\alpha }{k}}}{\Gamma_k (\alpha +k) }J^{\alpha,\psi}_{0+,k}w(t)y(t)- J^{\alpha,\psi}_{0+,k}w(t)\ J^{\alpha,\psi}_{0+,k}y(t) \\ && + J^{\alpha,\psi}_{0+,k}z(t)\ J^{\alpha,\psi}_{0+,k}w(t)-\frac{ t^{\frac{\alpha }{k}}}{\Gamma_k (\alpha +k)}\ J^{\alpha,\psi}_{0+,k}z(t)w(t). \end{eqnarray*}

    Definition 7.1. [24] The function \Omega is said to be L_{p, r}[x_1, x_2] if

    \begin{align} \Big(\int_{x_1}^{x_2}|\Omega(t) |^pt^rdt\Big)^{1/p} < \infty, \; \; \; 1 < p < \infty, \; \; r > 0.\end{align}

    Definition 7.2. [24] The \Gamma_k (generalized gamma function) is defined by

    \Gamma_k(z) = \lim\limits_{n\to\infty}\frac{n!k^n(nk)^{\frac{z}{k}-1}}{(z)_{nk}}, \; \; k > 0.

    Definition 7.3. [24] The function \mathcal{F}_{\rho, \lambda}^{\sigma, k} is defined by

    \begin{eqnarray*} \mathcal{F}_{\rho,\lambda}^{\sigma,k}(z)& = &\mathcal{F}_{\rho,\lambda}^{(\sigma(0), \sigma(1),\ldots,),k}\\ & = &\sum\limits_{m = 0}^{\infty}\frac{\sigma(m)}{k\Gamma_k(\rho k m+\lambda)}z^m, \; \; \; \rho,\lambda > 0, \; z\in \mathbb{C}, \; |z| < R, \end{eqnarray*}

    where R\in \mathbb{R}^+ and \sigma = (\sigma(1), \ldots, \sigma(m), \ldots) is a bounded sequence of positive real numbers.

    Definition 7.4. [24] Let k > 0, \lambda > 0, \rho > 0 and \omega\in \mathbb{R}. Assume that \psi: [x_1, x_2]\to \mathbb{R} is an increasing function for which \psi' is continuous on (x_1, x_2). Then the left and right generalized k -fractional integrals of the function \Omega with respect to \psi on [x_1, x_2] are defined by

    \begin{align} J_{\rho,\lambda,a+; \omega}^{\sigma, k, \psi}\Omega(z) = \int_{x_1}^z\frac{\psi'(t)}{(\psi(z)-\psi(t))^{1-\frac{\lambda}{k}}}\mathcal{F}_{\rho,\lambda}^{\sigma,k}[\omega(\psi(z)-\psi(t))^{\rho}]\Omega(t) dt, \; \; z > x_1 \end{align}

    and

    \begin{align} J_{\rho,\lambda,x_2-; \omega}^{\sigma, k, \psi}\Omega(z) = \int_z^{x_2}\frac{\psi'(t)}{(\psi(t)-\psi(z))^{1-\frac{\lambda}{k}}}\mathcal{F}_{\rho,\lambda}^{\sigma,k}[\omega(\psi(t)-\psi(z))^{\rho}]\Omega(t) dt, \; \; z < x_2, \end{align}

    respectively.

    Theorem 7.1. [24] Let \rho, \lambda, \delta > 0, \omega\in \mathbb{R}, \Omega\in L_{1, r}[x_1, x_2], and (H_1) holds. Then we have:

    \begin{eqnarray*} &&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}Q_2(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega(x)+J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}Q_1(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\\ &\ge&J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}Q_1(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}Q_2(x)+J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x). \end{eqnarray*}

    Theorem 7.2. [24] Under the assumptions of Theorem 7.1, we have:

    \begin{eqnarray*} &&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}Q_2(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega(x)+J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}Q_1(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\\ &\ge&J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}Q_1(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}Q_2(x)+J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x). \end{eqnarray*}

    Theorem 7.3. [24] Let \rho, \lambda, \delta > 0, \omega \in \mathbb{R}, \Omega, \Pi\in L_{1, r}[x_1, x_2] satifying (H_1) and (H_2) for all x\in [0, \infty). Then we have

    \begin{eqnarray*} &&\Big|J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\Pi(x)\mathcal{A}_{\delta}(x)+J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\Pi(x)\mathcal{A}_{\lambda}(x)\\ &&-J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Pi(x)- J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi(x)\Big|\\ &\le&\Big(\frac{\mathcal{A}_{\lambda}(x)\mathcal{A}_{\delta}(x)}{2}\Big)^2(Q_2-Q_1)( R_1- R_2), \end{eqnarray*}

    where \mathcal{A}_{\lambda} and \mathcal{A}_{\delta} are defined as

    \mathcal{A}_{\lambda}(z) = (\psi(z))^{\frac{\lambda}{k}}\mathcal{F}_{\rho,\lambda+1}^{\sigma,k}(\omega(\psi(z))^{\rho})\; \; and\; \; \mathcal{A}_{\delta} = (\psi(z))^{\frac{\delta}{k}}\mathcal{F}_{\rho,\delta+1}^{\sigma,k}(\omega(\psi(z))^{\rho}),

    respectively.

    Theorem 7.4. [24] Under the assumptions of Theorem 7.3, we have

    \begin{eqnarray*} (i)\; \; \; &&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}Q_2(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Pi(x)+ J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi} R_1(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\\ &\ge& J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi} R_1(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}Q_2(x)+ J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Pi(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x),\\[0.3cm] (ii)\; \; \; &&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi} R_1(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)+ J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}Q_1(x)\\ &\ge& J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega(x)+ J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi} R_1(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}Q_1(x),\\[0.3cm] (iii)\; \; \; &&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}Q_2(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Pi(x)+ J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi} R_1(x)\\ &\ge& J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Pi(x)+ J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi} R_1(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}Q_2(x),\\[0.3cm] (iv)\; \; \; &&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}Q_1(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Pi(x)+ J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi} R_1(x)\\ &\ge& J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi(x)+ J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}Q_1(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi} R_1(x). \end{eqnarray*}

    Now we present certain other associated fractional integral inequalities.

    Theorem 7.5. [24] Let \alpha, \beta > 1 and a^{-1}+\beta^{-1} = 1, and \Omega, \Pi\in L_{1, r}[x_1, x_2]. Then we have:

    \begin{eqnarray*} (i)\; \; \; &&a^{-1}\mathcal{A}_{\delta}(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega^{\alpha}(x)+\beta^{-1}\mathcal{A}_{\lambda}(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi^{\beta}(x)\\ &\ge&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi(x).\\[0.3cm] (ii)\; \; \; &&a^{-1} J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega^{\alpha}(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Pi^{\alpha}(x)+\beta^{-1}J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi^{\beta}J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega^{\beta}(x)\\ &\ge&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\Pi(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega(x)\Pi(x).\\[0.3cm] (iii)\; \; \; &&a^{-1} J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega^{\alpha}(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Pi^{\beta}(x)+\beta^{-1}J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega^{\beta}(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi^{\alpha}(x)\\ &\ge&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\Pi^{\alpha-1}(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega(x)\Pi^{\beta-1}(x).\\[0.3cm] (iv)\; \; \; &&a^{-1} J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega^{\alpha}(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi^{\beta}(x)+\beta^{-1}J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Pi^{\beta}(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega^{\alpha}(x)\\ &\ge&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega^{\alpha-1}(x)\Pi^{\beta-1}(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega(x)\Pi(x).\\[0.3cm] (v)\; \; \; &&a^{-1} J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega^{\alpha}(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Pi^{2}(x)+\beta^{-1}J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi^{\beta}(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\\ &\ge&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\Pi(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega^{2/\beta}(x)\Pi^{2/\alpha}(x).\\[0.3cm] (vi)\; \; \; &&a^{-1} J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega^{2}(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Pi^{\beta}(x)+\beta^{-1}J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega^{\alpha}(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi^{2}(x)\\ &\ge&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega^{2/\alpha}(x)\Pi^{2/\beta}(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega^{\alpha-1}(x)\Pi^{\beta-1}(x).\\[0.3cm] (vii)\; \; \; &&a^{-1}\mathcal{A}_{\delta}(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega^{2}(x)\Pi^{\beta}(x)+\beta^{-1}\mathcal{A}_{\lambda}(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Pi^{\beta}(x)\Omega^{2}(x)\\ &\ge&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega^{2/\alpha}(x)\Pi^{\beta-1}(x)J_{\rho,\delta,0+; \omega}^{\sigma,k,\psi}\Omega^{2/\beta}(x)\Pi^{\alpha-1}(x). \end{eqnarray*}

    Theorem 7.6. [24] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two positive and integrable functions such that

    \mu = \min\limits_{0\le t\le x}\frac{\Omega(t) }{\Omega(t) }, \; \; \; \; \mathcal{M} = \max\limits_{0\le t\le x}\frac{\Omega(t) }{\Pi(t)}.

    Then we have

    \begin{eqnarray*} (a)\; \; \; 0&\le& J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega^2(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi^2(x)\le \frac{(\mu+\mathcal{M})^2}{4\mu\mathcal{M}}\Big(J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\Pi(x)\Big)^2,\\[0.3cm] (b)\; \; \; 0&\le& \sqrt{J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega^2(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi^2(x)}-J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\Pi(x)\\ &\le& \frac{(\sqrt{\mathcal{M}}-\sqrt{\mu})^2}{2\sqrt{\mu\mathcal{M}}}\Big(J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\Pi(x)\Big),\\[0.3cm] (c)\; \; \; 0&\le&J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega^2(x)J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Pi^2(x)- \Big(J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\Pi(x)\Big)^2\\ &\le&\frac{(\mathcal{M}-\mu)^2}{4\mu\mathcal{M}}\Big(J_{\rho,\lambda,0+; \omega}^{\sigma,k,\psi}\Omega(x)\Pi(x)\Big)^2. \end{eqnarray*}

    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 \Omega\in L_1[0, \infty) and the function \psi: [0, \infty)\to \mathbb{R} is positive, and increasing with continuous derivative and \psi(0) = 0. Then the Lebesgue real-valued measurable function \Omega defined on [0, \infty) is said to be in the space X_{\psi}^p, (1 \le p < \infty) for which

    \begin{align} \|\Omega\|_{X_{\psi}^p} = \Big(\int_{x_1}^{x_2}|\Omega(t) |\psi'(t)dt\Big)^{1/p} < \infty,\; \; \; 1\le p < \infty. \end{align}

    When p = \infty, then

    \|\Omega\|_{X_{\psi}^{\infty}} = {\rm ess}\sup\limits_{0\le t < \infty}[\psi'(t)\Omega(t) ].

    Definition 8.2. [25] Suppose that \kappa, \xi\in \mathbb{C} with \Re(\kappa) > 0 and \Re(\xi)\ge 0. The tempered fractional left sided integral is defined by

    \begin{align} ({}_{x_1}J^{\kappa,\xi}\Omega)(t) = \frac{1}{\Gamma(\kappa)}\int_{x_1}^t e^{-\xi(t-s)}(t-s)^{\kappa-1}\Omega(s)ds , \; \; \; t > x_1. \end{align}

    Definition 8.3. [26] Let \Omega be an integrable function in the space X_{\psi}^p(0, \infty) and assume that \psi: [0, \infty)\to \mathbb{R} is positive, and increasing with continuous derivative and \psi(0) = 0. Then the generalized left sided tempered fractional integral of a function \Omega with respect to another function \psi is defined by

    \begin{align}({}^{\psi}J^{\kappa,\xi}\Omega)(t) = \frac{1}{\Gamma(\kappa)}\int_0^t e^{-\xi(\psi(t)-\psi(s))}(\psi(t)-\psi(s))^{\kappa-1}\psi'(s)\Omega(s)ds , \; \; \; t > 0,\end{align}

    where \xi > 0 , \kappa\in \mathbb{C} with \Re(\kappa) > 0.

    Theorem 8.1. [27] Suppose that \Omega\in X_{\psi}^p(0, \infty) and assume that \psi: [0, \infty)\to \mathbb{R} is positive, and increasing with continuous derivative and \psi(0) = 0. Moreover, we assume that (H_1) holds. Then for t > 0, \kappa, \lambda > 0, we have

    \begin{eqnarray*} &&{}^{\psi}J^{\kappa,\xi}Q_2(t)\; {}^{\psi}J^{\lambda,\xi}\Omega(t) +{}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}Q_1(t)\\ &\ge& {}^{\psi}J^{\kappa,\xi}Q_2(t)\; {}^{\psi}J^{\lambda\xi}Q_1(t)+{}^{\psi}J^{\kappa,\lambda}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}\Omega(t) . \end{eqnarray*}

    Theorem 8.2. [27] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). In addition, we suppose that \psi: [0, \infty)\to \mathbb{R} is positive, and increasing with continuous derivative and \psi(0) = 0. Then, for t > 0 and \kappa, \lambda > 0, the following inequalities hold:

    \begin{eqnarray*} (a)\; \; \; &&{}^{\psi}J^{\kappa,\xi}Q_2(t)\; {}^{\psi}J^{\lambda,\xi}\Pi(t)+{}^{\psi}J^{\lambda,\xi}\Omega(t) \; {}^{\psi}J^{\kappa,\xi} R_1(t)\\ &\ge&{}^{\psi}J^{\kappa,\xi}Q_2(t)\; {}^{\psi}J^{\lambda,\xi} R_1(t)+{}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}\Pi(t).\\[0.3cm] (b)\; \; \; &&{}^{\psi}J^{\lambda,\xi}Q_1(t)\; {}^{\psi}J^{\kappa,\xi}\Pi(t)+{}^{\psi}J^{\kappa,\xi} R_2(t)\; {}^{\psi}J^{\lambda,\xi}\Omega(t) \\ &\ge&{}^{\psi}J^{\kappa,\xi}Q_1(t)\; {}^{\psi}J^{\lambda,\xi} R_2(t)+{}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}\Pi(t).\\[0.3cm] (c)\; \; \; &&{}^{\psi}J^{\kappa,\xi}Q_2(t)\; {}^{\psi}J^{\lambda,\xi} R_2(t)+{}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}\Pi(t)\\ &\ge&{}^{\psi}J^{\kappa,\xi}Q_2(t)\; {}^{\psi}J^{\lambda,\xi}\Pi(t)+{}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi} R_2(t).\\[0.3cm] (d)\; \; \; &&{}^{\psi}J^{\kappa,\xi}Q_1(t)\; {}^{\psi}J^{\lambda,\xi} R_1(t)+{}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}\Pi(t)\\ &\ge&{}^{\psi}J^{\kappa,\xi}Q_1(t)\; {}^{\psi}J^{\lambda,\xi}\Pi(t)+{}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi} R_1(t). \end{eqnarray*}

    We present in the next certain other types of inequalities for tempered fractional integral.

    Theorem 8.3. [27] Assume that the assumptions on Theorem 8.2 hold. If p, q > 1 are such that \frac{1}{p}+\frac{1}{q} = 1, then, for t > 0 we have:

    \begin{eqnarray*} (i)\; \; \; &&\frac{1}{p}{}^{\psi}J^{\kappa,\xi}\Omega^p(t)\; {}^{\psi}J^{\lambda,\xi}\Pi^p(t)+\frac{1}{q}{}^{\psi}J^{\kappa,\xi}\Pi^q(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^q(t)\\ &\ge&{}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t)\; {}^ {\psi}J^{\lambda,\xi}\Pi(t)\Omega(t) .\\[0.3cm] (ii)\; \; \; &&\frac{1}{p}{}^{\psi}J^{\kappa,\xi}\Omega^p(t)\; {}^{\psi}J^{\lambda,\xi}\Pi^p(t)+\frac{1}{q}{}^{\psi}J^{\kappa,\xi}\Pi^q(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^p(t)\\ &\ge&{}^{\psi}J^{\lambda,\xi}\Pi^{q-1}(t)\Omega^{p-1}(t)\; {}^{\psi}J^{\kappa,\xi}\Pi(t)\Omega(t) .\\[0.3cm] (iii)\; \; \; &&\frac{1}{p}{}^{\psi}J^{\kappa,\xi}\Omega^p(t)\; {}^{\psi}J^{\lambda,\xi}\Pi^2(t)+\frac{1}{q}{}^{\psi}J^{\kappa,\xi}\Pi^q(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^2(t)\\ &\ge&{}^{\psi}J^{\lambda,\xi}\Omega^{2/p}(t)\Pi^{2/q}(t)\; {}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t).\\[0.3cm] (iv)\; \; \; &&\frac{1}{p}{}^{\psi}J^{\kappa,\xi}\Omega^2(t)\; {}^{\psi}J^{\lambda,\xi}\Pi^q(t)+\frac{1}{q}{}^{\psi}J^{\kappa,\xi}\Pi^2(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^p(t)\\ &\ge&{}^{\psi}J^{\lambda,\xi}\Omega^{p-1}(t)\Pi^{q-1}(t)\; {}^{\psi}J^{\kappa,\xi}\Omega^{2/p}(t)\Pi^{2/q}(t). \end{eqnarray*}

    Theorem 8.4. [27] Assume that the assumptions on Theorem 8.2 hold. If p, q > 1 are such that \frac{1}{p}+\frac{1}{q} = 1, then, for t > 0 we have:

    \begin{eqnarray*} (a)\; \; \; &&p\; {}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}\Pi(t)+q\; {}^{\psi}J^{\kappa,\xi}\Pi(t)\; {}^{\psi}J^{\lambda,\xi}\Omega(t) \\ &\ge&{}^{\psi}J^{\kappa,\xi}\Omega^p(t)\Pi^q(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^q(t)\Pi^{p}(t).\\[0.3cm] (b)\; \; \; &&p\; {}^{\psi}J^{\kappa,\xi}\Omega^{p-1}(t)\; {}^{\psi}J^{\lambda,\xi}\Omega(t) \Pi^q(t)+q\; {}^{\psi}J^{\kappa,\xi}\Omega^{q-1}(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^q(t)\Pi(t)\\ &\ge&{}^{\psi}J^{\kappa,\xi}\Pi^q(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^p(t).\\[0.3cm] (c)\; \; \; &&p\; {}^{\psi}J^{\kappa,\xi}\Omega(t) \; {}^{\psi}J^{\lambda,\xi}\Pi^{2/p}(t)+q\; {}^{\psi}J^{\kappa,\xi}\Pi^{q}(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^{2/q}(t))\\ &\ge&{}^{\psi}J^{\lambda,\xi}\Omega^p(t)\Pi(t)\; {}^{\psi}J^{\kappa,\xi}\Pi^q(t)\Omega^2(t).\\[0.3cm] (d)\; \; \; &&p\; {}^{\psi}J^{\kappa,\xi}\Omega^{2/p}(t)\Pi^q(t)\; {}^{\psi}J^{\lambda,\xi}\Pi^{q-1}(t)+q\; {}^{\psi}J^{\kappa,\xi}\Pi^{q-1}(t)\; {}^{\psi}J^{\lambda,\xi}\Omega^{2/q}(t)\Pi^p(t)\\ &\ge&{}^{\psi}J^{\lambda,\xi}\Omega^2(t)\; {}^{\psi}J^{\kappa,\xi}\Pi^2(t). \end{eqnarray*}

    Theorem 8.5. [27] Assume that the assumptions on Theorem 8.2 hold. Let p, q > 1 be such that \frac{1}{p}+\frac{1}{q} = 1. Suppose that

    \mathcal{K} = \min\limits_{0\le s\le t}\frac{\Omega(t) }{\Pi(t)}\; \; \; \; and\; \; \; \; \mathcal{H} = \max\limits_{0\le s\le t}\frac{\Omega(t) }{\Pi(t)}.

    Then, for t > 0 we have:

    \begin{eqnarray*} (i)\; \; \; &&{}^{\psi}J^{\kappa,\xi}\Omega^2(t)\; {}^{\psi}J^{\kappa,\xi}\Pi^2(t)\le \frac{(\mathcal{K}+\mathcal{H})^2}{4\mathcal{K}\mathcal{H}}\Big({}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t)\Big)^2,\\[0.3cm] (ii)\; \; \; 0&\le&\sqrt{{}^{\psi}J^{\kappa,\xi}\Omega^2(t)\; {}^{\psi}J^{\kappa,\xi}\Pi^2(t)}-\Big({}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t)\Big)\\ &\le&\frac{\sqrt{\mathcal{H}}-\sqrt{\mathcal{K}}}{2\sqrt{\mathcal{K}\mathcal{H}}}\Big({}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t)\Big),\\[0.3cm] (iii)\; \; \; 0&\le&{}^{\psi}J^{\kappa,\xi}\Omega^2(t)\; {}^{\psi}J^{\kappa,\xi}\Pi^2(t)-\Big({}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t)\Big)^2\\ &\le&\frac{\mathcal{H}-\mathcal{K}}{4\mathcal{K}\mathcal{H}}\Big({}^{\psi}J^{\kappa,\xi}\Omega(t) \Pi(t)\Big)^2. \end{eqnarray*}

    In this section we deal with Grüss-type integral inequalities concerning conformable fractional integrals.

    We now introduced the definition of the generalized mixed \eta -conformable fractional integral.

    Definition 9.1. [28] Assume that \Omega: [x_1, x_2]\to \mathbb{R} and \alpha\in \mathbb{C}, \Re(\alpha) > 0, \rho > 0, \eta is defined on [x_1, x_2] \times [x_1, x_2]. Then the mixed left \eta -conformable generalized fractional integral of \Omega is defined by

    \begin{align} J_{\eta}^{\alpha,\rho}\Omega(x) = \frac{1}{\Gamma(\alpha)}\int_{x_1+\eta(x,x_1)}^{x_2}\Omega(s)\Big(\frac{(\eta(x_2,s))^{\rho}-(x_1-x+\eta(x_2,x_1))^{\rho}}{\rho}\Big)^{\alpha-1}(\eta(x_2,s))^{\rho-1}ds, \end{align}

    and the mixed right \eta -conformable generalized fractional integral of \Omega is defined by

    \begin{align} J_{\eta}^{\alpha,\rho}\Omega(x) = \frac{1}{\Gamma(\alpha)}\int_{x_1}^{x_1+\eta(x,x_1)}\Omega(s)\Big(\frac{(\eta(s,x_1))^{\rho}-(x-b+\eta(x_2,x_1))^{\rho}}{\rho}\Big)^{\alpha-1}(\eta(s,x_1))^{\rho-1}ds. \end{align}

    Theorem 9.1. [28] Assume that \Omega: [0, \infty) is an integrable function satisfying (H_1) and t > 0, \alpha, \beta, \rho > 0. Then, we have:

    J_{\eta}^{\beta,\rho}Q_1(t)J_{\eta}^{\alpha,\rho}\Omega(t) +J_{\eta}^{\alpha,\rho}Q_2(t)J_{\eta}^{\beta,\rho}\Omega(t) \ge J_{\eta}^{\alpha,\rho}Q_2(t)J_{\eta}^{\beta,\rho}Q_1(t)+ J_{\eta}^{\alpha,\rho}\Omega(t) J_{\eta}^{\beta,\rho}\Omega(t) .

    Theorem 9.2. [28] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable function satisfying (H_1) and (H_2) and t > 0, \alpha, \beta, \rho > 0. Then we have:

    (ⅰ). J_{\eta}^{\beta, \rho} R_1(t)J_{\eta}^{\alpha, \rho}\Omega(t) +J_{\eta}^{\alpha, \rho}Q_2(t)J_{\eta}^{\beta, \rho}\Pi(t)\ge J_{\eta}^{\beta, \rho} R_1(t)J_{\eta}^{\alpha, \rho}Q_2(t)+ J_{\eta}^{\alpha, \rho}\Omega(t) J_{\eta}^{\beta, \rho}\Pi(t).

    (ⅱ). J_{\eta}^{\beta, \rho}Q_1(t)J_{\eta}^{\alpha, \rho}\Pi(t)+J_{\eta}^{\alpha, \rho} R_2(t)J_{\eta}^{\beta, \rho}\Omega(t) \ge J_{\eta}^{\beta, \rho}Q_1(t)J_{\eta}^{\alpha, \rho} R_2(t)+ J_{\eta}^{\beta, \rho}\Omega(t) J_{\eta}^{\alpha, \rho}\Pi(t).

    (ⅲ). J_{\eta}^{\alpha, \rho}Q_2(t)J_{\eta}^{\beta, \rho} R_2(t)+J_{\eta}^{\alpha, \rho}\Omega(t) J_{\eta}^{\beta, \rho}\Pi(t)\ge J_{\eta}^{\alpha, \rho}Q_2(t)J_{\eta}^{\beta, \rho}\Pi(t)+ J_{\eta}^{\beta, \rho} R_2(t)J_{\eta}^{\alpha, \rho}\Omega(t).

    (ⅳ). J_{\eta}^{\alpha, \rho}Q_1(t)J_{\eta}^{\beta, \rho} R_1(t)+J_{\eta}^{\alpha, \rho}\Omega(t) J_{\eta}^{\beta, \rho}\Pi(t)\ge J_{\eta}^{\alpha, \rho}Q_1(t)J_{\eta}^{\beta, \rho}\Pi(t)+ J_{\eta}^{\beta, \rho} R_1(t)J_{\eta}^{\alpha, \rho}\Omega(t).

    Theorem 9.3. [28] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable function satisfying (H_1) and (H_2) and t > 0, \alpha, \beta, \rho > 0. Then:

    \begin{eqnarray*} &&\Big|J_{\eta}^{\alpha,\rho}\Omega(t) \Pi(t)\Big\{\frac{(\eta(x_2,x_1+\eta(t,x_1))^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}-\frac{(\eta(x_2,x_1)^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}\Big\}\\ &&-J_{\eta}^{\alpha,\rho}\Omega(t) J_{\eta}^{\alpha,\rho}\Pi(t)\Big|\\ &\le& \sqrt{T(\Omega, Q_1,Q_2)T(\Pi, R_1, R_2)}, \end{eqnarray*}

    where

    \begin{eqnarray*} &&T(u,v,w)\\ & = &(J_{\eta}^{\alpha,\rho}w(t)-J_{\eta}^{\alpha,\rho}u(t))(J_{\eta}^{\alpha,\rho}u(t)-J_{\eta}^{\alpha,\rho}v(t))+J_{\eta}^{\alpha,\rho}v(t)u(t)\\ &&\times \Big\{\frac{(\eta(x_2,x_1+\eta(t,x_1))^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}-\frac{(\eta(x_2,x_1)^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}\Big\}\\ &&-J_{\eta}^{\alpha,\rho}v(t)J_{\eta}^{\alpha,\rho}u(t)\\ &&+J_{\eta}^{\alpha,\rho}w(t)\Big\{\frac{(\eta(x_2,x_1+\eta(t,x_1))^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}-\frac{(\eta(x_2,x_1)^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}\Big\}\\ &&-J_{\eta}^{\alpha,\rho}w(t)J_{\eta}^{\alpha,\rho}u(t)+J_{\eta}^{\alpha,\rho}v(t)J_{\eta}^{\alpha,\rho}w(t)\\ &&-J_{\eta}^{\alpha,\rho}v(t)w(t)\Big\{\frac{(\eta(x_2,x_1+\eta(t,x_1))^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}-\frac{(\eta(x_2,x_1)^{\rho}-(x_1-t+\eta(x_2,x_1))^{\rho})^{\alpha}}{\Gamma(\alpha+1)\rho^{\alpha}}\Big\}. \end{eqnarray*}

    The (k, s) -fractional conformable integral operator is defined as

    Definition 9.2. [29] Let \Omega be an integrable function, \alpha\in \mathbb{C}, \Re(\alpha) > 0 and s > 0. The (k, s) -fractional conformable integral operator is defined as

    \begin{align} I_{k}^{\alpha,s}\Omega(t) = \frac{s^{1-\frac{\alpha}{k}}}{k\Gamma_k(\alpha)}\int_{x_1}^t\Big[(t-x_1)^s-(x-x_1)^s\Big]^{\frac{\alpha}{k}-1}(x-x_1)^{s-1}\Omega(x)ds, \; \; t\in [x_1, x_2]. \end{align}

    Here, we present Grüss type inequalities involving the (k, s) -fractional conformable integral I_{k}^{\alpha, s} defined in Definition 9.2.

    Theorem 9.4. [29] Assume that \Omega: [0, \infty)\to \mathbb{R} is an integrable function satisfying (H_1) and k, s, \alpha, \beta > 0. Then we have:

    I_{k}^{\beta,s}Q_1(t)I_{k}^{\alpha,s}\Omega(t) +I_{k}^{\alpha,s}Q_2(t)I_{k}^{\beta,s}\Omega(t) \ge I_{k}^{\alpha,s}Q_2(t)I_{k}^{\beta,s}Q_1(t)+I_{k}^{\alpha,s}\Omega(t) I_{k}^{\beta,s}\Omega(t) .

    Theorem 9.5. [29] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable function satisfyingt (H_1) and (H_2) and k, s, \alpha, \beta > 0. Then we have:

    (ⅰ). I_{k}^{\beta, s} R_1(t)I_{k}^{\alpha, s}\Omega(t) +I_{k}^{\alpha, s}Q_2(t)I_{k}^{\beta, s}\Pi(t)\ge I_{k}^{\beta, s} R_1(t)I_{k}^{\beta, s}Q_2(t)+I_{k}^{\alpha, s}\Omega(t) I_{k}^{\beta, s}\Pi(t).

    (ⅱ). I_{k}^{\beta, s}Q_1(t)I_{k}^{\alpha, s}\Pi(t)+I_{k}^{\alpha, s} R_2(t)I_{k}^{\beta, s}\Omega(t) \ge I_{k}^{\beta, s}Q_1(t)I_{k}^{\beta, s} R_2(t)+I_{k}^{\alpha, s}\Pi(t)I_{k}^{\beta, s}\Omega(t).

    (ⅲ). I_{k}^{\alpha, s}Q_2(t)I_{k}^{\beta, s} R_2(t)+I_{k}^{\alpha, s}\Omega(t) I_{k}^{\beta, s}\Pi(t)\ge I_{k}^{\alpha, s}Q_2(t)I_{k}^{\beta, s}\Pi(t)+I_{k}^{\beta, s} R_2(t)I_{k}^{\alpha, s}\Omega(t).

    (ⅳ). I_{k}^{\alpha, s}Q_1(t)I_{k}^{\beta, s} R_1(t)+I_{k}^{\alpha, s}\Omega(t) I_{k}^{\beta, s}\Pi(t)\ge I_{k}^{\alpha, s}Q_1(t)I_{k}^{\beta, s}\Pi(t)+I_{k}^{\beta, s} R_1(t)I_{k}^{\alpha, s}\Omega(t).

    Theorem 9.6. [29] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable function satisfyingt (H_1) and (H_2) and k, s, \alpha > 0. Then we have:

    \Big|\frac{s^{-\frac{\alpha}{k}}(t-x_1)^{\frac{s\alpha}{k}}}{\Gamma_k(\alpha+k)}I_{k}^{\alpha,s}(\Omega(t) \Pi(t))-I_{k}^{\alpha,s}\Omega(t) I_{k}^{\alpha,s}\Pi(t)\Big|\ge \sqrt{T_k(\Omega, Q_1,Q_2)T_k(\Pi, R_1, R_2)},

    where

    \begin{eqnarray*} T_k(x,y,z)& = &(I_{k}^{\alpha,s}z(t)-I_{k}^{\alpha,s}x(t))(I_{k}^{\alpha,s}x(t)-I_{k}^{\alpha,s}y(t))\\ &&+\frac{s^{-\frac{\alpha}{k}}(t-x_1)^{\frac{s\alpha}{k}}}{\Gamma_k(\alpha+k)}I_{k}^{\alpha,s}(y(t)x(t))-I_{k}^{\alpha,s}y(t)I_{k}^{\alpha,s}x(t)\\ &&+\frac{s^{-\frac{\alpha}{k}}(t-x_1)^{\frac{s\alpha}{k}}}{\Gamma_k(\alpha+k)}I_{k}^{\alpha,s}(z(t)x(t))-I_{k}^{\alpha,s}z(t)I_{k}^{\alpha,s}x(t)\\ &&-\frac{s^{-\frac{\alpha}{k}}(t-x_1)^{\frac{s\alpha}{k}}}{\Gamma_k(\alpha+k)}I_{k}^{\alpha,s}(y(t)z(t))+I_{k}^{\alpha,s}y(t)I_{k}^{\alpha,s}z(t). \end{eqnarray*}

    Definition 9.3. [30] Let \lambda\in \mathbb{C}, \Re(\lambda) > 0. We define the left and right sided fractional conformable integral operators as

    \begin{align} {}^{\lambda}_{x_1}J^{\mu}\Omega(x) = \frac{1}{\Gamma(\lambda)}\int_{x_1}^x\Big(\frac{(x-x_1)^{\mu}-(t-x_1)^{\mu}}{\mu}\Big)^{\lambda-1}\frac{\Omega(t) }{(t-x_1)^{1-\mu}}dt, \end{align}
    \begin{align} {}^{\lambda}_{x_2}J^{\mu}\Omega(x) = \frac{1}{\Gamma(\lambda)}\int_x^{x_2}\Big(\frac{(x_2-x)^{\mu}-(x_2-t)^{\mu}}{\mu}\Big)^{\lambda-1}\frac{\Omega(t) }{(x_2-t)^{1-\mu}}dt. \end{align}

    For the results in this section we consider x_1 = 0.

    Theorem 9.7. [30] Suppose that \Omega: [0, \infty)\to \mathbb{R} is an integrable function satisfying (H_1). Then for x, \alpha, \beta > 0 we have:

    {}^{\beta}J^{\mu}Q_1(t)\; {}^{\alpha}J^{\mu}\Omega(t) +{}^{\alpha}J^{\mu}Q_2(t)\; {}^{\beta}J^{\mu}\Omega(t) \ge {}^{\alpha}J^{\mu}Q_2(t)\; {}^{\beta}J^{\mu}Q_1(t)+{}^{\alpha}J^{\mu}\Omega(t) \; {}^{\beta}J^{\mu}\Omega(t).

    Theorem 9.8. [30] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). Then for x, \alpha, \beta > 0 we have:

    (1) ^{\beta}J^{\mu} R_1(t)\; ^{\alpha}J^{\mu}\Omega(t) +^{\alpha}J^{\mu}Q_2(t)\; ^{\beta}J^{\mu}\Pi(t)\ge ^{\alpha}J^{\mu}Q_2(t)\; ^{\beta}J^{\mu} R_1(t)+^{\alpha}J^{\mu}\Omega(t) \; ^{\beta}J^{\mu}\Pi(t).

    (2) ^{\beta}J^{\mu}Q_1(t)\; ^{\alpha}J^{\mu}\Pi(t)+^{\alpha}J^{\mu} R_2(t)\; ^{\beta}J^{\mu}\Omega(t) \ge ^{\alpha}J^{\mu}Q_1(t)\; ^{\beta}J^{\mu} R_2(t)+^{\alpha}J^{\mu}\Omega(t) \; ^{\beta}J^{\mu}\Pi(t).

    (3) ^{\alpha}J^{\mu}Q_2(t)\; ^{\beta}J^{\mu} R_2(t)+^{\alpha}J^{\mu}\Omega(t) \; ^{\beta}J^{\mu}\Pi(t)\ge ^{\alpha}J^{\mu}Q_2(t)\; ^{\beta}J^{\mu}\Pi(t)+^{\beta}J^{\mu} R_2(t)\; ^{\alpha}J^{\mu}\Omega(t).

    (4) ^{\alpha}J^{\mu}Q_1(t)\; ^{\beta}J^{\mu} R_1(t)+^{\alpha}J^{\mu}\Omega(t) \; ^{\beta}J^{\mu}\Pi(t)\ge ^{\alpha}J^{\mu}Q_1(t)\; ^{\beta}J^{\mu}\Pi(t)+^{\alpha}J^{\mu}\Omega(t) \; ^{\beta}J^{\mu} R_1(t).

    Theorem 9.9. [30] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). Then for x, \alpha, \beta > 0 we have:

    \Bigg|\frac{t^{\mu \alpha}}{\mu^{\alpha}\Gamma(\alpha+1)} {}^{\alpha}J^{\mu}\Omega(t) \Pi(t)-{}^{\alpha}J^{\mu}\Omega(t) \; {}^{\alpha}J^{\mu}\Pi(t)\Bigg|\le \sqrt{T(\Omega, Q_1, Q_2)T(\Pi, R_1 R_2)},

    where

    \begin{eqnarray*} T(y,z,w)& = &({}^{\alpha}J^{\mu}w(t)-{}^{\alpha}J^{\mu}y(t))({}^{\alpha}J^{\mu}y(t)-{}^{\alpha}J^{\mu}z(t))\\ &&+\frac{t^{\mu \alpha}}{\mu^{\alpha}\Gamma(\alpha+1)}{}^{\alpha}J^{\mu}z(t)y(t)-{}^{\alpha}J^{\mu}z(t)\; {}^{\alpha}J^{\mu}y(t)\\ &&+\frac{t^{\mu \alpha}}{\mu^{\alpha}\Gamma(\alpha+1)}{}^{\alpha}J^{\mu}w(t)y(t)-{}^{\alpha}J^{\mu}w(t)\; {}^{\alpha}J^{\mu}y(t)\\ &&+{}^{\alpha}J^{\mu}z(t)\; {}^{\alpha}J^{\mu}w(t)-\frac{t^{\mu \alpha}}{\mu^{\alpha}\Gamma(\alpha+1)}{}^{\alpha}J^{\mu}z(t)w(t). \end{eqnarray*}

    Definition 10.1. [31] The proportional fractional integrals, left- and right-sided, of a function \Omega of order \alpha and \sigma\in (0, 1] are defined by

    \begin{align} I^{\alpha,\sigma}_{x_1}\Omega(t) = \frac{1}{\sigma^{ \alpha}\Gamma(\alpha)}\int_{x_1}^te^{\frac{\sigma-1}{\sigma}(t-s)}(t-s)^{\alpha-1} \Omega(s)ds, \end{align}

    and

    \begin{align} I^{\alpha,\sigma}_{x_2}\Omega(t) = \frac{1}{\sigma^{\alpha}\Gamma(\alpha)}\int_t^{x_2}e^{\frac{\sigma-1}{\sigma}(s-t)}(s-t)^{\alpha-1} \Omega(s)ds , \end{align}

    where \alpha\in \mathbb{C}, \Re(\alpha) > 0.

    In what follows, we present Grüss-type inequality with the help of the proportional fractional integral defined above.

    Theorem 10.1. [31] Assume that \Omega: [0, \infty)\to \mathbb{R} is an integrable function satisfying (H_1). Then:

    I^{\beta,\sigma}Q_1(t)I^{\alpha,\sigma}\Omega(t) +I^{\alpha,\sigma}Q_2(t)I^{\beta,\sigma}\Omega(t) \ge I^{\alpha,\sigma}Q_2(t)I^{\beta,\sigma}Q_1(t)+I^{\beta,\sigma}\Omega(t) I^{\beta,\sigma}\Omega(t) .

    Theorem 10.2. [31] Let \sigma\in (0, 1]. Suppose that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). Then the following inequalities hold:

    (a) I^{\beta, \sigma} R_1(t)I^{\alpha, \sigma}\Omega(t) +I^{\alpha, \sigma}Q_2(t)I^{\beta, \sigma}\Pi(t)\ge I^{\beta, \sigma} R_1(t)I^{\alpha, \sigma}Q_2(t)+I^{\alpha, \sigma}\Omega(t) I^{\beta, \sigma}\Pi(t).

    (b) I^{\beta, \sigma}Q_1(t)I^{\alpha, \sigma}\Pi(t)+I^{\alpha, \sigma} R_2(t)I^{\beta, \sigma}\Omega(t) \ge I^{\beta, \sigma}Q_1(t)I^{\alpha, \sigma} R_2(t)+I^{\beta, \sigma}\Omega(t) I^{\alpha, \sigma}\Pi(t).

    (c) I^{\alpha, \sigma}Q_2(t)I^{\beta, \sigma} R_2(t)+I^{\alpha, \sigma}\Omega(t) I^{\beta, \sigma}\Pi(t)\ge I^{\alpha, \sigma}Q_2(t)I^{\beta, \sigma}\Pi(t)+I^{\beta, \sigma} R_2(t)I^{\alpha, \sigma}\Omega(t).

    (d) I^{\alpha, \sigma}Q_1(t)I^{\beta, \sigma} R_1(t)+I^{\alpha, \sigma}\Omega(t) I^{\beta, \sigma}\Pi(t)\ge I^{\alpha, \sigma}Q_1(t)I^{\beta, \sigma}\Pi(t)+I^{\beta, \sigma} R_1(t)I^{\alpha, \sigma}\Omega(t).

    Theorem 10.3. [31] Let x > 0, \alpha, \beta > 0, and p, q > 1 satisfying \frac{1}{p} + \frac{1}{q} = 1, and \Omega, \Pi: [0, \infty)\to \mathbb{R} be two positive integrable functions. Then we have:

    \begin{eqnarray*} (i)\; \; \; &&\frac{1}{p}J_{0+}^{\alpha,\sigma}\Omega^p(x)\; J_{0+}^{\beta,\sigma}\Pi^p(x)+\frac{1}{q}J_{0+}^{\alpha,\sigma}\Pi^q(x)\; J_{0+}^{\beta,\sigma}\Omega^q(x)\\ &\ge& \Big(J_{0+}^{\alpha,\sigma}\Omega(x)\Pi(x)\Big)\Big(J_{0+}^{\beta,\sigma}\Omega(x)\Pi(x)\Big).\\[0.3cm] (ii)\; \; \; &&\frac{1}{p}J_{0+}^{\beta,\sigma}\Pi^q(x)\; J_{0+}^{\alpha,\sigma}\Omega^p(x)+\frac{1}{q}J_{0+}^{\beta,\sigma}\Omega^p(x)\; J_{0+}^{\alpha,\sigma}\Pi^q(x)\\ &\ge& \Big(J_{0+}^{\beta,\sigma}\Omega^{p-1}\Pi^{q-1}(x)\Big)\Big(J_{0+}^{\alpha,\sigma}\Omega(x) \Pi(x)\Big).\\[0.3cm] (iii)\; \; \; &&\frac{1}{p}J_{0+}^{\beta,\sigma}\Pi^2(x)\; J_{0+}^{\alpha,\sigma}\Omega^p(x)+\frac{1}{q}J_{0+}^{\beta,\sigma}\Omega^2(x)\; J_{0+}^{\alpha,\sigma}\Pi^q(x)\\ &\ge& \Big(J_{0+}^{\beta,\sigma}\Omega^{2/q}(x)\Pi^{2/p}(x)\Big)\Big(J_{0+}^{\alpha,\sigma}\Omega(x)\Pi(x)\Big).\\[0.3cm] (iv)\; \; \; &&\frac{1}{p}J_{0+}^{\beta,\sigma}\Pi^q(x)\; J_{0+}^{\alpha,\sigma}\Omega^2(x)+\frac{1}{q}J_{0+}^{\beta,\sigma}\Omega^p(x)\; J_{0+}^{\alpha,\sigma}\Pi^2(x)\\ &\ge& \Big(J_{0+}^{\beta,\sigma}\Omega^{p-1}(x)\Pi^{q-1}(x)\Big)\Big(J_{0+}^{\alpha,\sigma}\Omega^{2/p}(x)\Pi^{2/p}(x)\Big). \end{eqnarray*}

    Theorem 10.4. [31] Let the assumptions of Theorem 10.1 be hold. In addition, let

    \mu = \min\limits_{0\le t\le x}\frac{\Omega(t) }{\Pi(t)}\; \; \; and\; \; \; \mathcal{M} = \max\limits_{0\le t\le x}\frac{\Omega(t) }{\Pi(t)}.

    Then, we have:

    \begin{eqnarray*} (a)\; \; \; 0&\le&\Big(J_{0+}^{\alpha,\sigma}\Omega^2(x)\; J_{0+}^{\alpha,\sigma}\Pi^2(x)\Big)\le \frac{(\mathcal{M}+\mu)^2}{4\mu\mathcal{M}}\Big(J_{0+}^{\alpha,\sigma}\Omega(x) \Pi(x)\Big)^2.\\[0.3cm] (b)\; \; \; 0&\le&\sqrt{J_{0+}^{\alpha,\sigma}\Omega^2(x)\; J_{0+}^{\alpha,\sigma}\Pi^2(x)}-\Big(J_{0+}^{\alpha,\sigma}\Omega(x)\Pi(x)\Big)\\ &\le&\frac{(\sqrt{\mathcal{M}}-\sqrt{\mu})^2}{2\sqrt{\mu\mathcal{M}}}\Big(J_{0+}^{\alpha,\sigma}\Omega(x) \Pi(x)\Big).\\[0.3cm] (c)\; \; \; 0&\le&J_{0+}^{\alpha,\sigma}\Omega^2(x)\; J_{0+}^{\alpha,\sigma}\Pi^2(x)-\Big(J_{0+}^{\alpha,\sigma}\Omega(x) \Pi(x)\Big)^2\\ &\le&\frac{(\mathcal{M}-\mu)^2}{4\mu\mathcal{M}}\Big(J_{0+}^{\alpha,\sigma}\Omega(x) \Pi(x)\Big)^2. \end{eqnarray*}

    Definition 10.2. [32] Assume that \Omega is integrable and \psi is a strictly increasing continuous function on [x_1, x_2]. For \sigma\in (0, 1], \alpha\in \mathbb{C}, \Re(\alpha)\ge 0, k\in \mathbb{R}^+, we define the left- and right-sided proportional k -fractional integrals, respectively, as

    \begin{align} {}^{k,\psi}I^{\alpha,\sigma}_{x_1}\Omega(t) = \frac{1}{\sigma^{\frac{\alpha}{k}}k\Gamma_k(\alpha)}\int_{x_1}^te^{\frac{\sigma-1}{\sigma}(\psi(t)-\psi(s))}(\psi(t)-\psi(s))^{\frac{\alpha}{k}-1}\psi'(s)\Omega(s)ds, \end{align}

    and

    \begin{align} {}^{k,\psi}I^{\alpha,\sigma}_{x_2}\Omega(t) = \frac{1}{\sigma^{\frac{\alpha}{k}}k\Gamma_k(\alpha)}\int_t^{x_2}e^{\frac{\sigma-1}{\sigma}(\psi(s)-\psi(t))}(\psi(s)-\psi(t))^{\frac{\alpha}{k}-1}\psi'(s)\Omega(s)ds. \end{align}

    In what follows, we present Grüss-type inequality with the help of the generalized k -fractional integral.

    Theorem 10.5. [32] Let \Omega, \Pi:[0, \infty)\to \mathbb{R} be positive integrable functions. satisfying (H_1), (H_2) with positive integrable functions Q_1, Q_2, R_1, R_2 and \psi be a strictly increasing continuous function. Tthen the following inequality also holds:

    \begin{eqnarray*} &&\Bigg|\frac{\frac{1}{\alpha}[\psi(t)-\psi(0))^{\frac{\alpha}{k}}}{\sigma^{\frac{\alpha}{k}}\Gamma_k(\alpha)}{}^{k,\psi}I^{\alpha,\sigma}\Omega(t) \Pi(t)-{}^{k,\psi}I^{\alpha,\sigma}\Omega(t) \; {}^{k,\psi}I^{\alpha,\sigma}\Pi(t)\Bigg|\\ &\le&\sqrt{T(\Omega, Q_1,Q_2)(t)T(\Pi, R_1, R_2)(t)}, \end{eqnarray*}

    where

    T(u,v,w)(t) = \frac{\frac{1}{\alpha}[\psi(t)-\psi(0))^{\frac{\alpha}{k}}}{4\sigma^{\frac{\alpha}{k}}\Gamma_k(\alpha)}\frac{\Big({}^{k,\psi}I^{\alpha,\sigma}\{(v+w)u\}(t)\Big)^2}{{}^{k,\psi}I^{\alpha,\sigma}\Omega(t) \Pi(t)}-\Big({}^{k,\psi}I^{\alpha,\sigma}(u)(t)\Big)^2.

    Definition 11.1. A function \Omega is said to be L_{p, s}[x_1, x_2] if

    \begin{align} \Big(\int_{x_1}^{x_2}|\Omega(t) |^pt^s dt\Big)^{1/p} < \infty, \; \; 1\le p < \infty, \; \; s\ge 0. \end{align}

    Definition 11.2. [33] Let \Omega\in L_{1, s}[0, \infty). The Riemann-Liouville generalized fractional integral of \Omega of order \alpha > 0 and s\ge 0 is defined by

    \begin{align} I^{\alpha,s}\Omega(t) = \frac{(s+1)^{1- \alpha}}{\Gamma(\alpha)}\int_{x_1}^t(t^{s+1}-\tau^{s+1})^{\alpha-1}\tau^s\Omega(\tau)d\tau, \; \; t\in [x_1, x_2]. \end{align}

    In this section, we present some Grüss type inequalities via the fractional integral defined in Definition 11.2.

    Theorem 11.1. [34] Let \Omega\in L_{1, s}[x_1, x_2] satisfying (H_1) and k > 0, s\ge 0, \alpha, \beta > 0. Then we have the following inequality:

    I^{\beta,s}Q_1(t)I^{\alpha,s}\Omega(t) +I^{\alpha,s}Q_2(t)I^{\beta,s}\Omega(t) \ge I^{\alpha,s}Q_2(t)I^{\beta,s}Q_1(t)+I^{\alpha,s}\Omega(t) I^{\beta,s}\Omega(t) .

    Theorem 11.2. [34] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2) and k > 0, s\ge 0, \alpha, \beta > 0. Then we have the following inequalities:

    (ⅰ) I^{\beta, s} R_1(t)I^{\alpha, s}\Omega(t) +I^{\alpha, s}Q_2(t)I^{\beta, s}\Pi(t)\ge I^{\beta, s} R_1(t)I^{\alpha, s}Q_2(t)+I^{\alpha, s}\Omega(t) I^{\beta, s}\Pi(t).

    (ⅱ) I^{\beta, s}Q_1(t)I^{\alpha, s}\Pi(t)+I^{\alpha, s} R_2(t)I^{\beta, s}\Omega(t) \ge I^{\beta, s}Q_1(t)I^{\alpha, s} R_2(t)+I^{\alpha, s}\Pi(t)I^{\beta, s}\Omega(t).

    (ⅲ) I^{\alpha, s}Q_2(t)I^{\beta, s} R_2(t)+I^{\alpha, s}\Omega(t) I^{\beta, s}\Pi(t)\ge I^{\alpha, s}Q_2(t)I^{\beta, s}\Pi(t)+I^{\beta, s} R_2(t)I^{\alpha, s}\Omega(t).

    (ⅳ) I^{\alpha, s}Q_1(t)I^{\beta, s} R_1(t)+I^{\alpha, s}\Omega(t) I^{\beta, s}\Pi(t)\ge I^{\alpha, s}Q_1(t)I^{\beta, s}\Pi(t)+I^{\beta, s} R_1(t)I^{\alpha, s}\Omega(t).

    Theorem 11.3. [35] Under the assumptions of Theorem 11.2 we have for all t\in [x_1, x_2], s\ge 0 and \alpha > 0

    \Bigg|\frac{(s+1)^{- \alpha}t^{(s+1) \alpha}}{\Gamma(\alpha+1)}I^{\alpha,s}\Omega(t) \Pi(t)-I^{\alpha,s}\Omega(t) I^{\alpha,s}\Pi(t)\Bigg|\le \sqrt{T(\Omega, Q_1,Q_1)T(\Pi, R_1, R_2)},

    where

    \begin{eqnarray*} T(x,y,z)& = &(I^{\alpha,s}z(t)-I^{\alpha,s}x(t))(I^{\alpha,s}x(t)-I^{\alpha,s}y(t))\\ &&+\frac{(s+1)^{- \alpha}t^{(s+1) \alpha}}{\Gamma(\alpha+1)}I^{\alpha,s}y(t)x(t)-I^{\alpha,s}y(t)I^{\alpha,s}x(t)\\ &&+\frac{(s+1)^{- \alpha}t^{(s+1) \alpha}}{\Gamma(\alpha+1)}I^{\alpha,s}z(t)x(t)-I^{\alpha,s}z(t)I^{\alpha,s}x(t)\\ &&-\frac{(s+1)^{- \alpha}t^{(s+1) \alpha}}{\Gamma(\alpha+1)}I^{\alpha,s}y(t)z(t)+I^{\alpha,s}y(t)I^{\alpha,s}x(t). \end{eqnarray*}

    Now we define (k, s) -Riemann-Liouville fractional integral.

    Definition 11.3. [33] Let \Omega: [x_1, x_2]\to \mathbb{R} be a continuous function. Then (k, s) -Riemann-Liouville fractional integral of \Omega of order \alpha > 0 is defined by

    \begin{align} J_{x_1,k}^{\alpha,s}\Omega(t) = \frac{(s+1)^{1-\frac{\alpha}{k}}}{k\Gamma_k(\alpha)}\int_{x_1}^t(t^{s+1}-\tau^{s+1})^{\frac{\alpha}{k}-1}\tau^s\Omega(\tau)d\tau, \; \; t\in [x_1, x_2],\end{align}

    where k > 0, s\in \mathbb{R}\setminus\{-1\}.

    Now, for the generalized (k, s) -Riemann-Liouville fractional integral defined above, we give some Grüss type inequalities.

    Theorem 11.4. [35] Let \Omega\in L_{1, s}[x_1, x_2] satisfying (H_1) and k > 0, s\ge 0, \alpha, \beta > 0. Then we have the following inequality:

    J_{x_1,k}^{\beta,s}Q_1(t)J_{x_1,k}^{\alpha,s}\Omega(t) +J_{x_1,k}^{\alpha,s}Q_2(t)\Omega(t) \ge J_{x_1,k}^{\alpha,s}Q_2(t)J_{x_1,k}^{\beta,s}Q_1(t)+J_{x_1,k}^{\alpha,s}\Omega(t) J_{x_1,k}^{\beta,s}\Omega(t) .

    Theorem 11.5. [35] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2) and k > 0, s\ge 0, \alpha, \beta > 0. Then we have:

    (ⅰ) J_{x_1, k}^{\beta, s} R_1(t)J_{x_1, k}^{\alpha, s}\Omega(t) +J_{x_1, k}^{\alpha, s}Q_2(t)J_{x_1, k}^{\beta, s}\Pi(t)\ge J_{x_1, k}^{\beta, s} R_1(t)J_{x_1, k}^{\alpha, s}Q_2(t)+J_{x_1, k}^{\alpha, s}\Omega(t) J_{x_1, k}^{\beta, s}\Pi(t).

    (ⅱ) J_{x_1, k}^{\beta, s}Q_1(t)J_{x_1, k}^{\alpha, s}\Pi(t)+J_{x_1, k}^{\alpha, s} R_2(t)J_{x_1, k}^{\beta, s}\Omega(t) \ge J_{x_1, k}^{\beta, s}Q_1(t)J_{x_1, k}^{\alpha, s} R_2(t)+J_{x_1, k}^{\alpha, s}\Pi(t)J_{x_1, k}^{\beta, s}\Omega(t).

    (ⅲ) J_{x_1, k}^{\alpha, s}Q_2(t)J_{x_1, k}^{\beta, s} R_2(t)+J_{x_1, k}^{\alpha, s}\Omega(t) J_{x_1, k}^{\beta, s}\Pi(t)\ge J_{x_1, k}^{\alpha, s}Q_2(t)J_{x_1, k}^{\beta, s}\Pi(t)+J_{x_1, k}^{\beta, s} R_2(t)J_{x_1, k}^{\alpha, s}\Omega(t).

    (ⅳ) J_{x_1, k}^{\alpha, s}Q_1(t)J_{x_1, k}^{\beta, s} R_1(t)+J_{x_1, k}^{\alpha, s}\Omega(t) J_{x_1, k}^{\beta, s}\Pi(t)\ge J_{x_1, k}^{\alpha, s}Q_1(t)J_{x_1, k}^{\beta, s}\Pi(t)+J_{x_1, k}^{\beta, s} R_1(t)J_{x_1, k}^{\alpha, s}\Omega(t).

    Theorem 11.6. [35] Under the assumptions of Theorem 11.5 we have for all t\in [x_1, x_2], s\ge 0 and \alpha > 0

    \Bigg|\frac{(s+1)^{-\frac{\alpha}{k}}t^{(s+1)\frac{\alpha}{k}}}{\Gamma_k(\alpha+k)}J_{x_1,k}^{\alpha,s}\Omega(t) \Pi(t)-J_{x_1,k}^{\alpha,s}\Omega(t) J_{x_1,k}^{\alpha,s}\Pi(t)\Bigg|\le \sqrt{T_k^s(\Omega,Q_1,Q_1)T_k^s(\Pi, R_1, R_2)},

    where

    \begin{eqnarray*} T_k^s(x,y,z)& = &(J_{x_1,k}^{\alpha,s}z(t)-J_{x_1,k}^{\alpha,s}x(t))(J_{x_1,k}^{\alpha,s}x(t)-J_{x_1,k}^{\alpha,s}y(t))\\ &&+\frac{(s+1)^{-\frac{\alpha}{k}}t^{(s+1)\frac{\alpha}{k}}}{\Gamma_k(\alpha+k)}J_{x_1,k}^{\alpha,s}y(t)x(t)-J_{x_1,k}^{\alpha,s}y(t)J_{x_1,k}^{\alpha,s}x(t)\\ &&+\frac{(s+1)^{-\frac{\alpha}{k}}t^{(s+1)\frac{\alpha}{k}}}{\Gamma_k(\alpha+k)}J_{x_1,k}^{\alpha,s}z(t)x(t)-J_{x_1,k}^{\alpha,s}z(t)J_{x_1,k}^{\alpha,s}x(t)\\ &&-\frac{(s+1)^{-\frac{\alpha}{k}}t^{(s+1)\frac{\alpha}{k}}}{\Gamma_k(\alpha+k)}J_{x_1,k}^{\alpha,s}y(t)z(t)+J_{x_1,k}^{\alpha,s}y(t)J_{x_1,k}^{\alpha,s}x(t). \end{eqnarray*}

    In this section, we present the Grüss-type fractional integral inequalities involving the Caputo-Fabrizio fractional integral.

    Definition 12.1. [36] Assume that \alpha\in \mathbb{R} such that 0 < \alpha < 1. We define the Caputo-Fabrizio fractional integral of a function \Omega of order \alpha by

    \begin{align} I_{0,t}^{\alpha}\Omega(t) = \frac{1}{\alpha}\int_0^t e^{-\big(\frac{1-\alpha}{\alpha}\big)(t-s)}\Omega(s)ds . \end{align}

    Theorem 12.1. [37] Assume that \Omega: [0, \infty)\to \mathbb{R} is an integrable function satisfying (H_1). Then, for t > 0 , \alpha, \beta > 0 , k > 0 , we have:

    \begin{equation*} I_{0,t}^{\beta}Q_{1}(t) I_{0,t}^{\alpha}\Omega(t) +\ I_{0,t}^{\alpha}Q_{2}(t) I_{0,t}^{\beta}\Omega(t) \geq \ I_{0,t}^{\alpha}Q_{2}(t) I_{0,t}^{\beta}Q_{1}(t) +\ I_{0,t}^{\alpha}\Omega(t) I_{0,t}^{\beta}\Omega(t) . \end{equation*}

    Theorem 12.2. [37] Suppose that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). Then, for t > 0 , \alpha , \beta > 0 , k > 0 we have the inequalities:

    (a) I_{0, t}^{\beta}R_{1}(t)\ I_{0, t}^{\alpha}\Omega(t) +\ I_{0, t}^{\alpha}Q_{2}(t)\ I_{0, t}^{\beta}\Pi(t)\geq \ I_{0, t}^{\beta}R _{1}(t)\ I_{0, t}^{\alpha}Q_{2}(t)+\ I_{0, t}^{\alpha}\Omega(t) \ I_{0, t}^{\beta}\Pi(t).

    (b) I_{0, t}^{\beta}Q_{1}(t)\ I_{0, t}^{\alpha}\Pi(t)+\ I_{0, t}^{\alpha}R_{2}(t)\ I_{0, t}^{\beta}\Omega(t) \geq \ I_{0, t}^{\beta}Q _{1}(t)\ I_{0, t}^{\alpha}R_{2}(t)+\ I_{0, t}^{\beta}\Omega(t) \ I_{0, t}^{\alpha}\Pi(t).

    (c) I_{0, t}^{\alpha}Q_{2}(t)_{\ k} I_{0, t}^{\beta}R _{2}(t)+\ I_{0, t}^{\alpha}\Omega(t) \ I_{0, t}^{\beta}\Pi(t)\geq \ I_{0, t}^{\alpha}Q_{2}(t)\ I_{0, t}^{\beta}\Pi(t)+\ I_{0, t}^{\beta}R_{2}(t)\ I_{0, t}^{\alpha}\Omega(t).

    (d) I_{0, t}^{\alpha}Q_{1}(t) I_{0, t}^{\beta}R _{1}(t)+\ I_{0, t}^{\alpha}\Omega(t) \ I_{0, t}^{\beta}\Pi(t)\geq \ I_{0, t}^{\alpha}Q_{1}(t)\ I_{0, t}^{\beta}\Pi(t)+\ I_{0, t}^{\beta}R_{1}(t)\ I_{0, t}^{\alpha}\Omega(t).

    Theorem 12.3. [37] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_{1}) and (H_{2}). Then for all t > 0 , \alpha > 0 , we have:

    \begin{equation*} \left\vert \Big(\frac{1}{1-\alpha}\Big[1-e^{-\big(\frac{1-\alpha}{\alpha}\big)t}\Big]\Big)\ I_{0,t}^{\alpha}\Omega(t) \Pi(t)-\ I_{0,t}^{\alpha}\Omega(t) \ I_{0,t}^{\alpha}\Pi(t)\right\vert \leq \sqrt{T(\Omega, Q_{1},Q_{2})T(\Pi, R_{1},R_{2})}, \end{equation*}

    where

    \begin{eqnarray*} T(y,z,w)& = &\left( \ I_{0,t}^{\alpha}w(t)-\ J^{\alpha }y(t)\right) \left( \ I_{0,t}^{\alpha}y(t)-\ I_{0,t}^{\alpha}z(t)\right)\\ && +\Big(\frac{1}{1-\alpha}\Big[1-e^{-\big(\frac{1-\alpha}{\alpha}\big)t}\Big]\Big) I_{0,t}^{\alpha}z(t)y(t)- I_{0,t}^{\alpha}z(t)\ I_{0,t}^{\alpha}y(t) \\ && +\Big(\frac{1}{1-\alpha}\Big[1-e^{-\big(\frac{1-\alpha}{\alpha}\big)t}\Big]\Big) I_{0,t}^{\alpha}w(t)y(t)- I_{0,t}^{\alpha}w(t)\ I_{0,t}^{\alpha}y(t) \\ && + I_{0,t}^{\alpha}z(t)\ I_{0,t}^{\alpha}w(t)+\Big(\frac{1}{1-\alpha}\Big[1-e^{-\big(\frac{1-\alpha}{\alpha}\big)t}\Big]\Big) I_{0,t}^{\alpha}z(t)w(t). \end{eqnarray*}

    In this section, Grüss-type fractional integral inequalities are presented via Saigo fractional integer operator.

    Definition 13.1. [38] Assume that \alpha > 0, \beta, \eta\in \mathbb{R}. The Saigo fractional integral I_{0, x}^{\alpha, \beta, \eta}[\Omega(x)] of order \alpha for a real-valued continuous function \Omega is defined by

    \begin{align} I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)] = \frac{x^{-\alpha-\beta}}{\Gamma(\alpha)}\int_0^x(x-t)^{\alpha-1}\; {}_{2}F_1\Big(\alpha+\beta, -\eta; \alpha; 1-\frac{t}{x}\Big)\Omega(t) dt,\end{align}

    where {}_{2}F_1 is the Gaussian hypergeometric function defined by

    {}_{2}F_1(a,b;c;x) = \sum\limits_{n = 0}^{\infty}\frac{(a)_n(b)_nx^n}{(c)_n n!},

    and (a)_n is the Pochhammer symbol

    (a)_0 = 1, \; (a)_n = a(a+1)\cdots(a+n-1) = \frac{\Gamma(a+n)}{\Gamma(a)}.

    Theorem 13.1. [39] Assume that \Omega, \Pi:[0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). Then for all x > 0, \alpha > \max\{0, -\beta\}, \beta < 1, \beta-1 < \eta < 0, one has

    \begin{eqnarray*} &&\Big|\frac{\Gamma(1-\beta+\eta)}{\Gamma(1-\beta)\Gamma(1+\alpha+\eta)x^{\beta}}I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)\Pi(x)]-I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]I_{0,x}^{\alpha,\beta,\eta}[\Pi(x)]\Big|\\ &\le&\sqrt{T(\Omega, Q_1(x),Q_2(x))T(\Pi, R_1(x), R_2(x))}, \end{eqnarray*}

    where

    \begin{eqnarray*} T(a,b,c)& = &(I_{0,x}^{\alpha,\beta,\eta}[c(x)]-I_{0,x}^{\alpha,\beta,\eta}[a(x)])(I_{0,x}^{\alpha,\beta,\eta}[a(x)]-I_{0,x}^{\alpha,\beta,\eta}[b(x)])\\ &&+\frac{\Gamma(1-\beta+\eta)}{\Gamma(1-\beta)\Gamma(1+\alpha+\eta)x^{\beta}}I_{0,x}^{\alpha,\beta,\eta}[b(x)a(x)]-I_{0,x}^{\alpha,\beta,\eta}[b(x)]I_{0,x}^{\alpha,\beta,\eta}[a(x)]\\ &&+\frac{\Gamma(1-\beta+\eta)}{\Gamma(1-\beta)\Gamma(1+\alpha+\eta)x^{\beta}}I_{0,x}^{\alpha,\beta,\eta}[c(x)a(x)]-I_{0,x}^{\alpha,\beta,\eta}[c(x)]I_{0,x}^{\alpha,\beta,\eta}[a(x)]\\ &&+ I_{0,x}^{\alpha,\beta,\eta}[b(x)]I_{0,x}^{\alpha,\beta,\eta}[c(x)]+\frac{\Gamma(1-\beta+\eta)}{\Gamma(1-\beta)\Gamma(1+\alpha+\eta)x^{\beta}}I_{0,x}^{\alpha,\beta,\eta}[b(x)c(x)]. \end{eqnarray*}

    Theorem 13.2. [39] Suppose that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfying (H_1) and (H_2). Then for all x > 0, \alpha > \max\{0, -\beta\}, \psi > \max\{0-\phi\}, \beta < 1, \beta-1 < \eta < 0, \phi < 1, \phi-1 < \zeta < 0, we have:

    \begin{eqnarray*} (a)\; \; &&I_{0,x}^{\psi,\phi,\zeta}[Q_1(x)]I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]+I_{0,x}^{\alpha,\beta,\eta}[Q_2(x)]I_{0,x}^{\psi,\phi,\zeta}[\Omega(x)]\\ &\ge&I_{0,x}^{\psi,\phi,\zeta}[Q_2(x)]I_{0,x}^{\alpha,\beta,\eta}[Q_1(x)]+I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]I_{0,x}^{\psi,\phi,\zeta}[\Omega(x)].\\[0.3cm] (b)\; \; &&I_{0,x}^{\psi,\phi,\zeta}[ R_1(x)]I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]+I_{0,x}^{\alpha,\beta,\eta}[Q_2(x)]I_{0,x}^{\psi,\phi,\zeta}[\Pi(x)]\\ &\ge&I_{0,x}^{\psi,\phi,\zeta}[ R_1(x)]I_{0,x}^{\alpha,\beta,\eta}[Q_2(x)]+I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]I_{0,x}^{\psi,\phi,\zeta}[\Pi(x)].\\[0.3cm] (c)\; \; &&I_{0,x}^{\psi,\phi,\zeta}[Q_1(x)]I_{0,x}^{\alpha,\beta,\eta}[\Pi(x)]+I_{0,x}^{\alpha,\beta,\eta}[ R_2(x)]I_{0,x}^{\psi,\phi,\zeta}[\Omega(x)]\\ &\ge&I_{0,x}^{\psi,\phi,\zeta}[Q_1(x)]I_{0,x}^{\alpha,\beta,\eta}[ R_2(x)]+I_{0,x}^{\psi,\phi,\zeta}[u\Omega(x)]I_{0,x}^{\alpha,\beta,\eta}[\Pi(x)].\\[0.3cm] (d)\; \; &&I_{0,x}^{\alpha,\beta,\eta}[Q_2(x)]I_{0,x}^{\psi,\phi,\zeta}[ R_2(x)]+I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]I_{0,x}^{\psi,\phi,\zeta}[\Pi(x)]\\ &\ge&I_{0,x}^{\alpha,\beta,\eta}[Q_2(x)]I_{0,x}^{\psi,\phi,\zeta}[\Pi(x)]+I_{0,x}^{\psi,\phi,\zeta}[ R_2(x)]I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)].\\[0.3cm] (e)\; \; &&I_{0,x}^{\alpha,\beta,\eta}[Q_1(x)]I_{0,x}^{\psi,\phi,\zeta}[ R_1(x)]+I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]I_{0,x}^{\psi,\phi,\zeta}[\Pi(x)]\\ &\ge&I_{0,x}^{\alpha,\beta,\eta}[Q_1(x)]I_{0,x}^{\psi,\phi,\zeta}[\Pi(x)]+I_{0,x}^{\psi,\phi,\zeta}[ R_1(x)]I_{0,x}^{\alpha,\beta,\eta}[\Omega(x)]. \end{eqnarray*}

    We define a fractional integral K^{\alpha, \beta, \eta} associated with the Gauss hypergeometric function as follows:

    Definition 13.2. [40] Let \Omega\in C_{\mu}. For \alpha > \max\{0, -(\eta+1)\}, \eta-\beta > -1, \beta < 1, we define a fractional integral K^{\alpha, \beta, \eta}f as follows:

    K^{\alpha,\beta,\eta}\Omega(t) = \frac{\Gamma(1-\beta)\Gamma(\alpha+\eta+1)}{\Gamma(\eta-\beta+1)}t^{\beta}I_{0+}^{\alpha,\beta,\eta}\Omega(t) ,

    where I_{0+}^{\alpha, \beta, \eta}f is the right-hand sided Gauss hypergeometric fractional integral of order \alpha defined in Definition 13.1.

    We present integral inequalities of Grüss type for the above defined hypergeometric fractional integral.

    Theorem 13.3. [40] Let \Omega, \Pi\in C_{\mu} satisfying the condition (H) on [0, \infty). Then for all t > 0, \alpha > \max\{0, -(\eta+1)\}, \eta-\beta > -1, \beta < 1, we have

    |K^{\alpha,\beta,\eta}\Omega(t) \Pi(t)-K^{\alpha,\beta,\eta}\Omega(t) K^{\alpha,\beta,\eta}\Pi(t)|\le \frac{1}{4}(\mathfrak{M}-\mathfrak{m})(\mathfrak{P}-\mathfrak{p}).

    Theorem 13.4. [40] Let \Omega and \Pi be two synchronous functions on [0, \infty). Then the following inequality holds:

    K^{\alpha,\beta,\eta}\Omega(t) \Pi(t)\ge K^{\alpha,\beta,\eta}\Omega(t) K^{\alpha,\beta,\eta}\Pi(t).

    Another fractional integral operator K^{\alpha, \beta, \eta, \delta} associated with the Gauss hypergeometric function is defined as follows.

    Definition 13.3. [41] Let \Omega\in C_{\mu}. For \alpha > \max\{0, -(\delta+\eta+1)\}, \eta-\beta > -1, \beta < 1, \delta > -1 we define a fractional integral K^{\alpha, \beta, \eta, \delta}\Omega as follows:

    K^{\alpha,\beta,\eta,\delta}\Omega(t) = \frac{\Gamma(1-\beta)\Gamma(\alpha+\delta+\eta+1)}{\Gamma(\eta-\beta+1)\Gamma(\delta+1)}t^{\beta+\beta}I_{0+}^{\alpha,\beta,\eta, \delta}\Omega(t) ,

    where I_{0+}^{\alpha, \beta, \eta, \delta}\Omega is the right-hand sided Gauss hypergeometric fractional integral of order \alpha defined by

    \begin{align} I_{0,x}^{\alpha,\beta,\eta, \delta}[\Omega(x)] = \frac{x^{-\alpha-\beta-2\delta}}{\Gamma(\alpha)}\int_0^x t^{\delta}(x-t)^{\alpha-1}\; {}_{2}F_1\Big(\alpha+\beta+\delta, -\eta; \alpha; 1-\frac{t}{x}\Big)\Omega(t) dt,\end{align}

    and {}_{2}F_1 is the Gaussian hypergeometric function defined in Definition 13.1.

    We establish two Grüss-type fractional integral inequalities involving the Gauss hypergeometric function.

    Theorem 13.5. [41] Assume that \Omega, \Pi: [x_1, x_2]\to \mathbb{R} are two integrable functions satisfying the condition (H) on [0, \infty). Then, for all x\in [0, \infty), \alpha > 0, \delta > -1, and \beta, \eta\in \mathbb{R} with \alpha+\beta+\delta\ge 0 and \eta\le 0, we have:

    |K^{\alpha,\beta,\eta;\delta}\Omega(t) \Pi(t)-K^{\alpha,\beta,\eta,\delta}\Omega(t) K^{\alpha,\beta,\eta,\delta}\Pi(t)|\le \frac{1}{4}(\mathfrak{M}-\mathfrak{m})(\mathfrak{P}-\mathfrak{p}).

    Theorem 13.6. [41] Suppose that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two synchronous functions (i.e (\Omega(t) -\Omega(s))(\Pi(t)-\Pi(s))\ge 0, \; t, s\in [0, \infty) ). Then, for all x\in [0, \infty), \alpha > 0, \delta > -1, and \beta, \eta\in \mathbb{R} with \alpha+\beta+\delta\ge 0 and \eta\le 0, we have:

    K^{\alpha,\beta,\eta,\delta}\Omega(t) \Pi(t)\ge K^{\alpha,\beta,\eta,\delta}\Omega(t) K^{\alpha,\beta,\eta,\delta}\Pi(t).

    Now we give some Grüss-type inequalities for generalized hypergeometric function fractional order integral operators. We start with the following definitions.

    Definition 13.4. [42] Let \alpha, \alpha', \beta, \beta', \gamma\in \mathbb{R} and \gamma > 0. Then the Saigo and Maeda fractional integral operator I_{t}^{\alpha, \alpha', \beta, \beta', \gamma}[\Omega(x)] of order \alpha for a real-valued continuous function \Omega is defined by

    \begin{align} I_{t}^{\alpha,\alpha',\beta,\beta',\gamma}[\Omega(x)] = \frac{x^{-\alpha}}{\Gamma(\gamma)}\int_0^x(x-t)^{\gamma-1}t^{-\alpha'}\; F_3\Big(\alpha, \alpha', \beta,\beta', \gamma, 1-\frac{t}{x}, 1-\frac{x}{t}\Big)\Omega(t) dt,\end{align}

    where F_3 is the Appell hypergeometric function defined by

    F_3(\alpha, \alpha', \beta,\beta', \gamma, x,y) = \sum\limits_{n = 0}^{\infty}\sum\limits_{n = 0}^{\infty}\frac{(\alpha)_n(\alpha')_n(\beta)_n(\beta')_n x^my^n}{(\gamma)_{m+n}m! n!}, \; \; \max\{|x|,|y|\} < 1,

    and (a)_n is the Pochhammer symbol.

    Definition 13.5. [43] Assume that \alpha, \alpha', \beta, \beta', \gamma\in \mathbb{R} such that

    \gamma > \max\{0, \alpha+\alpha'+\beta-1, \alpha+\alpha'-1,\alpha'+\beta-1\}\; \; and\; \; \beta' > \max\{-1,\alpha'-1\}.

    Then we define a fractional integral operator

    (S_t^{\alpha, \alpha', \beta, \beta', \gamma}\Omega)(x) = \frac{\Gamma(1+\gamma-\alpha-\alpha')\Gamma(1+\gamma-\alpha'-\beta)\Gamma(1+\beta')}{\Gamma(1+\gamma-\alpha-\alpha'-\beta)\Gamma(1+\beta'-\alpha')}x^{\alpha+\alpha'-\gamma}(I_t^{\alpha, \alpha', \beta, \beta', \gamma}\Omega)(x),

    where I_t^{\alpha, \alpha', \beta, \beta', \gamma} is the Saigo-Maeda fractional integral of order \gamma.

    The main results for Grüss inequalities are given now.

    Theorem 13.7. [43] Assume that h: [0, \infty)\to \mathbb{R} is an integrable function satisfying the condition m_1\le h(x)\le M_1 for all x\in [0, \infty). Then for \alpha, \alpha', \beta, \beta', \gamma\in \mathbb{R} we have:

    \begin{eqnarray*} && \Big|(S^{\alpha, \alpha', \beta, \beta', \gamma}_t h^2)(x)-\Big((S_t^{\alpha, \alpha', \beta, \beta', \gamma}h)(x)\Big)^2\\ & = &\Big(M_1-(S^{\alpha, \alpha', \beta, \beta', \gamma}_t h)(x)\Big)\Big((S^{\alpha, \alpha', \beta, \beta', \gamma}_t h)(x)-m\Big)(M_1-h)(h-m_1)(x), \end{eqnarray*}

    provided \alpha, \alpha', \beta, \beta', \gamma > 0.

    Theorem 13.8. [43] Assume that (H) holds on [0, \infty). In addition, let \Omega, \Pi\in C_{\mu}. Then for \alpha, \alpha', \beta, \beta', \gamma\in \mathbb{R} and \alpha, \alpha', \beta, \beta', \gamma > 0 we have:

    \begin{eqnarray*} \Big|(S^{\alpha, \alpha', \beta, \beta', \gamma}\Omega(x)\Pi(x)-(S^{\alpha, \alpha', \beta, \beta', \gamma}\Omega)(x)(S^{\alpha, \alpha', \beta, \beta', \gamma}\Pi)(x)\Big|\le \frac{1}{4} (\mathfrak{M}-\mathfrak{m})(\mathfrak{P}-\mathfrak{p}), \; \forall x\in [0,\infty). \end{eqnarray*}

    Theorem 13.9. [43] Let \Omega and \Pi be two synchronous functions on [0, \infty) and let v, w: [0, \infty) \to [0, \infty). Then for all t > 0,

    \begin{eqnarray*} && \Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t v\Omega\Pi\Big)(x)\Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t w\Big)(x)+\Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t w\Omega\Pi\Big)(x) \Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t v\Big)(x)\\ &\ge&\Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t w\Pi\Big)(x)\Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t v\Omega\Big)(x)+\Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t w\Omega\Big)(x) \Big(S^{\alpha, \alpha', \beta, \beta', \gamma}_t v\Pi\Big)(x). \end{eqnarray*}

    In this section we present Grüss-type integral inequalities via quantum calculus.

    Definition 14.1. [44] The Jakson's q -derivarive and q -integral of a function \Omega defined on J are, respectively, given by

    D_q\Omega(t) = \frac{\Omega(t) -\Omega(tq)}{t(1-q)}, \; \; \; t\ne 0, \; \; q\ne 1,
    \begin{align} \int_0^t\Omega(s)d_qs = t(1-q)\sum\limits_{k = 0}^{\infty}q^k \Omega(tq^k). \end{align}

    Definition 14.2. [45] The Riemann-Liouville fractional q -integral operator of a function \Omega of order \alpha is given by

    \begin{align} I_q^{\alpha}\Omega(t) = \frac{t^{\alpha-1}}{\Gamma_q(\alpha)}\int_0^t\Big(\frac{qs}{t}, q\Big)_{\alpha-1}\Omega(s)d_qs, \; \; \alpha > 0, \; \; 0 < q < 1,\end{align}

    where

    (a,q)_{\alpha} = \frac{(a;q)_{\infty}}{(aq^{\alpha};q)_{\infty}}, \; \; \alpha\in \mathbb{R}

    and

    (\alpha, q)_{\infty} = \prod\limits_{j = 0}^{\infty}(1-\alpha q^j).

    Now, we present some q -Grüss integral inequalities.

    Theorem 14.1. [46] Assume that \Omega, \Pi: [0, \infty)\to \mathbb{R} are two integrable functions satisfyingt (H_1) and (H_2). Then, for t > 0 and \alpha > 0, we have:

    \Big|\frac{t^{\alpha}}{\Gamma_q(\alpha+1)}I_q^{\alpha}\Omega(t) \Pi(t)- I_q^{\alpha}\Omega(t) I_q^{\alpha} \Pi(t)\Big|\le \sqrt{T_q(\Omega,Q_1.Q_2)T_q(\Pi, R_1, R_2)},

    where

    \begin{eqnarray*} T_q(u,v,w)& = &(I_q^{\alpha}w(t)-I_q^{\alpha}u(t))(I_q^{\alpha}u(t)-I_q^{\alpha}v(t))+\frac{t^{\alpha}}{\Gamma_q(\alpha+1)}I_q^{\alpha}v(t)u(t)-I_q^{\alpha}v(t)I_q^{\alpha}u(t)\\ &&+I_q^{\alpha}v(t)I_q^{\alpha}w(t)-\frac{t^{\alpha}}{\Gamma_q(\alpha+1)}I_q^{\alpha}v(t)w(t). \end{eqnarray*}

    Definition 14.3. [47] Assume \Omega:J\rightarrow \mathbb{R} is a continuous function and let x\in J . Then the expression

    \begin{equation*} \label{A2.1} _{x_1}D_{q}\Omega(x) = \frac{\Omega(x)-\Omega(qx+(1-q)x_1)}{(1-q)(x-x_1)}, \,\, t\ne x_1 , \quad _{x_1}D_{q}\Omega(x_1) = \lim\limits_{x\to x_1} {_{x_1}D_{q}}\Omega(x), \end{equation*}

    is called the q -derivative on J of function \Omega at x .

    Definition 14.4. [47] Assume \Omega:J\rightarrow \mathbb{R} is a continuous function. Then the q -integral on J is defined by

    \begin{align} \label{A2.4} \int_{x_1}^x\Omega(t) {_{x_1}d_{q}}t = (1-q)(x-x_1)\sum\limits_{n = 0}^{\infty}q^n\Omega(q^nx+(1-q^n)x_1) \end{align}

    for x\in J . Moreover, if c\in(a, x) then the definite q -integral on J is defined by

    \begin{eqnarray*} \int_{c}^x\Omega(t) {_{x_1}d_{q}}t& = &\int_{x_1}^x\Omega(t) {_{x_1}d_{q}}t-\int_{x_1}^c\Omega(t) {_{x_1}d_{q}t}\\ & = &(1-q)(x-x_1)\sum\limits_{n = 0}^{\infty}q^n\Omega(q^nx+(1-q^n)x_1)\\ &&-(1-q)(c-x_1)\sum\limits_{n = 0}^{\infty}q^n\Omega(q^nc+(1-q^n)x_1). \end{eqnarray*}

    Theorem 14.2. [47] Assume \Omega, \Pi:J \rightarrow \mathbb{R} are continuous functions on J satisfying the vondition (H). Then we have the inequality

    \begin{eqnarray*} &&\left|\frac{1}{x_2-x_1}\int_{x_1}^{x_2}\Omega(x)\Pi(x){_{x_1}d_q}x-\left(\frac{1}{x_2-x_1}\int_{x_1}^{x_2}\Omega(x){_{x_1}d_q}x\right)\left(\frac{1}{x_2-x_1}\int_{x_1}^{x_2}\Pi(x){_{x_1}d_q}x\right)\right|\nonumber\\ &&\; \leq\frac{1}{4}(\mathfrak{M}-\mathfrak{m})(\mathfrak{P}-\mathfrak{p}). \end{eqnarray*}

    Now, we are going to present the q -Grüss- \check{C} eby \check{s} ev integral inequality on interval [x_1, x_2] .

    Theorem 14.3. [47] Let \Omega, \Pi:J \rightarrow \mathbb{R} be L_1 , L_2 -Lipschitzian continuous functions on [x_1, x_2] , so that

    \begin{eqnarray*} |\Omega(u)-\Omega(v)|\leq L_1|u-v|, \qquad |\Pi(u)-\Pi(v)|\leq L_2|u-v|, \end{eqnarray*}

    for all u, v\in[x_1, x_2] . Then we have:

    \begin{eqnarray*} &&\left|\frac{1}{x_2-x_1}\int_{x_1}^{x_2}\Omega(x)\Pi(x){_{x_1}d_q}x-\left(\frac{1}{x_2-x_1}\int_{x_1}^{x_2}\Omega(x){_{x_1}d_q}x\right)\left(\frac{1}{x_2-x_1}\int_{x_1}^{x_2}\Pi(x){_{x_1}d_q}x\right)\right|\nonumber\\ & \leq& \frac{qL_1L_2}{(1+q+q^2)(1+q)^2}(x_2-x_1)^2. \end{eqnarray*}

    Let q\in (0, 1) and let I be any interval of \mathbb{R} containing 0, and denote by I_q the set

    I_q = qI = \{qX: X\in I\}; \; \; I_q\subseteq I.

    Definition 14.5. [44] Let \Omega:I\to \mathbb{R}. The q -symmetric difference operator of \Omega is defined by

    (\tilde{D}_q\Omega)(t) = \frac{\Omega(qt)-\Omega(q^{-1}t)}{(q-q^{-1})t}; \; \; t\in I_q\setminus\{0\},

    and

    (\tilde{D}_q\Omega)(t) = \Omega'(0), \; t = 0.

    Definition 14.6. [44] Suppose that x_1, x_2\in I and x_1 < x_2. For \Omega: I\to \mathbb{R} and for q\in (0, 1), the q -symmetric integral of \Omega is given by

    \begin{align} \int_{x_1}^{x_2} \Omega(t) \tilde{d}_qt = \int_0^{x_2}\Omega(t) \tilde{d}_qt-\int_0^{x_1}\Omega(t) \tilde{d}_qt, \end{align}

    where

    \begin{align} \int_0^x\Omega(t) \tilde{d}_qt = x(1-q^2)\sum\limits_{n = 0}^{\infty}q^{2n}\Omega(q^{2n+1}x), \; \; x\in I, \end{align}

    provided that the series converges at x = x_1 and x = x_2.

    Now, the concepts of q -symmetric derivative and q -symmetric integral are extended on finite intervals. We fix s\in \mathbb{N}\cup \{0\}. Let J_s = [t_s, t_{s+1}]\subset \mathbb{R} be an interval containing 0 and 0 < q_s < 1 be a constant. For a function \Omega: I_s\to \mathbb{R}, we define the q_s -symmetric derivative at a point t\in I_s as follows:

    Definition 14.7. [48] Assume that \Omega: I_s\to \mathbb{R} is continuous and t\in I_s. The q_s -symmetric derivative of \Omega at t is defined as

    (D_{q_s}\Omega)(t) = \frac{\Omega(q_s^{-1}t+(1-q_s^{-1})t_s)-\Omega(q_s t+(1-q_s)t_s)}{(q_s^{-1}-q_s)(t-t_s)}; \; \; t\ne t_s,
    (D_{q_s}\Omega)(t_s)\lim\limits_{t\to t_s}(D_{q_s}\Omega)(t).

    Definition 14.8. [48] Assume that \Omega: I_s\to \mathbb{R} is a continuous function. The q_s -symmetric integral is defined as

    \begin{align} \int_{t_s}^t\Omega(s)d_{q_s}t = (t-t_s)(1-q_s^2)\sum\limits_{n = 0}^{\infty}q_s^{2n}\Omega(q_s^{2n+1} t+(1-q_s^{2n+1})t_s). \end{align}

    Now, we present q_s -symmetric analogue of Grüss-Chebyshev integral inequality.

    Theorem 14.4. [48] Let \Omega and \Pi:J = [x_1, x_2]\to \mathbb{R} be L_1, L_2 -Lipschitzian continuous functions on [x_1, x_2] so that

    |\Omega(u)-\Omega(v)|\le L_1|u-v|, \; \; \; |\Pi(u)-\Pi(v)|\le L_2|u-v|,

    for all u, v\in [x_1, x_2]. Then:

    \begin{eqnarray*} &&\Big|\frac{1}{x_2-x_1}\int_{x_1}^{x_2} \Omega(x)\Pi(x)d_{q_s}x-\Big(\frac{1}{x_2-x_1}\int_{x_1}^{x_2} \Omega(x)d_{q_s}x\Big)\Big(\frac{1}{x_2-x_1}\int_{x_1}^{x_2} \Pi(x)d_{q_s}x\Big)\Big|\\ &\le&\frac{L_1L_2q_s^4(x_2-x_1)^2}{(1+q_s^2+q_s^4)(1+q_s^2)^2}. \end{eqnarray*}

    The following concepts are adapted by Ref. ([49]). We state a q -shifting operator as

    {}_{x_1}\Phi_q(m) = qm+(1-q)x_1, \; \; \; 0 < q < 1, \; \; m,x_1\in \mathbb{R}.

    The q -analog is stated by

    (m;q)_0 = 1, \; \; \; \; (m;q)_k = \prod\limits_{i = 1}^{k-1}(1-q^im), \; \; k\in \mathbb{N}\cup\{\infty\}.

    The q number is stated by

    [m]_q = \frac{1-q^m}{1-q}, \; \; m\in \mathbb{R}.

    The q -Gamma function is stated by

    \Gamma_q(t) = \frac{{}_{0}(1-{}_{0}\Phi_q(1))_q^{(t-1)}}{(1-q)^{t-1)}}, \; \; t\in \mathbb{R}\setminus\{0,-1,-2,\ldots\}.

    Here, we add some definitions regarding fractional q -calculus, namely the Riemann-Liouville fractional q -integral.

    Definition 14.9. [49] Let \alpha\ge 0 and function \Omega be a continuous stated on [x_1, x_2]. Then (_{x_1}I^{0}_q\Omega)(t) = \Omega (t) is given by

    \begin{eqnarray*} (_{x_1}I^{\alpha}_q \Omega)(t)& = &\frac{1}{\Gamma_q(\alpha)}\int_{x_1}^t{}_{x_1}(t-{}_{x_1}\Phi_q(s))^{\alpha-1}_{q}\Omega(s)\; _{x_1}d_qs\\ & = &\frac{(1-q)(t-x_1)}{\Gamma_q(\alpha)}\sum\limits_{i = 0}^{\infty}q^i\; {}_{x_1}(t-{}_{x_1}\Phi_q^{i+1}(t))^{\alpha-1}_{q}\Omega({}_{x_1}\Phi^{i}_{q}(t)). \end{eqnarray*}

    Now, we present the fractional q -Grüss integral inequality on the interval [x_1, x_2].

    Theorem 14.5. [50] Let \Omega, \Pi: [x_1, x_2]\to \mathbb{R} be continuous functions satisfying (H). For 0 < q < 1 and \alpha > 0, we have the inequality

    \begin{eqnarray*} &&\Big|\frac{\Gamma_q(\alpha+1)}{(x_2-x_1)^{\alpha}}({}_{x_1}I_q^{\alpha}\Omega(s)\Pi(s))(b)-\Big(\frac{\Gamma_q(\alpha+1)}{(x_2-x_1)^{\alpha}}({}_{x_1}I_q^{\alpha}\Omega(s))(b)\Big)\Big(\frac{\Gamma_q(\alpha+1)}{(x_2-x_1)^{\alpha}}({}_{x_1}I_q^{\alpha}\Pi(s))(b)\Big)\Big|\\ &\le&\frac{1}{4}(\mathfrak{M}-\mathfrak{m})(\mathfrak{P}-\mathfrak{p}). \end{eqnarray*}

    Next, we give the fractional q -Grüss-Čebyšev integral inequality on the interval [x_1, x_2].

    Theorem 14.6. [50] Let \Omega, \Pi: [x_1, x_2]\to \mathbb{R} be L_1 -, L_2 -Lipschitzian continuous functions, so that

    |\Omega(u)-\Omega(v)|\le L_1 |u-v|, \; \; \; \; \; |\Pi(u)-\Pi(v)|\le L_2 |u-v|,

    for all u, v\in [x_1, x_2], 0 < q < 1, L_1, L_2 > 0, and \alpha > 0. Then we have the inequality

    \begin{eqnarray*} &&\Big|\frac{(x_2-x_1)^{\alpha}}{\Gamma_q(\alpha+1)}({}_{x_1}I_q^{\alpha}\Omega(s)\Pi(s))(x_2)-({}_{x_1}I_q^{\alpha}\Omega(s))(x_2)({}_{x_1}I_q^{\alpha}\Pi(s))(x_2)\Big|\\ &\le&\frac{L_1L_2(x_2-x_1)^{2\alpha+2}}{\Gamma_q(\alpha+2)\Gamma_q(\alpha+3)}\Big((1+q)[\alpha+1]_q-[\alpha+2]_q\Big). \end{eqnarray*}

    In this section we give Grüss-type integral inequalities via fractional Hilfer derivative operators.

    In this section we present several integral inequalities for the k -Hilfer fractional derivative operator.

    Definition 15.1. [51] Let \Omega\in L^1[x_1, x_2], \Omega\star K_{(1-\eta)(\eta-\xi)}\in AC^n[x_1, x_2], n-1 < \xi < n, 0 < \eta\le 1, n\in \mathbb{N}. Then the following

    ({}^{k}D^{\xi,\eta}_{x_1+}\Omega)(x) = I^{\eta(n-\xi)}_{x_1+,k}\frac{d^n}{dx^n}(I^{(1-\eta)(n-\xi)}_{x_1+,k} \Omega(x)),

    is called the Hiler k -fractional derivative.

    Theorem 15.1. [51] Let k > 0 and (D^{\xi+\eta(n-\xi)}_{x_1+, k}\Pi) be a positive function on [0, \infty), and let ({}^{k}D^{\xi, \eta}_{x_1+}\Omega) denote the Hilfer k -fractional derivative of order \xi, 0 < \xi < 1, and type 0 < \eta\le 1. Suppose that:

    There exist (D^{\xi+\eta(n-\xi)}_{x_1+, k} R_1), (D^{\xi+\eta(n-\xi)}_{x_1+, k} R_2) such that

    (D^{\xi+\eta(n-\xi)}_{x_1+,k} R_1)(\xi)\le (D^{\xi+\eta(n-\xi)}_{x_1+,k}\Pi)(\xi)\le (D^{\xi+\eta(n-\xi)}_{x_1+,k} R_2)(\xi),

    for all \xi\in [0, \infty).

    Then

    \begin{eqnarray*} &&({}^{k}D^{\xi,\eta}_{x_1+} R_1)(\xi)({}^{k}D^{\xi,\eta}_{x_1+}\Pi)(\xi)+({}^{k}D^{\xi,\eta}_{x_1+} R_2)(\xi)({}^{k}D^{\xi,\eta}_{x_1+}\Pi)(\xi)\\ &\ge&({}^{k}D^{\xi,\eta}_{x_1+} R_1)(\xi)({}^{k}D^{\xi,\eta}_{x_1+} R_2)(\xi)+({}^{k}D^{\xi,\eta}_{x_1+}\Pi)(\xi)({}^{k}D^{\xi,\eta}_{x_1+}\Pi)(\xi). \end{eqnarray*}

    In this section, we present inequalities of the Grüss-type via k -fractional Hilfer-Katugampola generalized derivative.

    Definition 15.2. [52] Let n-1 < \alpha\le n, 0\le \beta\le 1, n\in \mathbb{N}, \rho > 0, k > 0 and \Omega\in M_q[x_1, x_2] = \Big\{\Omega: \|\Omega_q\| = \Big(\int_{x_1}^{x_2}|\Omega(t) |^qdt\Big)^{1/q} < \infty\Big\}, 1 < q < \infty. The generalized k -fractional Hilfer-Katugampola derivatives (left-sided and right-sided) are defined as

    \begin{align} \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) = \frac{\rho^{1-\frac{\gamma-\alpha}{k}}}{k\Gamma_k(\gamma-\alpha)}\int_{x_1}^t(t^{\rho}-y^{\rho})^{\frac{\gamma-\alpha}{k}-1}y^{\rho-1}\Omega^{(\gamma)}(y)dy,\; \; t > x_1, \end{align}
    \begin{align} \mathcal{D}^{\alpha, \gamma, \rho}_{x_2,k}\Omega(t) = \frac{\rho^{1-\frac{\gamma-\alpha}{k}}}{k\Gamma_k(\gamma-\alpha)}\int_t^{x_2}(y^{\rho}-t^{\rho})^{\frac{\gamma-\alpha}{k}-1}y^{\rho-1}\Omega^{(\gamma)}(y)dy,\; \; t < x_2, \end{align}

    where \gamma = \alpha+\beta(kn-\alpha), \alpha > 0.

    Theorem 15.2. [52] Let \rho, \delta, \alpha, \gamma, k, a > 0 and \Omega\in M_q[x_1, x_2] be positive integrable function on [x_1, x_2] satisfying (H_1). Then we have:

    \begin{eqnarray*} &&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega(t) \; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_2(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}Q_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) \\ &\ge& \mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}Q_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_2(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega(t) \; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) . \end{eqnarray*}

    Theorem 15.3. [52] Let \rho, \delta, \alpha, \gamma, k, a > 0 and \Omega, \Pi\in M_q[x_1, x_2] be positive integrable functions on [x_1, x_2] satisfying (H_1) and (H_2). Then we have:

    \begin{eqnarray*} (a)\; \; \; &&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k} R_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) +\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_2(t)\\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k} R_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_2(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) .\\[0.3cm] (b)\; \; \; &&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}Q_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Pi(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega(t) \; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k} R_2(t)\\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}Q_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k} R_2(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) .\\[0.3cm] (c)\; \; \; &&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k} R_2(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_2(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) \\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_2(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k} R_2(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) .\\[0.3cm] (d)\; \; \; &&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k} R_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_1(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) \\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}Q_1(t)+\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k} R_1(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) . \end{eqnarray*}

    Theorem 15.4. [52] Let \rho, \delta, \alpha, \gamma, k, a > 0 and \Omega, \Pi\in M_q[x_1, x_2] be positive integrable functions on [x_1, x_2] satisfying (H_1) and (H_2). If p, q > 1 and \frac{1}{p}+\frac{1}{q} = 1, then we have:

    \begin{eqnarray*} (a)\; \; \; &&\frac{1}{p}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Pi(t))^p\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Omega(t) )^p+\frac{1}{q}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Omega(t) )^q\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Pi(t))^q\\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega(t) \Pi(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) \Pi(t).\\[0.3cm] (b)\; \; \; &&\frac{1}{p}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Pi(t))^p\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Omega(t) )^p+\frac{1}{q}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Omega(t) )^q\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Pi(t))^q\\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega^{p-1}(t)\Pi^{q-1}(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k} \Omega(t) \Pi(t).\\[0.3cm] (c)\; \; \; &&\frac{1}{p}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Pi(t))^p\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Omega(t) )^2+\frac{1}{q}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Omega(t) )^q\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Pi(t))^2\\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega^{2/p}(t)\Pi^{2/q}(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega(t) \Pi(t).\\[0.3cm] (d)\; \; \; &&\frac{1}{p}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Pi(t))^q\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Omega(t) )^2+\frac{1}{q}\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}(\Omega(t) )^p\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}(\Pi(t))^2\\ &\ge&\mathcal{D}^{\delta, \gamma, \rho}_{x_1,k}\Omega^{p-1}(t)\Pi^{q-1}(t)\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}\Omega^{2/p}(t)\Pi^{2/q}(t). \end{eqnarray*}

    Theorem 15.5. [52] Let \rho, \delta, \alpha, \gamma, k, a > 0 and \Omega, \Pi\in M_q[x_1, x_2] be positive integrable functions on [x_1, x_2]. Let

    \mu = \min\limits_{0\le y\le t}\frac{\Omega(y)}{\Pi(y)}, \; \; \; \mathcal{M} = \max\limits_{0\le y\le t}\frac{\Omega(y)}{\Pi(y)}.

    Then we have:

    \begin{eqnarray*} &&(i)\; \; \frac{(\mu+\mathcal{M})^2}{4\mu\mathcal{M}}\mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) \Pi(t)]^2\ge \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Pi(t)]^2\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) ]^2.\\[0.3cm] &&(ii)\; \; \frac{\sqrt{\mu}-\sqrt{\mathcal{M}}}{2\sqrt{\mu\mathcal{M}}}\mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) \Pi(t)]\ge \sqrt{\mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Pi(t)]^2\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) ]^2}-\mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) \Pi(t)]\ge 0.\\[0.3cm] &&(iii)\; \; \frac{\mu-\mathcal{M}}{4\mu\mathcal{M}} \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) \Pi(t)]^2\ge \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Pi(t)]^2\; \mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) ]^2- [\mathcal{D}^{\alpha, \gamma, \rho}_{x_1,k}[\Omega(t) \Pi(t)]]^2\ge 0. \end{eqnarray*}

    Our objective in this paper was to present a comprehensive and up-to-date review on Grüss-type inequalities for fractional differential operators. We presented results including inequalities of the Grüss-type for different kinds of fractional integral and differential operators. Grüss-type inequalities for fractional integrals of Riemann-Liouville, Katugampola, Hadamard's, Raina's, tempered, conformable, proportional, Caputo-Fabrizio, Saigo's are included. Moreover Grüss-type inequalities concerning Hilfer fractional differential operators and quantum Grüss-type integral inequalities are also presented. We believe that the present survey will provide a platform for the researchers working on Grüss-type inequalities to learn about the available work on the topic before developing the new results. Future research regarding this review paper is fascinating. Our review paper might inspire a good number of additional studies.

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    The authors extend their appreciation to the Deputyship for Research & Innovation, Ministry of Education in Saudi Arabia for funding this research work through the project no. (IFKSUOR3-340-1).

    The authors declare that they do not have conflict of interest regarding this manuscript.



    [1] IEEE Standard for Interconnecting Distributed Resources with Electric Power Systems (2003) IEEE Standard 1547-2003.
    [2] Khamis A, Shareef H, Bizkevelci E, Khatib T (2013) A review of islanding detection techniques for renewable distributed generation systems. Renew Sust Energ Rev 28: 483–493. https://doi.org/10.1016/j.rser.2013.08.025 doi: 10.1016/j.rser.2013.08.025
    [3] Li C, Cao C, Cao Y, Kuang Y, Zeng L, Fang B (2014) A review of islanding detection methods for microgrid. Renew Sust Energ Rev 35: 211–220. https://doi.org/10.1016/j.rser.2014.04.026 doi: 10.1016/j.rser.2014.04.026
    [4] Velasco D, Trujillo CL, Garcera G, Figueres E (2010) Review of anti-islanding techniques in distributed generators. Renew Sust Energ Rev 14: 1608–1614. https://doi.org/10.1016/j.rser.2010.02.011 doi: 10.1016/j.rser.2010.02.011
    [5] Mishra M, Chandak S, Rout PK (2019) Taxonomy of Islanding detection techniques for distributed generation in microgrid. Renew Energ Focus 31: 9–30. https://doi.org/10.1016/j.ref.2019.09.001 doi: 10.1016/j.ref.2019.09.001
    [6] Freitas W, Xu W, Affonso CM, Huang Z (2005) Comparative analysis between ROCOF and vector surge relays for distributed generation applications. IEEE T Power Del 20: 1315–1324. https://doi.org/10.1109/TPWRD.2004.834869 doi: 10.1109/TPWRD.2004.834869
    [7] Liu F, Kang Y, Zhang D, Y. S., and Lin X (2010)Improved SMS islanding detection method for grid-connected converter. IET Renew Power Gen 4: 36–42. https://doi.org/10.1049/iet-rpg.2009.0019 doi: 10.1049/iet-rpg.2009.0019
    [8] Zeineldin HH, Salama MMA (2011) Impact of load frequency dependence on the NDZ and performance of the SFS islanding detection method. IEEE T Ind Electron 58: 139–146. https://doi.org/10.1109/TIE.2009.2033482 doi: 10.1109/TIE.2009.2033482
    [9] Velasco D, Trujillo C, Garcera G, Figueres E (2011) An active anti-islanding method based on phase-PLL perturbation. IEEE T Power Electron 26: 1056–1066. https://doi.org/10.1109/TPEL.2010.2089643 doi: 10.1109/TPEL.2010.2089643
    [10] Papadimitriou CN, Kleftakis VA, Hatziargyriou ND (2015) A novel islanding detection method for microgrids based on variable impedance insertion. Electr Power Syst Res 121: 58‒66. https://doi.org/10.1016/j.epsr.2014.12.004 doi: 10.1016/j.epsr.2014.12.004
    [11] Seyedi M, Taher SA, Ganji B, Guerrero JM (2019) A hybrid islanding detection technique for inverter‐based distributed generator units. Int Trans Electr Energ Syst 29: e12113. https://doi.org/10.1002/2050-7038.12113 doi: 10.1002/2050-7038.12113
    [12] Pouryekta A, Ramachandaramurthy VK, Mithulananthan N, Arulampalam A (2018) Islanding Detection and Enhancement of Microgrid Performance. IEEE Syst J 12: 3131‒3141. https://doi.org/10.1109/JSYST.2017.2705738 doi: 10.1109/JSYST.2017.2705738
    [13] Raza S, Mokhlis H, Arof H, Laghari JA, Wang L (2015) Application of signal processing techniques for islanding detection of distributed generation in distribution network: A review. Energ Convers Manage 96: 613‒624. https://doi.org/10.1016/j.enconman.2015.03.029 doi: 10.1016/j.enconman.2015.03.029
    [14] Hussain A, Kim CH, Mehdi A (2021) A Comprehensive Review of Intelligent Islanding Schemes and Feature Selection Techniques for Distributed Generation System. IEEE Access 9: 146603‒146624. https://doi.org/10.1109/ACCESS.2021.3123382 doi: 10.1109/ACCESS.2021.3123382
    [15] Avdakovic S, Nuhanovic A, Kusljugic M, Music M (2012) Wavelet transform applications in power system dynamics. Electr Power Syst Res 83: 237‒245. https://doi.org/10.1016/j.epsr.2010.11.031 doi: 10.1016/j.epsr.2010.11.031
    [16] Dwivedi UD, Singh SN (2010) Enhanced detection of power-quality events using intra and interscale dependencies of wavelet coefficients. IEEE T Power Deliver 25: 358–366. https://doi.org/10.1109/TPWRD.2009.2027482 doi: 10.1109/TPWRD.2009.2027482
    [17] Laaksonen H (2013) Novel wavelet transform based islanding detection algorithms. Int Rev Electr Eng 8: 1796‒1805.
    [18] Hanif M, Dwivedi UD, Basu M, Gaughan K (2010) Wavelet based islanding detection of DC–AC inverter interfaced DG systems. 45th international universities power engineering conference (UPEC), 1–5.
    [19] Karegar HK, Sobhani B (2012) Wavelet transform method for islanding detection of wind turbines. Renew Energy 38: 94–106. https://doi.org/10.1016/j.renene.2011.07.002 doi: 10.1016/j.renene.2011.07.002
    [20] Hanif M, Basu M, Gaughan K (2012) Development of EN50438 compliant wavelet-based islanding detection technique for three-phase static distributed generation systems. IET Renew Power Gen 6: 289–301. https://doi.org/10.1049/iet-rpg.2011.0290 doi: 10.1049/iet-rpg.2011.0290
    [21] Sharma R, Singh P (2012) Islanding detection and control in grid based system using wavelet transform. 5th IEEE power india conference, 1–4. https://doi.org/10.1109/PowerI.2012.6479557 doi: 10.1109/PowerI.2012.6479557
    [22] Paiva SC, Ribeiro RLA, Alves DK, Costa FB, Rocha TOA (2020) A wavelet-based hybrid islanding detection system applied for distributed generators interconnected to AC microgrids. Int J Electr Power Energ Syst 121: 106032. https://doi.org/10.1016/j.ijepes.2020.106032 doi: 10.1016/j.ijepes.2020.106032
    [23] Nsaif YM, Lipu MSH, Ayob A, Yusof Y, Hussain A (2021) Fault Detection and Protection Schemes for Distributed Generation Integrated to Distribution Network: Challenges and Suggestions. IEEE Access 9: 142693‒142717, https://doi.org/10.1109/ACCESS.2021.3121087 doi: 10.1109/ACCESS.2021.3121087
    [24] Bekhradian R, Sanaye-Pasand M (2022) A Comprehensive Survey on Islanding Detection Methods of Synchronous Generator-Based Microgrids: Issues, Solutions and Future Works. IEEE Access 10: 76202‒76219, https://doi.org/10.1109/ACCESS.2022.3192554 doi: 10.1109/ACCESS.2022.3192554
    [25] Menon V, Nehrir MH (2007) A Hybrid Islanding Detection Technique Using Voltage Unbalance and Frequency Set Point. IEEE T Power Syst 22: 442‒448. https://doi.org/10.1109/TPWRS.2006.887892 doi: 10.1109/TPWRS.2006.887892
    [26] Chang WY (2010) A hybrid islanding detection method for distributed synchronous generators. The 2010 International Power Electronics Conference - ECCE ASIA -, 1326‒1330. https://doi.org/10.1109/IPEC.2010.5544559 doi: 10.1109/IPEC.2010.5544559
    [27] Pouryekta A, Ramachandaramurthy VK (2018) A Hybrid Islanding Detection Method For Distribution Systems. Distributed Generation & Alternative Energy Journal 33: 44‒67. https://doi.org/10.1080/21563306.2018.12029914 doi: 10.1080/21563306.2018.12029914
    [28] Singh SK, Rawal M, Rawat MS, Gupta TN (2022) A Hybrid Islanding Detection Technique for Synchronous Generator Based Microgrids. Power Electronics and High Voltage in Smart Grid: Select Proceedings of SGESC 2021, 365‒374. https://doi.org/10.1007/978-981-16-7393-1_31 doi: 10.1007/978-981-16-7393-1_31
    [29] Larik NA, Tahir MF, Elbarbary ZMS, Yousaf MZ, Khan MA (2022) A comprehensive literature review of conventional and modern islanding detection methods. Energy Strategy Rev 44: 101007. https://doi.org/10.1016/j.esr.2022.101007 doi: 10.1016/j.esr.2022.101007
  • This article has been cited by:

    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
  • Reader Comments
  • © 2024 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1112) PDF downloads(89) Cited by(0)

Article outline

Figures and Tables

Figures(14)  /  Tables(9)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog