Home Existence results of noninstantaneous impulsive fractional integro-differential equation
Article Open Access

Existence results of noninstantaneous impulsive fractional integro-differential equation

  • Haribhai R. Kataria , Prakashkumar H. Patel EMAIL logo and Vishant Shah
Published/Copyright: December 31, 2020
Become an author with De Gruyter Brill

Abstract

Existence of mild solution for noninstantaneous impulsive fractional order integro-differential equations with local and nonlocal conditions in Banach space is established in this paper. Existence results with local and nonlocal conditions are obtained through operator semigroup theory using generalized Banach contraction theorem and Krasnoselskii’s fixed point theorem, respectively. Finally, illustrations are added to validate derived results.

MSC 2010: 34A08; 47H10; 47H20

1 Introduction

Fractional order differential equations have gained lot of attention of many researchers due to hereditary attributes and long-term memory descriptions. In fact, many models in science and engineering such as seepage flow in porous media, anomalous diffusion, nonlinear oscillations of earthquake, fluid dynamics traffic model, electromagnetism and population dynamics are now revisited in terms of fractional differential equations. More details and applications are found in monographs in [1,2] and in articles of [39]. Due to a wide range of applications in various fields fractional order differential equations became fertile branch of Applied Mathematics. The studies of existence of mild solutions of fractional differential, integro-differential and evolution equations using different fixed point theorems were found in [1012]. The extension of classical conditions for Cauchy problem is nonlocal conditions, which give better effect than classical conditions in many physical phenomena in the field of science and engineering [13]. Existence results for nonlocal Cauchy problem using various techniques are found in [1420]. On the other hand, evolutionary processes that undergo abrupt change in the state either at a fixed moment of time or in a small interval of time are modeled into instantaneous impulsive evolution or noninstantaneous impulsive evolution equation, respectively. Applications of the instantaneous impulsive evolution equation and existence results for integer order instantaneous impulsive evolution equations are found in [2124]. Existence results for fractional instantaneous impulsive equation are found in [2532]. In some evolutionary processes, noninstantaneous impulses are more accurate instead of instantaneous impulses. Existence of mild solution of noninstantaneous impulsive fractional differential equation with local initial condition has been studied by Li and Xu [33]. Meraj and Pandey [34] studied the existence of mild solutions of nonlocal semilinear evolution equation using Krasnoselskii’s fixed point theorem. In this article, we study the existence of mild solutions of

Dαcu(t)=Au(t)+ft,u(t),0ta(t,s,u(s))ds,t[sk,tk+1),k=1,2,,p,u(t)=gk(k,u(t)),t[tk,sk)

with local condition u(0)=u0 and nonlocal condition u(0)=u0+h(u) over the interval [0,T] in a Banach space U. Here A:UU is the linear operator, Ku=0ta(t,s,u(s))ds is the nonlinear Volterra integral operator on U, f:[0,T]×U×UU is the nonlinear function and gk:[0,T]×U are set of nonlinear functions applied in the interval [tk,sk) for all i=1,2,,p.

2 Preliminaries

Basic definitions and theorems of fractional calculus and functional analysis are discussed in this section, which will help us to prove our main results.

Definition 2.1

[35] The Riemann-Liouville fractional integral operator of β>0, of function hL1(+) is defined as

Jt0+βh(t)=1Γ(β)t0t(tq)β1h(q)dq,

provided the integral on the right-hand side exists, where Γ() is the gamma function.

Definition 2.2

[36] The Caputo fractional derivative of order β>0, n1<β<n, n, is defined as

cDt0+βh(t)=1Γ(nβ)t0t(tq)nβ1dnh(q)dqndq,

where the function h(t) has absolutely continuous derivatives up to order (n1).

Theorem 2.1

(Banach fixed point theorem) [37] Let E be a closed subset of a Banach space(X,||||)and letT:EEcontraction, then T has unique fixed point in E.

Theorem 2.2

(Krasnoselskii’s fixed point theorem) [37] Let E be a closed convex nonempty subset of a Banach space(X,||||)and P and Q are two operators on E satisfying:

  1. Pu+QvE, wheneveru,vE,

  2. P is contraction,

  3. Q is completely continuous,

then the equationPu+Qu=uhas unique solution.

Definition 2.3

(Completely continuous operator) [38] Let X and Y be Banach spaces. Then the operator T:DXY is called completely continuous if it is continuous and maps any bounded subset of D to relatively compact subset of Y.

3 Equation with local conditions

Sufficient conditions for the existence and uniqueness of the equation:

(3.1)Dαcu(t)=Au(t)+ft,u(t),0ta(t,s,u(s))ds,t[sk,tk+1),i=1,2,,p,u(t)=gk(t,u(t)),t[tk,sk),u(0)=u0

over the interval [0,T] in the Banach space U is derived in this section.

Definition 3.1

The function u(t) is called mild solution of the impulsive fractional equation (3.1) over the interval if u(t) satisfies the integral equation

