In case G is a nonpositive selfadjoint operator on a Hilbert space H, the solution of
can be written down in terms of the spectral resolution of G as the integral
The asymptotic behaviour of this integral is like , where denotes the infimum of those values of for which . 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 . 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 . In fact such small solutions can exist for functional differential equations. For example, the system
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 in C with is called a Jordan chain of G at if
Note that is an eigenvector of G, the vectors are called generalized eigenvectors at . A Jordan chain of G gives rise to a special solution of (3). If is a Jordan chain of G at , then
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
where n denotes the dimension of the system (the size of the matrix function ). 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]).