0% found this document useful (0 votes)
13 views14 pages

Understanding Autonomous Differential Equations

Autonomous differential equations are those without explicit time dependence, represented in scalar form as y' = f(y). These equations can be solved through direct integration, and non-autonomous equations can be transformed into autonomous systems. The document discusses the existence and uniqueness of solutions, slope fields, flow fields, and the behavior of critical points in the context of autonomous systems.

Uploaded by

mojoquantico
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
13 views14 pages

Understanding Autonomous Differential Equations

Autonomous differential equations are those without explicit time dependence, represented in scalar form as y' = f(y). These equations can be solved through direct integration, and non-autonomous equations can be transformed into autonomous systems. The document discusses the existence and uniqueness of solutions, slope fields, flow fields, and the behavior of critical points in the context of autonomous systems.

Uploaded by

mojoquantico
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

3.

Autonomous Equations

When y! has no explicit t-dependence, a differential equation is said to be autonomous.

A scalar autonomous differential equation has the form

y! = f (y) (3.1)

and an autonomous system has the form

y! = f(y) (3.2)

Scalar autonomous equations are a simple form of separable equations and can be solved

by direct integration. The distinction between autonomous and non-autonomous systems

is not limiting because any non-autonomous equation y! = f (t, y) can be converted into

an autonomous system

y1! = F(y1, y2 )
(3.3)
y2! = 1

where y1 = y , y2 = t (because y2! = 1 ) and F(y1, y2 ) = f (y2 , y1 ) . Furthermore, any n-

dimensional non-autonomous system can be converted to an n+1-dimensional

autonomous system by adding a new variable yn+1 = t,!! yn+1


! = 1 . However, it is worth

looking at autonomous scalar equations separately because they can help us understand

some general properties of differential equations.

THEOREM. Suppose that f (y) is bounded, continuous, and differentiable, and that

df / dy is bounded in a rectangle R surrounding (t 0 , y0 ) . Then the initial value problem

y! = f (y),!y(t 0 ) = y0 (3.4)

© 2005 BE Shapiro Page 3.1


has a unique solution y = ! (t) in some neighborhood of (t 0 , y0 ) given by

y 1
t ! t0 = " y0 f (w)
dw (3.5)

Proof. Existence and uniqueness follow from theorem 1.1. To verify (3.5) observe that at

t = t 0 , y(t 0 ) = y0 so both sides of the equation are equal to zero at the initial condition.

To verify that the differential equation is satisfied by (3.5) we differentiate both sides

with respect to t

d d y 1 # d y 1 & dy 1 dy
1=
dt
(t ! t 0 ) =
dt " y0 f (w)
dw = % " dw ( =
$ dy y0 f (w) ' dt f (y) dt
(3.6)

Here we have applied the chain rule (next to the last expression) and the fundamental

theorem of calculus (last expression). Multiplying through by f (t) gives the original

differential equation. 

Example 1. Solve y! = 1 / "# e y + cos y $% ,!!y(0) = 0 .

Let R = [!a, a] " [!b,b] where 0 < b < ! / 2 and a > 0 . We have

df (y) e y ! sin y
= (3.7)
( )
2
dy e y + cos y

so that it is possible for the derivative to "blow up" when e y = ! cos y , which occurs at

infinitely many negative y locations (see figure 1).

© 2005 BE Shapiro Page 3.2


Figure 1. Plot of e y + cos y as a function of y. The expression has an infinite number of
zeroes, the largest one of which occurs at approximately y = !1.74614 . At these zeroes,
the right hand side of equation (3.7) becomes unbounded and theorem 1 does not
guarantee uniqueness. The dashed box outlines the limits of the function on
[!" / 2, " / 2] .

Thus so long as b is sufficiently small (say b < ! / 2 ) then

e y + cos y > e!b + cosb > e!b > e! " /2

and hence the derivative is bounded by (e! /2 " 1) / e" ! /2 so a solution exists on some

neighborhood of (t 0 , y0 ) = (0, 0) in R. We can find that solution

df (y) e y ! sin y e# /2 + 1
= " (3.8)
( ) e! #
2
dy e y + cos y

and hence the derivative is bounded, so there is a unique solution. From formula (3.5) the

solution is given by

y 1 y
t = t0 + ! dw = ! (cos w + ew )dy = sin y + e y " 1 (3.9)
y0 f (w) 0

© 2005 BE Shapiro Page 3.3


Figure 2. The one parameter family of solutions for y! = 1 / (e y + cos y) . The heavy
curve is the solution (3.9) that passes through the origin. Solutions do not exist for initial
conditions corresponding to the zeroes of the function plotted in Figure 1; these
correspond to the spots where the tangents to the solution curves are vertical. A typical
point is shown by the solid box. The dashed box gives a typical neighborhood where
solutions do exist – in this case, the box illustrated is [!3" / 4, 3" / 4] # [!3" / 8,3p" / 8] .

The one parameter family of solutions is illustrated in figure 2. As predicted, we see that

the solution curves have vertical tangents at locations corresponding to the zeroes of the

denominator in (3.7). Although the curves are defined at these points, they are not

functions in any open neighborhood. 

The slope field for scalar autonomous equations is particularly simple because it only

depends on y (see figure 3), and this gives us a third method for sketching the slope field

in addition to the two we have already talked about: brute force calculation, and the

© 2005 BE Shapiro Page 3.4


method of isoclines. The new method is based on an examination of the right hand side of

the differential equation (figure 3, right).

Figure 3. The slope field of an autonomous differential equation only depends on y, as


illustrated by the differential equation from example 1, y! = 1 / (e y + cos y) (left). A plot
of the right-hand side of the differential equation (as a function of y) is shown on the
right. The regions A, B, and C are discussed in the text.

Look at figure 3. It is possible to derive a sketch of the slope field on the left from the

plot of the f (y) on the right. The function f (y) gives the slope of the line segments in

the slope field. In region, which begins at y ! "# / 2 (actually somewhat more negative

than this, at y ! "1.74614 ) and increases to +! we see that f (y) > 0 ; the slope is

positive in this region. As y becomes large, f (y) ! 0 , which means dy / dt becomes

nearly horizontal. This is why the slope field near the top of plot on the left hand side of

figure 3 is composed of nearly horizontal line segments. Moving to the left in the plot of

f (y) corresponds to moving downward in sketch of the slope field. As we move to the

left, the value of f (y) increases, and hence the slope segments become steeper. We see

this in the figure on the left. Eventually, as we approach the asymptote separating region

C from region B, from the right, f (y) ! " and the line segments become vertical.

Crossing over to region b, we have f (y) ! "# but decreasing rapidly towards zero. As

© 2005 BE Shapiro Page 3.5


we move downward in the slope field, the slopes turn negative, because f (y) < 0 and

become less and less steep, until we are halfway through region B. In the center of

region B, f (y) starts to decrease again the slope curves become more and more nearly

vertical. When we cross into region C the slope jumps to +! and the slope crosses from

nearly vertical but negative to nearly vertical but positive. We continue to build the slope

field by moving downward along the slope sketch and leftward along the plot of f (y).

We can sketch a related diagram, the flow field to help us construct the slope field. The

flow field is a partition of the y-axis (remember, the y-axis is the horizontal axis is this

figures) into segments over which the function f(y) is either positive, zero, or negative.

First we draw dots on the y-axis that represent the points where f (y) = 0 , or where it

jumps between ±! . This points are called critical points; critical points where f (y) = 0

are sometimes called fixed points. We then draw arrows in each region between the dots.

If f (y) > 0 in the corresponding region, the arrow points to the right; if f (y) < 0 the

arrow points to the left. We can use this information to construct the slope field as

follows. When f (y) > 0 , then y! > 0 , y is an increasing function of t, and the

corresponding line segments of the slope field have positive slope. When f (y) < 0 , then

y! < 0 , y is a decreasing function of t, and the corresponding line segments of the slope

field have negative slope. When f (y) = 0 , the line segments are horizontal. The flow

field corresponding to the slope field of figure 3 is shown in figure 4.

Figure 4. The flow field for y! = 1 / (e y + cos y) . The letters correspond to the same
regions as in figure 3.

© 2005 BE Shapiro Page 3.6


Sometimes we add a second axis that we label y ! and then plot the function y ! = f (y) in

the (y, y! ) plane for reference, although we have not done this in figure 4.

Example 2. Sketch the flow of y! = sin y .

Since f (y) is defined for all real y, the only critical points are the fixed points. These

occur when y ! = 0 (figure 5) and indicate the values of y for which the derivative ( y! ) is

zero, and hence the slope field is horizontal:

sin y = 0 ! y = n" , n = 0,±1,±2,... (3.10)

Figure 5. Top: The open circles identify the fixed points of y! = sin y . Middle: The
directions of flow in the intervals between the fixed points are indicated by arrows.
Bottom: labeling of fixed points as sinks (attractors or stable nodes) or sinks (repellers or
unstable nodes)

"3! "2! "! 0 ! 2! 3!

"3! "2! "! 0 ! 2! 3!

"3! "2! "! 0 ! 2! 3!

In most cases fixed points are places where the derivative changes signs (can you think of

an example of a fixed point where this is not true?). In fact, so long as f !(y) is

continuous, fixed points are the only points where the derivative can change sign. Thus if

we know the sign of the derivative at any point in an interval between a pair of adjacent

circles in the flow diagram then we know the sign of the derivative, and hence the

direction of the flow, in the entire interval. The next step is to label these intervals with

arrows indicating the direction of the flow. When y ! > 0 , the flow is to the right, and

© 2005 BE Shapiro Page 3.7


when y ! < 0 , the flow is to the left. It is not possible to have y! = 0 in-between the fixed

points. We indicate these flows by drawing the appropriate arrows on the flow diagram.

!3" < y < !2" # sin y < 0 # flow is to the left

!2" < y < !" # sin y > 0 # flow is to the right

!" < y < 0 # sin y < 0 # flow is to the left

0 < y < ! " sin y > 0 " flow is to the right

! < y < 2! " sin y < 0 " flow is to the left

Figure 6. The sources and sinks of the differential equation y! = sin y along with the flow
of the differential equation.

The directions of flow are indicated in the middle illustration in figure 5. Next we

observe that a particle that starts in any of these intervals will continue to move in the

same direction as the arrow as long as it remains in that interval. As it approaches the

end of the interval, it approaches one of the critical points. Since y ! = 0 at the critical

point, if the particle were to actually reach the critical point, it would have to stop. Thus

the particle can continue moving towards the critical point but it can never pass it. If the

arrows on both sides of a critical point are pointed towards the critical point, the critical

point is called an attractor or a sink. A sink is indicated by a solid circle (bottom of

figure 5). If the arrows on both sides of a critical point are pointed away from the critical

© 2005 BE Shapiro Page 3.8


point, the critical point is called a repeller or a source. A source is indicated by an empty

circle. The entire process of drawing the flow for the this differential equations is

summarized in a single plot in figure 6. 

In addition to sinks and sources, autonomous systems can have a third kind of fixed point

called a saddle point, that does not occur in y! = sin y . The arrow on one side of a saddle

point points toward the fixed point, and the arrow on other side points away from it.

Saddle points are indicated by half-filled circles.

Example 3. The differential equation y! = y 2 has a saddle point at y = 0 (figure 7). The

only fixed point is y = 0 , which divides the real axis into two regions. y! is positive on

both sides of the fixed points, with the flows pointing to the right. For y < 0 the fixed

point at looks like a sink, while for y > 0 it looks like a source. 

Figure 7. The ODE y! = y 2 only intersects the y-axis in one location, at y = 0 . The
derivative does not change sign, and the fixed point is a saddle point. The flows are
indicated on right.

The term "dyanamical systems" is sometimes used synonomously with "differential

equations." This is because it is intuitively helpful to think of an autonomous differential

equation as a description the motion, or dynamics of an object. This interpretation is

drawn from physics, but remains useful no matter what the application. The interpretation

is still valid for non-autonomous equations, of course, but there are other variables

besides time to consider as well in non-autonomous. In this interpretation, the right hand

© 2005 BE Shapiro Page 3.9


side of the differential equation y! = f (y) gives the velocity (speed) of an object as a

function of its position, and the solution of the initial value problem

{ y! = f (y),!y(t 0 ) = y0 } gives the position, or trajectory, of the object at any time t given

its initial position y(t 0 ) at time t = t 0 . The flow field is really a representation of the

velocity field – hence its name – which is derived from the flow of objects, such as water

molecules, and the slope field represents the allowed trajectories of the objects. Physicists

like to think of objects that have no spatial extent – thus the value of f (y) is the same for

all parts of the object. They call these objects particles, and we will use the terms

"particle" and "object" interchangeably. One should take care not to take the dynamical

systems analogy too far, however. It is tempting for a mathematical scientist to make the

following assumption: If a natural phenomenon, like the motion of a particle in a

gravitational field or the flow of blood through the heart, can be described by a set of

differential equations, then a solution must exist because the natural phenomenon itself

exists. The student should be able to locate the (mathematical) fallacy of this argument.

Nevertheless, we can pursue the dynamical systems analogy to derive a sketch of the

slope field, and hence the trajectories, of a differential equation from its flow diagram.

Example 4. Sketch the trajectories of the differential equation y! = sin t by interpreting

the flow diagram in figure 6.

We illustrate the procedure in figure 8. In figure 8a we have turned the flow diagram on

edge to place it parallel to the y-axis. If our particle is placed at any point in the flow

diagrams on the right of the figure, it must move in the direction indicated by the

corresponding arrow in the flow diagram. We first observe that we never cross a fixed

© 2005 BE Shapiro Page 3.10


point. Thus if y(t 0 ) = n! then y(t) = n! for all t; this is indicated by the horizontal lines

in figure 8b. The lines we have drawn – which correspond to the critical points of the

differential equation – divide the ty-plane into regions. Because a trajectory cannot cross

any of these lines we know that any trajectory that starts in one of these regions remains

in the region for all time.

Figure 8. Sketching the flows of y! = y 2 . See text for description.

(a) (b) (c)


3! y y
2!
!

t t
"!
"2!
"3!

(d) y (e)
y

t t

We next start by picking a point at random in each of the remaining horizontal regions.

Often it is easier to pick a point on the y-axis, but this is not always the case. Denote this

point by (t 0 , y0 ) . If f !(t 0 , y0 ) > 0 (indicated by an arrow pointing upwards in the flow

diagram) we draw a short line segment with an increasing slope through the point. If

f !(x 0 , y 0 ) < 0 , we draw the line segment with a decreasing slope (figure 8c). The

magnitude of the slope is given by f (t, y) = sin y , which is largest exactly half-way

between the fixed points, at y = ! / 2 ± n! . (The student should verify this statement). At

© 2005 BE Shapiro Page 3.11


these points the slope is either 1 or –1 as illustrated in figure 7. We can also pick

additional points – observing that as we move closer to the critical points the magnitude

of the slope decreases towards zero – but if we move to the left or the right, the slope

which only depends on y, stays the same (figure 8d). It is easy to visualize where other

trajectories fit in now, essentially filling up the plane with trajectories for every possible

initial condition. 

Example 5. Verify our analysis of y ! = sin y by solving for the one-parameter family of

solutions analytically.

Writing the equation as dy / dt = sin y , separating variables, and integrating we obtain


y 1 y csc y ! cot y
t ! t0 = "y 0 sin w
dw = "y csc wdw = ln csc y0 ! cot y0
0
(3.11)

Since csc y ! cot y = (1 ! cos y) / sin y = tan(y / 2) this becomes


tan y / 2
t ! t 0 = ln (3.12)
tan y0 / 2
Solving for y,

y = 2 tan !1 "# et !t0 tan(y0 / 2) $% (3.13)

The student should convince herself that the trajectories are similar to those we plotted in

example 4, and that trajectories that do not start at a critical point are asymptotic to the

horizontal lines given by the fixed points. 

Example 6. Analyze the trajectories of the differential equation

y! = y 2 " a 2 (3.14)

where a > 0 .

We begin by constructing the flow diagram in figure 9. Fixed points occur at y = ±a . If

© 2005 BE Shapiro Page 3.12


!a < t < a the flow is to the left; otherwise the flow is to the right. The fixed point at

y = !a is stable, and the fixed point at y = a is unstable (compare with figure 7).

Once we have the flow diagram, we can begin to sketch the trajectories in figure 10. The

fixed points are represented by horizontal lines. If either y > a or y < !a the slope is

positive. The most negative value f (y) is at the bottom of parabola and occurs at y = 0 ;

hence the most steeply decreasing slope occurs at y = 0 , and has a value of !a 2 . As we

move away from y = 0 we approach a critical point and the slope levels off towards zero

asymptotically. On the other sides of the asymptotes the slopes are positive, and

increase as we move away. The overall plot is shown in figure 9. 

Figure 9. Sketch of the one-parameter family of solutions to y! = x 2 " a 2

In examples 4 and 6 we solved very similar equations and found very different behaviors:

© 2005 BE Shapiro Page 3.13


for y! = y 2 there is one fixed point, which was a saddle point; for y! = y " a 2 there are

two fixed points, one of which was a sink and one was an attractor. We can consider

these two different equations special cases of the more general differential equation

y! = y 2 " C (3.15)

where C can take on any real value. We observe the following properties of the parameter

1/2 1/2
C: when C < 0 there are two fixed points, a source at y = C and a sink at y = ! C ;

when C = 0 there is one fixed point (a saddle point); and when C > 0 there are no fixed

points. When C passes through zero a fundamental change in the properties of the

differential equation occurs, and the topology of the flows changes along with it. This

change is called a bifurcation.

Figure 10. Bifurcation diagram for the differential equation y! = y 2 " C .

Bifurcations are one of the central topics of the theory of dynamical systems and can be

described by the bifurcation diagram (figure 10), which plots the value of the fixed

points as a function of the bifurcation parameter C. A source is indicated by a dashed

curve, and a sink by a solid curve in the bifurcation diagram.

© 2005 BE Shapiro Page 3.14

You might also like