Mean value methods in iteration

Abstract

Due largely to the works of Cesaro, Fejer, and Toeplitz, mean value methods have become famous in the summation of divergent series. The purpose of this paper is to show that the same methods can play a somewhat analogous role in the theory of divergent iteration processes. We shall consider iteration from the limited but nevertheless important point of view of an applied mathematician trying to use a method of successive approximations on some boundary value problem which may be either linear or nonlinear. It is now widely known that the Schauder fixpoint theorem [1] is a powerful method for proving existence theorems. If one wishes to use it to prove that a given problem has a solution, he proceeds by associating with the problem a convex compact set E in some Banach space, and a continuous transformation T which carries E into itself. Schauder's theorem asserts that T must have at least one fixpoint, say p, in E. If E and T have been appropriately chosen, it can then usually be shown that any such fixpoint must be a solution of the original problem and conversely. Mathematical literature since about 1935 abounds with illustrations of this technique. We mention here only [2] and [3] which contain the genesis of the present work. Let us then begin with a convex compact set E in a Banach space, and a continuous transformation T carrying E into itself. The problem which we shall consider is that of constructing in E a sequence of elements { x,n } that converge to a fixpoint of T. Ordinarily one starts by choosing more or less arbitrarily an initial point xi in E and then considering the successive iterates { xn } of xi under T, where