- Research Article
- Open Access

# Strong Convergence Theorems of the Ishikawa Process with Errors for Strictly Pseudocontractive Mapping of Browder-Petryshyn Type in Banach Spaces

- Yu-Chao Tang
^{1, 2}Email author, - Yong Cai
^{1}and - Li-Wei Liu
^{1}

**2011**:706206

https://doi.org/10.1155/2011/706206

© Yu-Chao Tang et al. 2011

**Received:**18 December 2010**Accepted:**23 February 2011**Published:**14 March 2011

## Abstract

We prove several strong convergence theorems for the Ishikawa iterative sequence with errors to a fixed point of strictly pseudocontractive mapping of Browder-Petryshyn type in Banach spaces and give sufficient and necessary conditions for the convergence of the scheme to a fixed point of the mapping. The results presented in this work give an affirmative answer to the open question raised by Zeng et al. 2006, and generalize the corresponding result of Zeng et al. 2006, Osilike and Udomene 2001, and others.

## Keywords

- Banach Space
- Iterative Process
- Duality Pairing
- Real Banach Space
- Nonempty Closed Convex Subset

## 1. Introduction and Preliminaries

It is well known that if is smooth, then is single-valued. In this paper, we denote a single-valued selection of the normalized duality mapping by . denotes the identity operator. is the fixed point set of , that is, .

Definition 1.1 (see [1]).

- (i)

where .

Definition 1.3.

A mapping is said to be

(i)compact, if for any bounded sequence in , there exists a strongly convergent subsequence of , or

(ii)demicompact, if for any bounded sequence in , whenever is strongly convergent, there exists a strongly convergent subsequence of .

Let us recall some important iterative processes.

Definition 1.4 (Ishikawa iterative process with errors in the sense of Liu [2]).

where and are appropriate sequences in , and , , are appropriate sequences in .

Definition 1.5 (Ishikawa iterative process with errors in the sense of Xu [3]).

where and are bounded sequences in , and , , , are real sequences in satisfying , , for all .

- (i)

- (ii)

In 1974, Rhoades [6] proved strong convergence theorem by the Mann iterative process to a fixed point of strictly pseudocontractive mapping defined on a nonempty compact convex subset of a Hilbert space. In 2001, Osilike and Udomene [7] proved weak and strong convergence theorems for strictly pseudocontractive mapping in a real -uniformly smooth Banach space which is also uniform convex.

In 2006, Zeng et al. [8] established the sufficient and necessary conditions on the strong convergence to a fixed point of strictly pseudocontractive mapping in a real -uniformly smooth Banach space. They got the following main results.

Theorem 1.7.

Let and be a real -uniformly smooth Banach space, let be a nonempty closed convex subset of with , and let be a strictly pseudocontractive mapping with . Let be a bounded sequence in . Let and be real sequences in satisfying the following conditions:

(i) ;

(ii) , and , where and is a constant depending on .

Then converges strongly to a fixed point of if and only if is bounded and , where .

In the end of Zeng et al. [8], they raised an open question.

Open Question 1.

Can the Ishikawa iterative process with errors (1.7) be extended to Theorem 1.7?

At the same year, Zeng et al. [9] proved the following strong convergence theorem for strictly pseudocontractive mappings.

Theorem 1.8.

Let and be a real -uniformly smooth Banach space. Let be a nonempty closed convex subset of , and let be compact or demicompact, and strictly pseudocontractive with . Let be a bounded sequence in . Let , , and be real sequences in satisfying the following conditions:

(i) , for all ;

(ii) , and ;

(iii) and , where .

If is the bounded sequence, then converges strongly to a fixed point of .

They raised another open question.

Open Question 2.

Can the Ishikawa iterative process with errors (1.9) be extended to Theorem 1.8?

We have answered the Open Question 1 in [10]. The purpose of this paper is to answer the Open Question 2, and we prove some strong convergence theorems for strictly pseudocontractive mapping in Banach spaces, which improve Theorem 1.8 in the following:

(i) -uniformly smooth Banach spaces can be replaced by general Banach spaces.

- (iii)
Iterative process (1.14) can be replaced by Ishikawa iterative process with errors (1.9).

Respectively, our results improve and generalize the corresponding results of Zeng el al. [8], Osilike and Udomene [7], and others.

In the sequel, we will need the following lemmas.

Lemma 1.9 (see [11]).

If , , we have (i) exists. (ii) In particular, if , then .

Lemma 1.10 (see [12]).

Let be a Banach space and be the normalized duality mapping, then for any , the following conclusions hold

(i) , for all ;

(ii) , for all .

## 2. Main Results

In the rest of paper, we denote by the Lipschitz constant.

Lemma 2.1.

Let be a nonempty closed convex subset of a real Banach space . Let be a strictly pseudocontractive mapping with . Let ; is defined by (1.9) and satisfying the following conditions:

(i) ;

(ii) .

Then

Furthermore, exists.

- (2)

where . This completes the proof of part (2).

Lemma 2.2.

Proof.

Hence, . Since , so we have .

Theorem 2.3.

Let be a nonempty closed convex subset of a real Banach space . Let be a strictly pseudocontractive mapping with . Let be defined as in Lemma 2.1, then converges strongly to a fixed point of if and only if , where .

Proof.

Note that , . By Lemma 1.9 and , we get .

Hence, is a cauchy sequence. Since is a closed subset of , so converges strongly to a .

By the arbitrary of , we know that . Therefore, .

A mapping is said to satisfy Condition(A) [14], if there exists a nondecreasing function with , , for all such that for all .

Theorem 2.4.

Let be a nonempty closed convex subset of a real Banach space . Let be a strictly pseudocontractive mapping with , and satisfy Condition(A). Let be defined as in Lemma 2.1. Then converges strongly to a fixed point of .

Proof.

By Condition(A), . Since is a nondecreasing function and , therefore . The rest of the proof is the same to Theorem 2.3.

Theorem 2.5.

Let be a nonempty closed convex subset of a real Banach space . Let be a compact and strictly pseudocontractive mapping with . Let be defined as in Lemma 2.1. Then converges strongly to a fixed point of .

Proof.

This means that . By Lemmas 1.9(ii) and 2.1(i), the sequence converges strongly to .

Theorem 2.6.

Let be a nonempty closed convex subset of a real Banach space . Let be a demicompact and strictly pseudocontractive mapping with . Let be defined as in Lemma 2.1. Then converges strongly to a fixed point of .

Proof.

From Lemma 2.1(1), it follows that exists, for any . By Lemma 2.2, there exists a subsequence of such that . Since is bounded together with being demicompact, there exists a subsequence of which converges strongly to some . Taking into account that and the Lipschitz continuity of , we have . By Lemma 1.9, converges strongly to .

## Declarations

### Acknowledgments

This work was supported by National Natural Science Foundations of China (60970149) and the Natural Science Foundations of Jiangxi Province (2009GZS0021, 2007GQS2063).

## Authors’ Affiliations

## References

- Browder FE, Petryshyn WV:
**Construction of fixed points of nonlinear mappings in Hilbert space.***Journal of Mathematical Analysis and Applications*1967,**20:**197–228. 10.1016/0022-247X(67)90085-6MathSciNetView ArticleMATHGoogle Scholar - Liu LS:
**Ishikawa and Mann iterative process with errors for nonlinear strongly accretive mappings in Banach spaces.***Journal of Mathematical Analysis and Applications*1995,**194**(1):114–125. 10.1006/jmaa.1995.1289MathSciNetView ArticleMATHGoogle Scholar - Xu Y:
**Ishikawa and Mann iterative processes with errors for nonlinear strongly accretive operator equations.***Journal of Mathematical Analysis and Applications*1998,**224**(1):91–101. 10.1006/jmaa.1998.5987MathSciNetView ArticleMATHGoogle Scholar - Ishikawa S:
**Fixed points by a new iteration method.***Proceedings of the American Mathematical Society*1974,**44**(1):147–150. 10.1090/S0002-9939-1974-0336469-5MathSciNetView ArticleMATHGoogle Scholar - Mann WR:
**Mean value methods in iteration.***Proceedings of the American Mathematical Society*1953,**4:**506–510. 10.1090/S0002-9939-1953-0054846-3MathSciNetView ArticleMATHGoogle Scholar - Rhoades BE:
**Fixed point iterations using infinite matrices.***Transactions of the American Mathematical Society*1974,**196:**161–176.MathSciNetView ArticleMATHGoogle Scholar - Osilike MO, Udomene A:
**Demiclosedness principle and convergence theorems for strictly pseudocontractive mappings of Browder-Petryshyn type.***Journal of Mathematical Analysis and Applications*2001,**256**(2):431–445. 10.1006/jmaa.2000.7257MathSciNetView ArticleMATHGoogle Scholar - Zeng L-C, Wong N-C, Yao J-C:
**Strong convergence theorems for strictly pseudocontractive mappings of Browder-Petryshyn type.***Taiwanese Journal of Mathematics*2006,**10**(4):837–849.MathSciNetMATHGoogle Scholar - Zeng LC, Lee GM, Wong NC:
**Ishikawa iteration with errors for approximating fixed points of strictly pseudocontractive mappings of Browder-Petryshyn type.***Taiwanese Journal of Mathematics*2006,**10**(1):87–99.MathSciNetMATHGoogle Scholar - Tang YC, Peng JG: On the strong convergence of the Ishikawa process with errors for a strictly pseudocontractive mapping of Browder-Petryshyn type. submittedGoogle Scholar
- Osilike MO, Aniagbosor SC:
**Weak and strong convergence theorems for fixed points of asymptotically nonexpansive mappings.***Mathematical and Computer Modelling*2000,**32**(10):1181–1191. 10.1016/S0895-7177(00)00199-0MathSciNetView ArticleMATHGoogle Scholar - Chang S-S:
**Some problems and results in the study of nonlinear analysis.***Nonlinear Analysis: Theory, Methods & Applications*1997,**30**(7):4197–4208. 10.1016/S0362-546X(97)00388-XMathSciNetView ArticleMATHGoogle Scholar - Kato T:
**Nonlinear semigroups and evolution equations.***Journal of the Mathematical Society of Japan*1964,**19:**508–520.View ArticleMathSciNetMATHGoogle Scholar - Senter HF, Dotson WG Jr.:
**Approximating fixed points of nonexpansive mappings.***Proceedings of the American Mathematical Society*1974,**44**(2):375–380. 10.1090/S0002-9939-1974-0346608-8MathSciNetView ArticleMATHGoogle 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.