THE GARDEN
Updated 01 Oct 2026
rewrites a root equation as x=g(x)x=g(x) and repeatedly evaluates xk+1=g(xk)x_{k+1}=g(x_k)
a sufficient interval condition is that gg maps a closed interval into itself and satisfies ∣g′(x)∣≤q<1|g'(x)|\le q<1 throughout that interval.
locally, ∣g′(x∗)∣<1|g'(x^*)|<1 indicates attraction; ∣g′(x∗)∣>1|g'(x^*)|>1 indicates repulsion. Equality to 11 is inconclusive.
for f(x)=x2−3x+2f(x)=x^2-3x+2, one rearrangement is g(x)=−2/(x−3)g(x)=-2/(x-3), with x≠3x\ne3.
since g′(x)=2/(x−3)2g'(x)=2/(x-3)^2, root 11 is attractive and root 22 is repelling.
another rearrangement is g(x)=(x2+2)/3g(x)=(x^2+2)/3. Here g′(1)=2/3g'(1)=2/3 and g′(2)=4/3g'(2)=4/3: again, locally attractive at 11 and repelling at 22.
The fraction needs the negative numerator: x=−2/(x−3)x=-2/(x-3).
The second rearrangement is not universally divergent; convergence depends on the root, starting point, and iteration behavior.
◌ Explore connections in Graph view
Paths through the garden