STABLE PERTURBATIONS OF NONSYMMETRIC MATRICES

A complex matrix is said to be stable if all its eigenvalues have negative real part. Let J be a Jordan block with zeros on the diagonal and ones on the superdiagonal, and consider analytic matrix perturbations of the form A(epsilon) = J + epsilon-B + O(epsilon-2), where epsilon is real and positive. A necessary condition on B for the stability of A(epsilon) on an interval (0, epsilon-0), and a sufficient condition on B for the existence of such a family A(epsilon), is (i) Re trB less-than-or-equal-to 0; (ii) the sum of the elements on the first subdiagonal of B has nonpositive real part and zero imaginary part; (iii) the sum of the elements on each of the other subdiagonals of B is zero. This result is extended to matrices with any number of nonderogatory eigenvalues on the imaginary axis, and to a stability definition based on the spectral radius. A generalized necessary condition, though not a sufficient condition, applies to arbitrary Jordan structures. The proof of our results uses two important techniques: the Puiseux-Newton diagram and the Arnold normal form. In the nonderogatory case our main results were obtained by Levantovskii in 1980 using a different proof. Practical implications are discussed.