To understand that the characteristic polynomial of a \(2 \times 2\) matrix can be written as
\begin{equation*}
\lambda^2 - T \lambda + D,
\end{equation*}
where \(T = \trace(A)\) and \(D = \det(A)\text{.}\) Furthermore, if a \(2 \times 2\) matrix \(A\) has eigenvalues \(\lambda_1\) and \(\lambda_2\text{,}\) then \(\trace(A)\) is \(\lambda_1 + \lambda_2\) and \(\det(A) = \lambda_1 \lambda_2\text{,}\) and the trace and determinant of a \(2 \times 2\) matrix are invariant under a change of coordinates.
To understand that the trace-determinant plane is determined by the graph of the parabola \(D= T^2/4\) on the \(TD\)-plane and that the trace-determinant plane can be used to determine the phase portrait of a linear system.
To understand that the trace-determinant plane is useful for studying bifurcations.
Suppose that we have two tanks, Tank \(A\) and Tank \(B\text{,}\) that both have a volume of \(V\) liters and are both filled with a brine solution. Suppose that pure water enters Tank \(A\) at a rate of \(r_{\text{in}}\) liters per minute, and a salt mixture enters Tank \(A\) from Tank \(B\) at a rate of \(r_B\) liters per minute. Brine also enters Tank \(B\) from Tank \(A\) at a rate of \(r_A\) liters per minute. Finally, brine is drained from Tank \(B\) at a rate of \(r_{\text{out}}\) so that the volume in each tank is constant (Figure 6.2.1).
two tanks containing a brine solution wiht a pipe flowing into the first tank and two pipes connecting the tanks and a pipe draining the second tank
Figure6.2.1.Mixing example with two tanks
If \(x(t)\) and \(y(t)\) are the amounts of salt in Tank \(A\) and Tank \(B\text{,}\) respectively, then our problem can be modeled with a linear system of two equations,
If we have initial conditions \(x(0) = x_0\) and \(y(0) = y_0\text{,}\) it is not too difficult to deduce that the amount of salt in each tank will approach zero as \(t \to \infty\text{,}\) and we will have a stable equilibrium solution at \((0, 0)\text{.}\) Determining the nature of the equilibrium solution is a more difficult question. For example, is it ever possible that the equilibrium solution is a spiral sink? One solution is provided by studying the trace-determinant plane.
Subsection6.2.1The Trace-Determinant Plane
The key to solving the system
\begin{equation*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}
=
\begin{pmatrix}
a & b \\
c & d
\end{pmatrix}
\begin{pmatrix}
x \\ y
\end{pmatrix}
=
A
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{equation*}
is determining the eigenvalues of \(A\text{.}\) To find these eigenvalues, we need to derive the characteristic polynomial of \(A\text{,}\)
\begin{equation*}
\det(A - \lambda I)
=
\det
\begin{pmatrix}
a - \lambda & b \\
c & d - \lambda
\end{pmatrix}
=
\lambda^2 - (a + d) \lambda + (ad - bc).
\end{equation*}
Of course, \(D = \det(A) = ad -bc\) is the determinant of \(A\text{.}\) The quantity \(T = a + d\) is the sum of the diagonal elements of the matrix \(A\text{.}\) We call this quantity the trace of \(A\) and write \(\trace(A)\text{.}\) Thus, we can rewrite the characteristic polynomial as
\begin{equation*}
\det(A - \lambda I) = \lambda^2 - T \lambda + D.
\end{equation*}
We can use the trace and determinant to establish the nature of a solution to a linear system.
Theorem6.2.2.
If a \(2 \times 2\) matrix \(A\) has eigenvalues \(\lambda_1\) and \(\lambda_2\text{,}\) then the trace of \(A\) is \(\lambda_1 + \lambda_2\) and \(\det(A) = \lambda_1 \lambda_2\text{.}\)
Proof.
The proof follows from a direct computation. Indeed, we can rewrite the characteristic polynomial as
\begin{equation*}
\det(A - \lambda I) = \lambda^2 - T \lambda + D.
\end{equation*}
Theorem 6.2.2 tells us that we can determine the determinant and trace of a \(2 \times 2\) matrix from its eigenvalues. Thus, we should be able to determine the phase portrait of a system \({\mathbf x}' = A {\mathbf x}\) by simply examining the trace and determinant of \(A\text{.}\) Since the eigenvalues of \(A\) are given by
we can immediately see that the expression \(T^2 - 4D\) determines the nature of the eigenvalues of \(A\text{.}\)
If \(T^2 - 4D > 0\text{,}\) we have two distinct real eigenvalues.
If \(T^2 - 4D \lt 0\text{,}\) we have two complex eigenvalues, and these eigenvalues are complex conjugates.
If \(T^2 - 4D = 0\text{,}\) we have repeated eigenvalues.
If \(T^2 - 4D = 0\) or equivalently if \(D = T^2/4\text{,}\) we have repeated eigenvalues. In fact, we can represent those systems with repeated eigenvalues by graphing the parabola \(D= T^2/4\) on the \(TD\)-plane or trace-determinant plane (Figure 6.2.3). Therefore, points on the parabola correspond to systems with repeated eigenvalues, points above the parabola (\(D \gt T^2/4\) or equivalently \(T^2 - 4D \lt 0\)) correspond to systems with complex eigenvalues, and points below the parabola (\(D \lt T^2/4\) or equivalently \(T^2 - 4D \gt 0\)) correspond to systems with real eigenvalues.
a plot of the trace-determinant plane with complex eigenvalues above the parabola and repeated eigenvalues on the parabola and real distinct eigenvalues below the parabola
Figure6.2.3.The trace-determinant plane
Theorem6.2.4.
The trace and determinant of a \(2 \times 2\) matrix are invariant under a change of coordinates. That is, \(\det(T^{-1} A T) = \det(A)\) and \(\trace(T^{-1} A T) = \trace(A)\) for any \(2 \times 2\) matrix \(A\) and any invertible \(2 \times 2\) matrix \(T\text{.}\)
Proof.
It is straightforward to verify that \(\det(AB) = \det(A) \det(B)\) and \(\det(T^{-1}) = 1/\det(T)\) for \(2 \times 2\) matrices \(A\) and \(B\text{.}\) Therefore,
A direct computation shows that \(\trace(AB) = \trace(BA)\text{.}\) Thus,
\begin{equation*}
\trace(T^{-1} A T) = \trace (T^{-1} T A ) = \trace(A).
\end{equation*}
Furthermore, the expression \(T^2 - 4D\) is not affected by a change of coordinates by Theorem 6.2.4. That is, we only need to consider systems \({\mathbf x}' = A {\mathbf x}\text{,}\) where \(A\) is one of the following matrices:
has eigenvalues \(\lambda = \alpha \pm i \beta\text{.}\) The general solution to this system is
\begin{equation*}
{\mathbf x}(t)
=
c_1
e^{\alpha t}
\begin{pmatrix}
\cos \beta t \\ - \sin \beta t
\end{pmatrix}
+
c_2 e^{\alpha t}
\begin{pmatrix}
\sin \beta t \\ \cos \beta t
\end{pmatrix}.
\end{equation*}
The \(e^{\alpha t}\) factor tells us that the solutions either spiral into the origin if \(\alpha \lt 0\text{,}\) spiral out to infinity if \(\alpha \gt 0\text{,}\) or stay in a closed orbit if \(\alpha = 0\text{.}\) The equilibrium points are spiral sinks and spiral sources, or centers, respectively.
If \(T^2 - 4D \lt 0\text{,}\) then we have a complex eigenvalues, and the type of equilibrium point depends on the real part of the eigenvalue. The sign of the real part is determined solely by \(T\text{.}\) If \(T \gt 0\) we have a source. If \(T \lt 0\text{,}\) we have a sink. If \(T = 0\text{,}\) we have a center. See Figure 6.2.5.
the trace-determinant plane with spiral sources above the parabola and to the right of the vertical axis and centers on the positive vertical axis and spiral sinks above the parabola and to the left of the vertical axis
Figure6.2.5.\(D \gt T^2/4\)
The situation for distinct real eigenvalues is a bit more complicated. Suppose that we have a system
Since we are considering the case \(T \gt 0\text{,}\) we have
\begin{equation*}
\sqrt{T^2 - 4D} \lt T
\end{equation*}
and the value of the second eigenvalue \((T - \sqrt{T^2 - 4D}\,)/2\) is postive. Therefore, any point in the first quadrant below the parabola corresponds to a system with two positive eigenvalues and must correspond to a nodal source.
One the other hand, suppose that \(T \lt 0\text{.}\) Then the eigenvalue \((T - \sqrt{T^2 - 4D}\,)/2\) is always negative, and we need to determine if other eigenvalue is positive or negative. If \(D \lt 0\text{,}\) then \(T^2 - 4D \gt T^2\) and \(\sqrt{T^2 - 4D} \gt T\text{.}\) Therefore, the other eigenvalue \((T - \sqrt{T^2 - 4D}\,)/2\) is positive, telling us that any point in the fourth quadrant must correspond to a saddle. If \(D \gt 0\text{,}\) then \(\sqrt{T^2 - 4D} \lt T\) and the second eigenvalue is negative. In this case, we will have a nodal sink. We summarize our findings in Figure 6.2.6.
the trace-determinant plane with spiral sources, sinks, and centers above the parabola, nodal sources below the parabola and above the positive horizontal axis and nodal sinks below the parabola and above the negative horizontal axis
Figure6.2.6.The trace-determinant plane for real and complex eigenvalues
For repeated eigenvalues, the analysis depends only on \(T\text{.}\) Since
\begin{equation*}
T^2 - 4D = 0,
\end{equation*}
the only eigenvalue is \(T/2\text{.}\) Thus, we have sources if \(T > 0\) and sinks if \(T \lt 0\) (Figure 6.2.7).
the trace-determinant plane with spiral sources, sinks, and centers above the parabola, nodal sources and nodal sinks below the parabola and above the horizontal axis and saddles below the horizontal axis
Figure6.2.7.\(D = T^2/4\)
Example6.2.8.
Let us return to the mixing problem that we proposed at the beginning of this section. The problem could be modeled by the system of equations
\begin{equation*}
A =
\begin{pmatrix} -r_A/V \amp + r_B/V \\
r_A / V \amp - r_A / V
\end{pmatrix}.
\end{equation*}
Computing the trace and determinant of the matrix yields \(T = - 2 r_A/V\) and \(D = (r_A^2 - r_A r_B)/V^2\text{,}\) where \(r_A\) and \(r_B\) are both positive. Certainly, \(T \lt 0\) and
we are below the parabola in the trace-determinant plane and know that our solution must be a nodal sink.
Subsection6.2.2Parameterized Families of Linear Systems
The trace-determinant plane is an example of a parameter plane. We can adjust the entries of a matrix \(A\) and, thus, change the value of the trace and the determinant.
Recall that a harmonic oscillator can be modeled by the second-order equation
\begin{equation*}
m \frac{d^2 x}{dt^2} + b \frac{dx}{dt} + k x = 0,
\end{equation*}
where \(m > 0\) is the mass, \(b \geq 0\) is the damping coefficient, and \(k \gt 0\) is the spring constant. If we rewrite this equation as a first-order system, we have
Thus, for the harmonic oscillator \(T = -b/m\) and \(D= k/m\text{.}\) If we use the trace-determinant plane to analyze the harmonic oscillator, we need only concern ourselves with the second quadrant (Figure Figure 6.2.9).
the trace-determinant plane for a harmonic oscillator
Figure6.2.9.A one-parameter family for a harmonic oscillator
If \((T, D) = (-b/m, k/m)\) lies above the parabola, we have an underdamped oscillator. If \((T, D) = (-b/m, k/m)\) lies below the parabola, we have an overdamped oscillator. If \((T, D) = (-b/m, k/m)\) lies on the parabola, we have a critically damped oscillator. If \(b = 0\text{,}\) we have an undamped oscillator.
Example6.2.10.
Now let us see what happens to our harmonic oscillator when we fix \(m = 1\) and \(k = 3\) and let the damping \(b\) vary between zero and infinity. We can rewrite our system as
Thus, \(T = -b\) and \(D = 3\text{.}\) We can see how the phase portrait varies with the parameter \(b\) in Figure Figure 6.2.11.
the trace-determinant plane for a harmonic oscillator with a horizontal line at three
Figure6.2.11.The trace-determinant plane for varying damping
The line \(D = 3\) in the trace-determinant plane crosses the repeated eigenvalue parabola, \(D = T^2/4\) if \(b^2 = 12\) or when \(b = 2 \sqrt{3}\text{.}\) If \(b = 0\text{,}\) we have purely imaginary eigenvalues. This is the undamped harmonic oscillator. If \(0 \lt b \lt 2 \sqrt{3}\text{,}\) the eigenvalues are complex with a nonzero real part—the underdamped case. If \(b = 2 \sqrt{3}\text{,}\) the eigenvalues are negative and repeated—the critically damped case. Finally, if \(b \gt 2 \sqrt{3}\text{,}\) we have the overdamped case. In this case, the eigenvalues are real, distinct, and negative. A bifurcation occurs at \(b = 2 \sqrt{3}\text{.}\)
Activity6.2.1.Harmonic Oscillator with a Varying Spring Constant.
Consider a harmonic oscillator modeled by the second-order equation
\begin{equation}
m \frac{d^2 x}{dt^2} + b \frac{dx}{dt} + k x = 0,\tag{6.2.1}
\end{equation}
where \(m = 2\) is the mass, \(b = 2\) is the damping coefficient, and \(k \gt 0\) is the spring constant.
(a)
Rewrite (6.2.1) as a system of first-order differential equations, \(d\mathbf x/dt = A \mathbf x\text{.}\)
(b)
Calculate the trace and determinant of \(A\text{.}\)
(c)
Sketch a line in the trace-determinant plane that parameterizes the family of equations \(d\mathbf x/dt = A \mathbf x\text{.}\)
(d)
For what values of \(k\) is the harmonic oscillator underdamped? Overdamped? For what value of \(k\) do we have a bifurcation?
Example6.2.12.
Consider the system
\begin{equation*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}
= A \mathbf x
= \begin{pmatrix}
-2 & a \\
-2 & 0
\end{pmatrix}
{\mathbf x}.
\end{equation*}
The trace of \(A\) is always \(T = -2\text{,}\) but \(D = \det(A) = 2a\text{.}\) We are on the parabola if
Thus, a bifurcation occurs at \(a = 1/2\text{.}\) If \(a \gt 1/2\text{,}\) we have a spiral sink. If \(a \lt 1/2\text{,}\) we have a sink with real eigenvalues. Further more, if \(a \lt 0\text{,}\) our sink becomes a saddle (Figure 6.2.13).
the trace-determinant plane with a vertical line at minus two
Figure6.2.13.A one-parameter family of linear systems
Activity6.2.2.Parameterized Families of Linear Systems.
Consider the parameterized system of linear differential equations \(d\mathbf x/dt = A \mathbf x\text{,}\) where
Find the trace, \(T\text{,}\) and determinant, \(D\text{,}\) of \(A\text{.}\)
(b)
Calculate \(T^2 = 4D\text{.}\)
(c)
For what values of \(\alpha\) and \(\beta\) is the origin a spiral sink of \(d\mathbf x/dt = A \mathbf x\text{?}\) A spiral source? A center?
(d)
For what values of \(\alpha\) and \(\beta\) is the origin a nodal sink of \(d\mathbf x/dt = A \mathbf x\text{?}\) A nodal source? A saddle?
(e)
Identify all of the regions in the \(\alpha\beta\)-plane where the system \(d\mathbf x/dt = A \mathbf x\) possesses a saddle, a sink, a spiral sink, and so on. Plot your results on the \(\alpha\beta\)-plane.
Example6.2.14.
Although the trace-determinant plane gives us a great deal of information about our system, we can not determine everything from this parameter plane. For example, the matrices
both have the same trace and determinant, but the solutions to \({\mathbf x}' = A {\mathbf x}\) wind around the origin in a clockwise direction while those of \({\mathbf x}' = B{\mathbf x}\) wind around in a counterclockwise direction.
Subsection6.2.3Important Lessons
The characteristic polynomial of a \(2 \times 2\) matrix can be written as
\begin{equation*}
\lambda^2 - T \lambda + D,
\end{equation*}
where \(T = \trace(A)\) and \(D = \det(A)\text{.}\)
If a \(2 \times 2\) matrix \(A\) has eigenvalues \(\lambda_1\) and \(\lambda_2\text{,}\) then \(\trace(A)\) is \(\lambda_1 + \lambda_2\) and \(\det(A) = \lambda_1 \lambda_2\text{.}\)
The trace and determinant of a \(2 \times 2\) matrix are invariant under a change of coordinates.
The trace-determinant plane is determined by the graph of the parabola \(D= T^2/4\) on the \(TD\)-plane. Points on the trace-determinant plane correspond to the trace and determinant of a linear system \({\mathbf x}' = A {\mathbf x}\text{.}\) Since the trace and the determinant of a matrix determine the eigenvalues of \(A\text{,}\) we can use the trace-determinant plane to parameterize the phase portraits of linear systems.
The trace-determinant plane is useful for studying bifurcations.
Reading Questions6.2.4Reading Questions
1.
What is the trace of a matrix?
2.
Explain what information the trace-determinant plane provides about a \(2 \times 2\) linear system.
Exercises6.2.5Exercises
Classifiying Equilibrium Points.
Classify the equilibrium points of the system \(\mathbf x' = A \mathbf x\) based on the position of \((T, D)\) in the trace-determinant plane in Exercise Group 6.2.5.1–8. Sketch the phase portrait.
Each of the following matrices in Exercise Group 6.2.5.9–14 describes a family of differential equations \(\mathbf x' = A \mathbf x\) that depends on the parameter \(\alpha\text{.}\) For each one-parameter family sketch the curve in the trace-determinant plane determined by \(\alpha\text{.}\) Identify any values of \(\alpha\) where the type of system changes. These values are bifurcation values of \(\alpha\text{.}\)
