The 2×2 Hurwitz matrices form a path-connected set
Statement
A matrix is *Hurwitz* if both its eigenvalues have negative real part. Identify with and write , with , for (so and ).
- Show that is Hurwitz iff and , i.e. iff and .
- Show that the set of Hurwitz matrices is path connected.
Hint
For part 1 distinguish real and complex roots of . For part 2, move to along and look at how the eigenvalues move.
Show solutionHide solution
Solution
Idea. The Hurwitz condition is open and invariant under "shrinking towards the stable point ": has eigenvalues .
Part 1. Let , ; the eigenvalues are the roots of , with , .
- *Non-real roots.* They are with and . Then both have negative real part iff (and holds automatically).
- *Real roots.* Both are negative iff their sum is negative and their product is positive: and . (If the product is positive they have the same sign, and then the sum decides the sign.)
In both cases: Hurwitz and . Finally and , so the condition reads and .
Part 2. Let with eigenvalues (). For let . It depends continuously on , , . The eigenvalues of are (if then , and the characteristic polynomial of has these two roots with multiplicity). Their real parts are
since and , and they cannot both vanish (at the first term is negative, for the second is). So for all : every Hurwitz matrix is joined to by a path in . Hence is path connected.
Check. : , , eigenvalues . At : with eigenvalues , still Hurwitz.
Remark. In the coordinates, and is the part where . Writing with , , which is contractible. Note that the trace-determinant description is special to ; in higher dimensions Hurwitz stability needs the Routh-Hurwitz conditions.
Lesson. To prove that a set defined by the eigenvalues is path connected, find a homotopy that moves the eigenvalues in a controlled way (here an affine map ).