Necessary and sufficient conditions for existence of exponential dichotomy of impulsive equations (Q1200439): Difference between revisions

Let \(X\) be a Hilbert space and \(L(X)\) be the space of linear bounded operators acting in \(X\). The linear impulsive differential equation (1) \(dx/dt=A(t)x\) \((t\neq t_ n)\), (2) \(x(t^ +_ n)=Q_ nx(t_ n)\) is considered. Here \(A:R_ +\to L(X)\) is continuous on each interval \([t_ n,t_{n+1}]\); \(Q_ n\), \(Q^{-1}_ n\in L(X)\), the points \(t_ n\) satisfy the condition \(t_ n<t_{n+1}(n\in N)\), \(\lim_{n\to\infty}t_ n=\infty\). Let \(U(t)\) be the Cauchy operator of (1), (2), \(U(0)=I\). The equation (1), (2) is said to be generalized exponentially dichotomous if there exist positive functions \(\mu_ 1(t)\) and \(\mu_ 2(t)\), a constant \(M\) and projector \(P\) for which the following inequalities are valid: \[ \| U(t)PU^{-1}(S)\|\leq M\exp[-\int^ t_ s\mu_ 1(\tau)d\tau] (0\leq s\leq t<\infty) \] \[ \| U(t)(I-P)U^{-1}(s)\|\leq M\exp[-\int^ s_ t\mu_ 2(\tau)d\tau] (0\leq t\leq s<\infty). \] If the functions \(\mu_ 1(t)\) and \(\mu_ 2(t)\) satisfy the inequality \(\int^ b_ a\mu_ i(\tau)d\tau\leq\mu(b-a)\) \((a\leq b;\;i=1,2;\mu=\text{const})\) then (1), (2) is said to be exponentially dichotomous. The equation (1), (2) is said to be of bounded growth if for some fixed \(h>0\) there exists a constant \(C\geq 1\) such that each solution \(x(t)\) satisfies the condition \(\| x(t)\|\leq C\| x(s)\|\) for \(a\leq t\leq s+h\). Theorem 1. Let the impulsive equation (1), (2) be generalized exponentially dichotomous and let \(\mu_ i(t)\geq\varepsilon_ 0>0\) \((t\in R_ +)\). Then there exists an operator-valued function \(H(t)\) \((0\leq t<\infty)\) with the following properties: 1. \(H(t)\) is continuously differentiable for \(t\in R_ +\), has points of discontinuity of the first kind at \(t=t_ n\) and is bounded. 2. \(H(t)\) is a self-adjoint operator for each \(t\in R_ +\). 3. \((C(t)z,z)\to- \eta\| z\|^ 2\) \((z\in X)\) where \(\eta>0\) is a constant and \(C(t)=H'(t)+H(t)A(t)+A^*(t)H(t)\). In another theorem the conditions by which the exponential dichotomy of equation (1), (2) follows from the condition of bounded growth are given.