The solution by iteration of nonlinear equations in Hilbert spaces

The weak and strong convergence of the iterates generated by xk + x = (1 — tk)xk + tkTxk (tk G R) to a fixed point of the mapping T: C -> C are investigated, where C is a closed convex subset of a real Hubert space. The basic assumptions are that T has at least one fixed point in C, and that / — T is demiclosed at 0 and satisfies a certain condition of monotony. Some applications are given. Introduction. Let H be a real Hubert space, C a closed convex subset of H and F a nonlinear mapping of C into C with the nonempty fixed point set F in C. The mapping F is said to be monotone if <Fx Ty, x — _y> > 0 for all x, v G C. According to [2] and [8], the mapping F is said to be demiclosed at 0 in C if [uk] is a sequence in C which converges weakly to m G C, and if {Tuk} converges strongly to zero, then Tu = 0. In this paper we study the convergence of the sequence of iterates generated by (!) **+i = O h)xk + tkTxk (x0 G C), where tk G R, k = 0, I, . . . , under the basic assumptions that I T satisfies a particular condition of monotony and that / — T is demiclosed at 0 in C. The main theorems. The mapping F will be said to satisfy condition (A) if F is nonempty and if there exists a real positive number A such that (2) <x Tx,x i) > X\\x Fx||2, Vx G C, £ G F. It is obvious that (2) is a particular condition of monotony of I — T. Theorem 1. Let T: C —» C be a nonlinear mapping, where C is a closed convex subset of H. Suppose that T satisfies condition (A), I — T is demiclosed at 0 in C and the sequence {xk} generated by (I) with 0<a<tk<b<2X belongs to C. Then {xk} converges weakly to an element of F. Proof. From (2) we obtain Received by the editors March 26, 1975 and, in revised form, July 24, 1975 and September 24, 1976. AMS (MOS) subject classifications (1970). Primary 47H10.