Approximate controllability of semilinear impulsive evolution equations (Q2520489)

Summary: We prove the approximate controllability of the following semilinear impulsive evolution equation: \(z' = A z + B u(t) + F(t, z, u)\), \(z \in Z\), \(t \in(0, \tau]\), \(z(0) = z_0\), \(z(t_k^+) = z(t_k^-) + I_k(t_k, z(t_k), u(t_k))\), \(k = 1,2,3, \ldots, p\), where \(0 < t_1 < t_2 < t_3 < \cdots < t_p < \tau\), \(Z\) and \(U\) are Hilbert spaces, \(u \in L^2(0, \tau; U)\), \(B : U \to Z\) is a bounded linear operator, \(I_k, F : [0, \tau] \times Z \times U \to Z\) are smooth functions, and \(A : D(A) \subset Z \to Z\) is an unbounded linear operator in \(Z\) which generates a strongly continuous semigroup \(\{T(t) \}_{t \geq 0} \subset Z\). We suppose that \(F\) is bounded and the linear system is approximately controllable on \([0, \delta]\) for all \(\delta \in(0, \tau)\). Under these conditions, we prove the following statement: the semilinear impulsive evolution equation is approximately controllable on \([0, \tau]\).