Loading [MathJax]/jax/element/mml/optable/MathOperators.js
Research article

Generalizations of fractional Hermite-Hadamard-Mercer like inequalities for convex functions

  • Received: 01 March 2021 Accepted: 03 June 2021 Published: 23 June 2021
  • MSC : 26A33, 26A51, 26D07, 26D10, 26D15

  • In this work, we establish inequalities of Hermite-Hadamard-Mercer (HHM) type for convex functions by using generalized fractional integrals. The results of our paper are the extensions and refinements of Hermite-Hadamard (HH) and Hermite-Hadamard-Mercer (HHM) type inequalities. We discuss special cases of our main results and give new inequalities of HH and HHM type for different fractional integrals like, Riemann-Liouville (RL) fractional integrals, k-Riemann-Liouville (k-RL) fractional integrals, conformable fractional integrals and fractional integrals of exponential kernel.

    Citation: Miguel Vivas-Cortez, Muhammad Aamir Ali, Artion Kashuri, Hüseyin Budak. Generalizations of fractional Hermite-Hadamard-Mercer like inequalities for convex functions[J]. AIMS Mathematics, 2021, 6(9): 9397-9421. doi: 10.3934/math.2021546

    Related Papers:

    [1] Huawei Huang, Xin Jiang, Changwen Peng, Geyang Pan . A new semiring and its cryptographic applications. AIMS Mathematics, 2024, 9(8): 20677-20691. doi: 10.3934/math.20241005
    [2] Hailun Wang, Fei Wu, Dongge Lei . A novel numerical approach for solving fractional order differential equations using hybrid functions. AIMS Mathematics, 2021, 6(6): 5596-5611. doi: 10.3934/math.2021331
    [3] Shousheng Zhu . Double iterative algorithm for solving different constrained solutions of multivariate quadratic matrix equations. AIMS Mathematics, 2022, 7(2): 1845-1855. doi: 10.3934/math.2022106
    [4] Miloud Sadkane, Roger Sidje . Computing a canonical form of a matrix pencil. AIMS Mathematics, 2024, 9(5): 10882-10892. doi: 10.3934/math.2024531
    [5] Zahra Pirouzeh, Mohammad Hadi Noori Skandari, Kamele Nassiri Pirbazari, Stanford Shateyi . A pseudo-spectral approach for optimal control problems of variable-order fractional integro-differential equations. AIMS Mathematics, 2024, 9(9): 23692-23710. doi: 10.3934/math.20241151
    [6] Yinlan Chen, Min Zeng, Ranran Fan, Yongxin Yuan . The solutions of two classes of dual matrix equations. AIMS Mathematics, 2023, 8(10): 23016-23031. doi: 10.3934/math.20231171
    [7] Waleed Mohamed Abd-Elhameed, Abdullah F. Abu Sunayh, Mohammed H. Alharbi, Ahmed Gamal Atta . Spectral tau technique via Lucas polynomials for the time-fractional diffusion equation. AIMS Mathematics, 2024, 9(12): 34567-34587. doi: 10.3934/math.20241646
    [8] Emrah Polatlı . On some properties of a generalized min matrix. AIMS Mathematics, 2023, 8(11): 26199-26212. doi: 10.3934/math.20231336
    [9] Jin Li . Barycentric rational collocation method for semi-infinite domain problems. AIMS Mathematics, 2023, 8(4): 8756-8771. doi: 10.3934/math.2023439
    [10] Samia Bushnaq, Kamal Shah, Sana Tahir, Khursheed J. Ansari, Muhammad Sarwar, Thabet Abdeljawad . Computation of numerical solutions to variable order fractional differential equations by using non-orthogonal basis. AIMS Mathematics, 2022, 7(6): 10917-10938. doi: 10.3934/math.2022610
  • In this work, we establish inequalities of Hermite-Hadamard-Mercer (HHM) type for convex functions by using generalized fractional integrals. The results of our paper are the extensions and refinements of Hermite-Hadamard (HH) and Hermite-Hadamard-Mercer (HHM) type inequalities. We discuss special cases of our main results and give new inequalities of HH and HHM type for different fractional integrals like, Riemann-Liouville (RL) fractional integrals, k-Riemann-Liouville (k-RL) fractional integrals, conformable fractional integrals and fractional integrals of exponential kernel.



    The importance of existence and uniqueness theorems for initial value and boundary value problems (IVP and BVP) involving the classical derivative operator is indisputable because, without them, one cannot understand modeled systems correctly and make predictions how they behave. Recently, with the popularity of fractional derivative operators such as Riemann-Liouville (R-L), Caputo (C), etc., the equations involving these operators have begun to be studied in detail (See, [1,2,3,4,5,6]). However, such a generalization leads to some difficulties and differences especially in R-L case. For instance, unlike the initial value problems involving the classical derivative, the existence of continuous solution to some IVPs in the sense of R-L derivative strictly depends on the initial values and smoothness conditions on nonlinear functions in right-hand side of equations in IVPs. For example, as shown in [7], the following initial value problem for R-L derivative of order σ(0,1)

    {Dσω(x)=f(x,ω(x)),x>0ω(0)=b0 (1.1)

    has no continuous solution when f is continuous on [0,T]×R. Therefore, this equation was investigated when subjected to different initial values (See, Theorem 3.3 in [1]). By considering the aforementioned remark, we investigate the existence and uniqueness of solutions to the following problem

    {Dσω(x)=f(x,ω(x),Dσ1ω(x)),x>0ω(0)=0,Dσ1ω(x)|x=0=b, (1.2)

    where σ(1,2), bR, Dσ represents the Riemann-Liouville fractional derivative of order σ, which is given by

    Dσω(x)=1Γ(2σ)d2dx2x0ω(t)(xt)σ1dt,

    and f fulfills the following condition:

    (C1) Let f(x,t1,t2)C((0,T]×R×R) and xσ1f(x,t1,t2)C([0,T]×R×R),

    where C(X) represents the class of continuous functions defined on the subspace X of R3.

    The equation in (1.2) was first considered by Yoruk et. al. [8], when the second initial value is also homogeneous (b=0) and the right-hand side function is continuous on [0,T]×R×R. They gave Krasnoselskii-Krein, Roger and Kooi-type uniqueness results. As seen from condition (C1), the equation in (1.2) has a singularity at x=0. Such singular equations involving R-L and Caputo derivatives were recently investigated in [7,9,10,11,12] and they proved local or global existence theorem for initial value problems involving singular equations. In the investigation of existence of solutions to these problems, converting the problem into the Volterra-type integral equation is one of the referenced tools. These integral equations have weakly and double singularities since the corresponding fractional differential equations are singular. For this reason, some new techniques or lemmas had to be developed to reveal the existence and uniqueness of solutions to integral equations (See for example [10,11]). In this paper, we also encounter a Volterra-type integral equations having a single singularity when we transform the problem (1.2) into a integral equation. For the uniqueness of solutions to the integral equation we need to generalize the definitions and methods previously given in [7,8,13] and use the tools of Lebesgue spaces such as Hölder inequality. These uniqueness theorems are the type of Nagumo-type, Krasnoselskii-Krein and Osgood which are well-known in the literature (See, [13,14,15,16]) Moreover, we give a Peano-type existence theorem for this problem as well.

    We first give definition of the space of functions where we investigate the existence of solutions to the problem (1.2). The space is defined below as in [17] :

    Theorem 2.1. The space of continuous functions defined on [0,T], whose R-L fractional derivative of order σ1, 1<σ<2 are continuous on [0,T] is a Banach space when endowed with the following norm:

    ||ω||σ1=||ω||+||Dσ1ω||,

    where ||.|| is the supremum norm defined on the class of continuous functions. This space will be denoted by Cσ1([0,T]).

    According to this space, we define R-L integral and R-L derivative of higher order [11]. The lower terminal points of integrals in their formulas will be taken as zero.

    Definition 2.1. The R-L integral of order σ>0 of a function ω(x)C0[0,T] is defined for all x[0,T] by

    Iσω(x):=1Γ(σ) x0ω(t)(xt)1σdt. (2.1)

    Definition 2.2. For 1<σ<2 and ω(x)Cσ1[0,T] with Dσ1ω(x)C1(0,T]L1[0,T] the R-L fractional derivative Dβω is defined for all x(0,T] by

    Dσω(x)=1Γ(2σ)d2dx2x0ω(t)(xt)σ1dt. (2.2)

    The local existence of solutions to problem (1.2) will be proved with the aid of Schauder fixed point theorem [18]:

    Theorem 2.2. Let C be a closed, bounded, convex subset of a Banach space X:={u:IR continuous:IR closed  and  bounded  interval}. If operator S:CC is continuous and, if S(C) is an equicontinuous set on I, then S has at least one fixed point in C.

    The one of mathematical tools used for showing the existence and uniqueness of the desired type of solution to a given initial or boundary value problem is first to convert them into an integral equation. One investigates the existence and uniqueness of the solution to the integral equation instead of the associated problem. Here, we follow this way by taking the aid of the lemma given below:

    Lemma 3.1. Under condition (C1), if ωCσ1[0,T] is a solution of problem (1.2), then ωCσ1[0,T] is a solution of the following integral equation

    ω(x)=bΓ(σ)xσ1+1Γ(σ)x0f(t,ω(t),Dσ1ω(t))(xt)1σdt (3.1)

    and, vice versa.

    Proof. We assume that ωCσ1[0,T] is a solution of problem (1.2). By condition (C1), we have f(x,ω(x),Dσ1ω(x)) is continuous on (0,T] and xσ1f(x,ω(x),Dσ1ω(x)) is continuous on [0,T]. It means that f(x,ω(x),Dσ1ω(x)) is integrable, i.e f(x,ω(x),Dσ1ω(x))C(0,T]L1[0,T]. Then, by integrating the both sides of the equation in (1.2) and using the relation IDσ=IDDσ1

    Dσ1ω(x)=Dσ1ω(0)+If(x,ω(x),Dσ1ω(x))C[0,T]

    is obtained. From here, by integration of the both sides of last equation and by use of IDσ1=IDI2σ we have

    I2σω(x)=bx+I2f(x,ω(x),Dσ1ω(x))C1[0,T] (3.2)

    where we used Dσ1ω(0)=b and I2σω(0)=0 since ω(0)=0.

    If the operator Iσ1 is applied to the both sides of (3.2), then by semigroup and commutative property of R-L derivative we get

    Iω(x)=bxσΓ(1+σ)+I[Iσf(x,ω(x),Dσ1ω(x))] (3.3)

    for all x[0,T]. Differentiating the both sides of (3.3), we have

    ω(x)=bxσ1Γ(σ)+Iσf(x,ω(x),Dσ1ω(x))

    which is the equivalent to the integral Eq (3.1).

    Now we suppose that ωCσ1[0,T] is a solution of integral Eq (3.1), and let us show that ω is a solution of the problem (1.2). If Dσ is applied to the both sides of (3.1), and then, if

    DσIσω(x)=ω(x)  for all  ωCσ1[0,T]

    is used, then one can observe that ωCσ1[0,T] satisfies the equation in (1.2). Moreover, let us prove that ωCσ1[0,T] also fulfills initial value conditions. By change of variables and condition (C1) we have

    ω(0)=limx0+ω(x)=bΓ(σ)xσ1+1Γ(σ)limx0+x0f(t,ω(t),Dσ1ω(t))(xt)1σdt=1Γ(σ)limx0+x0tσ1f(t,ω(t),Dσ1ω(t))tσ1(xt)1σdt=1Γ(σ)limx0+x10(xτ)σ1f(xτ,ω(xτ),Dσ1ω(xτ))τσ1(1τ)1σdτ=0, (3.4)

    since the integral is finite. Thus ω satisfies the first initial condition in (1.2).

    Now let us show that ω provides the second initial condition in (1.2). If Dσ1 is applied to both sides of (3.1), and if the relation Dσ1Iσh(x)=Ih(x) is used, then we can first get

    Dσ1ω(x)=b+x0f(t,ω(t),Dσ1ω(t))dt. (3.5)

    From here, by passing the limit as x0+, we then obtain

    Dσ1ω(0)=b+limx0+x0f(t,ω(t),Dσ1ω(t))dt=b+limx0+x01tσ1tσ1f(t,ω(t),Dσ1ω(t))dt=b+limx0+x2σ101τσ1(xτ)σ1f(xτ,ω(xτ),Dσ1ω(xτ))dτ=b, (3.6)

    since 2σ>0 and the integral is finite due to the continuity of tσ1f(t,ω(t),Dσ1ω(t)) on [0,T]. Consequently, it has been shown that any solution of (3.1) provides the problem (1.2) if condition (C1) is assumed to be satisfied.

    Theorem 3.1 (Existence). Let condition (C1) be satisfied, and assume that there exist positive real numbers r1, r2 and M such that |xσ1f(x,ω,v)|Mfor  all(x,ω,v)I=[0,T]×[r1,r1]×[br2,b+r2]. Then problem (1.2) admits at least one solution in Cσ1[0,T0 ], where

    T0 ={TifT<rC(b,σ,M)rC(b,σ,M)ifTrC(b,σ,M)1[rC(b,σ,M)]σ1,ifTrC(b,σ,M),1rC(b,σ,M)and1<σ1.5[rC(b,σ,M)]2σ,ifTrC(b,σ,M),1rC(b,σ,M)and1.5<σ<2, (3.7)

    and

    r=r1+r2andC(b,σ,M)=[|b|Γ(σ)+M(1+Γ(3σ)2σ)]. (3.8)

    Proof. As it is known from Lemma 3.1, solutions of problem (1.2) are solutions of integral equation (3.1) as well. Moreover, the fixed points of the opeator S:Cσ1[0,T0 ]Cσ1[0,T0 ] defined by

    Sω(x)=bΓ(σ)xσ1+x0f(t,ω(t),Dσ1ω(t))(xt)1σdt (3.9)

    interfere with solutions of the integral equation. For this reason, it is sufficient to prove that operator S admits at least one fixed point. For this, it will be verified that operator S satisfies the hypotheses of Schauder fixed-point theorem. Let us start with showing the following inclusion to be valid:

    S(Br)Br

    where

    Br={ωCσ1[0,T0 ]:||ω||+||Dσ1ωb||r}

    is a closed compact subset of Cσ1[0,T0 ]. Accordingly to the norm on Cσ1[0,T0 ], upper bounds of Sω(x) and Dσ1Sω(x)b can be determined as follows:

    |Sω(x)||b|Γ(σ)xσ1+1Γ(σ)x0|tσ1f(t,ω(t),Dσ1ω(t)|tσ1(xt)1σdt|b|Γ(σ)xσ1+MΓ(σ)10xτσ1(1τ)1σdτ|b|Γ(σ)xσ1+Γ(2σ)Mx (3.10)

    and

    |Dσ1Sω(x)b|x0|tσ1f(t,ω(t),Dσ1ω(t)|tσ1dtMx2σ10τ1σdτ=Mx2σ2σ. (3.11)

    From (3.10)) and (3.11),

    |Sω(x)|+|Dσ1Sω(x)b||b|Γ(σ)xσ1+Γ(2σ)Mx+Mx2σ2σ (3.12)

    is obtained. Taking supremum over [0,T0] for a T0>0 for the right hand-side of the above equation,

    |Sω(x)|+|Dσ1Sω(x)b|C(b,σ,M)Tα0 (3.13)

    can be written, where αΩ={σ1,1,2σ}. α depends on values of b,M,σ,r. To determine T0 and α, let

    C(b,σ,M)Tα0=r.

    If Tα0=rC(b,σ,M)<1, then it is observed that T0<1 for any αΩ. If Tα0=rC(b,σ,M)1, it must be T01 for any αΩ. Thus,

    supx[0,T0][|Sω(x)|+|Dσ1Sω(x)b|]C(b,σ,M)Tα0=r, (3.14)

    where

    T0:=[rC(b,σ,M)]1/α

    and

    α={1ifrC(b,σ,M)1σ1ifrC(b,σ,M)<1and1<σ1.52σifrC(b,σ,M)<1and1.5σ<2. (3.15)

    As a result, for all cases we obtain

    ||Sω||+||Dσ1Sωb||r,

    which is the desired.

    Now, let us prove the equicontinuity of S(Br)Cσ1[0,T0 ]. Since the composition of uniformly continuous functions is so as well, the function xσ1f(x,ω(x),Dσ1ω(x)) is uniformly continuous on [0,T0 ]. Because for any ωBr, both ω(x) and Dσ1ω(x) and xσ1f(x,ω,v) are uniformly continuous on I, respectively. Therefore, for given any ϵ>0, one can find a δ=δ(ϵ)>0 so that for all x1,x2[0,T0 ] with |x1x2|<δ it is

    |xσ11f(x1,ω(x1),Dσ1ω(x))xσ12f(x2,ω(x2),Dσ1ω(x2))|<Kϵ,

    where K=max(1T0 Γ(2σ),2σT0 2σ). It follows that

    |Sω(x1)Sω(x2)|+|Dσ1Sω(x1)Dσ1Sω(x2)|10|h(ηx1)h(ηx2)|Γ(σ)η1σ(1η)σ1xdη+10|h(ηx1)h(ηx2)|η1σx2σdη<T0 Γ(2σ)Kϵ+T0 2σ2σKϵ=ϵ,

    where h(x)=xσ1f(x,ω(x),Dσ1ω(x)). This implies that S(Br) is an equicontinuous set of Cσ1[0,T0 ].

    Finally, the continuity of S on Br will be proven. Assume that {ωk}k=1Br is a sequence with ωkCσ[0,T0 ]ω as k. Then, one can easily conclude that ωk and Dσ1ωk(t) converges uniformly to ω and Dσ1ω(t), respectively. With these and the uniform continuity of xσ1f(x,ω,v) on I=[0,T]×[r1,r1]×[br2,b+r2], it leads to

    SωkSωσ1=supx[0,T0 ]|1Γ(σ)x0[f(t,ωk(t),Dσ1ωk(t))f(t,ω(t),Dσ1ω(t))](xt)1σdt|+supx[0,T0 ]|x0[f(t,ωk(t),Dσ1ωk(t))f(t,ω(t),Dσ1ω(t))]dt|supηx[0,T0 ]10(ηx)σ1|f(ηx,ωk(ηx),Dσ1ωk(ηx))f(ηx,ω(ηx),Dσ1ω(ηx))|Γ(σ)ησ1(1η)1σxdη+supηx[0,T0 ]10(ηx)σ1|f(ηx,ωk(ηx),Dσ1ωk(ηx))f(ηx,ω(ηx),Dσ1ω(ηx))|ησ1x2σdη0ask.

    In conclusion, since hypotheses of Theorem 2.2 are fulfilled, it implies that operator S admits at least one fixed point in Cσ1[0,T0 ], which is a solution of problem (1.2) as well.

    The mean value theorem for R-L derivative of order σ(0,1) was correctly given by [7]. Now, its counterparts for order σ(1,2) is given as follows:

    Lemma 3.2. Let σ(1,2) and ωCσ1([0,T]). Then, there is a function μ:[0,T][0,T] with 0<μ(x)<x so that

    ω(x)=Dσ1ω(0)xσ1Γ(σ)+Γ(2σ)x(μ(x))σ1Dσ1ω(μ(x)),

    is satisfied.

    The lemma can be proved by following the way used in [7] and so we omit it here. With the aid of this lemma we can obtain the Nagumo-type uniqueness:

    Theorem 3.2. (Nagumo type uniqueness) Let 1<σ<2, 0<T< and let condition (C1) be satisfied. Moreover, assume that there exists a positive real number L2σmax(T,T2σ)(1+Γ(3σ)) such that the inequality

    xσ1|f(x,ω1,v1)f(x,ω2,v2)|L(|ω1ω2|+|v1v2|) (3.16)

    is fulfilled for all x[0,T] and for all ωi,viR with i=1,2. Then, (1.2) has at most one solution in the space of Cσ1([0,T0]).

    Proof. We have just showed the existence of the solution to problem (1.2) in the previous theorem. For the uniqueness, we first assume that (1.2) admits two different solutions such as ω1 and ω2 in the space of Cσ1([0,T0]). Let us define a function Φ(x) to be in the form

    Φ(x):={|ω1(x)ω2(x)|+|Dσ1ω1(x)Dσ1ω2(x)|,x>0                    0           ,x=0.

    Since ω1,ω2Cσ1([0,T]), the continuity of Φ(x) on x(0,T0] can obviously be seen. For its continuity at x=0,

    0limx0+Φ(x)=limx0+1Γ(σ)|x0f(t,ω1(t),Dσ1ω1(t))f(t,ω2(t),Dσ1ω2(t))(xt)1σdt|+limx0+|x0f(t,ω1(t),Dσ1ω1(t))f(t,ω2(t),Dσ1ω2(t))dt|10limx0+x|H(xη,ω1(xη))H(xη,ω2(xη))|ησ1(1η)1σdη+10limx0+x2σ|H(xη,ω1(xη))H(xη,ω2(xη))|ησ1dη=0,

    where H(x,ω(x))=xσ1f(x,ω(x),Dσ1ω(x)) and we made the change of variable t=xη and used condition (C1), respectively. Consequently, limx0+Φ(x)=0=Φ(0).

    The fact that Φ(x)0 on [0,T] allows us to choose a point x0(0,T] so that

    0<Φ(x0)=|ω1(x0)ω2(x0)|+|Dσ1ω1(x0)Dσ1ω2(x0)|.

    By using the mean value theorem given by Lemma 3.2

    |ω1(x0)ω2(x0)|=Γ(2σ)x0|xσ11Dσ1(ω1ω2)(x1)|=Γ(2σ)x0xσ11|f(x1,ω1(x1),Dσ1ω1(x1))f(x1,ω2(x1),Dσ1ω2(x1))| (3.17)

    is obtained for x1(0,x0).

    Secondly, for the estimation of |Dσ1ω1(x0)Dσ1ω2(x0)|, we have from the well-known integral mean theorem for the classical calculus

    |Dσ1ω1(x0)Dσ1ω2(x0)|=x00tσ1|f(t,ω1(t),Dσ1ω1(t)f(t,ω2(t),Dσ1ω2(t)|tσ1dt=x2σ02σxσ12|f(x2,ω1(x2),Dσ1ω1(x2))f(x2,ω2(x2),Dσ1ω2(x2))|, (3.18)

    where x2(0,x0).

    We assign x3 as one of the points x1 and x2 so that |H(x3,ω1(x3))H(x3,ω2(x3))| :=max(|H(x1,ω1(x1))H(x1,ω2(x1))|,|H(x2,ω1(x2))H(x2,ω2(x2))|).

    Thus, from (3.17) and (3.18), we have

    0<Φ(x0)(Γ(2σ)x0+x2σ02σ)|H(x3,ω1(x3))H(x3,ω2(x3))|max(T,T2σ)(1+Γ(3σ)2σ)xσ13|f(x3,ω1(x3))f(x3,ω2(x3))|xσ13(|ω1(x3)ω2(x3)|+|Dσ1ω1(x3)Dσ1ω2(x3)|)=Φ(x3)

    since L2σmax(T,T2σ)  (1+Γ(3σ)). Repeating the same procedure for the point x3, it enables us to find some points x6(0,x3) so that 0<Φ(x0)Φ(x3)Φ(x6). Continuing in the same way, the sequence {x3n}n=1[0,x0) can be constructed so that x3n0 and

    0<Φ(x0)Φ(x3)Φ(x6)...Φ(x3n)... (3.19)

    However, the fact that Φ(x) is continuous at x=0 and x3n0 leads to Φ(x3n)Φ(0)=0, and this contradicts with (3.19). Consequently, IVP (1.2) possesses a unique solution.

    Theorem 3.3. (Krasnoselskii-Krein type uniqueness) Let 1<σ<2 and T0=min{T0 ,1}, where T0 is defined by (3.7). Let condition (C1) be fulfilled. Furthermore, suppose that there exist a L>0 and an α(0,1) so that

    x1α(σ1)|f(x,ω1,v1)f(x,ω2,v2)|Γ(σ)α(σ1)+L2(|ω1ω2|+|v1v2|) (3.20)

    holds for all x[0,T] and for all ωi,viR with i=1,2, and that there exist C>0 satisfying (1σ)(1α)L(1α)+1>0 such that

    xσ1|f(x,ω1,v1)f(x,ω2,v2)|C(|ω1ω2|α+xα(σ1)|v1v2|α) (3.21)

    holds for all x[0,T] and for all ωi,viR with i=1,2. Then, problem (1.2) has a unique solution in the space of Cσ1([0,T0]).

    Proof. As claimed in the previous theorem, we first assume that problem (1.2) has two different solutions such as ω1(x) and ω2(x) in Cσ1([0,T0]). However, by contradiction, we will show that they are indeed equal. For this, let us first define Φ1(x)=|ω1(x)ω2(x)| and Φ2(x)=|Dσ1ω1(x)Dσ1ω2(x)| and try to find estimates for each functions by using condition (C1) and inequality (3.21). Hence, we first have

    Φ1(x)1Γ(σ)x0|f(t,ω1(t),Dσ1ω1(t))f(t,ω2(t),Dσ1ω2(t))|(xt)1σdt1Γ(σ)x0tσ1|f(t,ω1(t),Dσ1ω1(t))f(t,ω2(t),Dσ1ω2(t))|tσ1(xt)1σdtCΓ(σ)x0[Φα1(x)+tα(σ1)Φα2(x)]tσ1(xt)1σdtCΓ(σ)(x0(1tσ1(xt)1σ)qdt)1/q(x0[Φα1(t)+tα(σ1)Φα2(t)]pdt)1/pCΓ(1+(1σ)q)Γ(1+(σ1)q))Γ(σ)x1/qΩ1/p(x)

    where we used Hölder inequality with q>1 satisfying (1σ)q+1>0 and p=q/(q1), and Ω(x) is defined by

    Ω(x)=x0[Φα1(t)+tα(σ1)Φα2(t)]pdt.

    From here, we have the following estimation

    Φp1(x)Cxp/qΩ(x), (3.22)

    where C is not specified here and throughout the proof. In addition to this, the upper bound for Φ2(x) can be found as follows:

    Φ2(x)x0|f(t,ω1(t),Dσ1ω1(t))f(t,ω2(t),Dσ1ω2(t))|dtx0tσ1|f(t,ω1(t),Dσ1ω1(t))f(t,ω2(t),Dσ1ω2(t))|tσ1dtCΓ(σ)x0[Φα1(x)+tα(σ1)Φα2(x)]tσ1(xt)1σdtC(x0(1tσ1)qdt)1/q(x0[Φα1(t)+tα(σ1)Φα2(t)]pdt)1/pCΓ(1+(1σ)q)Γ(2+(σ1)q))x(1+q(1σ))/qΩ1/p(x).

    From here,

    Φp2(x)Cx(1+q(1σ))p/qΩ(x) (3.23)

    is then obtained. By using estimations in (3.22) and (3.23) in the derivative of Ω(x) we have

    Ω(x)=[Φα1(x)+tα(σ1)Φα2(x)]p2p1[(Φα1(x))p+tpα(σ1)(Φα2(x))p]=2p1[(Φp1(x))α+xpα(σ1)(Φp2(x))α]2p1[Cαxαp/qΩα(x)+Cαxpα(σ1)x(1+q(1σ))αp/qΩα(x)]Cxαp/qΩα(x). (3.24)

    If we multiply the both sides of the above inequality with (1α)Ωα(x),

    (1α)Ωα(x)Ω(x)=ddx[Ω1α(x)]Cxαp/q.

    is then obtained. Integrating the both sides of the inequality over [0,x], we get

    Ω1α(x)Cx(αp+q)/q,

    since Ω(0)=0. Consequently, this leads to the following estimation on Ω(x)

    Ω(x)Cx(αp+q)/(1α)q. (3.25)

    By considering (3.22) and (3.23) together with (3.25), one can conclude that

    Φp1(x)Cxp/qΩ(x)Cxp/qx(αp+q)/(1α)pq=Cxp+q/(1α)q.

    or

    Φ1(x)Cx(p+q)/(1α)pq=x1/(1α), (3.26)

    and

    Φp2(x)Cxp(1+q(1σ))/qΩ(x)Cxp(1+q(1σ))/qx(αp+q)/(1α)pq=Cx(1α)(1σ)pq+p+q(1α)q.

    or

    Φ2(x)Cx(1σ)+p+q(1α)pq=x(1σ)+1(1α), (3.27)

    since p+qpq=1.

    Let us now define

    Ψ(x)=xLmax{Φ1(x),Φ2(x)},

    where L(1α)<1+(1σ)(1α). If Φ1(x)=max{Φ1(x),Φ2(x)}, then from (3.26) we get

    0Ψ(x)x11αL,

    or in the case of Φ2(x)=max{Φ1(x),Φ2(x)}, by the inequality (3.27) we have the following

    0Ψ(x)x(1σ)+11αL=x(1σ)(1α)L(1α)+11α.

    In both cases, Ψ(x) is continuous on [0,T0] and Ψ(0)=0. Let us now show that Ψ(x)0 on [0,T0]. For this, suppose otherwise and let Ψ(x) This means \Psi(x) > 0, and from its continuity one can say that there exists a point x_{1}\in [0, T^{*}_{0}] so that \Psi(x) takes its maximum value at that point. Thus, let

    M = \Psi(x_{1}) = \max\limits_{x\in [0, T^{*}_{0}]}\Psi(x).

    By assuming \Psi(x) = x^{-L}\Phi_{1}(x),

    \begin{align} M& = \Psi(x_{1}) = x_{1}^{-L}\Phi_{1}(x_{1}) \\ &\leq\frac{x_{1}^{-L}}{\Gamma(\sigma)}\int_{0}^{x_{1}}\frac{t^{1-\alpha(\sigma-1)}\left|f\left(t , \omega_{1}\left(t\right), D^{\sigma-1}\omega_{1}\left(t\right)\right)-f\left(t , \omega_{2}\left(t\right), D^{\sigma-1}\omega_{2}\left(t\right)\right)\right|}{t^{1-\alpha(\sigma-1)}\left(x-t\right) ^{1-\sigma}}dt \\ &\leq\frac{(\alpha(\sigma-1)+L)x_{1}^{-L}}{2}\int_{0}^{x_{1}}\left(x_{1}-t\right) ^{\sigma-1}t^{-1+\alpha(\sigma-1)}\left[\Phi_{1}(t)+\Phi_{2}(t) \right] dt \\ &\leq M(\alpha(\sigma-1)+L)x_{1}^{-L+\sigma-1}\int_{0}^{x_{1}}t^{-1+\alpha(\sigma-1)+L} dt \\ & < Mx^{(\alpha+1)(\sigma-1)}_{1}\leq M \end{align} (3.28)

    is obtained for t\in [0, x_{1}). However, we get to a contradiction.

    On the other hand, when \Psi(x) = x^{-L}\Phi_{2}(x), we get

    \begin{align} M& = \Psi(x_{1}) = x_{1}^{-L}\Phi_{2}(x_{1})\\ &\leq x_{1}^{-L} \int_{0}^{x_{1}}\frac{t^{1-\alpha(\sigma-1)}\left|f\left(t , \omega_{1}\left(t\right), D^{\sigma-1}\omega_{1}\left(t\right)\right)-f\left(t , \omega_{2}\left(t\right), D^{\sigma-1}\omega_{2}\left(t\right)\right)\right|}{t^{1-\alpha(\sigma-1)}}dt \\ &\leq\Gamma(\sigma)\frac{(\alpha(\sigma-1)+L)x_{1}^{-L}}{2}\int_{0}^{x_{1}}t^{-1+\alpha\left( \sigma-1\right)+L}\left[\Phi_{1}(t)+\Phi_{2}(t) \right] dt \\ & < Mx^{\alpha(\sigma-1)}_{1}\leq M, \end{align} (3.29)

    which is contraction as well.

    Consequently, \Psi(x) vanishes identically on [0, T^{*}_{0}]. This gives us the uniqueness of solutions to the considered problem.

    Theorem 3.4 (Osgood-type uniqueness). Let 1 < \sigma < 2, and T_0 be defined by (3.7), and let condition (C1) be satisfied. Furthermore, suppose that the equality

    \begin{align} x^{\sigma-1}\left|f(x, \omega_{1}, v_{1})-f(x, \omega_{2}, v_{2})\right|\leq C\left( g\left(\left|\omega_{1}-\omega_{2}\right|^{p}+\left|v_{1}-v_{2}\right|^{p}\right)\right)^{1/p} \end{align} (3.30)

    is fulfilled for all x\in[0, T] and for all \omega_{i}, v_{i}\in\mathbb{R} with i = 1, 2, where p > 1 is conjugate of q > 1 satisfying 1+(1-\sigma)q > 0 and

    \begin{align*} C^{q}\geq 2\max\left( b\Gamma^{q}(\sigma)[T_0\Gamma(1+(1-\sigma)q)\Gamma(1+(\sigma-1)q)]^{-1} , (1+(1-\sigma)q) T_{0}~^{-1-q(1-\sigma)} \right). \end{align*}

    Moreover, assume that g is a continuous, non-negative and non-decreasing function in \left[0, \infty\right) so that g(0) = 0 and it satisfies

    \begin{align} \lim\limits_{\epsilon\to 0^{+}}\int_{\epsilon}^{\gamma}\frac{du}{g(u)} = \infty \end{align} (3.31)

    for any \gamma\in\mathbb{R}. Then, (1.2) has a unique solution in the space C^{\sigma-1}(\left[0, T_{0}~\right]).

    Proof. As made in previously given uniqueness theorems, we assume that there exist two different solutions such as \omega_{1}(x) and \omega_{2}(x) to problem (1.2) in C^{\sigma-1}(\left[0, T^{*}_{0}\right]). Moreover, let \Phi_{1}(x) = \left| \omega_{1}(x)-\omega_{2}(x)\right| and \Phi_{2}(x) = \left| D^{\sigma-1}\omega_{1}(x)-D^{\sigma-1}\omega_{2}(x)\right|. At first, we get the estimation on \Phi_{1}(x) as follows:

    \begin{align} \Phi_{1}(x)&\leq \frac{1}{\Gamma(\sigma)}\int_{0}^{x}\frac{t^{\sigma-1}\left|f\left(t , \omega_{1}\left(t\right), D^{\sigma-1}\omega_{1}\left(t\right)\right)-f\left(t , \omega_{2}\left(t\right), D^{\sigma-1}\omega_{2}\left(t\right)\right)\right|}{t^{\sigma-1}\left(x-t\right) ^{1-\sigma}} dt \\ &\leq \frac{C}{\Gamma(\sigma)} \int_{0}^{x}\frac{\left[ g\left(\left|\omega_{1}\left(t\right)-\omega_{2}\left(t\right)\right|^{p}+\left|D^{\sigma-1}\omega_{1}\left(t\right)-D^{\sigma-1}\omega_{2}\left(t\right)\right|^{p}\right)\right] ^{1/p}}{t^{\sigma-1}\left(x-t\right) ^{1-\sigma}} dt \\ &\leq \frac{C}{\Gamma(\sigma)}\left( \int_{0}^{x}\left(\frac{1}{t^{\sigma-1}\left(x-t\right) ^{1-\sigma}}\right) ^{q} dt\right)^{1/q}\left( \int_{0}^{x} g\left(\Phi^{p}_{1}(t)+\Phi^{p}_{2}(t)\right) dt\right)^{1/p} \\ &\leq C\left[ \frac{\Gamma(1+(1-\sigma)q)\Gamma(1+(\sigma-1)q)}{\Gamma^{q}(\sigma)}\right]^{1/q}x^{1/q}\left( \int_{0}^{x} g\left(\Phi^{p}_{1}(t)+\Phi^{p}_{2}(t)\right) dt\right)^{1/p} \\ &\leq \frac{1}{2^{1/p}}\left( \int_{0}^{x} g\left(\Phi^{p}_{1}(t)+\Phi^{p}_{2}(t)\right) dt\right)^{1/p} \end{align} (3.32)

    where we used the inequality (3.30), Hölder inequality and the assumption on C, respectively. From here, it follows that

    \begin{align} \Phi^{p}_{1}(x)\leq \frac{1}{2}\int_{0}^{x} g\left(\Phi^{p}_{1}(t)+\Phi^{p}_{2}(t)\right) dt . \end{align} (3.33)

    Similarly to above, we have

    \begin{align} \Phi_{2}(x)&\leq \int_{0}^{x}\frac{t^{\sigma-1}\left|f\left(t , \omega_{1}\left(t\right), D^{\sigma-1}\omega_{1}\left(t\right)\right)-f\left(t , \omega_{2}\left(t\right), D^{\sigma-1}\omega_{2}\left(t\right)\right)\right|}{t^{\sigma-1}} dt \\ &\leq C \int_{0}^{x}\frac{\left[ g\left(\left|\omega_{1}\left(t\right)-\omega_{2}\left(t\right)\right|^{p}+\left|D^{\sigma-1}\omega_{1}\left(t\right)-D^{\sigma-1}\omega_{2}\left(t\right)\right|^{p}\right)\right] ^{1/p}}{t^{\sigma-1}} dt \\ &\leq C\left( \int_{0}^{x}\left(\frac{1}{t^{\sigma-1}}\right) ^{q} dt\right)^{1/q}\left( \int_{0}^{x} g\left(\Phi^{p}_{1}(t)+\Phi^{p}_{2}(t)\right) dt\right)^{1/p} \\ &\leq C\left[ \frac{1}{(1+(1-\sigma)q)}\right]^{1/q} x^{(1+q(1-\sigma))/q}\left( \int_{0}^{x} g\left(\Phi^{p}_{1}(t)+\Phi^{p}_{2}(t)\right) dt\right)^{1/p} \\ &\leq \frac{1}{2^{1/p}}\left( \int_{0}^{x} g\left(\Phi^{p}_{1}(t)+\Phi^{p}_{2}(t)\right) dt\right)^{1/p}. \end{align} (3.34)

    This leads to

    \begin{align} \Phi^{p}_{2}(x)\leq \frac{1}{2}\int_{0}^{x} g\left(\Phi^{p}_{1}(t)+\Phi^{p}_{2}(t)\right) dt . \end{align} (3.35)

    Now, set

    \Psi(x): = \max\limits_{0\leq t\leq x} \left[ \Phi^{p}_{1}(x)+\Phi^{p}_{2}(x)\right],

    and assume that \Psi(x) > 0 for x\in (0, T_{0}~]. We will show that it can not be possible under assumptions.

    From the definition of \Psi(x) one easily conclude that for each x\in [0, T_0], it is \Phi^{p}_{1}(x)+\Phi^{p}_{2}(x)\leq \Psi(x) and there exists a x_{1}\leq x so that \Psi(x) = \Phi^{p}_{1}(x_{1})+\Phi^{p}_{2}(x_{1}). Then, from estimations (3.33)–(3.35) and from the fact that g is non-decreasing function

    \begin{align} \Psi(x) = \Phi^{p}_{1}(x_{1})+\Phi^{p}_{2}(x_{1})\leq \int_{0}^{x_{1}} g\left(\Phi^{p}_{1}(t)+\Phi^{p}_{2}(t)\right)\leq \int_{0}^{x} g\left(\Psi(t)\right)dt: = \Psi_{*}(x) \end{align} (3.36)

    is then obtained. It can be seen that \Psi(x)\leq \Psi_{*}(x). Moreover, we have

    \frac{d}{dx}\Psi_{*}(x) = g\left(\Psi(x)\right)\leq g\left(\Psi_{*}(x)\right)

    for all x\in [0, T_0]. From this fact, for sufficiently small \delta > 0, we have

    \int_{\delta}^{T_{0}~}\frac{\Psi^{'}_{*}(x)}{g\left(\Psi_{*}(x)\right)}dx\leq T_{0}~-\delta.

    Furthermore, by changing variables u = \Psi_{*}(x) in the above integral and by using the continuity of \Psi_{*}(x) and \Psi_{*}(0) = 0 , we have

    \int_{\epsilon}^{\gamma}\frac{du}{g\left(u\right)} \leq T_{0}~-\delta.

    for sufficiently small \epsilon > 0 with \epsilon = \Psi_{*}(\delta) and for \gamma = \Psi_{*}(T_{0}~). However, this contradicts with the assumption on g given in (3.31). Consequently, \Psi(x) = 0 for x\in [0, T_{0}~], i.e. \omega_{1} = \omega_{2}.

    Remark 3.1. It must be pointed out that, as noted in Theorem 1.4.3 in [13], the condition that function g(u) is non-decreasing can be dropped.

    Example 3.1. Let us consider the following problem

    \begin{equation} D^{\frac{4}{3}}\omega(x) = \begin{cases} x^{-\frac{1}{3}}\left[-\omega \ln\omega-(D^{\frac{1}{3}}\omega)\ln(D^{\frac{1}{3}}\omega) \right], &if \quad 0 < \omega, D^{\frac{1}{3}}\omega\leq 1/e \\ 0, &if\quad \omega = 0 \quad or \quad D^{\frac{1}{3}}\omega = 0, \end{cases} \end{equation} (3.37)

    with initial conditions \omega(0) = 0 and D^{\sigma-1}\omega\left(x\right)|_{x = 0} = 1. Let T = 1 in Theorem 3.1. Then, \mathcal{M} = \max_ {(x, u, v)\in [0, 1]\times [0, 1/e]\times [0, 1/e]} \left|x^{\frac{1}{3}}f(x, \omega, v) \right|\cong \frac{2}{e}, C(b, \sigma, \mathcal{M}) = C(1, \frac{4}{3}, \frac{2}{e})\cong 3.2 and T_{0}~ = \frac{r}{C(b, \sigma, \mathcal{M})}\cong 0.22. Hence, problem (3.37) has a solution in C^{\frac{1}{3}}(\left[0, 0.22 \right]). Now, we investigate the uniqueness of the solution to the problem in C^{\frac{1}{3}}(\left[0, 0.22 \right]). Let the function g in the previous theorem defined by

    \begin{equation} g(u) = \begin{cases} 0 &if \quad u = 0 \\ -\sqrt{u}\ln\sqrt{u} &if\quad 0 < u\leq 1/e^{2} , \\ 1/e &if\quad u\geq 1/e^{2} , \\ \end{cases} \end{equation} (3.38)

    It is obvious that g is positive for u > 0 . Since g'(u) = -\frac{1}{2\sqrt{u}}\left(1+\ln(\sqrt{u})\right) > 0 for 0 < u\leq 1/e^{2}, it is non-decreasing. Also,

    \begin{align} \lim\limits_{\epsilon\to 0^{+}}\int_{\epsilon}^{\gamma}\frac{du}{g(u)} = \infty \end{align} (3.39)

    for any \gamma\in\mathbb{R}, which can be seen by considering the inequality \frac{1}{g(u)} = -\frac{1}{\sqrt{u}\ln\sqrt{u}}\leq \frac{1}{u} in the neighborhood of u = 0 and the divergence of the integral \lim_{\epsilon\to 0^{+}}\int_{\epsilon}^{\gamma}\frac{du}{u} and by applying comparison test. Moreover, by using the concavity of the nonlinear function f with respect to second and third variables, we have

    \begin{align} x^{1/3}\left|f(x, \omega_{1}, v_{1})-f(x, \omega_{2}, v_{2})\right|&\leq \left|-\omega_{1}\ln \omega_{1}-v_{1}\ln v_{1}-\left( -\omega_{2}\ln \omega_{2}-v_{2}\ln v_{2}\right) \right| \\ &\leq -\left|\omega_{1}\ln \omega_{1}-\omega_{2}\ln \omega_{2} \right|-\left|v_{1}\ln v_{1}-v_{2}\ln v_{2} \right| \\ &\leq -\left|\omega_{1}-\omega_{2}\right| \left| \ln \left( \omega_{1}- \omega_{2}\right) \right|-\left|v_{1}-v_{2}\right| \left| \ln \left( v_{1}-v_{2}\right) \right| \\ &\leq -2\sqrt{ \left|\omega_{1}-\omega_{2}\right|^{2}+\left|v_{1}-v_{2}\right|^{2}} \ln \sqrt{ \left|\omega_{1}-\omega_{2}\right|^{2}+\left|v_{1}-v_{2}\right|^{2}} \\ &\leq C \left( g\left(\left|\omega_{1}-\omega_{2}\right|^{2}+\left|v_{1}-v_{2}\right|^{2}\right)\right) ^{1/2} \end{align} (3.40)

    where v_{i} = D^{\frac{1}{3}}\omega_{i} for i = 1, 2, p = q = 2 and

    C\geq 1.725\cong \sqrt{2}\max\left( \frac{\Gamma(4/3)}{0.22\times\Gamma(1/3)\Gamma(5/3)}, \frac{1} {3\times 0.22^{1/3}} \right).

    Hence, assumptions of Theorem 3.4 are satisfied. So, the problem has a unique solution in C^{\frac{1}{3}}(\left[0, 0.22 \right]).

    In this research, we gave some sufficient conditions for the existence and uniqueness of a problem involving a nonlinear differential equations in the sense of R-L derivative when the right-hand side function has a discontinuity at zero. We presented an example associated with two theorems. Considering the literature, these results can be generalized and improved. Besides, one can obtain another uniqueness results for this problem as well.

    There is no conflict of interest.



    [1] J. Hadamard, Étude sur les propriétés des fonctions entières en particulier d'une fonction considérée par Riemann, J. Math. Pures Appl., 58 (1893), 171–215.
    [2] M. A. Ali, H. Budak, Z. Zhang, H. Yildrim, Some new Simpson's type inequalities for co-ordinated convex functions in quantum calculus, Math. Meth. Appl. Sci., 44 (2021), 4515–4540. doi: 10.1002/mma.7048
    [3] M. A. Ali, H. Budak, M. Abbas, Y. M. Chu, Quantum Hermite-Hadamard-type inequalities for functions with convex absolute values of second q^{b}-derivatives, Adv. Differ. Equ., 2021 (2021), 7. doi: 10.1186/s13662-020-03163-1
    [4] M. A. Ali, M. Abbas, H. Budak, P. Agarwal, G. Murtaza, Y. M. Chu, New quantum boundaries for quantum Simpson's and quantum Newton's type inequalities for preinvex functions, Adv. Differ. Equ., 2021 (2021), 64. doi: 10.1186/s13662-021-03226-x
    [5] M. A. Ali, Y. M. Chu, H. Budak, A. Akkurt, H. Yildrim, Quantum variant of Montgomery identity and Ostrowski-type inequalities for the mappings of two variables, Adv. Differ. Equ., 2021 (2021), 25. doi: 10.1186/s13662-020-03195-7
    [6] M. A. Ali, N. Alp, H. Budak, Y. M. Chu, Z. Zhang, On some new quantum midpoint type inequalities for twice quantum differentiable convex functions, Open Math., 19 (2021), 427–439. doi: 10.1515/math-2021-0015
    [7] M. A. Ali, H. Budak, A. Akkurt, Y. M. Chu, Quantum Ostrowski type inequalities for twice quantum differentiable functions in quantum calculus, Open Math., 19 (2021), 440–449. doi: 10.1515/math-2021-0020
    [8] M. A. Ali, M. Abbas, M. Sehar, G. Murtaza, Simpson's and Newton's type quantum integral inequalities for preinvex functions, Korean J. Math., 29 (2021), 193–203.
    [9] H. Budak, M. A. Ali, M. Tarhanaci, Some new quantum Hermite-Hadamard-like inequalities for coordinated convex functions, J. Optim. Theory Appl., 186 (2020), 899–910. doi: 10.1007/s10957-020-01726-6
    [10] H. Budak, S. Erden, M. A. Ali, Simpson and Newton type inequalities for convex functions via newly defined quantum integrals, Math. Meth. Appl. Sci., 44 (2020), 378–390.
    [11] S. S. Dragomir, C. E. M. Pearce, Selected topics on Hermite-Hadamard inequalities and applications, RGMIA Monographs, Victoria University, 2000.
    [12] A. Guessab, G. Schmeisser, Sharp integral inequalities of Hermite-Hadamard type, J. Apprx. Theory, 115 (2002), 260–288. doi: 10.1006/jath.2001.3658
    [13] A. Guessab, G. Schmeisser, Convexity results and sharp error estimates in approximate multivariate integration, Math. Comput., 73 (2004), 1365–1384.
    [14] A. Guessab, G. Schmeisser, Sharp error estimates for interpolatory approximation on convex polytope, SIAM J. Numer. Anal., 43 (2005), 909–923. doi: 10.1137/S0036142903435958
    [15] A. Guessab, Direct and converse results for generalized multivariate Jensen-type inequalities, J. Nonlinear Convex Anal., 13 (2012), 777–797.
    [16] M. Z. Sarikaya, M. E. Kiris, Some new inequalities of Hermite-Hadamard type for s-convex functions, Miskolc Math. Notes, 16 (2015), 491–501. doi: 10.18514/MMN.2015.1099
    [17] P. O. Mohammed, Some new Hermite-Hadamard type inequalities for MT-convex functions on differentiable coordinates, J. King Saud Univ. Sci., 30 (2018), 258–262. doi: 10.1016/j.jksus.2017.07.011
    [18] K. S. Miller, B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, Wiley, New York, 1993.
    [19] K. B. Oldham, J. Spanier, The Fractional Calculus, Academic Press, San Diego, 1974.
    [20] S. G. Samko, A. A. Kilbas, O. I. Marichev, Fractional Integrals and Derivatives: Theory and Applications, Taylor Francis, London, 2002 [orig. ed. in Russian; Nauka i Tekhnika, Minsk, 1987].
    [21] M. Z. Sarikaya, F. Ertugral, On the generalized Hermite-Hadamard inequalities, An. Univ. Craiova Ser. Mat. Inform., 47 (2020), 193–213.
    [22] M. Z. Sarikaya, A. Karaca, On the k-Riemann-Liouville fractional integral and applications, IJSM, 1 (2014), 033–043. doi: 10.26524/jms.2012.4
    [23] T. Abdeljawad, Fractional operators with exponential kernels and a Lyapunov type inequality, Adv. Differ. Equ., 2017 (2017), 313. doi: 10.1186/s13662-017-1285-0
    [24] T. Abdeljawad, On conformable fractional calculus, J. Comput. Appl., 279 (2015), 57–66. doi: 10.1016/j.cam.2014.10.016
    [25] M. Z. Sarikaya, E. Set, H. Yaldiz, N. Başak, Hermite-Hadamard's inequalities for fractional integrals and related fractional inequalities, Math. Comput. Model., 57 (2013), 2403–2407. doi: 10.1016/j.mcm.2011.12.048
    [26] M. Z. Sarikaya, H. Yildirim, On Hermite-Hadamard type inequalities for Riemann-Liouville fractional integrals, Miskolc Math. Notes, 17 (2017), 1049–1059. doi: 10.18514/MMN.2017.1197
    [27] P. O. Mohammed, I. Brevik, A New Version of the Hermite-Hadamard Inequality for Riemann-Liouville Fractional Integrals, Symmetry, 12 (2020), 610. doi:10.3390/sym12040610. doi: 10.3390/sym12040610
    [28] A. Fernandez, P. Mohammed, Hermite-Hadamard inequalities in fractional calculus defined using Mittag-Leffler kernels, Math. Meth. Appl. Sci., 2020, 1–18. Available from: https://doi.org/10.1002/mma.6188.
    [29] P. O. Mohammed, T. Abdeljawad, Modification of certain fractional integral inequalities for convex functions, Adv. Differ. Equ., 2020 (2020), 69. doi: 10.1186/s13662-020-2541-2
    [30] P. O. Mohammed, Hermite-Hadamard inequalities for Riemann-Liouville fractional integrals of a convex function with respect to a monotone function, Math. Meth. Appl. Sci., (2019), 1–11. Available from: https://doi.org/10.1002/mma.5784.
    [31] P. O. Mohammed, M. Z. Sarikaya, Hermite-Hadamard type inequalities for F-convex function involving fractional integrals, J. Inequal. Appl., 2018 (2018), 359. doi: 10.1186/s13660-018-1950-1
    [32] P. O. Mohammed, M. Z. Sarikaya, D. Baleanu, On the Generalized Hermite-Hadamard Inequalities via the Tempered Fractional Integrals, Symmetry, 12 (2020), 595. Available from: http://doi.org/10.3390/sym12040595.
    [33] F. Qi, P. O. Mohammed, J. C. Yao, Y. H. Yao, Generalized fractional integral inequalities of Hermite-Hadamard type for (\alpha, m)-convex functions, J. Inequal. Appl., 2019 (2019), 135. doi: 10.1186/s13660-019-2079-6
    [34] P. O. Mohammed, M. Z. Sarikaya, On generalized fractional integral inequalities for twice differentiable convex functions, J. Comput. Appl. Math., 372 (2020), 112740. doi: 10.1016/j.cam.2020.112740
    [35] J. Han, P. O. Mohammed, H. Zeng, Generalized fractional integral inequalities of Hermite-Hadamard-type for a convex function, Open Math., 18 (2020), 794–806. doi: 10.1515/math-2020-0038
    [36] D. Baleanu, P. O. Mohammed, S. Zeng, Inequalities of trapezoidal type involving generalized fractional integrals, Alex. Eng. J., 59 (2020), 2975–2984. doi: 10.1016/j.aej.2020.03.039
    [37] P. M. Vasić, J. E. Pečarić, On the Jensen inequality, Univ. Beograd. Publ. Elektrotehn Fak. Ser. Mat. Fis., 634–677 (1979), 50–54.
    [38] A. Matković, J. Pečarić, I. Perić, A variant of Jensens inequality of Mercers type for operators with application, Linear Al. Appl., 418 (2006), 551–564. doi: 10.1016/j.laa.2006.02.030
    [39] M. Kian, M. S. Moslehian, Refinements of the operator Jensen-Mercer inequality, Electron J. Linear Al., 26 (2013), 50.
    [40] A. McD Mercer, A variant of Jensens inequality, J. Ineq. Pure Appl. Math., 4 (2003), 73.
    [41] A. M. Fink, M. Jodeit Jr, Jensen inequalities for functions with higher monotonicities, Aequations Math., 40 (1990), 26–43. doi: 10.1007/BF02112278
    [42] M. Kian, M. S. Moslehian, Refinements of the operator Jensen-Mercer inequality, Electron. J. Linear Algebra,, 26 (2013), 50.
    [43] H. Öǧülmüs, M. Z. Sarikaya, Hermite-Hadamard-Mercer type inequalities for fractional integrals, Available from: DOI: 10.13140/RG.2.2.30669.79844.
    [44] G. Farid, A. U. Rehman, M. Zahra, On Hadamard inequalities for k-fractional integrals, Nonlinear Funct. Anal. Appl., 21 (2016), 463–478.
    [45] M. A. Khan, T. Ali, S. S. Dragomir, M. Z. Sarikaya, Hermite-Hadamard type inequalities for conformable fractional integrals, RACSAM Rev. R. Acad. A, 112 (2018), 1033–1048.
    [46] B. Ahmad, A Alsaedi, M. Kirane, B. T. Torebek, Hermite-Hadamard, Hermite-Hadamard-Fejér, Dragomir-Agarwal and Pachpatte type inequalities for convex functions via new fractional integrals, J. Comput. Appl. Math., 353 (2019), 120–129. doi: 10.1016/j.cam.2018.12.030
    [47] S. S. Dragomir, R. P. Agarwal, Two inequalities for differentiable mappings and applications to special means of real numbers and to trapezoidal formula, Appl. Math. Let., 11 (1998), 91–95.
    [48] U. S. Kirmaci, Inequalities for differentiable mappings and applications to special means of real numbers and to midpoint formula, Appl. Math. Comput., 147 (2004), 137–146.
  • This article has been cited by:

    1. Peng E, Tingting Xu, Linhua Deng, Yulin Shan, Miao Wan, Weihong Zhou, Solutions of a class of higher order variable coefficient homogeneous differential equations, 2025, 20, 1556-1801, 213, 10.3934/nhm.2025011
  • Reader Comments
  • © 2021 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(2746) PDF downloads(114) Cited by(24)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog