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

Hyers-Ulam-Rassias-Kummer stability of the fractional integro-differential equations


  • In this paper, using the fractional integral with respect to the Ψ function and the Ψ-Hilfer fractional derivative, we consider the Volterra fractional equations. Considering the Gauss Hypergeometric function as a control function, we introduce the concept of the Hyers-Ulam-Rassias-Kummer stability of this fractional equations and study existence, uniqueness, and an approximation for two classes of fractional Volterra integro-differential and fractional Volterra integral. We apply the Cădariu-Radu method derived from the Diaz-Margolis alternative fixed point theorem. After proving each of the main theorems, we provide an applied example of each of the results obtained.

    Citation: Zahra Eidinejad, Reza Saadati. Hyers-Ulam-Rassias-Kummer stability of the fractional integro-differential equations[J]. Mathematical Biosciences and Engineering, 2022, 19(7): 6536-6550. doi: 10.3934/mbe.2022308

    Related Papers:

    [1] Kadda Maazouz, Rosana Rodríguez-López . Differential equations of arbitrary order under Caputo-Fabrizio derivative: some existence results and study of stability. Mathematical Biosciences and Engineering, 2022, 19(6): 6234-6251. doi: 10.3934/mbe.2022291
    [2] Luís P. Castro, Anabela S. Silva . On the solution and Ulam-Hyers-Rassias stability of a Caputo fractional boundary value problem. Mathematical Biosciences and Engineering, 2022, 19(11): 10809-10825. doi: 10.3934/mbe.2022505
    [3] Guodong Li, Ying Zhang, Yajuan Guan, Wenjie Li . Stability analysis of multi-point boundary conditions for fractional differential equation with non-instantaneous integral impulse. Mathematical Biosciences and Engineering, 2023, 20(4): 7020-7041. doi: 10.3934/mbe.2023303
    [4] Noura Laksaci, Ahmed Boudaoui, Seham Mahyoub Al-Mekhlafi, Abdon Atangana . Mathematical analysis and numerical simulation for fractal-fractional cancer model. Mathematical Biosciences and Engineering, 2023, 20(10): 18083-18103. doi: 10.3934/mbe.2023803
    [5] George Maria Selvam, Jehad Alzabut, Vignesh Dhakshinamoorthy, Jagan Mohan Jonnalagadda, Kamaleldin Abodayeh . Existence and stability of nonlinear discrete fractional initial value problems with application to vibrating eardrum. Mathematical Biosciences and Engineering, 2021, 18(4): 3907-3921. doi: 10.3934/mbe.2021195
    [6] Saima Akter, Zhen Jin . A fractional order model of the COVID-19 outbreak in Bangladesh. Mathematical Biosciences and Engineering, 2023, 20(2): 2544-2565. doi: 10.3934/mbe.2023119
    [7] Ilse Domínguez-Alemán, Itzel Domínguez-Alemán, Juan Carlos Hernández-Gómez, Francisco J. Ariza-Hernández . A predator-prey fractional model with disease in the prey species. Mathematical Biosciences and Engineering, 2024, 21(3): 3713-3741. doi: 10.3934/mbe.2024164
    [8] Jutarat Kongson, Chatthai Thaiprayoon, Apichat Neamvonk, Jehad Alzabut, Weerawat Sudsutad . Investigation of fractal-fractional HIV infection by evaluating the drug therapy effect in the Atangana-Baleanu sense. Mathematical Biosciences and Engineering, 2022, 19(11): 10762-10808. doi: 10.3934/mbe.2022504
    [9] Masumi Kondo, Masakazu Onitsuka . Ulam type stability for von Bertalanffy growth model with Allee effect. Mathematical Biosciences and Engineering, 2024, 21(3): 4698-4723. doi: 10.3934/mbe.2024206
    [10] Bing Hu, Zhizhi Wang, Minbo Xu, Dingjiang Wang . Quasilinearization method for an impulsive integro-differential system with delay. Mathematical Biosciences and Engineering, 2022, 19(1): 612-623. doi: 10.3934/mbe.2022027
  • In this paper, using the fractional integral with respect to the Ψ function and the Ψ-Hilfer fractional derivative, we consider the Volterra fractional equations. Considering the Gauss Hypergeometric function as a control function, we introduce the concept of the Hyers-Ulam-Rassias-Kummer stability of this fractional equations and study existence, uniqueness, and an approximation for two classes of fractional Volterra integro-differential and fractional Volterra integral. We apply the Cădariu-Radu method derived from the Diaz-Margolis alternative fixed point theorem. After proving each of the main theorems, we provide an applied example of each of the results obtained.



    Fractional calculus is of particular importance due to its many applications in various fields, including issues related to the effects of memory, engineering, physics, and medicine. Hence, one of the most important topics studied by scientists is fractional calculus and its application [1,2,3,4]. There are so many definitions of fractional operators today that we believe more general fractional operators like Ψ-Hilfer are more useful to study, see [5,6]. Given that solutions of fractional differential equations better evaluate the results in different fields, they are therefore useful in modeling various phenomena. The first studies to investigate the stability of equations were conducted by Ulam in 1940 and after him, Hyers and Rassias researched in this field. In general, many authors have proposed and proved the existence, uniqueness, and Ulam-Hyers stability of the solution of fractional differential equations using several methods.

    For example, in 2017, Benchohra and Lazreg investigated the existence of a unique solution and the stability of the following fractional differential equations

    {HDτϕ()=ω(,ϕ(),HDτϕ()),ϕ(1)=ϕ1,

    where HDτϕ() is the Hadamard fractional derivative of order 0<τ1,ω:J×R×RR is a given function, ϕ1R and tJ=[1,T],T>0. Also, Sousa and Oliveira considered the following fractional Volterra integro-differential equation,

    {HDτ,κ,Ψg()=ω(,g())+0M(,ȷ,g())dȷ,I1γ0+g(0)=ζ,

    which is defined using the Hilfer fractional derivative, and invastigate the stability of Hyers-Ulam and Hyers-Ulam Rassias for this equation. In this equation, J=[0,T], where ω(,u) is a continuous function with respect to the variables and g on J×R and M(,ȷ,g()) is continuous with respect to ,ȷ,g on J×R×R and I1γ0+g(0) with 0<γ1 is Ψ-Riemann-Liouville fractional integral.

    Utilizing the continuous functions ϕ:[0,L]Y, M:[0,L]×[0,L]×YY, ω:[0,L]×YY, that Y is a Banach's space and also Ψ-Hilfer fractional derivative HDτ,κ;Ψa+ϕ() that 0<τ<1, 0κ1 and ΔτΨ(,ȷ):=Ψ(ȷ)(Ψ()Ψ(ȷ))τ1 that the function Ψ() is an increasing and positive function with a continuous derivative, we define two equations of the fractional Volterra Integro-differential and the fractional Volterra integral as follows

    HDτ,κ;Ψ0+ϕ()=ω(,ϕ())+0M(,ȷ,ϕ(ȷ))dȷ, (1.1)

    and

    ϕ()=ω(,ϕ())+1Γ(τ)0ΔτΨ(,ȷ)M(,ȷ,ϕ(ȷ))dȷ. (1.2)

    In this paper, we consider the Gauss Hypergeometric function as a control function and stabilize the fractional equations with this control function, which we call the Kummer control function and apply the Cădariu-Radu method derived from the Diaz-Margolis alternative fixed point theorem to investigate the existence, uniqueness of solutions for fractional Eqs (1.1) and (1.2). We have two methods for investigating the solution of fractional differential equations: the Picard method and the Cădariu-Radu method. Picard's method which uses the Banach fixed point it shows only the existence of a unique solution. But Cădariu-Radu can be shown both existence of a unique solution and stability.

    In the second section, we present the basic definitions and theorems. In the third section, we investigate the uniqueness and Hyers-Ulam-Rassias-Kummer stability of Eq (1.1), and at the end of this section, we provide a numerical example to illustrate main results. In the fourth section, we show the existence of a unique solution and the stability of Eq (1.2) with a numerical example.

    We provide some definitions of the Gauss hypergeometric function, fractional integrals, and derivatives.

    Definition 2.1 (see [7]). Let ||<1 and consider the generic parameters ρ,σ,ς. We define the Kummer function by the infinite sum (that is convergent)

    2F1(ρ,σ;ς;)=k=0(ρ)k(σ)k(ς)kkk!=Γ(ς)Γ(ρ)Γ(σ)k=0Γ(ρ+k)Γ(σ+k)Γ(ς+k)kk!.

    Now, we present the concept of the Hyers-Ulam-Rassias-Kummer stability of Eqs (1.1) and (1.2).

    Definition 2.2 (see [8,9,10]). Suppose that 2F1(ρ,σ;ς;) is the Kummer function in which [0,L]. We say that Eq (1.1) has the Hyers-Ulam-Rassias-Kummer stability property if the following inequality holds for the differentiable function ϕ()

    |HDτ,κ;Ψ0+ϕ()ω(,ϕ())0M(,ȷ,ϕ(ȷ))dȷ|2F1(ρ,σ;ς;), (2.1)

    then, there exists a solution ϑ() of Eq (1.1) such that for some P>0,

    |HDτ,κ;Ψ0+ϕ()HDτ,κ;Ψ0+ϑ()|+|ϕ()ϑ()|P2F1(ρ,σ;ς;).

    Definition 2.3 (see [8,9,10]). Suppose that 2F1(ρ,σ;ς;) is the Kummer function in which [0,L]. If the following inequality holds for the differentiable function ϕ()

    |ϕ()ω(,ϕ())1Γ(τ)0ΔτΨ(,ȷ)M(,ȷ,ϕ(ȷ))dȷ|2F1(ρ,σ;ς;), (2.2)

    then, there exists a solution ϑ() of Eq (1.2) such that for some P>0

    |ϕ()ϑ()|P2F1(ρ,σ;ς;),

    then we say that Eq (1.2) is Hyers-Ulam-Rassias-Kummer stable, [11,12,13].

    In the sequel, we present the fractional integral and the fractional derivative for more details and application we refer to [1,2,3,4].

    Definition 2.4. The left-sided fractional integral of a function θ with respect to a function Ψ() on interval [a,b] for τ>0 is defined by

    Iτ;Ψa+θ()=1Γ(τ)aΔτΨ(,ȷ)θ(ȷ)dȷ, (2.3)

    that the function Ψ() is an increasing and positive function with a continuous derivative on (a,b). Also, the ΔτΨ(,ȷ) function used in the upper integral is ΔτΨ(,ȷ):=Ψ(ȷ)(Ψ()Ψ(ȷ))τ1. We can define the right-sided fractional integral in a similar way.

    Definition 2.5. Consider the functions θ,ΨCn[a,b] where n1<τ<n and nN, the left-sided Ψ-Hilfer fractional derivative of a function θ of order τ on [a,b] and for 0κ1 is defined by

    HDτ,κ;Ψa+θ()=Iκ(nτ);Ψa+(1Ψ()dd)nI(1κ)(nτ);Ψa+θ(). (2.4)

    wherein Ψ is an increasing function and Ψ()0. We can define the right-sided Ψ-Hilfer fractional derivative in a similar way.

    Theorem 2.6 (see [4]). Let θC1[a,b], τ>0 and 0κ1, we have

    HDτ,κ;Ψ0+Iτ;Ψ0+θ()=θ().

    Definition 2.7. Let D be a nonempty set, and let δ:D×D[0,] be a mapping such that for all d,e,cD,

    (i) δ(d,e)=0d=e;

    (ii) δ(d,e)=δ(e,d);

    (iii) δ(d,e)δ(d,c)+δ(c,e).

    Then (D,δ) is called a generalized metric space (g.m.s., for short).

    Now, we present an alternative fixed point theorem ([32,33]). In the alternative fixed point theorem, an unbounded state occurs for the meter, but we consider the bounded state.

    Theorem 2.8 (Diaz-Margolis Theorem). Consider Y with the complete [0,]-valued metric δ and also consider the self map L on Y satisfy

    δ(Ly,Lt)κδ(t,y),κ<1

    where κ<1 is a Lipschitz constant. Assume that yY, so in this situation either δ(Lmy,Lm+1y)=, for all mN, or δ(Lmy,Lm+1y)<, for all mm0. If δ(Lmy,Lm+1y)<, the following conditions apply tous simultaneously

    (1) the fixed point t of L is the convergence point of the sequence {Lmy};

    (2) in the set V={tYδ(Lm0y,t)<}, t is the unique fixed point of L;

    (3) (1κ)δ(t,t)δ(t,Lt) for every tY.

    This section is devoted to a class of fractional Volterra integro-differential equations [14,15,16]. We stabilize the mentioned equation by a Kummer function and apply the Cădariu-Radu Method to guarantee the existence of a unique solution of Eq (1.1). Our results improve and generalize the results of [17], see also [3,18,19,20,21,22,23,24,25,26].

    Theorem 3.1. Consider the positive constants E,E1 and E2 such that 0<E1+(E1+E2+E2E)E<1. Also consider the Banach space Y, the continuous functions ω:[0,L]×YY, M:[0,L]×[0,L]×YY and 2F1:R3×[0,L](0,) for all ȷ,[0,L] and ϕ,ϑY and assume that the following conditions hold

    (1)|ω(,ϕ)ω(,ϑ)|E1|ϕϑ|,

    (2)|M(,ȷ,ϕ(ȷ))M(,ȷ,ϑ(ȷ))|E1|ϕϑ|,

    (3)1Γ(τ)0ΔτΨ(,ȷ)2F1(ρ,σ;ς;ȷ)dȷE2F1(ρ,σ;ς;).

    If θ:[0,L]Y be a differentiable function satisfying (2.1), then Eq (1.1) has a unique solution θ0:[0,L]Y. Therefore, we have

    |HDτ,κ;Ψ0+θ()HDτ,κ;Ψ0+θ0()|+|θ()θ0()|1+E1E1+(E1+E2+E2E)E2F1(ρ,σ;ς;),

    and this means that Eq (1.1), has Hyers-Ulam-Rassias-Kummer stability property.

    Proof. At the first, we define the set

    W={ϕ:[0,L]Y,ϕis differentiable}

    and on this set, consider the mapping δ:W×W[0,] as follows

    δ(ϕ,ϑ)=inf{P[0,]:|HDτ,κ;Ψ0+ϕ()HDτ,κ;Ψ0+ϑ()|+|ϕ()ϑ()|P2F1(ρ,σ;ς;),[0,L]}. (3.1)

    We show that (W,δ) is [0,]-valued complete metric space. Therefore, for functions ϕ,ϑW if we have δ(ϕ,ϑ)>δ(ϕ,ν)+δ(ν,ϑ), then there exists 0[0,L] such that

    |HDτ,κ;Ψ0+ϕ(0)HDτ,κ;Ψ0+ϑ(0)|+|ϕ(0)ϑ(0)|>(δ(ϕ,ν)+δ(ν,ϑ))2F1(ρ,σ;ς;0).

    according to the definition 3.1, we have

    |HDτ,κ;Ψ0+ϕ(0)HDτ,κ;Ψ0+ϑ(0)|+|ϕ(0)ϑ(0)|>|HDτ,κ;Ψ0+ϕ(0)HDτ,κ;Ψ0+ν(0)|+|ϕ(0)ν(0)|+|HDτ,κ;Ψ0+ν(0)HDτ,κ;Ψ0+ϑ(0)|+|ν(0)ϑ(0)|,

    which is a contradiction.

    In (W,δ), we consider a Cauchy sequence {ϕn}. Then for every ε>0, we can find NεN, such that for all m,nNε and [0,L], we have

    |HDτ,κ;Ψ0+ϕn()HDτ,κ;Ψ0+ϕm()|+|ϕn()ϕm()|<ε2F1(ρ,σ;ς;). (3.2)

    Due to the continuity of the function 2F1, on the compact interval [0,L], the sequence {ϕn} is uniformly convergent to differentiable function ϕW and the sequence {HDτ,κ;Ψ0+ϕn} also is uniformly convergent to {HDτ,κ;Ψ0+ϕ}. Therefore when m for [0,L] and for ε>0, we can find NεN, such that if nNε we have

    |HDτ,κ;Ψ0+ϕn()HDτ,κ;Ψ0+ϕ()|+|ϕn()ϕ()|<ε2F1(ρ,σ;ς;).

    Thus δ(ϕn,ϕ)ε. Therefore, we have proved that the space (W,δ) is a [0,]-valued complete metric space.

    Now, we define the operator Ω:WW as follows

    Ω(ϕ())=Iτ;Ψ0+ω(,ϕ())+Iτ;Ψ0+[0M(,ȷ,ϕ(ȷ))dȷ], (3.3)

    and show that Ω is a contraction operator. For this purpose, suppose that ϕ,W, Pϕ[0,] and δ(ϕ,ϑ)Pϕϑ. Then

    |HDτ,κ;Ψ0+ϕ()HDτ,κ;Ψ0+ϑ()|+|ϕ()ϑ()|<Pϕϑ2F1(ρ,σ;ς;),

    for all [0,L]. Using conditions (1) and (2) in the hypothesis, we have

    |HDτ,κ;Ψ0+(Ωϕ()Ωϑ())|+|Ωϕ()Ωϑ()||ω(,ϕ())ω(,ϑ())|+0|M(,ȷ,ϕ(ȷ))M(,ȷ,ϑ(ȷ))|dȷ+|Iτ;Ψ0+(ω(,ϕ())ω(,ϑ()))|+|Iτ;Ψ0+[0(M(,ȷ,ϕ(ȷ))M(,ȷ,ϑ(ȷ)))]dȷ|E1|ϕ()ϑ()|+E20|ϕ(ȷ)ϑ(ȷ)|dȷ+Iτ;Ψ0+(E1|ϕ()ϑ()|)+Iτ;Ψ0+[0E2|ϕ()ϑ()|dȷ]E1Pϕϑ2F1(ρ,σ;ς;)+E2Pϕϑ02F1(ρ,σ;ς;ȷ)dȷ+E1PϕϑIτ;Ψ0+2F1(ρ,σ;ς;)+E2Iτ;Ψ0+[Pϕϑ02F1(ρ,σ;ς;ȷ)dȷ][E1+(E2+E1+E2E)E]Pϕϑ2F1(ρ,σ;ς;).

    Or equivalent

    δ(Ωϕ,Ωϑ)[E1+(E2+E1+E2E)E]δ(ϕ,ϑ). (3.4)

    From 0<E1+(E2+E1+E2E)E<1, we can conclude that Ω is a contractions mapping.

    In the sequel, consider the function θW and use the inequality (2.1), then we have

    |HDτ,κ;Ψ0+(Ωθ()θ()|+|Ωθ()θ()|=|ω(,θ())+0M(,ȷ,θ(ȷ))dȷHDτ,κ;Ψ0+θ()|+|Iτ;Ψ0+ω(,θ())+Iτ;Ψ0+[0M(,ȷ,θ(ȷ))dȷ]θ()|2F1(ρ,σ;ς;)+|Iτ;Ψ0+ω(,θ())+Iτ;Ψ0+[0M(,ȷ,θ(ȷ))dȷ]θ()|(1+E)2F1(ρ,σ;ς;).

    Thus,

    δ(Ωθ,θ)1+E<,E<1. (3.5)

    Now all the conditions for the alternative Theorem 2.8 hold. Then

    ● The mapping Ω has a fixed point like θ0. It means Ωθ0=θ0 or equivalently

    θ0()=Iτ;Ψ0+(ω(,θ0()))+Iτ;Ψ0+[0M(,ȷ,θ0(ȷ))dȷ]. (3.6)

    ● The fixed point θ0 is unique in the set W={ϑW:δ(Ωθ,ϑ)<}.

    ● With respect to the continuity of the functions ω, M and the differentiability of the function θ0 by taking the Ψ-Hilfer fractional derivative of Eq (3.6) and also utilizing Theorem 2.8, we have

    HDθ,κ;Ψ0+θ0()=ω(,θ0())+0M(,ȷ,θ0(ȷ))dȷ, (3.7)

    then, by Eq (3.5), we get

    δ(θ,θ0)11[E1+(E2+E1+E2E)E]δ(Ωθ,θ)1+E1[E1+(E2+E1+E2E)E].

    Thus, Eq (1.1) has Hyers-Ulam-Rassias-Kummer stability property.

    Now, we prove W=W to show the fixed point of mapping Ω is unique in W. Put

    ϝ=1+E1[E1+(E2+E1+E2E)E],

    and consider the differentiable function d, which holds in Eq (3.7) and θW, then we have δ(θ,d)<ϝ and

    HDτ,κ;Ψ0+d()=ω(,d())+0M(,ȷ,d(ȷ))dȷ. (3.8)

    We show that d is a fixed point of Ω and dW. From Eq (3.8), we have Ωd=d.

    Now, we show δ(Ωθ,d)<. By δ(θ,d)<ϝ and Eq (3.8), we get

    |HDτ,κ;Ψ0+(Ωθ()d())|+|Ωθ()d()|=|ω(,θ())+0M(,ȷ,θ(ȷ))dȷω(,d())0M(,ȷ,d(ȷ))dȷ|+|Iτ;Ψ0+ω(,θ())+Iτ;Ψ0+[0M(,ȷ,θ(ȷ))dȷ]Iτ;Ψ0+ω(,d())Iτ;Ψ0+[0M(,ȷ,d(ȷ))dȷ]||ω(,θ())ω(,d())|+0|M(,ȷ,θ(ȷ))M(,ȷ,d(ȷ))|dȷ+|Iτ;Ψ0+[ω(,θ())ω(,d())]|+|Iτ;Ψ0+[0[M(,ȷ,θ(ȷ))M(,ȷ,d(ȷ))]dȷ]E1|θ()d()|+E20|θ(ȷ)d(ȷ)|dȷ+E1Iτ;Ψ0+(|θ()d()|+E2Iτ;Ψ0+(0|θ(ȷ)d(ȷ)|dȷ)[E1+(E2+E1+E2E)E]ϝ,

    which implies that

    Figure 1.  Diagram of the solution of the fractional Volterra integro-differential Eq (3.9).
    δ(Ωθ,d)[E1+(E2+E1+E2E)E]ϝ<.

    Now, we provide an example to illustrate Theorem 3.1.

    Example 3.2. Consider the following fractional Volterra integro-differential equation

    HD12,14;Ψ0+μ()=1100μ()sin(μ())2+01200cos(+ȷ)μ(ȷ)sin(μ(ȷ))dȷ, (3.9)

    where μ is a differentiable function. Define ω:[0,L]×YY by ω(,μ)=1100μsin(μ)2 and M:[0,L]×Y×YY by M(,ȷ,μ)=1200μsin(μ)cos(+ȷ) that a,b,L>0 and μ(j)=j2. Consider the positive coefficients E=110,E1=1100,E2=1200 such that 0<E1+(E1+E2+E2E)E<1 and for continuous functions ω,M,2F1 we have

    (1) |ω(,μ)ω(,μ0)|=|1100μsin(μ)21100μ0sin(μ0)+2||1100||μμ0|,

    (2) |M(,ȷ,μ)M(,ȷ,μ0)|=|1200μsin(μ)cos(+ȷ)1200μ0sin(μ0)cos(+ȷ)||1200||μμ0|,

    (3) 1Γ(12)0Δ12Ψ(,ȷ)2F1(ρ,σ;ς;ȷ)dȷ1102F1(ρ,σ;ς;).

    Figure 2.  Diagram of the solution of the fractional Volterra integral Eq (4.4).

    If the following inequality holds for the differentiable function θ

    |HD12,14;Ψ0+θ()1100θ()sin(θ())+201200cos(+ȷ)θ(ȷ)sin(θ(ȷ))dȷ|2F1(ρ,σ;ς;),

    and E1=|1100| and E2=|1100|, Theorem 3.1 implies that, there is a solution θ0, such that

    θ0 is the fixed point of the operator Ω, which is defined as follows

    Ω(θ0())=I12;Ψ0+(1100θ0sin(θ0)2)+I12;Ψ0+[01200θ0sin(θ0)cos(+ȷ)dȷ].

    ● The fixed point θ0 is unique.

    θ0 satisfies in Eq (3.9).

    δ(θ,θ0)1+E1E1+(E1+E2+E2E)E,

    or

    |HDτ,κ;Ψ0+θ()HDτ,κ;Ψ0+θ0()|+|θ()θ0()|1+E1E1+(E1+E2+E2E)E2F1(ρ,σ;ς;),

    where E1+(E1+E2+E2E)E=23120000 and 1+E1E1+(E1+E2+E2E)E1.112. Then Eq (3.9) is Hyers-Ulam-Rassias-Kummer stable.

    This section is devoted to a class of fractional Volterra integral equations [14,15,16]. We stabilize the mentioned equation by a Kummer function and apply the Cădariu-Radu Method to guarantee the existence of a unique solution of Eq (1.2). Our results improve and generalize the results of [17].

    Theorem 4.1. Consider the positive constants E, E1 and E2 such that 0<(E1+E2E)<1. On Banach space Y, consider thecontinuous functions ω:[0,L]×YY, M:[0,L]×[0,L]×YY and 2F1:R3×[0,L](0,), for all ȷ,[0,L] and ϕ,ϑY and assume that the following conditions are true for them

    (4)|ω(,ϕ)ω(,ϑ)|E1|ϕϑ|,

    (5)|M(,ȷ,ϕ)M(,ȷ,ϑ)|E2|ϕϑ|,

    (6)1Γ(τ)0ΔτΨ(,ȷ)2F1(ρ,σ;ς;ȷ)dȷE2F1(ρ,σ;ς;).

    If θ:[0,L]Y be a differentiable function satisfying (2.2), then Eq (1.2) has a unique solution θ0:[0,L]Y. Thus, we have

    |θ()θ0()|11(E1+E2E)2F1(ρ,σ;ς;). (4.1)

    and this means that Eq (1.2) has Hyers-Ulam-Rassias-Kummer stability property.

    Proof. We define the set W as follows

    W={ϕ:[0,L]Y:ϕis continuous},

    Also, we define δ:W×W[0,] as follows

    δ(ϕ,ϑ)=inf{P[0,]:|ϕ()ϑ()|P2F1(ρ,σ;ς;),[0,L]}.

    Similar to the argument of the previous theorem, we can easily show that the space (W,δ) is a [0,]-valued complete metric space. Since the equation is integral, we consider the functions continuously and define the meter on the set of these functions. In Theorem 3.1, since we have a fractional differential integral equation, we consider the differentiable functions and define the meter on this set of functions.

    Now, we define the mapping Ω:WW by

    Ω(ϕ())=ω(,ϕ())+1Γ(τ)0ΔτΨ(,ȷ)M(,ȷ,ϕ(ȷ))dȷ,

    and show that Ω is a contraction operator. Suppose that for ϕ,ϑW, δ(ϕ,ϑ)<Pϕϑ that Pϕϑ>0, then we have

    |ϕ()ϑ()|Pϕϑ2F1(ρ,σ;ς;),

    for all [0,L]. By conditions (4) and (5), we have

    |Ω(ϕ())Ω(ϑ())||ω(,ϕ())ω(,ϑ())|+1Γ(τ)0ΔτΨ(,ȷ)|M(,ȷ,ϕ(ȷ))M(,ȷ,ϑ(ȷ))|dȷE1|ϕ()ϑ()|+E21Γ(τ)0ΔτΨ(,ȷ)|ϕ(ȷ)ϑ(ȷ)|dȷE1Pϕϑ2F1(ρ,σ;ς;)+PϕϑE2Γ(τ)0ΔτΨ(,ȷ)2F1(ρ,σ;ς;ȷ)dȷE1Pϕϑ2F1(ρ,σ;ς;)+E2Pϕϑ2F1(ρ,σ;ς;)E(E1+E2E)Pϕϑ2F1(ρ,σ;ς;),

    and so

    δ(Ωϕ,Ωϑ)(E1+E2E)δ(ϕ,ϑ).

    Since 0<(E1+E2E)<1, then Ω is a contraction mapping. In the sequel, considering the function θW and utilizing the inequality (2.2), we get

    δ(Ωθ,θ)1<. (4.2)

    Now, all the conditions of Theorem 2.8 hold. Then

    ● The mapping Ω has a fixed point named by θ0. It means Ωθ0=θ0 or equivalently

    θ0()=ω(,θ0())+1Γ(τ)0ΔτΨ(,ȷ)M(,ȷ,θ0(ȷ))dȷ. (4.3)

    ● The fixed point θ0 is unique in the set W={ϑW(Ωθ,ϑ)<}.

    ● By Eq (4.2) and Theorem (2.8), we get

    δ(θ,θ0)=≤11(E1+E2E)δ(Ωθ,θ)11(E1+E2E).

    Thus, Eq (1.2) is Hyers-Ulam-Rassias-Kummer stable.

    Now, we prove W=W to show the fixed point of mapping Ω is unique in W. Consider another continuous function d that satisfying

    d()=ω(,d())+1Γ(τ)0ΔτΨ(,ȷ)M(,ȷ,d(ȷ))dȷ.

    In the following, we show that d is a fixed point of Ω and dW. From Eq (4.3) we have, Ωd=d. Now, we show δ(Ωθ,d)<. From

    δ(θ,d)11(E1+E2E),

    and conditions (4), (5) and (6), we get

    |Ωθ()d()|=|ω(,θ())1Γ(τ)0ΔτΨ(,ȷ)M(,ȷ,d(ȷ))dȷω(,d())+1Γ(τ)0ΔτΨ(,ȷ)M(,ȷ,θ(ȷ))dȷ||ω(,θ())ω(,d())|+1Γ(τ)0ΔτΨ(,ȷ)|M(,ȷ,θ(ȷ))M(,ȷ,d(ȷ))|dȷE1|θ()d()|+E2Γ(τ)0ΔτΨ(,ȷ)|θ(ȷ)d(ȷ)|dȷE1Pθd2F1(ρ,σ;ς;)+E2PθdE2F1(ρ,σ;ς;)(E1+E2E)δ(θ,d)2F1(ρ,σ;ς;)(E1+E2E)1(E1+E2E)2F1(ρ,σ;ς;),

    which implies that δ(Ωθ,d)<.

    Example 4.2. Consider the following fractional Volterra integral equation

    μ()=+1100μ()1Γ(12)0Δ12Ψ(,ȷ)μ(ȷ)ȷdȷ, (4.4)

    where in μ is a continuous function. Define ω:[0,L]×YY by ω(,μ())=+1100μ(), and M:[0,L]×Y×YY by M(,ȷ,μ(ȷ))=μ(ȷ)ȷ that L>0 and μ(j)=j2. Consider the positive coefficients E,E1,E2, such that 0<E1+E2E<1 and for continuous functions ω,M,2F1 we have

    (4) |ω(,μ())ω(,μ0())|=|+1100μ1100μ0|1100|μμ0|,

    (5) |M(,ȷ,μ(ȷ))M(,ȷ,μ0(ȷ))|=|μȷμ0ȷ|1ȷ|μμ0|,

    (6) 1Γ(12)0Δ12Ψ(,ȷ)2F1(ρ,σ;ς;)dȷ1102F1(ρ,σ,ς;).

    If the following inequality holds for the differentiable function θ

    |θ()1100θ()+0θ(ȷ)ȷdȷ|2F1(ρ,σ,ς;)

    and E1=1100 and E2=1ȷ=1200. Theorem (4.1) implies that there is a unique solution θ0, such that

    θ0 is the fixed point of the operator Ω, which is defined as follows

    Ω(θ0)=+1100θ0()1Γ(12)0Δ12Ψ(,ȷ)θ0(ȷ)ȷdȷ.

    ● The fixed point θ0 is unique.

    θ0 satisfies in Eq (4.4).

    δ(θ,θ0)11(E1+E2E),

    or

    |θ()θ0()|11(E1+E2E)2F1(ρ,σ;ς;),

    where E1+E2E=212000 and 11(E1+E2E)1.011, which implies that Equation (4.4) has Hyers-Ulam-Rassias-Kummer stability property.

    Given that fractional differential equations are used in a variety of fields, including physics, chemistry, economics, medicine, and engineering, many authors have inspected these equations in recent years. Researchers have done a lot of research on the stability of fractional equations, including fractional differential equations [8,27,28,29,30]. We applied the concept of the Hyers-Ulam-Rassias-Kummer stability of fractional equations to investigate existence, uniqueness, and an approximation with the optimum errors for two classes of fractional Volterra integro-differential and fractional Volterra integral via the Cădariu-Radu method derived from the Diaz-Margolis alternative fixed point theorem.

    The authors are thankful to the area editor and referees for giving valuable comments and suggestions.

    The authors declare there is no conflict of interest.

    All authors conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.



    [1] A. A. Kilbas, H. M. Srivastava, J. J. Trujillo, Theory and applications of fractional differential equations, in North-Holland Mathematics Studies, Elsevier Science B.V., Amsterdam, (2006), 1–523. https://doi.org/10.1016/s0304-0208(06)x8001-5
    [2] K. B. Oldham, J. Spanier, Chapter 3: fractional derivatives and integrals: definitions and equivalences, Math Sci. Eng., 111 (1974), 45–66. https://doi.org/10.1016/s0076-5392(09)60225-3 doi: 10.1016/s0076-5392(09)60225-3
    [3] I. Podlubny, Chapter 8-numerical solution of fractional differential equations, Math. Sci. Eng., 198 (1999), 223–242. https://doi.org/10.1016/s0076-5392(99)80027-7 doi: 10.1016/s0076-5392(99)80027-7
    [4] J. V. da C. Sousa, E. C. de Oliveira, On the Ψ-Hilfer fractional derivative, Commun. Nonlinear Sci. Numer. Simul., 60 (2018), 72–91. https://doi.org/10.1016/j.cnsns.2018.01.005 doi: 10.1016/j.cnsns.2018.01.005
    [5] H. Amann, Chapter III: linear differential equations, in Ordinary Differential Equations, Walter de Gruyter & Co., Berlin, (1990), 136–197. https://doi.org/10.1515/9783110853698.136
    [6] C. Chicone, Ordinary differential equations with applications, in Texts in Applied Mathematics, Springer, New York, (2006), 145–322. https://doi.org/10.1007/0-387-35794-7
    [7] M. Abramowitz, Handbook of mathematical functions with formulas, graphs, and mathematical tables, J. Appl. Mech., 32 (1965), 239–239. https://doi.org/10.1115/1.3625776 doi: 10.1115/1.3625776
    [8] J. V. da C.Sousa, E. C. de Oliveira, Two new fractional derivatives of variable order with non-singular kernel and fractional differential equation, Comput. Appl. Math., 37 (2018), 5375–5394. https://doi.org/10.1007/s40314-018-0639-x doi: 10.1007/s40314-018-0639-x
    [9] Z. Eidinejad, R. Saadati, M. De La Sen, Picard method for existence, uniqueness, and Gauss Hypergeomatric stability of the fractional-order differential equations, Math. Probl. Eng. (2021), 2–3. https://doi.org/10.1155/2021/7074694
    [10] M. S. Abdo, S. K. Panchal, H. A. Wahash, Ulam-Hyers-Mittag-Leffler stability for a ψ-Hilfer problem with fractional order and infinite delay, Results Appl. Math., 7 (2020), 100115. https://doi.org/10.1016/j.rinam.2020.100115 doi: 10.1016/j.rinam.2020.100115
    [11] K. Ravikumar, K. Ramkumar, D. Chalishajar, Existence and stability results for second-order neutral stochastic differential equations with random impulses and poisson jumps, Eur. J. Math. Anal., 1 (2021), 1–8. https://doi.org/10.28924/ada/ma.1.1 doi: 10.28924/ada/ma.1.1
    [12] D. Chalishajar, K. Ramkumar, A. Anguraj, K. Ravikumar, M. A. Diop, Controllability of neutral impulsive stochastic functional integrodifferential equations driven by a fractional Brownian motion with infinite delay via resolvent operator, J. Nonlinear Sci. Appl., 15 (2022), 172–185. http://dx.doi.org/10.22436/jnsa.015.03.01 doi: 10.22436/jnsa.015.03.01
    [13] K. Ramkumar, K. Ravikumar, D. Chalishajar, A. Anguraj, Asymptotic behavior of attracting and quasi-invariant sets of impulsive stochastic partial integrodifferential equations with delays and Poisson jumps, J. Nonlinear Sci. Appl., 14 (2021), 339–350. http://dx.doi.org/10.22436/jnsa.014.05.04 doi: 10.22436/jnsa.014.05.04
    [14] M. S. Abdo, S. K. Panchal, Fractional integro-differential equations involving ψ-Hilfer fractional derivative, Adv. Appl. Math. Mech., 11 (2019), 338–359. http://dx.doi.org/10.4208/aamm.OA-2018-0143 doi: 10.4208/aamm.OA-2018-0143
    [15] M. S. Abdo, S. K. Panchal, K. Satish, H. S. Hussien, Fractional integro-differential equations with nonlocal conditions and ψ-Hilfer fractional derivative, Math. Model. Anal., 24 (2019), 564–584. http://dx.doi.org/10.3846/mma.2019.034 doi: 10.3846/mma.2019.034
    [16] H. A. Wahash, M. S. Abdo, S. K. Panchal, Fractional integrodifferential equations with nonlocal conditions and generalized Hilfer fractional derivative, Ufa Math. J., 11 (2019), 151–171. http://dx.doi.org/10.13108/2019-11-4-151 doi: 10.13108/2019-11-4-151
    [17] J. V. d. C. Sousa, F. G. Rodrigues, E. C. de Oliveira, Stability of the fractional Volterra integro-differential equation by means of ψ-Hilfer operator, Math. Methods Appl. Sci., 42 (2019), 3033–3043. https://doi.org/10.1002/mma.5563 doi: 10.1002/mma.5563
    [18] Y. Zhou, Existence and uniqueness of solutions for a system of fractional differential equations, Fract. Calc. Appl. Anal., 12 (2009), 195–204.
    [19] Y. Zhou, J. Wang, L. Zhang, Basic theory of fractional differential equations, Second edition, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, (2017), 1–380. https://doi.org/10.1142/10238
    [20] J. Huang, Y. Li, Hyers-Ulam stability of delay differential equations of first order, Math. Nachr., 289 (2016), 60–66. http://dx.doi.org/10.1002/mana.201400298 doi: 10.1002/mana.201400298
    [21] E. Graily, S. M. Vaezpour, R. Saadati, Y. J. Cho, Generalization of fixed point theorems in ordered metric spaces concerning generalized distance, Fixed Point Theory Appl., 30 2011, 8. http://dx.doi.org/10.1186/1687-1812-2011-30
    [22] S. Shakeri, L. J. B. Ciric, Common fixed point theorem in partially ordered L-fuzzy metric spaces, Fixed Point Theory Appl., (2010), 13. doi: 10.1155/2010/125082
    [23] L. Ciric, M. Abbas, B. Damjanovic, Common fuzzy fixed point theorems in ordered metric spaces, Math. Comput. Modell., 53 (2011), 1737–1741. https://doi.org/10.1016/j.mcm.2010.12.050 doi: 10.1016/j.mcm.2010.12.050
    [24] Y. J. Cho, Lattictic non-Archimedean random stability of ACQ functional equation, Adv. Differ. Equations, 31 (2011), 12. https://doi.org/10.1186/1687-1847-2011-31 doi: 10.1186/1687-1847-2011-31
    [25] D. Mihet, R. Saadati, S. M. Vaezpour, The stability of an additive functional equation in Menger probabilistic ϕ-normed spaces, Math. Slovaca., 61 (2011), 817–826. http://dx.doi.org/10.2478/s12175-011-0049-7 doi: 10.2478/s12175-011-0049-7
    [26] Y. J. Cho, C. Park, T. M. Rassias, R. Saadati, Stability of Functional Equations in Banach Algebras, Springer, (2015). http://dx.doi.org/10.1007/978-3-319-18708-2
    [27] J. V. da C. Sousa, E. C. de Oliveira, Mittag-Leffler functions and the truncated V-fractional derivative, Mediterr. J. Math., 14 (2017), 61–26. https://doi.org/10.1007/s00009-017-1046-z doi: 10.1007/s00009-017-1046-z
    [28] V. Lakshmikantham, Theory of fractional functional differential equations, Nonlinear Anal., 69 (2008), 3337–3343. https://doi.org/10.1016/j.na.2007.09.025 doi: 10.1016/j.na.2007.09.025
    [29] N. D. Phuong, N. A. Tuan, D. Kumar, N. H. Tuan, Initial value problem for fractional Volterra integrodifferential pseudo-parabolic equations, Math. Model. Nat. Phenom., 16 (2021), 14. http://dx.doi.org/10.1051/mmnp/2021015 doi: 10.1051/mmnp/2021015
    [30] A. Salim, M. Benchohra, E. Karapinar, J. E. Lazreg, Existence and Ulam stability for impulsive generalized Hilfer-type fractional differential equations, Adv. Differ. Equations, 601 (2020), 21. http://doi.org/10.1186/s13662-020-03063-4 doi: 10.1186/s13662-020-03063-4
    [31] Z. Wang, D. Cen, Y. Mo, Sharp error estimate of a compact L1-ADI scheme for the two-dimensional time-fractional integro-differential equation with singular kernels, Appl. Numer. Math., 159 (2021), 190–203. http://doi.org/10.1016/j.apnum.2020.09.006 doi: 10.1016/j.apnum.2020.09.006
    [32] M. Janfada, G. Sadeghi, Stability of the Volterra integrodifferential equation, Folia Math., 18 (2013), 11–20.
    [33] J. B. Diaz, B. Margolis, A fixed point theorem of the alternative, for contractions on a generalized complete metric space, Bull. Amer. Math. Soc., 74 (1968), 305–309. https://doi.org/10.1090/S0002-9904-1968-11933-0 doi: 10.1090/S0002-9904-1968-11933-0
  • This article has been cited by:

    1. Amar Chidouh, Rahima Atmania, Delfim F. M. Torres, Study of a Fractional Creep Problem with Multiple Delays in Terms of Boltzmann’s Superposition Principle, 2022, 6, 2504-3110, 434, 10.3390/fractalfract6080434
    2. Zahra Eidinejad, Reza Saadati, Donal O’Regan, Fehaid Salem Alshammari, Minimum Superstability of Stochastic Ternary Antiderivations in Symmetric Matrix-Valued FB-Algebras and Symmetric Matrix-Valued FC-⋄-Algebras, 2022, 14, 2073-8994, 2064, 10.3390/sym14102064
    3. Zahra Eidinejad, Reza Saadati, Javad Vahidi, Chenkuan Li, Tofigh Allahviranloo, The existence of a unique solution and stability results with numerical solutions for the fractional hybrid integro-differential equations with Dirichlet boundary conditions, 2024, 2024, 1687-2770, 10.1186/s13661-024-01928-1
    4. Zahra Eidinejad, Reza Saadati, Tofigh Allahviranloo, Chenkuan Li, A novel stability study on volterra integral equations with delay (VIE-D) using the fuzzy minimum optimal controller in matrix-valued fuzzy Banach spaces, 2023, 42, 2238-3603, 10.1007/s40314-023-02362-2
  • 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(1891) PDF downloads(111) Cited by(4)

Figures and Tables

Figures(2)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog