- Research
- Open Access

# A modified Picard-Mann hybrid iterative algorithm for common fixed points of countable families of nonexpansive mappings

- Wei-Qi Deng
^{1}Email author

**2014**:58

https://doi.org/10.1186/1687-1812-2014-58

© Deng; licensee Springer. 2014

**Received: **25 April 2013

**Accepted: **25 February 2014

**Published: **6 March 2014

## Abstract

An up-to-date method is used for approximating common fixed points of countable families of nonlinear mappings. A modified Picard-Mann hybrid iterative algorithm is introduced with the help of our method for the class of nonexpansive mappings. Strong convergence and weak convergence theorems are established in the framework of uniformly convex Banach spaces. Our results extend the corresponding ones announced by Khan (Fixed Point Theory Appl. 2013:69, 2013, doi:10.1186/1687-1812-2013-69) to the case of countable families of nonexpansive mappings.

**MSC:**47H09, 47J25.

## Keywords

- Picard-Mann hybrid iteration
- common fixed points
- countable families of nonexpansive mappings
- strong and weak convergence

## 1 Introduction

*K*be a nonempty closed convex subset of a real uniformly convex Banach space

*E*. A mapping $T:K\to K$ is said to be nonexpansive if

*e.g.*, [1–5]) who used the Mann iteration process or the Ishikawa process. In 2013, Khan [6] introduced the following Picard-Mann hybrid iterative process for a single nonexpansive mapping

*T*. For any initial point ${x}_{0}\in K$:

where $\{{\alpha}_{n}\}$ is a real sequence in $(0,1)$. He showed that the new process converges faster than all of Picard, Mann and Ishikawa iterative processes in the sense of Berinde [7] for contractions. He also proved strong convergence and weak convergence theorems with the help of his process for the class of nonexpansive mappings in general Banach spaces and apply it to obtain a result in uniformly convex Banach spaces.

Inspired and motivated by the studies mentioned above, in this paper, we use an up-to-date method for the approximation of common fixed points of countable families of nonlinear operators. We introduce a modified Picard-Mann hybrid iterative algorithm with the help of our method for the class of nonexpansive mappings. We prove strong convergence and weak convergence theorems in the framework of Banach spaces. Our results extend the corresponding ones for one map in [6].

## 2 Preliminaries

*E*is a real Banach space with its dual ${E}^{\ast}$,

*K*is a nonempty closed convex subset of

*E*and $J:E\to {2}^{{E}^{\ast}}$ is the

*normalized duality mapping*defined by

In the sequel, we use $F(T)$ to denote the set of fixed points of a mapping *T*.

*E*is

*strictly convex*if the following implication holds for $x,y\in E$:

*uniformly convex*if, for any $\u03f5>0$, there exists a $\delta >0$ such that

*E*is a uniformly convex Banach space, then

*E*is reflexive and strictly convex. A Banach space

*E*is said to be

*smooth*if

exists for each $x,y\in S(E):=\{x\in E:\parallel x\parallel =1\}$. In this case, the norm of *E* is said to be *Gâteaux differentiable*. The space *E* is said to have *uniformly Gâteaux differentiable norm* if for each $y\in S(E)$, the limit (2.3) is attained uniformly for $x\in S(E)$. The norm of *E* is said to be *Fréchet differentiable* if for each $x\in S(E)$, the limit (2.3) is attained uniformly for $y\in S(E)$. The norm of *E* is said to be *uniformly Fréchet differentiable* (and *E* is said to be *uniformly smooth*) if the limit (2.3) is attained uniformly for $x,y\in S(E)$.

**Note** The readers can find all the definitions and concepts mentioned above in [8].

*E*is said to satisfy Opial’s condition if, for any sequence $\{{x}_{n}\}$ in

*E*, ${x}_{n}\rightharpoonup x$ implies that

for all $y\in E$ with $y\ne x$, where ${x}_{n}\rightharpoonup x$ denotes that $\{{x}_{n}\}$ converges weakly to *x*.

