 Research
 Open Access
 Published:
A modified PicardMann hybrid iterative algorithm for common fixed points of countable families of nonexpansive mappings
Fixed Point Theory and Applications volume 2014, Article number: 58 (2014)
Abstract
An uptodate method is used for approximating common fixed points of countable families of nonlinear mappings. A modified PicardMann 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/16871812201369) to the case of countable families of nonexpansive mappings.
MSC:47H09, 47J25.
1 Introduction
Let 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
Iterative techniques for approximating fixed points of nonexpansive mappings have been studied by various authors (see, e.g., [1–5]) who used the Mann iteration process or the Ishikawa process. In 2013, Khan [6] introduced the following PicardMann 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 uptodate method for the approximation of common fixed points of countable families of nonlinear operators. We introduce a modified PicardMann 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
Throughout this paper we assume that 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.
We say that E is strictly convex if the following implication holds for $x,y\in E$:
It is also said to be uniformly convex if, for any $\u03f5>0$, there exists a $\delta >0$ such that
It is well known that if 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].
A Banach space 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 demiclosed 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 normweakcontinuous.

(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, onetoone 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 KadecKlee 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 $IT$ is demiclosed 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 PicardMann 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{(m1)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
and hence
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$.
(3) Assume, by the conclusion of (1), ${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}q\parallel =d$. We then claim that ${lim}_{n\to \mathrm{\infty}}\parallel {y}_{n}q\parallel =d$, that is,
In fact, noting that $\parallel {x}_{n+1}q\parallel <\parallel {y}_{n}q\parallel $, we have
on the other hand, it follows from (3.2) that
which implies that ${lim}_{n\to \mathrm{\infty}}\parallel {y}_{n}q\parallel =d$.
Next, $\parallel {T}_{{i}_{n}}{x}_{n}q\parallel \le \parallel {x}_{n}q\parallel $ implies that
and hence, it follows from (3.4), (3.5), and Lemma 2.2 that
On the other hand, since
we have, from (3.6),
By induction, for any nonnegative integer p, we also have
For each $p\ge 0$, since
it follows from (3.6) and (3.8) that
Now, for each $i\ge 1$, we claim that
As a matter of fact, setting $n={k}_{m}+i$, where ${k}_{m}=\frac{(m1)m}{2}$, $m\ge i$, we obtain
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
by taking lim sup as $n\to \mathrm{\infty}$ on both sides in the inequality above, we obtain
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.
Thus, for any $n,m\ge N$, it follows from (3.3) that
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.
References
 1.
Chang SS, Cho YJ, Zhou H: Demiclosed principle and weak convergence problems for asymptotically nonexpansive mappings. J. Korean Math. Soc. 2001, 38: 1245–1260.
 2.
Ishikawa S: Fixed points and iteration of a nonexpansive mapping in a Banach space. Proc. Am. Math. Soc. 1967, 73: 61–67.
 3.
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/S08957177(00)001990
 4.
Schu J: Iterative construction of fixed points of asymptotically nonexpansive mappings. J. Math. Anal. Appl. 1991, 158: 407–413. 10.1016/0022247X(91)90245U
 5.
Xu HK, Ori R: An implicit iterative process for nonexpansive mappings. Numer. Funct. Anal. Optim. 2001, 22: 767–773. 10.1081/NFA100105317
 6.
Khan SH: A PicardMann hybrid iterative process. Fixed Point Theory Appl. 2013., 2013: Article ID 69 10.1186/16871812201369
 7.
Berinde V: Iterative Approximation of Fixed Points. Editura Efemeride, Baia Mare; 2002.
 8.
Takahashi W: Nonlinear Functional Analysis. Fixed Point Theory and Its Applications. Yokohama Publishers, Yokohama; 2000.
 9.
Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic, Dordrecht; 1990.
 10.
Schu J: Weak and strong convergence of fixed points of asymptotically nonexpansive mappings. Bull. Aust. Math. Soc. 1991, 43: 153–159. 10.1017/S0004972700028884
 11.
Górnicki J: Weak convergence theorems for asymptotically nonexpansive mappings in uniformly convex Banach spaces. Comment. Math. Univ. Carol. 1989, 30: 249–252.
 12.
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 602582
 13.
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/s1048301114108
 14.
Deng WQ: New viscosity method for hierarchical fixed point approach to variational inequalities. Fixed Point Theory Appl. 2013., 2013: Article ID 219 10.1186/168718122013219
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).
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Deng, W. A modified PicardMann hybrid iterative algorithm for common fixed points of countable families of nonexpansive mappings. Fixed Point Theory Appl 2014, 58 (2014). https://doi.org/10.1186/16871812201458
Received:
Accepted:
Published:
Keywords
 PicardMann hybrid iteration
 common fixed points
 countable families of nonexpansive mappings
 strong and weak convergence