# Strong convergence of a relaxed three-step iterative algorithm for countable families of pseudocontractions

- Wei-Qi Deng
^{1}Email author

**2013**:217

https://doi.org/10.1186/1687-1812-2013-217

© Deng; licensee Springer. 2013

**Received: **29 April 2013

**Accepted: **29 July 2013

**Published: **14 August 2013

## Abstract

An up-to-date method for the approximation of common fixed points of countable families of nonlinear operators is introduced, by which a relaxed three-step iterative algorithm is developed for the class of pseudocontractive mappings, and a strong convergence theorem is established in the framework of Hilbert spaces. *Since there is no need to impose uniformity assumption on the involved Lipschitzian and closed mappings*, the results improve and extend those announced by Cheng *et al.* (Fixed Point Theory Appl. 2013:100, 2013) and other authors with the related interest.

**MSC:**47H05, 47H09, 47H10.

## Keywords

## 1 Introduction

*C*be a nonempty closed convex subset of a real Hilbert space

*H*with the inner product $\u3008\cdot ,\cdot \u3009$ and the corresponding norm $\parallel \cdot \parallel $. A mapping $T:C\to H$ is said to be nonexpansive if

*I*denotes the identity operator. A mapping

*A*with the domain $D(A)$ and the range $R(A)$ in

*H*is called monotone if the inequality

holds for any $x,y\in D(A)$ and for all $s\ge 0$.

Not only from its being an important generalization of nonexpansive mappings, but also from the firm connection with the important class of nonlinear monotone mappings stems the interest in the class of pseudocontractions. We observe that *A* is monotone if and only if $T:=I-A$ is pseudocontractive, and hence a zero ${x}^{\ast}$ of *A*, that is, ${x}^{\ast}\in \mathcal{N}(A):=\{x\in D(A):Ax=0\}$, is just a fixed point of *T*. It is well known (see, *e.g.*, [1]) that if *A* is monotone, then the solutions to the equation $Ax=0$ correspond to the equilibrium points of some evolution systems. Considerable efforts have then been devoted to developing iterative techniques for approximating fixed points of pseudocontractive mappings (see, for example, [2–4] and the references contained therein).

*et al.*[5] constructed the following three-step iteration method and obtain the convergence theorem for a countable family of Lipschitz pseudocontractive mappings in Hilbert space

*H*. For the iteration format,

*But it is worth mentioning that the involved mappings were assumed to be uniformly closed and uniformly Lipschitz pseudocontractive, which are obviously two quite strong conditions for countable families of nonlinear operators*. Recall that a countable family of mapping ${\{{T}_{n}\}}_{n=1}^{\mathrm{\infty}}:C\to H$ is called

*uniformly Lipschitz*with Lipschitz constant ${L}_{n}\ge 0$, if there exists an $L:={sup}_{n\ge 1}{L}_{n}>0$ such that

A countable family of mapping ${\{{T}_{n}\}}_{n=1}^{\mathrm{\infty}}:C\to H$ is called *uniformly closed* if as $n\to \mathrm{\infty}$, ${x}_{n}\to {x}^{\ast}$ and $\parallel {x}_{n}-{T}_{n}{x}_{n}\parallel \to 0$ imply ${x}^{\ast}\in {\bigcap}_{n=1}^{\mathrm{\infty}}F({T}_{n})$.

Inspired and motivated by the studies mentioned above, in this paper, we introduced an up-to-date method for the approximation of common fixed points of countable families of nonlinear operators, by which a relaxed three-step iterative algorithm is developed for the class of pseudocontractive mappings, and a strong convergence theorem is established in the framework of Hilbert spaces. No compactness assumption is imposed either on the involved mappings or on the set *C*. The results are more applicable than those of other authors with the related interest.

## 2 Preliminaries

*H*be a real Hilbert space. The function $\varphi :H\times H\to \mathbb{R}$, defined by

*ϕ*that

