11.1 Fixed Points and the Contraction Principle 333
x
∗
so that for every point x in (a, b) except for x
∗
itself, the orbit O(x) always
leaves the interval U.
Notice that for an attractive fixed point x
∗
, the interval U around x
∗
may be
quite small. Also, for a repelling fixed point x
∗
, the orbit O(x) may return to the
interval U after it leaves. However, it must then leave the interval again eventually.
We shall see that if T is differentiable, the difference between attractive and
repelling fixed points comes down to the size of the derivative at x
∗
. A fixed point
x
∗
is attracting if |T
0
(x
∗
)| < 1 and repelling if |T
0
(x
∗
)| > 1. The case |T
0
(x
∗
)| = 1
is ambiguous and might be one, the other, or neither.
In our example,
T
0
(x) = 1.8 −5.4x
2
.
So T
0
(0) = 1.8 > 1. The tangent line at the origin is L(x) = 1.8x. Since the
tangent line is a good approximation to T near x = 0, it follows that T roughly
multiplies x by the factor 1.8 when x is small. So repeated application of this to
a very small nonzero number will eventually move the point far from 0. We will
make this precise in Lemma 11.1.2 by using the Mean Value Theorem to show that
0 is a repelling point in the interval (−
1
3
,
1
3
).
On the other hand, at x = ±
2
3
, T
0
(x) = −.6. This has absolute value less than
1. So near x =
2
3
, the function is approximated by the tangent line
L(x) =
2
3
− .6(x −
2
3
).
This decreases the distance to
2
3
by approximately a factor of .6 each iteration. That
is,
T
n+1
x −
2
3
≈ .6(T
n
x −
2
3
).
So T
n
x converges to
2
3
. Again, we will obtaina precise inequality in Lemma 11.1.2.
So the points ±
2
3
are attractive fixed points.
Consider the graph of the function given in Figure 11.2. Fixed points corre-
spond to the intersection of the graph of T with the line y = x. Starting with
any point x
0
, mark the point (x
0
, x
0
) on the diagonal. A vertical line from this
point meets the graph of T at (x
0
, T x
0
) = (x
0
, x
1
). Then a horizontal line from
here meets the diagonal at (x
1
, x
1
). Repeated application yields a graphical pic-
ture of the dynamics. Note that starting near a fixed point, the slope of the graph
determines whether the points approach or move away from the fixed point.
In our example, another typical behaviour is exhibited by all |x| sufficiently
large. For the sake of simplicity, consider |x| > 2. Then
|T x| = 1.8(x
2
− 1)|x| ≥ 5.4|x|.
It is clear then that lim
n→∞
|T
n
x| = +∞. So all of these orbits go off to infinity.
Usually we will try to restrict our domain to a bounded region that is mapped back
into itself by the transformation T .
We now connect our classification of fixed points with derivatives. Say that
T is a C
1
dynamical system on X ⊂ R if the function T is C
1
, that is, has a
continuous derivative.