Skip to main content

Theory and Modern Applications

Existence results for fractional neutral functional integro-differential evolution equations with infinite delay in Banach spaces

Abstract

In this paper, we investigate the existence results for a class of abstract fractional neutral integro-differential evolution systems involving the Caputo derivative in Banach spaces. The main techniques rely on the fractional calculus, properties of characteristic solution operators, Mönch’s fixed point theorem via measures of noncompactness. Particularly, we do not assume that characteristic solution operators are compact. The application is given to illustrate the theory. The results of this article are generalization and improvement of the recent results on this issue.

MSC:26A33, 34A12, 47H08, 47H10.

1 Introduction

Fractional derivatives provide an excellent tool for the description of memory and hereditary properties of various materials and processes. For more details on fractional calculus theory and applications, one can see the monographs of Kilbas et al. [1], Lakshmikantham et al. [2], Miller and Ross [3], Podlubny [4], Baleanu et al. [57] and the papers [812] as well as the references therein.

Recently, the existence of solutions for fractional semilinear differential or integro-differential equations is one of the theoretical fields investigated by many authors [11, 1316]. Very recently, Ji et al. [17] studied the controllability of impulsive differential systems with nonlocal conditions by using Mönch’s fixed point theorem and Wang et al. [18] established the sufficient conditions for nonlocal controllability for fractional evolution systems and the results were obtained by using fractional calculus and Mönch’s fixed point theorem.

However, to the best of our knowledge, no work has been reported on the existence results for fractional neutral integro-differential systems with infinite delay in an abstract phase space via measures of noncompactness combined with the help of characteristic solution operators.

Our aim of this paper is to close the gap, and motivated by works [11, 17, 18], in this paper we investigate the existence of solutions of fractional neutral integro-differential systems with infinite delay of the form

D q C [ x ( t ) g ( t , x t ) ] =Ax(t)+f ( t , x t , 0 t h ( t , s , x s ) d s ) ,tJ:=[0,b],
(1.1)
x 0 =ϕ B h ,t(,0],
(1.2)

where D q C is the Caputo fractional derivative of order 0<q<1, A is the infinitesimal generator of a strongly continuous semigroup {T(t),t0} in a Banach space X, which means that there exists M 1 1 such that sup t J T(t) M 1 , f:J× B h ×X, g:J× B h and h:J×J× B h are given functions, where B h is a phase space defined in Section 2. The histories x t :(,0]X, defined by x t (s)=x(t+s), s0, belong to some abstract phase space B h .

The paper is organized as follows. In Section 2, we recall some basic definitions, notations and preliminary facts. Section 3 is devoted to the existence results for fractional neutral integro-differential evolution systems with infinite delay. The application of our theoretical results is given in Section 4. The last section is devoted to our conclusions.

2 Preliminaries

In this section, we mention notations, definitions, lemmas and preliminary facts needed to establish our main results.

Throughout this paper, we denote by X a Banach space with the norm . Let Y be another Banach space, let L b (X,Y) denote the space of bounded linear operators from X to Y. We also use f L p ( J , R + ) norm of f whenever f L p (J, R + ) for some p with 1p. Let L p (J,X) denote the Banach space of functions f:J× B h ×XX which are Bochner integrable normed by f L p ( J , X ) . Let C(J,X), be the Banach space of continuous functions from J into X with the usual supremum norm x C := sup t J x(t), for xC.

In this paper, we assume that A:D(A)XX is the infinitesimal generator of a strongly continuous semigroup T(), then there exists a constant M1. Without loss of generality, we assume that 0ρ(A). Then it is possible to define the fractional power A α for 0<α1, as a closed linear operator on its domain D( A α ) with inverse A α (see [19]). The following are basic properties of A α .

  1. (i)

    D( A α ) is a Banach space with the norm x α = A α x for xD( A α ).

  2. (ii)

    T(t):X X α for t0.

  3. (iii)

    A α T(t)x=T(t) A α x for each xD( A α ) and t0.

  4. (iv)

    For every t>0, A α T(t) is bounded on X and there exists M α >0 such that

    A α T ( t ) M α t α .
  5. (v)

    A α is a bounded linear operator for 0α1 in X.

Now we define the abstract phase space B h , which has been used in [20]. Assume that h:(,0](0,+) is a continuous function with l= 0 h(t)dt<+. For any a>0, we define

