Nonlinear Systems Cambridge Texts in Applied Mathematics Series Number 10 0521404894 9780521404891 Compress
Nonlinear Systems Cambridge Texts in Applied Mathematics Series Number 10 0521404894 9780521404891 Compress
hl (c)
AMBRIDGE TEXTS
IN APPLIED
MATHEMATICS
Nonlinear
Systems
P.G.DRAZIN
9 1 %S7
1/99 ^ ^
STRAND PRICE
$ 18503
Nonlinear systems
5676 54-
Cambridge texts in applied mathematics
Maximum and minimum principles: a unified approach with applications
M. J. SEWELL
Solitons: an introduction
P. G. DRAZIN AND R. S. JOHNSON
Perturbation methods
E. J. HINCH
Nonlinear systems
P. G. DRAZIN
Nonlinear systems
P. G. DRAZIN
Professor of Applied Mathematics
University of Bristol
Cambridge
UNIVERSITY PRESS
Published by the Press Syndicate of the University of Cambridge
The Pitt Building, Trumpington Street, Cambridge CB2 1RP
40 West 20th Street, New York NY 10011-4211, USA
10 Stamford Road, Oakleigh, Melbourne 3166, Australia
AO
To Susannah and Adam
• ’ .
Contents
Preface page xj
1 Introduction 1
1 Nonlinear systems, bifurcations and symmetry breaking 1
2 The origin of bifurcation theory 3
3 A turning point 6
4 A transcritical bifurcation 10
5 A pitchfork bifurcation 13
6 A Hopf bifurcation 19
7 Nonlinear oscillations of a conservative system 22
8 Difference equations 28
9 An experiment on statics 35
Further reading 37
Problems 38
3 Difference equations 68
1 The stability of fixed points 68
2 Periodic solutions and their stability 72
3 Attractors and volume 74
3.1 Attractors 74
3.2 Volume 80
4 The logistic equation 81
5 Numerical and computational methods 94
6 Some two-dimensional difference equations 96
7 Iterated maps of the complex plane 103
Further reading 109
Problems 109
viii Contents
8 Chaos 233
1 The Lorenz system 233
2 Duffing’s equation with negative stiffness 246
*3 The chaotic break-up of a homoclinic orbit: Mel’nikov’s method 251
4 Routes to chaos 261
5 Analy sis of time series 264
Further reading 277
Problems 277
Contents IX
I
Preface
xi
XU Preface
Bristol P. G. Drazin
Some minor improvements and corrections have been made in this impres¬
sion. In particular, I thank Dr A. A. Wheeler for help in improving Fig. 7.3.
Also some problems have been added. I take the opportunity to express my
thanks to the staff of Cambridge University Press, especially the copy-editor
Mrs Bowring, for the encouragement they have given to me and for the high
quality of their work on the book. To see the quality, look around.
Bristol PGD
• - !
'
. * '
1
Introduction
Begin: to have commenced is half the deed. Half yet remains: begin again on
this and you will finish all.
1
2 Introduction
Of these steady solutions only the stable ones, i.e. those which, when dis¬
turbed slightly at some instant, are little changed for ever afterwards, cor¬
respond to states which persist in practice, and so are usually the only ones
observable. It follows that a state may change abruptly not only if it ceases
to exist but also if it becomes unstable as a parameter changes slowly.
We shall also see that as a result of instability a small cause may have a
large effect in the sense that a small disturbance at a given instant may
grow and become significant such that after a long time the behaviour of
the system depends substantially on the nature of the disturbance, however
small the disturbance was. For example, a spherical pendulum with the
bob finely balanced directly above its point of suspension may be dest¬
abilized by a jog, even by a gentle breath on it; further, the direction and
timing of the ensuing motion of the pendulum depend strongly on the
very small disturbance of the unstable position of equilibrium. Lorenz de¬
scribed this in a metaphor in which the unstable prairie atmosphere might
be triggered by the flutter of the wings of a butterfly in a distant jungle, and
thereby a devastating tornado might arise; this is called the butterfly effect.
A bifurcation occurs where the solutions of a nonlinear system change
their qualitative character as a parameter changes. In particular, bifurca¬
tion theory is about how the number of steady solutions of a system
depends on parameters. The theory of bifurcation, therefore, concerns all
nonlinear systems and thence has a great variety of applications. A bifurca¬
tion, contradicting Linnaeus’s assertion that ‘Nature does not proceed by
jumps’, may confound intuition, so many applications of the theory are
important. We shall see how a bifurcation of a nonlinear system and the
onset of instability of a solution usually occur at the same critical value of
a parameter governing the system. Bifurcation may also occur at other
values of the parameter.
Bifurcation is often associated with what is called symmetry breaking.
For this, the system has some sort of symmetry, i.e. the nonlinear problem
is invariant under some group of transformations. The symmetry implies
that the set of all the solutions is invariant under the transformations, but
not that each solution is invariant. Symmetry is broken at bifurcation if all
solutions are symmetric when a parameter is greater (or less) than a critical
value but some are asymmetric when the parameter is less (or greater)
than that value. For example, when a circular pond dries out, the mud
at the bottom shrinks, and the pattern of the cracks of the mud which
develops does not have circular symmetry. The causes of pattern selection
are closely related to the bifurcations and the stability of the solutions of
the governing equations.
1.2 The origin of bifurcation theory 3
x2 — a — 0,
as an example. The roots ±^/a are real for a > 0 and are a complex conju-
4 Introduction
gate pair for a < 0. We may say that there is a change in the character of
the solutions at a = 0, where there is a repeated root x = 0. There is also
symmetry breaking in the sense that the quadratic equation is invariant
under complex conjugation, and that each solution is invariant under com¬
plex conjugation (i.e. is real) for a > 0 but no solution is invariant under
complex conjugation for a < 0. If we confine our attention to real solu¬
tions, then there are two for a > 0, one for a = 0 and none for a < 0. We
have sketched the parabola in the {a, x)-plane to illustrate the real solutions
in Fig. 1.1; this is an example of what is called a bifurcation diagram. The
horizontal axis gives the value of the parameter and the vertical axis gives
the variable to measure the solutions. We shall seen in §3 that this diagram
may be useful in describing the solutions of a closely related ordinary
differential equation.
Less-trivial examples arose naturally in the solution of problems of par¬
ticle dynamics. Thus bifurcations came to be considered in the seventeenth
century, although our point of view is rather different now. For one exam¬
ple (Andronow & Chaikin 1949, p. 75), the number and character of the
positions of equilibrium of a bead, constrained to move on a smooth circu¬
lar wire in a uniformly rotating vertical plane under the action of gravity,
depend on the rate of rotation, as is shown in Fig. 1.2 and in Q1.8.
It may, however, be said that the significance of bifurcations came to be
recognized first in the eighteenth century. Euler’s (1744) work on the equi¬
librium and buckling of an elastic column under a load and D’Alembert’s
work on the figures of equilibrium of a rotating mass of self-gravitating
fluid are the foundations of bifurcation theory.
1.2 The origin of bifurcation theory 5
mau>2s\nO
Fig. 1.2 The bead on the smooth wire has one position (at 9 = 0) of stable
equilibrium if a>2 < g/a and two (with equal and opposite angles 6 =
± arccos(g/aoj2)) if co2 > g/a.
The problem which D’Alembert worked on has been studied from the
seventeenth to the twentieth century. Consider a mass of a uniform incom¬
pressible fluid which has constant uniform rotation and is subject to its
own gravitational attraction. If the fluid is in dynamic equilibrium as a
balance between pressure, centrifugal force and self-gravitation, then what
is the figure of the body formed by the fluid? Answers to this question have
been used to model a star and a planetary system in formation. Newton,
Maclaurin, Jacobi, Liouville, Dirichlet, Dedekind, Riemann, Poincare,
Liapounov, Elie Cartan and many other great mathematicians and scien¬
tists have worked on the problem. It has stimulated a lot of enduring
mathematics, although the physical applications of the problem have
proved disappointing because important physical processes (such as the
relation between the pressure and density of the star, and the generation of
energy in the interior) were neglected in the model. When the rotation is
weak, the figure is an oblate spheroid, first calculated by Maclaurin. As the
rate of rotation increases beyond a critical value (which, by dimensional
analysis, may be seen to be proportional to the square-root of the product
of the gravitational constant and the density of the fluid) ellipsoidal figures
of equilibrium, first calculated by Jacobi, occur with three different semi¬
axes. Symmetry about the axis of rotation is thereby broken. Poincare
(1885a, p. 270) first used the French word bifurcation in its present sense.
He found that a sequence of pear-shaped figures of equilibrium branches off
6 Introduction
the sequence of Jacobi ellipsoids, just as the Jacobi ellipsoids branch off the
Maclaurin spheroids (see Fig. 1.3). Poincare also did a lot of work on
the general mathematical theory of bifurcation. Later Liapounov (1906)
worked on the problem, and was thereby led to develop a general method
of perturbation in bifurcation theory, now known as the Liapounov-
Schmidt method.
3 A turning point
In this section and the next four sections we treat the most important types
of bifurcation by describing the steady solutions of some simple ordinary
differential equations, their dependence on a parameter, and their stability.
Stability is defined formally in Chapter 5; for the present an intuitive
notion of stability will suffice. The notion and importance of stability were
recognized by Lagrange in the eighteenth century, but it is difficult to
summarize them more clearly than Clerk Maxwell did in a lecture in 1873
(cf. Campbell & Garnett 1882, p. 440):
When ... an infinitely small variation of the present state will alter only by a
small quantity the state at some future time, the condition of the system,
whether at rest or in motion, is said to be stable; but when an infinitely small
variation in the present state may bring about a finite difference in the state
of the system in a finite time, the condition of the system is said to be unsta¬
ble.
It is manifest that the existence of unstable conditions renders impossible
the prediction of future events, if our knowledge of the present state is only
approximate, and not accurate.
For our first example to consider in detail, we take the ordinary differ-
1.3 A turning point 7
ential equation,
X = ±Ja. (2)
Note that we seek only real solutions, so that there are two steady solu¬
tions for a > 0, one for a = 0, and none for a < 0. To examine the stability
of the solution x = X for a > 0, we rewrite equation (1) without approxi¬
mation as
dx'
— = ~(2X + x')x', (3)
dx'
— 2Xx’. (4)
df
This equation has the solution x'(f) = x’0est, where Xq is the given initial
value x'(0) of x' and the exponent is seen at once to be
s=-2X. (5)
It follows that if X = yja then x'{t) -*■ 0 as t -> oo for all x'0. Therefore all
small initial perturbations of the equilibrium point X = y]a remain small
for all time and the point is stable. We can similarly see that the point
8 Introduction
(6)
Fig. 1.4 A turning point: the bifurcation diagram for dx/dt — a — x2. The stable
solutions are denoted by a continuous curve and the unstable by a dashed
curve. The arrows indicate the directions of change of solutions with time.
we see that
It follows that
This gives the solution x(f) for all t ^ 0, or, if the solution becomes
singular, until the solution becomes singular, in terms of the given initial
value x0 of x. It follows that
may become infinite after a finite time t, the value of t at the singularity
depending on x0 as well as the parameter a which occurs in the differential
equation; such a movable singularity is characteristic of nonlinear equa¬
tions, in contrast to the fixed singularities of linear equations. Fig. 1.4
shows the limits more easily, but the formulae provide extra information
about the time that is required for x(t) to progress to its infinite limit.
4 A transcritical bifurcation
The logistic equation,
dn , 7
— = an - bn1, (1)
dt w
To examine the stability of the null solution, we linearize equation (1) and
find
dn
= an. (3)
dr
s = a. (4)
This at once gives the general solution
n
/\ /
'> ''
/ ' 0 a
\' 'f
Fig. 1.5 The bifurcation diagram of the linearized system dn/dt = an in the
(a, n)-plane. Note that the n-axis represents all the stable solutions n = n0 for
a = 0. Arrows indicate the directions of change of some solutions with time.
1 dn a
= b.
n2 dt n
i.e.
d(l/n) a
+ - b
dt n
(It can easily be verified that our conclusion (6) is true even if n = 0 and \/n
does not exist.) This is a linear equation in \ jn with elementary solution,
1 if a # 0
n(t)
rig1 + bt if a = 0
ann
if a # 0
bn0 + (a — bn0)e~
n{t) = < (6)
«o
if a = 0
1 + bn0t
Also
In {1 + a/{-bn0)} if a # 0, bn0 < min(0, a))
n(t) -*■ +oo as t
1 K~bn0) if a = 0, bn0 <0 J ’
(8)
the limit being -oo if b > 0 and +oo if b < 0. Note that, as in §3, the limits
are independent of the initial value n0 of n, although which limit is attained
does depend on n0, and that the solution may become infinite after a finite
time, the value of t at the singularity depending on n0 as well as the coeffi¬
cients a and b which occur in the differential equation.
In summary, we draw the bifurcation diagrams for the two cases b > 0
and b < 0 in Fig. 1.6. Again, the bifurcation diagrams give most of the
essential results easily and clearly. This type of bifurcation, characterized
by the intersection of two bifurcation curves, is called a transcritical bifur¬
cation. Examples of transcritical bifurcation occur for many types of non¬
linear system, not only for ordinary differential equations. Of course, the
case b = 0 is given in Fig. 1.5. Also, if the model were of the growth of
a population of n individuals, then we would impose the condition that
n ^ 0, and so only the upper halves of the bifurcation diagrams would be
relevant.
(a) (b)
Fig. 1.6 Transcritical bifurcations: the bifurcation diagrams of the system
dn/dt = an- bn2 in the (a, r+plane for (a)b> 0 and (b) b < 0.
1.5 A pitchfork bifurcation 13
You may have noticed that equation (1) has the same form as equation
(3.3), which is an exact transformation of equation (3.1). The parameters a
and b in equation (1) are the analogues of — 2yja and 1 respectively in
equation (3.3). However, we use a as the abscissa in each bifurcation dia¬
gram, and insist on the reality of the abscissa. Thus our taking the positive
square-root yja in §3 gives a turning point, whereas there is a transcritical
bifurcation in this section.
5 A pitchfork bifurcation
Landau (1944), investigating nonlinear stability of steady flow of a New¬
tonian fluid, postulated a model equation which is essentially
^ = ax - bx\ (1)
dr
and
dx
= ax, (4)
dr
i.e.
dx-2
+ 2ax~2 = 2b,
dr
fb ■ 2 at
+ I *o2-e if a # 0
x 2(r) = < a ",
x0 2 + 2 bt if a = 0
J
ax"
if a ^ 0
bxo + (a — bxo)e 2at
x2(r) = - (6)
xl
if a = 0
1 + Ibx^t
This gives x(r) = {x2(r)}1/2 sgnx0, where the sign function is defined by
sgnx = 1 if x > 0, sgnx = 0 if x = 0, and sgnx = -1 if x < 0. Now vari¬
ous cases arise for separate treatment.
The limit of x has the same sign as x0 but is otherwise independent of the
initial value x0 of x. It can be seen that the nonlinear term -bx3 of equa¬
tion (1) reduces the exponential growth of small unstable disturbances of
the null solution eventually, and leads to attainment by x(r) of the constant
value A or — A. This is called equilibration. The temporal development of x
is illustrated in Fig. 1.7. This case is an example of what is called bistability,
i.e. of the existence of two stable equilibrium points of the same system.
(ii) b > 0 and a < 0. In this case the nonlinear term in equation (1) rein¬
forces the exponential damping of the linearized system, albeit very weak¬
ly, and
In summary of cases (i) and (ii) for b > 0, we draw the bifurcation dia¬
gram of Fig. 1.8. There is a bifurcation at the origin, with a unique real
point x = 0 of equilibrium for a ^ 0 but three points of equilibrium for
a > 0. The null solution is stable if and only if a ^ 0, and the solutions
x = ± A are stable whenever they exist, i.e. for all a > 0. There is said to be
supercritical bifurcation in this case, because the bifurcated solutions arise
16 Introduction
as a increases above its critical value, zero, at which the null solution is
marginally stable.
(iii) b < 0 and a > 0. In this case the nonlinear term on the right-hand side
of equation (1) has the same sign as the linear one, and reinforces the
exponential growth of small disturbances of the null point. It can be seen
from equation (6) that the solution ‘blows up’ after a finite time, i.e.
(iv) b < 0 and a < 0. In this case the two terms on the right-hand side of
equation (1) have different signs and so may have zero sum. Therefore the
equilibrium points x — ±A exist, and they act as ‘thresholds’ so that if
— A < x0 < A then x(f) -> 0 as t -*• oo but if ±x0 > A then x(r) -*• +oo
respectively as t -*■ ( —2a)_1 ln{xo/(xo — A2)}. This is illustrated in Fig. 1.9.
In summary of cases (iii) and (iv) with b < 0, we draw the bifurcation dia¬
gram Fig. 1.10. There is a unique steady solution x = 0 if a ^ 0 but three
steady solutions x = 0, ± A if a < 0. The null solution is stable if and only
if a < 0, and the two solutions x — ±A are unstable whenever they exist,
i.e. for all a < 0. There is said to be subcritical bifurcation. There is also said
Fig. 1.9 A sketch of the development and equilibration of some solutions when
a, b < 0.
1.5 A pitchfork bifurcation 17
^ = 2 ay- 2 by2,
18 Introduction
^ = F(a,x), (8)
F(a,X) = 0. (9)
This determines the equilibrium points X for each value of a; there may be
no zero X of F, one zero or many zeros according to both F and the value
of a. It is informative to plot all the curves x = X(a) in the (a,x)-plane
as the bifurcation diagram. In considering the stability of an equilibrium
point X, the value of a is fixed, and so it is convenient to suppress a in the
analysis below. Suppose then that
% = FM (10)
- x'F'(X) + 0(x'2),
and neglect the very small terms of order x'2. Thus the linearized form of
equation (10) is
dx'
= (id
This has general solution
where s = F (2Q. It follows that if F'(X) < 0 then all small perturbations of
the equilibrium point decay monotonically ast->oo, and X is stable, and
also that if F’(X) > 0 then all small perturbations grow monotonically and
so X is unstable. The evolution of all solutions of equation (10) can be
traced globally by considering the signs of F(x).
The illustrations of a turning point, a transcritical bifurcation and a
pitchfork bifurcation in §§3-5 by use of first-order equations give the es-
1.6 A Hopf bifurcation 19
d2x
■jt = ax — bxJ
dr
has unsteady solutions which are rather different from those of equation
(1). But first we shall see in the next section that some bifurcations which
may occur for second- and higher-order systems do not occur for first-
order systems.
6 A Hopf bifurcation
For the next example we shall consider the system of ordinary differential
equations,
dx dv
_ = -y + (fl - x2 - y2)x, — = x + (a - x2 - y2)y, (1)
for all real a. The solution will introduce an important aspect of bifurca¬
tion: the branching of a time-periodic solution from a steady one.
First seek the equilibrium points and test their stability, as before. On
putting dx/dt = dy/dr = 0, it follows readily that the only steady solution
is the null solution,
x = 0, y = 0. (2)
dx
— = -y + ax, —
dr
,
dy = x -(- ay.
(3)
Ju = 5U (4)
J=
Therefore
20 Introduction
0 = det(J - si)
a —s —1
1 a — s
= (a — s)2 + 1.
Therefore
s = a ± i. (5)
Therefore there is linear stability if Re(s) < 0 for both eigenvalues, i.e. if
a < 0, and instability if a > 0.
This example has been chosen so that again it may be solved explicitly
in simple terms. If we use polar coordinates so that x = r cos 9, y = r sin 6
for r ^ 0, then x + iy = re'6 and so
d(rel9) dx . dy
dt dt + 1 dt
^ l 2 \ de , (7)
dr = r(a-r)’ dr1-
arl
2\a-2at
if a # 0
ro+(<*~ We
r2(t) = ^ (8)
r
ro2
if a = 0
1 + 2rlt
dz
= iz + (a - \z\2)z, (10)
dt
where z = x + iy (seealsoQl.il).
1.6 A Hopf bifurcation 21
Fig. 1.11 A Hopf bifurcation: sketches of phase portraits of the system (1) in the
(x,y)-plane. Arrows indicate the directions of some orbits as time increases,
(a) a 0. (b) a > 0.
Fig. 1.12 Sketch of the bifurcation diagram in the (a, x)-plane for the system (1).
The dotted curves x = ±Ja give the maximum and minimum of x(t) over a
period of the stable oscillation.
(«) (b)
(2)
(3)
This gives simple harmonic motion, and therefore stability, if f'(X) < 0,
but exponentially growing solutions in general, and therefore instability, if
f'(X) > 0. These results may be compared with those for the first-order
equations of the form dx/dt = /(x) in §§3-5. In each case the equilibrium
solutions X are the zeros of /. However, the solution x(t) approaches or
leaves X monotonically for a first-order equation according as f'{X) is
negative or positive respectively, whereas x(t) oscillates about or (in gener¬
al) leaves X according as f'(X) is negative or positive respectively. For the
second-order system (1) the point (X,0) is a centre in the phase plane of
(x, dx/dt) if f\X) < 0, and a saddle point if f'{X) > 0.
Equation (1) has the elementary integral
(4)
(5)
24 Introduction
dx
= ±{2f(xl)(x - xj}1/2 + 0(|x-X!|3/2) as x -+ x1;
where is the time when x = xl9 i.e. x(tj) = x1. Therefore x has a simple
minimum or maximum xx at tt according as /(x2) is positive or negative
respectively.
Next suppose that x approaches a double zero xx of F, so F(xx) =
F'(xj) = 0and/'(xi) = /’"(xj) / 0. Now equation (5) gives/'(x^ > Oand
respectively. Thus a solution may approach the limit Xj, the double zero of
F, in an infinite time. Note that in this case Xj is an unstable point of
equilibrium which may be approached, by a special solution, as time tends
to infinity (see in Example 1.2 how a simple pendulum may come to rest at
its unstable point of equilibrium directly above its point of suspension if its
initial velocity has a special relationship to its initial angle).
These ideas give the qualitative character of many solutions. Suppose,
for example, that F(x) > 0 for Xj < x < x2 and F has simple zeros Xj and
x2. Taking X! < x0 < x2 and x0 > 0, without loss of generality, we see that
x increases monotonically until it reaches x2. There it changes direction in
accord with equation (6), and then decreases monotonically until it reaches
Xj. Thereafter it changes direction at xx, increases monotonically, and
passes through x0. When it passes through x0 it will have the same value x0
of dx/dt as it did initially, so that the same motion will repeat itself, giving a
periodic solution. The period is
1.7 Nonlinear oscillations of a conservative system 25
T= dr
o
where the circle on the integral sign denotes that the integration is to be
taken ‘around’ the orbit for one period.
(8)
because dx/dt is positive (at the same point x) over one half of the period
and negative but with the same magnitude over the other half.
We can picture the solutions of the system (1) by regarding it as the
equation of motion of a particle of unit mass on a smooth plane wire with
equation z = V(x)/g, where z is the height, x is the distance along the wire,
and g is the acceleration due to gravity. This gives the energy equation (4),
shows that the equilibrium points where dF/dx = 0 are stable if F has a
minimum and unstable otherwise, and makes apparent the occurrence of
nonlinear oscillations about stable points. This is illustrated in Fig. 1.14 of
the graph of V(x) — E = — F(x); note that the motion is confined to values
of x where F ^ 0.
Note that the equations dx/dr = /(x) and d2x/dr2 = /(x) have the same
Fig. 1.14 Sketch of a graph of a ‘typical’ function V(x) — E for a given motion.
Motion may occur only where K(x) ^ E. Other motions for the same field may
occur for different values of E.
26 Introduction
jv2 + jx3 — ax = E,
gives the orbits in the phase plane of x and v = dx/dt, different orbits being
in general given by different values of E. If a > 0 then E = + §a^Ja at
the equilibrium points (± yja, 0) respectively, and (yja, 0) is a centre and
(- yja, 0) is a saddle point. The closed orbit through (— Ja, 0) is said to be a
separatrix, because it separates the closed orbits, which represent periodic
solutions, from unbounded orbits. Note also that the saddle point is con¬
nected with itself by the separatrix; for this reason the separatrix is an
example of what is called a homoclinic orbit. The separatrix has equation
r=2 P"__
J*. {2(£ + ax - jx3)}1/2’
where xt and x2 are the zeros of E + ax - ^x3 for -fa^/a < E < f a^Ja.
Note that T -* 00 as E ± %aja, the separatrix being a limit of periodic
orbits as the period tends to infinity. If a 0 then all the orbits are un¬
bounded and x(t) -*• -00 as t 00, except for the unstable point of equilib¬
rium at the origin when a = 0. The phase portraits for a > 0, a = 0 and
a < 0 are sketched in Fig. 1.15. □
1.7 Nonlinear oscillations of a conservative system 27
(c)
Fig. 1.15 Sketch of the phase portrait of d2x/dt2 = a x2 for (a) a > 0,
(b) a = 0, and (c) a < 0.
,d20
1-^2 =-g sine, (9)
where 9 is the angle the pendulum makes with the downward vertical, and
has energy equation
1/d 9
= g(cos 9 — cos a)/l, (10)
2\dt
plane.
28 Introduction
bouring saddle points. Now each closed orbit represents a periodic solu¬
tion. This gives a nonlinear oscillation of period
de
T= 2
a {2g(cos9 — cos a)//}1/2
d0
=4 mw
!0 {4(sin2^a — sin210)}1/2
f*72 2sinjucos^d^
= 4(1/0):1,2
|0 cos^0{4(sin2ja — sin2 ja sin2 f)}1/2 ’
= 4(//0)1/2K(sin2ia), (11)
where the complete elliptic integral of the first kind is defined as
'n/2
d<f>
K(m) = for 0 ^ m < 1. (12)
(1 — msin2 <f>)1/2
Therefore
rn/2
T = 4{l/g)1/2 I (1 -I- |sin2 jasin2(/> + 0(sin4^a)} d<f> asa->0
This gives the leading term in the correction to the period 2n(l/g)112 of
oscillations of small amplitude. Note that the period increases with ampli¬
tude, as we might have anticipated, because the pendulum moves more
slowly as it rises. □
8 Difference equations
To emphasize that there are nonlinear systems other than ordinary
differential equations, we shall next introduce nonlinear difference equa¬
tions. We shall see that they have bifurcations which are very similar to
those of ordinary differential equations, and that many concepts and
methods are useful in understanding both kinds and, indeed, other kinds
of nonlinear systems. Difference equations are mathematically interesting
1.8 Difference equations 29
and have many important applications. They also are, in many ways, more
elementary and fundamental than differential equations, involving a dis¬
crete independent variable rather than a continuous one; therefore they
perhaps deserve more attention than they usually get from instructors and
students, although the applications of differential equations are even more
important.
A difference equation, recurrence equation or iterated map is in general
of the form
where x„ e IRm and F: IRm x Z —► IRm. Thus difference equations are func¬
tional, sometimes algebraic, systems which correspond to differential equa¬
tions. We regard the integral variable n as corresponding to the indepen¬
dent real variable t of a differential equation, take x0 as a given initial value
of the dependent variable x„, and consider the behaviour of x„, especially
as n —> oo. We shall further study functions F which also depend on param¬
eters, and how the solutions {x„}, i.e. the sequences {x0, xl5...}, change
qualitatively with those parameters.
In fact a difference equation may arise from taking a finite-difference
approximation to a differential equation, or a differential equation may
arise as a continuum approximation to a discrete process. For example, if
x(t) satisfies the logistic differential equation,
— = ux - fix2, (2)
x„+1 - x„
= ax. bxl
where F(a, b, h, x) = x + h(ax — fix2). This little example illustrates the im¬
portant point that most computers are digital rather than analogue, deal¬
ing with discrete rather than continuous variables, and so it is the rule for a
differential equation to be ‘solved’ by first taking a difference equation
which approximates it and then solving the difference equation. In this way
we can compute the stable equilibrium points of a differential equation of
30 Introduction
the form
T,=m <4>
where xeIR and /: IR -*• 1R, by iterating the solutions of the difference
equation
Numerical analysts have studied the efficiency of this method and its con¬
vergence as the ‘time’ step h-* 0. The method may be easily generalized for
systems of ordinary differential equations with x e !Rm and f: [Rm -> IRm, and
for functions f which depend on t as well as x. Also other finite-difference
approximations to the differential equation may be used successfully.
Yet if we seek only equilibrium solutions of equation (4) then we need
seek only the zeros of/ which may be computed by use of any one of many
other difference equations. A well-known equation follows by the Newton-
Raphson method. For this we assume that/is continuously differentiable,
estimate xn as a zero X of / and construct an improved estimate xn+1
by approximating the curve with equation y = f(x) by its tangent y =
f(x„) + (* — xn)f (x„) at the point (x„,/(xn)). This gives the next approxi¬
mation to X as
dx
* - G(x)’ <7>
where G: IR3 -*• IR3. Note that this system is autonomous, i.e. G does not
depend on the independent variable t explicitly. Then we may take any
point x„ = (x„,yn,0) in the plane with equation z = 0, and define another
point xn+1 in the plane as follows. Set x(0) = xn, integrate the differential
system to find the orbit of x in the phase space, i.e. find the locus of x(t) in
(R for t > 0. Let xn+1 be the point where the orbit next crosses the plane
1.8 Difference equations 31
z = 0 in the same sense. Of course, the orbit may never cross the plane
again, so xn+1 may not exist. In this way we define a map F: !R2 R2 such
that xn+1 = F(x„). It is called the Poincare map or the first return map of the
plane z = 0 for the differential system (7), as illustrated in Fig. 1.17. We can
similarly define a return map for any non-planar smooth surface in R3. We
can also define return maps for a differential system of order higher than
three, for which the phase space has dimension higher than three. Return
maps are very useful as distillations of the complicated orbits in a higher¬
dimensional space, even though they are found by discarding much infor¬
mation about those orbits (Poincare 1882, p. 253).
and define the Poincare map P. R -> R as the map of successive intersec¬
tions of the orbit x(t) and the x-axis in the same sense. We solved the
system in §6, and so can see that if x(0) = (x„,0) then 9 — t if x„ > 0 and
9 = t + n if x„ < 0. Therefore the orbit cuts the x-axis in the same sense, i.e.
from below if x„ > 0, next when t = 2n. This gives
xn+1 = r(27i)sgn(x„)
= + (« - x2)e-4*a}]1/2
32 Introduction
This equation is often used with a > 1, b > 0 to model the growth of a
population whose nth generation has N„ individuals. The ideas of the mod¬
elling are similar to those for the logistic differential equation treated in §4.
It follows that if b = 0 then
i.e. then the population grows exponentially with n. The nonlinear term,
— bN2, however, represents the moderation of growth due, perhaps, to the
limitation of the food supply or the concomitant increase in the number of
predators. We can simplify the nonlinear equation (8) a little by trans¬
forming the dependent variable to x„ = bNJa, so that
*„+i = bNn+l/a
= b(aNn - bN2)/a
F(X) = X. (11)
Example 1.4: the fixed points of the logistic map. Consider the logistic
equation (10). It is associated with the logistic map F:RxR-»R such that
F(a,x) = ax(l — x). If x e [0,1] and a e [0,4] then 0 ^ F(a,x) ^ 1, so we
usually shall take 0 ^ x0 ^ 1 and 0 ^ a ^ 4, and confine our attention to
0 ^ x„ ^ 1. Now equation (10) has fixed points X such that
X = aX( 1 - X)
and therefore
X = 0, or (a - l)/a if a ^ 0. □ (13)
x'„ = xn- X.
x'n+l=F(X)x'n. (15)
Its solution is
Example 1.5: stability of the fixed points of the logistic map. For the
logistic map F(x) = ax( 1 — x), we find F'{X) = a( 1 — 2X). For the fixed
point X = 0 we find F'(X) = a and deduce that it is stable for — 1 < a < 1;
in fact (see Q1.32) it is also stable for a = 1. For X = (a — 1 )/a, we find
F'(A') = a{l — 2(a — l)/a} = 2 — a and deduce that it is stable for 1 <
a < 3; in fact it is also stable for a = 3 (see §3.4). □
X1 = aX2{ 1 - X2)
and
X2 = aXfl - Xfj
This gives the two fixed points (with X2 = 2ft), 0 and (a — 1 )/a, which we
have found in Example 1.4, and also two other real roots,
for a < -1 or a > 3. This solution of period two bifurcates from the fixed
point X = § at a = 3; this is an example of what is called a flip bifur-
1.9 An experiment on statics 35
Fig. 1.18 Some of the bifurcation diagram of the logistic difference equation
x„+i = ax„(l — x„). Stable fixed points are denoted by a continuous curve, un¬
stable fixed points by a dashed curve, stable two-cycles by a dotted curve, and
unstable two-cycles by a dot-dashed curve.
9 An experiment on statics
We shall next describe a simple experiment, which you may easily perform
yourself, and interpret it qualitatively in terms of bifurcations in order to
illustrate a general way of thinking about nonlinear systems. The experi¬
ment concerns elasticity, although we shall use only physical intuition for
our interpretation. Consider the experiment which is shown in Fig. 1.19. It
was proposed for the present purpose by Benjamin (cf. Iooss & Joseph
1990, §11.11). As the length / of the arch of wire increases, the strength of
gravity relative to the elastic forces will increase. Therefore, when / is small,
the upright symmetric position 6 = 0 of the arch of wire is stable. However,
as / exceeds some critical value, /c say, the arch will become unstable and
lean on one side or the other. Looking at the experiment, you may see that
the arch falls quite quickly to its new asymmetric position of equilibrium,
and that the new position cannot be made very close to the upright by
making / — lc sufficiently small. If the board and the wire have a con¬
figuration symmetric in ±6 then the side on which the arch leans will be
determined by the initial conditions. As / increases further, the arch will
36 Introduction
(«) V>)
Fig. 1.19 A sketch of the experiment, (a) Side elevation. (i>) Front elevation.
lean more steeply. For these lengths / the only stable positions of equilibri¬
um are the two in which the arch leans on one side or the other, with
equal but opposite angles ± 9. Further experiments will show that there is
hysteresis, in the sense that if l is decreased slowly from a value greater than
/c then the arch will remain in an asymmetric position when / is decreased
below /c. Finally, when / is decreased below another critical value, l0 say,
the arch will spring back to its original upright position 9 = 0. This verbal
description corresponds to the bifurcation diagram of Fig. 1.20(a). We may
plausibly regard it as a manifestation of an equation of motion of the form,
Fig. 1.20 (a) A sketch of the bifurcation diagram in the (/, 0)-plane for the ideal¬
ized symmetric experiment. The arrows denote a hysteresis loop. (b) A sketch of
the bifurcation diagram for a slightly asymmetric experiment.
Further reading 37
with steady solutions / = L(9) such that F(L{9),9) = 0 for -n <9 <n,
say (although this differential equation is a crude model).
The assumed symmetry of the experiment implies that F(l, -9) = F(l, 9)
for all 9, and therefore that the bifurcation curves l = L(9) in Fig. 1.20(a)
are symmetric about the /-axis. The symmetry breaking which occurs
where / = lc is associated with the subcritical pitchfork bifurcation there.
The two turning points at / = /0 are symmetrically placed. You may ob¬
serve, however, that in your experiment the wire is a little bent so that the
arch always leans on the same side, and so deduce that the configuration of
your apparatus is not exactly symmetric. We say that a system which is
only slightly asymmetric is imperfect, whereas the idealized symmetric
system is perfect. In practice, the experiment will be imperfect however
carefully the apparatus is built. So it is instructive and useful to consider
bifurcation diagrams for imperfect systems. A bifurcation diagram for the
imperfect system is suggested in Fig. 1.20(h); test it with your own experi¬
ment. You could improvise an experiment with a shoe-lace instead of the
wire and your hand instead of the board.
The simple examples of this chapter have been used to introduce several
important concepts and methods of bifurcation theory. In the following
chapters we shall develop the theory more systematically and in greater
detail, and also introduce some advanced concepts and methods. However,
the types of bifurcation we have already met will be seen to occur often in
a wide variety of mathematical problems which may represent a wider
variety of applications. They even occur for nonlinear partial differential
systems, in which the dependent variables belong to a function space of
infinite dimension. We shall see that the essential properties of many bifur¬
cations may be represented in a phase space of dimension as low as one
or two. It is for this reason that the simple bifurcations we have already
exemplified are so common and so useful. There are, however, important
bifurcations which must be represented in phase spaces of dimensions
higher than two, and these bifurcations require deeper understanding and
describe more complicated phenomena.
Further reading
§1.1 This book is an introduction to the theory of nonlinear systems from
the point of view of an applied mathematician. Pippard (1985) introduces
38 Introduction
the subject from the point of view of a physicist, and Devaney (1989) from
the point of view of a pure mathematician. In addition to these clear and
illustrative general texts we shall recommend papers and books as they are
needed, point by point and section by section. Devaney’s (VI989) video is a
vivid introduction to the mathematical theory of chaos.
The ‘butterfly effect’ was described by Lorenz in a lecture at Washing¬
ton DC in 1970 (but note also the remarkable story by Bradbury (1953)).
§1.2 For an extensive account of the figures of equilibrium of a rotating
mass of gravitating fluid and their stability, read Chandrasekhar (1969).
§1.3 Stability is formally defined in §5.1. We shall show more carefully in
Chapter 6 why the linearized system gives the stability of the solution of
the nonlinear second-order differential system except when the linearized
system is at the margin of stability. However, a rigorous proof for ordinary
differential systems of arbitrary order is given by, e.g., Coddington &
Levinson (1955, Chap. 13).
§1.6 We assume that the reader is familiar with the elements of the
theory of differential equations of second order, of the phase plane and of
the types of singularity at a point of equilibrium; these will be discussed
further in Chapter 6.
§1.8 For an introduction to the theory of linear difference equations, the
book by Bender & Orszag (1978) is recommended.
Problems
Q1.1 A transcritical bifurcation. Sketch the bifurcation diagram of the equation,
dx
— = x(a - c - abx).
for x(0) > 0, a, b > 0, b2 > 4ac, then x f X as t —► oo provided that x(0) is
sufficiently small, where X = a/b + 0(a2) as a 10 for fixed b, c.
[Drazin & Reid (1981, p. 458).]
Q1.3 Another transcritical bifurcation. Sketch the bifurcation diagram of the
equation,
dx
— = -x(x2 - 2bx - a),
Problems 39
in the (a, x)-plane for a given positive constant b, indicating which steady
solutions are stable.
Discuss the states of the system which could be observed in practice
when a oscillates very slowly between -2b2 and 2b2 if solutions with x < 0
are prohibited. [Assume that the system has ‘noise’, i.e. that small perturba¬
tions occur frequently.]
Q1.4 Slow passage through a transcritical bifurcation. Show that if
Deduce that if x0 > 0 and t0 = T0/Je < 0 then x(f) -♦ 0 as e j 0 for fixed t,
T0 < 0, and x(f) -> a as e [ 0 for fixed a > 0.
Discuss the behaviour of such a solution for which e is small, t0 is large
and negative, and x0 > 0, interpreting it as giving the stable quasi-static
solution x(t) = 0 for t <0 and x(f) = a for t > 0 with a time of order e_1/2 for
transition from the former to the latter.
[Note that when t < 0 the solution x(f) approaches so close to the quasi-
statically stable null solution that when t > 0 it takes a long time to leave
the quasi-statically unstable null solution and approach the quasi-statically
stable solution X = a. This would not occur in practice if there were noise in
the system. Lebovitz & Schaar (1975), Haberman (1979).]
Q1.5 The lemniscate. Sketch the bifurcation diagram of the equation,
dx
= 2(a2 — x2) — (a2 + x2)2,
di
in the (a, x)-plane, indicating which steady solutions are stable, and identi¬
fying two turning points and a transcritical bifurcation.
Q1.6 The folium of Descartes. Sketch the bifurcation diagram of the equation,
dx , ,
— = x + a — 3 ax,
at
in the (a, x)-plane, indicating which steady solutions are stable, and identi¬
fying a turning point and a pitchfork bifurcation.
Q1.7 The Landau equation: a cautionary example. Show that if
dx
— = a (a/66)1/2 sin{(6h/a)1/2x},
dt
a/b > 0 and x(0) > 0 is sufficiently small, then x(f) -> n(a/6b)1/2 as t -» oo.
Sketch the bifurcation diagram in the (a, x)-plane for fixed b > 0.
40 Introduction
d2e . n o
a—T = — gsmd + aar cos0sin0,
at
where the radius through the particle makes an angle 9 with the downward
vertical.
Find the number of the positions of equilibrium (i.e. steady solutions)
and their stability as the dimensionless parameter aa>2/g varies. Sketch the
bifurcation diagram in the plane of aa>2/g and 9.
[Andronow & Chaikin (1949, p. 75).]
Q1.9 Action of a spring on a particle on a circular wire. A particle of mass m is
constrained to move around a smooth circular wire of radius a fixed in a
vertical plane. The particle is acted on by gravity and is attached to one end
of a spring of natural length l(<2a) and stiffness constant k, the other being
fixed to the highest point of the circle. The equation of motion is given to be
d 29
= k(2acos^0 — /)sin j9 — mg sin 9,
where 9 is the angle between the downward vertical and the radius to the
particle.
(a) Find the number of the equilibrium points and their stability as k
varies. Sketch the bifurcation diagram in the (k, 0)-plane
(b) Re-examine the solution to the problem, regarding l/2a and ak/mg as
independent dimensionless parameters. Sketch the bifurcation dia¬
gram in the (//2a, 0)-plane (for fixed ka/mg > 0). Describe the bifurca¬
tion surface in the three-dimensional space of ak/mg, l/2a and 9.
Q1.10 The rotation of a weighted pulley. A light wheel of radius a has a uniform
semicircular rim of mass M, and may rotate freely in a vertical plane about a
horizontal axis through its centre. A light string passes around the wheel
and suspends a mass m. It is given that this system is governed by the
equation,
d29
(M - m)a2-^ = ag(m - 27r“lMsin0),
where 9 is the angle between the downward vertical and the diameter
through the centre of mass of the heavy rim.
Find the equilibrium points, and conditions for their existence and sta-
Problems 41
bility. Sketch the bifurcation diagram in the (k, 0)-plane, where k = m/M.
What happens to the wheel when k is large?
Ql.l 1 The complex Landau equation. Show that if
b\z\2z
d|z|2 d(phz)
= 2ar|z|2 - 26r|z|4, = a -, ~ ^I
dr dr
dx
= — y + x(l — x2 - y2)/(x2 + y2)1'2,
dr
then x(r) = cos(r + 0O), y(t) = sin(r + 90) represents a stable limit cycle.
[Nemytskii & Stepanov (1960, p. 24).]
Q1.13 A semistable limit cycle. Show that if
then x(r) = cos(r + 0O), y(r) = sin(r + 90) represents a semistable limit cycle,
i.e. it is a periodic solution which is stable on one side and unstable on the
other (and so is unstable).
[Nemytskii & Stepanov (1960, p. 25).]
Q1.14 An infinity of limit cycles. Show that if
where /is defined by /(r) = sin {l/(r2 - 1)} for r # ± 1 and /(± 1) = 0, then
limit cycles are given by x(r) = r;cos(r + 60), y(r) = r, sin(r + 90) for j = 0, 1,
..., where r0 = 1 and r7 = (1 + \/jn)112 for j = 1,2,.... Which are stable?
[Nemytskii & Stepanov (1960, p. 26).]
Q1.15 A Hopf bifurcation. Given that x — r cos 9, y = r sin 9 for r ^ 0, and
dx , dv
— = -y + x{l — f(x,y)/a], ~ = x + y{ 1 -f(x,y)/a}
Deduce that the null solution is stable if a < /(0,0) and unstable if
0 < /(0,0) < a. Show that if 0 < a < /(x, y) for all x, y then the solution x(r),
y(t) -» 0 as t -* oo for all initial conditions.
Verify that if f(x,y) = g(r) and a = g(r0) for some positive differentiable
function g and some positive constant r0 then there exist solutions of the
form
x(f) = r0 cos(f + 60), y(t) = r0 sin(t + 60).
Show that the orbit of these periodic solutions is stable if g'(r0) = 0 and
unstable if g'(r0) < 0.
Further, given that g(r) = 1 + 1/{1 + (r - l)2}, sketch the bifurcation
diagram in the first quadrant of the (a,r0)-plane, and sketch the phase
portraits in the (x, y)-plane for each of the qualitatively different cases which
arise.
Q1.16 A conservative system with periodic solutions. Show that if
d2x
dF + sgn*-°
then £(dx/df)2 + |x| = E for some constant E ^ 0. Sketch the phase portrait
in the (x, dx/df)-plane. Show that each orbit has period 4(2£)1/2 for E > 0.
[Note that, by definition, sgn x = 1 if x > 0, = 0 if x = 0, and = -1 if
x < 0.]
Q1.17 The oscillation of a nonlinear spring. Show that if
4K{ea2/(2-€a2)}
(1 - jea2)l/2 ’
where c is the speed of light and k a positive constant. Supposing that a is the
amplitude of an oscillation, so that x = + a where v = 0, deduce the mass-
energy integral in the form,
by assuming that u(x,t) — f(x — ct) for some constant c and function /.
Deduce that
if'2=P + W2 + Af+B
for each solution, where ip' = dip/ds. Sketch the phase portrait of the solu¬
tions in the (ip, ip' )-plane.
(b) Suppose, moreover, that the beam has length /, is clamped at one end,
so that ip = 0 at s = 0, and free at the other end, so that ip' = 0 at s = /.
Solving the linearized equation for small tp together with the boundary
conditions, show that to = (n + f)n/l is an eigenvalue for n = 0,1,_
Show that if ip increases monotonically from 0 to a (where a is a given
positive angle, not necessarily small) as s increases from 0 to /, then
,_ r d4
" Jo (1 — /c2sin2^)1/2’-
where k = sin \a. [Hint: substitute sin jip = k sin ^.] Deduce that
for orbits which go around the origin of the phase plane and for which
ip = a at s = l. Sketch the bifurcation diagram in the (to2, a)-plane, where
ip = a at s = / but ip need not be a monotonic function of s.
Q1.22 An equation transformable to a conservative system. Show that if
d2x
+ k(x) = /(*)
dt2
then
1 /dx\2
2m(x) ( dt ) + = £,
d2y
d? "
where y = ft (m(u))1/2 du, g(y) = (m(x))1/2/(x).
Q1.23 An elementary proof of a fixed-point theorem. Prove that if F: IR -»• IR is
continuous and there exists a closed interval I such that I <= F(I) then there
exists X e I such that F(X) = X.
[Hint: either use the intermediate-value theorem or sketch the graphs of
y — F(x) a°d y = x in the (x,y)-plane for x e I.]
Problems 45
M
\xn+x-X\^—\xn-X\2,
= a.
1 +
1 +
1 +
Q1.27 Another continued fraction. Given a > 0, seek to compute X = yja as fol¬
lows. Estimate r > 0 as a first approximation to yja and define 5 = a — r2 so
that X = r + 5/(r + X). Then iterate xn+1 = r 4- d/(r + x„) with x0 = r.
Find the fixed points of the difference equation and whether they are
stable.
Hence express y/a as a continued fraction.
Use the difference equation also to evaluate the square-root of 101 to six
significant figures.
Q1.28 Enhancement of stability of a fixed point. Define G: IR x R -♦ IR by
given the map F: IR -♦ IR. Show that, for a ^ 0, X is a fixed point of F if and
only if it is a fixed point of G. Find those values of a for which AT is a stable
fixed point of G when F is continuously differentiable.
In particular, take F(x) = 50 — cosh x. Show graphically that there is
a unique positive fixed point X of F, and numerically that 4 < X < 5. De¬
duce that X is an unstable fixed point of F, but a stable fixed point of G if
a = 0.02. [You are given that cosh 4 = 27.31, sinh4 = 27.29, cosh 5 = 74.21
and sinh 5 = 74.20.]
Define H over an interval where F' ^ 1 by
xB = i{l — (1 — 2x0)2"}.
Deduce that limB^ xB = \ if and only if 0 < x0 < 1.
[Bender & Orszag (1978), p. 53).]
Problems 47
Q1.34 The limit of the solution of a difference equation. Show that if xn # 2 and
1
xn + l for n = 0,1,...,
2-x„
then
1)jc0
n + l — nx0
and therefore x„ = 1.
[Putnam (1947).]
Q1.35 A linear difference equation. Suppose that
where real b, c ^ b2, x0 and x1 are given. To solve this problem, show that
*n+l ^Xn,
1 Introduction
We have met autonomous differential equations, i.e. equations which do
not involve the independent variable explicitly, of the form
% -FW- <»
where F: [Rm -> [Rm. Then the equilibrium points, sometimes called the criti¬
cal points, are the zeros X of F, i.e. the points X such that F(X) = 0. Like¬
wise we have met difference equations of the form
where G: !Rm -> !Rm, and sought fixed points X such that X = G(X). There¬
fore finding the fixed points of a difference equation is equivalent to finding
the equilibrium points of an ordinary differential system, on identifying
x ~ G(x) = F(x) for all x e lRm. Further, the bifurcations of the fixed points
of a difference equation, as a parameter changes, are equivalent to the
bifurcations of an ordinary differential system. Indeed, we have met a
transcritical bifurcation for a difference equation, and will soon meet turn¬
ing points and pitchfork bifurcations in examples of difference equations
with a parameter.
So we shall in this chapter seek the solutions x of nonlinear functional
equations of the form
F(a,x) = 0 (3)
48
2.2 Bifurcations in one dimension 49
F(a, x) = 0,
F(cio’X0) = 0. (1)
Then we may expand F as a Taylor series about this point in order to find
neighbouring solutions, provided that F is infinitely differentiable with
respect to a and x at (a0, Y0):
0 = F(a,Y) (2)
+ \(X-X0)2Fxx(a0,X0) + --
when we use equation (1) and denote evaluation of the partial derivatives
of F at (a0, X0) by the subscript zero. Therefore
provided that Fx0 / 0. This heuristic argument gives the equilibrium solu¬
tions near (a0,X0) in the (a, x)-plane, in fact the tangent to the curve at
{a0,X0) in the bifurcation diagram. It can be proved, by use of the implicit
function theorem, that the curve x = X(a) exists in a neighbourhood of
(a0, X0) if both F is continuously differentiable with respect to a and x in a
neighbourhood of (a0, AT0) and Fx0 * 0.
If Fx0 = 0 then equation (3) gives
0 = F(a,X)
Therefore
X = a -f- aX + jaX * + • • •
= a + a2 + 0(a3) asa-+0.
Ar(a)~-lna asajO.
0 = F(a,*)
+ i(2f-l)3 + ---.
2.2 Bifurcations in one dimension 51
Fig. 2.1 Sketch of the bifurcation diagram for F(a, x) = aex - x, i.e. of the curve
with equation aex = x in the (a, x)-plane.
Therefore
Therefore
Observe that Fx( 1/e, 1) = 0 and there is a turning point at A' — 1, a = 1/e in
the bifurcation diagram in the (a,x)-plane, as sketched in Fig. 2.1.
*Note that an expansion of the form X{a) = 1 + (a — l/e)X1 +
(a — l/e)2A"2 + • • • is invalid as a-* 1/e. However, we may expand
as e -*• 0, (6)
0 = aex - X
-\-eXx- •••
c
52 Classification of bifurcations
where a = 1/e — e2, in agreement with the solution found otherwise above.
□
When the first several terms of the Taylor series (3) vanish, the local
behaviour of the equilibrium curve near (a0,X0) is determined by the first
terms which do not vanish. The main special cases may be classified as
follows.
(i) A regular point (a0, X0) of the equilibrium curve is one for which Fx0 ^
0 or Fa0 / 0. Then the implicit function theorem shows that X(a) or a(A')
respectively exists and is continuously differentiable in a neighbourhood of
(a0, X0). For an example (see Fig. 2.2(a)), take
Fig. 2.2 Sketches of examples of typical kinds of bifurcation points, (a) A re¬
gular point: * - X0 + (a - a0) - (a - a0)3 = 0. (b) A regular turning point:
(x - X0) -(a- a0) = 0. (c) A transcritical bifurcation: (x - X0)2 - (a - a0)2
= 0. (d) A singular turning point: {(x - X0)2 - (a - a0)}(x - *„) = 0. (e) A
cusp: (x - X0)2 - (a - n0)3 = 0.
2.2 Bifurcations in one dimension 53
F(a,x) = x - X0 + a - a0 - (a - a0)3.
(ii) A regular turning point or simple turning point (a0, X0) of an equilibrium
curve is a regular point at which da/dX changes sign and Fa0 # 0. For
example (see Fig. 2.2(h)), take
Note that this is a special case of a regular point, that X(a) is a 2-1 function
for a > a0 but does not exist for a < a0, and that Fx0 = 0.
(iv) A double point is a singular point (a0,X0) through which pass two and
only two branches of the equilibrium curve with distinct tangents. This
requires F2x0 > Faa0Fxx0. Typically there is a transcritical bifurcation at a
double point. For example (see Fig. 2.2(c)), take
(v) A singular turning point is a double point at which da/dX changes sign
on one branch of the equilibrium curve with distinct tangents. We need
cubic terms in the Taylor expansion of F to distinguish this special case of a
double point. This gives a pitchfork bifurcation at (a0,X0). For example
(see Fig. 2.2(d)), take
This exhausts the essentially distinct cases in which at least one of the
second derivatives of F is non-zero at the equilibrium point (a0, A^). There
are, however, other cases of higher-order singularity.
Next consider cases / > 1 and m = 1. It can be seen, as for the case / = 1,
that, for well-behaved functions F:U‘x IR —»• IR, a bifurcation may arise
only at those values of a for which F has a multiple zero x, i.e. where
54 Classification of bifurcations
F( a, x) = 0 and Fx( a, x) = 0.
We can in principle eliminate x from these two equations to get a set, called
the bifurcation set, of values of a. So the bifurcation set is a subset of IR'. (It
is possible, with this informal definition, that there is a point of the bifurca¬
tion set at which there is no bifurcation; for example, if F(a, x) = (x — a)2
then a = 0, x = 0 is not a bifurcation point.)
Fig. 2.3 The cusp catastrophe, (a) The folded surface F{a,b,x) = 0 in the
(a, h,.v)-space and (b) the projection in the (a, h)-plane of its points with ‘vertical’
tangents, and with a cusp at (0,0).
2.3 Imperfections 55
set, where there are folds, and the tangent plane to the surface is vertical, i.e.
perpendicular to the (a, 6)-plane. Thus to find the bifurcation set, we solve
F = F' = 0, i.e.
for a, b. Therefore
i.e.
27 62 = 8a3.
3 Imperfections
In §1.9 we introduced an example of an imperfection. In general, we use
mathematical models with various idealizations, such as symmetry, steadi¬
ness, plane boundaries and unbounded domains, which are not found pre¬
cisely in the ‘real’ world they are designed to represent. So it is important
to consider the effect of small ‘irregularities’ on idealized models. An irreg¬
ularity may be important if it changes not only the quantitative character
of the solutions a little but also the qualitative character of the solutions.
If the qualitative character of the set of all the solutions of a system is
changed by an infinitesimal perturbation of the system (or, rather, at least
one infinitesimal perturbation of a specified class) then the system is said to
be structurally unstable (cf. Andronow & Pontryagin 1937, Andronow &
Chaikin 1949, p. 337). (This is in contrast to the usual concept of instability
which concerns the evolution in time of solutions of the same system but
infinitesimally different initial values.) The theory of imperfections treats
the change in the character of the set of solutions when an extra small
parameter is introduced into the system, and thereby assesses the limita¬
tions of the simplifications in a model of a natural phenomenon, as we did
in §1.9.
To substantiate these ideas, we may consider the one-dimensional evo¬
lution equation of the form
= F(a,x,S), (1)
where <5 is the extra small parameter in addition to the usual parameter a.
We call the system with <5 = 0 perfect and with small S # 0 imperfect. Then
56 Classification of bifurcations
F(a,x,S) = 0 (2)
Example 2.3: the structural stability of a turning point. Consider the perfect
system with
F(a, x, 0) = x2 — a.
Then the imperfect system may be expanded about the turning point (0,0)
of the perfect system by use of a Taylor series:
0 = F(a,x,S)
+ 0(S2,Sa2,Sx3) as a, x, <5-*0,
on collecting the terms in a way to show that the nose of the parabola in
the (a,x)-plane is preserved for small 3 and neglecting very small terms.
Therefore the bifurcation curve F(a,x,3) = 0 has the same qualitative be¬
haviour near (0,0) in the (a, x)-plane for small <5, although the turning point
is translated, rotated and magnified a little. Thus a turning point is struc¬
turally stable. The imperfection changes the position of almost all points of
the curve a little but does not change the topological character of the curve
locally. The perfect and imperfect systems both have a nose-shaped bifur¬
cation curve near (0,0) in the (a, x)-plane: ‘Nose is a nose is a nose is a nose’
as Gentnude Stein (1922) put it. □
F(a,x,S) = x2 - a2 + S.
(a) (b)
F{a,x,S) = x(x2 — a) + 3,
and consider solutions F(a,x,S) = 0. (Note that this is essentially the same
function F as in Example 2.2, but now we look at it from a different point of
view.) If 3 = 0 then there is a supercritical pitchfork bifurcation at (0,0) in
the (a, x)-plane. If, however, 3^0 then there are two separate branches of
the equilibrium curve in the (a, x)-plane, one with a turning point. Rather
than solve the cubic for x, it is easier to calculate a = x2 + 3/x as x varies
for fixed 3. See the curves in Fig. 2.5, noting that the symmetry in ±x for
3 = 0 is broken for 3 / 0. □
58 Classification of bifurcations
Fig. 2.6 An isola: sketches of the bifurcation diagrams for F(a,x,6) = 0 in the
(a,x)-plane, where F(a,x,6) = jx2 + ±a3 - a - § + 6. (a) 6 < 0. (b) 6 = 0
(c)0<6<Ud)6 = Ue)6>i
2.4 Bifurcations in higher dimensions 59
F(a, x) = 0, (1)
for F: R' x lRm -+ |Rm. If we know one solution (a0, X0) such that
for i — 1,2 where the suffix zero denotes evaluation at (a0, X0), i.e.
o = 7=1
X Maj ~ «/o) + k=l
X uxk - xk0) +
— A(a — a0) + J(X — X0) + • • •, (3)
~dF~ ~BF~
= F0 + (a - a0) + X + •••
_dci_ 0 _d\_
1
J =
-1
when a0 = 1, and that then J has eigenvalues 0,-2 belonging to the re¬
spective eigenvectors [1,1]T, [ — 1,1]T.
Next rewrite equation (5), without approximation, in the form
(T-sin Y) — (X — tanX)
JX (6)
-(a - 1)X + X2Y
This form is convenient because the small terms on the left-hand side are
linear in a — l, X, Y, but when a Taylor expansion is taken the very small
terms of quadratic or higher order in a - 1, X, Y are all on the right-hand
side.
We see that, to linear order, X may be any member of the null space of J,
i.e. X is an arbitrary multiple of the eigenvector [1,1]T with zero eigen¬
value. We anticipate that the nonlinear terms will determine what the small
multiple of the eigenvector X is as a -»• 1. Accordingly define
e = [l,l]X = X+ Y, (7)
and assume that we may expand
*!-*! = 0, x1 - y, = 0,
and
Xi + Yt = 1.
These equations have the unique solution Xx = j[l, 1]T, thereby confirm¬
ing the form of solution which we anticipated.
The coefficients of e2 give
^2 X2 = 0, X2 — Y2 = — UjXj = — 2ol,
and
x2 + y2 = 0.
Therefore a2 = 0 for the compatibility of the first two of these equations,
and we deduce that X2 = [0,0]T.
The coefficients of e3 give
and
X3 + Y3 = 0.
When the Jacobian matrix J is singular there are various forms of bifur¬
cation according to its co-rank as well as the higher terms in the Taylor
series. This is the subject of singularity theory, at one time called catastro¬
phe theory. We shall merely summarize it briefly here. The co-rank of J,
rather than its rank, describes the topological behaviour of the solutions as
a varies near a0, because many components of x may be ‘passive’, i.e. the
bifurcations may occur in a subspace of [Rm with dimension much less than
m. (Also the nullity of J is more easily generalizable in the case m = oo
when [Rm is replaced by an infinite-dimensional function space.) We seek to
retain only the ‘active’ components of x in identifying the essential topolog¬
ical character of the bifurcations, and these lie in the null space of J. Simi¬
larly we define the co-dimension to be the dimension of the subspace of [R( in
which a varies to give the essential character of a bifurcation. For example,
the turning point or fold of §1.3 has co-dimension one even though it may
be embedded in a space with more than one parameter (cf. Example 2.2).
We also seek to make smooth invertible transformations of the coordi¬
nates to reduce the bifurcations to simple canonical forms. Thus we are
interested in equivalence classes of bifurcations with the same topological
character.
Thom (1975) considered F = —grad V, i.e. F = — VV, for a potential
function F(a, x) and showed that a structurally stable bifurcation is topo¬
logically equivalent to one of a few canonical forms. On taking = 0 and
X0 = 0 without loss of generality, the forms are as listed in Table 2.1, it
being more compact to give the potential than all the components of F.
Some familiar bifurcations may be seen in this table. Transcritical and
pitchfork bifurcations do not appear in their own right because they are
not structurally stable. However, they do appear. A pitchfork bifurcation,
In this chapter we have examined the behaviour of fixed points, i.e. steady
solutions, as parameters vary. In the remainder of the book we shall exam¬
ine the behaviour of unsteady solutions. So, having studied statics, we shall
now go on to study dynamics.
Further reading
§2.2 Courant (1936, pp. 127-9) gives the elementary theory of singular
points on curves.
§2.3 Iooss & Joseph (1990) describe systematically the analytic theory,
including the theory of imperfections, with many examples and exercises.
§2.4 Thom (1975) describes the elementary bifurcations, emphasizing
geometrical aspects of the theory and their applications. Golubitsky &
Schaeffer (1985) is a valuable treatise on bifurcations.
Problems
Q2.1 A turning point. Consider the difference equation
show that all solutions are of the form y(x) = A sin nnx, where A is a con¬
stant and n a positive integer. Hence find all the solutions, and sketch the
bifurcation diagram in the (a, A)-plane.
[Griffel (1981,§11.6).]
Q2.4 Imperfect bifurcations. Sketch the curves F(a, x, (5) = 0 in the (a, x)-plane for
all ‘typical’ values of (5 in the cases
(i) F(a, x, S) = x(x - a) + S,
(ii) F(a,x,8) = x(a — x — x2) + 8,
(iii) F(a,x,8) = x2 + ax + a2 — 8.
Q2.5 The structural instability of a pitchfork bifurcation. Consider the roots of
F(a,x,8) = 0, where F is defined by F(a,x,8) = x3 4- <5x2 — ax. Show that
the pitchfork bifurcation at (0,0) in the (a, x)-plane for 8 = 0 becomes a
transcritical bifurcation for small <5, and that there is a turning point at
( —4<52, — 2<5)- Sketch the bifurcation curves in the (a,x)-plane for 8 > 0.
Q2.6 A model of bifurcation of some steady flows. Consider the bifurcation di¬
agrams of the equation F(l,b,c,x) = 0 in the (b, x)-plane for various values
of c, where F is defined by
where A(T) ~ a(T — Tc) as T -» Tc, B > 0, a > 0, and Tc is the transition
temperature of the substance. Equilibrium may occur at a stationary point
of <l> with respect to variations of rj, and is stable at a minimum of <t>.
Show that there is stable equilibrium with rj = 0 as T j 7"c and t] ~
{a(Tc - T)/2B{TC)}112 as Tc. Deduce plausibly that near transition the
entropy S = —(8<&/dT)p and the specific heat Cp = T(dS/dT)p are given ap¬
proximately by the forms
S0(T) C0(T)
S(T) — CAT) =
S0(T) - a2(Tc - T)/2B' C0(T) + a2T/2B
T>Tq
for
T< T
M = N^tanh(A^M//cBT),
m = tanh(m/f),
— = (a - |z|2)z + e.
Problems 67
where z is a complex function of the real variable t but a and e are real
constants. Expressing z = re'fl for non-negative modulus r and real phase 0,
show that
dr d0 esinfl
= (a — r2)r 4- ecosfl.
d; dt r
Investigate the steady solutions and their stability. Sketch the bifurcation
curves in the (a, r)-plane for fixed e > 0, e = 0 and e < 0.
[Note that at a turning point an eigenvalue in general has a real part
which changes sign, but that both branches of the bifurcation curve may
represent unstable solutions if another eigenvalue has positive real part at
the turning point.]
Q2.12 Generalized Newton-Raphson method. Given that f: IT -» [Rm is continu¬
ously differentiable, that its Jacobian matrix J(x) at x is invertible for all x,
and that X is a zero of f; show that a linear approximation to f near X gives
rise to the difference equation
68
3.1 The stability of fixed points 69
and define
Then
yn2
_*„+2_ _~2byn2 ~cynl_
say, where we define G by G([y1,y2]T) = [y2,-lby2 - cy^.a
Next note that we may consider autonomous systems, i.e. those that do
not depend explicitly on the independent variable n, without loss of gener¬
ality. To show this consider the system
x„+i = F(x„,n)
y„+i = G(y„),
where y„ = [xn,y„.m+1]T e Um+1 and G(y) = [F(x,ym+1), 1 + ym+1]T and
yo.m+i = 0- This gives G: [Rm+1 -* IRm+1. The essential idea here is to extend
the definition of x„ e IRm to y„ s IRm+1 by the addition of an extra compo¬
nent which we arrange to be n itself.
xn+1 = x2„- n
ence equation, namely that if the initial solution is sufficiently close to the
fixed point then the solution remains close to the fixed point thereafter.
This notion can be formalized mathematically in many ways which are
similar but not the same. Here we shall adopt a definition which is essen¬
tially due to Liapounov (1892): a fixed point X of F: IRm -► IRm is stable if for
all e > 0 there exists <5(e) such that
for all x0 such that |x0 — X| < S, where x„ = F"(x0) is defined iteratively
by xn+1 = F(xn). The definition means that the set of solutions {x„} is
uniformly continuous at X for all n > 0 with respect to variations of x0.
Thus, for example, when m = 3, ‘the fixed point X is stable’ means that
‘given any small sphere with centre X and radius e, there exists a second
sphere with centre X and radius S such that if x0 lies in the second sphere
then Xj, x2,... all lie in the first sphere’ (in exceptional cases the second
sphere is the same as the first, but in general it is smaller). The fixed point X
is asymptotically stable if it is stable and x„ -» X as n -+ oo. It is globally
stable if it is stable and if for all e > 0 and for all x0 there exists N(e) such
that |F"(x0) — X| < efor n = N, N + 1,_It is metastable if it is stable but
not globally stable, i.e. if it is stable to all small initial perturbations x0 — X
but not to some which are not small.
Generalizing the theory of §1.8, take the fixed point X of the difference
equation xn+1 = F(xn) and define its perturbation as
K = x„ - X. (2)
Therefore the difference equation becomes
Xn + 1 = (3)
the linearized system, arises in the limit as |xj -> 0. It is plausible that the
linearized system will govern the behaviour of the perturbation x^ when it
is small, and so determine the stability of the fixed point of the nonlinear
equation. In any event, equation (3) has solutions of the form
where
Ju = qu, (5)
xo = X fa. (6)
j=i
(For the special case where J does not have m linearly independent eigen¬
vectors, this expansion is not possible for all Xq, and special treatment is
needed, cf. Q3.4.) Therefore
m
Example 3.3: the logistic map. Cf. Example 1.5. For the map F(x) =
ax(l — x) we have F: 1R -*• IR and the Jacobian matrix J is a 1 x 1 matrix
which is simply the derivative [dF/dx]x = a( 1 — 2X'). The eigenvalue is
q = a( 1 — 2X). Therefore q = a for the fixed point X = 0. Therefore the
point is stable for — 1 < a < 1. Similarly, the fixed point X = (a — l)/a has
q = 2 — a and is stable for 1 < a < 3. Note (cf. Example 1.5) that q = 1
and there is a transcritical bifurcation when a = 1, but q = — 1 and there is
a flip bifurcation when a = 3. □
If qx and q2 are real and distinct then the eigenvectors and u2 are real
and independent, so we may use Cartesian components x' = £,xq\ and
y'n = £2q2 to express the linear perturbation as
x;+1 = K(X)X;,
where K(X) is the Jacobian matrix of G, i.e. the matrix with element
[dGJdXj^x in the ith row and;'th column. Now
dG^Xj) _ dF^jxj))
dxj dxj
~8_F[ ~sf;
_dxk_ F(x) 8 Xj
K(X) = J(F(X))J(X)
= J(Y)J(X),
where J is the Jacobian matrix of F. This gives stability of the two fixed
points, X and Y, of G if all the eigenvalues of the m x m product matrix
K(X) have moduli less than one, and instability if the modulus of at least
one eigenvalue is greater than one. It follows that the two-cycle of the
first-generation map F is stable or unstable respectively.
74 Difference equations
Example 3.5: the logistic map. In §1.8 we found that the logistic map
F(x) = ax{ 1 — x) has the two-cycle X, Y = [a + 1 + {(a + l)(a — 3)}1/2]/2a
for a > 3. This gives F: M-+U with dF/dx as the 1 x 1 Jacobian matrix.
The multiplier of the second-generation map is the product
dF dF
a =
dx X dx
= 4 + 2 a — a2.
Therefore the two-cycle is stable for 1 > \q\ = |4 + 2a — a2|, i.e. for
3 < a < 1 + ^6 = 3.4495, and unstable for a > 1 + yj6. Note further that
the second-generation map has q = - 1 at a = 1 + ^6, where it has a flip
bifurcation (and so there is a bifurcation of the first-generation map from a
stable two-cycle to a stable four-cycle). □
In summary, we note that, for a given map F and initial point x0, either
(a) x0 is a fixed point, (b) F"(x0) is a fixed point for some positive integer n,
i.e. x0 is an eventually fixed point of F, (c) F"(x0) tends to a fixed point as
n^> co, i.e. x0 is an asymptotically fixed point, (d) x0 is a point of period p
for some integer p ^ 2, (e) F"(x0) is a point of period p for some positive
integer n, i.e. x0 is an eventually periodic point, (f) F"(x0) tends to a solution
of period p, so F"(x0) has a subsequence which converges to a point of
period p, i.e. x0 is an asymptotically periodic point, or (g) F"(x0) is aperiodic
and does not approach a p-cycle, i.e. none of the previous cases is applica¬
ble. In the last case we sometimes say that the orbit is chaotic.
3.1 Attractors
In studying difference equations of the general form xn+1 = F(xn) for
n ~ 0’ •••> where F: IRm —* IRm, we are often interested in sequences
(x05Xj,...} for given F for all x0, i.e. in the orbits {x„} = {F"(x0)}. In
particular, we are interested in the behaviour of xn as n —► oo, just as we
are interested in solutions x(t) of differential equations as the independent
3.3 Attractors and volume 75
variable t -* co. If there exists x^, and an infinite subsequence {x„ } for
integers nr such that 0 < nx < n2 < n3... and x„r - Xqo as r - oo then we
say that x^ is a cluster point, a point of accumulation or a limit point, of the
sequence {x„}. It follows, for example, that if x„ -► X as n -* oo then X is the
cluster point of {x„}, and if {x„} = {± -± f, -f,|, -§, f, -f,...} then 1
and — 1 are the cluster points.
Let C be the set of cluster points of the orbit {F"(x0)} for given F and x0.
The set C is called the co-limit set of the orbit, because it is essentially the
limit of the orbit for large positive n, and co is the last letter of the Greek
alphabet. Then F(C) = C, because {F"+1(x0)} has the same set of cluster
points as {F"(x0)}, i.e. C is an invariant set of the map F. Thus the concept
of an co-limit set embraces both a fixed point and a p-cycle. The co-limit set
C is closed, because the limit of a sequence of points of the set is a limit of
some subsequence of points of the orbit and so belongs to C.
We define the attractor A of F and x0 as the set C when all orbits near C
have the same set C of cluster points. Thus all attractors are co-limit sets
but not all co-limit sets are attractors. The definition of attractor may be
made precise in various slightly different ways, but our informal definition
will suffice here. It follows that A is a closed invariant set of F. We may
define an oc-limit set and a repeller of the orbit (F"(x0)} similarly by taking
cluster points in the limit as n-* — oo.
*A less informal definition is that the set A c= (Rm is an attractor of F if 3
an open set N c Rm such that V x e N the distance between F"(x) and A
tends to zero as n tends to infinity and there is no proper subset of A
satisfying these conditions. Thus F"(x) approaches all points of A and no
proper subset of A is an attractor.
Different authorities define an attractor in slightly different ways, but an
attractor is essentially what we would find after a long time, by starting at
any point near it and then computing the iterations of the map, whereas an
co-limit set is an ideal property of a single orbit. Note that an attractor may
be a single point, i.e. an asymptotically stable fixed point, or p points, i.e. a
cycle of period p. We have met examples of fixed points and of two-cycles,
i.e. cycles of period two, above. In §4 we shall show that some limits of
orbits are aperiodic and so an attractor may be an infinity of points.
Example 3.6: some attractors of the logistic map. The previous examples
give the following. The fixed point X = 0 of the logistic map F{a, x) =
ax(l — x) is an attractor for — 1 < a < 1; it is in fact a cluster point of {x„}
for all x0 e [0,1]. For 1 < a < 3, the point X = 0 is a cluster point of {x„},
but only for x0 = 0 or 1; the fixed point X = (a — l)/a is the attractor and
76 Difference equations
X = 0 the repeller. For 3 < a < 1 + yj6, the two-cycle is an attractor and 0
and (a — 1 )/a are repellers. □
Example 3.8: the Bernoulli shift (cf. von Neumann 1951). Let 6n+l be the
fractional part of 26n for n = 0, 1,..., i.e. consider the difference equation
9n+l — o(6n), where the function o is defined by
Fig. 3.1 The geometrical construction of the fixed points of a map/of the real
line, and of the map f(x) of a given value x.
Fig. 3.2 The sawtooth map, <f> = a(0\ where a(6) is the fractional part of 26.
78 Difference equations
the binary expression of 0n+1 is the binary expression of 6n after the removal
of the first digit (zero or one) to the right of the binary point. (This is called
the Bernoulli shift after Jakob Bernoulli’s (1713) posthumous study of inde¬
pendent random events with only two possible outcomes, e.g. coin tossing.)
So if 60 has a binary expression of finite length, i.e. if 60 = q/2s for some
positive integers s and odd q, then 6n = 0 for all n > s. Also if 90 is rational
and has a binary expression of infinite length then 90 — q/2sr for some
integers q, s 5s 0, r ^ 3 such that q and 2sr are coprime and r is odd; there¬
fore 9„ = q/2s~nr modulo 1; therefore 9n+p = 9„ for all n ^ s, where the
period p is such that 1 ^ p ^ r, by the pigeon-hole principle. If 90 is
irrational then {9„} is an aperiodic sequence.
For an example, first take 90 — 3; then {9n} = {5,5,3, a two-cycle.
Again, if 90 = \ then {0„} = {j, 0,0,...}, with an eventually fixed point. If
0O = 5 then {9„} = {£,f, f, f,f,...}, a four-cycle. If 0O = 6 then 9l = £ and
the eventually periodic sequence proceeds as above. If 90 = j or f then the
sequence has period three, and so forth. All the periodic sequences are
unstable, because each rational value of 90 is arbitrarily close to an irratio¬
nal value of 90 which generates an aperiodic sequence {0„}. Each aperiodic
sequence in fact goes either through or arbitrarily close to each point of the
interval [0,1],
It follows for this map o that there is an infinity of different co-limit sets
C according to the values of 90; C is finite if 90 is rational and infinite if 90 is
irrational. With the definition of an attractor which we have chosen, no set
C is an attractor, because an initial point 90 in each neighbourhood of C
may give a sequence {0n} with a different set of cluster points.
Let us consider a wider issue next. Two infinite sequences {0^} and {0"}
can be generated by iterating the sawtooth map (1) with irrational initial
values 9'0 and 0q respectively. You can see that, however small 9q — 9'0 is,
0« — 0« may have almost any value between zero and one for sufficiently
large values of n, because the value of 9" - 9'n depends only on the digits
in the binary expressions of 0„ and 9’0 which lie more than n places to the
right of the binary points. When the difference 9” - 9'n is small it in gen¬
eral doubles each time n increases by one, because 0; - 9'„ = 2"(0q - 9'0)
modulo 1. Thus the value of <rn(0o) for a large value of n depends very
sensitively on the initial value 0O. This property, with exponentially grow¬
ing separation of neighbouring orbits, is called sensitive dependence on ini¬
tial conditions (after Ruelle 1979). Indeed, there is a periodic solution for a
rational value of 0O and an aperiodic one for an irrational value of 0O, and,
of course, the sets of rationals and irrationals are each dense in the interval
[0,1]. We may say that an aperiodic solution rapidly ‘forgets’ the initial
condition as n increases. Sensitive dependence on initial conditions is
3.3 Attractors and volume 79
Example 3.9: the rotation map. Another simple, but instructive, map is the
piecewise linear map, F: [0,1) x [0,1) -> [0,1) defined by
3.2 Volume
Another important, but rather different, concept is that of how the volume
of a set of points is mapped. Consider a set S„ cr Rm and a given continu¬
ously differentiable map F: IRm -*• [Rm. Then we may define Sn+1 as the set
F(S„), i.e the points xn+1 = F(x„) for all x„ e S„. Also define pn as the hyper¬
volume, i.e. the measure, of the set S„ of points; so pn is the total length of
the points of the set on the real line if m = 1, the total area of the points of
the set in the plane if m = 2, or the total volume of the points of the set if
m = 3. Now the local ratio of the hypervolume pn+1 to p„ is the modulus of
the Jacobian det J(x„), where the m x m Jacobian matrix J has element
dFJdxj in its ith row and jth column. Therefore if the modulus is every¬
where less than one then p„ decreases monotonically as n increases; in this
case the hypervolume pn shrinks as n increases, and the dimension of the
attractor must be less than m.
If | det J | = 1 everywhere then = /i0 for all n, i.e. the hypervolume n„ is
independent of n, and we say that F is a volume-preserving map or an
area-preserving map as is appropriate, or simply a measure-preserving map.
More generally, F is a measure-preserving map if the measure of all sets S is
the measure of the set of all points mapped to S, i.e. p{S) = ^(F-1(S)) for
all S c [Rm. The definition of attractor we have taken, with the condition
that all neighbouring orbits are ‘drawn’ into the attractor, implies that a
measure-preserving map does not have an attractor.
If F preserves volume and orientation, e.g. if F is a rotation about an
axis, then det J = 1; if F preserves volume but reverses orientation, e.g. it is
a reflection, then det J = — 1.
J(x) = /'W 1
+f'(x)f'(y +/(x)) f'(y +/M)
and hence the Jacobian is det J = 1 for all x and y. Therefore F is an
area-preserving map. □
where
F(a, x) = ax( 1 — x) for all a ^ 0. (2)
Fig. 3.3 The line y = .x and some curves y = af(x) for various values of a, where
f(x) = x(l — x). (a) a = \, l, 2, 3, 4. (b) The graphical construction of x„+1 from
x„, for the case a = j.
function / such that /(O) = 0, f{b) = 0 for some b > 0, and f(x) > 0 for
0 < x < b.
First examine the graphs of y = F(a, x) for various values of a illustrated
in Fig. 3.3(a). Each cuts the line y — x in the fixed points. It can be seen at
once that there is one fixed point X = 0 for all a and also another for a > 1,
because the convex curve lies below its tangent y = ax at the origin if and
only if a ^/'(0) = 1.
Secondly consider the graphical construction of xn+I from x„ illustrated
in Fig. 3.3(h). When the tangent y — ax to the curve y = F(a, x) at the fixed
point X — 0 lies below the line y = x, it can be seen that x„+1 > x„ and x„
approaches the fixed point as n —► oo. Similarly, if the tangent lies above
the line y = x, i.e. if a > 1, then the fixed point is unstable. Also it can be
seen that the slope of the tangent to the curve at the other fixed point X =
(a — l)/a determines the stability likewise.
The geometrical effect of the map can be seen to be equivalent to non-
uniform stretching (when a > 2) of the interval [0,1] followed by folding
back onto the subinterval [0, \d] to give the curve y = F(a, x). This stretch¬
ing and folding is characteristic of maps with infinite attractor sets (cf. §6).
Next look at the graphs of some of the curves with equations y = G(a, x)
for various values of a, where G is the second-generation map defined by
G(a,x) = F(a,F(a,x)) = F2(a,x) for all x, as illustrated in Fig. 3.4(a). Note
that G is a quartic. Each curve cuts the line y = x in the fixed points of the
second-generation map, and thereby gives the two-cycle of F as well as
the fixed points of F. When a =s 1 the curve cuts the line only at the fixed
3.4 The logistic equation 83
Fig. 3.4 (a) The line y = x and curves y = G(a, x) for the second-generation map
G = F2 of the logistic map F, with a = 1, 2, 3.2. (b) The line y = x and some
curves y = H(a, x) for the fourth-generation map H = F4 of the logistic map F,
with a = 3, 3.7.
point X = 0. When a > 1 it also cuts the line in the other fixed point, X =
{a — 1 )/a. The curve y = G(3,x) touches the line at the fixed point X = §.
When a > 3 the curve y = G(a, x) cuts the line at the origin and three other
points, the middle of which is a fixed point of F and the rest of which are
the two-cycle of F, so the two-cycle exists if and only if a > 3. This illus¬
trates the geometrical essence of a flip bifurcation and period doubling. If
the slope of the curve y = G(a, x) is less than one in modulus where it
intersects y = x, then the intersection represents a stable fixed point of G,
and therefore a stable fixed point or two-cycle of F.
It is also instructive to look at the graphs of some higher-generation
maps F2'. Note that Fq is a polynomial of degree 2q because F is a polyno¬
mial of degree two. Two graphs of the fourth-generation map H are
illustrated in Fig. 3.4(h), where H is defined by H(a,x) = G(a,G(a,x)) =
F4(a,x). This suggests that four-cycles arise as a increases. Indeed, the
graph of the curve with equation y = Fq(a, x) oscillates more rapidly as q
increases, so we anticipate repeated period doubling as a increases.
These and other properties are illustrated by the special cases in which
we can solve the logistic difference equation more-or-less explicitly by
analysis: a = -2 (Q3.19), a = 0 (trivial), a = 1 (Q1.32), a = 2 (Q1.33), and
a = 4 (later in this section).
*Example 3.12: local analysis of a flip bifurcation. We have just seen the
flip bifurcation from a general geometrical point of view, having seen it in
explicit analytic terms for the logistic map in Example 1.6. Another point
D
84 Difference equations
and
Therefore
unless Fxxc = 0. It follows from equations (6) and (7) that either ax = 0 or
— 2Faxc/Fxxc = Fac. Assuming the general case, in which the latter equality
is not satisfied, we deduce that
ax = 0.
Therefore
^3Fac Xk2 + <2 2 Xk i Faxc -4- XkxXk2 Fxxc + (>Xkx Fxxxc Xj2.
Therefore
Therefore
+ hXfxFxxxc.
86 Difference equations
Therefore
and therefore
Interval Attractor
0 a ^ 1 X =0
1 < a ^ a, = 3 X — (a — 1 )/a
at < a ^ a2 = 3.449 21- cycle
a2 < a ^ a3 = 3.544 22- cycle
a3 < a ^ a4 = 3.564 23- cycle
ar = ao0 — AS r + o((Tr),
period
Fig. 3.5 A sketch of part of the bifurcation diagram in the (a, x)-plane where
there are orbits of periods 3 x 2r for r = 0, 1, .... Dotted curves denote the
stable three- and six-cycles, and dot-dashed curves the unstable three-cycles.
that there is a stable three-cycle or (3 x 2r)-cycle for 3.8284 < a < 3.8495.
Look at Fig. 3.5, and note the origin of the stable and unstable three-cycles
due to a turning point of the third-generation map F3. In fact, the solution
undergoes period doubling so that solutions of periods 3 x 2r arise as a
increases, and the critical values of a at which there is bifurcation form
another Feigenbaum sequence! These three-cycles originate because F3 is
a polynomial of degree eight, and so F3 has eight fixed points, which are
real or occur in complex conjugate pairs; two are the fixed points of F for
all values of a; and three complex conjugate pairs become real as a in¬
creases through 1 + JS = 3.8284 (Q3.17). Further, there is an infinity of
windows in which p-cycles are stable for 3 < a < 4, such that for each
integer p there is some interval of a for which an attractor is a p-cycle. For
example, a stable five-cycle arises when a increases through 3.7382. Of
course, some of the windows in which there exists a stable periodic solution
are very narrow indeed.
The bifurcation diagram for 0 ^ a ^ 4 is summarized in Fig. 3.6. Note
the many windows for a > 3.6.
The case a = 4 is rather special (von Neumann 1951), because then
maxo<*< i F(4,x) = 1 and F maps the interval [0,1] onto itself. This prop¬
erty helps us to ‘solve’ difference equation (1). We find that according to the
3.4 The logistic equation 89
initial value x0 there may be an unstable orbit of period p for all positive
integers p. Thus there is a countable infinity of periodic orbits. These unsta¬
ble periodic orbits are the continuation of all the periodic orbits which
arose for 3 < a < 4. However, almost all initial values x0 give orbits of
points x„ with a set of cluster points which is the interval [0,1] itself. These
results may be shown as follows.
Suppose that
= P(0n), (10)
where
P(9) = sin2 nO (11)
90 Difference equations
(b)
Fig. 3.6 (cont.)
Note that P has period one and is a 2 — 1 mapping of the interval [0,1]
onto itself, as shown in Fig. 3.7, so in general there are two possible values
of 0„ for a given value of x„ e [0,1], Next suppose that 0n+1 is the fractional
part of20„,i.e. that
= sin2 2n0„,
Fig. 3.7 The 2 - 1 mapping P of the interval [0,1] onto itself, for P(Q) = sin2 nO.
= 4x„(l - xj
= F(4,xn). (13)
Let us consider two wider issues next. Although they are of general
importance, they can be simply illustrated by the logistic equation with
a = 4. First recall from Example 3.8 that if there are two infinite sequences
{0'} and {0"} generated by relation (12), with irrational initial values 9'0
and 0q respectively, then 0" — 0' = 2"(0q — 9'0) modulo 1. There is a corre¬
sponding property of the sequences {x„} that the value of x„ for large
values of n depends sensitively on the initial value x0, with exponentially
growing separation of neighbouring orbits. Indeed, there is a periodic solu¬
tion if x0 corresponds to a rational value of 0O and an aperiodic one if x0
corresponds to an irrational value of 0O, and, of course, the sets of rationals
and irrationals are each dense in the interval [0,1]. We have demonstrated
the sensitivity to initial conditions for the special value a = 4 because the
sensitivity can be made explicit, but a similar sensitivity occurs for other
values of a for which there is an attractor which is infinite. The attractor is
the same set for all initial values within the domain of attraction, but the
position of x„ within the attractor for a given large value of n depends
sensitively upon x0. Also many other one-dimensional and higher-dimen¬
sional nonlinear ordinary differential equations and other nonlinear sys¬
tems show sensitive dependence on initial conditions.
Secondly, we see how ideas of probability are useful. Each difference
equation determines x„ precisely in terms of x0, yet in some respects a
sequence {x„} which has an infinite set of cluster points may be regarded as
a sequence of random numbers. Indeed, piecewise-linear difference equa¬
tions of the form <f>n+l = p(j>„ modulo q for integers p and q have been used
in computers to generate so-called random numbers. We can illustrate this
with equation (12). It can be proved that if 0O is irrational then the infinite
sequence {0„} is uniformly distributed, i.e. there exists
P{b ^ 0 ^ c) = c - b. (14)
F(x) = P(X ^ x)
fix) = F\x)
1
7r{x(l — x)}1/2’
This function gives the probability f(x)dx that X lies in the elemental
‘interval’ [x,x dx], and so shows that x„ is found much more often near
the ends than it is at the middle of the interval [0,1]. (Note that the vari¬
able X and these functions F and / are different from others which have
been denoted above by the same letters.) We see that, although a particular
value x„ may depend sensitively on x0, the statistical properties of the
sequence {x„} are the same for all values of x0 which correspond to irratio¬
nal values of 90. The Cantor nature of the attractor for other values of a
complicates the probability distribution function, because it may be dis¬
continuous, and a fortiori not differentiable, at an infinity of points. None¬
theless probabilistic ideas are still useful.
The philosophical implications of these ideas deserve consideration.
For a given value of x0 the sequence {x„} is in principle determined com¬
pletely and precisely by an algorithm, namely iteration of the map F. Yet in
practice the sequence may be indistinguishable from a sequence of random
numbers. In laboratory experiments, however careful, observations are not
absolutely precise, and there is no possibility of distinguishing an irrational
from some rational value of a datum. Also numerical errors, such as round¬
off error, are inevitable in the practice of processing the data to find x„+1
from x„. So we could not predict all the future of a chaotic system, even if
we had an exact model on which to base our predictions. The errors in
prediction grow exponentially in time (or, rather, in n) because of our lack
of exact knowledge of the present, so that doubling the accuracy of our
measurements and data processing will avail only a little: we may predict
with confidence only the near future of chaotic solutions and their statisti-
94 Difference equations
cal properties over a long time. It is because of this, perhaps, that such
chaos is sometimes called deterministic chaos.
In summary of this section, we state that each co-limit set for the logistic
difference equation is one of four types, (a) It may be a finite attractor as a
stable periodic solution or fixed point, for example when a = 3.2. (b) It may
be an unstable fixed point or p-cycle, for example the two-cycle when a =
3.5. (c) The co-limit set may be an infinite attractor as a Cantor set with
chaos, for example when a — 3.6. (d) It may be an interval with no
attractor, for example when a = 4. For a given value of a, the co-limit sets
may be of more than one type according to the value of x0 (see Q3.18 for an
example). The qualitative behaviour of the solutions of the logistic equa¬
tion can be discerned to be independent of the symmetry and of the simple
parabolic form of the map, because most of the arguments we have used do
not depend on these special properties of the map, although the quantita¬
tive behaviour does. Therefore the ideas and qualitative results of this sec¬
tion are widely applicable to all one-dimensional maps of similar form.
Table 3.2. List of the BASIC program ‘LOGIS’ (You may find it more
convenient to replace lower by upper case letters throughout.)
Fig. 3.8 Sketches of (a) the square S with vertices A, B, C and D; (b) contracting,
stretching and folding; (c) the horseshoe F(S), where A' = F(A) etc • (d) F2(SV
(e) F3(S) in S.
the map F of the half-open square [0,1) x [0,1) onto itself where F(x) =
(cr(x),g(a, x,y)).
2 ay for 0 ^ x <
g(a, x, y) modulo 1 and 0 ^ g < 1.
May + 1) for 5 ^ x < lj
As in Example 3.8 of the Bernoulli shift, the sawtooth map a maps the
interval [0,1) onto itself, and leads to chaotic orbits <r"(x) independently of
y when x is irrational.
Note that (0,0) is the only fixed point of F, and it is unstable, as for the
Bernoulli shift. There is, in fact, an infinity of unstable p-cycles.
Fig. 3.9 (a) The unit square S; (b) the baker’s transformation by contracting,
stretching, cutting and stacking; and (c) F(S) for a = 1 .(d) F(S); and (e) F2(S) for
0 < a < 1.
In the limit as n -* oo, this gives an attractor with the topological character
of the interval [0,1) in the x-direction and of a Cantor set in the ^-direction.
□
Example 3.14: the Henon map. Next we shall follow Henon (1976) and
• Henon & Pomeau (1976), who considered the pair of difference equations
with
f(x,y) = 1 + y — ax2, g(x,y) = bx (1)
for given parameters a and b. This is not a horseshoe map, but it is some¬
what similar geometrically, and it allows us to follow the details closely. It
is easy to show that there are two fixed points X = (X, 7) if a > a0 =
—1(1 — b)2 and a # 0, namely
We see that there is a turning point at (a0, -(1 - b)/2a0) in the bifurcation
diagram in the (a, x)-plane for fixed b ^ 1.
A fixed point is stable if the 2x2 Jacobian matrix,
-2 aX 1
J(X) =
b 0
has eigenvalues, qx and q2, such that \ql \ < land|g2| < l.Now
It follows that the fixed point with X = —(1 — b)/2a + (a - a0)1/2/a is sta¬
ble in the limit as a j a0 when — 1 < b < 1, but the other fixed point X —
-(1 - b)/2a - (a - a0)ll2/a is unstable as a [ a0. It can be further shown
, that the former fixed point is stable for a0 < a < ax and -1 < b < 1,
where a, =4(1 — b)2, there being a flip bifurcation as a increases through
. The other fixed point is always unstable. As a increases beyond a, there
are two-cycles (Q3.34), period doubling with a Feigenbaum sequence,
strange attractors interspersed with windows of stable periodic solutions;
and finally infinity becomes the attractor. This is illustrated in Fig. 3.10. In
fact the structure of the windows of stable p-cycles amid chaos is similar to
that seen in Fig. 3.6(6) for the logistic map, but is complicated by the
coexistence of other attractors and their ‘collision’ as a increases for fixed b.
The Jacobian is det J(x) = — b for all x. Therefore the map is a uniform
contraction for — 1 < b < 1, area-preserving for b = +1, and a uniform
expansion for |6| > 1.
Henon & Pomeau (1976) interpreted the map geometrically as the prod¬
uct of successively a folding, a contraction (when -1 < b < 1), and a re¬
flection in the line y = x, and showed that the map is a canonical form to
which any quadratic map with a constant Jacobian may be reduced by a
linear transformation. If a < a0 or if a is sufficiently large then x„ -♦ 00 as
n-^ co. Otherwise x„ -> 00 or A according to the value of x0, where A is an
ORUL COLLEGE
100 Difference equations
attractor. (Remember that there may be more than one attractor for the
same pair of values of a, b.) Henon & Pomeau showed that, for some values
of a and b, a certain domain of the (a, x)-plane is mapped into itself and
therefore that the points of the attractor are bounded within the domain,
although they may be uncountable. Computations indicate that it is a
strange attractor. A characteristic of strange attractors in dimensions
higher than one is that the average, over an attractor, of the modulus of the
Jacobian is less than one and the average of the modulus of at least one
eigenvalue is greater than one.
The numerical results of Henon & Pomeau are very revealing. They
worked mostly with a = 1.4 and b = 0.3, for which there is a strange
attractor. They took x0 near the unstable fixed point (0.63135448...,
0.18940634...), though this initial point is little better than many others,
and plotted several points x„, as illustrated in Fig. 3.11(a). The other fixed
point (the one which would be unstable for all b) is (—1.13135...,
— 0.339406...), a short distance from the attractor. The point x„ wanders
over the attractor in an apparently random fashion. They next enlarged a
region near the first fixed point and plotted those of a large number of
calculated points x„ which happen to lie in the region, as shown in Fig.
3.11(6). They then repeated this process, enlarging a region within the first
region and plotting those of a very large number of calculated points which
lie in the new region, as shown in Fig. 3.11(c). They repeated this process
once more, calculating even more points, as shown in Fig. 3.11(d). Note
the self-similar pattern which they discovered: the successive enlargements
look like one another, and it appears that the process of enlargement may
be continued ad infinitum (as for Cantor’s middle-thirds set, which is dis¬
cussed in §4.1). The set appears to have a similar structure on all small
length scales. Also the set is dense like a curve along one of the ‘braids’, but
is like a Cantor set in a transverse direction, so that the attractor is locally
the Cartesian product of a line and a Cantor set.
You can prepare these and other plots for yourself by use of the simple
program ‘HENON’ listed in Table 3.3. It is in BBC BASIC, but may be
translated easily. First the parameters are read (line 10). The value of
SCALE is to be chosen to determine the magnification of the plot. A fixed
point is calculated in line 40. The initial values, x0 = 0 and y0 = 0, are
assigned in line 50. The first 300 points x„ are computed but not plotted in
order that the initial values may be ‘forgotten’. Thereafter the points (x„, y„)
are plotted on the video screen, with the x-axis horizontal, the y-axis verti¬
cal, and the fixed point at the middle of the screen. As SCALE is increased
both the number of points computed and the magnification are increased.
3.6 Some two-dimensional difference equations 101
0.4
0.21
0.20
0.19
y 0.18
0.17
0.16
Fig. 3.11 (a) A plot of 4 x 103 successive points x„ of the Henon map for a =
1.4, b = 0.3, with x0 = 0.63135448, y0 = 0.18940634. (b) Enlargement of the
rectangle shown in (a) when 7.5 x 104 points are computed. The cross denotes
a fixed point, (c) Enlargement of the rectangle shown in (b) when 1.5 x 106
points are computed. (d) Enlargement of the rectangle shown in (c) when 107
points are computed.
102 Difference equations
0.192
0.191
0.190
0.189
0.188
0.187
0.186
(c) x
0.1900
0.1898
0.1896
0.1894
y 0.1892
0.1890
0.1888
0.1886
You might start with a = 1.4, b = 0.3 and SCALE = 200. Then, in fol¬
lowing runs, fix these values of a and b but increase SCALE bit by bit to
1000000, say. Again, you might fix b = 0.3 and SCALE = 200, but de¬
crease a bit by bit from 1.4. You might like to experiment for yourself
afterwards. In particular, you might like to change lines 80 and 90 in order
to study a different two-dimensional difference equation. □
3.7 Iterated maps of the complex plane 103
Table 3.3. List of the BASIC program HEN ON’{You may find it more
convenient to use capital letters throughout.)
where F: C x <C -*• <C. The fixed points 0 and (a - 1 )/a have the same forms
as for the real case of §1.8, and they are stable if \a\ < 1 and 12 - a\ < 1
respectively. The periodic solutions likewise have the same forms as for the
real logistic equation, but here they exist for all complex a # 0 because
we have removed the restriction that all the solutions are real. For some
purposes it is more convenient to transform z and a so that we replace the
logistic difference equation by
Example 3.16: the square map. In the special case b = 0, we find zn+l =
G(z„), where G(z) = z2, i.e.
It can be seen that the fixed points are Z = 0,1, oo, and that
_ _ _2 _
_4 _8 _
zn ~ zn-l ~ zn—2 ~ zn-3 ~
_ ... ~
_ zO
,2" •
Therefore z„ -> 0 as n -> oo if |z0| < 1, z„ -> oo if |z0| > 1, and z„ e S1 if
z0 e S1, where S1 is the unit circle with equation |z| = 1. Thus the origin
and infinity are stable fixed points with domains of attraction D(0) =
{z: |z| < 1} and D(oo) = {z: |z| > 1}, and 5D(0) = S1 = 5D(oo). Also 1 is
an unstable fixed point. Further, G(SX) = S1 = G_1(SX), i.e. all the images
and pre-images of all the points of S1 lie in S1. If z0 = exp(27ri0o) then z„ =
exp(27ri0n) = exp(2n7ri0o), because 6n is mapped by the Bernoulli shift (of
Example 3.8). Therefore there are unstable p-cycles of all periods p in S1. In
addition there are aperiodic solutions dense in S1. o
Let R: C -> C be a quadratic map with two attractors, Ax and A2, say,
each a finite set; then dD(A2) = dD(Aj), and we call dD(Aj) the Julia set J
of R. Thus, if z e J then /?"(z) does not tend to a limit point unless z is an
unstable fixed point of R or a pre-image of the fixed point. The notion of a
Julia set can be generalized for all rational maps R. It can be shown that
(a) R(J) = J = K~X(J), i.e. the set of images and pre-images of all points of J
lie in J; (b) J # 0, i.e. J is not empty, and J is closed; (c) unstable p-cycles
are dense in J; and (d) J contains no point which belongs to an attractor.
3.7 Iterated maps of the complex plane 105
Example 3.17: some Julia sets. The following two examples have been
chosen for their simplicity to illustrate the fundamental ideas, but they are
atypical; Julia sets usually have a complicated structure, (i) Suppose that
R(z) = \(z + \/z). Then R(Z) = Z gives the fixed points Z = ± 1 (or oo).
Now R'(z) = |(1 - 1 /z2). Therefore R'(± 1) = 0. Therefore Ax = {1} and
^2 — {— 1} are attractors. It can be shown that there are no others, be¬
cause D(l) = {z: Re(z) > 0} and D(-1) = {z: Re(z) < 0}. Then J is the
imaginary axis. The four properties of J listed above may be verified for
this example, (ii) Take R(z).== z2. Then the fixed points are Z = 0, 1. Now
R (z) = 2z, so that Z = 0 is stable and Z = 1 unstable. Also infinity is a
stable fixed point. So we may take Aj = {0} and A2 = {oo}. Now D(0) =
I2- Izl < 1} ar,d D(oo) = {z: | z | > 1}, so J = S1, where S1 is the set of points
(z: \ A - 1}, i-e. the unit circle with centre 0. If R(z) = z2 + a for a # 0, then
J has a complicated structure, but is close to the circle S1 when a is small. In
fact part (i) is equivalent to (ii) in the sense that if we define G by w =
(z - l)/(z + 1) and G(w) = (F(z) - 1}/{F(z) + 1}, where F(z) = \(z + 1/z),
then G(w) = w2. □
Thus M is the set of values of the complex parameter a for which the given
initial point z = 0 does not lie in the domain of attraction of infinity. (The
initial point z = 0 is chosen because Fz(a,0) = 0.) Mandelbrot (1982, pp.
188-9) shows computer-drawn diagrams of M for F(a,z) = z2 - a and
initial point z = 0, and for F{a,z) = az( l- z) and z = \. The boundaries
<3M in these two cases appear to be complicated sets with a self-similar
character (see §4.1).
We shall end by mentioning an important theorem. Julia (1918) and
Fatou (1919) showed that the Julia set J of F(a, z) is connected if and only if
Fn(a, 0) > go, i.e. if and only if a belongs to the Mandelbrot set of
F{a,z) for z = 0. So if a belongs to the Mandelbrot set then J, although a
complicated set with many apparently isolated parts, is in fact joined to¬
gether. Look for this in Fig. 3.12. Also see the Mandelbrot set in Fig. 3.13,
and the beautiful coloured pictures widely available in the literature. Note
the finer scales appearing as the picture is enlarged; there is, in fact, an
infinite regression of finer and finer scales. The set itself is shown in black;
an explanation of the significance of the colouring is indicated below.
106 Difference equations
Fig. 3.12 Tableau of the Julia set of F(a,z) = z2 + a, in the rectangle —0.3194417
sS Rez ^ —0.3193553, —0.4452514 ^ Imz < —0.4451650 for a =
— 0.2232 — 0.7296i. The alternation of black and white denotes different rates
of divergence to infinity, but many different rates of divergence are denoted by
black and many other rates by white; so the set itself is not any black or white
region.
facing p. 106
3.7 Iterated maps of the complex plane 107
gram you need to answer the cue (line 20) by typing in the real and the
imaginary parts of a to specify the set. The next four numbers specify the
Cartesian coordinates of the four vertices of the rectangle in the complex
z-plane in which the program will represent the Julia set. You might try, for
your first run, to type in 0.32, 0.043 and thereafter -2., 2., -1.5, 1.5. For
your second run try typing in -0.12375, 0.56508 and thereafter -2., 2.,
— 1.5,1.5. Then you might care to experiment for yourself.
Beware of the slowness of the program. The program may take a long
time to run completely, although it has been written to fill only a quarter of
the screen in order to reduce the running time. You may alter the size of the
picture or change the resolution according to whether you prefer a good
big picture or a rapid program. You may be able to improve the colour
108 Difference equations
scheme, which has been chosen more for simplicity of the program than for
aesthetics. You may use the program for different maps by changing lines
100-120.
The program ‘MANDEL’ computes and plots the Mandelbrot set for
the map F{a,z) = z2 + a. To run the program you need to answer the cue
(line 20) by typing in four numbers to specify the Cartesian coordinates of
the four vertices of the rectangle in the complex a-plane in which the pro¬
gram will plot the Mandelbrot set. You might try the input -2.25, 2.25,
-1.25, 1.25 for a start, and for your next run -1.23, —1.1, 0.25, 0.358 to
emulate Fig. 3.13.
Problems 109
Again, you may wish to improve the program. In particular you may
plot sets for other maps by changing lines 110,120.
Further reading
§3.1 Devaney (1989) gives an excellent account of difference equations.
§3.3 The properties of the sawtooth map may be found from the prop¬
erties, largely due to Borel, of the binary representation of numbers. These
are described by Hardy & Wright (1979, Chap. 9), who, in particular, prove
the statistical properties used in §4.
§3.4 A fuller account of the iteration of one-dimensional maps is the
rigorous treatment by Collet & Eckmann (1980).
§3.7 The literature of iterated maps of the complex plane includes clas¬
sic papers by Cayley (1879), Fatou (1906, 1919) and Julia (1918) as well
as recent analytical and numerical work. Accounts by Mandelbrot (1982)
and Falconer (1990) are recommended in order to learn more than is in
the short account here. Some beautiful coloured pictures of Julia and
Mandelbrot sets are shown by Peitgen & Richter (1986) and Peitgen et al.
(VI990), and some more-advanced computer programs to make your own
pictures of Julia and Mandelbrot sets are given by Peitgen & Saupe (1988).
Problems
Q3.1 Instability of a fixed point. Suppose that F(X) = X, where F: [Rm-» IR™
Then show that X is unstable if and only if 3 e > 0 such that V(5>03n>0
and x0 e !Rm such that |x0 - X| < 3 and |F"(x0) - X| ^ e.
Q3.2 An unstable fixed point which might seem to be asymptotically stable. With
plane polar coordinates (r,0) such that x = rcos 6, y = rsin 9, r ^ 0, and
— n<9^n,a. map F: IR2 ->• IR2 is defined by
F(r,0) = (ir,0)
Show that if 9o*0,n then x„ = F"(ro,0o) lies on the circle with centre
x = 0, y = rj2 sin 0O and radius r0/2 sin 0O for all n. Deduce that x„ -► 0 as
n-> oo for all 0O. Show that nonetheless there are points x0 near 0 such that
|x„| may be arbitrarily large (when 0O is close enough to tt and n = 1). De¬
duce that 0 is an unstable fixed point of F in the sense of Liapounov.
110 Difference equations
for all x e C‘( — oo, oo), where a is a given positive constant, then J at A"
is defined by
*o = Si + s2
for all x0 e (R2.
Deduce that if xn+1 = Ax„ for n = 0,1,..., and x0 is as above, then
x„ = (Si - nS2)a"
■a + S2«n
Problems 111
Q3.5 Stability of a periodic solution. Show that the p-cycle {X,, X2,... ,X„} of the
continuously differentiable map F:U-*U is stable if \F'(X,)F'(X,)
F'(Xp) |<1. 2'"'
Q3.6 A difference equation with a supercritical pitchfork bifurcation and flip
bifurcations. Suppose that xn+1 = F(a,xn) for n = 0, 1,where F(a,x) =
ax - x3. Find the fixed points and for what values of a each point exists.
Find for what values of a each is linearly stable.
Show that if X, = F(a,X2), X2 = F^X,) then X„ X2 are roots of the
equation
Hence or otherwise find all the two-cycles of F. For what values of a is each
cycle linearly stable?
Sketch the bifurcation diagram in the (a, x)-plane, indicating clearly the
fixed points and the two-cycles.
Q3.7 A difference equation with a subcritical pitchfork bifurcation and flip bifurca¬
tions. Suppose that xn+1 = F(a, xn) for n = 0,1,..., where F(a, x) = ax + x3.
Find the fixed points and for what values of a each point exists. Find for
what values of a each is linearly stable.
Show that if X, = F(a, X2), X2 = F^XJ then X„ X2 are roots of the
equation
X(X2 + a + 1)(X2 + a - 1)(X4 + aX2 + 1) = 0.
Hence or otherwise find all the two-cycles of F. For what values of a is each
cycle linearly stable?
Sketch the bifurcation diagram in the (a, x)-plane, indicating clearly the
fixed points and the two-cycles.
Q3.8 Monotonic maps and their p-cycles. Consider differentiable F: IR -> IR. (a)
Show that if F'(x) > 0 for all x then F has no p-cycle for p ^ 2. (b) Show that
if F'(x) < 0 for all x then F has a unique fixed point, and F has no p-cycle for
P S* 3.
[Hint for the last part of (b): consider the sign of the derivative of the
gth-generation map. Devaney (1989, p. 59).]
Q3.9 Cluster points of the sawtooth map. Show that if o(Q) is defined as the frac¬
tional part of 2d and 90 = 2~JU+l\ then 0O is irrational and the cluster
points of the sequence {<r"(0o)} are 2~r for r = 1,2,....
Q3.10 A pitchfork bifurcation. Given that F(a,x) = x[a/{x2 + (a — x2)e~4na}]1/2,
as in Example 1.3, show that if a < 0 then F has a stable fixed point X = 0
and if a > 0 then F has an unstable fixed point X = 0 and two stable fixed
points X = ±y/a. Find F"(a,x). What are the domains of attraction of the
stable points?
Q3.11 Shuffling cards. A pack, i.e. a deck, of 2s playing cards is given a riffle shuffle
by cutting the pack into two halves and then interleaving the halves, so that
112 Difference equations
the bottom card returns to the bottom. Denoting the cards of the pack by
the numbers 0, 1,..., 2s - 1, where 0 represents the bottom card, 1 the next
card above,..., and 2s — 1 the top card before the shuffle; and denoting by
F(r) the position, above the bottom after the shuffle, of the rth card before
the shuffle; show, by a plausible interpretation of the shuffle, that
and F(2s — 1) = 2s — 1.
Deduce that if a pack of 52 cards is riffle shuffled eight times then the
pack ends up in the same order as it started.
Q3.12 Reflection of a light ray by the interior of a cylinder. Consider the path of a
light ray which is reflected repeatedly by a circular cylinder whose interior
surface is silvered. Suppose that the path lies in a plane perpendicular to the
axis of the cylinder, and take polar coordinates such that the ray’s nth
reflection is at a point with polar angle 9 = 6n, for n = 0,1,....
Show that if the angle of reflection is a at first then
0„+i = 9„ + n - 2a.
Deduce that the path of the ray is closed if and only if a/n is rational.
Q3.13 Twist maps. The map F: IR2 -* R2 is defined by F(x,y) = (f(x,y),g(x,y)),
xn+I = F(x„),
where F(x) = x + hf(x). This may give a stable equilibrium point by taking
lim«-oo *n-or an iterative approximation thereto.
Now find N and F for the equation
b> these two methods. Show that the steady solutions given by X = + ^Ja
for a ^ 0 are fixed points of the appropriate two difference equationsrand
find whether they are stable fixed points. What are the domains of attrac¬
tion of the stable fixed points for each of the two difference equations?
Q3.16 A qualitative difference between the set of solutions of an ordinary differential
equation and of its finite-difference approximation. Show that if
where h > 0, then X = 0 is the only fixed point and it is stable. What is its
domain of attraction? Show further that {-(2/h)l/2,(2/h)112} is a two-cycle
and it is unstable.
[Stuart (1990).]
Q3.17 Some three-cycles. Show that if {X, Y,X} is a three-cycle of a differentiable
map F: R - R, i.e. Y = F(X), Z = F(Y), X = F(Z), and if G = F3 is the
third-generation map of F, then
*Hence or otherwise show that two real three-cycles of the logistic map exist
if a > + 1 or a < —(-JS — 1).
[Hint: it may help you to let the three-cycles be {X1,Yl,Z1} and
{X2, Y2,Z2}, to define tj = XjYjZj, u} = £ YjZj and Vj = £ Ar} for j = 1, 2,
and then to find the quadratic equation whose roots are vlt v2. Myrberg
(1958, p. 13).]
Q3.18 The mapping of a subinterval onto itself by the logistic map. Consider the
logistic map F(a,x) = ax( 1 — x) and its second-generation map G(a,x) =
F(a, F(a, x)) over the interval 0 < x ^ 1.
Show that G(a,j) = fea2(4 ~ a) and that if a > 2 then G(a,x) ^ G{a,\)
for all x sufficiently close to i.e. that G has a local minimum at x = j.
Deduce that if 4 is the root of ^a2(4 — a) = 1/a such that 3 < a < 4
then G(y4,i^/42(4 — A)) = (A — \)IA. Hence or otherwise show that G(A,x)
maps the subinterval [1/4, (A — 1 )/4] onto itself. Deduce that F(A,x) maps
the subinterval [1/4,54] onto itself, [0,1/4] onto [0,(4 — l)/4] and
[i4,1] onto [0,1/4].
Discuss briefly the attractors of F for a = 4.
[In fact 4 * 3.6790. It may be helpful to sketch graphs of G and F, and
some important points and their maps, for a = 4. Also numerical experi¬
ments may suggest the nature of the attractors.]
Q3.19 The explicit solution of the logistic difference equation in a special case. Show
that the logistic map
F(x) = — 2x(l — x)
for a > 0. Sketch the curve y = F(a, x) in the (x, y)-plane for a ‘typical’ posi¬
tive value of a. Find the fixed points of F and their stability for all a > 0.
Sketch a bifurcation diagram in the (a, x)-plane. Find a two-cycle for a = 2,
and show that {f, f, f} is a three-cycle.
Problems 115
Show that
for fixed c ^j,a and n. Discuss briefly the relevance of this result to sensi¬
tive dependence on initial conditions.
Q3.23 Second-generation tent map. Show that if G(a,x) = F2la x) F(a x) =
a(2 ~ la ~ *1), and 1 < a < 2 then
Sketch the graph y — G(a, x) in the (x, y)-plane. Hence or otherwise find how
many solutions of period two the difference equation xB+i = F(a, x„) has for
each value of a e (1,2], and state which are stable.
Q3.24 Topological conjugacy of the tent and logistic maps. Two maps F and G are
said to be topologically conjugate if there exists a smooth invertible map H
such that F = H~lGH.
Show that the logistic map, defined by F(x) = 4x(l - x) for 0 < x < 1,
and the tent map, by G(x) = 2(j — jj — x|), are topologically conjugate, on
taking H(x) = 2n~l arcsin^x. Deduce that if x„+1 = G(xJ for n = 0, 1,...
and y„ = sin2(^7rxB) then yB+1 = f(yB). What is the solution x„ in this case?
Q3.25 A class of one-dimensional difference equations, (a) Suppose that 0B+1 = 28„
modulo 1 and 0 8n < 1 for n = 0,1,..., and define
xB = sn2(2/C(m)0„|m) forO^mcl,
Hence show that f(m, x) has only one maximum for 0 < x < 1, where its
value is and that f(m, 0) = 0,/(m, 1) = 0, fx(m, 0) = 1.
[Hint: you are given further that sn(z|m) is a monotonically increasing
continuous function of z for 0 < z < K(m), that sn(0|m) = 0 and
E
116 Difference equations
for —oo < x < oo. Show that F maps (—oo, oo)onto [—1,1]. Find the fixed
points of F and whether they are stable.
Show that if xn+1 = F(x„) for n = 0,1,... and -oo < x0 < oo then there
exists a real number zx such that Xj = tanhzt provided that x0 # ±1. De¬
duce that x„ = tanh(2"“1z1). Find the attractors of F and their domains of
attraction.
Q3.27 Another one-dimensional difference equation. Define F by
for a ^ 0. Show that there are fixed points X = 0 for all a and that X =
± U(a)/n, where U is the zero of u — a sin u such that < U < n. Sketch a
graph showing clearly the values of a for which the second and third fixed
points exist. What other fixed points are there?
For what values of a is the origin a stable fixed point? Show that
the second and third fixed points are unstable when a > ax, where ax =
Ux /sin Ux and Ux is the zero of tan u + u such that \n < Ux < n.
Describe qualitatively the bifurcations as a increases from zero to n. You
should use graphs of F and some higher-generation maps, but may also use
heuristic arguments and quote any relevant results.
Describe briefly the various sets of cluster points when a = n.
Q3.28 Period doubling of an exponential map. Define F by F(a, x) = aex for — oo <
x < oo, a < 0. Show that F has a unique fixed point X(a), which is stable if
— e ^ a ^ 0 and unstable if a < —e. Show that X(a) ~ a as a 10, Y(a) =
— 1 + (a + e)/2e 4- 0{(a + e)2} as a-*— e, and X(a)-ln( — a) as
a -> —oo.
Defining the second-generation map G of F by G(a, x) = F(a, F(a, x)),
show that Gx = FG, Gxx = F(1 + F)G, Gxxx = F(1 + 3F + F2)G, where the
subscript denotes partial differentiation with respect to x. Deduce that
Gx(a,X) = X2, Gxx(a, X) = X2(l + X), Gxxx(a,X) = *2(1 + 3Y + X2). By
graphical consideration of the intersections of the line y = x and the curve
Problems 117
F(x) =f(x + a)
for a e [0,1). Find the fixed points X, if any,' of F, showing for what
values of a each exists.
Prove that F has two-cycles {X, T} if and only if a = the two-
cycles then being given by Y = X -I- \ for all X e [0,^).
(b) The sine map G : [0,1) -+ [0,1) is defined by
for fixed parameters a e [0,1) and b e [0, oo). Sketch the curve y =
a + (27t)-1 6 sin 2nx in the (x,y)-plane for 0 < x ^ 1, 0 < a < j and 2na <
b <2n(\ — a). Hence or otherwise show that then G has two fixed points,
and find them in explicit terms of elementary functions. Show further that
G has no fixed point if b < 2na and one if b = 2na.
Consider next the two-cycles {Z, T} of G, taking 0 X < Y < 1 with¬
out loss of generality. Show that
then there exists a two-cycle for all X0 e [0, \) for sufficiently small b > 0.
Summarize your results in a sketch of the regions of the (a,h)-plane
where there exist fixed points of G and where there exist two-cycles.
[There are similar regions of the (a, h)-plane where p-cycles of G exist for
p = 2, 3, ..., and small b. These regions join up and chaos ensues as b
increases. The regions are called Arnol'd tongues. Cf. Arnol’d (1961, §12).]
Q3.30 An exponential map. Find the fixed points of F(a,x) = xeatl~x) and their
stability for all a > 0. Discover the stable periodic orbits for a = 2.3, 2.6 and
2.9 by numerical experiments.
Q3.31 A cubic one-dimensional map. Given that F(a,x) = ax(l — x2), show that F
maps the interval [0,1] into itself if 0 < a < 3^/3/2 = 2.598. Show that the
fixed points are X = 0 for all a and X = ±{(a — l)/zz}1/2 for all a < 0 and
a > 1. Show that X = 0 is stable for — 1 < a < 1 and X = {(a — 1 )/a}1/2
for 1 < a < 2. Sketch the bifurcation diagram in the (a, x)-plane.
Use a computer to find period doubling at values ar of a for r = 1,2,...,
and verify that
(al~l-ar)/(ar-ar+l)^> 8 asr—>°°,
for all x = (x,y), where - 1 < b < 1. Show that if X = (X, Y) is a fixed point
of the second-generation map F2 then
respectively for all a > a, = |(1 - b)2. Show further that the two-cycle is
stable if at < a < a2 = (1 — b)2 -f j(l + b)2 and unstable ifa > a2.
Q3.35 The location of an invariant set of the Henon map. Show that if a = 1.4,
6 = 0.3 then the quadrilateral with vertices (-1.33,0.42), (1.32,0.133),
(1.245, -0.14),(-1.06, -0.5) is mapped into itself by equations (6.1).
[Henon & Pomeau (1976).]
Q3.36 The Lozi map. A piecewise linear map F: R2 -*■ R2 is defined by F(x) =
(/(x), g(x)), where x = (x, y),
[It may help to regard the map as an analogue of the Henon map (Lozi
1978).]
Q3.37 The Lozi map again. A piecewise linear map F: R2 —»R2 is defined by
F(x) = (/(x),gf(x)), where x = (x,y),
R(x) = (x cos a — y sin a, x sin a -I- y cos a), S(x) = (x, y — x2), T = RS,
k
F(k,p,x) = p — —sin2nxmodulo 1 and 0 < F < 1,
2n
Fig. 3.14 Sketches of the cat map. (a) The cat’s head in the unit square. (b) The
map of the head before moduli one are taken, (c) The final map of the head.
where /: IR -»IR is differentiable, and a, b > 0, show that F maps the line
x = x0 into the line x = ax0. What are the fixed points of F, and for what
values of a, b does each exist?
Show that if g: IR -> IR is a function of Weierstrass type defined by
then the curve y = g(x) is mapped into itself by F. Find the Jacobian of F at
a typical point of the curve, and deduce that the curve is a repeller.
Taking f(x) = sin27tx and ae {2,3,...}, modify F so that it maps a
cylinder into itself and find an invariant closed curve of the modified map.
[Falconer (1990, p. 196).]
Q3.43 Canonical form of a quadratic map of the complex plane. Show that if
zB+1 = az2 + 2bz„ + c, w„ = az„ + b, d = b2 — ac — b and a ^ 0 then wn+,
= w„2 - d.
Q3.44 Stability of a fixed point of an analytic map of the complex plane. Suppose
that the map F: € -»C is analytic at Z, where Z is a fixed point of F,
i.e. Z = F(Z). Then show that Z is stable if |F'(Z)| < 1 and unstable if
\F'(Z)\ > 1.
Problems 123
Find the fixed points of F(z) — z2 + a for all complex a, and for what
values of a each is stable.
Show that if Z is a fixed point of F2 then
(Z2 - Z + a)(Z2 + Z + a+ 1) = 0.
un+l = F(b,r,u„),
where F(b, r, u) = b + ur for all u > 0. Taking r = 2 in turn, find the fixed
124 Difference equations
points of F for all b and determining for what values of b each exists and
each is stable.
Show, by graphical means or otherwise, that the qualitative results are
typical for r < l,r > 1 respectively.
Q3.50 The initial-value problem. Considering the eigenvalue r, belonging to the
eigenvector vy of the adjoint of the Jacobian matrix J such that
JTvy = ryv;
for) = 1,2,..., m, show that in general the eigenvalues may be ordered so that
r, = qt and then vju* = 0 if k*j.
Deduce that, in equation (1.6), = v)x^/v)u;.
xn+] = axn(l~x„),
and assuming that there exists the rth momenta limw__ forr= 1,
2, ..., show that x2= (a - 1 )x/a. In particular, deduce that if a- 4 and x. = y
then Var(jc) = j.
Show also that
= o2j^( 1 - 2x„ + xt), x„+2 = a2x„ {1 - (a+1) ar„ + 2cvFn -axsn},
and deduce that each of these two equations gives
x = a\2jF - x*)Ha - 1 )2{a + 1)
if a * ± 1. What prospect is there of evaluating J as a function of a by using
higher-moment equations as well as those above?
Q3.52 Conjugate maps. Suppose that x„ = P{6„), xn+l = F{x„) and 0„+l = 26„ for n = 0,
1,..where 0 < P(6) < 1 and P has period 1. Given P, verify F in each of the
following cases.
(a) P(0)= 1-11 -2d\,F(x)= 1-11-2x1.
(b) P{ 6) = 4 1 - 6), F(x) = 4( 1 - jc)'1/2 {1 - (1 - x)'1/2}.
Q3.53 Area-preserving maps. You are given a map of the plane defined by lx, y) —»
{fix, y), g(x, y)) for smooth /, g: IR2 —> IR. Show that the map is area¬
preserving if and only if there exist smooth F, G: R —> IR, y/: IR2 —» IR, such
that
Q3.54 Some two-cycles. Find all the two-cycles of the baker’s transformation of
Example 3.13 for 0< a < 1.
Q3.55 A bound on a Julia set. Show that if/fz) = z2 + a and Izl > max(2, lal) then l/(z)l
> Izl. Deduce that/”(z) ->~asn->»>, and thence that the Julia set of a is a
subset of the disc Izl < max(2, lal).
Some special topics
1 Cantor sets
We have met some strange attractors and asserted that they were ‘Cantor
sets’. We shall now define Cantor sets more carefully. They are called Can¬
tor sets because they share some important properties of Cantor's middle-
thirds set, K say (Cantor 1883, p. 590). To define K we first define a se¬
quence of subsets K„ of the unit interval, as shown in Fig. 4.1. Thus we
define K0 = [0,1], K, = [0,±] u [f, 1], K2 = [0,£| u [|,i] u [f,|] u [§, 1]
and so forth. Note that K„ is the union of 2" closed subintervals of [0,1]
of the form [r/3",(r +1)/3"], for appropriate integers r, and so the sub¬
intervals have length 3_". The middle third of each subinterval of K„ is
removed to give Kn+1, so that Kn+1 <= K„ c [0,1]. Then K is the set of all
points common to K0,K1,K2,...,i.e.K = n“=0Kn.
Even this set, in spite of its being so simply constructed, appears as a
repeller of a one-dimensional map (namely the tent map shown in Q4.4).
Another definition of K is the set of all numbers expressible in the terna¬
ry form O.Xjx2x3... = xJ3 + x2/32 + x3/33 + ..., where the digit x„ = 0
or 2 for n = 1, 2, .... (Note that the same real number may have two
ternary forms, e.g., 5 may be expressed as either 0.1 or .
0 0222... and so
belongs to K.) It can be seen that each point of Kx has the ternary form
. x2x3... if it lies in [0,3] = [0,0.0222...] or
0 0 . x2x3... if it lies in
02
125
126 *Some special topics
0 Ko 1
0 3
1
•» V •» Yl2 y * I
0 ^ length of K
= (!)"
-* 0 as n -* 00.
Fig. 4.2 Covering of (a) a line segment (in R) of length / by N lines of length e,
(b) a circle of radius / and centre 0 by n squares of side e, and (c) a line segment
(in R2) of length / by N squares of side e.
but D is not an integer or D / d for some less simple sets. The ideas come
from the definition of Hausdorff dimension (Hausdorff 1919).
We shall in fact use box-counting dimension, or box dimension, which
is somewhat similar to Hausdorff dimension; the dimensions have equal
values for many of the sets we shall meet. To introduce the definition of box
dimension, first take an example in which E is a straight line segment of
length / in IR (see Fig. 4.2). Then the number N of equal lines of length e
necessary to cover all the points of E is given by N(e) ~ /e-1 as e -+ 0. Of
course, we could use as many intervals of length e as we wished to cover the
line segment, but if overlap is avoided and wastage at the ends is minimized
then the number N satisfies the limit. Next take E as the interior of a circle
of radius l in IR2. Then the number N of equal squares of side € necessary to
cover E is such that N(e) ~ nl2e~2 as e -» 0. These and other examples with
simple sets E give a relation of the form N(e) ~ Ve~d as e -» 0 for fixed V,
where d is the topological dimension of E in IRm and E is covered by hyper¬
cubes of side e. This property suggests the generalization that if a set E is
covered in this way such that
lnN{e))
D = lim (2)
«4-o
N(e) ~ 2" as n -» oo
_ gnln2
_ ^gnln3yn2/ln:
where
D = In 2/ln 3 = 0.63093...,
Example 4.2: the von Koch curve. An interesting curve S shaped like a
snowflake was proposed by von Koch (1904). It may be defined as follows.
Let S0 be the three sides of an equilateral triangle, each side having length
one. Then the length of the curve S0 is three. Let Sx be the curve for which
the middle third of each straight part of Sx is replaced by two equal straight
lines directed outwards, so that the replacement is two sides of an equilat¬
eral triangle of which the middle third is the base. It is easiest to see the
definition of Sx by looking at Fig. 4.3. Similarly we replace the middle
thirds of each straight part of Sx to define S2, and define S„ iteratively.
Then S may be defined as the limit of S„ as n-> oo, i.e. S = (X: 3 a point
X„ e S„ for n = 0,1,..., & X„ -*• X as n -» oo}. (Note that SB+X <4= S„. So the
limiting set S is not H?=o S„.) Now here S„ consists of 3 x 4" line segments,
each of length 3-". Therefore S„ can be covered by 3 x 4" equal squares of
side € = 3“". This gives
130 *Some special topics
Fig. 4.3 The curves S0, S, and S2 leading to the definition of the von Koch
curve S.
= 3e~D
= 361-0.
Of course L(e) -*• oo as n -*• oo, i.e. as e -*• 0. Lastly note that the von Koch
curve is self-similar in the sense that if a twelfth of S„+1 is magnified by a
factor of three then it becomes identical to a third of S„, for n = 0,1,_
The von Koch curve resembles the shape of many coastlines and con¬
tours in some ways. Indeed, Richardson (1961) examined the western
coastline of Britain and discovered empirically that it was approximately
self-similar over many scales, the self-similarity being in a statistical sense
that the coastline looks similar on any scale of magnification unless a
specific feature can be recognized. He found that the length L of the coast¬
line satisfies the relation
for 10 km < e< 1000 km, where D « 1.25, by counting on maps, for vari¬
ous values of e, the number N = L/e of steps of length e from point to point
along the coast. He did this by ‘walking’ dividers whose points were a
distance e apart.
In the theory of box dimension we take the limit as e -*• 0, but, of course,
Richardson did not use measurements on scales smaller than those re¬
solved by the maps available to him, let alone on the scales of metres,
4.2 Dimension and fractals 131
3.1 Introduction
This section is an elaboration of some ideas raised in §3.4, so a review of
that section would make a good foundation to the reading of this one.
Note, in particular, Table 3.1 and Fig. 3.6. For new results first note that in
fact not only is the nature of period doubling universal but so, in a sense to
be seen soon, is the order of the p-cycles which arise at the bifurcations as
the parameter increases. Thus Fig. 3.6 has the same qualitative appearance
for a wide class of maps of which the logistic map is just one. This follows
from a remarkable theorem.
• • • o 22 • 9 <] 22 • 7 <i 22 • 5 o 22 • 3
•••<i2-9<i2-7<]2-5<i2-3
Example 4.3: the logistic map. It is shown in §3.4 that if F(a, x) = ax(l — x)
then there is a stable fixed point, i.e. a 2°-cycle, X = (a — 1 )/a for 1 < a ^
ax = 3 with eigenvalue q = 2 — a. Therefore A0 = 2 because q = 0 when
a = 2; then X = \. Also there is a stable 2x-cycle {XUX2} when
ax < a ^ a2 = 1 + V6 with = [dF2(a,x)/dx]Xi = Fx(a>X1)Fx(a,X2) =
4 + 2a — a2. Therefore A2 is the zero of q such that a2 < Al < a2, i.e.
Ax = 1 + V5 = 3.236; then X, = j,X2 = i(l + J5). □
Recall that, by use of the chain rule, the multiplier q determining the
stability of the 2r-cycle can be shown to have the same value f] j=i Fx(a> Xj)
at each point of the 2r-cycle, so that q = 0 if and only if the derivative of F
vanishes at one point of the cycle. Therefore, if F is a smooth convex
function with a simple maximum at Xm then q = 0 if and only if Xj = Xm
for one value of j, i.e. if and only if Xm belongs to the 2r-cycle, i.e.
F2r(A„XJ = Xm.
F2r(Ar,Xm) = 0.
x,l
1-
Fig. 4.4 Sketch (not to scale) in the (a, x)-plane of the bifurcation diagram of a
one-dimensional map, showing the flip bifurcations and superstable 2r-cycles.
the distance from Xm to the nearest other member of the superstable 2r-
cycle. Then the location of the flip bifurcations and superstable cycles is
summarized in Fig. 4.4.
where B, D are constants which depend upon the map F, but S = 4.6692...
and a = 2.5029... are ‘universal’ constants which do not. This shows that a
is the x-scale of the route to chaos by period doubling much as <5 is the
a-scale. The scaling of dr can be expressed as
Example 4.4: the logistic map. If F(a,x) = ax( 1 — x) then we may replace
x - Xm = x - \ by x to get the new function F(a, x) = a(i — x2), ensuring
that the maximum of F is now at x = 0. Then we find that
0i i(*) = (-a)F2(,42,x/(-a))
We can similarly find glr(x) for r = 2, 3, etc. and plot the curves y = £lr(x)
in the (x,y)-plane to see that a limiting function g{ seems to emerge as r
increases. □
T0i(x) - -CLgx(gx{-xlz))
= -« lim {(-a)rF2r(4r+1,(-a)rF2r(/lr+1,x/(-a)r+1))}.
r-*ao
= 0o(*)> say.
4.3 Renormalization group theory 137
where gk is defined by
i.e. that there exists a ‘fixed point’ g of the nonlinear functional operator
T. The famous equation (9) was discovered in a discussion between
Cvitanovic and Feigenbaum (1978, p. 46). We shall incidentally show later
that the fixed point g is unstable.
Although we in fact know a from numerical solutions of difference equa¬
tions, its proper status at this stage of the theory is a constant to be deter¬
mined from equation (9). To find it first note that if g(x) is a solution of
equation (9) then so is pg{x/p) for all p / 0. So we may, by convention,
choose a particular value of p such that
0(0) = 1. (10)
Then, on putting x = 0 into equation (9) and using (5), it follows that
«=-1/0(1). (11)
Equating coefficients of x° and x2, and neglecting the term in x4, we find
that
on assuming that i//, <t> are well-behaved and taking a Taylor series,
= T^ + eJ^ + 0(e2),
where J ^ is defined by
where /(x) = Fa(a0O,x). (Of course, if F{a,x) = af{x) then equation (16) is
exact for all a on omission of the remainder term 0{(a - a*,)2}.) Therefore
the Taylor expansion of the operator T acting on equation (16) gives
J gu = ku
f(x) = X
i=l
</«/(*)
J‘/W = X ^jUj(x)
7=1
~ £i^iui(x) as/c-+oo,
if we assume that ^ / 0 and we may take |A, | > |Ay| for j = 2, 3,.... Then
let 5 = A, and/i(x) = Therefore equation (17) gives
as k -* oo, a -+
140 *Some special topics
Therefore
Now
TF(Ar,0)= —<xF(Ar,F(Ar,0))
= —<xF2(Ar,0).
TF{Ar,0) = 0.
Ar - ax-g(0)/5rh{0) as r ^ oo
= S~r/h( 0),
4 Liapounov exponents
In studying chaotic solutions (§§3.3, 3.4) we have met sensitive dependence
on initial conditions and met simple examples of neighbouring orbits
which separate exponentially. To be more formal we may define an in¬
finite invariant set S of a map F: IR -» IR to have sensitive dependence on
initial conditions if there exists S > 0 such that for all x e S and all neigh¬
bourhoods N (however small) of x there exists y e N and n > 0 such that
|F"(x) - F"(y)| > 3. So neighbouring orbits, however close initially, sepa¬
rate from one another, although each keeps close to the invariant set.
It is, moreover, a characteristic of neighbouring chaotic orbits that their
4.4 Liapounov exponents 141
dF"(x0)
e ~ee"A as n -* oo,
dx0
dF*(x0) |
k = lim
N-'ao dx0 j
= Hm {N-1ln|F'(xJV_1)F'(x^_2)...F'(x0)|},
Fig. 4.5 Computed values of the Liapounov exponent for the logistic map
F{a,x) = ax(l — x) for 2.9 < a < 4.
Example 4.7: some simple one-dimensional maps, (i) First take the linear
mapF(a,x) = ax. Therefore Fn(a,x) = anxand |dF"(a,x)/dx| = \an\ = enln|01.
Therefore A = ln|a|. If the fixed point X = 0 is stable then \a\ ^ 1 and
A ^ 0. Of course if a > 1 then orbits separate exponentially as they are
repelled by the fixed point, but there is no attractor and no chaos.
(ii) For the Bernoulli shift in §3.3 we found that <xn(0o + e) — <t"(0o) =
2"e as € -► 0 for fixed n, where 0O 6 (0,1) is fixed and a is the sawtooth map.
Therefore A = In 2. This is of the essence of sensitive dependence, although
the co-limit set of an aperiodic sequence is an invariant set but not an
attractor because it does not attract all neighbouring points. None the less,
it seems natural to define chaos so that the aperiodic solutions of the
Bernoulli shift are chaotic.
(iii) For the logistic map F(n, x) = ax(l — x) computations are in gener¬
al necessary to find A. Some results are shown in Fig. 4.5. Note how the
windows where a corresponds to a stable cycle have A < 0 and the chaotic
attractors have A > 0. Also note the stable three-cycle and its period doubl¬
ing as a increases above 3.8284. The imperfect resolution of the diagram
smooths out the fine structure of the curve. □
Further reading 143
= lim (i
v-oo
X
\Jy „=o
ln|<Z/(F"(x))|Y
J
(3)
on using the chain rule with the Jacobian matrix of F*. Of course it is the
largest of the Liapounov exponents which will in general give the exponen¬
tial separation of neighbouring orbits.
Kaplan & Yorke (1979) conjectured that the Hausdorff dimension of an
attractor in [Rm is given by
where > k2 > • ■ • > Am and k is the largest integer such that Yj=i A, > 0.
It is now known that equation (4) is correct for most of the attractors likely
to be met in practical problems but that the right-hand side of (4) is only
an upper bound for the Hausdorff dimension. The advantage of computing
D by means of formula (4) is that it is quicker to compute Liapounov
exponents than to compute D by covering methods.
Further reading
§4.2 For a development of the theory of dimension and fractals, the
book by Falconer (1990) is recommended. It covers many aspects with
rigour and without excessive technical difficulties.
144 *Some special topics
§4.3 Collect & Eckmann (1980) prove the properties of period doubling
of one-dimensional maps.
§4.4 Falconer (1990, Chap. 13) treats the theory of Liapounov expo¬
nents with greater rigour.
Problems
Find the fixed points of F for a > 1 and their linear stability. Show that if
x < 0 then F(a, x) = ax and that if x > 1 then F(a, x) < 0. Deduce that
F"(x) -> —00 as n -* 00 if x < 0 or x > 1.
Taking a = 3, show that if 3 < x < § then F(3,x) > 1, that if either 0 <
x<3or§sgxi%l then 0 ^ F(3,x) < 1, and that if either 5 < x < § or
■§ < x < f then 3 < F(3, x) < f. Hence or otherwise show plausibly that
Cantor’s middle-thirds set is invariant under the map F.
[Mandelbrot (1982, p. 181).]
Q4.5 Invariance of a Cantor set under the logistic map. Consider the map
F: (4, 00) x IR —► IR defined by F(a,x) = ax(l — x). Show that if x < 0 then
F(a,x) < ax and that if x > 1 then F(a,x) < 0. Deduce that F"(x) -*■ —00 as
n -* 00 if x < 0 or x > 1.
Show that if \ - (1 - 4/a)1/2 < x < \ + (1 - 4/a)1'2 then F(a,x) > 1.
Speculate on the nature of the invariant set of F in the interval [0,1].
[Fatou (1906), Mandelbrot (1982, pp. 182, 192).]
Q4.6 A devil’s staircase. You are given that the continuous piecewise linear func¬
tion F„ is defined over the interval [0,1] by F„(0) = 0, F„'(x) = l//„ if x e K„
and F^(x) = 0 if x $ K„, where K„ is the union of the 2" closed intervals of
length 3“" used to define Cantor’s middle-thirds set K and /„ is the length of
Kn. Also F is the function defined by F(x) = lim^^ F„(x) pointwise for
0 < x < 1. Further, C„ is defined as the curve in the (x,y)-plane with equa-
Problems 145
tion y = F„(x) for 0 ^ x < 1, i.e. as the graph of F„, and C is defined as the
graph of F.
(a) Show that F„(l) = 1, Fn($) = \ for n = 0,1,.... Sketch C0 and C2.
(b) Find the length of C„ and deduce that the length of C is 2.
(c) Show that F'(x) = 0 if x $ K and that F is continuous over [0,1].
Deduce that F is not differentiable atxeK.
(d) Interpret F as the probability distribution function of a random vari¬
able which is uniformly distributed over K.
Q4.7 A middle-halves set. Define S0 = [0,1], S, = [0,*] u [|, 1], S2 = [0,^] u
[l6. i] u [4, f§] [ft. 1], • • •, so that SB+1 is S„ after the removal of the mid¬
dle half of each subinterval, and thence define S = Pj“=0 SB.
Show that each number x e S has the quaternary form x = O-x^Xj...,
where the digit xB is either 0 or 3 for n = 1,2,....
Show that the box dimension of S is j.
[Cf. Falconer (1985, p. 15).]
Q4.8 The box dimension of the Sierpihski gasket. Let S0 be the interior of an
equilateral triangle with sides of length /. Regard S0 as the union of the
interiors of four equilateral triangles with sides length \l, and define Sj as S0
less the interior of the middle of the four triangles. Similarly, remove the
middles of the three triangles of S, to construct S2, and so forth (see Fig.
4.6). Define S = p|*=oSn.
Show that the box dimension of S is D = In 3/ln 2 = 1.58496.
[Sierpinski (1915), Eggleston (1953).]
Q4.9 The box dimension of self-similar sets. Define the set S as S = P)*=0 S„,
where S„ c: [R, S0 is the unit interval, and Sn+1 is similar to S„ such that SB+1
contains R times as many equal subintervals as S„ does, the length of each
being of r times the length of those of SB. Deduce that the box dimension is
D = lnR/ln(l/r).
State the values of R and r for Cantor’s middle-thirds set and for the von
Koch curve. Define the set S c [0,1] such that if x e S has decimal expres¬
sion x = 0.x j x2... then each digit x„ is even, and show that D = log10 5.
Justify the application of the formula displayed above to the box dimen¬
sion of self-similar nesting sets in IRm, generalizing the definition of r.
[Mandelbrot (1982, p. 37).]
Q4.10 The Sierpihski carpet. Define self-similar sets S„ c= IR2 as follows, for n = 0,
1,_First define S0 = {(x,y): 0 ^ x,y ^ 1}, the unit square; Sj = {(x,y):
(x, y) e S0 & x or y $ (^, §)}, i.e. S t is the union of eight of the nine subsquares
of S0 with sides of length 3, the central subsquare being removed; S2 as S t
with the central subsubsquare of side 1/32 removed from each subsquare of
Sj, as shown in Fig. 4.7; and so forth. Hence define S = H*=o S„.
Show that the area of S is zero and that the box dimension of S is
D = In 8/ln 3 = 1.8928.
[Sierpinski (1916).]
Q4.11 A self-similar plane set with dimension of a line segment. Let S0 be the square
[0,1] x [0,1]. Divide S0 into 16 subsquares with sides of length i, and
define Sj as the union of the four corner subsquares. Similarly, remove the
12 non-corner subsquares of sides of length 1/42 from each subsquare of SL
to get S2, as shown in Fig. 4.8, and define S3, S4,... similarly. Then define
s=nr-«s..
Show that S = {(x,y): x = 0.xxx2... & y = 0.y1y2... in quaternary
form, where x„, y„ = 0 or 3 for all n}.
Show that the box dimension of S is D = 1.
Show that the orthogonal projection of S„ onto the line y = — ^x is the
segment AB, where A = ( —f,^) and B = (f, -§). Divide AB into 4" equal
□ S 0 E|
Q El E3 El
□ □ □ □
□ m □ □
S, s2
Fig. 4.8 Sketch of the sets for Q4.11
Problems 147
and
Show plausibly that if 0 < a < 1 then the attractor of the orbit {F"(x)} is
topologically equivalent to the Cartesian product of the interval 0 < x < 1
and a Cantor set in the y-direction, and the box dimension of the attractor is
D = 1 + In 2/(ln 2 — In a).
[See Example 3.13.]
Q4.14 A non-uniform Cantor set. Let S0 = [0,1], = [0,^] u [§, 1], S2 =
[0. Te] v [e» i] u [§, 4] u [§, 1], • • •, whereby the right-hand half of the left-
hand half and the left-hand third of the right-hand half of each subinterval
of S„ is removed to form SB+1. The set S is defined by S = P)*=oS„. Show
that the box dimension of S is D = In 2/ln 3.
Q4.15 Proof of a very special case of Sarkovskii’s theorem. Prove that if F: R -► IR
is continuous and F has a two-cycle then F has a fixed point.
[Hint: it may help to consider the sign of F(x) - x.]
Q4.16 Proof of a special case of the converse of Sarkovskii’s theorem. Define the
continuous function F: [1,5] -» [1,5] such that F(l) = 3, F2(l) = 4,
F3(l) = 2, F4(l) = 5, F5(l) = 1, and F is piecewise linear; and note that F
has the five-cycle {1,3,4,2,5}. Sketch the graph of y = F(x) in the (x,y)-
plane for 1 < x < 5. Show that F has a unique fixed point and evaluate it.
Show that F3[l,2] = [2,5], F3[2,3] = [3,5], F3[4,5] = [1,4], and F3 is
monotonically decreasing on [3,4]; hence or otherwise prove that F3 has no
three-cycle.
♦Q4.17 An approximate model of period doubling. Consider period doubling for the
logistic difference equation in the form xB+1 = F(a, x„), where
F(a, x) = 1 — ax2.
F
148 *Some special topics
where 3 * « 4 + ^3 = 5.73.
[Landau & Lifshitz (1987, §32).]
Q4.18 The tent map. Show that the Liapounov exponent of the tent map defined
in Q3.22 is ln|a|.
Q4.19 The baker’s transformation. Show that the Liapounov exponents are Xx =
In 2 > 0 and X2 = — ln(2/u) < 0 for the baker’s transformation defined in
Example 3.13 and Q4.13. Verify that formula (4.4) gives the box dimension
of the attractor correctly.
Q4.20 Arnold's cat map. Define F: T2 -> T2, where T2 = IR2/Z2 is the torus, by
1 Introduction
We have introduced ordinary differential equations in Chapter 1, and
considered some bifurcations of their equilibrium points. We shall next
consider the points, their stability, attractors and bifurcations more sys¬
tematically and in greater depth. In this chapter we make a few general
remarks and definitions, and consider a few general properties, before ex¬
amining special classes of equations in detail in later chapters. We shall
observe many similarities but some dissimilarities between the properties
of difference and differential equations.
We can represent an mth-order differential equation as a system of m
first-order equations, much as we did for difference equations. (Again, the
converse is in general false.) So we need consider only
^ = F(x,t) (1)
df
for F: IRm x U -> IRm. We shall assume that F is sufficiently well behaved for
there to exist a unique solution x(t) of equation (1) such that x(0) = x0 for
given x0 e IRm; moreover we assume that x(f) is nonsingular, at least for t
less than some finite value depending on x0 as well as F. The system (1) is
said to be autonomous if F does not depend on the independent variable t
explicitly, and to be non-autonomous otherwise. We can transform a non-
149
150 Ordinary differential equations
dy
(2)
dt
The (m + l)th component ensures that ym+1(t) = t for all t > 0. Therefore
dy
= G(y),
dt
d2x ,
-7-5- + x — = T cos cot
dr
dx
dF = F(x) (3)
for t > 0, with initial condition x(0) = x0 for given x0 e (FT. The orbit may
be regarded as the path of a particle which starts at a given point x0 and
moves with velocity F in the phase space for t > 0. To describe the
5.1 Introduction 151
paths it is helpful to define the map <j>s: IRm x [R -► IFT, called the flow,
which maps each point x0 in phase space for each ‘time’s to x(s), where x(f)
is the solution of the above system such that x(0) = x0. Thus the flow <J», is
the analogue of the iterated map F" for a difference equation xn+1 = F(x„).
Note that <M<Mxo)) = <MX(0) = x(s + t) = <k+r(xo)> and <M<Mxo)) =
<{>s+r(x0), similarly, so that ^(J), = <|>s+t = <j>,<|>s, just as FmF" = Fm+" = F"Fm
for m, n = 0,1,2,.... Therefore all the flows <|>( for t > 0 are the elements of
an Abelian semigroup (not a group because the inverse = <J»_r may not
exist).
An equilibrium point, or critical point, X is a zero of F, for if x0 = X and
F(X) = 0 it follows that x(f) = X for all t > 0. Note that an equilibrium
point is a fixed point of the flow <J>, for all t.
An equilibrium point X is said to be stable if V e > 0 3 <5(e) such that
Therefore
dx' dx
dt dt
= F(x)
= F(X + x')
= H(x'),
Ju = su; (5)
x0 = I j. (6)
j~i
It follows that the solution of equation (4) is
m
x(t)=L^exp{sjt)Uj for t ^ 0. (7)
j=i
(Note that Sj and u7- are either a real triplet or one of a complex conjugate
pair of triplets because J and x0 are real.) We infer asymptotic stability,
with exponential decay of all modes if Re(s,) < 0 for j = 1, 2, ..., m and
instability of X if Re(s,) > 0 for at least one value of j. It is said that the
equilibrium point 0 is linearly stable or infinitesimally stable if it is a stable
point of equilibrium of the linearized system (4), whether it is a stable or an
unstable point of equilibrium of the nonlinear system (3).
A cluster point or limit point x*, of an orbit (x(f)} as t -* oo is defined as a
point such that V e, t > 0 3 f! such that
D(A) = {x0: dx/df = F(x), x(0) = x0 & the co-limit set of {x(t)}
is contained in A}.
An oc-limit set and a repeller may be defined as analogues of co-limit set and
attractor respectively as t -*■ — oo.
To consider bifurcations next, suppose that
l=F(a'x)
for F: 1R' x IRm -»• !Rm. If the topology of the phase portrait changes with a
in all neighbourhoods of a0 then we say that there is a bifurcation at a0,
and a0 is a bifurcation value of a. This definition, at the cost of vagueness,
deals with the bifurcations of unsteady as well as steady solutions of the
differential system.
2 Hamiltonian systems
Next we examine the evolution of the volume of a set of points governed by
equation (1.3), and, in particular the case in which the volume is constant
for all initial sets.
First trace the evolution of a single orbit for a little time. Now
div F = 0. (1)
dq _ dH dp _ _ dH
dt dp ’ d£ dq
^ = F(x,0,
where F: IR2" x IR -*■ OR2", x = (q, p) and F = (dH/dp, -dH/dq). We see that
divF =i±(f)+i± = 0.
i=i dqt \dpij k\ dpi
dq dH dp dH
mco2q.
d t = TP=plm’ d7
d2q
so ^ + “4 = 0.0
dH dH dp dH dq
5.3 The geometry of orbits 155
4>\
0 2n 0
(a) (b)
Fig. 5.1 (a) The torus T2 and its polar angles 6 and 4>. (b) Map of the torus onto
the half-open square [0,2n) x [0,2n).
156 Ordinary differential equations
Fig. 5.2 Orbits on a torus, {a) Periodic solution x(t) and fixed point of the
Poincare map. (b) Periodic solution x(t) and two-cycle of the Poincare map.
(c) Quasi-periodic solution x(f) cutting circle densely in the section of the
Poincare map.
such that
9 = 2nkt and </> = 2nlt for t ^ 0,
where k, l are real. To picture the orbits on the torus it is helpful to use the
Poincare map on the plane section 9 = 0. Now P returns to the plane
whenever 2nkt = 2wr for n = 1,2,..., i.e. when t = n/k, at which times (f> =
2nln/k. Therefore the Poincare map is the rotation map of points on the
circle cut by the torus on the plane 9 = 0, </>n+x = </>„ + 2nl/k, or </>„+l/2n =
</>„/2n -(- l/k (see Example 3.9). It follows that the orbit of the Poincare map
and thence the orbit of P on the torus is periodic if and only if l/k is
rational; in that case l/k = q/p for coprime integers p and q, and P winds p
times around the torus in the 9-way and q times in the ^-way before it
returns to its starting point. A few cases, relating the Poincare map to
orbits on the torus, are sketched in Fig. 5.2. See also Poincare (1885b,
p. 226).
The case with irrational l/k gives an example x(t) of what is called a
quasi-periodic function with two fundamental frequencies, namely 2nk and
2nl. Quasi-periodicity is a natural generalization of periodicity. A quasi-
periodic function x: R -► IRm is defined as one for which there exists a func¬
tion P: IR" -*• IRm and fundamental frequencies fx, /2,..., f„ such that
(a) \{t) = P(f,t,f2t,...,//) for all t, where P has period 2n in each of its n
arguments, and
(b) n ^ 2 and no frequency is a rational multiple of another.
Example 5.4: some quasi-periodic functions, (i) x(t) = cos t + 3 cos y/21
gives a quasi-periodic function x: IR -*• IR with fundamental frequencies
1 and yj2. (ii) x(f) = [5 cos 2t sin nt, 1 + sin2f + sin37tf]T gives a quasi-
periodic function x: IR -► IR2 with fundamental frequencies 2 and n. □
£ = F(x), (1)
for F: [Rm -*■ IRm, has a known solution X of period T, so that X(f 4- T) =
X(f) for all t. Then X is represented by a closed curve in phase space. The
solution is said to be stable in the sense of Liapounov, or simply stable, if we
replace X by X(r) in the definition of stability of an equilibrium point in §1,
i.e. if x(r) — X(t) is small for all t ^ 0 whenever x(0) — X(0) is sufficiently
small. It follows then that the limit cycle of §1.6 is stable.
However, this definition of stability is often stricter than is desirable,
because we are often more concerned with the orbit in phase space rather
than where on the orbit the solution is at a given time. To understand this,
consider the example of the system
d6
r.
dt
Therefore
r(t) = r0, d{t) = r0t + 0O,
i.e.
and the solution has period 2n/r0. This solution, X say, is unstable, because
if there is a neighbouring solution, Xt say, such that r = r0 + 5, 6 = d0 at
t = 0 for S > 0 then
does not remain small for all t > 0, however small 1X^0) - X(0)| = 6 may
be. Nonetheless, the orbit of in the phase plane is the circle r = r0 + 5,
which does remain close to the orbit r = r0 of X for all t > 0 when S is
5.4 The stability of a periodic solution 159
Fig. 5.3 Sketch of the orbits of {X(r)}, {x(t)} and the linear map
L: x(0) - X(0) i- x(T) - X(0).
160 Ordinary differential equations
n -*■ oo, i.e. x(nT) approaches X(nT) = X(0), if\qj\ < 1 for j = 1,2,..., m; in
this case (x(f)} is attracted by the closed orbit {X(f)} and so the periodic
solution X is asymptotically stable (and orbitally stable). Similarly, if \qj\ >
1 for at least one eigenvalue qs then X is unstable (but could be orbitally
stable if the eigenvector u, were tangential to the orbit of X at t = 0).
The method may be expressed in more detail analytically. The lin¬
earized system of (1) for small perturbations x' = x — X is
^ = J(X(!))x', (2)
where the Jacobian matrix J has elements \_dFi/dxj']x as usual. Now the
linearized system (2) has coefficients which are functions of t with period T.
There is a complete analytic theory of the solution of such linear systems
due to Floquet (1883). In particular (cf. Q5.17), it can be proved that for
each fundamental matrix <I> of system (2), i.e. for each m x m nonsingular
matrix such that
— = J(X(t))0>,
Further reading
§5.1 We have assumed that the right-hand side of the differential system
(1) is well enough behaved for the solutions of the initial-value problem to
exist and to be unique. Many good books on the analytic theory of ordi¬
nary differential equations, e.g. Coddington & Levinson (1955, Chap. 1)
give the relevant conditions and theorems. Also some conditions for which
stability or instability for the linearized system determine the stability of an
equilibrium point are stated and proved by, e.g., Coddington & Levinson
(1955, Chap. 13).
Poincare’s contributions to the theory of ordinary differential equations
which we describe in Chapters 5-8 are prodigious. Much of his work was
first published in a series of papers in the 1880s, much in a book (Poincare
1892,1893,1899). In addition to finding the results which bear his name, he
framed the ideas and coined the names of node, focus, saddle and limit
cycle, discovered the recurrence theorem (Q5.14), anticipated chaos (§8.3),
and conceived index theory, rotation number and the reduced three-body
problem. The development of his ideas has been traced by Gray (1992).
§5.4 For further reading on Floquet theory, Coddington & Levinson
(1955, pp. 78-81, 218-20) and Jordan & Smith (1987, pp. 245-60) are
recommended.
Problems
Q5.1 A Poincare map of an equivalent autonomous system. Show that the non-
autonomous first-order equation
dz
— = —Z + € COS t
dt
dz d0
— = —z + €cos0, — = 1, with 0(to) = t0.
dt dt
the Poincare map P®°: E -*E, where E = {(r, 0, z):r — 1,9 = 0O} is the line
of intersection of the orbits with the half-plane 9 = 90, deducing that
Find the fixed point Z of P®° and show that Z -* 0 as e -» 0 for all 0O. For
what values of 0O, e is Z stable?
Q5.2 Gradient systems. Show that if V: |Rm —► IR is continuously differentiable,
dx
— = -grad F(x),
— = 2x2y — = — 2xy2
dt dr y ’
Q5.4 Euler’s equations of motion of a rigid body about a fixed point. It is given that
a rigid body freely rotating with angular velocity a) = (a)l,a>2,a>3) about
a fixed point (i.e. a point fixed to an inertial frame) is governed by the
equations
da). dca,
A-—= (B - C)(D2a>3, B-— = (C - A)(o3(ox,
at at
da) 3
C— = (A - B)a)1co2,
where A, B, C are the principal moments of inertia of the body about its
fixed point. Show that
dx dy dz
Tt‘~y-Z’ dt = x + ay' +
Find the equilibrium points, and conditions for their existence. Sketch the
bifurcation diagram in the (c, x)-plane for fixed a,b> 0, naming the bifurca¬
tion points.
[Rdssler (1976).]
Q5.6 The pitchfork bifurcation of the Lorenz system. Show that X = 0 is an equi¬
librium point of the system
dx
— = [tr(y - x),rx - y - zx,-bz + xyf
for x = [x,y, z]T, and positive parameters r, b, a. Linearize the system about
the null solution to find the eigenvalues s and eigenvectors of the normal
modes proportional to e5'.
Show that the eigenvalue st of one mode satisfies ~ o(r — 1 )/(o + 1)
and that a corresponding eigenvector u j -» [ 1,1,0]T as r -» 1.
(a) Show that the system for steady solutions may be written without
approximation as
x - y = 0,
x — y = zx — (r — l)x,
bz = xy.
x + y = 2S.
for fixed b and <x, substitute these expansions into the four equations, and
show that x, = [1,1,0]T and r, = 0. Find r2 and x2.
(b) Next define e = (r — 1)1/2, A = [1, l,0]x/2€andu = c2f forr > l,and
assume that there exist unsteady solutions of the form
where a prime denotes differentiation with respect to u. Show first that the
system may be expressed as
x - y = -€2x’/o,
x — y = zx — e2x 4- e2y',
bz = xy — €2z\
164 Ordinary differential equations
d2x
+ V'(x) = 0
dr2
d2x
—^ + (a — 2q cos 2 t)x = 0,
dr
H(Pi,qi) =
dx dy
dd7=~*
<5 L(q, q, t) dt = 0,
d dL dL _
df dq dq
cH dH dH
— dp + — dq + dt = dH
cp cq ~di
dq dH dp dH dH dL
dt dp' dt V ~dt ~dt’
Q5.13 ABC flows. Consider the flow of a fluid with velocity distribution u: IR3 -*
R3 such that u(x) = (Bcosy + C sin z,Ccosz 4- /tsinx,v4cosx + Bsiny)
and x = (x, y, z) for given real constants A, B, and C. Show that curl u = u.
[*It follows that the flow is a Beltrami flow, a Beltrami flow being defined as
one for which curl u is parallel to u.] Show also that
dx i \
it - UW'
Use this solution to determine the Poincare map of the half-open face of the
cube with z = 0 and 0 < x, y < 2n, i.e. show that if x(0) = (xB,yn,0) then the
orbit next cuts the face in the point (x„+,, yn+,, 0), where
and 0 ^ yB+, < 2n, provided that /4cosx„ > 0. Hence describe briefly the
iterates of the Poincare map according to the values of the initial point
(*o> y0. zo)-
[Henon (1966), Dombre et al. (1986).]
*Q5.14 Invariant set of a measure-preserving map and recurrence. Consider the
dx
system — = F(x), where F: -*■ R" is continuously differentiable and
dt
div F = 0 for all x. Suppose further that there exists a bounded invariant set
Problems 167
I of the flows <j>„ and V0cl is a set of points with positive measure, i.e.
Mvo) > 0, and define V(t) = «|>,V0 for all t > 0.
Show first, by reductio ad absurdum or otherwise, that at least two of the
sets V(0), V(l), V(2),... have a point in common. Deduce that there exists
t, > 0 such that V(0) and V(f,) have a common point. Hence or otherwise
show that there exists an infinite sequence t, < t2 < ... such that t„ -* oo as
n —* <x> and V(0) and V(rn) have a common point for n = 1, 2,_Deduce
that if x(0) c I then x(f) lies arbitrarily close to x(0) for a sufficiently large
value of t. [Poincar6(1890, §8).]
. 15 Stability in the senses of Liapounov and Poincare, (a) Show that if
then the periodic solution A(f) = a cost is stable in the senses of both
Poincare and Liapounov.
(b) Show that if
d2x
—y + sin x = 0,
dr
d2x dx dx
+ b + x — a + x = 0
df2 dt df
Deduce that the limit cycle X is stable in the sense of Liapounov if, more¬
over, b > 0.
Defining the Poincare map Pa: Z -*• £ of the system by Pa{r(0)} = r(2n)
for all r(0) ^ 0, where I is the half-line 9 = 0 in the phase plane, show that
yja is an asymptotically stable fixed point of Pa for all a,b> 0.
17 Floquet theory. Consider the system
= A(f)x(f),
dt
d<D(t)
—^ = A(f)<D(t), 0(0) = I,
and hence that <D(f + T) = 0(f)C, for some nonsingular matrix C. Deduce
that C = 0(7). Assuming that the nonsingularity of C implies that there
exists R such that C = eTR, define P(f) = <D(r)e_,R and prove that P has
period T. Deduce that <D(f) = P(t)e'R.
[Note that integration over a period T determines P, and then P deter¬
mines the fundamental matrix and hence all solutions for — oo < t < oo.]
The Floquet multipliers are defined as the eigenvalues q2, q2,..., qm of C
and the Floquet exponents as the eigenvalues s,, s2,..., sm of R. Show that
qj = exp(SjT) for) = 1,2,m if the exponents are ordered appropriately.
Prove the Jacobi-Liouville formula that
where /(f) = 1 if 0 < t < \ and f(t) = — 1 if 5 < t < 1, and / has period 1,
for a > 0.
Q5.19 Hill’s and Mathieu's equations, (a) Suppose that x satisfies Hill’s equation.
namely
where P is a real function of period n. Use the results of Q5.17 to show that
qt,q2 are either both real or complex conjugates and that qxq2 = 1. Deduce
that there exist independent solutions xltx2 such that x/t + n) = qjx/t) for
j — 1, 2, and that if the null solution of the equation is on the margin of
stability then Xj has period n (synchronous) or 2 n (subharmonic) for j = 1 or
2.
[Cf. Coddington & Levinson (1955, Chap. 8, §4).]
(b) Seek marginally stable subharmonic solutions of Mathieu’s equation.
Problems 169
d*x
+ (a — 2e cos 2t)x = 0,
d7
as € -»0. First take x0(t) = cost and show that a, = 1, x,(t) = -|cos31.
Then take x0(r) = sin t and fuida^x,.
*Q5.20 Mathieu's equation. Show that each solution x of the equation,
d2x
—T + (a — 2e cos 2 t)x = 0,
dt
x(t) = A2ncos2nt
n=0
oAq eA2 ~ 0,
a0(e) = -W + °(f3)-
B. van der Pol & J. van der Mark (Phil. Mag. 1928)
1 Introduction
An important class of systems of ordinary differential equations is that of
second-order autonomous systems, i.e. systems of the form
dx dv
d7 = F(x,y)’ dt = (!)
They are important because they are fundamental to much of the be¬
haviour of higher-order systems and because they may be used to illustrate
much of the behaviour simply. They are important also because they have
many applications; indeed, many mechanical, electronic, chemical and bio¬
logical phenomena have been successfully modelled by systems of the form
(1). Poincare thoroughly investigated their properties, by both analytical
and geometrical methods. In particular, he devised the use of the phase
plane, examining orbits in the (x, y)-plane, i.e. the curves with equation
dy _ G(x,y)
dx F(x,y)‘
170
6.1 Introduction 171
An important subclass of systems of the form (1) is the class of those for
which F(x, y) = y and therefore
(3)
d2x dx
^y+/W-37 + 0(x) = O (Lienard’s equation), (4)
dt
d2x 1 / dx\ dx
+ €<-[ — ) — 1 >— + x = 0 (Rayleigh’s equation), (5)
d7 [3\dtJ dt
d2x . dx
(van der Pol’s equation). (6)
d?+e(x -,)* + x=0
dx dv
x— + y- (7)
df dt
dr
= cos 9{F(r cos 0,r sin 0)} + sin 0{G(rcos 0, rsin0)}, (8)
dt
dd
r 1 cos 0 (G(r cos 0,r sin 0)} r 1 sin 9{F(r cos 0,r sin 0)}. (9)
dt
orbits near each equilibrium point (by use of the solutions of the linearized
system), to identify any simple solution curve (e.g., a coordinate axis), and
to make such other deductions as are apparent (e.g., about orbits at infinity).
Also equation (2) gives the slopes of the curves everywhere. There should
come a stage of this process (for textbook and class examples, if not for a
complicated example from real life, which requires numerical integration)
when these details can be synthesized in your mind so that a global picture
of the solution curves is understood, perhaps in a flash of realization. It
must be added that the advent of accessible and easy numerical programs
with simple graphics on cheap computers has already made computation a
valuable complement to these traditional methods.
The rest of the chapter covers aspects of this problem, substantiating
some of the details which make up a phase portrait; the examples provide a
little experience of sketching phase portraits. The local behaviour of the
orbits near an equilibrium point is found in §2 by explicit solution of the
linearized equations. The Liapounov direct method of proving stability or
instability of an equilibrium point is given in §3. In §5 limit cycles, which
correspond to closed curves in the phase plane, are explained and the
Poincare-Bendixson theorem is given to prove their existence. Some asym¬
ptotic methods to give quantitative results are introduced in §4 and §6. It
will become increasingly apparent, in sketching phase portraits, that the
equilibrium points and the limit cycles are very important in determining
the global pattern of the orbits.
2 Linear systems
This section is a review of the linear theory, some of which has already been
used in Chapter 1.
Suppose that the system (1.1) has a point X of equilibrium, i.e. that
F(X) = 0, where X = [X, T]T and F = [F, G]T. Without loss of generality
we may translate the equilibrium point to the origin so that X = 0. Then
F(0,0) = G(0,0) = 0. To consider orbits of (1.1) near 0, assume that F is
continuously twice differentiable, so
(1)
shall examine this approximation more critically later. For the present we
shall classify the types of equilibrium points of the system (1) according to
the properties of J.
The linear system (1) with constant coefficients can be solved in general
by using the method of normal modes, i.e. by seeking solutions \(t) = es'u
for a constant vector u. Then
Ju = su,
0= “ — /
c a — s
= s2 - ps + q, (2)
for arbitrary constants C, and C2, where the eigenvalue Sj belongs to eigen¬
vector u7 = [Uj, VjY for j = 1,2, i.e. where
This explicit solution, and the solution for the case p2 = 4q of a double
eigenvalue, enable us to classify all the equilibrium points according to the
topology of the phase portraits of neighbouring orbits. The results are as
follows.
(i) Node: p2 > 4q and q > 0. Here sx, s2 are real, distinct and of the same
sign. We take sx> s2 without loss of generality. Therefore
x(f) ~ Q exp(s1t)[u1,i;1]T as t -* oo
174 Second-order differential systems
Fig. 6.1 (a) Sketch of the phase portrait of a stable node. On reversal of the
arrows of time, we get the phase portrait of an unstable node. (b) Sketch of the
phase portrait of a saddle point.
if Cx # 0, and so y/x -*■ v1/u1 as t -*• oo. This describes what is called a node,
stable if < 0, and so if p < 0, and unstable if p > 0. See Fig. 6.1.
(ii) Saddle point: p2 > 4q and q < 0. Here sl5 s2 are real and of opposite
signs, so we may take sx > 0 > s2 without loss of generality. The orbits
near 0 resemble hyperbolae.
(iii) Focus or spiral point: p2 < 4q and p ^ 0. Here st and s2 are a com¬
plex conjugate pair with non-zero real part, so we may take st = s2 =
i{p + i(4q - p2)1/2}. Then
These are the generic, i.e. typical, cases, for which no two eigenvalues are
equal and the real part of no eigenvalue is zero. If the real parts of all
eigenvalues are non-zero then the equilibrium point is said to be hyperbol¬
ic. A hyperbolic point of equilibrium can be shown to be structurally stable
in the sense that a small well-behaved perturbation such as weak non¬
linearity will not change the topology of the orbits near the point, so that a
stable hyperbolic point will not thereby become unstable nor an unstable
hyperbolic point become stable. There are a few special cases that remain
to be described.
6.2 Linear systems 175
Fig. 6.2 (a) Sketch of the phase portrait of a stable focus. For an unstable focus
the arrow is reversed. (b) Sketch of the phase portrait of a stable improper
node. For an unstable improper node, the arrows are reversed.
(v) Centre or vortex: p2 < 4q and p = 0, i.e. p = 0 and q > 0. Here sl5
s2 = + i<?are purely imaginary. Then
where C, y are arbitrary real constants and K, S are real constants deter¬
mined by a, b, c and d. The orbits are ellipses with centre at the origin. See
Fig. 6.3.
Fig. 6.3 (a) Sketch of the phase portrait of a centre. (f>) Sketch of the phase
portrait of a degenerate node for p < 0 in case (vi). The arrows are reversed if
p > 0. (c) Sketch of the phase portrait of a stable sink with a < 0. The arrows
are reversed for a source with a < 0.
176 Second-order differential systems
(vi) Degenerate node or improper node: p2 > 4q and q = 0, i.e. p2 > 0 and
q = 0. This is a limiting case of (i) above, for which we may put = 0 and
s2 = p. Therefore
and the orbits are straight lines parallel to y = v2x/u2, approaching the
line y = ulx/v1 as t -*■ oo if p < 0 and leaving it if p > 0. See Fig. 6.3.
(vii) Source, sink, proper node or star point: p2 = 4q, q>0,b = c = 0, and a =
d* 0. Here dx/dt = ax, dy/dt = ay. Therefore x(t) = x0ea' and y(t) = y0eat. This
gives radial orbits, the origin being stable (a sink) if a < 0 and unstable (a
source) if a > 0. See Fig. 6.3.
All the results are summarized in Fig. 6.4. The generic cases of an equilib¬
rium point are those represented by points not on the parabola p2 = 4q,
the p-axis or the q-axis. Different authorities choose slightly different sets
of names for the types of equilibrium points.
A node, a saddle point and a focus are defined for a nonlinear system
Fig. 6.4 Summary in the (p, <?)-plane of the classification of points of equilibrium
at x = 0, y = 0 for the linear system dx/dt = ax + by, dy/dt = cx + dy, where
p — a + d and q = ad — be. A disc • denotes that the origin is stable, and a
circle o that it is unstable.
6.2 Linear systems 177
^ = Jx + m
and the linearized system have in general the same topological character
of orbits near 0 if \ is well-behaved and % = o(|x|) as x -* 0 (cf. §3 and
Coddington & Levinson (1955, Chap. 13)). So the linear theory gives the
orbits near an equilibrium point. It is for this reason that the linear theory
is so important in the nonlinear theory. The exceptions to the general rule
arise when the equilibrium point is not hyperbolic, i.e. when p2 = 4q, p = 0
or q = 0, because weak nonlinearity may change one kind of equilibrium
point into another when the linear theory is on the margin between two
kinds of point. For example, weak nonlinear dissipation may change a
centre into a stable focus. We have met and will meet similar ideas in other
examples and problems.
dx dv
— = ax — cy, — = cx + ay
dr dr
dx
— = cx + ay for a < 0, (1)
dt
of Example 6.1 from a different point of view, defining H(x) = ^(x2 + y2).
Therefore
= 2aH
^0, (2)
-*• 0 as t -*• oo
dx dy
— = ax-cy + f(x,y), — = cx + ay + rj(x,y) (3)
< aH
Now let us come to the direct method itself. We shall apply it to the
system
~ = F(x), (4)
where F: IRm -*■ IRm and F(0) = 0. The method is essentially the same for all
m, so we shall give it for general m, but emphasize the case m = 2. We shall
show that if a scalar function H with special properties may be found then
the origin is a stable point of equilibrium. Finding the function is a matter
of experience, and of trial and error, but the function is a generalization of
the energy of a mechanical system, and the argument we use is similar to
the one that if energy is dissipated and there is no available potential ener¬
gy then an equilibrium point is stable.
First we need a definition. A function /: IRm -+ IR is positive definite (or
semidefinite) if /(x) > 0 (or ^ 0 respectively) for all x # 0 and /(0) = 0.
Now we may state the theorem (or, rather, three theorems).
then the equilibrium point is (a) stable, (b) asymptotically stable, or (c)
unstable respectively.
We shall not prove the theorem, which requires some care in case (a);
but the essential idea is that dH/dt = grad H ■ dx/dt = F • grad H and so
that H increases or decreases monotonically with t if F • grad H is positive or
180 Second-order differential systems
dx dy 3
-x- 2y2.
dt d7 = xy~y
dH
— -
17 • grad
= F AU
H
dt
= -(x2 + 2y4),
on choosing a = 2,
<0,
dp _ dH dq dH
dt dq ’ dt dp ’
(1)
(3)
and
x = a, — =0 at t = 0. (4)
dt
182 Second-order differential systems
Then substituting expansion (2) into equation (3) and initial conditions (4),
and equating coefficients of e° gives
d2x0
+ x0 = 0
df2
and
x0 = a, at f = 0.
Therefore
x0(f) = a cost.
d2xx
+ xx = — 2x0 = —2a cost
df2
and
xi = 0, =0 at t = 0.
df
Therefore
This gives
We now see that, however small e is, exj(f) is as large as x0(t) after long
enough a time (when ef 1). So the solution (5) may converge uniformly to
the exact solution x(f, e) as e -*• 0 if f belongs to a given finite interval, but
not if t belongs to an infinite interval.
In this example of simple harmonic motion we can see in detail what
is happening, because we may at once write down explicitly the exact
solution.
The standard power series of cosef and sinef give all terms in the expan¬
sion (2), the first two of which can be recognized in approximation (5). □
6.4 The Lindstedt-Poincare method 183
(6)
The equilibrium points are X = 0 for all e, and X = ± 1/^/e for all € > 0.
So there is a pitchfork bifurcation at x = 0, l/e — 0 in the (l/e,x)-plane.
The point x = dx/dt = 0 can easily be seen to be a centre, and x = ± 1 /yjc,
dx/dr = 0 a saddle point in the phase plane. The phase portraits are
sketched in Fig. 6.5. The separatrices have equation dx/d t =
(«)
Fig. 6.5 Sketch of the phase portrait of the nonlinear spring (6) in the (x,dx/dt)-
plane. (a) The soft spring e > 0. (b) The hard spring e < 0.
184 Second-order differential systems
without approximation. The chosen periodic solution will also satisfy the
condition of periodicity,
u = x(0,e) (11)
dx
^=0 atr=0 (12)
7 d2x0
“° d7r + x» = 0’
d2*i , ~ d2x0
+ Xj = — 2 to, + Xq
dr2 dr
dxj
Xj(t + 27r) = Xj(t) for all r, X! = —— = 0 atr = 0.
dt
If the term in cos t were not to vanish, then there would be a secular term
j(2cujfl + |a3)Tsinr in the particular integral of xls and so exl would be
unbounded and xY could not satisfy the periodicity condition. It follows
that the coefficient of cost on the right-hand side of the equation for xt
does vanish, and therefore
tt>i = - fa2.
Therefore
Xj(t) = al cost + bx sinT — ^u3cos3t
for some constants ax and b1. The initial conditions for X! determine them,
finally giving
f2* T dv dul2*
J. <^-»Md< = [u--C-Jo 04)
f2* dx.
cost^c^a + fa3)cost + fa3cos3t}dr = cost——I- Xj smt
dr
i.e.
j(2wl a + fa3)= 0,
on using the periodicity condition for xl. This gives the equation for w1 as
above. □
d2x
+ x = e/(x, dx/df)
5 Limit cycles
We have seen that the system of equations
dx dv
dt=F(X,y)’ dt = G(x’y) (1)
may have not only equilibrium points but also periodic solutions which
model nonlinear oscillations; and that a periodic solution is represented by
a closed curve in the phase plane. Further, damped or negatively damped
oscillations may tend to a periodic solution; this limiting periodic oscilla¬
tion is called a limit cycle. It is an attractor. An example was given in §1.6.
Note that an orbit of an autonomous second-order system (1) for well-
behaved F, G cannot cross itself except at an equilibrium point, where F and
G both vanish. Also, because the system is well-behaved, all the orbits near
each point except an equilibrium point are all in the same direction F =
(F, G), and the equilibrium points are only of the types we have described; so no
orbit can have a very complicated pattern near a point. By geometrical
intuition it follows that each orbit in the phase plane goes to either (a)
6.5 Limit cycles 187
infinity, (b) an equilibrium point (which, like a saddle point, need not be
stable), (c) a point of itself (when it is a periodic solution) or (d) a limit cycle.
This is the essence of the proof of the Poincare—Bendixson theorem, which we
shall only state. It is a theorem effectively showing that two-dimensional
autonomous systems do not have chaotic solutions.
£=x~y~x+2>'2)> Tt=x+y~ +y
It is helpful to use plane polar coordinates r, 6. Then equations (1.7) give
7dd
r~r = x{x + y - y(x2 + y2)} - y{x - y - x(x2 + 2y2)}
dt
x2 + y2 + xy3
dr
x{x - y - x(x2 + 2y2)} -l- y{x + y - y(x2 + y2)}
rdf ~
Therefore dr/dt > 0 for all 6 if r < r, and dr/dt < 0 for all 6 if r > r2, where
rt = 2/y/5 and r2 = 1. Therefore if x(0) e D, where D is the annulus defined
188 Second-order differential systems
dx 2 dy 2
— = —y + ax 4- xyz, — = x + ay - x . (2)
dr dr
It can be seen by inspection that the origin is an equilibrium point, and its
linearized equations are the same as those of §1.6. There we found the onset
of instability as a increased through zero, with eigenvalues s = ± i at a = 0.
So here also we anticipate the existence of a limit cycle of period 2n/co such
that o) -*• 1 and the amplitude of the cycle vanishes as a -* 0 from either
above (supercritical bifurcation) or below (subcritical bifurcation).
To find the limit cycle asymptotically as a -*■ 0, define r = cot, although
co is not known yet, and deduce without approximation that
x'(0,a) = 0. (5)
0ioxui + y 1/2 — ~ xm — 0,
Lx1/2 = 0,
for some constants A1/2, Sl/2 of integration. The periodicity condition now
gives
co0 = 1,
x1/2(t) = All2cosx,
and
Therefore
Therefore
t^l/2 — 0>
y 32
' / ,~ x3/2 = — ^iyi/2 + .V 1/2 + 2x1/2X1,
Therefore
In order that x3/2 has period 2rc there must be no secular term in its particu¬
lar integral, and therefore the coefficients of sin t and cos t on the right-
hand side of the above equation must vanish, i.e.
Therefore
A f/2 = — 8, (ol =
The fact that A\j2 < 0 implies that there is a real periodic solution only
when a < 0, so that
cost
x(t,a) ~ ( — 8a)1/2
sin t
These results give the leading asymptotic properties of the limit cycle near
the subcritical Hopf bifurcation at a = 0. Further properties can be found
by solving for x3/2, co3/2, x2,..., in turn. □
d2u
+ € + u = 0. (4)
dr2
d2« du
dt1 + dt “ °'
We see, on identifying x = du/df, that equations (4) and (1) are equivalent.
If e = 0, van der Pol’s equation (1) gives simple harmonic motion of
period 2n, with general solution
Therefore, when e > 0, the damping is positive where x2 > 1 but negative
where x2 < 1. So large amplitudes are damped ‘on the whole’, although
small ones are amplified. We anticipate that there is a stable limit cycle.
Careful use of the Poincare-Bendixson theorem leads to a proof that there
exists a limit cycle, and it is unique. Indeed, the result is a special case of
a more general theorem for Lienard’s equation, which we state without
proof.
d2x „ , dx
dF + /WdF + 9W = 0
has a periodic solution which is unique (up to translations of r), and this
solution is asymptotically orbitally stable, if
Next we shall proceed to find this limit cycle for van der Pol’s equation
by asymptotic methods, first for small e and then for large e.
We shall find the limit cycle as e -► 0 by the method of averaging. This
powerful asymptotic method in the theory of weakly nonlinear oscillations
is due to Kryloff & Bogoliuboff (1943), who modified a method of van der
Pol (1922). We shall first introduce the method of averaging briefly by a
digression on a linear equation which we can solve explicitly for all e.
d2x . dx
+ 2e — + x = 0.
dF dr
Let v = dx/dr and take polar coordinates in the phase plane, i.e. the (x, u)-
plane. Then, without approximation, we deduce from equations (1.8), (1.9)
that
dr
— 2 er sin2 6, -j- = — 1 — c sin 29.
dr dr
centre O in the phase plane. So if the angle is 9 at time t, then the time is
approximately t + 2n at angle 9 — 2n. However, dr/dt oscillates with 9 in
each circuit around O and these oscillations have a non-zero mean, so that
their cumulative effect may change r by an amount which is not small after
a long enough time (of order e_1). We can approximate these cumulative
effects for small e by averaging the right-hand side of the equation for dr/dt
around a typical circuit. Accordingly define
o(t) =
* r(t + s)ds ds,
where the dummy variable s of time increment is such that the angle goes
from 9 to 9 — 2n in the interval of integration,
f° , , d9 IC° d9
J2/(f + S)d0/dS/L d0/ds
da _ 1 + 0(e)
df 271 j: dr(t -I- s)
ds
d9
1 + 0(e)
2n
=-ea + 0(e2)
r<- 2er sin2 9)d9
ase->0,
a)(t) = Q
d9(t + s)
ds J
ds I (J) ds
=±r2" d
2" Jo
9(t + s)
ds
d 9 + 0(e2) as£->0.
Therefore, on averaging,
i P*
ID + 1 (—ersin20)d0 + 0(e2)
2n Jo
= 0(e2) ase-+0;
e -* 0. Therefore
Compare this with the exact solution. For — 1 < e < 1, it is simply the
solution of a focus in §2:
for which
d2x
+ w2x = ef(x,dx/dt,e),
dr
but also for ordinary differential equations of higher order, and to find
asymptotically a wide variety of weakly nonlinear waves for partial differ¬
ential equations.
Let us return to van der Pol’s equation. We again anticipate that when
0 < e « 1 the limit cycle is close to some solution (5) of the simple harmon¬
ic motion found for e = 0; then x = r cos 0 and v = r sin 0, where r and
d0/dr are approximately constant. Equations (3) suggest that dr/dt = 0(e)
and dO/dt = — 1 + 0(e) as e -♦ 0, in confirmation of this. However, if we
wait a long time, of the order e-1, the small effects of the terms of order e
may accumulate and change r and 6 by quantities of order one. To find
these quantities, we average the contributions to dr/dt and dd/dt over the
approximate period 2n of the simple harmonic motion. This gives the lead¬
ing approximation to the slow changes of dr/dt and dO/dt and thence to the
changes of r and 6 over long times of order e-1.
Accordingly define the averages of r and d0/df as in the example above
and deduce from equations (3) that
da e C2n
dt = ~2i j„ -i(l -cos20)}d0 + O(e2)
€ P2"
CO + 1 (r2cos20 - I)cos0sin0d0 + 0(e2)
2n Jo
= 0(e2) as€-+0. (7)
Equations (6) and (7) give
approximately for small e. Equation (8) for da/dr is familiar from §1.5; its
solution at once gives
for all a(0) > 0. This gives the asymptotic form of the limit cycle,
The orbits in the phase plane are approximately circular as they spiral
clockwise about the origin but spiral inwards or outwards slowly towards
the circle (9).
To find the limit cycle when e » 1 it is slightly easier to consider
Rayleigh’s equation (4) rather than van der Pol’s equation. We write the
system as
du
dr
x. - e(ix3 - x).
dx dx/dt edx/d t
dw dw/dt du/dr
, w + F(x)
= —e -.
x
Fig. 6.6 Sketch of the limit cycle for van der Pol’s or Rayleigh’s equation in the
(w, x)-plane for very large e.
(clockwise because w increases where x = edw/dt > 0 when e > 0) until the
tangent to the curve is vertical. There it must leave the neighbourhood of
the curve, moving vertically until it nears the curve again, and so forth, as
shown in Fig. 6.6. This gives a closed orbit Q1Q2Q3Q4Q1, which is the
limit cycle in the (w, x)-plane as e -* 00.
A more refined approximation is needed to find the details of the solu¬
tion near the curve w = — F{x). However, we have already found the
leading-order approximation to the limit cycle, and may use it to estimate
the period. On integrating around the cycle, the period may be expressed
as
x
Further reading 197
as € -+ oo,
because ‘dw’ is negligible along QtQ2 and Q3Q4 and symmetry implies
that there are equal contributions to the integral along Q2Q3 and Q4Ql5
= 2e[In x - \x2~\\
= (3 — 2 In 2)e
« 1.614c.
Further reading
§6.3 A proof of Liapounov’s direct method is given in many good books
on ordinary differential equations, e.g., Jordan & Smith (1987, Chap. 10).
§6.4 For further reading on weakly nonlinear oscillations and asym¬
ptotic methods, the book by Kevorkian & Cole (1981, Chaps. 2, 3) is
recommended.
198 Second-order differential systems
(A)
Fig. 6.7 The limit cycle of van der Pol’s equation for e = 10, T = 19.08. (a) The
(x, u)-plane. (b) The (r, x)-plane.
Problems 199
§6.5 Coddington & Levinson (1955, Chap. 16) prove the Poincare-
Bendixson theorem (cf. Poincar6 1882, Chap. VI; Bendixson 1901).
§6.6 Jordan & Smith (1987) give more details of van der Pol’s equation.
Problems
Q6.1 Lienard's construction. Show that the equation
d2x dx
¥+% + «w=°
dx dy
= -g(x).
at'-™ dt
where F(x) = jj/(u)du. Then the (x,y)-plane is called the Lienard plane.
Suppose next that ^(x) = x for all x. Then show that the direction of the
orbit at a point P in the Lienard plane may be constructed as follows. Draw
the line through P parallel to the y-axis, and let Q be the point where the line
cuts the curve with equation y = F(x). Draw the line through Q parallel to
the x-axis, and let R be the point where this line cuts the y-axis. Then the
orbit through P is in the direction perpendicular to RP.
[Lienard (1928).]
Q6.2 Coulomb damping, i.e. motion of a particle under action of a spring with dry
friction. Suppose that
d2x
m = — Ax — Fsgn(dx/dr),
dF
where m, A, F > 0 and the function sgn is defined by sgn(u) = 1 if v > 0,
sgn(0) = 0, and sgn(i;) = — 1 if v < 0. Sketch the phase portrait in the
(x, dx/dr)-plane.
Q6.3 The quintessence of a saddle-node bifurcation. Consider the system
dx dy
a — x = -y-
dr dr
Show that there is a stable node and a saddle point if a > 0, but no equilibri¬
um point if a < 0. Sketch the bifurcation diagram in the (a, x)-plane, and the
phase portraits in the (x, y)-plane for a > 0, a = 0 and a < 0.
Q6.4 Epidemics. A simple model of an epidemic of a disease is the system,
dx dy
— = -cxy, — = cxy - by,
liable to infection, y(t) is the number who are infectious at time t, b > 0 is the
rate of recovery (or death) from the disease, and c > 0 is a rate of infection.
Show that if x(0) < b/c then the number y of infectious individuals will
decrease monotonically to zero, but if x(0) > b/c then the number will
increase monotonically until the number x of susceptible individuals de¬
creases to b/c.
[Kermack & McKendrick (1927).]
Q6.5 The Lotka-Volterra equations. Given that the growth of a population of x
individuals of a species of prey and y individuals of a species of predator is
governed by the equations
dx dy
— = x(a-cy), — = -y(b-cx),
,d20
/ -j~2 + 2k — + g sin 6 = 0
dr2 df
and classify them, i.e. name their type, for all g, k, l > 0. Sketch the phase
portrait in the (6, d0/df)-plane for each topologically different case.
Q6.8 A nonlinear discontinuous restoring force. Find the equilibrium points of the
equation
d2x dx
diI + 2kdi+ {s8n(dx/d')}x = 0
for all k 0, where the function sgn is defined by sgn x = 1 if x > 0, sgn 0 =
0, sgnx = -1 if x < 0. Sketch the phase portrait in the (x,dx/df)-plane for
k = 0,0 < k < l,k = l,k > 1.
Problems 201
dx
= a — x — bx + x2y,
dt dt
Find the equilibrium points and their stability for all a, b > 0.
Q6.10 Phase portraits and bifurcation. Treat each of the following real nonlinear
systems in turn for all real a, (a) noting the symmetries, if any, of the system,
(b) finding all the equilibrium points and for what values of a they exist,
(c) ascertaining the stability or instability of each point for each value of a,
(d) classifying the local behaviour of the orbits near each equilibrium point
for each value of a, (e) noting any special properties of the phase portrait,
(f) sketching the qualitative features in a phase portrait for each ‘typical’
value of a, and (g) sketching the bifurcation diagram in a suitable plane, e.g.
the (a, x)-plane.
dx
(i) “-*’+** {, -~y~
dt
dx dy
(ii) (a + x)y, — = —ax + x2 + y2.
dt at
dx
(iii) (a + x)y, -j- = a(y - x) + x2 + y2.
dt at
dx dy
(iv) a(x - y) - x2 + y2, — = (a + x)y.
dt
dx
(v) 3a(x -y)-x2 + y2, ~^ = x(a - y).
dt
dx dy
(vi) x(a-x- y), — = 2a(y - x) + y(x - y).
dt dt
dx dv
(vii) a(3x - 5y) - x2 + y2, — = x(2a - y).
dt dt
dx
dt
= ay-y‘
sH -2 y+i>
(c) Sketch the bifurcation diagram in the (a, x)-plane for the steady solu¬
tions of the system, and name the type of each of the bifurcations of the
solutions.
(d) To investigate nonlinear solutions near one bifurcation, show that the
system becomes
dx
0= d—
aA
u °y+ y’
-
x-2 y = a—-\x2-,
d>' 1 2
du
without approximation, where u = at. Defining A such that [2, l]x = aA,
i.e.
2x + y = aA,
where
dA
= F0(A) + aFl(A) +
du
d^
—=0 atr = 0, <j> = Q at r = 1. (2)
dy 7
ii = 2 ~ y’ (3)
where
Show that equation (3) has a stable focus at (2,0) in the (x,y)-plane,
which solution for all t corresponds to a solution of (1) for all 5 such that
(j> = 0 at r = 1 only if 8 = 2.
Problems 203
Sketch the phase portrait of the solutions of equation (3) in the right-
hand half of the (x, y)-plane, given that there exists an orbit H connecting
(0,2) to (2,0).
Show that if a solution (x,,(t), yh(t)) of equation (3) traverses the orbit H
and corresponds to a solution of boundary conditions (4) then xfc(0) = S.
*Hence or otherwise sketch the bifurcation diagram in the (<5, ^(0))-plane.
[Budd (1989).]
Q6.13 A condition for stability. Show that if
uTF(u) ^ 0
where /, g are continuous, #(0) = 0, and f(x) > 0, xg(x) > 0 in a neighbour¬
hood of the origin excluding x = 0 itself. Show that the system is equivalent
to
dx dy
= -g(x).
a-’-** dt
where F(x) = Jo/(u)du, and that there is an equilibrium point at the origin
of the (x, y)-plane.
Taking H(x,y) = jy2 + G(x) as a Liapounov function, where G(x) =
g(u) du, show that the origin is asymptotically stable.
Q6.16 A linear system, (a) Find explicitly the general solution of the system.
dx dy , . dz
= — 3x, = — 2y — z.
dr dt “ ~y + 2z' dt
(1)
that P_1AP
Defining X = [Xl,X2Y such that x = PX, deduce that the system (1) of
Q6.17 is equivalent to
d^_s* (2)
dt ~SiXu dt _S2*2‘
Defining
dx
— = Ax + $(x) (4)
for the same real constant matrix of Q6.18, where |£(x)| = o(|x|) as x -► 0.
Using the same Liapounov function H of equation (3) of Q6.18, prove that
the null solution of system (4) is asymptotically stable if the null solution of
its linearized system is stable.
Problems 205
where
Defining H by
show that
Hence prove that the origin is an unstable point of equilibrium of the non¬
linear system (5).
Q6.21 Liapounov function for a damped hard spring. Consider the equation
^ * 2 3 ^ 2 2 3
— - 2xy* - Xs, rri*y-y
is asymptotically stable.
[Hint: try a Liapounov function of the form H(x,y) = |(x2 + ay2).]
Q6.23 Instability of an equilibrium point. Show that the null solution is the only
equilibrium point of the system
dx 2 , 3
— = xy2 + x2y + x3,
dr
Q6.24 An example of stability with an unstable linearized system. Show that the
origin is a stable point of equilibrium of the system
dy
— x
dt
dx dy
-j7 = y - xf(x,y), ~n = ~x- xf{x,y).
where /(0,0) = 0 and / is continuous near the origin O of the (x, y)-plane, is
dx . . dy
— = y - x(x4 + y4), — = -x - y(x4 + y4)
is asymptotically stable.
Q6.26 A Liapounov functional. Consider the nonlinear diffusion equation
Deduce that dH{u)/dt -H(u) and thence that the null solution of
equation (1) is in fact asymptotically stable (in the mean).
[Liapounov’s method has been generalized so as to apply to partial
differential equations (Zubov 1957).]
Q6.27 A nonlinear oscillation. Consider the equation
d2x
-nr + x - ex|x| = 0.
Find its equilibrium points, and for what values of € each exists. Find for
Problems 207
what values of e each is stable, and classify the type of the point. Sketch the
bifurcation diagram in the (e, x)-plane.
Show that
1 1
+ -x2 --€|x|3 = E
dx
fea3- x2 + fex3)1/2'
Deduce that
for an asymmetric spring. Find its equilibrium points, and for what values of
€ each exists. Find for what values of e each is stable, and classify the type of
the point. Sketch the bifurcation diagram in the (e, x)-plane.
Use the Lindstedt-Poincare method to find the leading terms in the
expansion of the periodic solutions. Explain the signs of the corrections to
the period and to the time average of x for small e.
Q6.29 The precession of the perihelion of a planet in the general theory of relativity.
It is given that the equation of the orbit of a planet with plane polar coordi¬
nates (r, 6) is
d2u 1
^ + u = 7 + e/«,
Define <f> — cod, where 2n/a) is the period of an orbit, and assume that
a>(e) = 0)0 + ea», + e2a)2 + •••. Hence show that a>0 = 1 and to1 = — 1.
Deduce that the planet is at perihelion, i.e. that its distance from the sun is a
local minimum, at successive angles 6 differing by 2n/a> = 2n + 2ne + 0(e2)
as e 10.
[This gives the precession of the perihelion of the planet by the angle
2ne = 6nGM/c2l approximately each revolution, where / is close to the
mean radius of the orbit. This result is used in one of the classic tests of
Einstein’s general theory of relativity.]
Q6.30 A periodic solution of Rayleigh’s equation. It is given that the equation
dH+x = e|d7-3U
has a unique periodic solution for all e ^ 0, such that dx/dt = 0, d2x/dt2 < 0
at t = 0. Then use the Lindstedt-Poincare method to show that the solution
is given by
dx dy
F(x,y), G(x,y),
dt dr
dx dy ,
— = 2x - xyz + cosy, — = -y — x2y + sinx
at dr
(a) Show that the origin is an equilibrium point. Linearize the system
at the origin, sketch the phase portrait of the linearized system, and state
whether the origin is a stable or unstable point of it.
Use Liapounov’s direct method to show that the origin is an unstable
point of equilibrium of the nonlinear system.
(b) Show that the given system has a limit cycle.
[Bristol (1989).]
Problems 209
ax
P(x) = -2na *
Ix| -I- (a - |x|)e
[Bristol (1988).]
Q6.34 Demonstration of the existence of a limit cycle. By considering the directions
in which orbits cross suitable closed curves, show that the system
d2x
dF + S8”x = °’
find explicitly the solution such that
x = 0, dx/df = 4 T at t = 0,
where T > 0. State the amplitude and period of the solution in terms of T.
(b) Sketch the phase portrait of the equation
forO < e « 1.
210 Second-order differential systems
for a, e > 0, has one and only one periodic solution (except for a translation
of time). Is it stable?
Note that tanh ax -» sgnx as ax -* +oo, and comment on the relation¬
ship between the phase portraits for parts (b), (c) of this question.
Q6.36 Demonstration of the existence of yet another limit cycle. Show that the
equation
dx
+ x3 = 0
dt
dx _ 2y dy _ 2x
dt X + ln(x2 -I- y2)’ dt ^ ln(x2 + y2)’
then
dr _ _ dO _ 1
dt ’ dt lnr’
dx dy
dx dy
= y. = a + by + x2 + xy
dt dt
ase ->0, where x0 = X_. Hence verify that co0 = {2(—a)l/2}1/2 anda)l/2 = 0,
Problems 211
find x1/2, and show that to, = (10 + o>q)/6o)0. Deduce that there is, for fixed
a < 0, a suhcritical Hopf bifurcation, in the sense that these periodic solu¬
tions occur when 0 < (— a)1'2 — b « 1.
Deduce that there is a turning point (with one eigenvalue s = 0) at a = 0,
b t*0, and a Hopf bifurcation (with eigenvalues s= ±i(2b)i/2) at b =
( — a)112, a < 0.
[The system exhibits a coincidence of turning points and Hopf bifurca¬
tions, called a Tokens-Bogdanov bifurcation, at a = b = 0. Cf. Gucken-
heimer & Holmes (1986, §7.3).]
Q6.39 The method of averaging. Show that if
d2x
+ x = ef(x, dx/df)
df2
then
da
sin0/(acos0,asin0)d0 -I- 0(e2),
df
♦2*
€
to + 1 a-1 cos Of (a cos 6, a sin 9) 69 + 0(e2) as e -»0,
27C o
where x = r cos 9, dx/dt = r sin 6, a is the average of r, and a> is the average
of d0/dr around one circuit of the nearly circular orbit in the (x,dx/dt)-
plane.
Q6.40 A self-excited oscillation. Show that the origin of the (x, u)-plane is an equi¬
librium point of the equation
u ^
d2x dx
-jt ~€(1 — lxl) + * = 0,
df
where v = dx/dt. Name the type of the equilibrium point, and state when it
is stable according to the value of e. What other equilibrium points are
there?
You may assume that there is one and only one limit cycle when € > 0,
and that it is stable. Show that the limit cycle is given by
dw x
_ = -€{w + F(x)},
df ~ e’
where F(x) = jx|x| — x. Sketch the curve w = - F(x) in the (w, x)-plane and
indicate the locus of the limit cycle as e -* oo. Hence or otherwise show that
the period T of the limit cycle is given by
H
212 Second-order differential systems
dw x dx ,
dT ' ? d7 “ ~'{w + F(x))’
where F(x) = ^x5 — x. Sketch the curve w = — F(x) in the (w,x)-plane and
indicate the locus of the limit cycle as e -* oo. Hence or otherwise show that
the period T of the limit cycle is given by
d2x dx
3?+% + 1 = t
where /(x) = — 1 if — 1 < x ^ 1 and /(x) = 1 if |x| > 1. Write down the
explicit general solutions for the four cases, |x| > 1 and — 1 ^ x ^ 1, for
0 < e < 2 and e > 2. Sketch the phase portraits in the (x, u)-plane for 0 <
e < 2 for e > 2, where v = dx/dt, deducing plausibly that there is a limit
cycle.
Show by the method of averaging that the limit cycle x(e, t) is given by
where ae > 1 is the root of the equation 2 sin 2a + n = 4a for a, and 0 < a =
arccos(l/a) < \n.
Show that the differential equation is equivalent to the system
dw x dx
-£{w + F(x)},
df e’ dr
where F(x) = —x for |x| < 1 and F{x) = x — 2sgnx for |x| > 1. Sketch the
curve w = — F(x) in the (w, x)-plane and indicate the locus of the limit cycle
as e -* oo. Hence or otherwise show that the period T of the limit cycle is
given by
T(e)~2€ln3 ase-»oo.
Problems 213
d2x
, , +€ + x = 0,
dt2
to find the amplitude and frequency of the limit cycle as € -»0. You need
only find the terms up to those of order e.
Q6.44 Simple pendulum. Writing the equation
— =-gr'sin0
in the form
^+ 0= em,
as e -»0, finding the amplitude and frequency of the oscillations for small e.
Q6.46 An amplitude equation. Show that if
d2x iJdx\
— + jc =0
da 1 ,, ,
— ~ -—ea3(a2 — 6) as€-+0.
dt 16
Hence find the amplitude and stability of the limit cycle for small e.
1 Introduction
Chapter 6 is an account of many and varied properties of free oscillations
which are solutions of two-dimensional autonomous systems of ordinary
differential equations. We saw there that the Poincare-Bendixson theorem
prohibits chaos, but saw in Chapter 5 that a two-dimensional non-autono-
mous system is equivalent to a three-dimensional autonomous system, and
so may have chaotic solutions: the proof of the Poincare-Bendixson theo¬
rem becomes invalid because for a non-autonomous system orbits may
have different directions at the same point of the phase plane at different
times. So in this chapter we shall examine forced oscillations, i.e. solutions
of non-autonomous second-order equations of the form
(1)
for real parameters k, a, <5, T, co. (Duffing (1918) used the equation to model
nonlinear mechanical vibrations.) With so many parameters it will help to
consider various special cases, beginning in this section with a review of
some properties of the linear form of the equation. First consider
214
7.2 Weakly nonlinear oscillations not near resonance 215
d2x
-r~., + ax = T cos cot (3)
dr
.. , _ . , r cos cot
x(f) = /I cos wat + Bsin Jat +-ifco ^ a,
,
(4)
a — co
d2x dx _
—T + k — + ax = T cos cot, (6)
dr dt
nonlinearity,
d2x , _
—r + ft^x — ex* = T cos f, (1)
dr
for fixed ft, T. Substituting expansion (2) into equation (1), we find that
d2xn d2Xi i ,
-jpp + t-faT +-1- ^2(*o + exx A-) — e(x0 4- exx A-)3 = Tcost.
d2x0
-I- ft2x0 = T cos t, (30)
dt2
d2xx
+ ft2xx = Xo, (31)
dr2
d2x2
A- ft2x2 = 3xoXt, (3a)
and so on.
Also the periodicity condition
T cost
*o(0 = (6)
ft2-l
if ft is not an integer.
7.2 Weakly nonlinear oscillations not near resonance 217
We can proceed to find x2, x3,... in turn to determine the unique solution
consistent with the hypotheses we have made. In fact the method is suc¬
cessful provided that ft is not an odd integer, because if ft is an odd integer
then some equation (3J has a forcing term in cosftf on its right-hand side
to drive a secular term in x„. Also the expansion (2) in powers of e is not
uniformly valid when ft is close to an integer, i.e. is not valid in the case of
resonance which we set out to examine. At any rate, let us review the results
of this theory by drawing a response diagram as in Fig. 7.1. It is informa¬
tive to plot the amplitude a0 = r/(ft2 — 1) of the response as a function of
the natural frequency ft of the free oscillations; however, a change of sign of
a0 merely corresponds to a phase shift of n in t, so the magnitude of a0 is a
better measure of the response to the forcing T than is a0 itself.
Example 7.1: weakly forced oscillations of van der Pol’s equation. There
are many asymptotic methods to solve weakly nonlinear problems (cf.
Kevorkian & Cole 1981), but not sufficient space to illustrate them all here.
However, to illustrate another asymptotic method as well as important
phenomena of forced oscillations, consider the equation
d2x dx ]
y + x = e<y cos cot + (1 — x2) — (8)
dr
where x0 = r cos(t — <f>) for slowly varying functions r, <f> of time, so that r, <j)
are functions of et. Note that the limit cycle of van der Pol’s equation
without forcing (i.e. with y = 0) has period 2n for small e, and that the
forcing has period 2n/co.
Substitution of expansion (9) into equation (8) gives
dr d<f>
cos(r — </>) + + 2- sin(r — <f>)
dr dr
d2xx
+ xt y cos cur - |r(4 - r2) sin(r -</>) + |r3 sin 3(r - </>)
~dP~
2r d 6 2 dr
-7drcos('~^) + idrsin(' (11)
Remember that r, ^ vary slowly, so that each term above is of the same
order. To ensure that Xj is bounded, i.e. that there is no secular term like
rsin(t — <f>) or rcos(r — (j>) in x1? the coefficients of cos(r — <f>), sin(r — <f>) on
the right-hand side of the above equation vanish. Therefore
d<j> , dr
— = 0(e2), — = ier(4 - r2) + 0(e2) asejO. (12)
This is just what we found (equations (6.6.8)) for the limit cycle of van der
Pol’s equation without forcing, so that r -* 2 as t -*• oo unless r = 0 at t = 0.
It follows that
d2xt
+ Xj = y cos cot + £r3 sin 3(r — <f>).
dr2
7.3 Weakly nonlinear oscillations near resonance 219
Therefore
Note that the solution approaches the sum of the stable limit cycle of
van der Pol’s equation without forcing and a forced oscillation. However,
as cd —► 1 the forced oscillation of period 2n/co dominates the free oscilla¬
tion of period In - this is called entrainment. This leads to the invalidity of
the method of approximation, an issue which will be taken up in Example
7.2. □
d2x
+ x = e(y cos t — /?x + x3) (1)
+ x0 = 0.
Therefore
for some constants a0,b0. This solution satisfies the periodicity condition
for all a0,b0.
Next, coefficients of e in equation (1) give
220 Forced oscillations
d2xt 3
—7-5- + Xj = 7 cos t - px0 + Xo
dr
The periodicity condition, x^f + 2tt) = xx(£), requires that the secular
terms, involving t sin t and t cos t, in xx must vanish and therefore that the
coefficients of cos t and sin t respectively on the right-hand side of the equa¬
tion of Xj must vanish, i.e. that
This gives
d2x
+ ax + <5x3 = T cos cat, (6)
dtJ
r= o
Fig. 7.2 Sketch of the bifurcation curves in the (/?, |a0|)-plane for fixed y.
d2x r
H—*x H—;r COS T,
dt* co to* W
i.e.
on identifying T/to2 = ey, a/to2 = 1 + e/J and e = —d/co2. This shows ex¬
plicitly that there is weak nonlinearity and closeness to resonance when
t is small for fixed /}, y. Now the second of equations (3) gives to2 =
a + \6al - Y/a0 if a0 # 0. If T = 0 then a0 = Oor ± {4(to2 - a)/3S}112.
We may plot the above results in the (to, |a0|)-plane as shown in Fig. 7.3,
as is conventional to give the response according to the tuning, showing,
for fixed S < 0, the bifurcation curves for constant values of T. We see that,
Fig. 7.3 Curves T = constant in the (to,|a0|)-plane near to the point (Va, 0):
to2 = a + iSao - r/a0 for 8 < 0. It can be shown that there is onset of instability
at the turning point as indicated by the broken curve.
222 Forced oscillations
then the above asymptotic method would give the amplitude equations
instead of (2). The damping leads to a phase difference between the forcing
and the response, with b0 # 0. However, it can be seen by adding the
squares of equations (8) that
Fig. 7.4 Curves T = constant, for fixed k > 0, in the (co,r0)-plane: co2
a + \8al - f/a0 for 5 < 0.
7.3 Weakly nonlinear oscillations near resonance 223
Example 7.2: weakly forced oscillation of van der Pol’s equation near reso¬
nance. Suppose that
f dx 1
•jp- -I- x = ejycost + (1 - x2) — - px> (10)
as ej.0 for fixed p, y. First note the similarity to Example 7.1, the only
difference being that the limit cycle of the unforced van der Pol equation
with period 27r/(l + e/1)1/2 and the forcing with period 2n are nearly in
resonance here.
The equation may be solved asymptotically by using the expansion,
dh\ dtA •
2— cost + — 2 — ) sin t + e + 0(e2)
dtj dtj
d2xx 2 db 2 da dxo
+ Xj = ycosf — Px0 —- — cost + - —sint + (1 — *o)^rr
(
dt2 e dt e dt dt
n, , . ,
2 db 2d a .
= ycost — Biacost + osmf)-—cost H-— sint
' r e dt e dt
The equilibrium points (a0, b0) of system (14) give periodic solutions (12)
approximating solutions of equation (10):
Therefore
Now, by using the results encapsulated in Fig. 6.4, the stability charac¬
teristics of the periodic solution (a0,b0) may be found according to the
values of /?, rl sketched in Fig. 7.5. Note that p > 0 below the line with
equation rl = 2, that q > 0 outside the ellipse with equation
7.4 Subharmonics 225
^(ro — §)2 + 3/12 = 1, and that p2 = 4q on the lines with equation /•£ =
16/?2.
When there is a stable point (a0, b0) of equilibrium of system (14) there is
a stable solution of equation (10) with the period of the forcing, not the
period of the natural oscillation of the unforced system. This is another
example of entrainment. It is related to the synchronization of two clocks
when fixed on the same board, an apparently mysterious phenomenon first
reported by Huygens in the seventeenth century. □
4 Subharmonics
In solving problems of forced oscillations, we have hitherto confined our
attention to one simple equation and the weakly nonlinear theory of its
synchronous oscillations, i.e. its solutions with the same period as the
sinusoidal forcing term. This theory may similarly be applied to different
equations and to different solutions: for example, by taking a more general
periodic forcing term as a Fourier series rather than a single term, by
looking at the transients, and by ascertaining the stability or instability of
the periodic forced oscillations. Also there may be a periodic response
whose period is not the period itself, but an integral multiple of the period
of the forcing term. For a forcing term T cos cot there often, but not always,
exists a nonlinear oscillation of period 2nn/co, for an integer n greater than
one, called a subharmonic of order 1 /n. A brief example will serve to illus¬
trate this point.
Consider a forced hard spring governed by the equation,
d2x
—T + ax + <5x3 = r cos cot, (1)
at
where x = cot. There is in fact (because the nonlinearity involves only the
odd function x3) no subharmonic of order so we shall at once seek a
subharmonic of order 3, for which
We may find x by weakly nonlinear theory for small <5, because we know
that such periodic solutions exist when 5 = 0, a = §a>2 and there is simple
harmonic motion. Accordingly, we expand
226 Forced oscillations
: d2x0
(On + ax0 = T cos r. (60)
p COS T
*o(T) = a cos(y/<XT/co0) + bsin(y/(XT/(o0) + -—
a — (On
(o0 = 3y/ix,
r cost
x0(t) = acosjt + hsin^t —
8a ’
where a and b have yet to be found.
Next, coefficients of <5X in equation (2) give
,2d2*i d2x0
(°o~^r + axi = —2(o0(o1
dt2
*o (6,)
T cos tN
= — 2a>0(o1 ^ — 5a cos jt — %b sin ^t +
8a j
because cos3 jt = 4cost + f cos 31, sin3^t = f sinjt — jsint, etc. In order
that Xj has period 671, we require that its secular terms vanish. Therefore
the coefficients of cos jt and sin jt in the above equation vanish, i.e.
The latter equation has one root b = 0, for which the former equation gives
either the null solution a = 0 or
8
2-27WoWi=0. (8,)
8a ° + 32a
If ft # 0 then the difference of a times (7S) and b times (7C) implies that
b = + Jla,
4a2 + — a + (82)
4a 32?-27“o“I=0-
Equations (8j), (82) have pairs of roots a differing by a factor of —2, be¬
cause we can rewrite (82) as
2 - =0.
(-2a)2-8S(-2‘')+32?
So each equation has two, one or no real roots according to the values of
T/a and oj0 col « (co2 — 9a)/<5.
We may invert the problem and regard co as a given forcing frequency
and find whether subharmonics of order 5 exist according to the values of
a, <5, and T. Also the stability of these subharmonics may be examined by
use of Floquet theory and the weakly nonlinear approximation; but it will
suffice here to state that some are stable.
d2x
-jp- + {1 + €(/? -(- cos 2t)}x + x2 = 0. (9)
There is a rich variety of solutions of this equation, but here we confine our
attention to subharmonic oscillations of period 2n as e -*• 0 for fixed /?.
Thus impose the condition
x(e, t + 2n) = x(e, t) for all t. (10)
^= 0 at t = 0. (11)
Note that equation (9) is not of the form (1.1), because the coefficient of the
228 Forced oscillations
The reason for choosing powers of e1/2 rather than e will emerge later When
it becomes evident that weak nonlinearity and linear resonance affect the
solution at the same order, i.e. it becomes evident that the distinguished
limit has been achieved. How does one choose the ansatz without fore¬
knowledge? In practice, experience with trial and error is usually success¬
ful, at least in the long run, in finding a self-consistent asymptotic solution.
Now substitute expansion (12) into equations (9), (10) and equate co¬
efficients of e1/2. Therefore
d2x1/2 dx 1/2
-dp-+*>«
= 0, = 0 at t = 0.
d£
Therefore
*1/2 (0 = r1/2cost,
for some constant r1/2 to be found later.
Next, coefficients of e in equation (9) give
d2xx 2
= — ir2/2(l + cos2£).
d2x.
Y2- + *3/2 = —2x1/2x1 - (0 + cos2£)x1/2
dt
— rl/2(P + cos2r)cosf
6^"i/2 - (P + i)rll2 = 0.
or the same solution n out of phase. If, however, P + ^ < 0 then e ] 0, and if
P = — 2 ^en a different method of approximation must be used. □
Let us review the results of this chapter. Duffing’s equation, and other
equations of forced oscillations similarly, have solutions with a very rich
structure. We have sought and found, by use of weakly nonlinear theory,
solutions with the same period as the forcing and solutions whose period is
an integral multiple of the period of the forcing. These solutions may also
exist for strong nonlinearity, and may be stable or unstable. In short there
may be many periodic solutions which attract and which repel neighbour¬
ing orbits in phase space. There may be bifurcations as the periodic solu¬
tions come and go, become stable and unstable, when the parameters vary.
In particular, if a synchronous oscillation becomes unstable and is suc¬
ceeded by a stable subharmonic oscillation of order | as a parameter in¬
creases then there is period doubling. All this is a background which might
lead us to anticipate the occurrence of chaos for strongly nonlinear solu¬
tions, and we shall see in §8.2 that chaotic solutions do indeed occur; but
first in the next chapter we shall introduce chaos with an even more famous
equation than Duffing’s.
Further reading
§7.2 Many good books cover the theory of this chapter. In particular,
Jordan & Smith (1987, Chap. 5) describe the theory of weakly nonlinear
forced oscillations not near resonance.
§73 Jordan & Smith (1987, Chap. 5) also describe the theory of weakly
nonlinear oscillations near resonance.
§7.4 Jordan & Smith (1987, Chap. 7) describe subharmonics and the
stability of forced oscillations.
230 Forced oscillations
Problems
Q7.1 A forced periodic oscillation. Consider the solutions of the equation
d2x 3
—+ x3 = r cos t
dr
d2x
—T + sgn x = r cos cot
dr
which have period 2n/co. Assuming that x(t) = a cos cot + b sin cot, and neg¬
lecting higher harmonics, show that an approximation to periodic solutions
is given by a = — (nT — 4)/nco2 if T > 4/n and by a = — (nT + 4)/nco2 if
T < -4/n.
Q7.3 A forced periodic oscillation for a nonlinear spring. Show that if
d2x ' -
-vs- + fix + ex-2 = T cos t
dr
and x has period 2n then
and a, /?, 5 > 0, then there is a saddle point at the origin and, if b1 < 80,
there are stable foci at (± (0/<x)1/2,0) in the (x, dx/dr)-plane.
Show that if, however,
d2x dx
-j~2 + o --px + ax3 = T cos cot
dr dr
then there are three oscillations of period 2n/co such that
x(r) = r {<5(0 sin cor - (co2 + P) cos cot}/{{co2 + fl)2 + (52<w2} + 0(r2),
x(t) = ±(/J/a)1/2 + T{bcosin cot - (co2 - 20)cos cot}/{(co2 - 2/S)2 + b2co2}
+ o(r2)
as f -»0 for fixed a, (}, S > 0.
Problems 231
d2x
+ fi2x — ex2 = T cos t
dr
with period 2n in the limit as e -> 0 (a) when T and non-integral fi are fixed
and (b) when ft2 = 1 + e/i and T = ey for fixed /?, y.
[Jordan & Smith (1987, p. 132).]
Q7.6 A subharmonic oscillation. Supposing that
d2x
—-5- + fl2X + €X2 = r COS t
dr
and x has period 4n, and expanding Q = Q0 + eQ, + e2Q2 + ••• and
x(e,t) = x0(r) -f ex^t) -I- as e ->0, show that Q0 = \ and x0(t) =
a cos jt + b sin jt — f T cos t. Thence find two equations satisfied by a, b, fij,
and solve them.
[Hint: Lagrange’s identity gives [udv/dt — vdu/dt]o" = Jo" {w(d2i;/dt2 +
— u(d2u/dr2 ^u)} dt for all continuously twice differentiable functions
u, v. Tryv = X! withw = cos\t and sinjtin turn.]
Q7.7 An exact subharmonic solution and its stability. Show that the equation.
d2x
+ x + <5x3 = T cos 3cot,
dr2
d2x'
+ (a — 2<5fCOs2i)x' = 0,
dr2
d2x
4- ax + 5x2 = r cos 4r,
dr2
dV
+ (a — 2q cos 2 t)x' = 0.
df2
Evaluate a, q in terms of T, S.
[McLachlan (1956, p. 242).]
Q7.9 Yet another exact periodic solution. Given that the equation
d2x
+ (fi2 — 2 q cos 2t)jc + ex3 = 0
df2
has a solution X such that X(t) = a cos t for real constants a, q, e, Q, find q, fi
in terms of a, e.
Expressing x = X + x' and linearizing, show that
d2x' ,
~^2~ + (1 + ea2 + ea2cos2t)x' = 0.
dy
— = rx-y-zx, (1„)
dz
— = -bz + xy. (U
233
234 Chaos
(4,)
dz'
— bz'. (4J
d7
Therefore
0 = S + <7
-r s + 1
Therefore the null solution is unstable (i.e. Re(s) > 0 for at least one mode)
if r > 1, and stable (i.e. Re(s) < 0) if r < 1; in fact, the three eigenvalues Sj
are such that sx > 0 > s2 and s3 = —b when r > 1, so that the origin is a
saddle point in three-dimensions.
Next linearize about the other equilibrium points C, C', defining
perturbations
dx'
— = ay -ax. (7.)
s+a —a 0
0= -1 s+ 1 ±{b(r- 1)}1/2
To find the behaviour of the zeros sx, s2, s3 of the cubic / as r increases
from 1, and hence the stability of the equilibrium points, we must do a little
intricate, but elementary, algebra. Note that the coefficients of the cubic are
all positive, because r > 1 in order that the equilibrium points C, C' exist.
Therefore /(s) > 0 for all s ^ 0. Therefore there is instability (Re(s) > 0)
only if there are two complex conjugate zeros of /. Now it is easy to see
that when r = 1 the three zeros are s = 0, —b, — (a + 1), and therefore
there is linear stability or a margin of stability. The first zero gives s ~
— 2<r(r — l)/(cr + 1) as r j 1, so stability is lost in the limit as r approaches 1
from above. As r increases from 1, instability can set in only where Re(s) = 0,
and so where two zeros are = ia>, s2 = — ico for some real co. But the sum
of the three zeros of the cubic / is
si + s2 + s3 = —(coefficient ofs2 in /)
= —(a + b + 1).
Therefore
s3 — —(a + b + 1)
<t(<t + b 4- 3)
say. (9)
8.1 The Lorenz system 237
So instability can arise only if <r, b are such that rc > 1. Thus the points C,
C' are stable if and only if either
Fig. 8.1 Sketch of the bifurcation diagram in the (r, x)-plane for the Lorenz
system with fixed b, a when rc = a(a + b + 3)/(a — b — 1) > 1.
238 Chaos
dH dx dy dz
--— = x— + ay— + oz —
dt dr dt dt
^0
jtj{x2 + y2 + (z - r - o)2}
dy , dz
^_+(z_r_<7)_
<0.
So if n(t) is the volume of a set of points in the phase space of (x, y, z) at time
t and each point of the volume evolves according to the Lorenz system (1)
then n(t) -* 0 as t —► oo. It follows that the volume of any attractor must be
zero. Also there can be no source of volume such as a repelling equilibrium
point or limit cycle, because the sum of the real parts of the three eigen¬
values is negative. Therefore there is no quasi-periodic orbit; because a
8.1 The Lorenz system 239
Fig. 8.2 The graph of y(t) for r = 28, a = 10, b = f, x(0) = (0,1,0) and 0 ^ t <
30. Note that the ^-coordinates of C, C' in this case are ± 8.48.
240 Chaos
Fig. 8.3 Projections of part of an orbit (the same as in Fig. 8.2 but for
30 < t 70) for r = 28, a = 10, b = f in (a) the (x,z)-plane, (b) the (x, y)-plane,
and (c) the (y, z)-plane. Note that the coordinates of C, C' in this case are
(±8.48, ±8.48,27).
8.1 The Lorenz system 241
40-
20-
(c)
Fig. 8.3 (cont.)
Fig. 8.3. The results come from numerical integration of the system (1),
with x(0) = (0,1,0) and r = 28, a = 10, b = f. (You can easily verify that
rc = 24.74 and C, C' = (±8.48, ±8.48,27) with these values of a, b.) First
the orbit goes once around C and then spirals out several times around C'.
It gets close to the attractor at about t = 20. The attractor can be seen as a
number of spirals around C followed by a number of spirals around C' and
so forth; the sequence of numbers of spirals seems as if it were a random
sequence. To visualize the attractor it may help to think of the groove on
two inter-connected gramophone discs which are rather warped - or to
think of a butterfly’s wings.
Calculations for r = 28, a = 10, b = f also show that neighbouring
orbits near the attractor separate exponentially on average, so that two
orbits which start very close together soon lose all correlation with one
another. Thus there is sensitive dependence on initial conditions. So if the
results of Figs. 8.2, 8.3 were recalculated with a different computer or a
slightly different program then the new results would probably diverge
from the ones shown until the two calculated orbits x(f) would soon be¬
come uncorrelated, although each would traverse the same attractor.
In fact the strange attractor can be found not only for some r > rc but
also for rt < r ^ rc, where rt > 1. So when rt <r < rc the strange attractor
242 Chaos
Fig. 8.4 Symbolic diagram specifying the attractors of the Lorenz system for
a = 10, b = f and 0 < r < oo. A stable equilibrium point is denoted by ‘EP’, a
stable limit cycle by ‘LC’, a strange attractor by ‘SA’, and the alternation of
attractors (usually with a complicated sequence of bifurcations) as r increases
by ‘or’.
spanned by u2 and u3, i.e. a plane. Let us follow the orbits leaving 0 and
trace back the orbits entering 0. It helps to make two definitions first. If a
point lies on an orbit which tends to an equilibrium point X of an autono¬
mous differential system as t -*■ oo then the point lies in what is called the
stable manifold of X, denoted by WS(X); similarly, if a point lies on an orbit
which tends to X as t-* — oo then the point lies in what is called the unsta¬
ble manifold of X, denoted by WU(X). Thus if x(0) e WS(X) then the orbit
(x(t)} c WS(X); again, if an orbit starts at x(0) in WU(X) then the orbit
(x(r)} remains in WU(X) for —oo < t < oo. It may help to note that if X is
stable then WU(X) does not exist and WS(X) is the three-dimensional do¬
main of attraction of X (or, more generally, the m-dimensional domain in a
phase space IRm). Thus, the unstable and stable manifolds are in a sense
generalizations, suitable for an unstable point of equilibrium, of the do¬
main of attraction of a stable point of equilibrium. It follows that, for the
Lorenz system when r > 1, the manifold Wu(0) is a curve with tangent
parallel to ut at 0, and Ws(0) is a two-dimensional surface with tangent
plane at 0 spanned by u2 and u3. (When r = 1, ut = (1,1,0), u2 = (1, — cr, 0)
and u3 = (0,0,1).) Note that no orbit can cross a stable or an unstable
manifold except at an equilibrium point, so the two-dimensional surface
Ws(0) divides the orbits of [R3 into two sets. When r is not too large the
structure of Ws(0) is fairly simple. However, we shall see that, as r increases,
the structure soon develops twists and forms ‘sheets’, and becomes hard to
visualize.
*At first for r > 1 the curve Wu(0) leaves 0 in each of the octants of C, C'
and ends at C, C respectively. However, when r = r0 the curve Wu(0)
leaves 0 in each direction and returns to 0 in the surface Ws(0), as shown
in Fig. 8.5(a): two homoclinic orbits between 0 and itself are established.
(There are two because of the symmetry of the Lorenz system.) An orbit
connecting an equilibrium point with itself, approaching the point as t -*■
± oo, is called a homoclinic orbit, or homoclinic connection. It can be seen
that a homoclinic orbit corresponds to a solution of infinite ‘period’, be¬
cause although the connection is a closed curve its solution never reaches
the saddle point 0 in a finite time (cf. Example 1.1). It is this special proper¬
ty of the Lorenz phase portrait which defines r0 and is important in deter¬
mining the changing topology of the orbits. As r increases above r0 two
unstable limit cycles (of finite period) arise from the homoclinic orbits (it is
these which become the limit cycles which coalesce with the equilibrium
points C, C' as r increases to rc). By solving the Lorenz system numerically,
it can be shown that if a = 10, b = f then r0 = 13.93 approximately. When
r increases through r0 the unstable limit cycles serve to repel Wu(0) so that
j
244 Chaos
Fig. 8.5 A perspective sketch of the unstable manifold W“(0) in the phase space
of the Lorenz system, (a) The two symmetrically located homoclinic orbits
when r = r0. (b) The two symmetrically located heteroclinic orbits when r = r,.
the branch of Wu(0) leaving 0 in the octant of C ends not at C but at C', and
similarly the branch leaving in the octant of C' ends at C. As r increases
further, orbits cross over from C to C' and back an increasing number of
times before finally spiralling in to either C or C'. This is sometimes called
pre-chaos because it is difficult to distinguish an orbit that spirals around C
and C' repeatedly for a long time before eventually tending to one of those
points from an orbit that spirals around them for ever.
* Almost all orbits end at either C or C' for values of r such that these are
the only attractors (the exceptions are those orbits on Ws(0) and those on
the stable manifolds of the two unstable limit cycles). When r = rx, the
curve Wu(0) leaves 0 in one octant, eventually enters the unstable limit
cycle about C, and leaves 0 in the opposite octant and eventually enters the
unstable limit cycle about C, as shown in Fig. 8.5 (b): two heteroclinic
orbits between 0 and the limit cycles are established, a heteroclinic orbit
being an orbit connecting two invariant sets as t -* ± oo. It is this property
which defines rt and marks the onset of chaos. (The two heteroclinic orbits
are established at the same value of r because of the symmetry of the
system.) For a = 10, b = f it is found numerically that = 24.06. The
chaotic attractor originates as r increases above rt, so that for rx < r < rc
the chaotic attractor coexists with the attractors C, C' but for 1 < r ^ rx
the only attractors are C, C'.
* These facts are the bones of the skeleton which supports the flesh of the
‘body’ of the orbits. Try to picture the chaotic orbits in the three-dimen¬
sional phase space, and see the origin of chaos. It is far from easy.
8.1 The Lorenz system 245
(11)
where F: IR x IR2 -► [R2 is well behaved and there is a saddle point, at 0 say.
where 2,, X2 >0. Further suppose that there is a homoclinic orbit through
0, in the first quadrant, say, when a = 0.
Then the linearized equations at 0 are
Consider next the orbit of system (11) which enters the small square
whose sides have equations x = ±e, y = ±e at (x„,€) in the first quadrant.
If 0 < e « 1 then the orbit leaves the square at (e, y„) approximately, where,
on defining r = A2/2l5 the above equation of the orbits gives
Now let us follow the orbit globally for small a. We suppose that when
a = 0 the unstable manifold leaving 0 tangentially to the positive x-axis
returns along the positive y-axis to form the homoclinic orbit. For small a
we may linearize perturbations of this orbit, and deduce in principle that
the orbit leaving the square at (e, y„) returns to the square at (xn+1, e), where
x„+1 = ka + lyn
246 Chaos
for some constants k, l. The linearization is valid because the orbit is every¬
where close to the homoclinic orbit. Therefore
for P > 0, i.e. for negative stiffness. The sign of the linear stiffness (- ft) is
important, because equation (1) admits no oscillations in the absence of
nonlinearity and forcing, whereas the form of Duffing’s equation with posi¬
tive stiffness in Chapter 7 does admit them.
However, equation (1) admits nonlinear oscillations in the absence of
damping and forcing, i.e. the equation
d2x
— px + ax =0 (2)
dr
admits them. The solutions of equation (2) can easily be found by the
methods of §1.7 and Chapter 6. The phase portrait in the (x, u)-plane is
sketched in Fig. 8.6(a), where v = dx/dt. With the addition of positive
damping, we consider
d2x dx
dF + idr/fot + “ 0 (3)
8.2 Duffing’s equation with negative stiffness 247
Fig. 8.6 Sketches of the phase portraits in the (x, u)-plane for / = 0, a > 0,
P> 0. (a) Equation (2), with 6 = 0. (b) Equation (3), with <5 > 0.
for 3 > 0. Then there are no oscillations, the centres at (±(£/a)1/2,0) in the
phase plane becoming stable foci, as shown in Fig. 8.6(b).
*Note that the saddle point at the origin of the phase plane of Fig. 8.6(a)
has one orbit leaving it in the first quadrant, and that this orbit coincides
with the orbit approaching it in the fourth quadrant, i.e. its unstable mani¬
fold Wu(0) coincides with its stable manifold Ws(0) to form a separatrix
enclosing closed orbits. By the invariance of equation (2) under the trans¬
formations x > —x, t -> — t, the phase portrait is symmetric about each
axis. Therefore there is a similar separatrix in the third and second quad¬
rants. In other words, there are two symmetrically placed homoclinic con¬
nections of the saddle point with itself. (Note that the orbits form a figure of
eight, whereas the two homoclinic orbits of the Lorenz system, though also
symmetric, are like the outline of a butterfly’s wings.) The presence of
damping breaks up the homoclinic orbits, the saddle point at the origin
being structurally stable but the centres at (±(/?/a)1/2,0) becoming stable
foci. If 3 > 0 then the unstable manifold Wu(0) leaves the origin in the first
quadrant but approaches the focus at ((/?/a)1/2,0), and the stable manifold
Ws(0) approaching 0 in the fourth quadrant comes from infinity. Equation
(3) is symmetric under the transformation x-► — x, but not under time
reversal because of the damping with 3 / 0.
Equations (2), (3) have no chaotic solutions because they are autono¬
mous second-order differential equations, but, as we shall see, equation (1)
is equivalent to an autonomous third-order system and does have some
chaotic solutions as well as noh-chaotic ones.
The weakly nonlinear theory of forced oscillations gives insight into
some of the solutions. There is space enough here to consider in detail only
the synchronous oscillations, i.e. those with the same period 2n/a) as the
forcing. Take 3 = 0 at first, so that
248 Chaos
and approximate the forced oscillations for small / by van der Pol’s meth¬
od as
x(t) = c(t) + a(t) cos cot -I- b(t) sin cot, (5)
d2c
-r-K — pc — ixcJ — 4acr ,
dr2
c(ac2 — /? + far2) = 0,
Therefore equation (4) has small synchronous oscillations (a) about the
saddle point of equation (2) at the origin, given by
and (b) about the other two equilibrium points (the centres) of equation (2),
given by
As seen in §7.3, the presence of damping can modify the cubic governing
the amplitude of an oscillation. It can be shown similarly that if S ± 0 then
equation (1) has small synchronous oscillations (a) about the saddle point
of equation (3) at the origin, given by
Fig. 8.7 The curves (a), (b) in the (/,r)-plane representing weakly nonlinear
solution of equation (1) of period 2n/co for a = 100, /? = 10, <5 = 1, w = 3.76.
r2{(2/J - co2 - ^ar2)2 + S2co2} = /2, ac2 = /? - far2 for r2 < 2/?/3a.
(11)
Fig. 8.7 displays the curves (10), (11) in the (/, r)-plane for ‘typical’ values of
a, /J, 3, (o. Note that the curve (b) representing oscillations about the two
foci ends at r = (2/?/3a)1/2, where it meets the curve (a) representing oscilla¬
tions about the saddle point.
Of course, a periodic solution will be found after numerical integration
of its differential equation for a long time only if it is stable. So to find the
stability of the above weakly nonlinear solutions of equation (4) with 3 =
0, first linearize the fourth-order system about its equilibrium point of type
{a) with a = a0,b = c = 0. Then the linearized system is
0 — ($ — co2 4- faflo
d2c'
w = (ft - MW-
Therefore the point is stable if ctal > §/? and 21<x2a% — 48(/J + co2)<xal +
I6((i + co2)2 > 0, i.e. if f/1 < aa„ < f(/? 4- to2) or ^(/? + to2) < atJo- These
results can be simply generalized for the case of damping (5 > 0). It follows
that in Fig. 8.7 the curve (a) represents unstable oscillations of period 2n/co
for r < (2/?/3a)1/2, =0.26, as well as between its two turning points (at
r = 0.34,0.56). Also the stability of solutions of equation (4) of type (b), i.e.
of the oscillations about the two centres of equation (2) without forcing,
•250 Chaos
dx dv , dd
—- = v, -—= (ix — Sv — txx* + f coscod, — = 1, (12)
dt dt dt
ever, / is small but not zero, P}° has three fixed points which are no more
than close to the three equilibrium points of equation (3).
On the basis of the weakly nonlinear theory above, it can readily be
appreciated that, with development of subharmonic solutions and chaos,
the structure of the bifurcations of the solutions of equation (1) as /, a, /J, <5
and co vary is complicated. Indeed, it is astonishingly complicated. The
origin of some of the chaos is explained in Example 8.2 (other chaos arises
from period doubling). The large number of parameters makes it impracti¬
cal to describe here more than a few of the bifurcations. We shall describe
the bifurcations only as / varies for fixed a = 100, ^ = 10, S = l,co = 3.6,
after Holmes (1979). He sought the attractors by integrating the equation
numerically for long times and for various values of /. He found by the
method of averaging that the weakly nonlinear theory of the oscillations of
period 2n/co is a good approximation when / < 0.5 or / > 2.5, and that the
oscillations are stable then. Thus he computed the oscillations about the
origin for values of r above that at the upper turning point (i.e. for r >
0.56), and the oscillations about the foci for 0 < / < 0.95. At f x 0.95 the
oscillations of type (b) start period doubling. Strange attractors appear for
1.1 ;$/ ^ 2.5, but with windows of stable periodic oscillations, including
an oscillation of period 107t/ct», i.e. period 5, for 1.15 </ < 1.2.
A few solutions are shown in Fig. 8.8 of the phase plane. In Fig. 8.8(a)
the orbit of a large synchronous oscillation about all three fixed points is
seen coexisting with a strange attractor shown up by the stroboscopic map.
In Fig. 8.8(6) the orbit of a period-three solution circles first about the
right-hand focus, then about the left-hand focus, and finally about all three
equilibrium points of equation (3).
Many more details about Duffing’s equation and its chaotic solutions
have been given by Holmes (1979) and others (cf. Guckenheimer & Holmes
(1986, §2.2)).
(«)
Fig. 8.8 Sketches of orbits and Poincart: maps in the (jc, o)-plane of equation (2.1)
for cl = fi = at = 1, / = 0.3 (after Guckenheimer & Holmes (1986, Fig. 2.2.5)).
(a) A large stable orbit of period In jut and a stroboscopic Poincare map of
a strange attractor for 6 = 0.15. (b) A large stable orbit of period 6n/w for
<5 = 0.22, with three fixed points shown by circles.
8.3 The chaotic break-up of a homoclinic orbit 253
where x = [x,y]T e 1R2, F: IR2 - IR2 with F = [dH/dy, -dH/dx]T for some
function H(y, x), f: IR2 x IR -*• U2 with f(x, t + T) = f(x, t) for all x, t, and F,
f are well-behaved. Thus F is Hamiltonian, and f has period T and may or
may not be Hamiltonian. The methods can be applied to perturbations of
systems with non-Hamiltonian F and to differential systems of order
higher than two, but equation (1) will serve well for illustration.
For e = 0 we find the basic system, i.e.
(2)
Note that qo(0) may be chosen to be any given point of the orbit, so that q0
is defined uniquely only up to a translation in time. Of course, q0(r) lies in
both the stable WS(X0) and unstable manifolds WU(X0) of X0 for equation
(2) for all t, and WU(X0) = WS(X0) along the homoclinic orbit. Equation (2)
having a two-dimensional phase space, these manifolds are merely plane
curves.
For e # 0 it is helpful to consider the suspended system, namely
(4)
This autonomous system, with the three-dimensional phase space of (x, 9),
is (cf. §5.1) equivalent to (1). We define a Poincare map P'°: Z'° -> Z'°for the
suspended system (4), where 2> = {(x, 6): 9 = t0e [0, T)}, as follows. Take
a point (x0,r0) as initial point of an orbit of the system, and integrate the
system from t = f0 to r = tQ + T to get the solution (P'°(x0), t0 + T); thus
P'° is again defined as a stroboscopic map. (We shall regard t0 as a variable
later, because / cos cot and hence P'° depend on their phases.) When e is
small, P'° has a fixed point, at X*'0, say, where X^° = X0 + 0(e) as e 0.
This fixed point corresponds to a periodic orbit of system (4), as illustrated
254 Chaos
Fig. 8.9 (a) The fixed points X'° of the map P'° and X0 of the map P£> in the
(x, y)-plane. (b) The periodic orbit of system (1) corresponding to the fixed point
X'° and the periodic orbit of system (2) corresponding to the fixed point X0.
Note that, by periodicity, the plane 6 = T should coincide with the plane 0 = 0.
in Fig. 8.9. For small e, the fixed point is a saddle point of the Poincare
map, and the distance from the periodic orbit to the unperturbed orbit, i.e.
the line x = X0, is of order e.
Recall that the stable and unstable manifolds of the equilibrium point
X0 of the basic system (2) for e = 0 coincide (see also Fig. 8.10(a)). This
leads us to enquire about the analogous behaviour for small e # 0. Before
using perturbation theory to find this behaviour quantitatively, let us
examine the possible types of behaviour geometrically. First denote the
stable manifold of the fixed point X^° of the Poincare map P'° by M^X*'0),
and the unstable manifold by M“(X'f°). In the present problem with a
two-dimensional phase space for equation (1), these manifolds are plane
curves. They depend on t0, moving and ‘waving’ with period T as t0 varies.
In particular, MS0(X0) = WS(X0) and Mg(X0) = WU(X0), so MS(X0) =
MS0(X0) along the homoclinic orbit. Also note that if x e M*(X'f°) then the
images (P'°)"(x) -► X'f° exponentially as n -► oo; similarly, if x e M“(X'°)
then the pre-images (P'°)n(x) -*• X‘° as n ->■ -oo.
The stable manifold Mse(X',°) and the unstable manifold M“(X'e°) either
do or do not intersect. If they do not intersect, then they are as shown in
Fig. 8.10(h), or (c). If they do intersect, then in general they intersect trans¬
versely, as shown in Fig. 8.10(d), and as first envisaged by Poincare (1899,
§397) with the prescience of a genius: ‘Let us seek to visualize the pattern
formed by the two curves and their infinite number of intersections... The
8.3 The chaotic break-up of a homoclinic orbit 255
Fig. 8.10 Sketches of some possible configurations of the stable and unstable
manifolds of a fixed point of a plane map. (a) The homoclinic connection of X0.
(b), (c) Non-intersecting manifolds of X'°. (d) Transversely intersecting mani¬
folds of Xj°: a homoclinic tangle.
intersections form a kind of grid... with an infinitely tight mesh; each curve
never intersects itself, but must fold upon itself in a very complicated way
in order to intersect infinitely often the vertices of the grid’. This pattern is
now called a homoclinic tangle.
Let us see why a homoclinic tangle appears as it does. If the stable and
unstable manifolds of the Poincare map intersect at one point, x, say, then
all the images and pre-images of x must lie in each of the manifolds, be¬
cause each manifold is an invariant set of the map. Therefore the manifolds
intersect an infinity of times. Moreover, because an orbit on one of the
manifolds approaches or leaves the saddle point X'° of the map exponen¬
tially, successive images or pre-images get closer and closer together as
they approach the saddle point. Also continuity implies that a point on one
side of the stable manifold Mse(X'°) is mapped by P'° to a point on the same
side; similarly, a point is mapped to a point on the same side of the unstable
manifold. It follows that one ‘lobe’ between the two manifolds is mapped
by P'° into another lobe an even number of lobes ahead. So for systems (1)
which are area-preserving, or approximately so, the areas of neighbouring
lobes are equal, or nearly equal. Therefore the height of the lobes increases
256 Chaos
as they approach the saddle point, because their base decreases exponen¬
tially. The large height may lead to more complicated intersections of the
two manifolds than those depicted in Fig. 8.10(d), although a manifold
cannot intersect itself except at a fixed point, because an orbit of the differ¬
ential system (4) is unique for given initial conditions. This is an heuristic
explanation of the configuration of Fig. 8.10(d), which has been sketched
for illustration rather than quantitative detail. It should also be borne in
mind that the intersection of the two manifolds may be even more intricate
if they intersect on the ‘other’ side of the saddle point.
Consider next the successive images of points in the interior of a small
square near the saddle point, under iteration of the Poincare map. The
centre of the square will move slowly near the saddle point, while the
square itself is repeatedly contracted in the direction of the stable eigen¬
vector (i.e. in the direction parallel to the stable manifold) and stretched in
the direction of the unstable eigenvector (i.e. in the direction parallel to the
unstable manifold). Eventually the square will ‘escape’ from the neighbour¬
hood of the saddle point, move more rapidly around (near the homoclinic
orbit if e is small), and then return to the neighbourhood of the saddle
point if the manifolds intersect. As the square moves around, it will in
general be folded. So it may return near to its original position as a horse¬
shoe map (cf. §3.6) of its original shape, as indicated in Fig. 8.11; this prop¬
erty is, in fact, implied in general by the existence of the homoclinic tangle.
This leads to chaos, the square returning again and again as the iterated
horseshoe map of its original self.
After this qualitative description of the breaking of a homoclinic orbit
8.3 The chaotic break-up of a homoclinic orbit 257
as e varies from zero, let us find the details quantitatively for small e. The
success of the asymptotic method, due to Mel’nikov (1963), depends on
knowledge of the global properties of the basic system (2); of course, in the
present case this system is integrable. It is already apparent that a crucial
issue is whether the stable and unstable manifolds intersect transversely,
leading to a homoclinic tangle and chaos. The method gives the distance
between the manifolds approximately, and hence a condition for their in¬
tersection.
Before launching into the technical details of the Mel’nikov method
with an elaborate notation, let us review the essence of the method. We
have already chosen arbitrarily a point on the homoclinic orbit of the basic
system (2), and taken the phase of the solution q0 so that qo(0) is the chosen
point. We shall proceed to find, when e is small, the distance between the
stable manifold M*(X‘e°) and the unstable manifold M“(X'(°) near qo(0) for
all t0. Although the distance depends on both qo(0) and the phase t0, we
shall, for convenience, regard it as a function of t0 for fixed qo(0). Thus we
shall find whether there exists a value of t0 such that the manifolds M*(X'€°),
M“(X'°) intersect transversely near our chosen point qo(0) in the section
Z‘°. This is equivalent to finding whether there exists a qo(0) such that the
manifolds intersect transversely in the fixed section Z'°, because t0 is mere¬
ly a phase of q0 and a translation in time is equivalent to a translation
around the homoclinic orbit. So, if there exists a value of t0 such that the
manifolds M*(X‘f°), M“(X'e°) intersect transversely an infinity of times then
they do so not only for this value of t0 but for all values of t0.
First find the equations of the orbits, say (qs({t, t0), f}, {q“(t, t0), t}, which
satisfy equation (4) and lie in the extensions of the stable and unstable
manifolds respectively in the three-dimensional phase space. There exist
uniformly valid expansions of these solutions of system (1) of the form
Fig. 8.12 The distance between the orbits on the stable and unstable manifolds
near q0(0) at time t0.
tion as t -► — oo. It will be seen that the form of equations (6s), (6U) but,
fortunately, not their explicit solutions qsl5 q“, is needed to find the condi¬
tion for the onset of chaos.
We can define the distance between Ms(X'e°) and M“(X'€°) by measuring
it, at least for small e, in the direction normal to the homoclinic orbit of the
basic system (1) at the point qo(0). Thus we define the displacement
For small e, the two points q"(f0,f0), q^o^o) are in general slightly
displaced from qo(0), and the manifolds are nearly tangential to the
homoclinic orbit at qo(0), as shown in Fig. 8.12. So we may resolve the
displacement d in the direction of the normal to the homoclinic orbit
at qo(0) in order to measure the distance between the manifolds. Now,
if F = [Ft, F2]t then the unit outward normal vector is n =
[ — F2(q0(0)), F1(qo(0))]T/|F(qo(0))|. So the Mel’nikov distance between the
two manifolds at q0(0) is defined as
D(t0) = dn (8)
dAs(r, t0)
—37— = J(q0(f - t0))F(q0(f - to)) A qs,(t,t0)
dqsi(t,t0)
+ F(q0(f - t0)) A
dt
As(t0,t0) = - I 0
F(q0(t - t0)) a f(q0(t - f0), t) dt. (13s)
Similarly,
eM(t0)
D(t0) - + 0(e2) ase-+0, (14)
|F(qo(0))|
It can be seen that in general if M has a simple zero, x say, then D has a
simple zero near r for small e, and therefore the stable and unstable mani¬
folds intersect transversely at the point corresponding to t0 = t. This
implies that there is an infinity of intersections and a homoclinic tangle as
260 Chaos
dx dy
dt
= y, — = x — x + e(y cos cot — <5y),
dt
(16)
Therefore if 2yj2S cosh(^7rcy) < 3nyco then M has simple zeros and there is
chaos for small e # 0, whereas if 2yj2S cosh{^tcco) > 3nya> then M(t0) < 0
for all t0 and there is no chaotic break-up of the homoclinic orbit. □
4 Routes to chaos
We have met a few sequences of bifurcations leading to chaos as a parame¬
ter, say a, of a nonlinear system varies. There are many more sequences.
However, at the risk of oversimplification of research that is continuing, it
may be said that this transition to chaos occurs in one of four different
ways, i.e. the sequences may be divided in four classes.
CO|QC
The Lorenz system as r decreases through 99.52 or 214.36 for a = 10, b —
is a differential system with period doubling. The logistic and the Henon
maps give classic examples of period doubling for difference equations.
Fig. 8.13 Sketch of orbits in x-space and in the (t, x)-plane (a), (b) before (a ^ ac)
and (c), (d) after (a > ac) period doubling.
264 Chaos
(ii) Examine correlations, e.g. d(s + t)d{s) = T-1 jjd(s -I- t)d(s)ds, where
T is a ‘long’ time. The graph of d(s -I- t)d(s) as a function of t may be
revealing. If d is periodic or quasi-periodic then so is its autocorrelation
d(s + t)d(s). But if d is chaotic and has zero mean then its autocorrelation
decays rapidly with t because of sensitive dependence on initial conditions
and the consequent effective independence of two parts of a solution unless
they occur at nearly the same time.
266 Chaos
(iii) Plot a phase plane, with a state variable d(t) as abscissa and d(t + t) as
ordinate, where t is the independent variable acting as the parameter of
the orbit and t is some suitable positive number. This is called a scatter
diagram in statistics, and the method of delays in the theory of nonlinear
systems. Packard et al. (1980) and Takens (1981) have proposed and ana¬
lysed this method of constructing a vector of whatever dimension is desired
from the time series of a single scalar. We need t to be neither so small that
d(t + t) is closely correlated with d(t), nor so large that d(t + r) is indepen¬
dent of d(t). We should be wary of aliasing in case, for example, there were a
periodic solution and t happened to be the period. It is often a good way to
choose r so that it is the least value for which the average d(s + c)d(s) = 0,
another is to use trial and error. An alternative method is to plot a phase
plane with two state variables, dft) and d2(t), say, as abscissa and ordinate;
provided, of course, that two variables can be measured. Then we have a
phase plane which gives some projection of an orbit, even though we do
not know the dimension of the attractor traversed by the orbit or of the
phase space in which the orbit belongs. However, experience at looking at
such projections helps the diagnosis of an attractor as a limit cycle (with a
closed curve in the plane), a quasi-periodic or a chaotic solution.
(iv) Make a Poincare section of the phase plane above or of other phase
spaces.
d2{t) = af cos2 njfi t + 2a xa2 cos mfxt cos nf2t + a\ cos2 nf2t
This, and other nonlinear interactions similarly, may generate not only
peaks at 2m/j, 2nf2 but also at ±mfx ± nf2. There are several examples in
§6.4 and Chapter 7 of this weakly nonlinear generation. Thus nonlinearity
in the equations of a system may generate not only all harmonics but also
all sum and difference frequencies. These can be identified in the Fourier
spectrum of output from a system, and hence lead to a diagnosis of a
quasi-periodic attractor.
Chaotic solutions have spectra with broad bands rather than isolated
peaks, and with a high noise level, but nevertheless may have prominent
peaks and a lot of structure. Chaos is not formless, and is usually far from
white noise.
gives the effective degree of freedom of the solution or the dimension of the
submanifold in which the attractor lies.
*(vii) Find the Liapounov exponents of the system. These are often a
means of calculating D. They also may serve to confirm the presence of
chaos.
Example 8.3: looking at time series and their analyses. To appreciate these
methods it is helpful to see their application to some specific cases. First
examine analyses of time series found by numerical integration of the
Rossler system. This is the system of Q5.5, and we have taken parameters
a = b = 0.2 (although these details are not important here). Now look at
the results of both time series and power spectra in Fig. 8.14. They suggest
that there is a periodic attractor when c = 2.6, that it has undergone period
doubling before c increases to 3.5 and quadrupling before c reaches 4.1.
The peaks of the spectra are not of infinite height and zero width because of
round-off and truncation errors in both the production and analysis of the
time series (of finite duration). The resultant noise dominates the signal at
the level of the troughs between the peaks. However, the peaks of the
fundamental and its harmonics are clearly identifiable in Fig. 8.14(a). Also
the appearance of the subharmonic of order \ is clearly discernible in Fig.
8.14(6), and of the subharmonic of order \ in Fig. 8.14(c). This analysis is
confirmed by the phase plots of Fig. 8.15.
Next look at the time series and its power spectrum in Fig. 8.16. The
data come from Ryrie’s (1992) numerical integration of a high-order sys¬
tem of ordinary differential equations devised by Curry et al. (1984) to
model thermal convection of a layer of fluid heated from below. The solu¬
tion appears to be quasi-periodic. It is not always possible to identify the
fundamental frequencies fr,f2 unambiguously in practice. However, at the
onset of a quasi-periodic attractor following the instability of a periodic
solution as a parameter increases, we may identify as the fundamental
frequency of the periodic solution and f2 as the frequency of its linear
instability (*given by the Floquet exponent), so that fx is the frequency of
the highest peak in the spectrum of the newly created quasi-periodic solu¬
tion. As the parameter increases further, it may become more difficult to
identify /, and f2 from the spectrum. In any event, a plausible interpreta¬
tion (Ryrie 1992) of Fig. 8.16 is that/! « 6.73, corresponding to the highest
peak, and f2 % 2.51.
The next case is of time series and a Fourier spectrum found by numeri¬
cal integration of the Lorenz system (1.1) for r = 28, o = 10, b = f, shown
8.5 Analysis of time series 269
(a)
(b)
10
x 0
-10
(c)
Fig. 8.14 Solutions of the Rossler system dx/dt = -y — z, dy/dt = x +
dz/dt = | + z(x - c) as a time series x(t) and the logarithm of its power spec¬
trum versus frequency, In Px(f), where Px is the square of the modulus of the
complex Fourier transform of x, for (a) c = 2.6, a periodic, (b) c = 3.5, a period-
doubled, and (c) c = 4.1, a period-quadrupled solution.
270 Chaos
8.5 Analysis of time series 271
-10
-10 10
x
(c)
Fig. 8.17 The Lorenz system (1.1) for r = 28, a = 10, b = f: the time series x(t)
and the logarithm of its power spectrum versus frequency, In Px(f).
in Fig. 8.17. The erratic motion about the two unstable points of equilibri¬
um is indicated by the time series, and leads to the broad-band power
spectrum with a large number of closely packed peaks which fall off rapidly
as their frequency increases. This is characteristic of chaos. (The calcula¬
tions are not accurate enough nor sampled often enough to resolve the
high-frequency oscillations.)
These cases are of data computed by numerical solution of systems of
ordinary differential equations. As is typical of such cases, there is a very
low level of noise and the systems happen to be known. This is in contrast
to cases with data from laboratory experiments, even careful ones. Obser¬
vations of natural phenomena, such as meteorological and biological data,
usually have even more noise than laboratory observations do.
So the last case is of laboratory observations. They have been made by
Read et al. (1992) in experiments on the motion of a liquid in a differentially
heated rotating annulus, a model of the large-scale motion of the Earth’s
atmosphere. Fig. 8.18 represents one run of the experiment. Fig. 8.18(a)
shows a short excerpt of the time series for the heat transfer H (in watts)
across the liquid as well as the temperature T(in degrees Celsius) at a point
fixed in the middle of the annular container. Fig. 8.18(h) shows the power
spectrum PT of the temperature as a function of frequency / (in radians per
second). Fig. 8.18(c) shows a phase portrait of the orbit constructed in a
special way from the time series for T, and Fig. 8.18(d) shows a Poincare
section of the orbit. Read et al. explain the details. They interpret the series
as indicating that the system is in a quasi-periodic state with two funda¬
mental frequencies, because of the positions of the peaks in the spectrum,
because Fig. 8.18(c) looks like the projection of an orbit winding around a
torus, and because Fig. 8.18(d) looks like the section of a torus. Fig. 8.19
similarly represents another run. Fig. 8.19(a) shows some of the time series
8.5 Analysis of time series 273
pT kr*
io^6
o 0.5
(b) /
Fig. 8.18 Analysis of experimental data of Read et al. (1992, run (e)) for a
quasi-periodic flow, (a) Time series for T°C and H watts versus f seconds.
(b) Power spectrum Pr(f). (c) Phase portrait for T. (d) Poincare section.
274 Chaos
(0
L.s
(4)
Fig. 8.18 (cont.)
8.5 Analysis of time series 275
Fig. 8.19 Analysis of experimental data of Read et al. (1992, run (b)) for a
chaotic flow, (a) Time series for T°C and H watts versus t seconds. (f>) Power
spectrum PT(f). (c) Phase portrait for T. (d) Poincare section.
K
276 Chaos
■i i-1-r
(c)
t-r n
(<0
Fig. 8.19(co«f.)
Problems 277
for T and H, Fig. 8.19(b) shows PT, Fig. 8.19(c) shows the phase portrait
constructed from the series for T, and Fig. 8.19(d) shows its Poincare sec¬
tion. Read et al. interpret the series as indicating that the system is in a
chaotic state, because of the broad-band spectrum, the convoluted phase
plot of the orbit, and the diffuse Poincare section. □
Further reading
§8.1 Sparrow (1982) describes the geometrical theory of the Lorenz sys¬
tem at length, although the existence of chaos for the system has yet to be
proved rigorously.
§8.2 Guckenheimer & Holmes (1986, Chap. 2) describe solutions of
Duffing’s equation with negative stiffness.
§8.3 Lichtenberg & Lieberman (1983, Chap. 7) and Guckenheimer &
Holmes (1986, Chap. 4) describe Mel’nikov’s method with greater genera¬
lity, rigour and detail.
§8.5 There is a well-developed statistical theory of the output of sys¬
tems, though these are traditionally assumed to be linear. The books by
Priestley (1981,1988) are recommended to learn this theory. There is also a
large literature on signal processing. King & Drazin (1992) have recently
reviewed the analysis of time series.
Problems
Q8.1 Oscillations about neutral equilibrium points of the Lorenz system. Show that
if r = rc, =ct(ct + b + 3)/(a — b — 1) > 1 then the eigenvalues governing
the stability of the equilibrium points C, C' of the Lorenz system are s =
±i{2bo(o + 1)/(ct — b - 1)}1/2, — (<r + b + 1). Find the eigenvectors belong¬
ing to these eigenvalues.
*Q8.2 Weakly nonlinear theory of periodic solutions of the Lorenz system. Defining
x = [x,y,z]T, rc = o(o + b + 3)/(a - b - 1) > 1, Xe = Yc = {b(rc - 1)}1/2,
Z„ = - L xc = [xc,Yc,zcy, x = x Xc, to, =
278 Chaos
1 —1 —Xc, and X' = dX/dr, show that the Lorenz system may
y, xc -b _
se rewritten without approximation as
J1 = [0,-Xc,0]T.
~(xmYi + xl y1/2)]T.
Now seek only the component, say qe‘\ of X3/2 proportional to eiT and
evaluate the expression Jq — io>cq. Taking the product of this expression
with ^T, deduce the solvability condition that
find both of the real quantities |a1/2|2 and a»,. Deduce a condition for the
periodic solutions to be subcritical, and verify numerically that they are
indeed subcritical when a = 10, b = §.
[Beware of the length of the algebraic manipulation needed to answer
this question.]
Q8.3 The Lorenz system for large r. Transform the system
dx dy dz
^= -.rx-y-zx, jt~xy-bz
d£ _ dn dC
^-{ii-«»(: + «>
£2 - 2C = 2A, r\2 + ? = B2
= F(a
where F is defined by F(£) = C + A£2 - and C is another constant.
Deduce that there exists a solution £(t) of period 2j|2 {F(^)}_1/2d^, where
fi, £2 are simple zeros ofF such that F(£) > Ofor^ < £ < <*2.
[In fact £(t) can be found in elementary terms of elliptic functions.]
Q8.4 The Rikitake two-disc dynamo. It is given that the self-generation of the
Earth’s magnetic field is modelled by the equations,
dx, dx2 dv
—- = -vx, + yx2, — = -vx2 + (y-a)x1, — = l-x,x2,
where X!, x2 represent the currents in two large eddies in the Earth’s core, y
the angular velocity of one eddy, a the positive constant difference of the
angular velocities of the two eddies, and v the ratio of the mechanical time-
scale to the magnetic diffusion time-scale of the dynamo formed by the two
rotating eddies and their electromagnetic interaction.
Show that the two equilibrium points are
d2x dx
+ k-- x + x2 = 0
dt2 dt
where x = [x,y]T, then 0 is a fixed point with eigenvalues j(l + yj5). Find
the corresponding eigenvectors. Deduce that Ms(0) is dense in T2.
*Q8.7 A weakly forced simple pendulum. It is given that the equation of motion of a
forced simple pendulum is
d20
+ sin 9 = e(a + y cos cot).
dt2
for a, y > 0.
Show that if e = 0 then there is a pair of heteroclinic orbits connecting
saddle points at (±7i,0) in the (0,^)-plane, where <f> = dQ/dt. Deduce that
one of these orbits is given by
Show that the Mel’nikov function for the perturbation problem of the
intersection near (0,2) of the unstable manifold from (— 7t, 0) and the stable
manifold to (rc, 0) can be expressed as
m h) = d^--d-^-
°’ dx dy dy dx
Show that if //0(y,x) = ^(x2 + y2) — 3X3, h{y,x,t) = \x2 cos cut then the
resultant system is
dx dy
-j- = y, -~r = —x + x—ex cos cot.
df df
Define
f co r 00
11 = sin 2 cos tanh s sech2 s ds, /2 = sin 2 cos tanh3 s sech2 s ds,
J ~ao J -ao
and integrate f twice by parts to deduce that 3/2 = (2 — co2)/, and thence
that
Now deduce that if co = 1 then M(t0) = 0 for all t0, and comment on
whether chaos can be shown to occur for small e in this case.
*Q8.9 A Mel'nikov function of distance along a basic heteroclinic orbit. Suppose
that
dx . dy . .
—- = smxcoshy, — = — cos x smh y-f € sin cut.
Show that if e = 0 then there are saddle points at (mt, 0) in the (x, y)-plane
for ft = 0, ±1, ±2, .... and that (0,0) and (n,0) are connected by the
heteroclinic orbit (x0(t), 0), where
Consider, when e is small, the separation near the point (xm,0) of the
unstable manifold from (0,0) and the stable manifold to (n, 0) of the
Poincare map P®, and show that the Mel’nikov function may be expressed
as
= —7tsin[a)ln{tan(^xm)}] sech(^Trcu).
as a 10 for fixed n, where p} are certain functions such that p,(n) = 0(1) as
n -» oo for j = 3, 4, — Deduce that x„ = 0(na) as a j. 0 for fixed n2a, and
thence that x„ = o(l) until n is of order of magnitude of a~l/2.
Q8.11 Autocorrelations. Show that if d(t) = c + a cos ft + bsin/f then d{s + t)d(s)
= c2 + ^(a2 + h^cosA^and that if d(t) = c + ax cos/,f + a2cosf2t for
fi ^ ±/i thend(s + t)d(s) = c2 + \ajcosf{t + ^a|cos/2t.
Q8.12 An exact integral of the Lorenz system. Show that the system (1.1) gives
dt
Deduce that if b = 2a, x0 = x(0), zq = z(0) then
Show further that x = 0 if the solution has the same symmetries as the sys¬
tem. What prospect is there of evaluating x2 etc. as functions of r, a, b by tak¬
ing these and other moments of the system and solving the resultant moment
equations algebraically?
* Appendix: Some partial-differential problems
du d2u
dt dx2
283
284 * Appendix
u(x,t)= £ un(t)einx,
n= —oo
du
ft \ - k~2
-m d2u . u = 0 at z = 0,7t,
dt
for k > 0 and some well-behaved function /. Suppose that it has a steady
solution u = U(z). Expressing u = U 4- u', and linearizing for a small per¬
turbation deduce that
du' d2u'
—-/'(t/)u'= u' = Oatz = 0,7i.
Taking normal modes of the form u'(z, t) = d(z)eSI, derive the eigenvalue
problem
d2d
^2 + K 1 {f'(U) ~ s}tf = 0, u = 0 at z = 0, ?t.
(b) Supposing further that /(0) = 0, /'(0) > 0, and U(z) = 0 for all z,
find all the eigenvalues s, and deduce that the null solution is stable if
K> K =/'(0) and the marginally stable mode is A = sin z.
(c) Show that if f(u) = sin u then kq = 1.
To perturb the marginally stable solution for this f first define e2 =
kc —k for e > 0 and x = e2r, so that
2du j.d2u
6 dt ~slnu = (Kc~e )fa2> u = Oatz = 0,7t.
[Matkowsky (1970).]
QA.3 The Swift-Hohenberg model. Consider the real equation
for —oo < x < oo and t ^ 0, where R is a positive parameter. Find the
stability of the null solution by the method of normal modes and Fourier
components, i.e. by linearizing the equation, assuming that u oc es'+i*x for
real wavenumber k, and finding s as a function of R and k. Plot the values of
k versus R when the condition for marginal stability is satisfied. What is the
critical value Rc of R above which there is instability for at least one value
of kl
Find other solutions which are independent of x and t, and identify a
pitchfork bifurcation of the null solution.
Assuming that u has period 2n in x, and expressing the solution of the
equation as the complex Fourier series
u(x,t)= £ un(t)einx,
n= —oo
show that u_„ = un. Find an infinite system of ordinary differential equa¬
tions for {u„}. Verify the stability of the null solution and find when the
other solutions are stable.
[Swift & Hohenberg (1977) proposed this partial differential equation as
a model of nonlinear Rayleigh-Benard convection, i.e. convection of a hor¬
izontal layer of fluid heated from below, the same flow which led Lorenz
(1963) to his very different system. The null solution u = 0 represents the
state of rest of the fluid, and the other equilibrium points represent steady
convection cells.]
QA.4 A nonlinear Schrodinger equation. Given that
.du d2u ,
'aF + a? + '“I "“
show that there is a solution u - U where
where u = U + u' and «' is the complex conjugate of u'. Taking normal
modes of the form
du d2u
— = u - (1 + iR)|u|2u + (1 4- ib)j-z
and
—=0 at x = 0, /
ox
d2u'
— = u' - (1 + iR)(2u' + U2W) + (1 + ib)~.
u'(x, t) = U(t)f(t)cos(nnx/l)
for n = 0, 1,2,.... Find / and deduce that if b < 0 then the solution U is
linearly stable provided that R < Rc, where
[Kuramoto & Koga (1982). The steady form of the equation arose origi¬
nally in the theory of superconductivity (Ginzburg & Landau 1950), but
the unsteady form was found by Gor’kov & Eliashberg (1968); others have
applied it to weakly nonlinear modulation of unstable waves of many kinds.]
Some partial-differential problems 287
du dv
— =f{u,v) 4- V2u, r^=g(u, v) + dV2v in D,
8u dv
on 5D,
dn dn
has known solution k, p(x), show that the normal modes of the linearized
problem have the form u'(x, t) = i2es‘p(x), v'(x, t) = ves'p(x), where
s + k2 -fu(U, V) -fv(U, V)
-gu(U,V) s + dk2 - gv(U, V)
Find U, V when f(u, v) = y(a — u + u2v), g(u, v) = y(b — u2v) for con¬
stants y, a, b > 0. Find the eigenvalues k and eigenfunctions p for the one¬
dimensional problem with D = {x: 0 < x < nl}. Discuss the stability of the
solutions in this case.
[Turing (1952) initiated such modelling, showing that diffusion can
cause instability; Murray (1989, Chap. 14) gives a modern review.]
QA.7 Spontaneous combustion of a slab. It is given that the temperature <j> of a
one-dimensional slab of a uniform solid is governed by a dimensionless
problem of the form
d<f> d2<t>
+ 8e*, <f> = Oat* = ± 1,
~dt dx2
where c is such that <5 = 2c2 sech2 c, coshc = exp(^m), <j>m = F(0). Sketch
the bifurcation diagram in the (<5,^m)-plane, identifying a turning point at
(2(cq — l),21n(coshc0)), where c0 « 1.2 is defined as the positive root of
ctanhc = 1.
288 ♦Appendix
Show that the linearized problem for small perturbations of this steady
solution is
for some constants bt, b2, b3, b4, where U, V are the standard parabolic
cylinder functions. Hence or otherwise show that there is stability for R <
Rt, where = 0,andsoR, a 4.51.
Some partial-differential problems 289
du d2u ,
00 00
00 00
da 00
~Tt~ = + 2 I aman_m for t > 0.
m=- oo
Deduce that if ao(0) > 0 then there exists a positive constant k such that
for which the solution exists. Hence show that if JoU0(x)dx > 0 then the
solution u(x, t) becomes singular in a finite time.
[This kind of singularity is called blow-up, and is described more gener¬
ally for nonlinear partial differential equations by, for example. Palais
(1988).]
Answers and hints to selected problems
Chapter 1
290
Answers and hints to selected problems 291
L
292 Answers and hints to selected problems
Chapter 2
Chapter 3
Chapter 4
Chapter 5
A5.1 z(r) = {z0 - fe(cos 90 + sin 0O)} exp(0o - t) -I- fe(cos t + sin t) if z = z0 at
t = 90. Z — fe(cos 90 + sin 90) is always stable.
296 Answers and hints to selected problems
A5.2 V e > 0 3 {f„} such that |x(rj - xj < € & r„ f oo as n -► oo. Therefore, V
e' > 0, | K(x(r„)) - K(x,J| < e' as n -* oo. Therefore grad F(x(t„))->0 as
n-* oo.
A5.4 Linearized system is da/j/dr = 0, dco'2/dr = (C — A)na>'3/B, d(o'3/dt =
(A — B)a>'2/C. A rigid body is stable if it spins steadily about its greatest or
least principal axis of inertia, but unstable if it spins about its intermediate
principal axis of inertia.
A5.5 A" = j{c ± (c2 — 4ab)l/2}, Y = —Z = —j{c ± (c2 — 4ab)1,2}/a if c2 > 4ab.
Turning points at (+ 2(ab)l/2, ±(ab)112) in (c, x)-plane.
A5.6 See §8.1. (a) r2 = l/b, x2 = [0,0, l/h]T. N.B. Exact solution is x =
[(5,<5,<52/h]T, r = 1 + S2/b.(b) x2 = [0,0,A2/bY.
A5.12 Use Euler-Lagrange equation. dL/dq = (d/dr) (dL/dq) = dp/dt.
A5.13 For linearized problem of instability, s = — A/y/2 or J2A twice. Poincare
map is identity map for x & rotates y by 2n tan x (see Example 3.9).
A5.15 (a) General solution x(r) = (A + a)cos(t + t) is close to X at t = 0 for small
constants a, t. |x(t) — A'(r)! = 0(a, t) V r as a, t -> 0. (b) Use Example 1.2.
A5.16 dr'/dt = — (2ab cos2 t)r', d9'/dt = (yjab sin 2t)r'. Pa(-Ja + r') —
yja + r'exp( — 2nab) + 0(r'2) as r' -+0.
A5.17 P(r + T) = <F(r + T’)e~(t+r)R = 0(t)erRe-(,+r)R = P(r). If Ru = su & / is a
polynomial then /(R)u = f(s)u. d(det 0)/dr = (trace A) det O.
A5.18 Let xt, x2 be solutions of Meissner’s equation such that X! = 1, xt = 0,
A5.19 (a) If x =
x
dx/dr ] then A -
~P(t) 0
0
a
0(1) is a real 2 x 2 matrix so its
Chapter 6
A6.1 If P = (x, y) then Q = (x, F(x)), R = (0, F(x)), RP = (x,y - F(x)) dx/dr =
(y — F(x), — x), RP-dx/dr = 0.
A6.2 Orbits are alternately semiellipses in upper & . lower halves of (x,dx/dr)-
plane, with centres at (- F/A, 0), (F/A, 0) respectively, but end where dx/dr =
0, — F/A ^ x ^ F/A.
Answers and hints to selected problems 297
0
Answers and hints to selected problems 299
A6.37 0 = ln|lnr| gives focus at origin with tight spiral, whereas linearized system
gives sink at origin with radial straight orbits.
A6.38 xl/2 — a cos cot,yl/2 — — aco0 cos cot, where a3 = 4a>o.
A6.40 da/dt ~ ^ca(l — 4a/3n), co = — 1 + 0(e2).
A6.41 da/dt ~ |ea(l — £a4),co = — 1 + 0(e2).
A6.42 da/dt = 0(e2) if a < 1, da/dt = ea(j + n~x sin 2a — 2oL/n) if a > 1, where
a - arccos(l/a), co = — 1 + 0(e2).
A6.44 da/dt = 0(a2), to = — 1 + yga2 + 0(a3) as a -*0. In agreement with equa¬
tion (1.7.13), this gives T = 2n(l/g)ll2/\co\ = 2tt(//^)1/2{ 1 + ±a2 + 0(a3)}.
A6.45 da/dt ~ —2ea( 1 — 8a/37t), co = — 1 + 0(e2). Limit cycle is x(e, t) -*
|7rcos(r - f0).
A6.46 a -»^6, |<w| -♦ 1 as e -► 0.
Chapter 7
Chapter 8
Appendix
The numbers in square brackets following each entry give the pages of this book on
which the entry is cited. I have been unable to inspect copies of a few of the works
cited, so their citations are second- (or even third-) hand.
301
302 Bibliography and author index
Campbell, L. & Garnett, W. 1882 Life of James Clerk Maxwell. London: Macmillan.
[6]
Cantor, G. 1883 Ueber unendliche, lineare Punktmannichfaltigkeiten. Math. Ann.
21, 545-91. Also Gesammelte Abhandlungen (1932), ed. E. Zermelo, pp. 165-209,
Berlin: Teubner. [87,125]
Cayley, A. 1879 The Newton-Fourier imaginary problem. Amer. J. Math. 2, 97.
Also Collected Math. Papers 10 (1896), pp. 405-06, Cambridge University
Press. [109]
Chandrasekhar, S. 1969 Ellipsoidal Figures of Equilibrium. New Haven, CT: Yale
University Press. [38]
Coddington, E. A. & Levinson, N. 1955 Theory of Ordinary Differential Equations.
New York: McGraw-Hill. [38, 161, 168, 177, 199]
Collet, P. & Eckmann, J.-P. 1980 Iterated Maps on the Interval as Dynamical
Systems. Boston, MA: Birkhauser. [109, 144]
Cook, A. E. & Roberts, P. H. 1970 The Rikitake two-disc dynamo system. Proc.
Camb. Phil. Soc. 68, 547-69. [280]
Courant, R. 1936 Differential and Integral Calculus, vol. 2. London: Blackie. [63]
Cox, S. M., Drazin, P. G., Ryrie, S. C. & Slater, K. 1990 Chaotic advection of
irrotational flows and of waves in fluids. J. Fluid Mech. 214, 517-34. [282]
Curry, J. H., Herring, J. R., Loncaric, J. & Orszag, S. A. 1984 Order and disorder in
two- and three-dimensional Benard convection. J. Fluid Mech. 147, 1-38. [268]
Cvitanovic, P. (ed.) 1984 Universality in Chaos. Bristol, England: Adam Hilger.
[135]
Devaney, R. L. 1989 An Introduction to Chaotic Dynamical Systems. 2nd edn. Red¬
wood City, CA: Addison-Wesley. [38,109,111,132]
Dombre, T., Frisch, U., Greene, J. M., Henon, M., Mehr, A. & Soward, A. M. 1986
Chaotic streamlines in the ABC flows. J. Fluid Mech. 167,353-91. [166]
Drazin, P. G. & Johnson, R. S. 1989 Solitons: an Introduction. Cambridge Univer¬
sity Press. [43,286]
Drazin, P. G. & Reid, W. H. 1981 Hydrodynamic Stability. Cambridge University
Press. [38,40,65]
Duffing, G. 1918 Erzwungene Schwingungen bei Veranderlicher Eigenfrequenz.
Braunschweig: Vieweg. [214]
Eggleston, H. G. 1953 On closest packing by equilateral triangles. Proc. Camb.
Phil. Soc. 49,26-30. [145]
Euler, L. 1744 De Curvis Elasticis. Appendix on pp. 245-310 of Methodus Inveni-
endi Lineas Curvas, Lausanne: Bousquet. [4]
Falconer, K. J. 1985 Geometry of Fractal Sets. Cambridge University Press [145
147]
Falconer, K. J. 1990 Fractal Geometry. Chichester, England: Wiley. [109 122 143
144, 148] ’ ’ ’
Fatou, P. 1906 Sur les solutions uniformes de certaines equations fonctionnelles.
Comptes Rendus(Paris) 143, 546-8. [109, 144]
Fatou, P. 1919 Sur les equations fonctionnelles. Bull. Soc. Math. (France) 47 161-
271. [105, 109]
Bibliography and author index 303
Iooss, G. & Joseph, D. D. 1990 Elementary Stability and Bifurcation Theory. 2nd
edn. New York: Springer-Verlag. [35,63,201]
Jordan, D. W. & Smith, P. 1987 Nonlinear Ordinary Differential Equations. 2nd edn.
Oxford: Clarendon Press. [161,197,199,229,231]
Julia, G. 1918 Memoire sur l’iteration des fonctions rationelles. J. Math. Pures
Appl. (7) 4,47-245. Also Oeuvres (1968), 121-319, Paris: Gauthier-Villars. [105,
109]
Kaplan, J. L. & Yorke, J. A. 1979 Chaotic behavior of multidimensional difference
equations. On pp. 204-27 of Functional Differential Equations and Approxima¬
tion of Fixed Points, ed. Peitgen, H.-O. & Walther, H.-O., Berlin: Springer-
Verlag. Lecture Notes in Math. 730. [143]
Kermack, W. O. & McKendrick, A. G. 1927 A contribution to the mathematical
theory of epidemics. Proc. Roy. Soc. Lond. A1 IS, 700-21. [200]
Kevorkian, J. & Cole, J. D. 1981 Perturbation Methods in Applied Mathematics.
New York: Springer-Verlag. Appl. Math. Sci. 34. [197,217,298]
King, G. P. & Drazin, P. G. (eds.) 1992 Interpretation of time series from nonlinear
systems. Physica D 58. [277]
Kittel, C. 1986 Introduction to Solid State Physics. 6th edn. New York: Wiley. [66]
Koch, H. von See von Koch, H.
Kolmogorov, A. N. 1959 Entropy per unit time as a metric invariant of automor¬
phisms. Dokl. Akad. Nauk SSSR 124, 754-55. [141]
Korteweg, D. J. & De Vries, G. 1895 On the change of form of long waves advancing
in a rectangular canal, and on a new type of long stationary waves. Phil. Mag.
(5) 39,422-43. [43]
Kryloff, N. M. & Bogoliuboff, N. N. 1943 Introduction to Non-linear Mechanics.
Princeton University Press. Annals Math. Studies 11. English version of papers,
especially Introduction a la mecanique non-lineaire: les methodes approchees
et asymptotiques’. Ukrainska Akad. Nauk Inst. Mec., Chaire de Phys. Math.
Annales 1-2(1937). [192]
Kuramoto, Y. & Koga, S. 1982 Anomalous period-doubling bifurcations leading to
chemical turbulence. Phys. Lett. A92,1-4. [286]
Lagrange, J. L. 1788 Mecanique Analytique. Paris: Courcier. [180]
Landau, L. D. 1944 On the problem of turbulence. Comptes Rendus Acad. Sci.
U.S.S.R. (Doklady) 44, 311-14. Also Collected Papers (1965), ed. D. ter Haar,
pp. 445-60, Oxford: Pergamon. [13]
Landau, L. D. & Lifshitz, E. M. 1980 Statistical Physics, Part I. 3rd edn. London:
Pergamon. [66]
Landau, L. D. & Lifshitz, E. M. 1987 Fluid Dynamics. 2nd edn. London: Pergamon
[148]
Lebovitz, N. R. & Schaar, R. J. 1975 Exchange of stabilities in autonomous sys¬
tems. Stud. Appl. Math. 54,229-60. [39]
Li, T.-Y. & Yorke, J. A. 1975 Period three implies chaos. Amer. Math. Monthly 82
985-92. [87,133] ’
Liapounov, A. M. 1892 The general problem of the stability of motion. Commun.
Soc. Math. Kharkov. Transl. from Russian to French in ‘Probleme general de
Bibliography and author index 305
la stabilite du mouvement’, Ann. Fac. Sci. Toulouse (2) 9, (1907) 203-475; re¬
printed in Annals Math. Studies 17 (1947), Princeton University Press. [70, 178,
180]
Liapounov, A. M. 1906 Sur les figures d’equilibre peu differentes des ellipsoides
d’une masse liquide homogene donnee d’un mouvement de rotation. 1: Etude
generate du probleme. Zap. Akad. Nauk (St Petersburg) 1,1-225. [6]
Lichtenberg, A. J. & Lieberman, M. A. 1983 Regular and Stochastic Motion. New
York: Springer-Verlag. Appl. Math. Sci. 38. [277]
Lienard, A. 1928 Etude des oscillations entretenues. Rev. Gen d'Elect. 23, 901-12,
946-54. [199]
Lindstedt, A. 1883 Beitrag zur Integration der Differentialgleichungen der Sto-
rungstheorie. Mem. Acad. Imp. Sci. St Petersbourg, (7), 33, no. 4,1-20. [183]
Lorenz, E. N. 1963 Deterministic nonperiodic flow. J. Atmos. Sci. 20, 130-41. [233,
285]
Lotka, A. J. 1920 Undamped oscillations derived from the law of mass action. J.
Amer. Chem. Soc. 42,1595-9. [200]
Lozi, R. 1978 Un attracteur etrange du type attracteur de Henon. J. Phys. (Paris) 39
(C5), 9-10. [119,120]
Mandelbrot, B. B. 1975 Les Objets Fractals: Forme. Hasard et Dimension. Paris:
Flammarion. [131]
Mandelbrot, B. B. 1982 The Fractal Geometry of Nature. San Francisco, CA: Free¬
man. [105, 109, 144, 146]
Matkowsky, B. 1970 A simple nonlinear dynamical stability problem. Bull. Amer.
Math. Soc. 76,620-5. [285]
McLachlan, N. W. 1956 Ordinary Non-linear Differential Equations in Engineering
and Physical Sciences. 2nd edn. Oxford: Clarendon Press. [231,232]
Mel’nikov, V. K. 1963 On the stability of the centre for time-periodic perturbations.
Trans. Moscow Math. Soc. 12, 1-57. [251, 257]
Misiurewicz, M. 1980 Strange attractors for the Lozi mappings. Ann. N.Y. Acad.
Sci. 357, 348-58. [120]
Moser, J. 1973 Stable and Random Motions in Dynamical Systems with Special
Emphasis on Celestial Mechanics. Princeton University Press. Annals Math.
Studies 77. [112]
Murray, J. D. 1989 Mathematical Biology. Berlin: Springer-Verlag. [287]
Myrberg, P. J. 1958 Iteration von Quadratwurzeloperationen. Annales Acad. Sci.
Fennicae A I Math. 259, 1-16. [114]
Nemytskii, V. V. & Stepanov, V. V. 1960 Qualitative Theory of Differential Equa¬
tions. Princeton University Press. English version of Russian book of 1949. [41,
210]
Neumann, J. von See von Neumann, J.
Newhouse, S., Ruelle, D. & Takens, F. 1978 Occurrence of strange axiom A at¬
tractors near quasi-periodic flows on Tm, m ^ 3. Commun. Math. Phys. 64, 35-
40. [261]
Packard, N. H., Crutchfield, J. D., Farmer, J. D. & Shaw, R. S. 1980 Geometry from
a time series. Phys. Rev. Lett. 45,712-16. [266]
306 Bibliography and author index
Rikitake, T. 1958 Oscillations of a system of disk dynamos. Proc. Camb. Phil Soc
54, 89-105. [280]
Rossler, O. E. 1976 An equation for continuous chaos. Phys. Lett. A57 397-98
[163]
Ruelle, D. 1979 Sensitive dependence on initial condition and turbulent behavior
of dynamical systems. Ann. NY. Acad. Sci. 316,408-16. [78]
Ruelle, D. & Takens, F. 1971 On the nature of turbulence. Commun. Math. Phys. 20,
167-92. [87,261]
Ryrie, S. C. 1992 Unsteady three-dimensional Benard convection: light-scattering,
statistics and chaos. Fluid Dyn. Res. 9,19-57. [268,271]
Sarkovskii, A. N. 1964 Coexistence of the cycles of a continuous mapping of the
real line into itself. Ukrain. Math.Zh. 16,61-71. [132]
Shannon, C. E. & Weaver, W. 1949 The Mathematical Theory of Communication.
Urbana, IL: University of Illinois Press. [141]
Sierpinski, W. 1915 Sur une courbe dont tout point est un point de ramification.
Comptes Rendus (Paris) 160,302-5. [145]
Sierpinski, W. 1916 Sur une courbe cantorienne qui contient une image biunivoque
et continue de toute courbe donnee. Comptes Rendus (Paris) 162,629-32. [146]
Smale, S. 1967 Differentiable dynamical systems. Bull. Amer. Math. Soc. 73, 747-
817. [96]
Sparrow, C. 1982 The Lorenz Equations: Bifurcations. Chaos, and Strange At¬
tractors. New York: Springer-Verlag. Appl. Math. Sci. 41. [277]
Stein, G. 1922 Sacred Emily. A poem from the book Geography and Plays. Boston,
MA: Four Seas. [56]
Stuart, A. M. 1990 The global attractor under discretization. On pp. 211-26 of
Continuation and Bifurcations: Numerical Techniques and Applications, ed. Roose,
D., De Dier, B. & Spence, A., Dordrecht, Holland: Kluwer Academic. [113]
Swift, J. & Hohenberg, P. C. 1977 Hydrodynamic fluctuations at the convective
instability. Phys. Rev. A15,319-28. [285]
Takens, F. 1981 Detecting strange attractors in turbulence. On pp. 366-81 of Dy¬
namical Systems and Turbulence, ed. Rand, D. A. & Young, L.-S., New York:
Springer-Verlag. Lecture Notes in Math. 898. [266]
Thom, R. 1975 Structural Stability and Morphogenesis. Reading, MA: Benjamin
English version of French book of 1972. [62,63,67]
Toda, M. 1967 Vibration of a chain with nonlinear interaction. J. Phys. Soc. Japan
22,431-36. [164]
Turing, A. M. 1952 The chemical basis of morphogenesis. Phil. Trans. Roy. Soc.
Lond. B237,37-72. [287]
van der Pol, B. 1922 On oscillation hysteresis in a simple triode generator. Phil.
Mag.(6)43,700-19. [192, 223]
van der Pol, B. 1926 On 'relaxation-oscillations’. Phil. Mag. (7)2,978-92. [190]
van der Waals, J. D. 1873 On the Continuity of Gaseous and Liquid States of Matter.
Doctoral thesis, University of Leiden (in Dutch). English transl. on pp. 121-239
of On the Continuity of Gaseous and Liquid States of Matter, ed. Rowlinson, J. S.
(1988), Amsterdam: North-Holland. [65]
308 Bibliography and author index
Verhulst, P. F. 1838 Notice sur la loi que la population suit dans son accroissement.
Corr. Math. Phys. 10, 113-21. [10]
Volterra, V. 1926 Variazioni e fluttuazioni del numero d’individui in specie animali
conviventi. Mem. Accad. Naz. Lincei 2, 31-113. English transl. on pp. 409-48 of
Animal Ecology by Chapman, R. N. (1931), New York: McGraw-Hill. [200]
von Koch, H. 1904 Sur une courbe continue sans tangente, obtenue par une con¬
struction geometrique elementaire. Arkiv for Mat. Astron. Fys. 1, 681-704.
[129]
von Neumann, J. 1951 Various techniques used in connection with random digits.
J. Res. Nat. Bur. Stand. 12, 36-8. Also Collected Works 5 (1961), ed. A. H. Taub,
pp. 768-70, Oxford: Pergamon. [76. 88]
Waals, J. D. van der See van der Waals, J. D.
Watson, E. B. B., Banks, W. H. H., Zaturska, M. B. & Drazin, P. G. 1990 On
transition to chaos in two-dimensional channel flow symmetrically driven by
accelerating walls. J. Fluid Mech. 212,451-85. [289]
Weiss, P. 1907 L’hypothese du champ moleculaire et la propriete ferromagnetique.
J. Phys. (Paris) 6, 661-90. [66]
Zubov, V. I. 1964 Methods of A. M. Lyapunov and Their Application. Groningen,
Holland: Noordhofl". English transl. of Russian book of 1957. [206]
Additional bibliography
Gor’kov, L. P. & Eliashberg, G. M. 1968 Generalization of the Ginzburg-Landau
equations for non-stationary problems in the case of alloys with paramagnetic
impurities. Sov. Phys. JETP 27, 328-34. [286]
Gray, J. 1992 Poincare, topological dynamics, and the stability of the solar system.
On pp. 503-24 of An Investigation of Difficult Things, ed. P. M. Harman & A. E.
Shapiro, Cambridge University Press. [161]
Poincare, J. H. 1885b Sur les courbes definies par les equations differentielles. J.
Math. Pures Appl. (4) 1, 167-244. Also Oeuvres 1 (1928), ed. P. Appel, pp.
90-161, Paris: Gauthier-Villars. [156]
Poincare, J. H. 1890 Sur le probleme des trois corps et les equations de la dynamique.
Acta Math. 13, 1-270. Also Oeuvres 7 (1952), ed. J. Levy, pp. 262-A19. Paris:
Gauthier-Villars. [167]
Segur, H. 1982 Solitons and the inverse scattering transform. On pp. 200-77 of
Topics in Ocean Physics, ed. A. R. Osborne & P. Malanotte Rizzoli, Amsterdam:
North-Holland. [282]
Motion picture and video index
Various films and videos about nonlinear systems have been made. Some, which
may be rented or bought, are listed below. It it very instructive to see, in particular,
computer-made animations of solutions of nonlinear systems in order to visualize
their geometrical properties.
The following film may be obtained on application to Aerial Press, Inc., PO Box
1360, Santa Cruz, CA 95601, USA. Aerial Press also sells various relevant pro¬
grams on discs suitable for PCs and compatible computers.
Stewart, H. B. F1987 The Lorenz system. 25 mins., 16 mm, colour. [242]
Also much computer software, both in the public domain and for sale, is a source
of fun and an important aid to learning.
309
Subject index
310
Subject index 311
.
The theories of bifurcation, chaos and fractals as well as equilibrium,
stability and nonlinear oscillations, are-parts of the theory of the evolution
of solutions of nonlinear equations. A wide range of mathematical tools
and ideas are drawn together in the study of these solutions, and the
results applied to diverse and countless problems in the natural and social
sciences, even philosophy.
The text evolves from courses given by the author in England and the
United States. It introduces the mathematical properties of nonlinear
systems, mostly difference and differential equations, as an integrated
theory, rather than presenting isolated fashionable topics. Topics are
discussed in as concrete a way as possible and worked examples and
problems are used to explain, motivate and illustrate the general prin¬
ciples. The essence of these principles, rather than proof or rigour, is
emphasized. More advanced parts of the text are denoted by asterisks,
and the mathematical prerequisites are limited to knowledge of linear
algebra and advanced calculus, thus making it ideally suited to both senior
undergraduates and postgraduates from physics, engineering, chemistry,
meteorology etc. as well as mathematics.
Cambridge
UNIVERSITY PRESS