Equilibria of an ODE system

This is a homework that I should have done long ago, but unfortunately nobody assigned it to me. The previous post concerned a particular ODE system of Newtonian dynamics: force depends on position only, but is not necessarily conservative. In a formula, \ddot x=F(x), where x is a vector-valued function of time t. (In this post I stop drawing arrows over vectors.) It is natural to rewrite this as a 1st order system. The new system as a 2n\times 2n Jacobian matrix of special form:

\displaystyle J=\begin{pmatrix}0 & I \\ B & 0\end{pmatrix}

where B consists of the partial derivatives of F. When the force F is conservative, the matrix B is symmetric, and consequently J is a Hamiltonian matrix. However, in general J is not Hamiltonian, and I don’t know if such block matrices have a name at all.

What’s in a name? It’s the eigenvalues we are after. The first thing to observe is: \lambda is an eigenvalue of J if and only if \lambda^2 is an eigenvalue of B. Indeed, suppose that \begin{pmatrix} u \\ v\end{pmatrix}\in\mathbb R^{2n} is an eigenvector for J. Here u and v are n-dimensional vectors: it is natural to write vectors in such block form when dealing with block matrices. Performing block-by-block multiplication in the equation

\begin{pmatrix}0 & I \\ B & 0\end{pmatrix} \begin{pmatrix} u \\ v\end{pmatrix}= \lambda\begin{pmatrix} u \\ v\end{pmatrix}

we obtain \begin{pmatrix}v \\ Bu\end{pmatrix} = \lambda\begin{pmatrix} u \\ v\end{pmatrix} . Thus, v=\lambda u and Bu=\lambda v; put this together to get Bu=\lambda^2 u. All steps can be reversed: if \lambda^2 is an eigenvalue of B, then we can take u such that Bu=\lambda^2 u, let v=\lambda u, and thus construct an eigenvector for J.

We now understand enough to into divide the situation into two cases.
Case 1. The matrix B has an eigenvalue \lambda that does not belong to (-\infty,0].
Case 2. All eigenvalues of B are in (-\infty,0] (are nonpositive real numbers).

In Case 1 the matrix J has at least one eigenvalue with positive real part, namely one of two square roots of an eigenvalue \lambda \notin (-\infty, 0]. Hence, the corresponding equilibrium is unstable.
In Case 2 all eigenvalues of J have zero real part, and so the equilibrium is non-hyperbolic and we cannot determine its stability by looking at J.

This raises the question: how can we tell whether B has only nonpositive eigenvalues? Here is an easy necessary condition: the characteristic polynomial of B must have nonnegative coefficients. Indeed, \displaystyle p_B(t)=\det(tI-B) = \prod_{k=1}^{n}(t-\lambda_k) where -\lambda_k\ge 0 for all k. Multiplying out, we do not get negative numbers anywhere. This is a practical condition to check, since it does not require us solve the characteristic polynomial: we only look at its coefficients. However, it is not sufficient.

There is also a sufficient condition. Since changing the sign of a matrix flips the signs of all eigenvalues, we can just as well ask whether -B has only nonnegative eigenvalues. A sufficient condition is: all minors (submatrices) of -B have nonnegative determinant. Here is a longer explanation:

A matrix is totally positive if all of its minors have positive determinant. This involves minors of all sizes. For example, in a 3×3 matrix we would have to check that: each entry (1×1 minor) is positive; each of 9 2×2 minors has positive determinant, and the determinant of the whole matrix is positive. Quite a bit of work. The reward is great, however: all eigenvalues of a totally positive matrix are strictly positive. So there was (and still is) substantial interest in reducing the number of minors that need to be checked to verify that a given matrix is totally positive. Fomin’s minicourse on total positivity gives links to several resources on the subject of total positivity. Unfortunately the more accessible ones, such as Ando’s 1987 survey Totally positive matrices, are behind paywalls.

A matrix is totally nonnegative if all of its minors have nonnegative determinant. All eigenvalues of a totally nonnegative matrix are nonnegative. The sources of information are the same as for totally positive matrices.

Being totally nonnegative is a sufficient condition for having nonnegative eigenvalues, but of course not necessary: \begin{pmatrix} 2 & -1 \\ -1 & 2\end{pmatrix} has two positive eigenvalues, for example.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.