A mapping *T* with domain $D(T)$ and range $R(T)$ in *E* is said to be demi-closed at *p* if whenever $\{{x}_{n}\}$ is a sequence in $D(T)$ such that $\{{x}_{n}\}$ converges weakly to ${x}^{\ast}\in D(T)$ and $\{T{x}_{n}\}$ converges strongly to *p*, then $T{x}^{\ast}=p$.

**Remark 2.1**The following basic properties for a Banach space

*E*can be found in [9].

- (i)
If

*E*is uniformly smooth, then*J*is uniformly continuous on each bounded subset of*E*. - (ii)
If

*E*is reflexive and strictly convex, then ${J}^{-1}$ is norm-weak-continuous. - (iii)
If

*E*is a smooth, strictly convex and reflexive Banach space, then the normalized duality mapping $J:E\to {2}^{{E}^{\ast}}$ is single valued, one-to-one and onto. - (iv)
A Banach space

*E*is uniformly smooth if and only if ${E}^{\ast}$ is uniformly convex. - (v)
Each uniformly convex Banach space

*E*has the*Kadec-Klee property*,*i.e.*, for any sequence $\{{x}_{n}\}\subset E$, if ${x}_{n}\rightharpoonup x\in E$ and $\parallel {x}_{n}\parallel \to \parallel x\parallel $, then ${x}_{n}\to x$ as $n\to \mathrm{\infty}$.

We need the following lemmas for our main results.

**Lemma 2.2** [10]

*Let*

*E*

*be a real uniformly convex Banach space and let*

*a*,

*b*

*be two constant with*$0<a<b<1$.

*Suppose that*$\{{t}_{n}\}\subset [a,b]$

*is a real sequence and*$\{{x}_{n}\}$, $\{{y}_{n}\}$

*are two sequences in*

*E*.

*Then the conditions*

*imply that* $li{m}_{n\to \mathrm{\infty}}\parallel {x}_{n}-{y}_{n}\parallel =0$, *where* $d\ge 0$ *is a constant*.

**Lemma 2.3** [11]

*Let* *E* *be a real uniformly convex Banach space*, *let* *K* *be a nonempty closed convex subset of* *E*, *and let* $T:K\to K$ *be a nonexpansive mapping*. *Then* $I-T$ *is demi*-*closed at zero*.

**Lemma 2.4** [12]

*The unique solutions to the positive integer equation*

*are*

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

## 3 Main results

**Lemma 3.1**

*Let*

*E*

*be a real uniformly convex Banach space and*

*K*

*a nonempty closed convex subset of*

*E*.

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

*be a sequence of nonexpansive mappings from*

*K*

*to itself*.

*For an arbitrary initial point*${x}_{1}\in K$,

*the modified Picard*-

*Mann hybrid iterative scheme*$\{{x}_{n}\}$

*is defined as follows*:

*where*$\{{\alpha}_{n}\}$

*is a sequence in*$[\u03f5,1-\u03f5]$

*for some*$\u03f5\in (0,1)$

*and*${i}_{n}$

*is the solution 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*

*If*$F:=\{x\in K:{T}_{i}x=x,\mathrm{\forall}i\ge 1\}\ne \mathrm{\varnothing}$,

*then*

