Comparison theorems for algorithmic models

摘要

This paper discusses monotonicity concepts to compare iteration sequences and common fixed points of point-to-set mappings. Three particular applications are presented. A new proof of the Gronwall lemma is first introduced, and then the monotonicity of input-output systems is analysed. Matrices with nonnegative inverses are finally examined.