3.3 Phase Planes for Linear Systems with Real Eigenvalues

October 21, 1998

Every linear system with non-zero real eigenvalues has an isolated stationary point at the origin.  Looking at the phase plane, just as we looked at the phase line for a single autonomous equation, we can classify the singularity as a sink, a source, or (new to higher dimensions) a saddle.  We'll start with the new type of singularity.

> with(linalg):
with(DEtools):

Warning, new definition for norm

Warning, new definition for trace

Warning, new definition for adjoint

Saddles

The isolated singularity is a saddle if one eigenvalue is positive and one is negative.

Example 1

Here is a simple example.  The coefficient matrix A is diagonal.

> A:=matrix(2,2,[[-2,0],[0,3]]);

A := matrix([[-2, 0], [0, 3]])

> phaseportrait({D(x)(t)=-2*x(t),D(y)(t)=3*y(t)},
[x(t),y(t)],

t=-.5..0.5,

[[x(0)=1,y(0)=1],[x(0)=1,y(0)=-1],

[x(0)=-1,y(0)=1],[x(0)=-1,y(0)=-1]]);

[Plot]

Example 2

Here the matrix is not diagonal.

> B:=matrix([[-41, -45], [36, 40]]);
eigenvalues(B);

eigenvectors(B);

B := matrix([[-41, -45], [36, 40]])

-5, 4

[-5, 1, {vector([(-5)/4, 1])}], [4, 1, {vector([1, -1])}]

> phaseportrait({D(x)(t)=-41*x(t)-45*y(t),D(y)(t)=36*x(t)+40*y(t)},
[x(t),y(t)],

t=-1..1,

[[x(0)=0.5,y(0)=0.5],[x(0)=1,y(0)=-0.9],

[x(0)=-1,y(0)=0.9],[x(0)=-0.5,y(0)=-0.5],

[x(0)=-1,y(0)=1],[x(0)=-5/4,y(0)=1],

[x(0)=1,y(0)=-1],[x(0)=5/4,y(0)=-1]],

x=-2..2,y=-2..2);

[Plot]

The outside curves look rather straight, but they are not.

> dsolve({D(x)(t)=-41*x(t)-45*y(t),D(y)(t)=36*x(t)+40*y(t),
x(0)=0.5,y(0)=0.5},{x(t),y(t)});

{y(t) = -4.000000000*exp(-5*t)+4.500000000*exp(4*t), x(t) = -4.500000000*exp(4*t)+5.000000000*exp(-5*t)}

This is not a straight line.  Let's find its slope dy/dx = dy/dt (dx/dt)^(-1) .

> slope:=simplify(diff(-4.000000000*exp(-5*t)+4.500000000*exp(4*t),t)/
diff(-4.500000000*exp(4*t)+5.000000000*exp(-5*t),t));

slope := -2.*(10.*exp(-5.*t)+9.*exp(4.*t))/(18.*exp(4.*t)+25.*exp(-5.*t))

This is not a constant.

> plot(slope,t=-1..1);

[Plot]

Note that the slope doesn't change much, though.

Sinks

The isolated singularity is a sink if both eigenvalues are negative.

Example 1

Once again, we start with a diagonal example.

> C:=matrix(2,2,[[-1,0],[0,-3]]);

C := matrix([[-1, 0], [0, -3]])

> eigenvectors(C);

[-1, 1, {vector([1, 0])}], [-3, 1, {vector([0, 1])}]

> phaseportrait({D(x)(t)=-x(t),D(y)(t)=-3*y(t)},
[x(t),y(t)],

t=-.5..5,

[[x(0)=1,y(0)=1],[x(0)=1,y(0)=-1],

[x(0)=-1,y(0)=1],[x(0)=-1,y(0)=-1],

[x(0)=-0.5,y(0)=2],[x(0)=-0.5,y(0)=-2],

[x(0)=0.5,y(0)=2],[x(0)=0.5,y(0)=-2]]);

[Plot]

Notice that all solutions seem to approach the origin along the x -axis. Indeed, the general solution is as follows.

> dsolve({D(x)(t)=-x(t),D(y)(t)=-3*y(t)},
[x(t),y(t)]);

{x(t) = exp(-t)*_C2, y(t) = exp(-3*t)*_C1}

Thus as proc (t) options operator, arrow; infinity end proc , proc (x) options operator, arrow; 0 end proc and proc (y) options operator, arrow; 0 end proc , and the ratio y/x is given by

> simplify(C1*exp(-3*t)/(C2*exp(-t)));

C1*exp(-2*t)/C2

which goes to zero as proc (t) options operator, arrow; infinity end proc .
This is a general phenomenon.  The solutions will approach the origin along the line spanned by the eignevector whose eigenvalue has smaller magnitude.

Example 2

This is not a diagonal example, but the solutions still approach the origin along the line spanned by the eigenvector whose eigenvalue has smaller magnitude.

> E:=matrix(2,2,[[-1,1],[-2,-4]]);
eigenvectors(E);

E := matrix([[-1, 1], [-2, -4]])

