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 boundEquivalently, 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!