B= { ψ : [ a , 0 ] X  such that  ψ ( t )  is bounded and measurable } ,

and equip the space with the norm

ψ [ a , 0 ] = sup s [ a , 0 ] ψ ( s ) ,ψB.

Let us define

B h = { ψ : ( , 0 ] X  such that for any  c > 0 , ψ | [ c , 0 ] B and  0 h ( s ) ψ [ s , 0 ] d s < + } .

If B h is endowed with the norm

ψ B h = 0 h(s) ψ [ s , 0 ] ds,ψ B h ,

then it is clear that ( B h , B h ) is a Banach space.

Now we consider the space

B h = { x : ( , b ] X  such that  x | J C ( J , X ) , x 0 = ϕ B h } .

Set b be a seminorm in B h defined by

x b = ϕ B h +sup { x ( s ) : s [ 0 , b ] } ,x B h .

Lemma 2.1 (See [20])

Assume x B h , then for tJ, x t B h . Moreover,

l | x ( t ) | x t B h ϕ B h +l sup s [ 0 , t ] | x ( s ) | ,

where l= 0 h(t)dt<+.

Let us recall the following known definitions. For more details see [1, 3, 6].

Definition 2.1 The fractional integral of order α with the lower limit zero for a function f is defined as

I α f(t)= 1 Γ ( α ) 0 t f ( s ) ( t s ) 1 α ds,t>0,α>0,

provided the right-hand side is pointwise defined on [0,), where Γ() is the gamma function, which is defined by Γ(α)= 0 t α 1 e t dt.

Definition 2.2 The Riemann-Liouville fractional derivative of order α>0, n1<α<n, nN, is defined as

D 0 + α ( R L ) f(t)= 1 Γ ( n α ) ( d d t ) n 0 t ( t s ) n α 1 f(s)ds,

where the function f(t) has absolutely continuous derivative up to order (n1).

Definition 2.3 The Caputo derivative of order α for a function f:[0,)R can be written as

D α f(t)= D α ( f ( t ) k = 0 n 1 t k k ! f ( k ) ( 0 ) ) ,t>0,n1<α<n.

Remark 2.1

  1. (i)

    If f(t) C n [0,), then

    D α C f(t)= 1 Γ ( n α ) 0 t f ( n ) ( s ) ( t s ) α + 1 n ds= I n α f ( n ) (t),t>0,n1<α<n.
  2. (ii)

    The Caputo derivative of a constant is equal to zero.

  3. (iii)

    If f is an abstract function with values in X, then integrals which appear in Definitions 2.1 and 2.2 are taken in Bochner’s sense.

Definition 2.4 (See [11])

A continuous function x:(,b]X is said to be a mild solution of system (1.1)-(1.2) if x 0 =ϕ B h on (,0] and the following integral equation

x ( t ) = T ( t ) [ ϕ ( 0 ) g ( 0 , ϕ ( 0 ) ) ] + g ( t , x t ) + 0 t ( t s ) q 1 A S ( t s ) g ( s , x s ) d s + 0 t ( t s ) q 1 S ( t s ) f ( s , x s , 0 s h ( s , τ , x τ ) d τ ) d s , t J ,
(2.1)

is satisfied, where T() and S() are called characteristic solution operators and given by

T= 0 ξ q (θ)T ( t q θ ) dθ,S=q 0 θ ξ q (θ)T ( t q θ ) dθ,

and for θ(0,)

ξ q ( θ ) = 1 q θ 1 1 q w ¯ q ( θ 1 q ) 0 , w ¯ q ( θ ) = 1 π n = 1 ( 1 ) n 1 θ n q 1 Γ ( n q + 1 ) n ! sin ( n π q ) .

Here, ξ q is a probability density function defined on (0,), that is

ξ q (θ)0,θ(0,)and 0 ξ q (θ)dθ=1.

The following results of T() and S() are used throughout this paper.

Remark 2.2 (See [11])

It is not difficult to verify that for ν[0,1],

0 θ ν ξ q (θ)dθ= 0 θ q ν w ¯ q (θ)dθ= Γ ( 1 + ν ) Γ ( 1 + q ν ) .

Lemma 2.2 (See [11, 18])

