A compact form of the algebraic criterion for the delay-absolute stability of solutions of linear difference-differential equations (Q914037)

The autonomous linear differential equation with delays \[ (1)\quad \dot x(t)=A_ 0x(t)+A_ 1x(t-\tau_ 1)+...+A_ mx(t-\tau_ m) \] is considered where x is an n-dimensional vector, \(A_ i\) are \(n\times n\) matrices and \(\tau_ i\) are constant positive delays. The authors prove the following theorem. The zero solution of (1) is Lyapunov- asymptotically-stable for arbitrary \(\tau_ i>0\) if and only if 1) the matrix \(A_ 0\) is a Hurwitz matrix with a certain stability reserve \(\alpha\) and the matrix \(\sum^{m}_{i=0}A_ i\) is simply Hurwitz; 2) there exists a positive-definite solution \(X=X^ T>0\) of the Sylvester equation \(AX+XA^ T+\gamma_{\Sigma}X+\sum^{m}_{i=1}(1/\gamma_ i)A_ iXA^ T_ i=-Y,\) where \(\gamma_{\Sigma}=\Sigma \gamma_ i\), \(\gamma_ i>0\) is a collection of positive numbers such that \(\gamma_{\Sigma}<2\alpha\) and Y is an arbitrary positive-definite symmetric matrix. The theorem is then modified to the case that \(0<\tau_ 1<...<\tau_ m\).