This paper deals with the existence of mild solutions for the following Cauchy problem: dαxt/dtα=Axt+ft,xt,x0=x0+gx,t∈0,τ, where dα./dtα is the so-called conformable fractional derivative. The linear part A is the infinitesimal generator of a uniformly continuous semigroup Ttt≥0 on a Banach space X, f and g are given functions. The main result is proved by using the Darbo–Sadovskii fixed point theorem without assuming the compactness of the family Ttt>0 and the Lipshitz condition on the nonlocal part g.
1. Introduction
Many dynamical processes in physics, biology, economics, and other areas of applications can be governed by abstract ordinary differential evolution equations of the following form:(1)x˙t=Axt+ft,xt.
Unfortunately, the classical derivative x˙t appearing in equation (1) is local and cannot model the dynamical processes with memory. Hence, in order to avoid this shortcoming of classical derivative, many authors try to replace the classical derivative by a fractional derivative [1–4] because fractional derivatives have been proved that they are a very good way to model many phenomena with memory in various fields of science and engineering [5–9]. In consequence, many researchers pay attention to form the best definition of fractional derivative. Recently, a novel definition named conformable fractional derivative is introduced in [10]. This new fractional derivative quickly becomes the subject of many contributions in several areas of science [11–22]. Motivated by the better effect of the fractional derivative and simple properties of the conformable fractional derivative, we consider model (1) in the framework of conformable fractional calculus. Precisely, we study the following Cauchy problem:(2)dαxtdtα=Axt+ft,xt,x0=x0+gx,t∈0,τ,where dα./dtα is the conformable fractional derivative of the order α∈0,1. The linear part A is the infinitesimal generator of a uniformly continuous semigroup Ttt≥0 on a Banach space X,.. For more details about semigroup theory, we refer to [23]. The nonlinear part f:0,τ×X⟶X is a given function. The initial condition x0=x0+gx means the nonlocal condition [24]. For physical interpretations of this condition, we can see [25, 26]. The nonlocal condition attracts the attention of many authors in several works [27, 28]. The vector x0 is an element of X and g:C⟶X is a given function, with C is the space of continuous functions x. defined from 0,τ into X. Throughout this paper, we endow the space C with the norm xc=supt∈0,τxt. It is well known that the space C,.c is a Banach space. We also denote by . the norm in the space ℒX of bounded operators defined form X into itself.
Our goal in this paper is to prove the existence of mild solutions for the Cauchy problem (2) by means of the Darbo–Sadovskii fixed point theorem without assuming the compactness of the family Ttt>0 and the Lipshitz condition on the nonlocal part g.
The content of this paper is organized as follows. In section 2, we recall some preliminary facts on the conformable fractional calculus and measure of noncompactness. Section 3 is devoted to prove the main result.
2. Preliminaries
Recalling some preliminary facts on the conformable fractional calculus.
Definition 1 (see [10]).
Let α∈0,1. The conformable fractional derivative of order α of a function x. for t>0 is defined as follows:(3)dαxtdtα=limε⟶0xt+εt1−α−xtε.
For t=0, we adopt the following definition:(4)dαx0dtα=limt⟶0+dαxtdtα.
The fractional integral Iα. associated with the conformable fractional derivative is defined by(5)Iαxt=∫0tsα−1xsds.
Theorem 1 (see [10]).
If x. is a continuous function in the domain of Iα., then we have(6)dαIαxtdtα=xt.
Definition 2 (see [8]).
The Laplace transform of a function x. is defined by(7)ℒxtλ≔∫0+∞e−λtxtdt,λ>0.
It is remarkable that the above transform is not compatible with the conformable fractional derivative. For this, the adapted transform is given by the following definition.
Definition 3 (see [11]).
The fractional Laplace transform of order α∈0,1 of a function x. is defined by(8)ℒαxtλ≔∫0+∞tα−1e−λtα/αxtdt,λ>0.
The following proposition gives us the actions of the fractional integral and the fractional Laplace transform on the conformable fractional derivative, respectively.
Proposition 1 (see [11]).
If x. is a differentiable function, then we have the following results:(9)Iαdαx.dtαt=xt−x0,ℒαdαxtdtαλ=λℒαxtλ−x0.
According to [15], we have the following remark.
Remark 1.
For two functions x. and y., we have(10)ℒαxtααλ=ℒxtλ,ℒα∫0tsα−1xtα−sααysdsλ=ℒxtλℒαytλ.
Now, we recall some concepts on the Hausdorff measure of noncompactness.
Definition 4 (see [29, 30]).
For a bounded set B in a Banach space X, the Hausdorff measure of noncompactness σ is defined as(11)σB=infɛ>0:B can be covered by a finite number of balls with radii ɛ.
The following lemma presents some basic properties of the Hausdorff measure of noncompactness.
Lemma 1 (see [29, 30]).
Let X be a Banach space and B,C⊆X be bounded. Then, the following properties hold.
B is precompact if and only if σB=0;
σB=σB¯=σconvB, where B¯ and convB mean the closure and convex hull of B, respectively;
σB≤σC, where B⊆C;
σB+C≤σB+σC, where B+C=x+y:x∈B,y∈C;
σB∪C≤maxσB,σC;
σλB=λσB for any λ∈ℝ, when X be a real Banach space;
If the operator Q:DQ⊆X⟶Y is Lipschitz continuous with constant k ≥ 0 then we have ρQB≤kσB for any bounded subset B⊆DQ, where Y is another Banach space and ρ represents the Hausdorff measure of noncompactness in Y.
Definition 5 (see [30]).
The operator Q:DQ⊆X⟶X is said to be a σ-contraction if there exists a positive constant k<1 such that σQB≤kσB for any bounded closed subset B⊆DQ.
Lemma 2 (see [29, 30] (Darbo–Sadovskii theorem)).
Let B⊂X be a bounded, closed, and convex set. If Q:B⟶B is a continuous and σ-contraction operator. Then, Q has at least one fixed point in B.
Lemma 3 (see [31, 32]).
Let D⊂X be a bounded set, then there exists a countable set D0⊂D such that σD≤2σD0.
We denote by σc the Hausdorff measure of noncompactness in the space C of continuous functions x. defined from 0,τ into X.
Lemma 4 (see [33]).
Let D0≔xn⊂C be a countable set, then
σD0t≔σxnt is Lebesgue integral on 0,τ,
σ∫0τD0sds≤2∫0τσD0sds, whereσ∫0τD0sds≔σ∫0τxnsds
Lemma 5 (see [29]).
Let D⊂C be bounded and equicontinuous, then
σDt is continuous on 0,τ,
σcD=maxt∈0,τσDt
3. Main Result
We first give the definition of mild solutions for the Cauchy problem (2). To do so, applying the fractional Laplace transform in equation (2), we obtain(12)λℒαxtλ=x0+gx+Aℒαxtλ+ℒαft,xtλ.
Then, one has(13)ℒαxtλ=λ−A−1x0+gx+λ−A−1ℒαft,xtλ.
Using the inverse fractional Laplace transform combined with Remark 1, we obtain(14)xt=Ttααx0+gx+∫0tsα−1Ttα−sααfs,xsds.
Motivate by the above calculus, we can introduce the following definition.
Definition 6.
A function x∈C is called a mild solution of the Cauchy problem (2) if(15)xt=Ttααx0+gx+∫0tsα−1Ttα−sααfs,xsds.
To obtain the existence of mild solutions, we will need the following assumptions:
H1 The function ft,.:X⟶X is continuous, and for all r>0 there exists a function μr∈L∞0,τ,ℝ+ such that supx≤rft,x≤μrt, for all t∈0,τ.
H2 The function f.,x:0,τ⟶X is continuous, for all x∈X.
H3 The function g:C⟶X is continuous and compact.
H4 There exist positive constants a and b such that gx≤axc+b, for all x∈C.
H5 There exists a positive constant L such that σft,D0≤LσD0, for any countable set D0⊂X and t∈0,τ.
Theorem 2.
Assume that H1−H5 hold, then the Cauchy problem (2) has at least one mild solution provided that(16)supt∈0,τTtααmaxa,4Lταα<1.
Proof.
In order to use the Darbo–Sadovskii fixed point theorem, we put Br≔x∈C,xc≤r for r>0 and define the operator Γ:C⟶C by(17)Γxt=Ttααx0+gx+∫0tsα−1Ttα−sααfs,xsds.
The proof will be given in four steps.
Step 1.
Prove that there exists a radius δ>0 such that Γ:Bδ⟶Bδ.
Let x∈C, we have(18)Γxt≤Ttααx0+gx+∫0tsα−1Ttα−sααfs,xsds.
Taking the supremum, we obtain(19)Γxc≤supt∈0,τTtααx0+gx+∫0τsα−1fs,xsds.
Using assumption H4, we deduce that(20)Γxc≤supt∈0,τTtααx0+axc+b+∫0τsα−1fs,xsds.
Hence, it suffices to consider δ as a solution of the following inequality:(21)supt∈0,τTtααx0+ar+b+τααμrL∞0,τ,ℝ+≤r.
Precisely, we can choose δ such that(22)δ≥supt∈0,τTtα/α1−asupt∈0,τTtα/αx0+b+τααμδL∞0,τ,ℝ+.
Step 2.
Prove that Γ:Bδ⟶Bδ is continuous.
Let xn⊂Bδ such that xn⟶x in Bδ. We have(23)Γxnt−Γxt=Ttααgxn−gx+∫0tsα−1Ttα−sααfs,xns−fs,xsds.
Then, by using a direct computation, we obtain(24)Γxn−Γxc≤supt∈0,τTtααgxn−gx+∫0τsα−1fs,xns−fs,xsds.
Using assumption H1, we get sα−1fs,xns−fs,xs≤2μδssα−1 and fs,xns⟶fs,xs as n⟶+∞.
The Lebesgue dominated convergence theorem proves that ∫0τsα−1fs,xns−fs,xsds⟶0 as n⟶+∞. According to continuity of the function g, we deduce that limn⟶+∞gxn−gx=0. Hence, Γ is continuous.
Step 3.
Prove that ΓBδ is equicontinuous.
For x∈Bδ and t1,t2∈0,τ such that t1<t2. We have(25)Γxt2−Γxt1=Tt2α−t1αα−ITt1ααx0+gx+∫0t1sα−1Tt1α−sααfs,xsds+∫t1t2sα−1Tt2α−sααfs,xsds.
By using assumptions H1 and H4, we obtain(26)Γxt2−Γxt1≤x0+aδ+b+τααμδL∞0,τ,ℝ+supt∈0,τTtααTt2α−t1αα−I+supt∈0,τTtααμδL∞0,τ,ℝ+t2α−t1αα.
The above inequality combined with the uniform continuity of the family Ttt≥0 proves that ΓBδ is equicontinuous on 0,τ.
Step 4.
Prove that Γ:Bδ⟶Bδ is a σc-contraction operator.
Let D⊂Bδ, then by Lemma 3 there exists a countable set D0 such that D0=xn⊂D. Hence, Γ(D0) becomes a countable subset of ΓD. Thus, Lemma 3 proves that σcΓD≤2σcΓD0. Since ΓD0 is bounded and equicontinuous, then by using Lemma 5, we obtain(27)σcΓD0=maxt∈0,τσΓD0t.
Then, one has(28)σcΓD≤2σcΓD0=2maxt∈0,τσΓD0t=2maxt∈0,τσTtααx0+gD0+∫0tsα−1Ttα−sααfs,D0sds.
By using point 4 of Lemma 1, we deduce that(29)σcΓD≤2maxt∈0,τσTtααx0+gD0+σ∫0tsα−1Ttα−sααfs,D0sds.
Since g is compact, then Ttα/αx0+gD0 is relatively compact. Hence, using point 1 of Lemma 1 in the above inequality, we obtain(30)σcΓD≤2maxt∈0,τσ∫0tsα−1Ttα−sααfs,D0sds.
In view of Lemma 4, we get(31)σcΓD≤4maxt∈0,τ∫0tsα−1σTtα−sααfs,D0sds.
Next, point 7 of Lemma 1 shows that(32)σcΓD≤4supt∈0,τTtααmaxt∈0,τ∫0tsα−1σfs,D0sds.
By using assumption H5, we obtain(33)σcΓD≤4Lsupt∈0,τTtααmaxt∈0,τ∫0tsα−1σD0sds.
Hence, by using a direct computation combined with point 2 of Lemma 5, we obtain(34)σcΓD≤4Lsupt∈0,τTtαασcD∫0τsα−1ds=4Lτααsupt∈0,τTtαασcD.
In consequence, we have(35)σcΓD≤4Lτααsupt∈0,τTtαασcD.
Since 4Lτα/αsupt∈0,τTtα/α<1, then Γ is a σc-contraction operator.
In conclusion, Lemma 2 shows that Γ has at least one fixed point, which is a mild solution of the Cauchy problem (2).
Remark 2.
We note that Theorem 2 improves Theorem 3 in [18] because in Theorem 2 we have not imposed the compactness of the family Ttt>0 and the Lipshitz condition on the nonlocal part g.
4. Conclusion
Without imposing the compactness condition on the semigroup family and the Lipschitz condition on the nonlocal condition, we have proved the existence of mild solutions for a class of conformable-fractional differential equations with nonlocal conditions in a Banach space. The main result is obtained by means of semigroup theory combined with the Darbo–Sadovskii fixed point theorem.
Data Availability
No data were used to support this study.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
ChenP.ZhangX.LiY.Fractional non-autonomous evolution equation with nonlocal conditions201910495597310.1007/s11868-018-0257-9ChenP.ZhangX.LiY.A blowup alternative result for fractional nonautonomous evolution equation of Volterra type20181710.3934/cpaa.2018094ChenP.ZhangX.LiY.Approximation technique for fractional evolution equations with nonlocal integral conditions20171422610.1007/s00009-017-1029-02-s2.0-85032576198ChenP.ZhangX.LiY.Study on fractional non-autonomous evolution equations with delay201773579480310.1016/j.camwa.2017.01.0092-s2.0-85011565896KilbasA. A.SrivastavaH. M.TrujilloJ. J.2006Amesterdam, NetherlandsElsevierMillerK. S.RossB.1993New York, NY, USAJohn Wiley & SonsOldhamK. B.SpanierJ.1974San Diego, CA, USAAcademic PressPodlubnyI.1999San Diego, CA, USAAcademic PressSamkoS. G.KilbasA. A.MarichevO. I.1993Amsterdam, NetherlandsGordon & Breach Science PublishersKhalilR.Al HoraniM.YousefA.SababhehM.A new definition of fractional derivative2014264657010.1016/j.cam.2014.01.0022-s2.0-84893186929AbdeljawadT.On conformable fractional calculus2015279576610.1016/j.cam.2014.10.0162-s2.0-84911406110ChungW. S.Fractional Newton mechanics with conformable fractional derivative201529015015810.1016/j.cam.2015.04.0492-s2.0-84930959698MartínezL.RosalesJ. J.CarreñoC. A.LozanoJ. M.Electrical circuits described by fractional conformable derivative2018110ZhaoD.LuoM.General conformable fractional derivative and its physical interpretation201754390391710.1007/s10092-017-0213-82-s2.0-85009170962BouaouidM.AtraouiM.HilalK.MellianiS.Fractional differential equations with nonlocal-delay condition201811214225BouaouidM.HilalK.MellianiS.Sequential evolution conformable differential equations of second order with nonlocal condition2019201912110.1155/2019/75289372-s2.0-85063143597BouaouidM.HilalK.MellianiS.Nonlocal telegraph equation in frame of the conformable time-fractional derivative201920191710.1155/2019/75289372-s2.0-85063143597BouaouidM.HilalK.MellianiS.Nonlocal conformable fractional Cauchy problem with sectorial operator2019504999101010.1007/s13226-019-0369-9BouaouidM.HilalK.MellianiS.Existence of mild solutions for conformable-fractional differential equations with non local conditions2019https://projecteuclid.org/euclid.rmjm/1573354832EltayebH.BacharI.Gad-AllahM.Solution of singular one-dimensional Boussinesq equation by using double conformable Laplace decomposition method2019201929310.1186/s13662-019-2230-12-s2.0-85069191437BinhT. T.LucN. H.O’ReganD.CanN. H.On an initial inverse problem for a diffusion equation with a conformable derivative2019201948110.1186/s13662-019-2410-zTuanN. H.ThachT. N.CanN. H.O’ReganD.Regularization of a multidimensional diffusion equation with conformable time derivative and discrete data2019113PazyA.1983New York, NY, USASpringer-VerlagByszewskiL.Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem1991162249450510.1016/0022-247x(91)90164-u2-s2.0-44949272606DengK.Exponential decay of solutions of semilinear parabolic equations with nonlocal initial conditions1993179263063710.1006/jmaa.1993.13732-s2.0-0000297319OlmsteadW. E.RobertsC. A.The one-dimensional heat equation with a nonlocal initial condition1997103899410.1016/s0893-9659(97)00041-42-s2.0-0040360735ChenP.ZhangX.LiY.Approximate controllability of non-autonomous evolution system with nonlocal conditions201826111610.1007/s10883-018-9423-x2-s2.0-85057627321ChenP.ZhangX.LiY.Non-autonomous parabolic evolution equations with non-instantaneous impulses governed by noncompact evolution families2019218410.1007/s11784-019-0719-62-s2.0-85069632792BanasJ.GoebelK.Measures of noncompactness in Banach spaces1980New York, NY, USAMarcel DekkerDeimlingK.1985New York, NY, USASpringer-VerlagChenP.LiY.Monotone iterative technique for a class of semilinear evolution equations with nonlocal conditions2013633-473174410.1007/s00025-012-0230-52-s2.0-84878380600LiY.Existence of solutions of initial value problems for abstract semilinear evolution equations20054810891094HeinzH.-P.On the behaviour of measures of noncompactness with respect to differentiation and integration of vector-valued functions19837121351137110.1016/0362-546x(83)90006-82-s2.0-0000925696