The operators and have the following properties:

  1. (i)

    For any fixed t0, and are linear and bounded operators, that is, for any xX,

    T ( t ) x Mxand S ( t ) x q M Γ ( 1 + q ) x.
  2. (ii)

    {T(t),t0} and {S(t),t0} are strongly continuous.

  3. (iii)

    For tJ and any bounded subsets DX, t{T(t)x:xD} and t{S(t)x:xD} are equicontinuous if T( t 2 q (θ))xT( t 1 q (θ))x0 with respect to xD as t 2 t 1 for each fixed θ[0,].

  4. (iv)

    For any xX, α,β(0,1), we have

    A T q ( t ) x = A 1 β T q ( t ) A β x , t J , A α T q ( t ) q M α Γ ( 2 α ) Γ ( 1 + q ( 1 α ) ) t α q , 0 < t b .

Moreover, let us recall some definitions and properties of the measures of noncompactness.

Definition 2.5 (See [17])

Let E + be a positive cone of an ordered Banach space (E,). A function Φ defined on the set of all bounded subsets of the Banach space X with values in E + is called a measure of noncompactness (MNC) on X iff Φ( c o ¯ Ω)=Φ(Ω) for all bounded subsets ΩX, where c o ¯ Ω stands for the closed convex hull of Ω.

The MNC Φ is said to be

  1. (1)

    Monotone iff for all bounded subsets Ω 1 , Ω 2 of X we have:

    ( Ω 1 Ω 2 ) ( Φ ( Ω 1 ) Φ ( Ω 2 ) ) ;
  2. (2)

    Nonsingular iff Φ({a}Ω)=Φ(Ω) for every aX, ΩX;

  3. (3)

    Regular iff Φ(Ω)=0 if and only if Ω is relatively compact in X.

One of the many examples of MNC is the noncompactness measure of Hausdorff β defined on each bounded subset Ω of X by

β ( Ω ) = inf { ϵ > 0 ; Ω  can be covered by a finite number of balls of radii smaller than  ϵ } .

It is well known that MNC β enjoys the above properties and other properties see [21, 24]. For all bounded subsets Ω, Ω 1 , Ω 2 of X,

  1. (4)

    β( Ω 1 + Ω 2 )β( Ω 1 )+β( Ω 2 ), where Ω 1 + Ω 2 ={x+y:x Ω 1 ,y Ω 2 };

  2. (5)

    β( Ω 1 Ω 2 )max{β( Ω 1 ),β( Ω 2 )};

  3. (6)

    β(λΩ)|λ|β(Ω) for any λR;

  4. (7)

    If the map Q:D(Q)XZ is Lipschitz continuous with constant k, then β Z (QΩ)kβ(Ω) for any bounded subset ΩD(Q), where Z is a Banach space.

Lemma 2.3 (See [24])

If WC([a,b],X) is bounded and equicontinuous, then β(W(t)) is continuous for t[a,b] and

β(W)=sup { β ( W ( t ) ) , t [ a , b ] } , where W(t)= { x ( t ) : x W } X.

Theorem 2.1 (See [18, 22])

If { u n } n = 1 is a sequence of Bochner integrable functions from J into X with the estimation u n (t)μ(t) for almost all tJ and every n1, where μ L 1 (J,R), then the function ψ(t)=β({ u n (t):n1}) belongs to L 1 (J,R) and satisfies β({ 0 t ψ(s)ds:n1})2 0 t ψ(s)ds.

The following fixed-point theorem, a nonlinear alternative of Mönch’s type, plays a key role in our proof of system (1.1)-(1.2).

Lemma 2.4 (See [[23], Theorem 2.2])

Let D be a closed convex subset of a Banach space X and 0D. Assume that F:DX is a continuous map which satisfies Mönch’s condition, that is, (MD is countable, M c o ¯ ({0}F(M)) M ¯ is compact). Then F has a fixed point in D.

3 Existence results

In this section, we present and prove the existence results for problem (1.1)-(1.2). In order to prove the main theorem of this section, we list the following hypotheses.

(H1)

  1. (i)

    A generates a strongly continuous semigroup {T(t):t0} in X;

  2. (ii)

    For all bounded subsets DX and xD, T( t 2 q θ)xT( t 1 q θ)x0 as t 2 t 1 for each fixed θ(0,).

