272 Random Dynamical Systems
Since splitting (H) holds, there exist ˜χ>0 and N such that
(1) the integrand above lies between F
π
(z) ± (1 − ˜χ )
[m
2
/N ]
,
(2) 1
!
[a,b]
p
(m
1
)
(x, dy) 1 − (1 − p
n
0
)
[m
1
/n
0
]
, and
(3) Prob(X
n
(x) z, X
m
1
(x) /∈ [a, b])
(1 − p
n
0
)
[m
1
/n
0
]
,
it follows that
|H
n
(z) − F
π
(z)| (1 − ˜χ )
[m
2
/N ]
+ 2(1 − p
n
0
)
[m
1
/n
0
]
.
Example 6.3 We now consider an interesting example of {F, G} satis-
fying the hypotheses [G.1], [P.1]–[P.4], so that Theorem 6.1 holds.
Consider the family of maps F
θ
:[0, 1] → [0, 1] defined as
F
θ
(x) = θ x(1 − x).
For 1 <θ ≤ 4, the fixed points of F
θ
are 0, x
∗
θ
= 1 −
1
θ
.Forθ>2,
x
∗
θ
> 1/2. Let us try to find an interval [a, b] on which F
θ
is monotone and
which is left invariant under F
θ
, i.e., F
θ
([a, b]) ⊂ [a, b]. One must have
1/2 ≤ a < b ≤ 1, and one can check that [1/2,θ/4] is such an interval,
provided F
θ
(θ/4) ≡ F
2
θ
(1/2) ≥ 1/2. This holds if 2 ≤ θ ≤ 1 +
√
5. For
any such θ, F
θ
is strictly decreasing and F
2
θ
is strictly increasing on
[1/2,θ/4].
Consider 3 <θ≤ 1 +
√
5. In this case, |F
θ
(x
∗
θ
)|=θ − 2 > 1 so that
x
∗
θ
is a repelling fixed point of F
θ
. One can show that there are two
locally attracting periodic points of period 2, say, β
1
and β
2
, and
β
1
< x
∗
θ
<β
2
(see Section 1.7). Since F
2
θ
is a fourth-degree polyno-
mial, {0,β
1
, x
∗
θ
,β
2
} are the only fixed points of F
2
θ
. Also, F
2
θ
(x) − x
does not change sign on (β
1
, x
∗
θ
)oron(x
∗
θ
,β
2
). Take θ = 3.1. Then the
invariant interval is [1/2, 0.775] and x
∗
θ
= 0.677. One can compute (see,
e.g., Sandefur 1990, pp. 172–181), that when θ ∈ (3, 1 +
√
6),β
1
and
β
2
are given by
√
θ + 1[(
√
θ + 1 ±
√
θ − 3/2θ]. For θ = 3.1, one has
β
1
= 0.558014125,β
2
= 0.76456652, F
θ
(β
1
)
∼
=
−0.3597, F
θ
(β
2
) =
−1.6403, |F
θ
(β
1
)F
θ
(β
2
)|
∼
=
0.5904 < 1.
As an example of functions of the kind considered in this sec-
tion, let F(x) = (3/4)x
1/2
and G(x) = F
θ
(x) as above, with θ = 3.1.
Let Prob(α
n
= F) = p, Prob(α
n
= G) = 1 − p(0 < p < 1). Then with
a = 1/2, b = θ/4 = (3.10)/4, [a, b] is an invariant interval for F
and G. The fixed point of F in [a, b]is(3/4)
2
= 9/16 = r. The re-
pelling fixed point of G is x
∗
θ
= 0.677 ... and the period-two orbit
is {β
1
= 0.558 ...,β
2
= 0.764 ...}. Thus the hypotheses imposed on