*ϕ*has also the following property

In what follows, we shall make use of the following lemmas.

**Lemma 2.1** [9]

*Let*

*H*

*be a Hilbert space*.

*Then for all*$x,y\in H$

*and*${\alpha}_{i}\in [0,1]$

*for*$i=0,1,2,\dots ,n$

*such that*${\sum}_{i=0}^{n}{\alpha}_{i}=1$

*the following equality holds*

**Lemma 2.2** [10]

*Let*$\{{a}_{n}\}$, $\{{\delta}_{n}\}$,

*and*$\{{b}_{n}\}$

*be the sequences of nonnegative real numbers satisfying*

*If* ${\sum}_{n=1}^{\mathrm{\infty}}{\delta}_{n}<\mathrm{\infty}$ *and* ${\sum}_{n=1}^{\mathrm{\infty}}{b}_{n}<\mathrm{\infty}$, *then* ${lim}_{n\to \mathrm{\infty}}{a}_{n}$ *exists*.

**Lemma 2.3** [11]

*The unique solutions to the positive integer equation*

*are*

*where* $[x]$ *denotes the maximal integer that is not larger than* *x*.

## 3 Main results

Recall that an operator *T* on a Hilbert space is *closed* if ${x}_{n}\to x$ and $T{x}_{n}\to y$ as $n\to \mathrm{\infty}$, then $Tx=y$.

**Theorem 3.1**

*Let*

*H*

*be a real Hilbert space*,

*and let*

*C*

*be a closed convex nonempty subset of*

*H*.

*Let*${\{{T}_{i}\}}_{i=1}^{\mathrm{\infty}}:C\to C$

*be a sequence of closed and Lipschitz pseudocontractive mappings with Lipschitzian constants*${L}_{i}$

*for each*$i\ge 1$

*and the interior of*$F:={\bigcap}_{i=1}^{\mathrm{\infty}}F({T}_{i})\ne \mathrm{\varnothing}$.

*Starting from an arbitrary*${x}_{1}\in C$,

*define*$\{{x}_{n}\}$

*by*

*where*$\{{\alpha}_{i}\},\{{\beta}_{i}\},\{{\gamma}_{i}\}\subset (0,1)$

*satisfying the following conditions*: (i) ${\alpha}_{i}\le {\beta}_{i}\le {\gamma}_{i}$

*and*(ii) ${\gamma}_{i}^{3}{L}_{i}^{4}+2{\gamma}_{i}^{2}{L}_{i}^{3}+{\gamma}_{i}^{2}{L}_{i}^{2}+{\gamma}_{i}{L}_{i}^{2}+2{\gamma}_{i}<1$

*for each*$i\ge 1$; ${i}_{n}$

*is the solutions to the positive integer equation*: $n=i+\frac{(m-1)m}{2}$ ($m\ge i$, $n=1,2,\dots $),

*that is*,

*for each*$n\ge 1$,

*there exists a unique*${i}_{n}$

*such that*

*Then* $\{{x}_{n}\}$ *converges strongly to an* ${x}^{\ast}\in F$.

*Proof*Let $p\in F$. Using the similar argument presented in the proof of [[1], Theorem 3.1], we have from (3.1) and Lemma 2.1,