(H2) The function f:J× B h ×XX satisfies the following:

  1. (i)

    f(,ϕ,x) is measurable for all (ϕ,x) B h ×X and f(t,,) is continuous for a.e. tJ and for x B h , f(,,x):[0,T]X is strongly measurable.

  2. (ii)

    There exists a constant q 1 (0,q) and m L 1 q 1 (J, R + ) and a nondecreasing continuous function, there is a positive integrable function Ω: R + R + such that f(t,ϕ,x)m(t)Ω( ϕ B h +x), for all (t,ϕ,x)J× B h ×X, where Ω satisfies lim inf n Ω ( n ) n =0.

  3. (iii)

    There exists a constant q 2 (0,q) and h L 1 q 2 (J, R + ) such that, for any bounded subset D 1 X, F 1 B h ,

    β ( f ( t , F 1 , D 1 ) ) η(t) [ sup < θ 0 β ( F 1 ( θ ) ) + β ( D 1 ) ] for a.e. tJ,

where F 1 (θ)={v(θ):v D 1 } and β is the Hausdorff MNC.

(H3) The function h:J×J× B h X satisfies:

  1. (i)

    h(,ϕ,x) is measurable for (ϕ,x) B h ×X and h(t,,) is continuous for a.e. tJ.

  2. (ii)

    There exists a constant H 0 >0 such that h(t,s,ϕ) H 0 (1+ ϕ B h ), for all t,sJ, ϕ B h .

  3. (iii)

    There exists ζ L 1 ( J 2 , R + ) such that for any bounded subset D 2 X,

    β ( h ( t , s , D 2 ) ) ζ(t,s) [ sup < θ 0 β ( D 2 ( θ ) ) ] for a.e. tJ

with ζ = sup s J 0 s ζ(t,τ)dτ<.

(H4) The function g:J× B h is continuous and there exists a constant H 1 >0, 0<α<1 such that g is X α valued and

A β g ( t , x ) A β g ( t , y ) H 1 x y B h , x , y B h , t J : = [ 0 , b ] , A β g ( t , x ) H 1 ( 1 + x B h ) .

For our convenience, let us take κ i := [ ( 1 q i q q i ) b q q i 1 q i ] 1 q i , i=0,1,2. M 4 := κ 1 m L 1 q 1 ( J , R + ) , and M 6 = κ 2 η L 1 q 2 ( J , R + ) .

Theorem 3.1 Assume that the hypotheses (H1)-(H4) are satisfied, then system (1.1)-(1.2) has at least one mild solution provided that,

Z = 2 M 1 M 6 q Γ ( 1 + q ) ( 1 + 2 ζ ) <1 for some 1 2 <q<1.
(3.1)

Proof In order to prove the existence of mild solutions for system (1.1)-(1.2), transform it into a fixed point problem.

We consider the operator Φ: B h B h defined by

