Dice Question Streamline Icon: https://streamlinehq.com

Sufficiency of r = m for proper convergence of candidate sequences

Establish whether, for a smooth contraction f: I → I with fixed point L and derivative m = |f'(L)| in (0,1), choosing r = m is sufficient to ensure that the sequence c_n = |L − f^{(n)}(t_0)| / r^n converges to a finite positive limit for all initial values t_0 ∈ I \ {L}.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper introduces the generalized sequence c_n = (L − f{(n)}(t_0)) / rn and shows that r must equal m = |f'(L)| for c_n to have a finite positive limit. However, while necessity is established via bounds derived from the mean value theorem, the authors do not determine whether r = m guarantees convergence to a positive finite limit under the stated hypotheses.

This question concerns the exact conditions under which the residual sequence obtained by dividing out the exponential decay rate mn converges properly for arbitrary smooth contractions with fixed point L.

References

"Although r = m is necessary for c_n to have a finite positive limit, it is not obvious whether it is sufficient. On the other hand, we have not discovered an example demonstrating that r=m is not sufficient for convergence of c_n to a finite positive limit."

Currie's Mysterious Pattern and Iterated Functions (2509.21409 - Kalman, 24 Sep 2025) in Section "Iterated Function Basics" (following Equation (convbnds1))