(3.2)u(t)=U(t)u0+0t(ts)α1V(ts)f(t,u(s),Ku(s))ds,t[0,t1),gk(t,u(t)),t[tk,sk),U(tsk)gk(sk,u(sk))+skt(ts)α1V(ts)f(t,u(s),Ku(s))ds,t[sk,tk+1),

where

Ku(t)=0ta(t,s,u(s))ds,U(t)=0ζα(θ)S(tαθ)dθ,V(t)=α0θζα(θ)S(tαθ)dθ

are the linear operators defined on U. Here, ζα(θ) is the probability density function over the interval [0,) defined by

ζα(θ)=1πn=1(1)n1θαn1Γ(nα+1)n!sin(nπα)

and the operator S(t) is the semi-group generated by evolution operator A.

Assumptions 3.1

Assumptions for the existence and uniqueness of the mild solution of fractional evolution equation with noninstantaneous impulses.

(A1) The evolution operator A generates C0 semigroup S(t) for all t[0,T].

(A2) The function f:[0,T]×U×UU is continuous with respect to t and there exist positive constants f1 and f2 such that ||f(t,u1,v1)f(t,u2,v2)||f1||u1u2||+f2||v1v2|| for u1,v1,u2,v2Br0={uU;||u||r0} for some r0.

(A3) The operator K:[0,T]×UU is continuous and there exist a constant k such that ||KuKv||k||uv|| for u,vBr0.

(A4) The functions gk:[tk,sk]×U are continuous and there exist positive constants 0<gk<1 such that ||gk(t,u(t))gk(t,v(t))||gk||uv||.

Lemma 3.1

[10] If the evolution operator A generatesC0semigroupS(t), then the operatorsU(t)andV(t)are strongly continuous and bounded. This means there exist positive constant M such that||U(t)u||M||u||and||V(t)u||MΓ(α)||u||for allt[0,T].

Theorem 3.2

If Assumptions (A1)–(A4) are satisfied, then the semilinear fractional integro-differential equation with noninstantaneous impulses (3.1) has unique mild solution.

Proof

Define the operator on U by

u(t)=1u(t),t[0,t1),2ku(t),t[tk,sk),3ku(t),t[sk,tk+1),

where 1, 2k and 3k are

1u(t)=U(t)u0+0t(ts)α1V(ts)f(t,u(s),Ku(s))ds,t[0,t1),2ku(t)=gk(t,u(t)),t[tk,sk),3kku(t)=U(tsk)gk(sk,u(sk))+skt(ts)α1V(ts)f(t,u(s),Ku(s))ds,t[sk,tk+1)

for all k=1,2,p.

In view of this operator , equation (3.2) has unique solution if and only if the operator equation u(t)=u(t) has unique solution. This is possible if and only if each of u(t)=1u(t), u(t)=2ku(t) and u(t)=3ku(t) has unique solution over the interval [0,t1), [tk,sk) and [sk,tk+1) for all k=1,2,,p, respectively, as let u1(t),u2k(t) and u3k(t) be the solutions of u(t)=1u(t), u(t)=2ku(t) and u(t)=3ku(t), respectively. Defining,

u(t)=u1(t),[0,t1),u2k(t),[tk,sk),u3k(t),[sk,tk+1),

then one can easily show that u(t) is a unique solution of u(t)=u(t).

For all t[0,t1) and u,vBr0,

||1(n)u(t)1(n)v(t)||0t0τ10τn1(tτ1)α1(τ1τ2)α1(τn1s)α1||V(tτ1)||||V(τ1τ2)||||V(τn1s)||||f(s,u(s),Ku(s))f(s,v(s),Kv(s))||dsdτn1dτ1.

By applying Assumptions (A1)–(A3) and Lemma 3.1, we get

||1(n)u(t)1(n)v(t)||0t10t10t1t1n(α1)Mn(Γ(α))nf1||uv||+f2k||uv||dsdτn1dτ1t1n(α1)Mn(f1+f2k)(n1)!(Γ(α))n0t1(t1s)n1ds||uv||t1nαMn(f1+f2k)n!(Γ(α))n||uv||c||uv||.

Considering supremum over interval [0,t1) we get ||1(n)u1(n)v|c||uv||0 for fixed t1. Therefore, there exist m such that 1(m) is contraction on Br0. Thus, by general Banach contraction theorem the operator equation u(t)=1u(t) has unique solution over the interval [0,t1).

For all k=1,2,,p, t[tk,sk) and u,vU and assuming (A4)

||2ku(t)2kv(t)||=||gk(t,u(t))gk(t,v(t))||gk||uv||.

Then 2k is contraction and by the Banach fixed point theorem the operator equation u(t)=2ku(t) has unique solution for the interval [tk,sk) for all k=1,2,,p. This means for all k=1,2,,p, u(t)=gk(t,u(t)) has unique solution for all t[tk,sk). Lipschitz continuity of gk leads to uniqueness of the solution at point sk also.

For all k=1,2,,p, t[sk,tk+1) and u,vBr0,

