Journal of Applied Mathematics

VolumeΒ 2012, Article IDΒ 658905, 11 pages

http://dx.doi.org/10.1155/2012/658905

## Two General Algorithms for Computing Fixed Points of Nonexpansive Mappings in Banach Spaces

School of Mathematical Sciences, Yancheng Teachers University, Jiangsu, Yancheng 224051, China

Received 16 January 2012; Accepted 23 February 2012

Academic Editor: YonghongΒ Yao

Copyright Β© 2012 Shuang Wang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Recently, Yao et al. (2011) introduced two algorithms for solving a system of nonlinear variational inequalities. In this paper, we consider two general algorithms and obtain the extension results for computing fixed points of nonexpansive mappings in Banach spaces. Moreover, the fixed points solve the same system of nonlinear variational inequalities.

#### 1. Introduction

Let be a real Banach space and let be a nonempty closed convex subset of . Recall that a mapping is said to be nonexpansive if , for all . We denote by the set of fixed points of .

Recently, Yao et al. [1] considered the following algorithms: and for an arbitrary point , where is a sunny nonexpansive retraction, is a strongly positive bounded linear operator and are -inverse-strongly accretive and -inverse-strongly accretive operators, respectively. They proved that the defined by (1.1) and defined by (1.2) converge strongly to a unique solution of the variational inequality . Furthermore, they proved that the above algorithms converge strongly to some solutions of a system of nonlinear inequalities, which involves finding such that For related works, please see [2β5] and the references therein.

In this paper, we introduce two general algorithms (3.3) and (3.22) (defined below) and prove that the proposed algorithms strongly converge to which solves the variational inequality , where is a -Lipschitzian and -strongly accretive operator. It is worth pointing out that our proofs contain some new techniques.

#### 2. Preliminaries

Let be a real Banach space with norm and let be its dual space. The value of and will be denoted by . For the sequence in , we write to indicate that the sequence converges weakly to . means that converges strongly to .

Let , a mapping of into is said to be -strongly accretive if there exists such that for all . A mapping from into is said to be -Lipschitzian if, for , for all . From the definition of (see [1]), we note that a strongly positive bounded linear operator is a -Lipschitzian and -strongly accretive operator.

Let . A Banach space is said to be uniformly convex if for each , there exists such that for any , It is known that a uniformly convex Banach space is reflexive and strictly convex. A Banach space is said to be smooth if the limit exists for all . It is said to be uniformly smooth if the limit (2.4) is attained uniformly for . Also, we define a function called the modulus of smoothness of as follows: It is known that is uniformly smooth if and only if . Let be a fixed real number with . Then a Banach space is said to be -uniformly smooth if there exists a constant such that for all .

In order to prove our main results, we need the following lemmas.

Lemma 2.1 (see [6]). *Let be a given real number with and let be a -uniformly smooth Banach space. Then
**
for all , where is the -uniformly smooth constant of and is the generalized duality mapping from into defined by
**
for all .*

Lemma 2.2 (see [7]). *Let be a closed convex subset of a smooth Banach space , let be a nonempty subset of and be a retraction from onto . Then is sunny and nonexpansive if and only if
**
for all and .*

Lemma 2.3 (see [8]). *Let be a nonempty bounded closed convex subset of a uniformly convex Banach space and let be a nonexpansive mapping of into itself. If is a sequence of such that and , then is a fixed point of .*

Lemma 2.4 (see [9, 10]). *Let be a sequence of nonnegative real numbers satisfying
**
where , and satisfy the following conditions: (i) and , (ii) or , and (iii) , . Then .*

Lemma 2.5 (see [11]). *Let and be bounded sequences in Banach space and be a sequence in which satisfies the following condition:
**
Suppose that ,, and . Then .*

In addition, we need the following extension of Lemma 2.5 in Wang and Hu [2] in a 2-uniformly smooth Banach space.

Lemma 2.6. *Let be a nonempty closed convex subset of a real 2-uniformly smooth Banach space . Let be a -Lipschitzian and -strongly accretive operator with and . Then is a contraction with contraction coefficient .*

*Proof. *By Lemma 2.1, we have
for all . From and , we have
where . Hence is a contraction with contraction coefficient .

#### 3. Main Results

Let be a nonempty closed convex subset of a uniformly convex and 2-uniformly smooth Banach space . Let be a nonexpansive mapping with . Let be a -Lipschitzian and -strongly accretive operator with . Let and , consider a mapping on defined by where is a sunny nonexpansive retraction from onto . It is easy to see that is a contraction. Indeed, from Lemma 2.6, we have for all . Therefore, the following implicit method is well defined:

Theorem 3.1. *The net generated by the implicit method (3.3) converges in norm, as to the unique solution of the variational inequality:
*

*Proof. *We first show that the solution set of (3.4) is singleton. As a matter of fact, we assume that and both are solutions to (3.4), then
Adding (3.5) to (3.6), we get
The strong accretive of implies that , and the uniqueness is proved. Below we use to denote the unique solution of (3.4).

Next, we prove that is bounded. Taking , from (3.3) and using Lemma 2.6, we have
that is,
Observe that
From , we may assume, without loss of generality, that , where is an arbitrarily small positive number. Thus, we have to be continuous, for all . Therefore, we obtain
From (3.9) and (3.11), we have bounded and so is .

On the other hand, from (3.3), we obtain

Next, we show that is relatively norm-compact as . Assume that such that as . Put . It follows from (3.12) that

For a given , by (3.3) and using Lemma 2.2, we have
By (3.14) and using Lemma 2.6, we have
that is,
In particular,

Since is bounded, without loss of generality, we may assume that converges weakly to a point . Noticing (3.13) we can use Lemma 2.3 to get . Therefore we can substitute for in (3.17) to get
Consequently, the weak convergence of to actually implies that . This has proved the relative norm compactness of the net as .

We next show that solves the variational inequality (3.4). Observe that
For any , we have
where .

Now replacing in (3.20) with and letting , we have
That is, is a solution of (3.4), hence by uniqueness. In summary, we have shown that each cluster point of (at ) equals . Therefore, as .

Theorem 3.2. *Let be a nonempty closed convex subset of a uniformly convex and 2-uniformly smooth Banach space with a weakly sequentially continuous duality mapping . Let be a -Lipschitzian and -strongly accretive operator with . Suppose that is a nonexpansive mapping with . Let be a sunny nonexpansive retraction from onto . Let and be two real sequences in and satisfy the conditions:*(A1)* and ,*(A2)*. **For given arbitrarily, let the sequence be generated by
**
Then the sequence strongly converges to which solves the variational inequality (3.4).*

*Proof. *We proceed with the following steps.*Step 1. *We claim that is bounded. From , we may assume, without loss of generality, that for all . In fact, let , from (3.22) and using Lemma 2.6, we have
where . Then from (3.22) and (3.23), we obtain
By induction, we have
where . Therefore, is bounded. We also obtain that and are bounded.*Step 2. *We claim that . Observe that
Therefore, we have
From (3.22), (3.27), and using Lemma 2.5, we have .*Step 3. *We claim that . Observe that
Hence, from Step 2 and , we have
*Step 4. *We claim that , where and is defined by (3.3). Since is bounded, there exists a subsequence of which converges weakly to . From Step 3, we obtain . From Lemma 2.3, we have . Hence, using Theorem 3.1, we have and
*Step 5. *We claim that converges strongly to . From (3.22) and using Lemma 2.2, we have
Observe that
that is,
By (3.22) and (3.33), we have
where , . It is easy to see that , and . Hence, by Lemma 2.4, the sequence converges strongly to . From and Theorem 3.1, we have to be the unique solution of the variational inequality (3.4).

Taking and , where and , we obtain the following theorems immediately.

Corollary 3.3 (see [1, Theorem 3.5]). *The net generated by the implicit method (1.1) converges in norm, as , to the unique solution of variational inequality*

Corollary 3.4 (see [1, Theorem 3.7]). *Let be a nonempty closed convex subset of a uniformly convex and 2-uniformly smooth Banach space and let be a sunny nonexpansive retraction from onto . Let the mappings be -inverse-strongly accretive and -inverse-strongly accretive operators, respectively. Let be a strongly positive linear bounded operator with coefficient . For given , let the sequence be generated iteratively by (1.2). Suppose that the sequences and satisfy the conditions (A1) and (A2), then converges strongly to which solves the variational inequality (3.35).*

#### Acknowledgments

Supported by the Natural Science Foundation of Yancheng Teachers University under Grant (11YCKL009) and Professor and Doctor Foundation of Yancheng Teachers University under Grant (11YSYJB0202).

#### References

- Y. Yao, Y.-C. Liou, S. M. Kang, and Y. Yu, βAlgorithms with strong convergence for a system of nonlinear variational inequalities in Banach spaces,β
*Nonlinear Analysis: Theory, Methods & Applications A*, vol. 74, no. 17, pp. 6024β6034, 2011. View at Publisher Β· View at Google Scholar - S. Wang and C. Hu, βTwo new iterative methods for a countable family of nonexpansive mappings in Hilbert spaces,β
*Fixed Point Theory and Applications*, vol. 2010, Article ID 852030, 12 pages, 2010. View at Google Scholar Β· View at Zentralblatt MATH - Y. Yao, Y. C. Liou, and G. Marino, βStrong convergence of two iterative algorithms for nonexpansive mappings in Hilbert spaces,β
*Fixed Point Theory and Applications*, vol. 2009, Article ID 279058, 7 pages, 2009. View at Google Scholar Β· View at Zentralblatt MATH - Y. J. Cho, Y. Yao, and H. Zhou, βStrong convergence of an iterative algorithm for accretive operators in Banach spaces,β
*Journal of Computational Analysis and Applications*, vol. 10, no. 1, pp. 113β125, 2008. View at Google Scholar Β· View at Zentralblatt MATH - Y. Yao, Y.-C. Liou, and S. M. Kang, βTwo-step projection methods for a system of variational inequality problems in Banach spaces,β
*Journal of Global Optimization*. In press. View at Publisher Β· View at Google Scholar - H. K. Xu, βInequalities in Banach spaces with applications,β
*Nonlinear Analysis: Theory, Methods & Applications A*, vol. 16, no. 12, pp. 1127β1138, 1991. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - S. Reich, βWeak convergence theorems for nonexpansive mappings in Banach spaces,β
*Journal of Mathematical Analysis and Applications*, vol. 67, no. 2, pp. 274β276, 1979. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - K. Goebel and W. A. Kirk,
*Topics in Metric Fixed Point Theory*, vol. 28 of*Cambridge Studies in Advanced Mathematics*, Cambridge University Press, Cambridge, UK, 1990. View at Publisher Β· View at Google Scholar - L. S. Liu, βIshikawa and Mann iterative process with errors for nonlinear strongly accretive mappings in Banach spaces,β
*Journal of Mathematical Analysis and Applications*, vol. 194, no. 1, pp. 114β125, 1995. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - H.-K. Xu, βIterative algorithms for nonlinear operators,β
*Journal of the London Mathematical Society. Second Series*, vol. 66, no. 1, pp. 240β256, 2002. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - T. Suzuki, βStrong convergence of Krasnoselskii and Mann's type sequences for one-parameter nonexpansive semigroups without Bochner integrals,β
*Journal of Mathematical Analysis and Applications*, vol. 305, no. 1, pp. 227β239, 2005. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH