Beruflich Dokumente
Kultur Dokumente
Stability
There are two different ways to think about the stability for a system of nonlinear equations. Firstly, we could ask whether if a point is in a particular region of
phase space whether it stays near this region. Secondly we can consider making
a small change to the system and ask whether this results in a significant change
in the solutions. The latter in called structural stability. We will consider both
types in turn.
6.1
There are two main definitions of stability in phase space x. One is when
trajectories starting at nearby points flow to a point xf . This is asymptotic
stability. The other is when trajectories starting near a point xf stay near this
point. This is called Liapunov stability.
We can be more precise in these definitions. Suppose x(t) is some trajectory
and x(t = 0) = x0 is near xf :
Liapunov stability. A fixed point xf is Liapunov stable if for all possible
> 0 there exists a such that for all x0 satisfying |x0 xf | < we have
|x(t) xf | < for all t.
Asymptotic stability. A fixed point xf is asymptotically stable if it
is Liapunov stable and in addition there exists a such that for all x0
satisfying |x0 xf | < we have x(t) xf for all t.
The important point to grasp about Liapunov stability is that can be made
as small as one likes, i.e. stability only occurs if by an appropriate choice of
one can remain arbitrarily close to xf . Asymptotic stability is clearly a subclass
of Liapunov stability. It is also possible that trajectories may flow ultimately
to a point but without Liapunov stability. This is known as quasi-asymptotic
stability. An illustration of all three cases are illustrated in fig. 13.
In two dimensions a stable star, node or focus is asymptotically stable,
whereas a centre is Liapunov stable only. The region where all trajectories flow
to a point is the domain of asymptotic stability. The largest region is the basin
of attraction. We have already seen an example of this when considering the
phase portrait for rabbits and sheep, where the phase space separated into a
basin of attraction for rabbits only and for sheep only separated by the line
known as the stable manifold.
Quasi-asymptotic stability is demonstrated by the set of equations
= sin2 (/2),
r = r(1 r2 ),
(256)
where r and represent polar coordinates. This system of equations has a fixed
point at
r = 1, = 0
(x = 1, y = 0).
(257)
49
6.2
Limit Cycles
Liapunov orbital stability. For all > 0 there exists a such that for
all y0 N (, ) then for all t we have y(t) N (, ).
Asymptotic stability. We require that is Liapunov stable and that
there is a such that for all y0 N (, ) then we have y(t) approaches
as t .
Asymptotically stable orbits are called limit cycles. These are important in
populations, economics and in physiology. They do not arise in purely linear
systems. Consider the linear equations x = Gx, where G is a constant matrix.
If x(t) is a solution to this equation then so is cx(t), where c is a constant.
Hence, any orbital solution has indeterminate size.
A simple example of a limit cycle is a van der Pol oscillator, described by
x + (x2 1)x + x = 0,
(258)
6.3
(260)
This system of equations is said to be structurally stable if for small we can add
h(x) to the right-hand side such that solutions remain qualitatively equivalent
to the original solutions, i.e. there is a one-to-one mapping between the two
sets of solutions. This is a complicated topic, and we can only treat it in a
qualitative manner. We can consider the stability by looking at the form of
solutions in the linear case.
6.4
This states that for any simple fixed point of a system of nonlinear differential
equations the phase space portrait close to the fixed point remains qualitatively
the same (one-to-one mapping) as for the linearised form of the equations provided the fixed point is not a centre. Hence, an attracting or repelling fixed
point retains its form, but a star may become a focus (or vice versa), for example. Centres are unstable in this sense because they rely on a precise fine-tuning
such that there is no growth or decay at all in the solutions (trG = 0 precisely)
which can easily be disturbed by nonlinear terms.
51
Figure 14: (a) The phase portrait for a non-simple fixed point obtained in
the linear limit. (b) the distortion of this phase portrait by the addition of a
non-linear term.
A simple fixed point means that there is not a zero eigenvalue for the linear system. A zero eigenvalue again relies on a very precisely defined system
and small perturbations can remove a line along which there is no evolution.
Consider the linear equations
x = x,
y = 0.
(261)
This results in the phase portrait in fig. 14(a). These can have the nonlinear
extension
x = x,
y = y 2 .
(262)
Even for small the nonlinear term alters the evolution in the y direction
completely and results in the much-altered phase portrait in fig. 14(b).
Centres and non-simple fixed points are called borderline cases, because
they only exist due to very precise eigenvalues, whereas small effective changes
in eigenvalues for other fixed points do not alter the fact that there is growth, or
damping. This suggests that it is unlikely that we will find centres as genuine
solutions to systems of nonlinear equations since their existence is so fragile.
This is generally true. However, they can be protected in special circumstances
where there are conserved quantities, as is often the case for physical systems.
We will consider these conservative systems next.
52
Conservative Systems
7.1
dy
f (x)
=
dx
g(y)
Z
dy g(y) =
dx f (x) + c,
(263)
y0
d
y g(
y)
x0
d
x f (
x),
(264)
7.2
Examples
p =
dV (x)
.
dx
(265)
and so
dp
dV /dx
=
,
dx
p/m
(266)
(267)
dp p/m =
53
dx
dV (x)
+ c,
dx
and so
p2
+ V (x) E,
(268)
2m
i.e. the energy E is the first integral. In fact we know from our results in section
1 that this is a general result, with the Hamiltonian always being a conserved
quantity unless the potential has explicit time dependence, and in most cases
the Hamiltonian is equal to the energy of the system. In this case we have the
general first integral
p2
E=
+ V (r).
(269)
2m
Another example of a conservative system is the Linear Saddle. This has
the equations
x = x,
y = y,
(270)
c=
(271)
ln y = ln x + c.
(272)
c Q(x, y) = xy
(273)
7.3
Knowing the first integral gives us information about the form of solutions.
In 2 dimensions Q(x, y) = c reveals a trajectory in phase space. However,
different trajectories (with different solutions) can have the same first integral,
e.g. consider the system
x = x(2 y),
y = y(2 y).
(274)
This has the same first integral as the linear saddle. This means that the
trajectories are exactly the same lines as for the linear saddle. However, the
rate of movement along the trajectories is different in this case. In particular
there is a fixed line at y = 2, and for y > 2 the direction of the arrows on the
trajectories is reversed.
7.4
ln y = ln x + c
dx
x
Q(x, y) = x/y = c.
(276)
This is ill-defined at the origin and is not valid everywhere in phase space.
It is true that away from the origin a trajectory satisfies x = cy, i.e. a
straight line, but c cannot be interpreted as a conserved quantity.
3. Trajectories are given by contours of constant Q(x). Since Q(x) is the first
integral then a stationary point for Q(x) is a zero for the right-hand side
of the equations and is a fixed point. Maxima and minima are surrounded
by closed orbits, as shown below.
Q(x, y)
y
Qmin
55
56