||3k(n)u(t)3k(n)v(t)||sktskτ1skτn1(tτ1)α1(τ1τ2)α1(τn1s)α1||V(tτ1)||||V(τ1τ2)||||V(τn1s)||||f(s,u(s),Ku(s))f(s,v(s),Kv(s))||dsdτn1dτ1.

Applying Assumptions (A1)–(A3) and Lemma 3.1, we get

||3k(n)u(t)3k(n)v(t)||sktk+1sktk+1sktk+1(tk+1sk)n(α1)Mn(Γ(α))nf1||uv||+f2k||uv||dsdτn1dτ1(tk+1sk)n(α1)Mn(f1+f2k)(n1)!(Γ(α))nsktk+1(tk+1s)n1ds||uv||(tk+1sk)nαMn(f1+f2k)n!(Γ(α))n||uv||c||uv||.

Considering supremum over interval [sk,tk+1) we get ||3k(n)u3k(n)v|c||uv||0 for fixed sub-interval [sk,tk+1) for all k=1,2,,p. Therefore, there exist m such that 3k(m) is contraction on Br0. Thus, by general Banach contraction theorem the operator equation u(t)=3ku(t) has unique solution over the interval [sk,tk+1) for all k=1,2,,p.

Hence, the operator equation u(t)=u(t) has unique solution over the interval [0,T], which is nothing but mild solution of Eq. (3.1).□

Example 3.2.1

The fractional order integro-differential equation:

(3.3)Dtαcu(t,x)=uxx(t,x)+u(t,x)ux(t,x)+0teu(s,x)ds,t[0,1/3)[2/3,1],u(t,x)=u(t,x)2(1+u(t,x)),t[1/3,2/3)

over the interval [0,1] with initial condition u(0,x)=u0(x) and boundary condition u(t,0)=u(t,1)=0. Equation (3.3) can be reformulated as the fractional order abstract equation in U=L2([0,1],) as:

(3.4)Dαcz(t)=Az(t)+f(t,z(t),Kz(t)),t[0,1/3)[2/3,1],z(t)=g(t,z(t))t[1/3,2/3)

over the interval [0,1] by defining z(t)=u(t,), operator Au=u (second-order derivative with respect to x). The functions f and g over respected domains are defined as f(t,z(t),Kz(t))=(z2(t))/2+0tez(s)ds and g(t,z(t))=z(t)2(1+z(t)), respectively.

  1. The linear operator A over the domain D(A)={uU;u exists and continuous with u(0)=u(1)=0} is self-adjoint, with compact resolvent and is the infinitesimal generator of C0 semigroup S(t) over the interval [0,1] given by

    (3.5)S(t)u=n=1exp(n2π2t)<u,ϕn>ϕn,

    where ϕn(s)=2sin(nπs) for all n=1,2, is the orthogonal basis for the space X.

  2. The function K:[0,1]×[0,1]×XX is continuous with respect to t and differentiable with respect to z for all z and hence K is Lipschitz continuous with respect to z. This means that there exist positive constant k such that ||K(t,z1)K(t,z2)||k||z1z2||.

  3. The function f:[0,1]×X×XX is continuous with respect to t and is differential with respect to argument z and Kz. Therefore, there exist positive constants f1 and f2 such that ||f(t,z1,Kz1)f(t,z2,Kz2)||f1||z1z2||+f2||Kz1Kz2||, z1,z2Br0 for some r0.

  4. The impulse g is continuous with respect to t and Lipchitz continuous with respect to z with Lipschitz constant g=1/2<1.

Therefore, by Theorem 3.2, equation (3.4) has unique solution over [0,1]. Hence, equation (3.3) has unique solution over the interval [0,1].

4 Equation with nonlocal conditions

Sufficient conditions for the existence of the equation:

(4.1)Dαcu(t)=Au(t)+ft,u(t),0ta(t,s,u(s))ds,t[si,ti+1),i=1,2,,p,u(t)=gi(t,u(t)),t[ti,si),x(0)=u0+h(x)

in the Banach space U, is derived in this section.

Definition 4.1

The function u(t) is called mild solution of the impulsive fractional equation (3.1) over the interval if u(t) satisfies the integral equation

(4.2)u(t)=U(t)(u0+h(x))+0t(ts)α1V(ts)f(t,u(s),Ku(s))ds,t[0,t1),gk(t,u(t)),t[tk,sk),U(tsk)gk(sk,u(sk))+skt(ts)α1V(ts)f(t,u(s),Ku(s))ds,t[sk,tk+1),

where

Ku(t)=0ta(t,s,u(s))ds,U(t)=0ζα(θ)S(tαθ)dθ,V(t)=α0θζα(θ)S(tαθ)dθ

are the linear operators defined on U. Here, ζα(θ) is the probability density function over the interval [0,) defined by

ζα(θ)=1πn=1(1)n1θαn1Γ(nα+1)n!sin(nπα)

and the operator S(t) is the semi-group generated by evolution operator A.

