- Research Article
- Open access
- Published:
Strong Convergence of a New Iteration for a Finite Family of Accretive Operators
Fixed Point Theory and Applications volume 2009, Article number: 491583 (2009)
Abstract
The viscosity approximation methods are employed to establish strong convergence of the modified Mann iteration scheme to a common zero of a finite family of accretive operators on a strictly convex Banach space with uniformly Gâteaux differentiable norm. Our work improves and extends various results existing in the current literature.
1. Introduction
Let be a Banach space with dual space of , and let a nonempty closed convex subset . Let be a positive integer, and let . We denote by the normalized duality map from E to defined by
A mapping is said to be nonexpansive if , for all . A mapping is called -contraction if there exists a constant such that
In the last ten years, many papers have been written on the approximation of fixed point for nonlinear mappings by using some iterative processes (see, e.g.,[1–20]).
An operator is said to be accretive if , for all , and . If is accretive and is identity mapping, then we define, for each , a nonexpansive single-valued mapping by , which is called the resolvent of . we also know that for an accretive operator , , where and . An accretive operator is said to be -accretive, if for all . If is a Hilbert space, then accretive operator is monotone operator. There are many papers throughout literature dealing with the solution of () by utilizing certain iterative sequence (see [1–3, 8–10, 13, 16, 20]).
In 2005, Kim and Xu [10] introduced the following Halpern type iterative sequence for -accretive operator : Let    be a nonempty closed convex subset of  . For any  , the sequence  is generated by
where  and   , for some  , satisfy the following conditions:
(C1),
(C2),
(C3), and
(C4).
They proved that the iterative sequence converges strongly to a zero of .
Recently, Zegeye and Shahzad [20] proved a strong convergence theorem for a finite family of accretive operators by using the Halpern type iteration: Let    be a nonempty closed convex subset of  . For any  , the sequence    is generated by
where     with  , ,  for  , , and     satisfies the conditions: (C1), (C2), (C3), or (). ).
More recently, Hu and Liu [8] proposed a generalized Halpern type iteration: Let  be a nonempty closed convex subset of. For any  , the sequence    is generated by
where    with  , for  ,   and  . Assume , , ,   and    satisfy the following conditions: (C1), (C2),
They proved that the sequence converges strongly to a common zero of .
In this paper, we introduce and study a new iterative sequence: Let    be a nonempty closed convex subset of    and    a  -contraction. For any  , the sequence    is defined by
where    with  ,  for  ,   and  ,   and  . The iterative sequence (1.7) is a natural generalization of all the above mentioned iterative sequences.
(i)In contrast to the iterations (1.3)–(1.5), the convex composition of the iteration (1.7) deals with only instead of and .
(ii)If we take , for all , in (1.7), then (1.7) reduces to Mann iteration. In 2000, Kamimura and Takahashi [9] proved that if is a Hilbert space and and are chosen such that , and , then the Mann iterative sequence,
converges weakly to a zero of . However, the Mann iteration scheme has only weak convergence for nonexpansive mappings even in a Hilbert space (see [4]).
Our main purpose is to prove strong convergence theorems for a finite family of accretive operators on a strictly convex Banach space with uniformly Gteaux differentiable norm by using viscosity approximation methods. Our theorems extend the comparable results in the following three aspects.
(1)In contrast to weak convergence results on a Hilbert Space in [9], strong convergence of the iterative sequence is obtained in the general setup of a Banach space.
(2)The restrictions (C3), (), and (C4) on the results in [10, 20] are dropped.
(3)A single mapping of the results in [3] is replaced by a finite family of mappings.
2. Preliminaries and Lemmas
A Banach space is said to have Gteaux differentiable norm if the limit
exists for each , where . The norm of is uniformly Gteaux differentiable   if for each , the limit is attained uniformly for . The norm of is uniformly Fréchet differentiable ( is also called uniformly smooth) if the limit is attained uniformly for each . It is well known that if is uniformly Gteaux differentiable norm, then the duality mapping is single-valued and uniformly continuous on each bounded subset of .
A Banach space is called strictly convex if for , , and , we have for , and for . In a strictly convex Banach space , we have that if , for , , and , then .
Lemma 2.1 (The Resolvent Identity).
For and ,
We denote by the set of all natural numbers, and let be a mean on , that is, a continuous linear functional on satisfying . We know that is a mean on if and only if
for each . In general, we use instead of . Let with , and let be a Banach limit on . Then . Further, we know the following result.
Let be a nonempty closed convex subset of a Banach space with uniformly Gteaux differentiable norm. Assume that is a bounded sequence in . Let , and let a Banach limit. Then if and only if , .
Let be a closed convex and, let a mapping of onto . Then is said to be sunny [12, 13] if for all and . A mapping of onto is said to be retraction if ; If a mapping is a retraction then for any , the range of . A subset of is said to be a sunny nonexpansive retraction of if there exists a sunny nonexpansive retraction of onto , and it is said to be a nonexpansive retraction of if there exists a nonexpansive retraction of onto . In a smooth Banach space , it is known ([5, Page 48]) that is a sunny nonexpansive retraction if and only if the following condition holds: , and .
Lemma 2.3 (see [14]).
Let and be bounded sequences in a Banach space such that
where is a sequence in such that . Assume
Then .
Lemma 2.4.
Let be a real Banach space. Then for all in and , the following inequality holds
Lemma 2.5 (see [18]).
Let is a sequence of nonnegative real number such that
where is a sequence in and is a sequence in satisfying the following conditions:
(i);
(ii) or .
Then  .
Lemma 2.6 ([8]).
Let be a nonempty closed convex subset of a strictly convex Banach space . Suppose that is a finite family of accretive operators such that and satisfies the range conditions:
Let be real numbers in with and , where and . Then is nonexpansive and .
3. Main Results
For the sake of convenience, we list the assumptions to be used in this paper as follows.
(i) is a strictly convex Banach space which has uniformly Gteaux differentiable norm, and is a nonempty closed convex subset of which has the fixed point property for nonexpansive mappings.
(ii)The real sequence satisfies the conditions: (C1). and (C2). .
We will employ the viscosity approximation methods [11, 19] to obtain a strong convergence theorem. The method of proof is closely related to [2, 3, 19].
Theorem 3.1.
Let be a finite family of accretive operators satisfying the following range conditions:
Assume that . Let be a -contraction with . For , the net is generated by
where with , for , and . If , then the net converges strongly to , as , where is the unique solution of a variational inequality:
Proof.
Put , for all and . Then we have
and so is a contraction of into itself. Hence, for each , there exists a unique element such that
Thus the net is well defined.
Lemma 2.6 implies that . Taking , we have for any
Consequently, we get
that is, the net is bounded, and so are and . Rewriting (I) to find
and hence for any , it yields that
Obviously, estimate (I) yields
In view of the Resolvent Identity, we deduce
and so
Combining (3.8) and the above inequality, we obtain
Assume , as . Set and define ( is the set of all real numbers) by
where LIM is a Banach limit on . Let
It is easy to see that is a nonempty closed convex and bounded subset of and is invariant under . Indeed, as , we have for any ,
and so is an element of . Since has the fixed point property for nonexpansive mappings, has a fixed point in . Using Lemma 2.2, we have
Clearly
Consequently, by (3.15), we obtain
, that is,
and there exists a subsequence which is still denoted by such that .
On the other hand, let of be such that . Now (3.7) implies
Thus
Interchange and to get
Addition of (3.20) and (3.21) yields
and so we have
Since , it follows that . Consequently as . Likewise, using (3.7), it implies for all
Letting yields
for all .
Remark 3.2.
In addition,  if is a uniformly smooth Banach space in Theorem 3.1 and we define  ,   then we obtain from Theorem 3.1 and [19, Theorem 4.1] that the net  converges strongly to  ,   as ,   where    and   is a sunny nonexpansive retraction of    onto  .
Theorem 3.3.
Let be a finite family of accretive operators satisfying the following range conditions:
Assume that . Let be a -contraction with . For any , the sequence is generated by (1.7). Suppose further that sequences in the iterative sequence (1.7) satisfy the conditions:
Then the sequence converges strongly to , where is the unique solution of a variational inequality .
Proof.
Lemma 2.6 implies that . Rewrite (1.7) as follows:
where
Taking , we obtain
Therefore, the sequence is bounded, and so are the sequences , , , and, . We estimate from (3.29)
In view of the Resolvent Identity, we get
where
Since , we have
 and   imply