Φx(t)={ ϕ ( t ) , t ( , 0 ] , T ( t ) [ ϕ ( 0 ) g ( 0 , ϕ ( 0 ) ) ] + g ( t , x t ) + 0 t ( t s ) q 1 A S ( t s ) g ( s , x s ) d s + 0 t ( t s ) q 1 S ( t s ) f ( s , x s , 0 s h ( s , τ , x τ ) d τ ) d s , t J .
(3.2)

For ϕ B h , we define ϕ ˆ by

ϕ ˆ (t)={ ϕ ( t ) , t ( , 0 ] , T ( t ) ϕ ( 0 ) , t J ,

then ϕ ˆ B h . Let x(t)=y(t)+ ϕ ˆ (t), <tb. It is easy to see that x satisfies (2.1) if and only if y satisfies y 0 =0 and

y ( t ) = T ( t ) g ( 0 , ϕ ) + g ( t , y t + ϕ ˆ t ) + 0 t ( t s ) q 1 A S ( t s ) g ( s , y s + ϕ ˆ s ) d s + 0 t ( t s ) q 1 S ( t s ) f ( s , y s + ϕ ˆ s , 0 s h ( s , τ , y τ + ϕ ˆ τ ) d τ ) d s .

Let B h ={y B h : y 0 =0 B h }. For any y B h ,

y b = y 0 B h + sup { y ( s ) : 0 s b } = sup { y ( s ) : 0 s b } ,

thus ( B h , b ) is a Banach space. Set B r ={y B h : y b r} for some r>0, then B r B h is uniformly bounded, and for y B r , from Lemma 2.1, we have

y t + ϕ ˆ t B h y t B h + ϕ ˆ t B h l ( r + M 1 | ϕ ( 0 ) | ) + ϕ B h = r .
(3.3)

Define the operator Φ ˜ : B h B h by

Φ ˜ y(t)={ 0 , t ( , 0 ] , T ( t ) g ( 0 , ϕ ) + g ( t , y t + ϕ ˆ t ) + 0 t ( t s ) q 1 A S ( t s ) g ( s , y s + ϕ ˆ s ) d s + 0 t ( t s ) q 1 S ( t s ) f ( s , y s + ϕ ˆ s , 0 s h ( s , τ , y τ + ϕ ˆ τ ) d τ ) d s , t J .
(3.4)

Obviously, the operator Φ has a fixed point is equivalent to Φ ˜ has one. So, our aim is to show that Φ ˜ has a fixed point. The proof will be given in several steps.

Step 1: We show that there exists some r>0 such that Φ ˜ ( B r ) B r . If it is not true, then for each positive number r, there exists a function y r () B r and some tJ such that ( Φ ˜ y r )(t)>r.

On the other hand, from hypotheses the (H2)(i), (ii), (H4), Lemma 2.2(i) and Hölder’s inequality, we obtain

r < ( Φ ˜ y r ) ( t ) T ( t ) g ( 0 , ϕ ) + g ( t , y t + ϕ ˆ t ) + 0 t ( t s ) q 1 A S ( t s ) g ( s , y s + ϕ ˆ s ) d s + 0 t ( t s ) q 1 S ( t s ) f ( s , y s + ϕ ˆ s , 0 s h ( s , τ , y τ + ϕ ˆ τ ) d τ ) d s : = I 1 + I 2 + I 3 + I 4 .

Let us estimate, I i , i=1,2,3,4. By assumption (H4), we have

I 1 M 1 A β A β g ( 0 , ϕ ) I 1 M 1 H 1 A β ( 1 + ϕ B h ) ,
(3.5)
I 2 A β A β g ( t , y t + ϕ ˆ t ) I 2 H 1 A β ( 1 + y t + ϕ ˆ t B h ) I 2 H 1 A β ( 1 + r ) .
(3.6)

By using Lemma 2.2 and Hölder’s inequality, one can deduce that

I 3 0 t ( t s ) q 1 A 1 β S ( t s ) A β g ( s , y s + ϕ ˆ s ) d s M 1 β α Γ ( 1 + β ) Γ ( 1 + α β ) 0 t ( t s ) α β 1 A β g ( s , y s + ϕ ˆ s ) d s K 1 ( α , β ) 0 t ( t s ) α β 1 H 1 ( 1 + x B h ) d s K 1 ( α , β ) H 1 T α β α β ( 1 + r ) .
(3.7)

Using assumptions (H2) and (H3), we have

I 4 0 t ( t s ) q 1 S ( t s ) f ( s , y s + ϕ ˆ s , 0 s h ( s , τ , y τ + ϕ ˆ τ ) ) d τ d s M 1 Γ ( α ) 0 t ( t s ) q 1 m ( s ) Ω ( ϕ B h + x ) d s M 1 T α Γ ( α + 1 ) m ( s ) Ω ( r + b H 0 ( 1 + r ) ) d s M 1 T α Γ ( α + 1 ) Ω ( r + b H 0 ( 1 + r ) ) sup t J m ( s ) .
(3.8)

Combining estimates (3.5)-(3.8) yields

I 1 + I 2 + I 3 + I 4 < H 1 A β [ M 1 ( 1 + ϕ B h ) + ( 1 + r ) ] + K ( α , β ) H 1 T α β α β ( 1 + r ) + M 1 T α Γ ( α + 1 ) Ω ( r + b H 0 ( 1 + r ) ) sup t J m ( s ) .
(3.9)

Dividing both sides of (3.9) by r, and taking r, we have ≥1, which is a contradiction.

Hence for some positive number r, Φ ˜ ( B r ) B r .

Step 2: Φ ˜ is continuous on B r .

Let { y n } n N B r with y ( n ) y in B r as n.

Denote

F n ( s ) = f ( s , y s ( n ) + ϕ ˆ s , 0 s h ( s , τ , y τ ( n ) + ϕ ˆ τ ) d τ ) and F ( s ) = f ( s , y s + ϕ ˆ s , 0 s h ( s , τ , y τ + ϕ ˆ τ ) d τ ) .

Then, by using hypotheses ( H 2 )(i), (ii), ( H 3 )(i), (ii) and Lebesgue’s dominated convergence theorem, we obtain

0 t ( t s ) q 1 F n ( s ) F ( s ) ds0as n,tJ.
(3.10)

Now,

Φ ˜ y n Φ ˜ y C M 1 q Γ ( 1 + q ) 0 t ( t s ) q 1 F n ( s ) F ( s ) ds.
(3.11)

Observing (3.6) and (3.7), we have

Φ ˜ y n Φ ˜ y C 0as n,

which implies that Φ ˜ is continuous on B r .

Step 3: Φ ˜ ( B r ) is equicontinuous on J. Indeed, let z Φ ˜ ( B r ) and 0 t 1 < t 2 b. Then there is y B r such that

z ( t 2 ) z ( t 1 ) T ( t ) ( t 2 ) T ( t ) ( t 1 ) + [ ϕ ( 0 ) + g ( 0 , ϕ ( 0 ) ] + 0 t 2 ( t 2 s ) q 1 S ( t 2 s ) F ( s ) d s 0 t 1 ( t 1 s ) q 1 S ( t 1 s ) F ( s ) d s T ( t ) ( t 2 ) T ( t ) ( t 1 ) + [ ϕ + g ( 0 , ϕ ( 0 ) ] + t 1 t 2 ( t 2 s ) q 1 S ( t 2 s ) F ( s ) d s + t 1 ϵ t 1 ( t 2 s ) q 1 [ S ( t 2 s ) S ( t 1 s ) ] F ( s ) d s + t 1 ϵ t 1 [ ( t 2 s ) q 1 ( t 1 s ) q 1 ] S ( t 1 s ) F ( s ) d s + 0 t 1 ϵ ( t 2 s ) q 1 [ S ( t 2 s ) S ( t 1 s ) ] F ( s ) d s + 0 t 1 ϵ [ ( t 2 s ) q 1 ( t 1 s ) q 1 ] S ( t 1 s ) F ( s ) d s .

Using Lemma 2.2, we can verify that the right-hand side of the above inequality tends to zero as t 2 t 1 . Therefore, Φ ˜ ( B r ) is equicontinuous on J.

Step 4: Mönch’s condition holds.

Suppose that W B r is countable and Wconv({0} Φ ˜ (W)). We show that β(W)=0, where β is the Hausdorff MNC. Without loss of generality, we may suppose that W= { y n } n = 1 . Now we need to show that Φ ˜ (W)(t) is relatively compact in X for each tJ.

By Theorem 2.1, we have

β ( { Φ ˜ y n ( s ) } n = 1 ) β ( { 0 t ( t s ) q 1 S ( t s ) F n ( s ) d s } n = 1 ) 2 M 1 q Γ ( 1 + q ) 0 t ( t s ) q 1 β ( { F n ( s ) d s } n = 1 ) d s 2 M 1 q Γ ( 1 + q ) 0 t ( t s ) q 1 η ( s ) [ sup < θ 0 β ( { y n ( s + θ ) + ϕ ˆ ( s + θ ) } n = 1 ) + β ( { 0 s h ( s , τ , y τ n + ϕ ˆ τ ) d τ } n = 1 ) ] d s [ 2 M 1 q Γ ( 1 + q ) ( 1 + 2 ζ ) M 6 ] sup 0 τ s β ( W ( τ ) ) d s .

That is,

β ( Φ ˜ W ( t ) ) 2 M 1 M 6 q Γ ( 1 + q ) ( 1 + 2 ζ ) sup 0 τ s β ( W ( τ ) )

which implies, by Lemma 2.3, β( Φ ˜ (W)) Z β(W), where Z is defined in condition (3.1). Thus, from Mönch’s condition, we get

β(W)β ( conv ( { 0 } Φ ˜ ( W ) ) ) =β ( Φ ˜ ( W ) ) Z β(W),

which implies that β(W)=0.

Hence, using Lemma 2.4, Φ ˜ has a fixed point y in B r . Then x=y+ ϕ ˆ is a mild solution of system (1.1)-(1.2). This completes the proof. □

4 An application

For 1/2<α<1, consider the following fractional order neutral functional integro-differential of the form

D t q C [ z ( t , η ) + 0 π b ( θ , η ) z ( t , θ ) d θ ] = 2 η 2 z ( t , η ) + μ ( t , t μ 1 ( s t ) z ( s , η ) d s , 0 t 0 μ 2 ( s , η , τ s ) z ( τ , η ) d τ d s ) ,
(4.1)
z(t,0)=z(t,π)=0,t0,
(4.2)
z(0,η)=ψ(η),0ηπ,
(4.3)

where μ:J×[0,1]×[0,1]×RR is continuous functions. To write system (1.1)-(1.3) to the form (4.1)-(4.3), let X= L 2 [0,π] and A:D(A)XX be defined as follows: Af= f with domain

D(A)= { f X : f , f  are absolutely continuous , f X , f ( 0 ) = f ( π ) = 0 } .

It is well known that A is an infinitesimal generator of a semigroup {T(t),t0} in X and is given by T(t)w(s)=w(t+s), for wX, T(t) is not a compact semigroup on X with β(T(t)D)β(D), where β is the Hausdorff MNC and there exists an M 1 1 such that sup t J T(t) M 1 . Moreover, tw( t α θ+s)x is equicontinuous [18] for t0 and θ(0,). Define f,g:[0,π]×XX by

g ( z ) ( η ) = 0 π b ( θ , η ) z ( θ ) d θ , f ( t , π , 0 t g ( s , π ) d s ) ( η ) = μ ( t , t μ 1 ( s t ) z ( s , η ) d s , 0 t 0 μ 2 ( s , η , τ s ) z ( τ , η ) d τ d s ) .

We take μ(t, t μ 1 (st)z(s,η)ds, 0 t 0 μ 2 (s,η,τs)z(τ,η)dτds)= C 0 sin(x(s)), C 0 is a constant. F is Lipschitz continuous for the second variable. Then f satisfies hypotheses (H3) and (H4). This completes the example.

Conclusions

In the current paper, we are focused on establishing the existence result for a class of abstract fractional neutral functional integro-differential evolution systems involving the Caputo fractional derivative in Banach spaces. By using fractional calculus, the properties of characteristic solution operators, Mönch’s fixed point theorem via MNC, we have found the existence results. Here, we do not assume that characteristic solution operators are compact. An example is provided to show the effectiveness of the proposed results.

References

  1. Kilbas A, Srivastava H, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.

    Google Scholar 

  2. Lakshmikantham V, Leela S, Vasundhara Devi J: Theory of Fractional Dynamic Systems. Cambridge Scientific Publishers, Cambridge; 2009.

    Google Scholar 

  3. Miller KS, Ross B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York; 1993.

    Google Scholar 

  4. Podlubny I: Fractional Differential Equations. Academic Press, New York; 1999.

    Google Scholar 

  5. Baleanu D, Gunvenc ZB, Machdo JAT: New Trends in Nanotechnology and Fractional Calculus Applications. Springer, Berlin; 2010.

    Book  Google Scholar 

  6. Baleanu D, Diethelm K, Scalas E, Trujillo JJ Series on Complexity, Nonlinearity and Chaos. In Fractional Calculus Models and Numerical Methods. World Scientific, Singapore; 2012.

    Google Scholar 

  7. Baleanu D, Tenreiro Machado JA, Luo ACJ: Fractional Dynamics and Control. Springer, Berlin; 2012.

    Book  Google Scholar 

  8. Wu GC, Baleanu D: Variational iteration method for the Burgers’ flow with fractional derivatives-new Lagrange multipliers. Appl. Math. Model. 2013, 37(9):6183-6190. 10.1016/j.apm.2012.12.018

    Article  MathSciNet  Google Scholar 

  9. Baleanu D, Mustafa OG, Agarwal RP:On L ( p ) - solutions for a class of sequential fractional differential equations. Appl. Math. Comput. 2011, 218(5):2074-2081. 10.1016/j.amc.2011.07.024

    Article  MathSciNet  Google Scholar 

  10. Hernández E, O’Regan D, Balachandran K: On recent developments in the theory of abstract differential equations with fractional derivatives. Nonlinear Anal. 2010, 73: 3462-3471. 10.1016/j.na.2010.07.035

    Article  MathSciNet  Google Scholar 

  11. Zhou Y, Jiao F: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 2010, 59: 1063-1077. 10.1016/j.camwa.2009.06.026

    Article  MathSciNet  Google Scholar 

  12. Zhou Y, Jiao F, Li J: Existence and uniqueness for fractional neutral differential equations with infinite delay. Nonlinear Anal. 2009, 71: 3249-3256. 10.1016/j.na.2009.01.202

    Article  MathSciNet  Google Scholar 

  13. Baleanu D, Mustafa OG: On the global existence of solutions to a class of fractional differential equations. Comput. Math. Appl. 2010, 59(5):1835-1841. 10.1016/j.camwa.2009.08.028

    Article  MathSciNet  Google Scholar 

  14. Baleanu D, Mustafa OG, Agarwal RP: An existence result for a superlinear fractional differential equation. Appl. Math. Lett. 2010, 23(9):1129-1132. 10.1016/j.aml.2010.04.049

    Article  MathSciNet  Google Scholar 

  15. dos Santos JPC, Arjunan MM, Cuevas C: Existence results for fractional neutral integro-differential equations with state dependent delay. Comput. Math. Appl. 2011, 62(3):1275-1283. 10.1016/j.camwa.2011.03.048

    Article  MathSciNet  Google Scholar 

  16. dos Santos JPC, Vijayakumar V, Murugesu R: Existence of mild solutions for nonlocal Cauchy problem for fractional neutral integro-differential equation with unbounded delay. Commun. Math. Anal. 2013, 14(1):59-71.

    MathSciNet  Google Scholar 

  17. Ji S, Li G, Wang M: Controllability of impulsive differential systems with nonlocal conditions. Appl. Math. Comput. 2011, 217: 6981-6989. 10.1016/j.amc.2011.01.107

    Article  MathSciNet  Google Scholar 

  18. Wang JR, Fan Z, Zhou Y: Nonlocal controllability of semilinear dynamic systems with fractional derivative in Banach spaces. J. Optim. Theory Appl. 2012, 154(1):292-302. 10.1007/s10957-012-9999-3

    Article  MathSciNet  Google Scholar 

  19. Pazy A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York; 1983.

    Book  Google Scholar 

  20. Yan B: Boundary value problems on the half-line with impulses and infinite delay. J. Math. Anal. Appl. 2001, 259(1):94-114. 10.1006/jmaa.2000.7392

    Article  MathSciNet  Google Scholar 

  21. Kamenskii M, Obukhovskii V, Zecca P: Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces. de Gruyter, Berlin; 2001.

    Book  Google Scholar 

  22. O’Regan D, Precup R: Existence criteria for integral equations in Banach spaces. J. Inequal. Appl. 2001, 6: 77-97.

    MathSciNet  Google Scholar 

  23. Mönch H: Boundary value problems for nonlinear ordinary differential equations of second order in Banach spaces. Nonlinear Anal. 1980, 4: 985-999. 10.1016/0362-546X(80)90010-3

    Article  MathSciNet  Google Scholar 

  24. Banas J, Goebel K Lecture Notes in Pure and Applied Mathematics. In Measure of Noncompactness in Banach Spaces. Marcel Dekker, New York; 1980.

    Google Scholar 

Download references

Acknowledgements

The authors sincerely thank the reviewers for their valuable comments that led to the present improved version of the original manuscript. And the first author wish to thank Dr.Y. Robinson, Director, RVS Technical Campus, Coimbatore - 641 402, Tamilnadu, India for his constant encouragements and support for this research work.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Dumitru Baleanu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors have made equal contributions of this manuscript. All authors read and approved the final version.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Ravichandran, C., Baleanu, D. Existence results for fractional neutral functional integro-differential evolution equations with infinite delay in Banach spaces. Adv Differ Equ 2013, 215 (2013). https://doi.org/10.1186/1687-1847-2013-215

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2013-215

Keywords