Assumptions 4.1

Assumptions for the existence of the mild solution of fractional evolution equation with noninstantaneous impulses.

(B1) The evolution operator A generates C0 semigroup S(t) for all t[0,T].

(B2) The function f(t,,) is continuous and f(,u,v) is measurable on [0,T]. Also, there exist β(0,α) with mfL1β([0,T],)su such that |f(t,u,v)|mf(t) for all u,vU.

(B3) The operator K:[0,T]×UU is continuous and there exists a constant k such that ||KuKv||k||uv||.

(B4) The operator h:UU is Lipschitz continuous with respect to u with Lipschitz constant 0<h1.

(B5) The functions gk:[tk,sk]×U are continuous and there exist positive constants 0<gk<1 such that ||gk(t,u(t))gk(t,v(t))||gk||uv||.

Theorem 4.1

(Existence theorem) If Assumptions (B1)–(B5) are satisfied, then the nonlocal semi-linear fractional order integro-differential equation (4.2) has mild solution providedMh<1andMg<1.

Proof

From Lemma 3.1, ||U(t)||M for all uBk={uU:||u||k} for any positive constant k. Therefore,

(4.3)|U(t)(u0+h(u))|M(|u0|+h||u||+|h(0)|).

According to (B2), f(,u,v) is measurable on [0,T] and one can easily show that (ts)α1L11β[0,t] for all t[0,T] and β(0,α). Let

b=α11β(1,0),M1=||mf||L1β.

By Holder’s inequality and Assumption (B2), for t[0,T],

(4.4)0t|(ts)α1V(ts)f(s,u(s),Ku(s))|dsMΓ(α)0t(ts)α11βds1βM1MM1Γ(α)(1+b)1βT(1+b)(1β).

For t[0,t1) and for positive r we define F1 and F2 on Br as,

F1u(t)=U(t)(u0+h(u)),F2u(t)=0t(ts)α1V(ts)f(t,u(s),Ku(s))ds,

then u(t) is the mild solution of the semilinear fractional integro-differential equation if and only if the operator equation u=F1u+F2u has solution for uBr for some r. Therefore, the existence of a mild solution of (3.1) over the interval [0,t1) is equivalent to determining a positive constant r0, such that F1+F2 has a fixed point on Br0.

Step 1:||F1u+F2v||r0 for some positive r0.

Let u,vBr0, choose

r0=M|u0|+|h(z)|1Mh+MM1(1Mh)Γ(α)(1+b)1βt1(1+b)(1β),

and consider

|F1u(t)+F2v(t)||U(t)(u0+h(u))|+|0t(ts)α1V(ts)f(t,v(s),Kv(s))ds|M(|u0|+h||u||+|h(0)|)+MM1Γ(α)(1+b)1βt1(1+b)(1β)(usinginequalities(4.3)and(4.4))r0(since,Mh<1).

Therefore, ||F1u+F2v||r0 for every pair u,vBr0.

Step 2:F1 is contraction on Br0.

For any u,vBr0 and t[0,t1), we have |F1u(t)F1v(t)|Mh||uv||. Taking supremum over [0,t1), ||F1uF1v||Mh||uv||. Since Mh<1, F1 is contraction.

Step 3:F2 is a completely continuous operator on Br0.

Let {un} be the sequence in Br0 converging to uBr0 and consider,

|F2un(t)F2u(t)|0t(ts)α1|V(ts)||f(s,un(s),Kun(s))f(s,u(s),Ku(s))|dsMΓ(α)0t(ts)α1sups[0,t1)|f(s,un(s),Kun(s))f(s,u(s),Ku(s))|dsMt1αΓ(α+1)sups[0,t1)|f(s,un(s),Kun(s))f(s,u(s),Ku(s))|,

which implies

||F2unF2u||Mt1αΓ(α+1)sups[0,t1)|f(s,un(s),Kun(s))f(s,u(s),Ku(s))|.

Continuity of f and K leads to ||F2unF2u||0 as n. Thus, F2 is continuous.

To show {F2u(t),uBr0} is relatively compact it is sufficient to show that the family of functions {F2u,uBr0} is uniformly bounded and equicontinuous, and for any t[0,t1), {F2u(t),uBr0} is relatively compact in U.

Clearly for any uBr0, ||F2u||r0, which means that the family {F2u(t),uBr0} is uniformly bounded.

For any uBr0 and 0τ1<τ2<t1,

|F2u(τ2)F2(τ1)|=0τ2(τ2s)α1V(τ2s)f(s,u(s),Ku(s))ds0τ1(τ1s)α1V(τ1s)f(s,u(s),Ku(s))ds=τ1τ2(τ2s)α1V(τ2s)f(s,u(s),Ku(s))ds+0τ1(τ2s)α1V(τ2s)f(s,u(s),Ku(s))ds0τ1(τ1s)α1V(τ1s)f(s,u(s),Ku(s))dsτ1τ2(τ2s)α1V(τ2s)f(s,u(s),Ku(s))ds+0τ1(τ2s)α1(τ1s)α1V(τ2s)f(s,u(s),Ku(s))ds+0τ1(τ1s)α1V(τ2s)V(τ1s)f(s,u(s),Ku(s))dsI1+I2+I3,

