Journal of Applied Mathematics

VolumeΒ 2012Β (2012), Article IDΒ 417234, 13 pages

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

## Approximation of Common Fixed Points of Nonexpansive Semigroups in Hilbert Spaces

Department of Mathematics, Institute of Applied Mathematics, Hangzhou Normal University, Hangzhou, Zhejiang 310036, China

Received 14 October 2011; Accepted 11 December 2011

Academic Editor: RudongΒ Chen

Copyright Β© 2012 Dan Zhang et al. 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

Let be a real Hilbert space. Consider on a nonexpansive semigroup with a common fixed point, a contraction with the coefficient , and a strongly positive linear bounded self-adjoint operator with the coefficient >ββ0. Let /. It is proved that the sequence generated by the iterative method converges strongly to a common fixed point , where denotes the common fixed point of the nonexpansive semigroup. The point solves the variational inequality for all .

#### 1. Introduction and Preliminaries

Let be a real Hilbert space and be a nonlinear mapping with the domain . A point is a fixed point of provided . Denote by the set of fixed points of ; that is, . Recall that is said to be nonexpansive if

Recall that a family of mappings from into itself is called a one-parameter nonexpansive semigroup if it satisfies the following conditions:(i), ; (ii), and ;(iii), and ;(iv)for all , is continuous.

We denote by the set of common fixed points of , that is, . It is known that is closed and convex; see [1]. Let be a nonempty closed and convex subset of . One classical way to study nonexpansive mappings is to use contractions to approximate a nonexpansive mapping; see [2, 3]. More precisely, take and define a contraction by where is a fixed point. Banachβs contraction mapping principle guarantees that has a unique fixed point in . If enjoys a nonempty fixed point set, Browder [2] proved the following well-known strong convergence theorem.

Theorem B. *Let be a bounded closed convex subset of a Hilbert space and let be a nonexpansive mapping on . Fix and define for . Then as , converges strongly to a element of nearest to .*

As motivated by Theorem B, Halpern [4] considered the following explicit iteration: and proved the following theorem.

Theorem H. *Let be a bounded closed convex subset of a Hilbert space and let be a nonexpansive mapping on . Define a real sequence in by . Define a sequence by (1.3). Then converges strongly to the element of nearest to .*

In 1977, Lions [5] improved the result of Halpern [4], still in Hilbert spaces, by proving the strong convergence of to a fixed point of where the real sequence satisfies the following conditions:(C1); (C2); (C3).

It was observed that both Halpernβs and Lionsβs conditions on the real sequence excluded the canonical choice . This was overcome in 1992 by Wittmann [6], who proved, still in Hilbert spaces, the strong convergence of to a fixed point of if satisfies the following conditions:(C1); (C2); (C3).

Recall that a mapping is an -contraction if there exists a constant such that

Recall that an operator is strongly positive on if there exists a constant such that

Iterative methods for nonexpansive mappings have recently been applied to solve convex minimization problems; see, for example, [7β13] and the references therein. A typical problem is to minimize a quadratic function over the set of the fixed points of a nonexpansive mapping on a real Hilbert space : where is a linear bounded operator on and is a given point in . In [11], it is proved that the sequence defined by the iterative method below, with the initial guess chosen arbitrarily, strongly converges to the unique solution of the minimization problem (1.6) provided that the sequence satisfies certain conditions.

Recently, Marino and Xu [9] studied the following continuous scheme: where is an -contraction on a real Hilbert space , is a bounded linear strongly positive operator and is a constant. They showed that strongly converges to a fixed point of . Also in [9], they introduced a general explicit iterative scheme by the viscosity approximation method: and proved that the sequence generated by (1.9) converges strongly to a unique solution of the variational inequality

which is the optimality condition for the minimization problem

where is a potential function for (i.e., for ).

In this paper, motivated by Li et al. [8], Marino and Xu [9], Plubtieng and Punpaeng [14], Shioji and Takahashi [15], and Shimizu and Takahashi [16], we consider the mapping defined as follows: where is a constant, is an -contraction, is a bounded linear strongly positive self-adjoint operator and is a positive real divergent net. If for each , one can see that is a -contraction. So, by Banachβs contraction mapping principle, there exists an unique solution of the fixed point equation We show that the sequence generated by above continuous scheme strongly converges to a common fixed point , which is the unique point in solving the variational inequality for all . Furthermore, we also study the following explicit iterative scheme: We prove that the sequence generated by (1.14) converges strongly to the same .

The results presented in this paper improve and extend the corresponding results announced by Marino and Xu [9], Plubtieng and Punpaeng [14], Shioji and Takahashi [15], and Shimizu and Takahashi [16].

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

Lemma 1.1 (see [16]). *Let be a nonempty bounded closed convex subset of a Hilbert space and let be a nonexpansive semigroup on . Then, for any ,
*

Lemma 1.2 (see [17]). *Let be a Hilbert space, a closed convex subset of , and a nonexpansive mapping with . Then is demiclosed, that is, if is a sequence in weakly converging to and if strongly converges to , then .*

Lemma 1.3 (see [18]). *Let be a nonempty closed convex subset of a real Hilbert space and let be the metric projection from onto ( i.e., for is the only point in such that ). Given and . Then if and only if there holds the relations
*

Lemma 1.4. *Let be a Hilbert space, a -contraction, and a strongly positive linear bounded self-adjoint operator with the coefficient . Then, for ,
**
That is, is strongly monotone with coefficient .*

*Proof. *From the definition of strongly positive linear bounded operator, we have
On the other hand, it is easy to see
Therefore, we have
for all . This completes the proof.

*Remark 1.5. *Taking and , the identity mapping, we have the following inequality:
Furthermore, if is a nonexpansive mapping in Remark 1.5, we have

Lemma 1.6 (see [9]). *Assume is a strongly positive linear bounded self-adjoint operator on a Hilbert space with coefficient and . Then .*

Lemma 1.7 (see [12]). *Let be a sequence of nonnegative real numbers satisfying the following condition:
**
where is a sequence in and is a sequence of real numbers such that*(i)* and ,*(ii)*either or .** Then converges to zero.*

#### 2. Main Results

Lemma 2.1. *Let a real Hilbert space and a nonexpansive semigroup on such that . Let be a continuous net of positive real numbers such that . Let be an -contraction, a strongly positive linear bounded self-adjoint operator of into itself with coefficient . Assume that . Let be a sequence defined by (1.13). Then *(i)* is bounded for all ;*(ii)* for all ;*(iii)* defines a continuous curve from into .*

*Proof. *(i) Taking , we have
It follows that
This implies that is not only bounded, but also that is contained in of center and radius , for all fixed . Moreover for and ,

(ii) Observe that
Taking as in Lemma 1.1 and passing to in (2.4), we can obtain (ii) immediately.

(iii) Taking and fixing , we see that
Thus applying (2.3), we arrive at
It follows that
where
and
This inequality, together with the continuity of the net , gives the continuity of the curve .

Theorem 2.2. *Let be a real Hilbert space and a nonexpansive semigroup such that . Let be a net of positive real numbers such that . Let be an -contraction and let be a strongly positive linear bounded self-adjoint operator on with the coefficient . Assume that . Then sequence defined by (1.13) strongly converges as to , which solves the following variational inequality:
**
Equivalently, one has
*

*Proof. *The uniqueness of the solution of the variational inequality (2.10) is a consequence of the strong monotonicity of (Lemma 1.4) and it was proved in [9]. Next, we will use to denote the unique solution of (2.10). To prove that , we write, for a given ,
Using to make inner product, we obtain that
It follows that
which yields that
Since is a Hilbert space and is bounded as , we have that if is a sequence in such that and . By (2.15), we see . Moreover, by (ii) of Lemma 2.1 we have . We next prove that solves the variational inequality (2.10). From (1.13), we arrive at
For , it follows from (1.22) that
Passing to , since is a bounded sequence, we obtain
that is, satisfies the variational inequality (2.10). By the uniqueness it follows . In a summary, we have shown that each cluster point of (as ) equals . Therefore, as . The variational inequality (2.10) can be rewritten as
This, by Lemma 1.3, is equivalent to
This completes the proof.

*Remark 2.3. *Theorem 2.2 which include the corresponding results of Shioji and Takahashi [15] as a special case is reduced to Theorem 3.1 of Plubtieng and Punpaeng [14] when , the identity mapping and .

Theorem 2.4. *Let be a real Hilbert space and a nonexpansive semigroup such that . Let be a positive real divergent sequence and let and be sequences in satisfying the following conditions and . Let be an -contraction and let be a strongly positive linear bounded self-adjoint operator with the coefficient . Assume that . Then sequence defined by (1.14) strongly converges to , which solves the variational inequality (2.10).*

*Proof. *We divide the proof into three parts.*Step 1. *Show the sequence is bounded.

Noticing that , we may assume, with no loss of generality, that for all . From Lemma 1.6, we know that . Picking , we have
By simple inductions, we see that
which yields that the sequence is bounded.*Step 2. * Show that
where is obtained in Theorem 2.2 and .

Putting , from (2.22) we see that the closed ball of center and radius is -invariant for each and contain . Therefore, we assume, without loss of generality, is a nonexpansive semigroup on . It follows from Lemma 1.1 that
for all . Taking a suitable subsequence of , we see that
Since the sequence is also bounded, we may assume that . From the demiclosedness principle, we have . Therefore, we have
On the other hand, we have
From the assumption , we see that
which combines with (2.26) gives that
*Step 3. *Show as .

Note that
It follows that
By using Lemma 1.7, we can obtain the desired conclusion easily.

*Remark 2.5. *If and , the identity mapping, then Theorem 2.4 is reduced to Theorem 3.3 of Plubtieng and Punpaeng [14].

If the sequence , then Theorem 2.4 is reduced to the following.

Corollary 2.6. *Let be a real Hilbert space and a nonexpansive semigroup such that . Let be a positive real divergent sequence and let be a sequence in satisfying the following conditions and . Let be a -contraction and let be a strongly positive linear bounded self-adjoint operator with the coefficient . Assume that . Let be a sequence generated by the following manner:
**
Then the sequence defined by above iterative algorithm converges strongly to , which solves the variational inequality (2.10).*

*Remark 2.7. *Corollary 2.6 includes Theorem 2 of Shioji and Takahashi [15] as a special case.

*Remark 2.8. *Theorem 2.2 and Corollary 2.6 improve Theorem 3.2 and Theorem 3.4 of Marino and Xu [9] from a single nonexpansive mapping to a nonexpansive semigroup, respectively.

#### Acknowledgment

The present studies were supported by the National Natural Science Foundation of China (11071169), (11126334) and the Natural Science Foundation of Zhejiang Province (Y6110287).

#### References

- F. E. Browder, βNonexpansive nonlinear operators in a Banach space,β
*Proceedings of the National Academy of Sciences of the United States of America*, vol. 54, pp. 1041β1044, 1965. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - F. E. Browder, βConvergence of approximants to fixed points of nonexpansive non-linear mappings in Banach spaces,β
*Archive for Rational Mechanics and Analysis*, vol. 24, pp. 82β90, 1967. View at Google Scholar - S. Reich, βStrong convergence theorems for resolvents of accretive operators in Banach spaces,β
*Journal of Mathematical Analysis and Applications*, vol. 75, no. 1, pp. 287β292, 1980. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - B. Halpern, βFixed points of nonexpanding maps,β
*Bulletin of the American Mathematical Society*, vol. 73, pp. 957β961, 1967. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - P.-L. Lions, βApproximation de points fixes de contractions,β
*Comptes Rendus de l'AcadΓ©mie des Sciences*, vol. 284, no. 21, pp. A1357βA1359, 1977. View at Google Scholar Β· View at Zentralblatt MATH - R. Wittmann, βApproximation of fixed points of nonexpansive mappings,β
*Archiv der Mathematik*, vol. 58, no. 5, pp. 486β491, 1992. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - F. Deutsch and I. Yamada, βMinimizing certain convex functions over the intersection of the fixed point sets of nonexpansive mappings,β
*Numerical Functional Analysis and Optimization*, vol. 19, no. 1-2, pp. 33β56, 1998. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - S. Li, L. Li, and Y. Su, βGeneral iterative methods for a one-parameter nonexpansive semigroup in Hilbert space,β
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 70, no. 9, pp. 3065β3071, 2009. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - G. Marino and H.-K. Xu, βA general iterative method for nonexpansive mappings in Hilbert spaces,β
*Journal of Mathematical Analysis and Applications*, vol. 318, no. 1, pp. 43β52, 2006. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - G. Marino, V. Colao, X. Qin, and S. M. Kang, βStrong convergence of the modified Mann iterative method for strict pseudo-contractions,β
*Computers & Mathematics with Applications*, vol. 57, no. 3, pp. 455β465, 2009. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - H. K. Xu, βAn iterative approach to quadratic optimization,β
*Journal of Optimization Theory and Applications*, vol. 116, no. 3, pp. 659β678, 2003. 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*, vol. 66, no. 1, pp. 240β256, 2002. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - I. Yamada, N. Ogura, Y. Yamashita, and K. Sakaniwa, βQuadratic optimization of fixed points of nonexpansive mappings in Hilbert space,β
*Numerical Functional Analysis and Optimization*, vol. 19, no. 1-2, pp. 165β190, 1998. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - S. Plubtieng and R. Punpaeng, βFixed-point solutions of variational inequalities for nonexpansive semigroups in Hilbert spaces,β
*Mathematical and Computer Modelling*, vol. 48, no. 1-2, pp. 279β286, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - N. Shioji and W. Takahashi, βStrong convergence theorems for asymptotically nonexpansive semigroups in Hilbert spaces,β
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 34, no. 1, pp. 87β99, 1998. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - T. Shimizu and W. Takahashi, βStrong convergence to common fixed points of families of nonexpansive mappings,β
*Journal of Mathematical Analysis and Applications*, vol. 211, no. 1, pp. 71β83, 1997. 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, Cambridge University Press, Cambridge, UK, 1990. View at Publisher Β· View at Google Scholar - S.-S. Chang, Y. J. Cho, and H. Zhou,
*Iterative Methods for Nonlinear Operator Equations in Banach Spaces*, Nova Science Publishers, Huntington, NY, USA, 2002.