Contraction iteration error bound

ID: contraction-iteration-error-bound

Successive steps satisfy . Summing the remaining steps with the triangle inequality gives a bound available before the iteration starts:
After computing a new step, the contraction mapping gives the often sharper bound
Equivalently, the residual at any satisfies . These estimates convert visible step sizes into guaranteed distances to an unknown fixed point. When is close to one, the factor can be large: a small step alone needs interpretation through the contraction constant.

New to topics? Read the docs here!