where

I1=τ1τ2(τ2s)α1V(τ2s)f(s,u(s),Ku(s))dsτ1τ2|(τ2s)α1V(τ2s)f(s,u(s),Ku(s))|dsMM1Γ(α)(1+b)1β(τ2τ1)(1+b)(1β)(applyinginequality(4.4)overinterval[τ1,τ2]),
I2=0τ1[(τ2s)α1(τ1s)α1]V(τ2s)f(s,u(s),Ku(s))dsMΓ(α)0τ1[(τ2s)α1(τ1s)α1]|f(s,u(s),Ku(s))|dsMΓ(α)0τ1[(τ2s)α1(τ1s)α1]11βds1βM1(applyingHolder'sinequality)MM1Γ(α)0τ1[(τ2s)b(τ1s)]ds1βMM1Γ(α)(1+b)1βτ11+bτ21+b+(τ2τ1)1βMM1Γ(α)(1+b)1β(τ2τ1)(1+b)(1β)

and

I3=0τ1(τ1s)α1V(τ2s)V(τ1s)f(s,u(s),Ku(s))ds0τ1|(τ1s)α1V(τ2s)V(τ1s)f(s,u(s),Ku(s))|ds0τ1|(τ1s)α1f(s,u(s),Ku(s))|dssups[τ1,τ2]|V(τ2s)V(τ1s)|M1(1+b)1βt(1+b)(1β)sups[τ1,τ2]|V(τ2s)V(τ1s)|(applyingHolder’sinequality).

The integrals I1 and I2 vanish if τ1τ2 as they contain term (τ2τ1). By Assumption (B1), the integral I3 also vanishes as τ1τ2. Therefore, |F2u(τ2)F2(τ1)| tends to zero as τ1τ2 for independent choice of uBr0. Hence, the family {F2u,uBr0} is equicontinuous.

Now we show that the family X(t)={F2u(t),uBr0} for all t[0,t1) is relatively compact. It is obvious that X(0) is relatively compact.

Let t0[0,t1) be fixed and for each ε[0,t1), define an operator Fε on Br0 by the formula:

Fεu(t)=0tε(ts)α1V(ts)f(t,u(s),Ku(s))ds.

Compactness of the operator V(t) leads to relative compactness of the set Xε(t)=Fεu(t),uBr0 in U.

Moreover,

|F2u(t)Fεu(t)|=0t(ts)α1V(ts)f(t,u(s),Ku(s))ds0tε(ts)α1V(ts)f(t,u(s),Ku(s))dsεt|(ts)α1V(ts)f(t,u(s),Ku(s))|dsMM1Γ(α)(1+b)1β(tε)(1+b)(1β)(applyinginequality (4.4)).

Therefore, X(t) is relatively compact as it is very close to relatively compact set Xε(t). Thus, by the Ascoli-Arzela theorem the operator F2 is completely continuous on Br0. Hence, using Krasnoselskii’s fixed point theorem F1+F2 has fixed point on Br0, which is the mild solution of equation (4.1) over the interval [0,t1).

On the interval [tk,sk) for all k=1,2,,p and for positive r we define F1 and F2 on Br as,

F1u(t)=gk(t,u(t)),F2u(t)=0,

then u(t) is the mild solution of the semilinear fractional integro-differential equation if and only if the operator equation u=F1u+F2u has solution for uBr for some r. Therefore, the existence of a mild solution of (3.1) over the interval [tk,sk) is equivalent to determining a positive constant r0, such that F1+F2 has a fixed point on Br0. In fact, it is obvious due to Assumption (B5). On the interval [sk,tk+1) for all k=1,2,,p and for positive r we define F1 and F2 on Br as,

F1u(t)=U(tsk)gk(sk,u(sk)),F2u(t)=skt(ts)α1V(ts)f(t,u(s),Ku(s))ds,

then u(t) is the mild solution of the semilinear fractional integro-differential equation if and only if the operator equation u=F1u+F2u has solution for uBr for some r. Therefore, the existence of a mild solution of (3.1) over the interval [sk,tk+1) is equivalent to determining a positive constant r0, such that F1+F2 has a fixed point on Br0.

Selecting

r0=M|u0|+|g(,z)|1Mg+MM1(1Mg)Γ(α)(1+b)1β(tsk)(1+b)(1β),

and using similar arguments for interval [0,t1) and by Krasnoselskii’s fixed point theorem F1+F2 has fixed point on Br0, which is the mild solution of equation (4.1) over the interval [sk,tk+1).□

Example 4.1.1

Fractional partial integro-differential system with nonlocal conditions:

(4.5)D1/2cu(t,x)=uxx(t,x)+1500teu(s,x)ds,t[0,1/3)[2/3,1],u(t,x)=u(t,x)10(1+u(t,x)),t[1/3,2/3)

over the interval [0,1] with initial condition u(0,x)=u0(x)+i=1213iu(1/i,x) and boundary condition u(t,0)=u(t,1)=0.

Equation (4.5) can be reformulated as a fractional order abstract equation in U=L2([0,1],) as:

(4.6)Dαcz(t)=Az(t)+f(t,z(t),Kz(t)),t[0,1/3)[2/3,1],z(t)=g(t,z(t)),t[1/3,2/3)

over the interval [0,1] by defining z(t)=u(t,), operator Au=u (second-order derivative with respect to x). The functions f and g over respected domains are defined as f(t,z(t),Kz(t))=1500tez(s)ds and g(t,z(t))=z(t)10(1+z(t)), respectively.

Equation (4.6) satisfies conditions (B1)–(B5) of the hypothesis with Mh<1 and Mg<1. Hence, equation (4.6) has a mild solution over the interval [0,1].

5 Conclusion

Existence of mild solution of noninstantaneous impulsive semilinear fractional evolution equation with local and nonlocal conditions over the general Banach space is established in this paper. The result of local evolution equation is obtained through the general Banach contraction theorem, while the nonlocal evolution equation is obtained through Krasnoselskii’s fixed point theorem.

References

[1] I. Podlubny , Fractional Differential Equations, Academic Press, London, 1999.Search in Google Scholar

[2] K. S. Miller and B. Ross , An Introduction to Fractional Calculus and Fractional Differential Equations, John Wiley and Sons, New York, 1993.Search in Google Scholar

[3] J. H. He , Approximate analytical solution for seepage flow with fractional derivatives in porous media, Comput. Methods Appl. Mech. Engrg. 167 (1998), no. 1, 57–68, https://doi.org/S0045-7825(98)00108-X .10.1016/S0045-7825(98)00108-XSearch in Google Scholar

[4] A. M. A. El-Sayed , Fractional order wave equation, Internat. J. Theoret. Phys. 35 (1996), 311–322, https://doi.org/10.1007/BF02083817 .10.1007/BF02083817Search in Google Scholar

[5] V. Gafiychuk , B. Datsan , and V. Meleshko , Mathematical modeling of time fractional reaction-diffusion system, J. Comput. Appl. Math. 220 (2008), 215–225, https://doi.org/10.22436/jmcs.08.03.06 .10.1016/j.cam.2007.08.011Search in Google Scholar

[6] R. Metzler and J. Klafter , The restaurant at the end of random walk, the recent developments in description of anomalous transport by fractional dynamics, J. Phys. A 37 (2004), 161–208, https://doi.org/10.1088/0305-4470/37/31/R01 .10.1088/0305-4470/37/31/R01Search in Google Scholar

[7] D. Delbosco and L. Rodino , Existence and uniqueness for nonlinear fractional differential equations, J. Math. Anal. Appl. 204 (1996), 609–625, https://doi.org/10.1006/jmaa.1996.0456 .10.1006/jmaa.1996.0456Search in Google Scholar

[8] J. H. He , Some applications of nonlinear fractional differential equations and their approximations, B. Sci. Technol. 15 (1999), 86–90, https://doi.org/10.4236/am.2013.47A002 .10.4236/am.2013.47A002Search in Google Scholar

[9] B. Bonilla , M. Rivero , L. Rodriguez-Germa , and J. J. Trujillo , Fractional differential equations as alternative models to nonlinear differential equations, Appl. Math. Comput. 187 (2007), 79–88, https://doi.org/10.1016/j.amc.2006.08.105 .10.1016/j.amc.2006.08.105Search in Google Scholar

[10] M. M. El-Borai , Some probability densities and fundamental solutions of fractional evolution equations, Chaos Solitons Fractals 14 (2002), 433–440, https://doi.org/10.1016/S0960-0779(01)00208-9 .10.1016/S0960-0779(01)00208-9Search in Google Scholar

[11] Y. Cheng and G. Guozhu , On the solution of nonlinear fractional order differential equations, Nonlinear Anal. 310 (2005), 26–29, https://doi.org/10.1016/j.camwa.2011.03.031 .10.1016/j.camwa.2011.03.031Search in Google Scholar

[12] M. M. El-Borai , Semigroups and some nonlinear fractional differential equations, Appl. Math. Comput. 149 (2004), 823–831, https://doi.org/10.1016/S0096-3003(03)00188-7 .10.1016/S0096-3003(03)00188-7Search in Google Scholar

[13] K. Deng , Exponential decay of solutions of semilinear parabolic equations with nonlocal initial conditions, J. Math. Anal. Appl. 179 (1993), 630–637, https://doi.org/10.1006/JMAA.1993.1373 .10.1006/jmaa.1993.1373Search in Google Scholar

[14] Y. Zhou and F. Jiao , Nonlocal Cauchy problem for fractional evolution equations, Nonlinear Anal. Real World Appl. 11 (2010), 4465–4475, https://doi.org/10.1016/j.nonrwa.2010.05.029 .10.1016/j.nonrwa.2010.05.029Search in Google Scholar

[15] L. Byszewski , Theorems about the existence and uniqueness of solutions of semilinear evolution nonlocal Cauchy problem, J. Math. Anal. Appl. 162 (1991), 494–505, https://doi.org/10.1016/0022-247X(91)90164-U .10.1016/0022-247X(91)90164-USearch in Google Scholar

[16] K. Balachandran and J. J. Trujillo , The nonlocal Cauchy problem for nonlinear fractional integro-differential equations in Banach spaces, Nonlinear Anal. 72 (2010), no. 12, 4587–4593, https://doi.org/10.1016/j.na.2010.02.035 .10.1016/j.na.2010.02.035Search in Google Scholar

[17] G. M. N’Guerekata , A Cauchy problem for some fractional abstract differential equations with nonlocal conditions, Nonlinear Anal. 70 (2009), 1873–1876, https://doi.org/10.1016/j.na.2008.02.087 .10.1016/j.na.2008.02.087Search in Google Scholar

[18] K. Balachandran and J. Y. Park , Nonlinear Cauchy problem for abstract semi-linear evolution equations, Nonlinear Anal. 71 (2009), 4471–4475, https://doi.org/10.1016/j.na.2009.03.005 .10.1016/j.na.2009.03.005Search in Google Scholar

[19] J. Wang , M. Feckan , and Y. Zhou , On the new concept of solutions and existence results for impulsive fractional evolution equations, Dyn. Partial Differ. Equ. 8 (2011), no. 4, 345–361, https://doi.org/10.4310/DPDE.2011.v8.n4.a3 .10.4310/DPDE.2011.v8.n4.a3Search in Google Scholar

[20] F. Li , J. Liang , and H.-K. Xu , Existence of mild solutions for fractional integro-differential equations of Sobolev type with nonlocal conditions, J. Math. Anal. Appl. 391 (2012), no. 2, 510–525, https://doi.org/10.1016/j.jmaa.2012.02.057 .10.1016/j.jmaa.2012.02.057Search in Google Scholar

[21] V. Laxmikantham , D. Bainov , and P. S. Simeonov , The Theory of Impulsive Differential Equations, Singapore, World Scientific, 1989.10.1142/0906Search in Google Scholar

[22] K. Dishlieva , Impulsive differential equations and applications, J. Comput. Appl. Math. 1 (2012), 1–6, https://doi.org/10.4172/2168-9679.1000e117 .10.4172/2168-9679.1000e117Search in Google Scholar

[23] A. Anguraj and M. M. Arjunan , Existence and uniqueness of mild and classical solutions of impulsive evolution equations, Electron. J. Differential Equations 2005 (2005), no. 111, 1–8.Search in Google Scholar

[24] V. Shah , R. K. George , J. Sharma , and P. Muthukumar , Existence and uniqueness of classical and mild solutions of generalized impulsive evolution equation, Int. J. Nonlinear Sci. Numer. Simul. 19 (2018), no. 7–8, 775–780, https://doi.org/10.1515/ijnsns-2018-0042 .10.1515/ijnsns-2018-0042Search in Google Scholar

[25] M. Benchohra and B. A. Slimani , Existence and uniqueness of solutions to impulsive fractional differential equations, Electron. J. Differ. Equ. 2009 (2009), no. 10, 1–11.Search in Google Scholar

[26] G. Mophou , Existence and uniqueness of mild solution for some fractional differential equations with nonlocal conditions, Semigroup Forum 79 (2010), 315–322, https://doi.org/10.1016/j.mcm.2012.09.001 .10.1007/s00233-008-9117-xSearch in Google Scholar

[27] C. Ravichandran and M. Mallika Arjunan , Existence and uniqueness results for impulsive fractional integro-differential equations in Banach spaces, Int. J. Nonlinear Sci. 11 (2011), no. 4, 427–439.Search in Google Scholar

[28] K. Balachandran , S. Kiruthika , and J. J. Trujillo , Existence results for fractional impulsive integro-differential equations in Banach spaces, Commun. Nonlinear Sci. Numer. Simul. 16 (2011), 1970–1977, https://doi.org/10.1515/ms-2015-0090 .10.1016/j.cnsns.2010.08.005Search in Google Scholar

[29] K. Balachandran , S. Kiruthika , and J. J. Trujillo , On fractional impulsive equations of Sobolev type with nonlocal condition in Banach spaces, Comput. Math. Appl. 62 (2011), no. 3, 1157–1165, https://doi.org/10.1016/j.camwa.2011.03.031 .10.1016/j.camwa.2011.03.031Search in Google Scholar

[30] Z. Gao , L. Yang , and G. Liu , Existence and uniqueness of solutions to impulsive fractional integro-differential equations with nonlocal conditions, Appl. Math. 4 (2013), no. 6, 859–863, https://doi.org/10.4236/am.2013.46118 .10.4236/am.2013.46118Search in Google Scholar

[31] H. R. Kataria and P. H. Patel , Congruency between classical and mild solutions of Caputo fractional impulsive evolution equation on Banach Space, Int. J. Adv. Sci. Tech. 29 (2020), no. 3s, 1923–1936.Search in Google Scholar

[32] H. Kataria and P. H. Patel , Existence and uniqueness of nonlocal Cauchy problem for fractional differential equations on Banach space, Int. J. Pure Appl. Math. 120 (2018), no. 6, 10237–10252.Search in Google Scholar

[33] Pei-Luan Li and Chang-Jin Xu , Mild solution of fractional order differential equations with not instantaneous impulses, Open Math. 13 (2015), 436–446, https://doi.org/10.1515/math-2015-0042 .10.1515/math-2015-0042Search in Google Scholar

[34] A. Meraj and D. N. Pandey , Existence of mild solutions for fractional non-instantaneous impulsive integro-differential equations with nonlocal conditions, Arab J. Math. Sci. 26 (2018), no. 1/2, 3–13, https://doi.org/10.1016/j.ajmsc.2018.11.002 .10.1016/j.ajmsc.2018.11.002Search in Google Scholar

[35] A. A. Kilbas , H. M. Srivastava , and J. J. Trujillo , Theory and Applications of Fractional Differential Equations, Elsevier Science, North-Holland, 2006.Search in Google Scholar

[36] S. G. Samko . A. A. Kilbas , and O. I. Marichev , Fractional Integrals and Derivatives: Theory and Applications, Gordon and Breach, Amsterdam 1993.Search in Google Scholar

[37] J. Borah and S. Bora , Existence of mild solution of class of nonlocal fractional order differential equation with not instantaneous impulses, Fract. Calc. Appl. Anal. 22 (2019), 495–508, https://doi.org/10.1515/fca-2019-0029 .10.1515/fca-2019-0029Search in Google Scholar

[38] K. Deimling , Nonlinear Functional Analysis, Springer-Verlag, New York, 1985.10.1007/978-3-662-00547-7Search in Google Scholar

Received: 2020-07-10
Revised: 2020-10-21
Accepted: 2020-11-18
Published Online: 2020-12-31

© 2020 Haribhai R. Kataria et al., published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Articles in the same Issue

  1. Regular Articles
  2. Stability of an additive-quadratic-quartic functional equation
  3. Two new forms of ordered soft separation axioms
  4. Coefficient inequalities for a subclass of Bazilevič functions
  5. Equivalence of the existence of best proximity points and best proximity pairs for cyclic and noncyclic nonexpansive mappings
  6. Generalized parabolic Marcinkiewicz integrals associated with polynomial compound curves with rough kernels
  7. Jordan centralizer maps on trivial extension algebras
  8. On soft pc-separation axioms
  9. Direct and strong converse inequalities for approximation with Fejér means
  10. On perturbed quadratic integral equations and initial value problem with nonlocal conditions in Orlicz spaces
  11. On θ-generalized demimetric mappings and monotone operators in Hadamard spaces
  12. On the domain of implicit functions in a projective limit setting without additional norm estimates
  13. Scalar linear impulsive Riemann-Liouville fractional differential equations with constant delay-explicit solutions and finite time stability
  14. The special atom space and Haar wavelets in higher dimensions
  15. A strong convergence theorem for a zero of the sum of a finite family of maximally monotone mappings
  16. Existence and uniqueness of mild solutions for a fractional differential equation under Sturm-Liouville boundary conditions when the data function is of Lipschitzian type
  17. The new investigation of the stability of mixed type additive-quartic functional equations in non-Archimedean spaces
  18. Numerical approach to the controllability of fractional order impulsive differential equations
  19. Two modifications of the inertial Tseng extragradient method with self-adaptive step size for solving monotone variational inequality problems
  20. Further results on Ulam stability for a system of first-order nonsingular delay differential equations
  21. Existence results for nonlinear coupled system of integral equations of Urysohn Volterra-Chandrasekhar mixed type
  22. Structure of n-quasi left m-invertible and related classes of operators
  23. Hyers-Ulam stability of a nonautonomous semilinear equation with fractional diffusion
  24. Hasimoto surfaces for two classes of curve evolution in Minkowski 3-space
  25. Applications of some operators on supra topological spaces
  26. An iterative algorithm for the system of split mixed equilibrium problem
  27. Almost graded multiplication and almost graded comultiplication modules
  28. Strong convergence of an inertial extrapolation method for a split system of minimization problems
  29. On the non-hypercyclicity of scalar type spectral operators and collections of their exponentials
  30. Exponential spline method for singularly perturbed third-order boundary value problems
  31. Existence results of noninstantaneous impulsive fractional integro-differential equation
  32. Review Articles
  33. On a characterization of exponential, Pearson and Pareto distributions via covariance and pseudo-covariance
Downloaded on 11.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/dema-2020-0029/html
Scroll to top button