Approximate controllability of impulsive neutral functional differential equations with state-dependent delay via fractional operators

Transcription

1 International Journal of Computer Applications ( ) Volume 69 - No. 2, May 23 Approximate controllability of impulsive neutral functional differential equations with state-dependent delay via fractional operators N. Y. Nadaf Department of Mathematics, Karunya University, Karunya Nagar, Coimbatore-64 4, Tamil Nadu, India. nadaf nabisab@yahoo.com M. Mallika Arjunan Department of Mathematics, C. B. M. College, Kovaipudur, Coimbatore , Tamil Nadu, India. arjunphd7@yahoo.co.in ABSTRACT In this article, the problem of approximate controllability for nonlinear impulsive neutral differential systems with state-dependent delay is studied under the assumption that the corresponding linear control system is approximately controllable. Using Schauder s fixed point theorem and fractional powers of operators with semigroup theory, sufficient conditions are formulated and proved. Keywords: Approximate controllability, Impulsive neutral functional differential equations, Semigroup theory, State-dependent delay, Fixed point... INTRODUCTION In this paper, we study the approximate controllability of the impulsive neutral functional differential equation with state-dependent delay in the form: d dt [x(t) g(t, x t)] = Ax(t) Bu(t) f(t, x ρ(t,xt )), t J = [, b], () x = φ B, (2) x(t k ) = I k (x tk ), k =, 2,..., m, (3) where A is the infinitesimal generator of a strongly continuous semigroup of bounded linear operators on a Banach space X, B is a bounded linear operator from a Banach space U into X. The notation x s represents the function defined by x s : (, ] X, x s (θ) = x(s θ), belongs to some abstract phase space B described axiomatically and ρ : J B (, b] is a continuous function. Further f, g : J B X, and I k ( ) : B X are appropriate functions, the control u( ) L 2 (J, U), a Banach space of admissible control functions. Here < t < t 2 < < t m < b are pre-fixed numbers and ξ(t) represents the jump ξ at time t which is defined by ξ(t) = ξ(t ) ξ(t ). The theory of impulsive differential equations has become an important area of investigation in recent years. Relative to this theory, we only refer the interested reader to [] and the monographs [2, 3, 4]. The concept of controllability is an important property of a control system which plays an important role in many control problems such as stabilization of unstable systems by feedback control. Therefore, in recent years controllability problems for various types of linear and nonlinear deterministic and stochastic dynamic systems have been studied by many authors, see for instance [5, 6, 7, 8, 9,, ]. In particular, approximate controllable systems are more prevalent and very often approximate controllability is completely adequate in applications. There are many papers on the approximate controllability of the various types of nonlinear systems under different conditions, see for instance [2, 3, 4, 5, 7, 8] and references therein. Approximate controllability for semilinear deterministic and stochastic control systems can be found in Mahmudov [9]. More recently, Sakthivel et al. [4] derived a set of sufficient conditions for the approximate controllability of nonlinear deterministic and stochastic systems with unbounded delay by using the Schauder s fixed point theorem. On the other hand, delay differential equations arise in many physical and biological applications, but often demand the use of nonconstant or state-dependent delays. These equations are frequently called equations with state-dependent delay. In recent years, the analysis of differential equations with state-dependent delay have received much attention, see for instance [2]. Very recently, existence of mild solutions to impulsive abstract neutral functional differential equations with state dependent delay has been established; see for instance [2] and the references therein. However, it should be emphasized that the approximate controllability of neutral differential equations with state-dependent delay is not yet sufficiently elaborated, compared to that of classical differential equations. In this regard in fact, it is necessary and important to study approximate controllability problems for nonlinear neutral systems with state-dependent delay. To the best of the authors knowledge, the approximate controllability of nonlinear neutral differential equations with state-dependent delay of the form () (3) has not been studied yet in the existing literature. Motivated by this consideration, in this paper we establish sufficient conditions for the approximate controllability of the nonlinear impulsive neutral differential

2 International Journal of Computer Applications ( ) Volume 69 - No. 2, May 23 systems with state-dependent delay by using the Schauder s fixxed point theorem and fractional powers of operators with semigroup theory. The remainder of this paper is organized as follows. In section 2, we give some notations, definitions and basic results about semigroup theory and approximate controllability. In section 3, first we give the existence of solutions for the problem () (3) by using the Schauder s fixed point theorem, and then sufficient conditions for approximate controllability of impulsive neutral differential systems with state-dependent delay are established. 2. PRELIMINARIES In this section, we recall some notations, definitions and lemmas which are used in this paper. A function x : [σ, µ] X is said to be a normalized piecewise continuous function on [σ, µ] if x is piecewise continuous and left continuous on [σ, µ]. We denote by P C([σ, µ], X) the space of normalized piecewise continuous functions from [σ, µ] into X. In particular, we introduce the space P C formed by all normalized piecewise continuous functions x : [, b] X such that x( ) is continuous at t t k, x(t k ) = x(t k) and x(t k ) exists, for k =,..., m. It is clear that P C endowed with the norm x P C = sup s J x(s) is a Banach space. Let A : D(A) X be the infinitesimal generator of an analytic semigroup T (t), t, of bounded linear operators on a Banach space X. Let ρ(a), then it is possible to define the fractional power (A), for <, as closed linear operator on its domain D(A). Furthermore, the subspace D(A) is dense in X, and the expression x = (A) x, x D(A) defines a norm on D(A). Furthermore, we have the following properties appeared in [23]. LEMMA. ([23] ). The following properties hold. (i) If < <, then X X and the embedding is compact whenever the resolvent operator of A is compact. (ii) For every < there exists C > such that (A) R(t) C t, < t b. In this work we will employ an axiomatic definition of the phase space B, which is similar to those introduced in [23]. Specifically, B will be a linear space of functions mapping (, ] into X endowed with a seminorm B and we will assume that B satisfies the following axioms: (A ) If x : (, σ b] X, b >, is such that x σ B and x [σ,σb] P C([σ, σ b], X), then for every t [σ, σ b) the following conditions hold: (i) x t is in B, (ii) x(t) H x t B, (iii) x t B K(t σ)sup{ x(s) : σ s t} M(t σ) x σ B, where H > is a constant; K, M : [, ) [, ), K is continuous, M is locally bounded, and H, K, M are independent of x( ). (A 2 ) The space B is complete. For more details about phase space axioms and examples, we refer the reader to [24]. Let x b (φ; u) be the state value of ()-(3) at terminal time b corresponding to the control u and the initial value φ. Introduce the set R(b, φ) = {x b (φ; u)() : u() L 2 (J, U)}, which is called the reachable set of system ()-(3) at terminal time b, its closure in X is denoted by (R(b, φ)). DEFINITION. A function x : (, b] X is called a mild solution of the abstract Cauchy problem ()-(3) if x = φ; x ρ(s,xs) B for every s J; the function t AT (t s)g(s, x s ) is integrable on [, t), for every t [, b], and the integral equation x(t) = T (t)[φ() g(, φ)] g(t, x t ) AT (t s)g(s, x s )ds T (t s)[bu(s) f(s, x ρ(s,xs))]ds T (t t k )I k (x tk ), t J, is satisfied. <t k <t DEFINITION 2. A system ()-(3) is said to be approximate controllable on the interval [, b] if (R(b, φ)) is dense in X, i.e., (R(b, φ)) = X. It is convenient at this point to define operators Γ b = R(, Γ b ) = (I Γ b ), T (b s)bb T (b s)ds, where B denotes the adjoint of B and T is the adjoint of T. It is straight forward that the operator Γ b is a linear bounded operator. Assume the following: (S ) R(, Γ b ) as in the strong operator topology. It is known from [25] that the assumption (S ) holds if and only if the linear system x (t) = Ax(t) Bu(t), t J = [, b], (4) x = φ B, (5) is approximate controllable on J. LEMMA 2. ([26],Lemma 2.] ). Let x : (, b] X be a function such that x = φ and x J P C. Then x s B (M a J φ ) φ B K a sup{ x(θ) : θ [, max{, s}]}, s R(ρ ) J. where M a = sup s J M(s), K a = sup s J K(s), J φ = sup s R(ρ ) J φ (s). 3. APPROXIMATE CONTROLLABILITY To establish our results, we list the following assumptions on system ()-(3). (H ) ρ : J B (, b] is continuous. (H 2 ) Let R(ρ ) = {ρ(s, ψ) : (s, ψ) J B, ρ(s, ψ) }. The function t φ t is well defined from R(ρ ) into B and there exists a continuous and bounded function J φ : (ρ ) (, ) such that φ t B J φ (t) φ B for every t R(ρ ). 2

3 International Journal of Computer Applications ( ) Volume 69 - No. 2, May 23 (H 3 ) The function f : J B X satisfies the following conditions: (i) Let x : (, b] X be such that x = φ and x J P C. The function t f(t, x ρ(t,xt )) is measurable on J and the function t f(s, x t ) is continuous on R(ρ ) J for every s J. (ii) For each t J, the function f(t, ) : B X is continuous. (iii) For each q > there exists a function λ q L (J, R ) such that sup ξ q f(t, ξ) λ q (t) for a.e. t J, and lim inf q λ q (t) dt = Λ < q (H 4 ) There exist constants < <, L, L 2, L g such that g is X -valued, (A) g is continuous, and (i) (A) g(t, x) L x B L 2, t J, x B, (ii) (A) g(t, x )(A) g(s, x 2 ) L g [ ts x x 2 B ], t, s J, x i B, i =, 2 with (A) = M, (A) = N. (H 5 ) The maps I k are continuous and there exists a positive constant d k such that I k (ξ) d k. (H 6 ) The semigroup T (t), t > is compact. (H 7 ) The function f : J B X is continuous and uniformly bounded and there exists an N > such that f(t, ξ) N for all (t, ξ) J B. Now for convenience, we list the following notations M = max{ T (t) : t b}, M = B, K = x b M H φ B MM (L φ B L 2 ) M K = M H φ B MM (L φ B L 2 ) M 2 M 2 M d k. b K d k, It will be shown that the system ()-(3) is approximately controllable, if for all > there exists a continuous function x( ) Z such that u(t) = B T (b t)r(, Γ b )p(x( )), x(t) = T (t)[φ() g(, φ)] g(t, x t ) AT (t s)g(s, x s )ds T (t s)[bu(s) f(s, x ρ(s,xs))]ds T (t t k )I k (x tk ), t J, <t k <t where p(x( )) = x b T (b)[φ() g(, φ)] g(b, x b ) AT (b s)g(s, x s )ds T (b s)f(s, x ρ(s,xs))ds T (b t k )I k (x tk ). THEOREM. Assume that conditions (H ) (H 7 ) are satisfied. Further, suppose that for all > ( M 2 M )[(M C b )L ΛM]K a <, then the system ()-(3) has a solution on J. PROOF. Let Z = {x P C : x() = φ()} be the space endowed with the uniform convergence topology. On the space Z, consider the set Q = {x Z; x r}, where r is a positive constant. For >, define the operator ψ : Z Z by ψx(t) = z(t), where v(t) = B T (b t)r(, Γ b )p(x( )), z(t) = T (t)[φ() g(, φ)] g(t, x t ) AT (t s)g(s, x s )ds T (t s)[bv(s) f(s, x ρ(s, xs))]ds T (t t k )I k ( x tk ), t J, <t k <t where p(x( )) = x b T (b)[φ() g(, φ)] g(b, x b ) AT (b s)g(s, x s )ds T (b s)f(s, x ρ(s, xs))ds T (b t k )I k ( x tk ). and x : (, b] X is such that x = φ and x = x on [, b]. It will be shown that for all > the operator ψ : Z Z has a fixed point. Step. For an arbitrary >, there exists an r > such that ψ(q) Q. If this is not true, then there exists an > such that for every r >, there exist x r Q and t r J such that r < ψx r (t r ). For such >, we find that r < ψx r (t r ) T (t r ) [ φ() g(, φ) ] g(t r, x r t ) r r r AT (t r s)g(s, x r s) ds T (t r s) B v(s) ds T (t r s) f(s, x r ρ(s,x r s) ds T (t r t k ) I k (x tk ) <t k <t M H φ B M (A) (L φ B L 2 ) (A) (L x r t ) B L 2 ) r r (A) T (t r s) (A) g(s, x r s) ds T (t r η) B B T (b η) R(, Γ b ) ( )[ x b T (b) [ φ() g(, φ) ] g(b, x r b ) 3

4 International Journal of Computer Applications ( ) Volume 69 - No. 2, May 23 (A) T (b s) (A) g(s, x r s) ds T (b s) f(s, x r ρ(s,x r s) ) ds T (b t k ) I k ( x tk ) ](η)dη r T (t r s) f(s, x ρ(s,x r s ) ) ds T (t r t k ) I k ( x tk ) <t k <t M H φ B MM (L φ B L 2 ) M (L x r t B L 2 ) C b (L x r s B L 2 ) M 2 M [ x b M H φ B MM (L φ B L 2 ) M (L x r b B L 2 ) C b (L x r s B L 2 ) M x r ρ(s,(x r ) s) B ds r M d k ] M x r ρ(s,(x r ) s) B ds M d k M H φ B MM (L φ B L 2 ) M (L ((M a J φ ) φ B K a r) L 2 ) C b (L ((M a J φ ) φ B K a r) L 2 ) M 2 M [ x b M H φ B MM (L φ B L 2 ) M (L ((M a J φ ) φ B K a r) L 2 ) C b (L ((M a J φ ) φ B K a r) L 2 ) M x r ρ(s,(x r ) s) B ds M d k ] r M x r ρ(s,(x r ) s) B ds M For any x Q, it follows from Lemma 2 that x r ρ(s,(x r ) s) (M a J φ ) φ B K a r = r, d k where r is a positive constant. Hence we obtain M H φ B MM (L φ B L 2 ) M (L r L 2 ) C b (L r L 2 ) M 2 M [ x b M H φ B MM (L φ B L 2 ) M (L r L 2 ) C b (L r L 2 ) M λ r (s)ds M d k ] r M λ r (s)ds M d k M H φ B MM (L φ B L 2 ) M (L r L 2 ) C b (L r L 2 ) M 2 M [K M (L r L 2 ) C b (L r L 2 ) M λ r (s)ds M d k ] r M λ r (s)ds M d k where K = x b M H φ B MM (L φ B L 2 ) M m d k r (M C b )(L r L 2 ) M 2 M (M C b )(L r L 2 ) M λ r (s)ds M 2 M 2 b M where K = M H φ B MM (L φ B L 2 ) m M 2 M K M d k λ r (s)ds K, r ( M 2 M )(M C b )(L r L 2 ) ( M 2 M 2 b )M λ r (s)ds K ( M 2 M )[(M C b )(L r L 2 ) M λ r (s)ds] K. We note that K is independent of r and r as r. Now lim inf r λ r (s) ds = lim inf r r Hence we have for >, ( λ r (s) r. r r )ds = ΛK a. ( M 2 M )[(M C b )L ΛM]K a, which is contradiction to our assumption. Thus >, there exists an r > such that ψ maps Q into itself. Step 2. For each >, the operator ψ maps Q into a relatively compact subset of Q. First, we prove that the set V (t) = {ψx(t); x Q} is relatively compact in X for every t J. The case t = is obvious. So, let t be a fixed real number, and let τ be a given real number satisfying < τ < t b, we define (ψ τ x)(t) = T (t)[φ() g(, φ)] g(t, x t ) τ τ τ AT (t s)g(s, x s )ds T (t s)bv(s)ds T (t s)f(s, x ρ(s, xs))ds T (t t k )I k ( x tk ). <t k <t 4

5 International Journal of Computer Applications ( ) Volume 69 - No. 2, May 23 The set V τ (t) = {(ψ τ x)(t) : x( ) Q} is relatively compact set in X. That is, a finite set {y i, i n} in X exists such that V τ (t) n i= W (y i, ɛ/2), where W (y i, ɛ/2) is an open ball in X with center at y i and radius ɛ/2. On the other hand, (ψx)(t) (ψ τ x)(t) AT (t s)g(s, x s )ds f(s, x ρ(s, xs))]ds AT (t s)g(s, x s ) ds T (t s)[bv(s) T (t η) ( ) B B T (b η) R(, Γ b ) [ x b T (b) [ φ() g(, φ) ] g(b, x b ) T (b s) f(s, x ρ(s, xs)) ds T (b t k ) I k ( x tk ) ]ηdη C M 2 M 2 T (t s) f(s, x ρ(s, xs)) ds (t s) (L x s B L 2 )ds MM (L φ B L 2 ) [ x b M H φ B AT (b s)g(s, x s ) ds M (L x b B L 2 ) C b (L x s B L 2 ) M x r (s, x s) B ds M d k ]ds M x r ρ(s, x s) B ds C τ (L r L 2 ) M 2 M 2 [ x b M H φ B MM (L φ B L 2 ) M (L r L 2 ) C b (L r L 2 ) M λ r (s)ds M C τ (L r L 2 ) M 2 M 2 M (L r L 2 ) C b (L r L 2 ) M d k ]ds M λ r (s)ds [K λ r (s)ds]ds M λ r (s)ds C τ (L r L 2 ) M 2 M 2 [K M (L r L 2 ) C b (L r L 2 ) M ɛ 2. Consequently, λ r (s)ds]τ M V (t) n i= W (y i, ɛ). λ r (s)ds Hence for each t [, b], V (t) is relatively compact in X. Step 3. ψ maps Q into equicontinuous family. We now show that the set V = {(ψx)( ) x( ) Q} is equicontinuous on [, b]. For < t < t 2 b, we have z(t ) z(t 2 ) T (t ) T (t 2 ) φ() g(, φ) g(t, x t ) g(t 2, x t2 ) 2 t 2 t 2 t T (t 2 s) T (t s) Ag(s, x s ) ds AT (t 2 s) g(s, x s ) ds T (t 2 s) T (t s) B v(s) ds T (t 2 s) B v(s) ds T (t 2 s) T (t s) f(s, x ρ(s, xs)) ds AT (t 2 s) f(s, x ρ(s, xs)) ds <t k <t T (t 2 t k ) T (t t k ) I k ( x tk ) t <t k <t 2 T (t 2 t k ) I k ( x tk ) T (t ) T (t 2 ) φ() g(, φ) L g [( t t 2 x t x t2 B )] 2 t MM 2 T (t 2 s) T (t s) N (L x s B L 2 )ds MN (L x s B L 2 )ds T (t 2 η) T (t η) [ x b M H φ B MM (L φ B L 2 ) 5

6 International Journal of Computer Applications ( ) Volume 69 - No. 2, May 23 M (L x b B L 2 ) C b (L x s B L 2 ) M x ρ(s, xs) B ds M d k ]dη M 2 M 2 2 t [ x b M H φ B MM (L φ B L 2 ) M (L x s B L 2 ) C b (L x s B L 2 ) M M d k ]dη 2 x ρ(s, xs) B ds T (t 2 s) T (t s) x ρ(s, xs) B ds M x ρ(s, xs) B ds M t <t k <t 2 d k <t k <t T (t 2 t k ) T (t t k ) d k T (t ) T (t 2 ) φ() g(, φ) L g [( t t 2 x t x t2 B )] 2 t MM 2 T (t 2 s) T (t s) N (L r L 2 )ds MN (L r L 2 )ds T (t 2 η) T (t η) [ x b M H φ B MM (L φ B L 2 ) M (L r L 2 ) C b (L r L 2 ) M λ r (s)ds M d k ]dη M 2 M 2 t2 [ x b M H φ B MM (L φ B L 2 ) t M (L r L 2 ) C b (L r L 2 ) M λ r (s)ds M d k ]dη M 2 M T (t 2 s) T (t s) λ r (s)ds t λ r (s)ds t <t k <t 2 d k. <t k <t T (t 2 t k ) T (t t k ) d k The right hand side does not depend on any particular choices of x( ) Q and tends to zero as t t 2, since the compactness of T (t) for t > implies the continuity in the uniform operator topology. This proves that V is right equicontinuous at t (, b). The other cases right equicontinuity at zero and left equicontinuity at t (, b] are similar. Thus ψ maps Q into an equicontinuous family of functions. Step 4. The map ψ is continuous on Q. Let {x n } n N be a sequence in Q and x Q such that x n x in P C. From (H 2 ) (H 6 ), we have (i) I k, k =, 2,..., n is continuous. (ii) g(t, x n t ) g(t, x t ) for each t J and since g(t, x n t ) g(t, x t ) < 2M L g r. (iii) Ag(s, x n t ) Ag(s, x t ) for each s J and since Ag(s, x n t ) Ag(s, x t ) < 2N L g r. (iv) f(s, x n ρ(s, x s) ) f(s, x ρ(s, x s)) for each s J and since f(s, x n ρ(s, x s) ) f(s, x ρ(s, x s)) < 2λ r (s). From the Lebesgue dominated convergence theorem, we obtain ψz n ψz g(t, x n t ) g(t, x t ) AT (t s)g(s, x n s ) AT (t s)g(s, x s ) ds T (t η) B B T (b η) R(, Γ b ) [ ( ) g(b, x n b ) g(b, x b ) T (b s) Ag(s, x n s ) Ag(s, x s ) ds T (b s) f(s, x n ρ(s, x ) f(s, x s) ρ(s, x s)) ds ] T (b t k ) I k ( x n t k ) I k ( x tk ) (η)dη <t k <t T (t s) f(s, x n ρ(s, x ) f(s, x s) ρ(s, x s)) ds T (t t k ) I k ( x n t k ) I k ( x tk ) <t k <t g(t, x n t ) g(t, x t ) M MM 2 M Ag(s, x n s ) Ag(s, x s ) ds [ g(b, x n b ) g(b, x b ) Ag(s, x n s ) Ag(s, x s ) ds M f(s, x n ρ(s, x ) f(s, x s) ρ(s, x s)) ds M I k ( x n t k ) I k ( x tk ) ]dη <t k <t M f(s, x n ρ(s, x ) f(s, x s) ρ(s, x s)) ds M I k ( x n t k ) I k ( x tk ) <t k <t 6

7 International Journal of Computer Applications ( ) Volume 69 - No. 2, May 23 as n. Which shows the continuity of ψ. Hence all the conditions of Schauder s fixed point theorem [27] are satisfied, and consequently the operator ψ has a fixed point in Q. Thus the problem () (3) has a solution on J. THEOREM 2. Assume that linear system (4) (5) is approximately controllable on J. If the conditions (H 4 ), (H 6 ), (H 7 ) and (S ) are satisfied then the system () (3) is approximately controllable. PROOF. Let x ( ) be a fixed point of ψ in Q any fixed point of ψ is a mild solution of () (3) under the control and satisfies the inequality u (t) = B T (b t)r(, Γ b )p(x ) x (b) = x b R(, Γ b )p(x ). (6) By the conditions (H 4 ) and (H 7 ), f(s, x ρ(s, x s ) 2 ds bn 2, (A) g(s, x s ) 2 ds b N 2. Consequently, the sequence {f(s, x ρ(s, x s ))} and {(A) g(s, x s )} is bounded in L 2 (J, X). Then there is a subsequence, still denoted by {f(s, x ρ(s, x s ) )} and {(A) g(s, x s )} that weakly converges to, say, f(s) and g(s) in L 2 (J, X) respectively. Define p(x( )) = x b T (b)[φ() g(, φ)] g(b, x b ) AT (b s)g(s, x s )ds m T (b s)f(s, x ρ(s, x s ) )ds T (b t k )I k ( x tk ), w = x b T (b)[φ() g(, φ)] g(b, x b ) AT (b s)g(s)ds T (b t k )I k ( x tk ). T (b s)f(s)ds It follows by the compactness of the operators l( ) (A) T ( s)l(s)ds : L 2 (J, X) C(J, X) and l( ) (A)T ( s)l(s)ds : L 2(J, X) C(J, X) we obtain that p(x ) w = as. (A) T (b s)[(a) g(s, x s ) g(s)]ds T (b s)[f(s, x ρ(s, x s ) ) f(s)]ds Then from (6), we obtain x (b) x b = R(, Γ b )p(x ) = R(, Γ b )(p(x ) w w) R(, Γ b )(w) R(, Γ b ) (p(x ) w) R(, Γ b )(w) (p(x ) w) as. This completes the approximate controllability of () (3). 4. CONCLUSION Sufficient conditions for approximate controllability results are established for a class of impulsive neutral functional differential equation with state-dependent delay. The proof of the main theorem is based on the application of the Schauder s fixed point theorem and fractional powers of operators with semigroup theory. 5. REFERENCES [] Y. V. Rogovchenko, Impulsive evolution systems: Main results and new trends, Dynam. Contin.,Discrete Impuls. Systems, 3 (997), [2] M. Benchohra, J. Henderson and S. K. Ntouyas, Impulsive Differential Equations and Inclusions, Series Contemporary Mathematics and Its Applications, Vol. 2, Hindawi Publ. Corp.,26. [3] V. Lakshmikantham, D. D. Bainov and P. S. Simeonov, Theory of Impulsive Differential Equations, World Scientific Pub. Co., Singapore, 989. [4] A. Samoilenko and N. Peresyuk, Differential Equations with Impusive Effectes, World Scientific Pub. Co., Singapore, 995. [5] M. Benchohra, A. Ouahab, Controllability results for functional semilinear differential inclusions in Frechet spaces, Nonlinear Anal. TMA, 6(25), [6] N. Abada, M. Benchohra and H. Hammouche, Existence and controllability results for nondensely de-ned impulsive semilinear functional differential inclusions, J. Differ. Equ., 246 (29), [7] J. Klamka, Constrained controllability of semilinear systems with delays, Nonlinear Dynam., 56 (29), [8] J. Klamka, Constrained controllability of semilinear systems with delayed controls, Bull. Pol. Ac. Tech., 56 (28), [9] L. Gorniewicz, S. K. Ntouyasand D. O Regan, Controllability of semilinear differential equations and inclusions via semigroup theory in Banach spaces, Rep. Math. Phys., 56 (25), [] L. Gorniewicz, S. K. Ntouyas and D. O Regan, Existence and controllability results for first and second order functional semilinear differential inclusions with nonlocal conditions, Numer. Funct. Anal. Optim., 28 (27), [] L. Gorniewicz, S. K. Ntouyas, D. O Regan, Controllability results for -rst and second order evolution inclusions with nonlocal conditions, Ann. Polon. Math., 89 (26),

8 International Journal of Computer Applications ( ) Volume 69 - No. 2, May 23 [2] N. I. Mahmudov, Approximate controllability of evolution systems with nonlocal Conditions, Nonlinear Anal. TMA, 68 (28), [3] R. Sakthivel, Y. Ren and N. I. Mahmudov, Approximate controllability of second order stochastic differential equations with impulsive e-ects, Modern Phys. Lett. B 24 (2), [4] R. Sakthivel, J. Juan, Nieto, N. I. Mahmudov, Approximate controllability of nonlinear deterministic and stochastic systems with unbounded delay, Taiwan J. Math., 4 (2), [5] R. Sakthivel, Approximate controllability of impulsive stochastic evolution Equations, Funkcialaj Ekvacioj, 52 (29), [6] J. Klamka, Constrained approximate controllability, IEEE. T. Automat. Contr., 45 (2), [7] R. Sakthivel and E. R. Anandhi, Approximate controllability of impulsive differential equations with statedependent delay, International Journal of Control, 82, 2 (2), [8] B. Radhakrishnan and K. Balachandran, Controllability of impulsive neutral functional evolution integrodifferential systems with infinite delay, Nonlinear Analysis, HS, 5 (2), [9] N. I. Mahmudov, Approximate controllability of semilinear deterministic and stochastic evolution equations in abstract spaces, SIAM J, Control Optim., 42 (23), [2] Y. -K. Chang and W. S. Li, Solvability for impulsive neutral integrodifferential equations with state-dependent delay via fractional operators, J. Optim. Theory Appl., 44 (2), [2] M. Mallika Arjunan and V. Kavitha, Existence results for impulsive neutral functional differential equations with state-dependent delay, Electronic Journal of Qualitative Theory of Differential equations, 26 (29), -3. [22] A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, Springer, New York, (983). [23] Y. Heno, S. Murakami and T. Naito, Functional differential equations with infinite delay, Lecturer Notes in Mathematics, 473, Springer-Verlag, Berlin, 99. [24] E. Hernandez, R. Sakthivel and S. Tanaka, Existence results for impulsive evolution equations with statedependent delay, Electro. J. Differential Equations, 28 (28), -. [25] A. E. Bashirov and N. I. Mahmudov, On concept of controllability for linear deterministic and stochastic systems, SIAM, J. Control Optim., 37 (999), [26] E. Hernandez, A. Prokopczyk and L. A. Ladeira, A note on partial functional differential equations with statedependent delay, Nonlinear Anal. RWA, 7 (26), [27] A. Granas and J. Dugundji, Fixed Point Theory, Springer, New York, 23. 8