In order to study these phenomena that can not be modeled by traditional initial value problems such as the dynamics of populations subjected to abrupt change, such as harvesting, diseases, etc. They are described by partial impulsive differential equations or abstract impulsive evolution equations. To our knowledge there is no work on second order impulsive differential equations on infinite dimensional spaces in literature. It is well-known the second order differential equations is different from the first order equations, we must discuss the unbounded matrix of operators, It is very difficult to discuss.In this thesis, we consider the following nonlinear second order impulsive evolution equations:where D = {t1 t2, ..., tn} (?) (0,T), 0 < t1 < t2 < ... < T, (i = 1,2, ... ,n),Δx(ti) = x(ti+) - x{ti-) = x(ti+) - x(ti), and Δ(x|·)(ti) = x|·(U+) - x|·(ti-) = x|·(ti+) -x|·(ti), Gi,Hi represent the jumps in the state x at time ti.For the different A and B, the equation of (1) is also different, so we discuss the second order nonlinear impulsive differential equation for the following three types.Type I: B is the infinitesimal generator of a strongly continuous semigroup {T(t),t ≥ 0} on Banach space X, and A is a closed linear operator on X with D(B) (?) D(A). We use the results of C0-semigroup theory and introduce the matrix of operators to discuss it.Type II: B = 0, A = E2, E is a closed linear operator on X, and E generates a Co-group {h(t), t ∈ R} on X, 0 ∈ Ï(E). We use the results of C0-group theory and introduce interpolation operators to discuss it.Type III: B = 0, A is the infinitesimal generator of a cosine family {C(t), t ∈ R} and 0 ∈Ï(A). We use the results of the Cosine family of operators and introduce interpolation space to discuss it.For every type, the existence and uniqueness of the mild solution are given. The continuous dependence with respect to the initial state is also given, In addition, for type I, the existence of optimal control is given. At last, we give an example to illustrate our abstract results.
|