# Composite Implicit General Iterative Process for a Nonexpansive Semigroup in Hilbert Space

- Lihua Li
^{1}Email author, - Suhong Li
^{1}and - Yongfu Su
^{2}

**2008**:484050

https://doi.org/10.1155/2008/484050

© Lihua Li et al. 2008

**Received: **19 March 2008

**Accepted: **14 August 2008

**Published: **3 September 2008

## Abstract

Let be nonempty closed convex subset of real Hilbert space . Consider a nonexpansive semigroup with a common fixed point, a contraction with coefficient , and a strongly positive linear bounded operator with coefficient . Let . It is proved that the sequence generated iteratively by converges strongly to a common fixed point which solves the variational inequality for all .

## 1. Introduction and Preliminaries

Let be a closed convex subset of a Hilbert space , recall that is nonexpansive if for all . Denote by the set of fixed points of , that is, .

- (i)
- (ii)
- (iii)
- (iv)

We denote by the set of all common fixed points of , that is, . It is known that is closed and convex.

converges strongly to the unique solution of the minimization problem (1.1) provided that the sequence satisfies certain conditions.

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

where , and investigate the problem of approximating common fixed point of nonexpansive semigroup which solves some variational inequality. The results presented in this paper extend and improve the main results in Marino and Xu [9], and the methods of proof given in this paper are also quite different.

In what follows, we will make use of the following lemmas. Some of them are known; others are not hard to derive.

Lemma 1.1 (Marino and Xu [9]).

Assume that is a strongly positive linear bounded operator on a Hilbert space with coefficient and . Then .

Lemma (Shimizu and Takashi [10]).

Lemma 1.3.

- (i)
- (ii)

where denote that converges weakly to , then .

Proof.

This lemma is the continuous version of Lemma 2.3 of Tan and Xu [11]. This proof given in [11] is easily extended to the continuous case.

## 2. Main Results

Lemma 2.1.

Let be a Hilbert space, a closed convex subset of , let be a nonexpansive semigroup on , is a sequence, then is monotone.

Proof.

Theorem 2.2.

and the iteration process converges strongly to the unique solution of the variational inequality for all .

Proof.

Our proof is divided into five steps.

Since , as , we may assume, with no loss of generality, that , for all .

is well defined. Next, we will show that is bounded.

From condition and the boundedness of , we obtain that . Again by boundedness of , we know that there exists a subsequence of such that . Then . From Lemma 1.3 and step (ii), we have that .

- (iv)

where is obtained in step (iii).

So (2.23) holds thank to (2.14).

So . This completes the proof of the Theorem 2.2.

It follows from the above proof that Theorem 2.2 is valid for nonexpansive mappings. Thus, we have that Corollaries 2.3 and 2.4 are two special cases of Theorem 2.2.

Corollary 2.3.

then for any , the sequence above converges strongly to the unique solution of the variational inequality for all .

Corollary 2.4.

where is a sequence in ( ) satisfying the following condition: , then the sequence converges strongly to the unique solution of the variational inequality for all .

## Authors’ Affiliations

## References

- Deutsch F, Yamada I: Minimizing certain convex functions over the intersection of the fixed point sets of nonexpansive mappings.
*Numerical Functional Analysis and Optimization*1998, 19(1-2):33-56.MATHMathSciNetView ArticleGoogle Scholar - Xu H-K: Iterative algorithms for nonlinear operators.
*Journal of the London Mathematical Society*2002, 66(1):240-256. 10.1112/S0024610702003332MATHMathSciNetView ArticleGoogle Scholar - Xu H-K: An iterative approach to quadratic optimization.
*Journal of Optimization Theory and Applications*2003, 116(3):659-678. 10.1023/A:1023073621589MATHMathSciNetView ArticleGoogle Scholar - Yamada I: The hybrid steepest descent method for the variational inequality problem over the intersection of fixed point sets of nonexpansive mappings. In
*Inherently Parallel Algorithms in Feasibility and Optimization and Their Applications (Haifa, 2000), Studies in Computational Mathematics*.*Volume 8*. Edited by: Butnariu D, Censor Y, Reich S. North-Holland, Amsterdam, The Netherlands; 2001:473-504.Google Scholar - Yamada I, Ogura N, Yamashita Y, Sakaniwa K: Quadratic optimization of fixed points of nonexpansive mappings in Hilbert space.
*Numerical Functional Analysis and Optimization*1998, 19(1-2):165-190. 10.1080/01630569808816822MATHMathSciNetView ArticleGoogle Scholar - Goebel K, Kirk WA:
*Topics in Metric Fixed Point Theory, Cambridge Studies in Advanced Mathematics*.*Volume 28*. Cambridge University Press, Cambridge, UK; 1990:viii+244.View ArticleGoogle Scholar - Moudafi A: Viscosity approximation methods for fixed-points problems.
*Journal of Mathematical Analysis and Applications*2000, 241(1):46-55. 10.1006/jmaa.1999.6615MATHMathSciNetView ArticleGoogle Scholar - 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.059MATHMathSciNetView ArticleGoogle Scholar - Marino G, Xu H-K: A general iterative method for nonexpansive mappings in Hilbert spaces.
*Journal of Mathematical Analysis and Applications*2006, 318(1):43-52. 10.1016/j.jmaa.2005.05.028MATHMathSciNetView ArticleGoogle Scholar - Shimizu T, Takahashi W: Strong convergence to common fixed points of families of nonexpansive mappings.
*Journal of Mathematical Analysis and Applications*1997, 211(1):71-83. 10.1006/jmaa.1997.5398MATHMathSciNetView ArticleGoogle Scholar - Tan K-K, Xu H-K: The nonlinear ergodic theorem for asymptotically nonexpansive mappings in Banach spaces.
*Proceedings of the American Mathematical Society*1992, 114(2):399-404. 10.1090/S0002-9939-1992-1068133-2MATHMathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.