For the cubic population iteration, put . Its fixed points solve
Thus always exists. For there are also
whenever the expression under the square root is positive, namely or . At these coincide with zero; at only zero exists.
The criterion for fixed point stability for an iteration is . To justify it, continuity of gives a small interval around the fixed point where . The mean value theorem then gives , so this interval is invariant and the error decreases geometrically. This proves local asymptotic stability rather than merely linear boundedness.
Here . At zero its value is , so zero is locally asymptotically stable for . At a nonzero fixed point it is
The strict inequality is equivalent to . Both nonzero real fixed points are therefore locally asymptotically stable on that interval. This proves the two requested existence ranges. The strict derivative criterion alone makes no conclusion at the endpoint multipliers of modulus one.