46 Dynamical Systems
In Case III, arguments similar to those given above show that for
all x ∈ (0, x
∗
(2)
), α(x) < x. Hence, the trajectory τ (x) is monotonically
decreasing and converges to 0. Similarly, for x > x
∗
(3)
, α(x) < x. Hence,
for each x > x
∗
(3)
the trajectory τ (x) is decreasing and converges to x
∗
(3)
.
Finally, α
(x
∗
(2)
) > 1 implies that for x > x
∗
2
and x sufficiently close
to x
∗
(2)
, α
(x) > 1. By using the mean value theorem we can show that
α(x) > x. But this means that for all x ∈ (x
∗
(2)
, x
∗
(3)
),α(x) > x (other-
wise there must be a fixed point z of α between x
∗
(2)
and x
∗
(3)
, a contra-
diction). Also α
(x) > 0 for x > 0 implies that α(x) ≤ α(x
∗
(3)
) = x
∗
(3)
for
all x ∈ (x
∗
(2)
, x
∗
(3)
). We can use our analysis in Section 1.5 to show that
for each x ∈ (x
∗
(2)
, x
∗
(3)
), the trajectory τ (x) is increasing and converges
to x
∗
(3)
.
The above discussion suggests that bifurcations occur near non-
hyperbolic fixed and periodic points. This is indeed the only place where
bifurcations of fixed points occur, as the following result on comparative
statics demonstrates.
Proposition 8.1 Let α
θ
be a one-parameter family of functions, and sup-
pose that α
θ
0
(x
0
) = x
0
and α
θ
0
(x
0
) = 1. Then there are intervals I about
x
0
and N about θ
0
, and a smooth function p : N → I such that p(θ
0
) =
x
0
and α
θ
(p(θ)) = p(θ). Moreover, α
θ
has no other fixed points in I .
Proof. Consider the function defined by G(x,θ) = α
θ
(x) − x.Byhy-
pothesis, G(x
0
,θ
0
) = 0 and
∂G
∂x
(x
0
,θ
0
) = α
θ
0
(x
0
) − 1 = 0.
By the implicit function theorem, there are intervals I about x
0
and N
about θ
0
, and a smooth function p : N → I such that p(θ
0
) = x
0
and
G( p(θ),θ) = 0 for all θ ∈ N . Moreover, G(x,θ) = 0 unless x = p(θ).
This concludes the proof.
1.9 Some Applications
1.9.1 The Harrod–Domar Model
We begin with the Harrod–Domar model, which has left an indelible
impact on development planning and has figured prominently in policy