So, by Lemma 2.2, we conclude that ${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-p\parallel $ exists.

*F*is nonempty, there exists a ${p}^{\ast}\in F$ and $r>0$ such that $({p}^{\ast}+rh)\in F$ whenever $\parallel h\parallel \le 1$. Thus, from (3.12) and (3.13), we obtain that

*h*with $\parallel h\parallel \le 1$ is arbitrary, we have

Note that, from (3.16), ${x}_{k}\to {x}^{\ast}$ as ${\mathbb{N}}_{i}\ni k\to \mathrm{\infty}$. It immediately follows from (3.18) and the closedness of ${T}_{i}$ that ${x}^{\ast}\in F({T}_{i})$ for each $i\ge 1$, and hence ${x}^{\ast}\in F$. This completes the proof. □

We now give an example, to which the results of Cheng *et al.* [5] cannot be applied.

**Example 3.2**Let $H={\mathbb{R}}^{1}$ and $C=[-1,1]$. Let ${\{{T}_{i}\}}_{i=1}^{\mathrm{\infty}}:C\to C$ be a sequence of nonlinear mappings defined by

*However*, ${\{{T}_{i}\}}_{i=1}^{\mathrm{\infty}}$

*is not uniformly closed*. In fact, for any $[0,1]\supset \{{x}_{i}\}\to {x}^{\ast}\in (0,1]$ as $i\to \mathrm{\infty}$, we have

while ${x}^{\ast}$ is obviously not a member of *F*.

**Remark 3.3** *By using a specific way of choosing the indexes of the involved mappings and parameters*, we propose an up-to-date iterative approach to approximating common fixed points of countable families of pseudocontractive mappings. The results extend previous results, announced by the authors with the related research interest.

## Declarations

### Acknowledgements

The author is very grateful to the referees for their useful suggestions, by which the contents of this article has been improved. This work is supported by the National Natural Science Foundation of China (Grant No. 11061037).

## Authors’ Affiliations

## References

- Zeidler E:
*Nonlinear Functional Analysis and Its Applications, Part II: Monotone Operators*. Springer, Berlin; 1985.View ArticleGoogle Scholar - Chidume CE, Moore C: The solution by iteration of nonlinear equations in uniformly smooth Banach spaces.
*J. Math. Anal. Appl.*1997, 215: 132–146. 10.1006/jmaa.1997.5628MathSciNetView ArticleGoogle Scholar - Liu Q: The convergence theorems of the sequence of Ishikawa iterates for hemi-con tractive mappings.
*J. Math. Anal. Appl.*1990, 148: 55–62. 10.1016/0022-247X(90)90027-DMathSciNetView ArticleGoogle Scholar - Zhang S: On the convergence problems of Ishikawa and Mann iteration processes with error for
*ϕ*-pseudocontractive type mappings.*Appl. Math. Mech.*2000, 21: 1–10.View ArticleGoogle Scholar - Cheng Q, Su Y, Zhang J: Convergence theorems of a three-step iteration method for pseudocontractive mappings.
*Fixed Point Theory Appl.*2013., 2013: Article ID 100 10.1186/1687-1812-2013-100Google Scholar - Alber YI: Metric and generalized projection operators in Banach spaces: properties and applications. Lecture Notes in Pure and Appl. Math. 178. In
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type*. Edited by: Kartsatos AG. Dekker, New York; 1996:15–50.Google Scholar - Kamimura S, Takahashi W: Strong convergence of proximal-type algorithm in a Banach space.
*SIAM J. Optim.*2002, 13: 938–945. 10.1137/S105262340139611XMathSciNetView ArticleGoogle Scholar - Reich S: A weak convergence theorem for the alternating method with Bergman distance. Lecture Notes in Pure and Appl. Math. 178. In
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type*. Edited by: Kartsatos AG. Dekker, New York; 1996:313–318.Google Scholar - Zegeye H, Shahzad N: Convergence of Mann’s type iteration method for generalized asymptotically nonexpansive mappings.
*Comput. Math. Appl.*2011, 62: 4007–4014. 10.1016/j.camwa.2011.09.018MathSciNetView ArticleGoogle Scholar - Osilike MO, Aniagbosor SC, Akuchu BG: Fixed points of asymptotically demicontractive mappings in arbitrary Banach spaces.
*Panam. Math. J.*2002, 12: 77–88.MathSciNetGoogle Scholar - Deng WQ, Bai P: An implicit iteration process for common fixed points of two infinite families of asymptotically nonexpansive mappings in Banach spaces.
*J. Appl. Math.*2013., 2013: Article ID 602582Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.