Loading [MathJax]/jax/output/SVG/jax.js
Research article

Ulam-Hyers-Rassias stability for a class of nonlinear implicit Hadamard fractional integral boundary value problem with impulses

  • Received: 12 October 2021 Accepted: 22 November 2021 Published: 25 November 2021
  • MSC : 34A08, 34B10, 34B37, 34D20

  • This paper considers a class of nonlinear implicit Hadamard fractional differential equations with impulses. By using Banach's contraction mapping principle, we establish some sufficient criteria to ensure the existence and uniqueness of solution. Furthermore, the Ulam-Hyers stability and Ulam-Hyers-Rassias stability of this system are obtained by applying nonlinear functional analysis technique. As applications, an interesting example is provided to illustrate the effectiveness of main results.

    Citation: Kaihong Zhao, Shuang Ma. Ulam-Hyers-Rassias stability for a class of nonlinear implicit Hadamard fractional integral boundary value problem with impulses[J]. AIMS Mathematics, 2022, 7(2): 3169-3185. doi: 10.3934/math.2022175

    Related Papers:

    [1] A.G. Ibrahim, A.A. Elmandouh . Existence and stability of solutions of ψ-Hilfer fractional functional differential inclusions with non-instantaneous impulses. AIMS Mathematics, 2021, 6(10): 10802-10832. doi: 10.3934/math.2021628
    [2] Mohamed Adel, M. Elsaid Ramadan, Hijaz Ahmad, Thongchai Botmart . Sobolev-type nonlinear Hilfer fractional stochastic differential equations with noninstantaneous impulsive. AIMS Mathematics, 2022, 7(11): 20105-20125. doi: 10.3934/math.20221100
    [3] Noorah Mshary, Hamdy M. Ahmed, Ahmed S. Ghanem . Existence and controllability of nonlinear evolution equation involving Hilfer fractional derivative with noise and impulsive effect via Rosenblatt process and Poisson jumps. AIMS Mathematics, 2024, 9(4): 9746-9769. doi: 10.3934/math.2024477
    [4] Kanagaraj Muthuselvan, Baskar Sundaravadivoo, Kottakkaran Sooppy Nisar, Suliman Alsaeed . Discussion on iterative process of nonlocal controllability exploration for Hilfer neutral impulsive fractional integro-differential equation. AIMS Mathematics, 2023, 8(7): 16846-16863. doi: 10.3934/math.2023861
    [5] Weerawat Sudsutad, Wicharn Lewkeeratiyutkul, Chatthai Thaiprayoon, Jutarat Kongson . Existence and stability results for impulsive (k,ψ)-Hilfer fractional double integro-differential equation with mixed nonlocal conditions. AIMS Mathematics, 2023, 8(9): 20437-20476. doi: 10.3934/math.20231042
    [6] Sunisa Theswan, Sotiris K. Ntouyas, Jessada Tariboon . Coupled systems of ψ-Hilfer generalized proportional fractional nonlocal mixed boundary value problems. AIMS Mathematics, 2023, 8(9): 22009-22036. doi: 10.3934/math.20231122
    [7] Ramkumar Kasinathan, Ravikumar Kasinathan, Dumitru Baleanu, Anguraj Annamalai . Hilfer fractional neutral stochastic differential equations with non-instantaneous impulses. AIMS Mathematics, 2021, 6(5): 4474-4491. doi: 10.3934/math.2021265
    [8] Muneerah AL Nuwairan, Ahmed Gamal Ibrahim . The weighted generalized Atangana-Baleanu fractional derivative in banach spaces- definition and applications. AIMS Mathematics, 2024, 9(12): 36293-36335. doi: 10.3934/math.20241722
    [9] Weerawat Sudsutad, Chatthai Thaiprayoon, Sotiris K. Ntouyas . Existence and stability results for ψ-Hilfer fractional integro-differential equation with mixed nonlocal boundary conditions. AIMS Mathematics, 2021, 6(4): 4119-4141. doi: 10.3934/math.2021244
    [10] Vidushi Gupta, Jaydev Dabas . Nonlinear fractional boundary value problem with not instantaneous impulse. AIMS Mathematics, 2017, 2(2): 365-376. doi: 10.3934/Math.2017.2.365
  • This paper considers a class of nonlinear implicit Hadamard fractional differential equations with impulses. By using Banach's contraction mapping principle, we establish some sufficient criteria to ensure the existence and uniqueness of solution. Furthermore, the Ulam-Hyers stability and Ulam-Hyers-Rassias stability of this system are obtained by applying nonlinear functional analysis technique. As applications, an interesting example is provided to illustrate the effectiveness of main results.



    FDEs, which provide a very important class of DEs for describing many processes in the real world, differ from ODEs. FDEs can be found in a variety of areas, including control theory, physics, et cetera. In the literature, many authors focused on R-L and Caputo type derivatives in investigating fractional differential equations. A generalization of derivatives of both R-L and Caputo was given by Hilfer in [1], the known as the Hilfer fractional derivative of order α and a type β[0,1], which interpolates between the R-L and Caputo derivative, respectively. This justify the utilization of the Hilfer fractional operator and their generalization in integro-differential equations. In recent years, many researchers have studied the existence, uniqueness and stability of different boundary value problems via Hilfer operators and their generalization.

    Asawasamrit et al. [2] studied the ψ-Caputo (or, more appropriately, ψ-Liouville-Caputo) fractional derivative and non-instantaneous impulsive BVPs. Abdo et al. [3] discussed the ψ-Hilfer fractional derivative involving boundary conditions. Ali et al. in [4] found solution of fractional Volterra-Fredholm integro-differential equations under mixed boundary conditions by using the HOBW method. Anguraj et al. in [5] established new existence results for FIDEs with impulsive and integral conditions. Agarwal et al. in [6] investigated non-instantaneous impulses in Caputo FDEs. Abdo et al. in [7] considered fractional BVP with ψ-Caputo fractional derivative. Kailasavalli et al. in [8] derived existence of solutions for fractional BVPs involving integro-differential equations in Banach spaces. Karthikeyan et al. in [9] investigated existence results for fractional impulsive integro differential equations with integral conditions of Katugampola type. Nuchpong et al. in [10] considered BVPs of Hilfer-type FIDEs and inclusions with nonlocal integro-multipoint boundary conditions. Kilbas et al. in [11] give some basic theory and applications of FDEs. Podlubny in [12] investigated some FDEs. Srivastava in [13] overview recent developments of fractional-order derivatives and integrals. Srivastava in [14] considered some parametric and argument variations of the operators of fractional calculus and related special functions, and integral transformations. Srivastava in [15] give an introductory overview of fractional-calculus operators based upon the Fox-Wright and related higher transcendental functions.

    Recent theories regarding IDEs arise in many fields like, biology, physics, engineering and medicine, where objects change their state rapidly at certain points, see [16,17,18,19,20]. Hernandez et al. in [21] introduced non-instantaneous IDE. Practical problems in the area of psychology related to non-instantaneous impulses can be found in [22,23,24,25,26,27]. Asawasamrit et al. [28] considered the nonlocal BVPs for Hilfer FDEs. Mahmudov et al. [29] investigated the fractional-order BVPs with the so-called Katugampola (or, equivalently, the Erdélyi-Kober type) fractional integral conditions. da Costa Sousa et al. [30] studied a Gronwall inequality via the ψ-Hilfer operator. Phuangthong et al. [31] investigated the nonlocal sequential BVPs for Hilfer type FIDEs and inclusions. Sitho et al. in [32], studied the BVPs regarding ψ-Hilfer type sequential FDEs. Sudsutad et al. in [33], investigated the existence and stability results for ψ-Hilfer FIDE. Subashini et al. [34] obtained some results of fractional order regarding Hilfer integro-differential equations. Wang et al. [35] studied the existence results for FDEs with integral and multipoint boundary conditions. Yu [36] investigated β-Ulam-Hyers stability for a special class of FDEs. Zhang et al. [37] studied the FDEs with not instantaneous impulses. ψ-Hilfer FDEs with impulsive conditions were studied in [38,39].

    Abbas [16] studied the following proportional fractional derivatives:

    a1Dp,q,g(ȷ)=Y(ȷ,(ȷ),a1Ir,q,g(ȷ)),ȷ(rk,ȷk+1],(ȷ)=ψk(ȷ,(t+k)),ȷ(ȷk,rk],k=1,,ϱ,I1p,q,g(a1)=0R,

    where a1Dp,q,g and a1Ir,q,g denote the proportional fractional derivative and the proportional fractional integral and the function Y is continuous.

    Nuchpong et al. [10] discussed the Hilfer fractional derivative with non-local boundary conditions of the form given by

    HDp,q(ȷ)=Y(ȷ,(ȷ),Iδ(ȷ)),  ȷ[a1,a2],(a1)=0,  +a2a1(ı)dı=ϱ2k=1ςk(ϑk),

    where we have used the HDp,q-Hilfer fractional derivative and the Iδ-R-L, and the function Y is continuous.

    Salim et al. [23] studied the BVP for implicit fractional-order generalized Hilfer-type fractional derivative with non-instantaneous impulses of the form:

    (αDp,qτ+)(ȷ)=Y(ȷ,(ȷ),(αDp,q)(ȷ)),  ȷJk,(ȷ)=Hk(ȷ,(ȷ)),  ȷ(ȷk,rk],  k=1,,ϱ,φ1(αI1ϵa+1)(a1)+φ2(αI1ϵτ+)(a2)=φ3,

    where αDp,qτ+ and αI1ϵa+1 are the generalized Hilfer-type fractional derivative and fractional integral and the function Y is continuous.

    Inspired by the above works, we study here new important class of FIDEs namely ψ-Hilfer FIDEs with non-instantaneous impulsive multi-point boundary conditions of the form given by

    HDp,q;ψ(ȷ)=Y(ȷ,(ȷ),ψ(ȷ)),ȷ(rk,ȷk+1], (1.1)
    (ȷ)=Hk(ȷ,(ȷ)),  ȷ(ȷk,rk],  k=1,,ϱ, (1.2)
    (0)=0,  (T)=ϱk=1νkIςk(υk),  νkR,  υk[0,T], (1.3)

    where the order p(1,2) and with the parameters q[0,1], νkR, υk[0,T], and Iςk-is ψ-R-L of order ςk>0, and 0=r0<ȷ1ȷ2<<ȷϱrϱrϱ+1=T, which is pre-fixed, Y:[0,T]×R×RR with Hk:[ȷk,rk]×RR that are continuous. Moreover, ψ(ȷ)=ȷ0k(ȷ,ı)(ı)dı and kC(D,R+) with domain D:={(ȷ,r)R2:0rȷT}.

    Motivated from above results, we introduce ψ-Hilfer FIDEs class with multi-point boundary conditions via the ψ-Hilfer fractional derivative. Moreover, we investigate via Krasnoselskii's and Banach's fixed point theorems, the existence and uniqueness of solutions of the problem given by the Eqs (1.1)–(1.3). Also, we extend the results studied in [28] by including the ψ-Hilfer fractional derivative, nonlinear integral terms and non-instantaneous impulsive conditions.

    This paper is organized as follows: In Section 2, we recall several known results. In Section 3, we use the suitable conditions for existence and uniqueness of solution for the problem given by the Eqs (1.1)–(1.3). Moreover, we prove its boundedness of the method. In Section 4, we consider an application to explain the consistency of our theoretical results.

    Let the space PC([0,T],R):={:[0,T]R:C(ȷk,ȷk+1],R} be continuous. Suppose that there exists (ȷk) and (ȷ+k), where (ȷk)=(ȷ+k) is equipped with the norm given by PC:=sup{|(ȷ)|:0ȷT}. Set

    PC([0,T],R):={PC([0,T],R):PC([0,T],R)}

    with norm PC:=max{PC,PC}. Clearly, PC([0,T],R) equipped with .PC.

    Definition 2.1. [11,12,13,14,15] The R-L derivative of Y with order p>0 is defined by

    Dp0+Y(ȷ)=1Γ(σp)(ddȷ)σȷ0(ȷı)σp1Y(ı)dı,σ1<p<σ.

    Definition 2.2. [11,12,13,14,15] The R-L integral of Y with order p>0 is given as follows:

    IpY(ȷ)=1Γ(p)ȷ0(ȷı)p1Y(ı)dı,

    with Γ(p)=0exp(ı)ıp1dı.

    Definition 2.3. [30] The R-L integrals and derivatives of Y with regard to another function ψ are defined by

    Ip;ψY(ȷ)=1Γ(p)ȷ0ψ(ı)(ψ(ȷ)ψ(ı))p1Y(ı)dı

    and

    Dp;ψY(ȷ)=(1ψ(ȷ)ddȷ)σIσp;ψY(ȷ)=1Γ(σp)(1ψ(ȷ)ddȷ)σȷ0ψ(ı)(ψ(ȷ)ψ(ı))σp1Y(ı)dı,

    respectively.

    Definition 2.4. [3] Let σ1<p<σ, where σN and Y,ψPC([a1,a2],R) such that ψ is increasing, and ψ(ȷ)0 for all ȷ[a1,a2]. The ψ-Hilfer fractional derivative HDp,q;ψ(.) of function Y with order p and parameter 0q1 is given by

    HDp,q;ψY(ȷ)=Iq(σp);ψ(1ψ(ȷ)ddȷ)σI(1q)(σp);ψY(ȷ),

    where σ=[p]+1,[p] represents the integer part of the real number p.

    Lemma 2.1. [3] Let p,ι>0 and δ>0. Then

    (1) Ip;ψIι;ψ(ȷ)=Ip+ι;ψ(ȷ), (semigroup property);

    (2) Ip;ψ(ψ(ȷ)ψ(0))δ1=Γ(δ)Γ(p+δ)(ψ(ȷ)ψ(0))p+δ1.

    Note: HDp,q;ψ(ψ(ȷ)ψ(0))θ1=0.

    Lemma 2.2. [3] Let YL(a1,a2),σ1<pσ,σN with θ=p+σqpq, and I(σp)(1q)YACk[a1,a2]. Then

    (Ip;ψ;ψHDp,q;ψY)(ȷ)=Y(ȷ)σk=1(ψ(ȷ)ψ(0)Γ(θk+1)Y[σk]ψlimȷa1+(I(σp)(1q);ψY)(ȷ),

    where Y[σk]ψ=(1ψ(ȷ)ddȷ)σkY(ȷ).

    Assume that ϵ>0 be a real number. Let σ1<p<σ, where σN and Y,ψPC([a1,a2],R) such that ψ is increasing, and ψ(ȷ)0 for all ȷ[a1,a2], where the parameter 0q1.

    We consider the following inequality:

    |HDp,q;ψ(ȷ)Y(ȷ,(ȷ),ψ(ȷ))|ϵ. (2.1)

    Definition 2.5. [33,40] The problem given by the Eqs (1.1)(1.3) is said to be Ulam-Hyers stable (see [41]), if there exists a real number MY>0 such that for every ϵ>0 and for each solution PC([a1,a2],R) of the inequality (2.1), there exists a solution 1PC([a1,a2],R) of the problem given by the Eqs (1.1)(1.3) with

    |(ȷ)1(ȷ)|MYϵ,ȷ[a1,a2]. (2.2)

    Fixed point theorems play a major role in establishing the existence theory for the problem given by the Eqs (1.1)–(1.3). The following two well-known fixed point theorems will be used in the sequel.

    Theorem 2.1. (Banach's Fixed Point Theorem [42]) Let C([0,T],R) be a Banach space and let N:RR be a contraction mapping. If C is a nonempty closed subset of C([0,T],R), then N has a unique fixed point.

    Theorem 2.2. (Krasnoselskii's Fixed Point Theorem [42]) Let U be a Banach space and E be a closed convex, bounded and nonempty subset of U. Suppose that Q and R are two operators that satisfy the following conditions:

    (1) Qx1+Rx2E,x1,x2E;

    (2) Q is completely continuous operator;

    (3) Q is contraction operator.

    Then there exists at least one fixed point z1E such that z1=Qz1+Rz1.

    Other recently published papers related fixed point results can be found in [43,44,45,46].

    Lemma 2.3 below is our first result.

    Lemma 2.3. A function PC([0,T],R) given by

    (ȷ):={Hk(rϱ)+1Γ(p)ȷa1ψ(ı)(ψ(ȷ)ψ(ı))p1ω(ı)dı+(ψ(ȷ)ψ(0))θ1ΔΓ(p)[ϱk=1νkυk0ψ(ȷ)(ψ(υk)ψ(ı))p1ω(ı)dı],  ȷ[0,ȷ1],Hk(ȷ),ȷ(ȷk,rk],k=1,2,,ϱ,Hk(rk)+1Γ(p)ȷ0ψ(ı)(ψ(ȷ)ψ(ı))p1ω(ı)dı1Γ(p)rk0ψ(ı)(ψ(rk)ψ(r))p1ω(ı)dı,  ȷ(rk,ȷk+1],k=1,2,,ϱ (2.3)

    is a solution of the following system:

    HDp,q;ψ(ȷ)=ω(ȷ),ȷ(rk,ȷk+1][0,T],0<p<1,(ȷ)=Hk(ȷ),ȷ(ȷk,rk],k=1,,ϱ,(0)=0,  (T)=ϱk=1νkIςk(υk), (2.4)

    where

    Δ:=(ψ(ȷ)ψ(0))θ1ϱk=1νk(ψ(υk)ψ(0))θ10.

    Proof. Assume that (ȷ) is satisfies for Eq (2.4). Integrating the first equation of (2.4) for ȷ[0,ȷ1], we have

    (ȷ)=(T)+1Γ(p)ȷ0ψ(ı)(ψ(ȷ)ψ(ı))p1ω(ı)dı. (2.5)

    On other hand, if ȷ(rk,ȷk+1],k=1,2,,ϱ, after integrating again (2.4), we get

    (ȷ)=(ık)+1Γ(p)ȷrkψ(ı)(ψ(ȷ)ψ(ı))p1ω(ı)dı. (2.6)

    Applying impulsive condition, (ȷ)=Hk(ȷ), ȷ(ȷk,rk], we obtain

    (ık)=Hk(rk). (2.7)

    Consequently, from (2.6) and (2.7), we get

    (ȷ)=Hk(rk)+1Γ(p)ȷ0ψ(ı)(ψ(ȷ)ψ(ı))p1ω(ı)dı, (2.8)

    and

    (ȷ)=Hk(rk)+1Γ(p)ȷ0ψ(ı)(ψ(ȷ)ψ(ı))p1ω(ı)dı1Γ(p)rk0(ψ(ı)ψ(rk)ψ(r))p1ω(ı)dı. (2.9)

    Now, we prove that satisfies the boundary conditions (2.4). Obviously, (0)=0.

    ϱk=1νkIφk(υk)=ϱk=1νk(ψ(ȷ)ψ(0))p1ΔΓ(θ)[ϱk=1νkIp+φk;ψω(υk)Iα;ψω(a2)]+ϱk=1νkIα+φkω(υk)=(ψ(ȷ)ψ(0))θ1Δ[ϱk=1νkIp+φk;ψω(υk)]+Ip;ψω(T)=(T). (2.10)

    Now, it's clear that (2.5), (2.9) and (2.10) (2.3), which completes the proof.

    First main result is Theorem 3.1 below.

    Theorem 3.1. Let the assumption below holds true:

    (Al1): There exists L,G,M,Lhk>0, such that

    |Y(ȷ,1,ω1)Y(ȷ,2,ω2)|L|12|+G|ω1ω2|,for  ȷ[0,T], 1,2,ω1,ω2R.|k(ȷ,ı,ϑ)k(ȷ,ı,ν)|M|ϑν|,for ȷ[ȷk,rk],ϑ,νR.|Hk(ȷ,v1)Hk(ȷ,v2)|Lhk|v1v2|,for v1,v2R.

    If

    Z:=max{maxk=1,2,,ϱLhk+(L+GM)Γ(p+1)(ȷpk+1+rpk),Lhk+(L+GM){(ψ(ȷ)ψ(0))θ1|Δ|Γ(θ)[ϱk=1|νk|(ψ(υk)ψ(0))p+φk;ψΓ(p+φk+1)]+(ψ(ȷ)ψ(0))pΓ(p+1)}}<1, (3.1)

    then the problem given by (1.1) to (1.3) has a unique solution on [0,T].

    Proof. Let expand N:PC([0,T],R)PC([0,T],R) by

    (N)(ȷ):={Hϱ(rϱ,(ıϱ))+1Γ(p)ȷ0ψ(ı)(ψ(ȷ)ψ(ı))p1Y(ı,(ı),B(ı))dı+(ψ(ȷ)ψ(0))θ1Δ[ϱk=1νkυk0ψ(ȷ)(ψ(υk)ψ(ı))p1Y(υk,(υk),B(υk)],  ȷ[0,ȷ1],Hk(ȷ),ȷ(ȷk,rk],k=1,2,,ϱ,Hk(rk)+1Γ(p)ȷ0ψ(ı)(ψ(ȷ)ψ(ı))p1Y(ı,(ı),B(ı))dı1Γ(p)rk0ψ(ı)(ψ(rk)ψ(r))p1Y(ı,(ı),B(ı))dı,  ȷ(rk,ȷk+1],k=1,2,,ϱ.

    It is evident that N is well-defined and NPC([0,T],R). We now prove that N is a contraction.

    Case 1. Taking ,¯PC([0,T],R) and ȷ[0,ȷ1], we have

    |(N)(ȷ)(N¯)(ȷ)|Lhk+(L+GM){(ψ(ȷ)ψ(0))θ1|Δ|Γ(θ)[ϱk=1|νk|(ψ(υk)ψ(0))p+φk;ψΓ(p+φk+1)]+(ψ(ȷ)ψ(0))pΓ(p+1)}¯PC.

    Case 2. Choosing ȷ(ȷk,rk], we get

    |(N)(ȷ)(N¯)(ȷ)||Hk(ȷ,(ȷ))Hk(ȷ,¯(ȷ))|Lhk¯PC.

    Case 3. Letting ȷ(rk,ȷk+1], we obtain

    |(N)(ȷ)(N¯)(ȷ)||Hk(rk,(ık)Hk(ık,¯(rk)|+1Γ(p)ȷ0(ȷı)p1|Y(ı,(ı),B(ı))Y(ı,(ı),B(ı))|dı+1Γ(p)rk0(rkr)p1|Y(ı,(ı),B(ı))Y(ı,(ı),B(ı))|dı[Lhk+(L+GM)Γ(p+1)(ȷpk+1+rpk)]¯PC.

    Therefore, N is a contraction since

    Z=[Lhk+(L+GM)Γ(p+1)(ȷpk+1+rpk)]<1.

    Thus, clearly, the problem given by the Eqs (1.1)–(1.3) has a unique solution for each PC([0,T],R).

    Second main result is Theorem 3.2 below.

    Theorem 3.2. Let (Al1) be satisfied and let the assumption below hold true:

    (Al2): There exists Lgk>0 such that

    |Y(ȷ,W1,ω1)|Lgk(1+|W1|+|ω1|),  ȷ[rk,ȷk+1],W1,ω1R.

    (Al3): A function κk(ȷ),k=1,2,,ϱ exists, with

    |Hk(ȷ,W1,ω1)|κk(ȷ),  ȷ[ȷk,rk],W1,ω1R.

    Assume that Mk:=supȷ[ȷk,rk]κk(ȷ)< and K:=maxLgk<1 for all k=1,2,,ϱ. Then the problem given by (1.1) to (1.3) has at least one solution on [0,T].

    Proof. Let us set

    Bp,r:={PC([0,T],R):PCr}.

    Also let Q and R be two operators on Bp,r defined as follows:

    Q(ȷ):={Hϱ(rϱ,(ıϱ)),ȷ[0,ȷ1],Hk(ȷ,(ȷ)),ȷ(ȷk,rk],k=1,2,,ϱ,Hk(rk,(ık)),ȷ(rk,ȷk+1],k=1,2,,ϱ,

    and

    R(ȷ):={1Γ(p)ȷa1ψ(ı)(ψ(ȷ)ψ(ı))p1Y(ı,(ı),B(ı))dı+(ψ(ȷ)ψ(0))θ1Δ[ϱk=1νkυk0ψ(ȷ)(ψ(υk)ψ(ı))p1Y(υk,(υk),B(υk))],  ȷ[0,ȷ1],0,ȷ(ȷk,rk],k=1,2,,ϱ,1Γ(p)ȷ0ψ(ı)(ψ(ȷ)ψ(ı))p1Y(ı,(ı),B(ı))dı1Γ(p)rk0ψ(ı)(ψ(rk)ψ(ı))p1Y(ı,(ı),B(ı))dı,  ȷ(rk,ȷk+1],k=1,2,,ϱ.

    Step 1. For Bp,r, we have Q+RBp,r.

    Case 1. For ȷ[0,ȷ1], we have

    |Q+R¯||Hϱ(rϱ,(ıϱ))|+1Γ(p)ȷ0(ȷı)p1|Y(ı,(ı),B(ı))|dı+(ψ(ȷ)ψ(0))θ1Δ[ϱk=1νkυk0ψ(ȷ)(ψ(υk)ψ(ı))p1Y(υk,(υk),B(υk))dυk],[Lhk+(L+GM){(ψ(ȷ)ψ(0))pΓ(p+1)+(ψ(ȷ)ψ(0))θ1|Δ|Γ(θ)×[ϱk=1|νk|(ψ(υk)ψ(0))p+φk;ψΓ(p+φk+1)]}](1+r)r.

    Case 2. For each ȷ(ȷk,rk], we have

    |Q+R¯||Hk(ȷ,W1(ȷ))|Mk.

    Case 3. For every ȷ(rk,ȷk+1],

    |Q+R¯(ȷ)||Hk(rk,(ık))|+1Γ(p)ȷ0(ȷı)p1|Y(ı,(ı),B(ı))|dı+1Γ(p)rk0(rkr)p1|Y(ı,(ı),B(ı))|dı,Mk+[Lgk(rpk+ȷpk+1)Γ(p+1)](1+r)r.

    Thus

    Q+RBp,r.

    Step 2. Q is contraction on Bp,r.

    Case 1. Let 1,2Bp,r. Then, by taking ȷ[0,ȷ1], we have

    |Q1(ȷ)Q2(ȷ)|Lgϱ|1(rϱ)2(rϱ)|Lgϱ12PC.

    Case 2. For each ȷ(ȷk,rk],k=1,2,,ϱ, we get

    |Q1(ȷ)Q2(ȷ)|Lgk12PC.

    Case 3. For every ȷ(rk,ȷk+1], we obtain

    |Q1(ȷ)Q2(ȷ)|Lgk12PC.

    Hence, we deduce the following inequality:

    |Q1(ȷ)Q2(ȷ)|K12PC.

    Consequently, Q is a contraction.

    Step 3. Let demonstrate that R be continuous.

    Let σ be a σ¯ sequence in PC([0,T],R).

    Case 1. For each ȷ[0,ȷ1], we have

    |Qσ(ȷ)Q(ȷ)|[(ψ(ȷ)ψ(0))θ1|Δ|Γ(θ)[ϱk=1|νk|(ψ(υk)ψ(0))p+φk;ψΓ(p+φk+1)]+(ψ(ȷ)ψ(0))pΓ(p+1)]×Y(.,σ(.),.,)Y(.,(.),.,)PC.

    Case 2. For every ȷ(ȷk,rk], we get

    |Qσ(ȷ)Q(ȷ)|=0.

    Case 3. For each ȷ(rk,ȷk+1],k=1,2,,ϱ, we obtain

    |Qσ(ȷ)Q(ȷ)|(ȷk+1rk)Γ(p+1)Y(.,σ(.),.,)Y(.,(.),.,)PC.

    We thus conclude from the above cases that Qσ(ȷ)Q(ȷ)PC0 as σ.

    Step 4. Finally, let us prove that Q is compact.

    Firstly, Q is uniformly bounded on Bp,r.

    Since QLgk(T)Γ(1+p)<r, therefore, we have Q is uniformly bounded on Bp,r.

    We prove that Q maps a bounded set to a Bp,r equicontinuous set.

    Case 1. For interval ȷ[0,ȷ1],0E1E2ȷ1,Br, we have

    |QE2QE1|Lgk(1+r)Γ(p+1)(E2E1).

    Case 2. For each ȷ(ȷk,rk],ȷk<E1<E2rk,Bp,r, we get

    |QE2QE1|=0.

    Case 3. For every ȷ(rk,ȷk+1],rk<E1<E2ȷk+1,Bp,r, we obtain

    |QE2QE1|Lgk(1+r)Γ(p+1)(E2E1).

    From the above cases, we deduce that |QE2QE1|0 as E2E1 and Q is equicontinuous. As a result, Q(Bp,r) is relatively compact and Q is compact, by using the Ascoli–Arzela theorem. Hence, the problem given by (1.1) to (1.3) has at least one fixed point on [0,T].

    Let as consider the following ψ-Caputo (or, more appropriately, ψ-Liouville–Caputo) fractional boundary value problem:

    Dp,q;ψ(ȷ)=exp(ȷ)|(ȷ)|9+exp(ȷ)(1+|(ȷ)|)+13ȷ0e(ıȷ)(ı)dı,  ȷ(0,1], (4.1)
    (ȷ)=|(ȷ)|2(1+|(ȷ)|), ȷ(12,1], (4.2)
    (0)=0,  (1)=12I23(75)+23I45(95)+52I34(72), (4.3)

    together with L=G=110,M=13,p=57,θ=25,Lh1=13,ν1=12,ν2=23,ν3=25,υ1=27,υ2=59,υ3=17,φ1=23,φ2=45,φ3=34. We shall check the condition (3.1), for value p(1,2). Indeed, by using Theorem 3.1, we determine that

    Lhk+(L+GM)Γ(p+1)(ȷpk+1+rpk)0.41<1,andLhk+(L+GM){(ψ(ȷ)ψ(0))pΓ(p+1)+(ψ(ȷ)ψ(0))θ1|Δ|Γ(θ)[ϱk=1|νk|(ψ(υk)ψ(0))p+φk;ψΓ(p+φk+1)]}0.485<1.

    Hence, from Theorem 3.1 the problem given by (4.1) to (4.3) has a unique solution on [0,T].

    We have discussed in this paper ψ-Hilfer FIDEs class with non-instantaneous impulsive conditions and with an R-L integral boundary condition. Furthermore, the existence and uniqueness of the derived solution is investigated via two well-known fixed point theorems. Moreover, we have proved its boundedness of the method in Section 3, and hence we don't need stability analysis. Finally, the consistency of our results was demonstrated with an example. For future work, we will give the numerical algorithm for the R-L integral BVPs via different kinds of fractional derivatives. Also, interested researchers can improve our results by using the resolvents operators as well.

    This research has received funding support from the National Science, Research and Innovation Fund (NSRF), Thailand, and the first author would like to thank Prince Sultan University for the support through the TAS research lab.

    The authors declare that they have no conflicts interests.



    [1] J. Hadamard, Essai sur L'étude des éfonctions données par leur développment de Taylor, J. Math. Pure. Appl., 8 (1892), 101–186.
    [2] A. A. Kilbas, H. M. Srivastava, J. J. Trujillo, Theory and applications of fractional differential equations, Amsterdam: Elsevier, 2006.
    [3] B. Ahmad, A. Alsaedi, S. Ntouyas, J. Tariboon, Hadamard-type fractional differential equations, inclusions and inequalities, Berlin: Springer, 2017. doi: 10.1007/978-3-319-52141-1.
    [4] I. Podlubny, Fractional differential equations, New York: Academic Press, 1993.
    [5] D. Baleanu, K. Diethelm, E. Scalas, J. J. Trujillo, Fractional calculus: Models and numerical methods, Singapore: World Scientific, 2012.
    [6] K. Miller, B. Ross, An introduction to the fractional calculus and differential equations, New York: Wiley, 1993.
    [7] K. Oldham, J. Spanier, The fractional calculus, New York: Academic, 1974.
    [8] K. Diethelm, The analysis of fractional differential equations, Heidelberg: Springer-Verlag, 2010. doi: 10.1007/978-3-642-14574-2_8.
    [9] Y. Zhou, Basic theory of fractional differential equations, Singapore: World Scientific, 2014.
    [10] G. W. Scott-Blair, The role of psychophysics in rheology, J. Colloid Sci., 2 (1947), 21–32. doi: 10.1016/0095-8522(47)90007-X. doi: 10.1016/0095-8522(47)90007-X
    [11] A. N. Gerasimov, A generalization of linear laws of deformation and its application to problems of internal friction problem, Prikl. Mat. Mekh., 12 (1948), 251–260.
    [12] Y. J. Yu, L. J. Zhao, Fractional thermoelasticity revisited with new definitions of fractional derivative, Eur. J. Mech. A-Solid., 84 (2020), 104043. doi: 10.1016/j.euromechsol.2020.104043. doi: 10.1016/j.euromechsol.2020.104043
    [13] Y. J. Yu, Z. C. Deng, Fractional order theory of Cattaneo-type thermoelasticity using new fractional derivatives, Appl. Math. Model., 87 (2020), 731–751. doi: 10.1016/j.apm.2020.06.023. doi: 10.1016/j.apm.2020.06.023
    [14] K. M. Saad, M. Alqhtani, Numerical simulation of the fractal-fractional reaction diffusion equations with general nonlinear, AIMS Math., 6 (2021), 3788–3804. doi: 10.3934/math.2021225. doi: 10.3934/math.2021225
    [15] M. M. Khader, K. M. Saad, Z. Hammouch, D. Baleanu, A spectral collocation method for solving fractional KdV and KdV-Burgers equations with non-singular kernel derivatives, Appl. Numer. Math., 161 (2021), 137–146. doi: 10.1016/j.apnum.2020.10.024. doi: 10.1016/j.apnum.2020.10.024
    [16] K. M. Saad, E. H. F. AL-Sharif, Comparative study of a cubic autocatalytic reaction via different analysis methods, Discrete Cont. Dyn-S., 12 (2019), 665–684. doi: 10.3934/dcdss.2019042. doi: 10.3934/dcdss.2019042
    [17] K. H. Zhao, L. P. Suo, Y. Z. Liao, Boundary value problem for a class of fractional integro-differential coupled systems with hadamard fractional calculus and impulses, Bound. Value Probl., 2019 (2019), 105. doi: 10.1186/s13661-019-1219-8. doi: 10.1186/s13661-019-1219-8
    [18] B. Ahmad, S. Ntouyas, On Hadamard fractional integro-differential boundary value problems, Appl. Math. Comput., 47 (2015), 119–131. doi: 10.1007/s12190-014-0765-6. doi: 10.1007/s12190-014-0765-6
    [19] S. Ahmad, S. Ntouyas, Boundary value problems of Hadamard-type fractional differential equations and inclusions with nonlocal conditions, Vietnam J. Math., 45 (2017), 409–423. doi: 10.1007/s10013-016-0213-z. doi: 10.1007/s10013-016-0213-z
    [20] W. Yukunthorn, S. Suantai, S. K. Ntouyas, J. Tariboon, Boundary value problems for impulsive multi-order Hadamard fractional differential equations, Bound. Value Probl., 2017 (2015), 148. doi: 10.1186/s13661-015-0414-5. doi: 10.1186/s13661-015-0414-5
    [21] M. Benchohra, S. Bouriah, J. R. Graef, Boundary value problems for nonlinear implicit Caputo-Hadamard-Type fractional differential equations with impulses, Mediterr. J. Math., 2017 (2017), 206. doi: 10.1007/s00009-017-1012-9. doi: 10.1007/s00009-017-1012-9
    [22] S. M. Ulam, A collection of mathematical problems, New York: Interscience, 1960.
    [23] D. Hyers, On the stability of the linear functional equation, P. Natl. Acad. Sci. USA, 27 (1941), 2222–2240. doi: 10.1093/jahist/jav119. doi: 10.1093/jahist/jav119
    [24] C. Wang, T. Xu, Hyers-Ulam stability of fractional linear differential equations involving Caputo fractional derivatives, Appl. Math. Comput., 60 (2015), 383–393. doi: 10.1007/s10492-015-0102-x. doi: 10.1007/s10492-015-0102-x
    [25] S. Peng, J. R. Wang, Existence and Ulam-Hyers stability of ODEs involving two Caputo fractional derivatives, Electron. J. Qual. Theo., 2015 (2015), 52. doi: 10.14232/ejqtde.2015.1.52. doi: 10.14232/ejqtde.2015.1.52
    [26] J. R. Wang, X. Li, Ulam-Hyers stability of fractional Langevin equations, Appl. Math. Comput., 258 (2015), 72–83. doi: 10.1016/j.amc.2015.01.111. doi: 10.1016/j.amc.2015.01.111
    [27] A. Zada, S. Ali, Y. Li, Ulam-type stability for a class of implicit fractional differential equations with non-instantaneous integral impulses and boundary condition, Adv. Differ. Equ., 2017 (2017), 317. doi: 10.1186/s13662-017-1376-y. doi: 10.1186/s13662-017-1376-y
    [28] J. R. Wang, Y. Zhou, Ulam's type stability of impulsive ordinary differential equations, J. Math. Anal. Appl., 395 (2012), 258–264. doi: 10.1016/j.jmaa.2012.05.040. doi: 10.1016/j.jmaa.2012.05.040
    [29] K. Shah, A. Ali, S. Bushnaq, Hyers-Ulam stability analysis to implicit Cauchy problem of fractional differential equations with impulsive conditions, Math. Method. Appl. Sci., 41 (2018), 8329–8343. doi: 10.1002/mma.5292. doi: 10.1002/mma.5292
    [30] K. H. Zhao, S. K. Deng, Existence and Ulam-Hyers stability of a kind of fractional-order multiple point BVP involving noninstantaneous impulses and abstract bounded operator, Adv. Differ. Equ., 2021 (2021), 44. doi: 10.1186/s13662-020-03207-6. doi: 10.1186/s13662-020-03207-6
    [31] A. Granas, J, Dugundji, Fixed point theory, New York: Springer, 2003. doi: 10.1016/j.gene.2008.12.007.
  • This article has been cited by:

    1. Cemil Tunç, Osman Tunç, Ching‐Feng Wen, Jen‐Chi Yao, On the qualitative analyses solutions of new mathematical models of integro‐differential equations with infinite delay, 2023, 46, 0170-4214, 14087, 10.1002/mma.9306
    2. Muath Awadalla, Manigandan Murugesan, Subramanian Muthaiah, Bundit Unyong, Ria H Egami, Existence results for a system of sequential differential equations with varying fractional orders via Hilfer-Hadamard sense, 2024, 9, 2473-6988, 9926, 10.3934/math.2024486
    3. Chenkuan Li, Reza Saadati, Donal O'Regan, Radko Mesiar, Andrii Hrytsenko, A nonlinear fractional partial integro‐differential equation with nonlocal initial value conditions, 2023, 46, 0170-4214, 17010, 10.1002/mma.9486
    4. Bakhtawar Pervaiz, Akbar Zada, Ioan‐Lucian Popa, Sana Ben Moussa, Afef Kallekh, Exponential stability and relative controllability of first‐order delayed integro‐differential systems with impulses, 2024, 47, 0170-4214, 7590, 10.1002/mma.9992
    5. Subramanian Muthaiah, Manigandan Murugesan, Muath Awadalla, Bundit Unyong, Ria H. Egami, Ulam-Hyers stability and existence results for a coupled sequential Hilfer-Hadamard-type integrodifferential system, 2024, 9, 2473-6988, 16203, 10.3934/math.2024784
    6. Muhammad Zain Yousaf, Hari Mohan Srivastava, Muhammad Abbas, Tahir Nazir, Pshtiwan Othman Mohammed, Miguel Vivas-Cortez, Nejmeddine Chorfi, A Novel Quintic B-Spline Technique for Numerical Solutions of the Fourth-Order Singular Singularly-Perturbed Problems, 2023, 15, 2073-8994, 1929, 10.3390/sym15101929
    7. H. M. Srivastava, Kanika Dhawan, Ramesh Kumar Vats, Ankit Kumar Nain, Well-posedness of a nonlinear Hilfer fractional derivative model for the Antarctic circumpolar current, 2024, 75, 0044-2275, 10.1007/s00033-024-02192-0
    8. Simasri Deka, Anupam Das, Bhuban Chandra Deuri, Existence of solutions of infinite system of hybrid fractional integro-differential equation, 2024, 18, 1982-6907, 231, 10.1007/s40863-024-00409-8
    9. Manal Elzain Mohamed Abdalla, Hasanen A. Hammad, Solving functional integrodifferential equations with Liouville-Caputo fractional derivatives by fixed point techniques, 2025, 10, 2473-6988, 6168, 10.3934/math.2025281
  • Reader Comments
  • © 2022 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(1892) PDF downloads(73) Cited by(10)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog