Differential CalculusNewton and Leibniz,quite independently of one another,were largely responsible for developing the ideas of integral calculus to the point where hitherto insurmountable problems could be solved by more or less routine methods.The successful accomplishments of these men were primarily due to the fact that they were able to fuse together the integral calculus with the second main branch of calculus,differential calculus.In this article, we give su fficient conditions for controllability of some partial neutral functional di fferential equations with infinite delay. We suppose that the linear part is not necessarily densely defined but satisfies the resolvent estimates of the Hille -Yosida theorem. The results are obtained using the integrated semigroups theory. An application is given to illustrate our abstract result. Key words Controllability; integrated semigroup; integral solution; infinity delay1 IntroductionIn this article, we establish a result about controllability to the following class of partial neutral functional di fferential equations with infinite delay:0,),()(0≥⎪⎩⎪⎨⎧∈=++=∂∂t x xt t F t Cu ADxt Dxt tβφ (1) where the state variable (.)x takes values in a Banach space ).,(E and the control (.)u is given in []0),,,0(2>T U T L ,the Banach space of admissible control functions with U a Banach space. Cis a bounded linear operator from U into E, A : D(A) ⊆ E → E is a linear operator on E, B is the phase space of functions mapping (−∞, 0] into E, which will be specified later, D is a bounded linear operator from B into E defined byB D D ∈-=ϕϕϕϕ,)0(00D is a bounded linear operator from B into E and for each x : (−∞, T ] → E, T > 0, and t ∈ [0,T ], xt represents, as usual, the mapping from (−∞, 0] into E defined by]0,(),()(-∞∈+=θθθt x xtF is an E-valued nonlinear continuous mapping on B ⨯ℜ+.The problem of controllability of linear and nonlinear systems repr esented by ODE in finit dimensional space was extensively studied. Many authors extended the controllability concept to infinite dimensional systems in Banach space with unbounded operators. Up to now, there are a lot of works on this topic, see, for example, [4, 7, 10, 21]. There are many systems that can be written as abstract neutral evolution equations with infinite delay to study [23]. In recent years, the theory of neutral functional di fferential equations with infinite delay in infinitedimension was deve loped and it is still a field of research (see, for instance, [2, 9, 14, 15] and the references therein). Meanwhile, the controllability problem of such systems was also discussed by many mathematicians, see, for example, [5, 8]. The objective of this article is to discuss the controllability for Eq. (1), where the linear part is supposed to be non-densely defined but satisfies the resolvent estimates of the Hille-Yosida theorem. We shall assume conditions that assure global existence and give the su fficient conditions for controllability of some partial neutral functional di fferential equations with infinite delay. The results are obtained using the integrated semigroups theory and Banach fixed point theorem. Besides, we make use of the notion of integral solution and we do not use the analytic semigroups theory.Treating equations with infinite delay such as Eq. (1), we need to introduce the phase space B. To avoid repetitions and understand the interesting properties of the phase space, suppose that ).,(B B is a (semi)normed abstract linear space of functions mapping (−∞, 0] into E, and satisfies the following fundamental axioms that were first introduced in [13] and widely discussedin [16].(A)There exist a positive constant H and functions K(.), M(.):++ℜ→ℜ,with K continuous and M locally bounded, such that, for any ℜ∈σand 0>a ,if x : (−∞, σ + a] → E, B x ∈σ and (.)x is continuous on [σ, σ+a], then, for every t in [σ, σ+a], the following conditions hold:(i) B xt ∈, (ii) Bt x H t x ≤)(,which is equivalent toB H ϕϕ≤)0(or every B ∈ϕ(iii) Bσσσσx t M s x t K xtts B)()(sup )(-+-≤≤≤(A) For the function (.)x in (A), t → xt is a B -valued continuous function for t in [σ, σ + a]. (B) The space B is complete.Throughout this article, we also assume that the operator A satisfies the Hille -Yosida condition :(H1) There exist and ℜ∈ω，such that )(),(A ρω⊂+∞ and {}M N n A I n n ≤≥∈---ωλλωλ,:)()(sup （2） Let A0 be the part of operator A in )(A D defined by{}⎩⎨⎧∈=∈∈=)(,,)(:)()(000A D x for Ax x A A D Ax A D x A D It is well known that )()(0A D A D =and the operator 0A generates a strongly continuoussemigroup ))((00≥t t T on )(A D .Recall that [19] for all )(A D x ∈ and 0≥t ,one has )()(000A D xds s T f t∈ andx t T x sds s T A t )(0)(00=+⎪⎭⎫ ⎝⎛⎰. We also recall that 00))((≥t t T coincides on )(A D with the derivative of the locally Lipschitz integrated semigroup 0))((≥t t S generated by A on E, which is, according to [3, 17, 18],a family of bounded linear operators on E, that satisfies(i) S(0) = 0, (ii) for any y ∈ E, t → S(t)y is strongly continuous with values in E,(iii)⎰-+=sdr r s r t S t S s S 0))()(()()(for all t, s ≥ 0, and for any τ > 0 there exists aconstant l(τ) > 0, such thats t l s S t S -≤-)()()(τ or all t, s ∈ [0, τ] .The C0-semigroup 0))((≥'t t S is exponentially bounded, that is, there exist two constantsM and ω,such that t e M t S ω≤')( for all t ≥ 0.Notice that the controllability of a class of non-de nsely defined functional di fferential equations was studied in [12] in the finite delay case.、2 Main ResultsWe start with introducing the following definition.Definition 1 Let T > 0 and ϕ ∈ B. We consider the following definition.We say that a function x := x(., ϕ) : (−∞, T ) → E, 0 < T ≤ +∞, is an integral solution of Eq. (1) if(i) x is continuous on [0, T ) ,(ii) ⎰∈tA D Dxsds 0)( for t ∈ [0, T ) ,(iii) ⎰⎰+++=ts tt ds x s F s Cu Dxsds A D Dx 0),()(ϕfor t ∈ [0, T ) ,(iv))()(t t x ϕ= for all t ∈ (−∞, 0].We deduce from [1] and [22] that integral solutions of Eq. (1) are given for ϕ ∈ B, such that )(A D D ∈ϕ by the following system⎪⎩⎪⎨⎧-∞∈=∈+-'+'=⎰+∞→],0,(),()(),,0[,)),()(()(lim )(0t t t x t t ds x s F s Cu B s t S D t S Dxt ts ϕλϕλ 、 (3)Where 1)(--=A I B λλλ.To obtain global existence and uniqueness, we supposed as in [1] that (H2) 1)0(0<D K .(H3) E F →B ⨯+∞],0[:is continuous and there exists 0β> 0, such that B -≤-21021),(),(ϕϕβϕϕt F t F for ϕ1, ϕ2 ∈ B and t ≥ 0. (4)Using Theorem 7 in [1], we obtain the following result.Theorem 1 Assume that (H1), (H2), and (H3) hold. Let ϕ ∈ B such that D ϕ ∈ D(A). Then, there exists a unique integral solution x(., ϕ) of Eq. (1), defined on (−∞,+∞) .Definition 2 Under the above conditions, Eq. (1) is said to be controllable on the interval J = [0, δ], δ > 0, if for every initial function ϕ ∈ B with D ϕ ∈ D(A) and for any e1 ∈ D(A), there exists a control u ∈ L2(J,U), such that the solution x(.) of Eq. (1) satisfies 1)(e x =δ.Theorem 2 Suppose that(H1), (H2), and (H3) hold. Let x(.) be the integral solution of Eq. (1) on (−∞, δ) , δ > 0, and assume that (see [20]) the linear operator W from U into D(A) defined byds s Cu B s S Wu )()(limλδλδ⎰-'=+∞→， （5）nduces an invertible operator W ~on KerW U J L /),(2，such that there exist positive constants1N and 2N satisfying 1N C ≤and 21~N W ≤-，then, Eq. (1) is controllable on J providedthat1))(2221000<++δδωδωδβδβK e M N N e M D ， （6）Where)(max :0t K K t δδ≤≤=.Proof Following [1], when the integral solution x(.) of Eq. (1) exists on (−∞, δ) , δ > 0, it is given for all t ∈ [0, δ] byds s Cu s t S dt d ds x s F s t S dt d D t S x D t x tt s t ⎰⎰-+-+'+=000)()(),()()()(ϕOrdsx s B s t S D t S x D t x tst ⎰-'+'+=+∞→00),()(lim)()(λλϕds s Cu B s t S t⎰-'++∞→0)()(limλλThen, an arbitrary integral solution x(.) of Eq. (1) on (−∞, δ) , δ > 0, satisfies x(δ) = e1 if and only ifdss Cu B s t S ds x s F s S d d D S x D e ts ⎰⎰-'+-+'+=+∞→001)()(lim),()()(λλδδδδϕδThis implies that, by use of (5), it su ffices to take, for all t ∈ J,{})()()(lim~)(01t ds s Cu B s t S W t u t⎰-'=+∞→-λλ{})(),()(lim )(~011t ds x s B s t S D S x D e W ts⎰-'-'--=+∞→-λλϕδδin order to have x(δ) = e1. Hence, we must take the control as above, and consequently, the proof is reduced to the existence of the integral solution given for all t ∈ [0, δ] by⎰-+'+=ts t ds z s F s t S dtd D t S z D t Pz 00),()()(:))((ϕ {ϕδδδD S z D z W C s t S dt d t )()(~)(001'---=⎰- ds s d z F B S )}(),()(limτττδτλδλ⎰-'-+∞→Without loss of generality, suppose thatω ≥ 0. Using similar arguments as in [1], we can seehat, for every1z ,)(2ϕδZ z ∈and t ∈ [0, δ] ,∞-+≤-210021)())(())((z z K e M D t Pz t Pz δδωβAs K is continuous and1)0(0<K D ,we can choose δ > 0 small enough, such that1)2221000<++δδωδωδββK e M N N e M D .Then, P is a strict contraction in )(ϕδZ ,and the fixed point of P gives the unique integral olution x(., ϕ) on (−∞, δ] that verifies x(δ) = e1.Remark 1 Suppose that all linear operators W from U into D(A) defined byds s Cu B s b S Wu )()(limλδλ⎰-'=+∞→0 ≤ a < b ≤ T, T > 0, induce invertible operators W ~ on KerW U b a L /)],,([2,such that thereexist positive constants N1 and N2 satisfying 1N C ≤ and21~N W ≤-,taking NT =δ,N large enough and following [1]. A similar argument as the above proof can be used inductively in 11],)1(,[-≤≤+N n n n δδ,to see that Eq. (1) is controllable on [0, T ] for all T > 0.Acknowledgements The authors would like to thank Prof. Khalil Ezzinbi and Prof. Pierre Magal for the fruitful discussions.References[1] Adimy M, Bouzahir H, Ezzinbi K. Existence and stability for some partial neutral functional di fferenti al equations with infinite delay. J Math Anal Appl, 2004, 294: 438–461[2] Adimy M, Ezzinbi K. A class of linear partial neutral functional differential equations withnondense domain. J Dif Eq, 1998, 147: 285–332[3] Arendt W. Resolvent positive operators and integrated semigroups. Proc London Math Soc,1987, 54(3):321–349[4] Atmania R, Mazouzi S. Controllability of semilinear integrodifferential equations withnonlocal conditions. Electronic J of Diff Eq, 2005, 2005: 1–9[5] Balachandran K, Anandhi E R. Controllability of neutral integrodifferential infinite delaysystems in Banach spaces. Taiwanese J Math, 2004, 8: 689–702[6] Balasubramaniam P, Ntouyas S K. Controllability for neutral stochastic functional differentialinclusionswith infinite delay in abst ract space. J Math Anal Appl, 2006, 324(1): 161–176、[7] Balachandran K, Balasubramaniam P, Dauer J P. Local null controllability of nonlinearfunctional differ-ential systems in Banach space. J Optim Theory Appl, 1996, 88: 61–75 [8] Balasubramaniam P, Loganathan C. Controllability of functional differential equations withunboundeddelay in Banach space. J Indian Math Soc, 2001, 68: 191–203[9] Bouzahir H. On neutral functional differential equations. Fixed Point Theory, 2005, 5: 11–21 The study of differential equations is one part of mathematics that, perhaps more than any other, has been directly inspired by mechanics, astronomy, and mathematical physics. Its history began in the 17th century when Newton, Leibniz, and the Bernoullis solved some simple differential equation arising from problems in geometry and mechanics. There early discoveries, beginning about 1690, gradually led to the development of a lot of “special tricks” for solving certain special kinds of differential equations. Although these special tricks are applicable in mechanics and geometry, so their study is of practical importance.微分方程牛顿和莱布尼茨，完全相互独立，主要负责开发积分学思想的地步，迄今无法解决的问题可以解决更多或更少的常规方法。