Consequently, by Lemma 2.3, we obtain
From (3.29), we get
and so it follows from (3.36) and (3.37) that
Using the Resolvent Identity and , we discover
Hence, we have
It follows from Theorem 3.1 that generated by converges strongly to , as , where is the unique solution of a variational inequality . Furthermore,
In view of Lemma 2.4, we find
and hence
Since the sequences , , and are bounded and  , we obtain
where . We also know that
From the facts that , as , is bounded and the duality mapping is uniformly continuous on bounded subset of , it follows that
Combining (3.44), (3.45), and the two results mentioned above, we get
Similarly, from (3.29) and the duality mapping is uniformly continuous on bounded subset of , it follows that
Write
and apply Lemma 2.4 to find
where
From (3.47), (3.48), (C1), (C2), and , it follows that and . Consequently applying Lemma 2.5 to (3.50), we conclude that .
If we take , for all , in the iteration (1.7), then, from Theorem 3.3, we have what follows
Corollary 3.4.
Let , , , and be as in Theorem 3.3. For any , the sequence is generated by
where with ,  for , and . Then the sequence converges strongly to .
Remark 3.5.
Theorem 3.3 and Corollary 3.4 prove strong convergence results of the new iterative sequences which are different from the iterative sequences (1.4) and (1.5). In contrast to [20], the restriction: (C3).  or   is removed.
If we consider the case of an accretive operator , then as a direct consequence of Theorem 3.1 and Theorem 3.3, we have the following corollaries.
Corollary 3.6 ([3, Theorem 3.1]).
Let (not strictly convex) be an accretive operator satisfying the following range condition:
Assume that . Let be a -contraction with . For , the net is given by:
where . If ,  for some , then converges strongly to , as , where is the unique solution of a variational inequality:
Corollary 3.7.
Let (not strictly convex) be an accretive operator satisfying the following range condition:
Assume that . Let be a -contraction with . Suppose that and are real sequences in and is a sequence in , satisfying the conditions: and , for some . For any , the sequence is generated by
where . Then the sequence converges strongly to , where is the unique solution of a variational inequality .
Remark 3.8.
(i)Corollary 3.7 describes strong convergence result in Banach spaces for a modification of Mann iteration scheme in contrast to the weak convergence result on Hilbert spaces given in [9, Theorem 3].
(ii)In contrast to the result [10, Theorem 4.2], the iterative sequence in Corollary 3.7 is different from the iteration (1.3), and the conditions and are not required.
References
Bruck RE Jr.: A strongly convergent iterative solution of for a maximal monotone operator in Hilbert space. Journal of Mathematical Analysis and Applications 1974, 48: 114–126. 10.1016/0022-247X(74)90219-4
Ceng L-C, Khan AR, Ansari QH, Yao J-C: Strong convergence of composite iterative schemes for zeros of -accretive operators in Banach spaces. Nonlinear Analysis: Theory, Methods & Applications 2009,70(5):1830–1840. 10.1016/j.na.2008.02.083
Chen R, Zhu Z: Viscosity approximation method for accretive operator in Banach space. Nonlinear Analysis: Theory, Methods & Applications 2008,69(4):1356–1363. 10.1016/j.na.2007.06.033
Genel A, Lindenstrauss J: An example concerning fixed points. Israel Journal of Mathematics 1975,22(1):81–86. 10.1007/BF02757276
Goebel K, Reich S: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings, Monographs and Textbooks in Pure and Applied Mathematics. Volume 83. Marcel Dekker, New York, NY, USA; 1984:ix+170.
Halpern B: Fixed points of nonexpanding maps. Bulletin of the American Mathematical Society 1967, 73: 957–961. 10.1090/S0002-9904-1967-11864-0
Hu L-G: Strong convergence of a modified Halpern's iteration for nonexpansive mappings. Fixed Point Theory and Applications 2008, Article ID 649162, 2008:-9.
Hu L-G, Liu L: A new iterative algorithm for common solutions of a finite family of accretive operators. Nonlinear Analysis: Theory, Methods & Applications 2009,70(6):2344–2351. 10.1016/j.na.2008.03.016
Kamimura S, Takahashi W: Approximating solutions of maximal monotone operators in Hilbert spaces. Journal of Approximation Theory 2000,106(2):226–240. 10.1006/jath.2000.3493
Kim T-H, Xu H-K: Strong convergence of modified Mann iterations. Nonlinear Analysis: Theory, Methods & Applications 2005,61(1–2):51–60. 10.1016/j.na.2004.11.011
Moudafi A: Viscosity approximation methods for fixed-points problems. Journal of Mathematical Analysis and Applications 2000,241(1):46–55. 10.1006/jmaa.1999.6615
Reich S: Asymptotic behavior of contractions in Banach spaces. Journal of Mathematical Analysis and Applications 1973, 44: 57–70. 10.1016/0022-247X(73)90024-3
Reich S: Strong convergence theorems for resolvents of accretive operators in Banach spaces. Journal of Mathematical Analysis and Applications 1980,75(1):287–292. 10.1016/0022-247X(80)90323-6
Suzuki T: Strong convergence theorems for infinite families of nonexpansive mappings in general Banach spaces. Fixed Point Theory and Applications 2005,2005(1):103–123. 10.1155/FPTA.2005.103
Takahashi W: Nonlinear Functional Analysis, Fixed Point Theory and Its Application. Yokohama, Yokohama, Japan; 2000:iv+276.
Takahashi W, Ueda Y: On Reich's strong convergence theorems for resolvents of accretive operators. Journal of Mathematical Analysis and Applications 1984,104(2):546–553. 10.1016/0022-247X(84)90019-2
Wang C, Zhu J: Convergence theorems for common fixed points of nonself asymptotically quasi-non-expansive mappings. Fixed Point Theory and Applications 2008, Article ID 428241, 2008:-11.
Xu H-K: Iterative algorithms for nonlinear operators. Journal of the London Mathematical Society 2002,66(1):240–256. 10.1112/S0024610702003332
Xu H-K: Viscosity approximation methods for nonexpansive mappings. Journal of Mathematical Analysis and Applications 2004,298(1):279–291. 10.1016/j.jmaa.2004.04.059
Zegeye H, Shahzad N: Strong convergence theorems for a common zero for a finite family of -accretive mappings. Nonlinear Analysis: Theory, Methods & Applications 2007,66(5):1161–1169. 10.1016/j.na.2006.01.012
Acknowledgments
The work was supported partly by NNSF of China (no. 60872095), the NSF of Zhejiang Province (no. Y606093), K. C. Wong Magna Fund of NIngbo University, NIngbo Natural Science Foundation (no. 2008A610018), and Subject Foundation of Ningbo University (no. XK109050).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Hu, LG., Wang, JP. Strong Convergence of a New Iteration for a Finite Family of Accretive Operators. Fixed Point Theory Appl 2009, 491583 (2009). https://doi.org/10.1155/2009/491583
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1155/2009/491583