- (1)
${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-q\parallel $

*exists*, $\mathrm{\forall}q\in F$; - (2)
${lim}_{n\to \mathrm{\infty}}d({x}_{n},F)$

*exists*,*where*$d({x}_{n},F)={inf}_{q\in F}\parallel {x}_{n}-q\parallel $; - (3)
${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-{T}_{i}{x}_{n}\parallel =0$, $\mathrm{\forall}i\ge 1$.

*Proof*(1) For any $q\in F$, by (3.1), we have

This shows that $\{\parallel {x}_{n}-q\parallel \}$ is decreasing and hence ${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-q\parallel $ exists.

(2) This conclusion can easily be shown by taking the infimum in (3.3) for all $q\in F$.

which implies that ${lim}_{n\to \mathrm{\infty}}\parallel {y}_{n}-q\parallel =d$.

*p*, we also have

Note that ${k}_{m}\to \mathrm{\infty}$ as $n\to \mathrm{\infty}$. It then follows from (3.8) and (3.10) that (3.11) holds obviously. This completes the proof. □

**Remark 3.2** The key point of the proof of Lemma 3.1 lies in the use of a special way of choosing the indices of involved mappings, which makes the generalization of finite families of nonlinear mappings to infinite ones possible. Moreover, with the help of our method, some known results on the common fixed points of countable families of nonexpansive mappings have been improved. We now give an example to show why our work, compared with that of others, is an improvement.

In 2011, for the approximation of common fixed points of a countable family of nonexpansive mappings $\{{T}_{n}\}$, Zhang *et al.* [13] introduced in his iterative algorithm a mapping *T* defined by a convex linear combination of $\{{T}_{n}\}$, *i.e.*, $T={\sum}_{n=1}^{\mathrm{\infty}}{\lambda}_{n}{T}_{n}$, ${\lambda}_{n}\ge 0$ ($n=1,2,\dots $) with ${\sum}_{n=1}^{\mathrm{\infty}}{\lambda}_{n}=1$. However, it is easy to see that the accurate computation of $T{x}_{n}$ at each step of the iteration process is not easily attainable, which will leads to gradually increasing errors. By using a special way of choosing the indices of involved mappings, Deng [14] recently improved the corresponding results announced by Zhang *et al.* [13]. Since the strong convergence theorems for solving some variational inequality problems and hierarchical fixed point problems are obtained without the aid of the convex linear combination of a countable family of nonexpansive mappings, our results are more applicable than those of other authors with related research interest.

**Theorem 3.3** *Let* *E* *be a real uniformly convex Banach space and* *K* *a nonempty closed convex subset of* *E*. *Let* ${\{{T}_{i}\}}_{i=1}^{\mathrm{\infty}}$ *be a sequence of nonexpansive mappings from* *K* *to itself*. *Suppose that* $\{{x}_{n}\}$ *is a sequence defined by* (3.1). *If* $F:=\{x\in K:{T}_{i}x=x,\mathrm{\forall}i\ge 1\}\ne \mathrm{\varnothing}$ *and there exist* ${T}_{{i}_{0}}\in {\{{T}_{i}\}}_{i=1}^{\mathrm{\infty}}$ *and a nondecreasing function* $f:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ *with* $f(0)=0$ *and* $f(r)>0$ *for all* $r\in (0,\mathrm{\infty})$ *such that* $f(d({x}_{n},F))\le \parallel {x}_{n}-{T}_{{i}_{0}}{x}_{n}\parallel $ *for all* $n\ge 1$, *then* $\{{x}_{n}\}$ *converges strongly to some common fixed point of* ${\{{T}_{i}\}}_{i=1}^{\mathrm{\infty}}$.

*Proof*Since

which implies ${lim}_{n\to \mathrm{\infty}}d({x}_{n},F)=0$ by the definition of the function *f*.

Now we show that $\{{x}_{n}\}$ is a Cauchy sequence. Since ${lim}_{n\to \mathrm{\infty}}d({x}_{n},F)=0$, then for any $\u03f5>0$, there exists a positive integer *N* such that $d({x}_{n},F)<\frac{\u03f5}{2}$ for all $n\ge N$. On the other hand, there exists a $p\in F$ such that $\parallel {x}_{N}-p\parallel =d({x}_{N},F)<\frac{\u03f5}{2}$, because $d({x}_{N},F)={inf}_{q\in F}\parallel {x}_{N}-q\parallel $ and *F* is closed.

This implies that $\{{x}_{n}\}$ is a Cauchy sequence, and hence there exists an $x\in K$ such that ${x}_{n}\to x$ as $n\to \mathrm{\infty}$. Then ${lim}_{n\to \mathrm{\infty}}d({x}_{n},F)=0$ yields $d(x,F)=0$. Further, it follows from the closedness of *F* that $x\in F$. This completes the proof. □

**Theorem 3.4** *Let* *E* *be a real uniformly convex Banach space satisfying Opial’s condition and* *K* *a nonempty closed convex subset of* *E*. *Let* ${\{{T}_{i}\}}_{i=1}^{\mathrm{\infty}}$ *be a sequence of nonexpansive mappings from* *K* *to itself*. *Suppose that* $\{{x}_{n}\}$ *is a sequence defined by* (3.1). *If* $F:=\{x\in K:{T}_{i}x=x,\mathrm{\forall}i\ge 1\}\ne \mathrm{\varnothing}$, *then* $\{{x}_{n}\}$ *converges weakly to some common fixed point of* ${\{{T}_{i}\}}_{i=1}^{\mathrm{\infty}}$.

*Proof* For any $q\in F$, by Lemma 3.1, we know that ${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-q\parallel $ exists. We now prove that $\{{x}_{n}\}$ has a unique weakly subsequential limit in *F*. First of all, Lemmas 2.3 and 3.1 guarantee that each weakly subsequential limit of $\{{x}_{n}\}$ is a common fixed point of ${\{{T}_{i}\}}_{i=1}^{\mathrm{\infty}}$. Secondly, Opial’s condition guarantees that the weakly subsequential limit of ${x}_{n}$ is unique. Consequently, $\{{x}_{n}\}$ converges weakly to a common fixed point of ${\{{T}_{i}\}}_{i=1}^{\mathrm{\infty}}$. This completes the proof. □

**Remark 3.5** The results presented in this paper extend those of Khan [6], whose research areas are limited to the situation of a single nonexpansive mapping.

## 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

- Chang SS, Cho YJ, Zhou H: Demi-closed principle and weak convergence problems for asymptotically nonexpansive mappings.
*J. Korean Math. Soc.*2001, 38: 1245–1260.MathSciNetMATHGoogle Scholar - Ishikawa S: Fixed points and iteration of a nonexpansive mapping in a Banach space.
*Proc. Am. Math. Soc.*1967, 73: 61–67.Google Scholar - Oslike MO, Udomene A: Weak and strong convergence theorems for fixed points of asymptotically nonexpansive mappings.
*Math. Comput. Model.*2000, 32: 1181–1191. 10.1016/S0895-7177(00)00199-0View ArticleGoogle Scholar - Schu J: Iterative construction of fixed points of asymptotically nonexpansive mappings.
*J. Math. Anal. Appl.*1991, 158: 407–413. 10.1016/0022-247X(91)90245-UView ArticleMathSciNetMATHGoogle Scholar - Xu HK, Ori R: An implicit iterative process for nonexpansive mappings.
*Numer. Funct. Anal. Optim.*2001, 22: 767–773. 10.1081/NFA-100105317View ArticleMathSciNetMATHGoogle Scholar - Khan SH: A Picard-Mann hybrid iterative process.
*Fixed Point Theory Appl.*2013., 2013: Article ID 69 10.1186/1687-1812-2013-69Google Scholar - Berinde V:
*Iterative Approximation of Fixed Points*. Editura Efemeride, Baia Mare; 2002.MATHGoogle Scholar - Takahashi W:
*Nonlinear Functional Analysis. Fixed Point Theory and Its Applications*. Yokohama Publishers, Yokohama; 2000.MATHGoogle Scholar - Cioranescu I:
*Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems*. Kluwer Academic, Dordrecht; 1990.View ArticleMATHGoogle Scholar - Schu J: Weak and strong convergence of fixed points of asymptotically nonexpansive mappings.
*Bull. Aust. Math. Soc.*1991, 43: 153–159. 10.1017/S0004972700028884View ArticleMathSciNetMATHGoogle Scholar - Górnicki J: Weak convergence theorems for asymptotically nonexpansive mappings in uniformly convex Banach spaces.
*Comment. Math. Univ. Carol.*1989, 30: 249–252.MATHGoogle 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 - Zhang SS, Wang XR, Lee HWJ, Chan CK: Viscosity method for hierarchical fixed point and variational inequalities with applications.
*Appl. Math. Mech.*2011, 32(2):241–250. 10.1007/s10483-011-1410-8View ArticleMathSciNetMATHGoogle Scholar - Deng WQ: New viscosity method for hierarchical fixed point approach to variational inequalities.
*Fixed Point Theory Appl.*2013., 2013: Article ID 219 10.1186/1687-1812-2013-219Google 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.