next up previous contents
Next: Completeness problems Up: Nonselfadjoint Problems Previous: Infinite dimensional state space

Small solutions

In case G is a nonpositive selfadjoint operator on a Hilbert space H, the solution of

displaymath4060

can be written down in terms of the spectral resolution tex2html_wrap_inline4062 of G as the integral

displaymath4066

The asymptotic behaviour of this integral is like tex2html_wrap_inline4068 , where tex2html_wrap_inline4070 denotes the infimum of those values of tex2html_wrap_inline4072 for which tex2html_wrap_inline4074 . It follows from this asymptotic description that no solution of (5) different from the zero solution, tends to zero in norm faster than some exponential function tex2html_wrap_inline4076 . A similar result holds for an operator G that is close to a selfadjoint operator (see [5]). However, for arbitrary nonselfadjoint operators G equation (5) can have solutions that tend to zero faster than any exponential function tex2html_wrap_inline4076 . In fact such small solutions can exist for functional differential equations. For example, the system

displaymath4084

has nontrivial solutions which tend to zero faster than any exponential (see [1]).

More generally, necessary and sufficient conditions for the existence of small solutions for equation (2) can be deduced from the spectral data of the corresponding operator G. In order to illustrate this we give some more definitions.

A sequence of vectors tex2html_wrap_inline4088 in C with tex2html_wrap_inline4092 is called a Jordan chain of G at tex2html_wrap_inline4072 if

displaymath4098

Note that tex2html_wrap_inline4100 is an eigenvector of G, the vectors tex2html_wrap_inline4104 are called generalized eigenvectors at tex2html_wrap_inline4072 . A Jordan chain of G gives rise to a special solution of (3). If tex2html_wrap_inline4088 is a Jordan chain of G at tex2html_wrap_inline4072 , then

displaymath4116

is a solution of (3) for all t. So if the linear space spanned by all eigenvectors and generalized eigenvectors is dense in C then each solution can be approximated by a linear combination of solutions of the form (6) (in a sense that can be made precise). In this case we say that the operator G has a complete span of eigenvectors and generalized eigenvectors. It is known that the operator G given by (4) has a complete span of eigenvectors and generalized eigenvectors if and only if the asymptotic behaviour of

displaymath4126

where n denotes the dimension of the system (the size of the matrix function tex2html_wrap_inline3992 ). Furthermore equation (3) has nontrivial small solutions if and only if the corresponding operator G does not have a complete span of eigenvectors (see [2] and [6]).


next up previous contents
Next: Completeness problems Up: Nonselfadjoint Problems Previous: Infinite dimensional state space

J.H.M.Dassen
Fri Mar 20 16:01:06 MET 1998