Velocity model building for prestack depth migration is a model based iteration process.
This paper indicated that the sequence of approximate value of eigenvalue is monotone convergent in the iteration process of matrix iteration method. And also gave examples.
Approximating fixed point of a finite family of asymptotically identical φ-pseudo contractive mapping by iteration processes in normed linrear spaces