[-3, 1, {vector([1, -2])}], [-2, 1, {vector([-1, 1])}]

> phaseportrait({D(x)(t)=-1*x(t)+1*y(t),D(y)(t)=-2*x(t)-4*y(t)},
[x(t),y(t)],

t=-1..5,

[[x(0)=0.5,y(0)=0.5],[x(0)=0,y(0)=-1],

[x(0)=0,y(0)=1],[x(0)=-0.5,y(0)=-0.5],

[x(0)=-1,y(0)=2],[x(0)=-1,y(0)=1],

[x(0)=1,y(0)=-2],[x(0)=1,y(0)=-1],

[x(0)=1,y(0)=-1.5],[x(0)=-1,y(0)=1.5]],

x=-2..2,y=-2..2,

stepsize=0.1);

[Plot]

Sources

The isolated singularity is a source if both eigenvalues are positive.
This is just like a sink except the arrows go the other direction. The pictures in the next two example should look very familiar if you have looked at the sink examples.

Example 1

Once again, we start with a diagonal example.

> F:=matrix(2,2,[[1,0],[0,3]]);

F := matrix([[1, 0], [0, 3]])

> eigenvectors(F);

[1, 1, {vector([1, 0])}], [3, 1, {vector([0, 1])}]

> phaseportrait({D(x)(t)=x(t),D(y)(t)=3*y(t)},
[x(t),y(t)],

t=-5..0.5,

[[x(0)=1,y(0)=1],[x(0)=1,y(0)=-1],

[x(0)=-1,y(0)=1],[x(0)=-1,y(0)=-1],

[x(0)=-0.5,y(0)=2],[x(0)=-0.5,y(0)=-2],

[x(0)=0.5,y(0)=2],[x(0)=0.5,y(0)=-2]]);

[Plot]

Notice that all solutions seem to leave the origin along the x -axis. Indeed, the general solution is as follows.

> dsolve({D(x)(t)=x(t),D(y)(t)=3*y(t)},
[x(t),y(t)]);

{y(t) = exp(3*t)*_C1, x(t) = exp(t)*_C2}

Thus as proc (t) options operator, arrow; -infinity end proc , proc (x) options operator, arrow; 0 end proc and proc (y) options operator, arrow; 0 end proc , and the ratio y/x is given by

> simplify(C1*exp(3*t)/(C2*exp(t)));

C1*exp(2*t)/C2

which goes to zero as proc (t) options operator, arrow; -infinity end proc .
This is a general phenomenon.  The solutions will leave the origin along the line spanned by the eignevector whose eigenvalue has smaller magnitude.

Example 2

This is not a diagonal example, but the solutions still leave the origin along the line spanned by the eigenvector whose eigenvalue has smaller magnitude.

> E:=matrix(2,2,[[1,-1],[2,4]]);
eigenvectors(E);

E := matrix([[1, -1], [2, 4]])

[2, 1, {vector([-1, 1])}], [3, 1, {vector([1, -2])}]

> phaseportrait({D(x)(t)=1*x(t)-1*y(t),D(y)(t)=2*x(t)+4*y(t)},
[x(t),y(t)],

t=-5..1,

[[x(0)=0.5,y(0)=0.5],[x(0)=0,y(0)=-1],

[x(0)=0,y(0)=1],[x(0)=-0.5,y(0)=-0.5],

[x(0)=-1,y(0)=2],[x(0)=-1,y(0)=1],

[x(0)=1,y(0)=-2],[x(0)=1,y(0)=-1],

[x(0)=1,y(0)=-1.5],[x(0)=-1,y(0)=1.5]],

x=-2..2,y=-2..2,

stepsize=0.1);

[Plot]

Stability

Suppose P = (x0, y0) is an isolated singularity of a system
dx/dt = f(x, y)
dy/dt = g(x, y)
.

We say that P is stable if any solution starting sufficiently close to P stays close to P , that is, more exactly,
for all
epsilon , 0 < epsilon , there is a delta , 0 < delta , such that for any Q with dist(P ,Q ) < delta , the solution Y(t) with initial value Y(0) = Q satisfies dist(Y(t) ,P ) < epsilon for all t , 0 < t .

We say that P is asymptotically stable if it is stable and any solution starting sufficiently close to P approaches P as proc (t) options operator, arrow; infinity end proc , that is, more exactly, there is a delta , 0 < delta , such that for any Q with dist(P ,Q ) < delta , the solution Y(t) with initial value Y(0) = Q satisfies proc (Y) options operator, arrow; P end proc as proc (t) options operator, arrow; infinity end proc .

Note that if P is asymptotically stable, it is stable.

We say that P is unstable if it is not stable.

Any sink is asymptotically stable.  Indeed, as we shall see, any system whose eigenvalues have negative real part has an asymptotically stable stationary point.

Both saddles and sources are unstable.  Indeed, if any eigenvalue has positive real part, P will be unstable.

The system

dx/dt = -y dy/dt = x
,

whose solutions are circles around the origin, provides an example of a system that is stable but not asymptotically stable.