[1] K. Deimling, Zeroes of accretive operators, Manuscripta Math. 13(1974), 365-374.
[2] S. Ishikawa, Fixed points by a new iteration method, Proc. Amer. Math. Soc. 44(1974), 147-150.
[3] L.-S. Liu, Ishikawa and Mann iterative process with errors for nonlinear strongly accretive mappings in Banach spaces, J. Math. Anal. Appl. 194(1995), 114-125.
[4] W. R. Mann, Mean value in iteration, Proc. Amer. Math. Soc. 4(1953), 506-510.
[5] R. H. Martin Jr, A global existence theorem for autonomous differential equations in Banach spaces, Proc. Amer. Math. Soc. 26(1970), 307-314.
[6] C. Morales, Surjectivity theorems for multi-valued mappings of accretive type, Comm. Math. Univ. Carolinae 26(1985), 397-413.
[7] B. E. Rhoades, Comments on two fixed point iteration methods, J. Math. Anal. Appl. 56(1976), 741-750.
[8] B. E. Rhoades, S¸. M. S¸oltuz, On the equivalence of Mann and Ishikawa iteration methods, International Journal of Mathematicsand Mathematical Science 33(2003), 451-459.
Paper (preprint) in HTML form
Mann-Ishikawa iterations and Mann-Ishikawa iterations with errors are equivalent models
Ştefan M. Şoltuz
Abstract
Mann-Ishikawa iterations and Mann-Ishikawa iterations with errors are equivalent models for several classes of operators.
Key words: Mann-Ishikawa iterations, Mann-Ishikawa iterations with errors
AMS subject classifications: 47 H 10
Received February 14, 2003
Accepted March 19, 2003
1. Preliminaries
Introduced in [4], Mann iteration is a viable method to approximate the fixed point of an operator, when Banach principle is not functional. Let be a Banach space, let be a map. Let . Mann iteration is given by:
(1)
The sequence is convergent, such that , and . Ishikawa introduced later in [2] the following iteration,
(2)
Sequences are convergent such that
In [2] the conditions on the above sequences were . A better condition, introduced in [7], is . Now, letting from Ishikawa iteration (2), we get Mann iteration (1). Let us consider the following iteration, see [3]:
Errors satisfy . This iteration is known as Mann iteration with errors. In [3] Ishikawa iteration with errors is defined as
(4)
Errors and satisfy
(5)
where and are the same as those from (1)and (2). When , respectively then we deal with Mann and Ishikawa iteration.
In [8] it was proven that for several classes of Lipschitzian operators, Mann and Ishikawa iteration methods are equivalent. We will prove further that Mann and Ishikawa iterations are equivalent models with Mann and Ishikawa iterations with errors. Thus the study of convergence of the above iterations is reduced to the study of Mann iteration, which is more convenient to be used.
Let us denote the identity map by .
Definition 1. Let be a real Banach space. A map is called strongly pseudocontractive if there exists such that we have
(6)
for all , and .
The following lemma can be found in [3].
Lemma 1 [[3]]. Let be a nonnegative sequence which satisfies the following inequality
(7)
where , and . Then .
2. Main result
Let us denote . We are able now to give the following result:
Theorem 1. Let be a Banach space and let be a Lipschitzian with , strongly pseudocontractive map. If , let 0 , , and , suppose that for iteration (4) the errors satisfy (5); then the following two assertions are equivalent:
(i) Ishikawa iteration (2) converges to ,
(ii) Ishikawa iteration with errors (4) converges to the same .
Proof. Corollary 1 from [1] assures that ; strong pseudocontractivity assures the uniqueness of the fixed point.
Supposing Ishikawa iteration with errors (4) converges and taking , we get the convergence of (2). We will prove that the convergence of Ishikawa iteration (2) implies the convergence of Ishikawa iteration with errors (4). The proof is similar to the proof of Theorem 4 from [8]. We have
(8)
Also
(9)
From (8) and (9) we get
(10)
Taking in norm we have
and using (6) with and , we obtain
(11)
Taking the norm in (10) and then using (11), we get
We obtain
(12)
We aim to evaluate and :
(13)
because .
We have
Now, satisfies
Using (13) we evaluate:
and
One obtains
Also, we have
Taking (12) with the above evaluations for , and
using the following inequalities , we get
That is
where
Remark that is the same as in formula (27) from [8]. The same motivation as in [8] leads us to
We get relation (7) with
Using (5) and using that Ishikawa iteration (2) converges i.e. , (more precisely using ), it is easy to see that , and . All the assumptions from Lemma 1 are satisfied, hence we have . That is
(14)
We suppose that . Relation (14) and the following inequality
lead us to .
If we consider , in (2) and (4), then we have the following result
Theorem 2. Let be a Banach space and be a Lipschitzian with , strongly pseudocontractive map. If , let and , suppose that the errors satisfy (5), then the following two assertions are equivalent:
(i) Mann iteration (1) converges to ,
(ii) Mann iteration with errors (3) converges to the same .
The following result is from [8].
Theorem 3 [[8]]. Let be a closed convex (not necessarily bounded) subset of an arbitrary Banach space and let be a Lipschitzian pseudocontractive selfmap of K Let us consider Mann iteration and Ishikawa iteration with the same initial point and with the conditions , and . Let . Then the following conditions are equivalent:
(i) Mann iteration (1) converges to ,
(ii) Ishikawa iteration (2) converges to .
Take in the above result. Theorem 1, Theorem 2 and Theorem 3 lead us to the conclusion:
Corollary 1. In the same assumptions as in Theorem 1 we have the equivalence between the convergences of (1), (2), (3) and (4).
3. The equivalence for strongly accretive and accretive maps
The map given by
is called the normalized duality mapping. Let us denote the identity map by .
Definition 2. Let be a Banach space. A map is called strongly pseudocontractive if there exists and such that
for all . This is equivalent with (6).
A map is called strongly accretive if there exists and such that
for all .
A map is called accretive if there exists such that
for all .
Let us denote the identity map by .
Remark 1. Map is a strongly pseudocontractive map with if and only if is a strongly accretive map with .
Let us consider the following operator equation
where is a strongly accretive map and is given. Consider the map . A fixed point for will be a solution for the equation such a solution exists, see [6]. We consider iterations (2) and (4) with instead of .
(15)
and
(16)
Sequences , are convergent such that 0 , and . Errors satisfy (5).
Theorem 1 assures that the Ishikawa iteration and Ishikawa iteration with errors are equivalent models for a strongly pseudocontractive map. Using Remark 1, observe that if is Lipschitzian and strongly accretive, then the map is Lipschitzian strongly pseudocontractive. We obtain
Theorem 4. Let be a Banach space, let be a Lipschitzian with , a strongly accretive map. If , then the following two assertions are equivalent:
(i) Ishikawa iteration (15) converges to , which is the solution of ,
(ii) Ishikawa iteration with errors (16) converges to the same , which is the solution of .
When we take , we get a similar result for Mann iteration and Mann iteration with errors. Thus Mann iteration with errors (3) is equivalent with Mann iteration (1), when we take .
According to observation from [8], Theorem 3 holds if we take the above operator , with strongly accretive. Theorem 4 and the equivalence between Mann iteration with errors (3) and Mann iteration (1) lead us to the following conclusion
Corollary 2. In the same assumptions as in Theorem 4 we have the equivalence between the convergences of (1), (2), (3) and (4) for a Lipschitzian strongly accretive map , and .
Remark 2. If is an accretive map, then is a strongly pseudocontractive map.
Proof. For all and , we have
Let us consider the following operator equation
where is a strongly accretive map and is given. The existence of the solution for follows from [5]. It is clear that is Lipschitzian if is. Consider the map . A fixed point for will be a solution for the equation . Using Remark 2, if is an accretive map, then is strongly pseudocontractive. Now let us consider iterations (2) with
(17)
and the Ishikawa iteration with errors (4):
(18)
Sequences are convergent such that , , and . The errors verify (5).
Theorem 1 assures that Ishikawa iteration and Ishikawa iteration with errors are equivalent models for a strongly pseudocontractive map. According to Remark 2, the map , is (Lipschitzian) strongly pseudocontractive map when is a (Lipschitzian) accretive. These arguments lead us to the following conclusion
Theorem 5. Let be a Banach space, let be a Lipschitzian with , accretive map. If , then the following two assertions are equivalent:
(i) Ishikawa iteration (17) converges to , which is the solution of
(ii) Ishikawa iteration with errors (18) converges to the same , which is the solution of .
When we take , we get a similar result for Mann iteration and Mann iteration with errors. Thus Mann iteration with errors (3) is equivalent with Mann iteration (1), when we take .
According to second observation from [8], Theorem 1 holds if we take , with accretive. Also Theorem 5 and the remark concerning the equivalence between Mann iteration with errors and Mann iteration for , lead us to
Corollary 3. In the same assumptions as in Theorem 5 we have the equivalence between the convergences of (1), (2), (3) and (4) for a Lipschitzian accretive map , and .
4. The multivalued case
In the multivalued case the following definitions hold
Definition 3. Let be a real Banach space. A map is called strongly pseudocontractive if there exists and such that
for all .
Let , the map is called strongly accretive if there exists and such that
for all , etc.
We remark that all results from this paper hold in the multivalued case, provided that these multivalued maps admit single valued selections.
Acknowledgment. The author is indebted to referee and to Ioana C. Şoltuz for carefuly reading and making useful, pertinent suggestions.
References
[1] K. Deimling, Zeroes of accretive operators, Manuscripta Math. 13(1974), 365374.
[2] S. Ishikawa, Fixed points by a new iteration method, Proc. Amer. Math. Soc. 44(1974), 147-150.
[3] L.-S. Liu, Ishikawa and Mann iterative process with errors for nonlinear strongly accretive mappings in Banach spaces, J. Math. Anal. Appl. 194(1995), 114-125.
[4] W. R. Mann, Mean value in iteration, Proc. Amer. Math. Soc. 4(1953), 506510.
[5] R. H. Martin Jr, A global existence theorem for autonomous differential equations in Banach spaces, Proc. Amer. Math. Soc. 26(1970), 307-314.
[6] C. Morales, Surjectivity theorems for multi-valued mappings of accretive type, Comm. Math. Univ. Carolinae 26(1985), 397-413.
[7] B. E. Rhoades, Comments on two fixed point iteration methods, J. Math. Anal. Appl. 56(1976), 741-750.
[8] B. E. Rhoades, Ş. M. Şoltuz, On the equivalence of Mann and Ishikawa iteration methods, International Journal of Mathematics and Mathematical Science 33(2003), 451-459.