Input := Q[x_] = x^2 + b;
Input := Solve[Q[x] == x, x]
Output =
1 - Sqrt[1 - 4 b] 1 + Sqrt[1 - 4 b]
{{x -> -----------------}, {x -> -----------------}}
2 2
Input := fp1 = x /. %[[1]]
Output =
1 - Sqrt[1 - 4 b]
-----------------
2
Input := fp2 = x /. %%[[2]]
Output =
1 + Sqrt[1 - 4 b]
-----------------
2
Input := s1 = Q'[fp1]
Output = 1 - Sqrt[1 - 4 b]
Input := s2 = Q'[fp2]
Output = 1 + Sqrt[1 - 4 b]
Since Q is an even function, Q(-x) = Q(x). So, any negative input has the same dynamics as the corresponding positive input. Thus, it suffices to consider the orbits corresponding to x0 > (1 + Sqrt[1 - 4 b])/2. Noting that Q'(x) > 1 for all x > fp2, we must have Q(x) > x for all x > fp2. Thus, the orbits diverge to positive infinity.
b > 1/4, all points diverge to positive infinity.
b = 1/4, if |x0| > 1/2 then diverge to infinity otherwise attracted to the fixed point 1/2 (x0=1/2 is already fixed, and x0=-1/2 is "eventually fixed" after 1 iteration.)
b < 1/4, if |x0| > (1 + Sqrt[1 - 4 b])/2 then diverge to infinity
if x0 is a fixed point, then the orbit is fixed
if x0 is between the fixed points |x0| < (1 + Sqrt[1 - 4 b])/2 the orbit is attracted to fp1.
The fixed point p+ = fp2 doesn't change stability since the slope s2 > 1 for all b < 1/4. However, we see that the fixed point p- = fp1 switches stability when
Input := Solve[s1 == -1, b]
Output =
3
{{b -> -(-)}}
4
Input := b2 = b /. %[[1]]
Output = 3 -(-) 4
Input := q2[x_] = Q[Q[x]]
Output =
2 2
b + (b + x )
Input := q21 = q2[x] /. b -> 1/4; q22 = q2[x] /. b -> 0; q23 = q2[x] /. b -> -3/4; q24 = q2[x] /. b -> -3/2; q25 = q2[x] /. b -> -2;
Input :=
Plot[{q21, q22, q23, q24, q25, x}, {x, -2, 2},
AspectRatio -> Automatic,
PlotRange -> {-2, 2}]

Output = -Graphics-
Period-2 points appear to emerge as b decreases through b = -3/4.
Input := per2 = Solve[q2[x]==x, x]
Output =
1 - Sqrt[1 - 4 b] 1 + Sqrt[1 - 4 b]
{{x -> -----------------}, {x -> -----------------},
2 2
-1 - Sqrt[1 - 4 (1 + b)] -1 + Sqrt[1 - 4 (1 + b)]
{x -> ------------------------}, {x -> ------------------------}}
2 2
Input := p21 = x /. per2[[3]] p22 = x /. per2[[4]]
Output =
-1 - Sqrt[1 - 4 (1 + b)]
------------------------
2
Output =
-1 + Sqrt[1 - 4 (1 + b)]
------------------------
2
Let's first note that both points have the same stability property.
Input := slope = Simplify[q2'[p21]]
Output = 4 + 4 b
Input := Simplify[q2'[p22]]
Output = 4 + 4 b
Now, we want to know when the slope goes through 1 in magnitude. It's clear from the graphs in number 6 that we are particularly interested in when the slope is negative 1.
Input := per4 = Solve[slope == -1, b]
Output =
5
{{b -> -(-)}}
4
Input := b4 = b /. per4[[1]]
Output = 5 -(-) 4
Input :=
b = -1.3;
Plot[{Q[x], q2[x], q2[Q[x]], q2[q2[x]], x}, {x, -2, 2},
AspectRatio -> Automatic,
PlotRange -> {-2, 2}]

Output = -Graphics-
The period-4 map does appear to have unique fixed points which cross the replacement line with a slope of less than one in magnitude. Thus, there must be 4 attracting period-4 points (all on the same orbit), 2 repelling period-2 points (on the same orbit), and two repelling fixed points. There are no periodic points of any other period.