Abstract
In this study, we introduce a three step iteration process and prove a convergence result for a countable family of pseudocontractive mappings. Our results improve and generalize most of the results that have been proved for this important class of nonlinear mappings.
Similar content being viewed by others
1 Introduction
Let H be a real Hilbert space, whose inner product and norm are denoted by \(\langle\cdot , \cdot \rangle\) and \(\Vert \cdot \Vert \), respectively. Let K be nonempty, closed, and convex subset of H. We recall that a mapping \(T \colon K\to K\) is called strongly pseudocontractive, if for some \(\beta\in(0,1)\),
holds, for all \(x,y\in K\), while T is called a pseudocontractive mapping if (1.1) holds for \(\beta=1\). Equivalently T is called pseudocontractive if
The mapping T is called Lipschitz if there exists a \(L\geq0\) such that \(\Vert Tx-Ty\Vert \leq L\Vert x-y\Vert \), for all \(x,y\in K\). The mapping T is called nonexpansive if \(L=1\) and is called contractive if \(L<1\). Every nonexpansive mapping is pseudocontractive. The converse is not true. For example \(Tx=1-x^{\frac{2}{3}}\), \(0\leq x\leq1\), is a continuous pseudocontractive mapping which is not a nonexpansive mapping.
Let \(T\colon K\to K\) be a mapping and \(\{\alpha_{n} \}\) and \(\{\beta_{n} \}\) be two sequences in \([0,1]\). For arbitrary chosen \(x_{0}\in K\), construct a sequence \(\{x_{n} \}\), where \(x_{n}\) is defined iteratively for each positive integer \(n\geq0\) by
The sequences \(\{x_{n} \}\) generated by (1.3), (1.4), and (1.5) are called Picard, Mann [1], and Ishikawa [2] iteration sequences, respectively.
In 1955, Krasnoselskii [3] showed that the Picard iteration scheme (1.3) for a nonexpansive mapping T may fail to converge to a fixed point of T even if T has a unique fixed point, but the Mann sequence (1.4) for \(\alpha_{n}=\frac{1}{2} \), \(\forall n\geq0\), converges strongly to the fixed point of T.
In 1974, Ishikawa [2], introduced the iteration scheme (1.5) and proved the following theorem.
Theorem 1.1
If K be a compact convex subset of a Hilbert space H, \(T\colon K\to K\) is a Lipschitzian pseudocontractive mapping and \(x_{0}\) is any point of K, then the sequence \(\{x_{n} \}\) defined iteratively by (1.5) converges strongly to a fixed point of T, where \(\{\alpha_{n} \}\) and \(\{\beta_{n} \}\) satisfy the conditions: \(0\leq\alpha_{n}\leq\beta_{n}<1\), \(\lim_{n\to\infty}\beta_{n}=0\), and \(\sum_{n\geq0}\alpha_{n}\beta_{n}=\infty\).
Since its publication, in 1974, till 2000, it was not known whether or not the Mann iteration process with the simpler iteration (1.4) would converge under the setting of Theorem 1.1 to a fixed point of T if the mapping T is pseudocontractive and continuous (or even Lipschitzian with constant \(L>1\)).
Hicks and Kubicek [4] gave an example of pseudocontractive mapping for which Mann iteration process fails. Borwein and Borwein ([5], Proposition 8) gave an example of a Lipschitzian mapping with a unique fixed point for which the Mann iteration fails to converge. In the example of Borwein and Borwein the mapping was not pseudocontractive, while in the example of Hicks and Kubicek the mapping was not continuous (and hence not Lipschitzian).
The problem for a continuous pseudocontractive mapping still remained open. This question was finally settled by Chidume and Mutangadura [6], by constructing an example of a Lipschitz pseudocontractive mapping with a unique fixed point for which every nontrivial Mann sequence fails to converge.
Example 1.2
Let H be the real Hilbert space \(\mathbb{R}^{2}\) under the usual Euclidean inner product. If \(x=(a,b)\in H\), define \(x^{\bot}\in H\) to be \((b,-a)\). Let \(K:= \{x\in H: \Vert x\Vert \leq 1 \}\) and set
Define \(T\colon K\to K\) as follows:
Then:
-
1.
T is Lipschitz and pseudocontractive.
-
2.
The origin is the unique fixed point of T.
-
3.
No Mann sequence converges to the fixed point zero.
-
4.
No Mann sequence converges to any \(x\neq0\).
The Ishikawa iterative method has been studied extensively by various authors. But it was still an open question whether or not this method can be employed to approximate fixed points of Lipschitz pseudocontractive mappings without the compactness assumption on K or T (see, e.g., [7–9]).
In [10], Schu introduced an iteration scheme and proved the following.
Theorem 1.3
Let H be a Hilbert space, K a nonempty, closed, bounded, and convex subset of H, \(w\in K\), \(T\colon K\to K\) pseudocontractive and Lipschitzian with \(L>0\), \(\{\lambda_{n} \}_{n\in\mathbb {N}}\subset (0,1)\) with \(\lim_{n\to\infty}\lambda_{n}=1\), \(\{\alpha _{n} \}_{n\in \mathbb{N}}\subset(0,1)\) with \(\lim_{n\to\infty}\alpha_{n}=0\), such that \(( \{\alpha_{n} \}, \{\mu_{n} \} )\) has certain properties, \(((1-\mu_{n})(1-\lambda_{n})^{-1} )\) is bounded and \(\lim_{n\to\infty} \alpha_{n}^{-1}(1-\mu_{n})=0\), where \(k_{n}:= (1+\alpha_{n}^{2}(1+L^{2}) )^{1/2}\) and \(\mu_{n}:=\lambda _{n}k_{n}^{-1}\) for all \(n\in\mathbb{N}\). For arbitrary \(z_{0}\in K\), define for all \(n\in\mathbb{N}\),
Then \(\{z_{n} \}\) converges strongly to the unique fixed point of T closest to w.
Theorem 1.3 has some advantages over Theorem 1.1. First, the recursion formula (1.7) is slightly simpler than (1.5). More importantly, no compactness assumption is imposed on K. However, the choices of \(\alpha_{n}\) and \(\mu_{n}\) in Theorem 1.3 are not as simple as those of \(\alpha_{n}\) and \(\beta_{n}\) in Theorem 1.3 (where one can choose \(\alpha_{n}=\beta_{n}=\frac{1}{\sqrt{n+1}}\) for all positive integers n).
Zhou [11] established the hybrid Ishikawa algorithm for Lipschitz pseudocontractive mappings without the compactness assumption. In 2009, Yao et al. [12] introduced the hybrid Mann algorithm for a L-Lipschitz pseudocontractive mapping, which was generalized by Tang et al. [13] to the hybrid Ishikawa iterative process. The schemes given by Zhou [11], Yao et al. [12] and Tang et al. [13] are not easy to compute, since for each \(n\geq1\), it involves the computation of the intersection of \(C_{n}\) and \(Q_{n}\).
Finding a point in the intersection of fixed point sets of a family of nonexpansive mappings is a task that occurs frequently in various areas of mathematical sciences and engineering. For example, the well-known convex feasibility problem reduces to finding a point in the intersection of fixed point sets of a family of nonexpansive mappings; see, e.g., [14, 15].
In 2011, Zegeye et al. [16] extended the result of Tang et al. [13] to the Ishikawa iterative process (not hybrid) for a finite family of Lipschitz pseudocontractive mappings as follows:
and they proved a strong convergence theorem under some conditions.
Cheng et al. [17] generalized algorithm (1.8) to a three step iterative process for a countable family of Lipschitz pseudocontractive mappings as follows:
The iteration (1.9) was initially introduced by Noor [18] for a single mapping.
Recently, Zegeye and Shahzad [19] proved the strong convergence of a three step iteration process for a common fixed point of two Lipschitz pseudocontractive mappings.
In this paper, our purpose is to introduce a new three step iteration process for a countable family of pseudocontractive mappings. The results obtained in this paper improve and extend the results of Zhou [11], Tang et al. [13], Zegeye et al. [16] and Cheng et al. [17] and some other results in this direction.
2 Preliminaries
In the sequel, we also need the following definitions and lemma.
Let H be a real Hilbert space, and \(\phi\colon H \times H \to {\mathbb{R}} \) the function given by
It is obvious from the definition of the function ϕ that
The function ϕ also has the following property:
A countable family of mappings \(\{T_{n}\}_{n=1}^{\infty}\colon K \to H \) is called uniformly Lipschitz with Lipschitz constant \(L_{n} > 0\), \(n \geq1\), if there exists \(0 < L = \sup_{n\geq1} L_{n}\) such that
A countable family of mappings \(\{T_{n}\}_{n=1}^{\infty}\colon K \to H \) is called uniformly closed if \(x_{n} \to x^{*}\) and \(\Vert x_{n} - T_{n} x_{n}\Vert \to0\) imply \(x^{*} \in\bigcap_{n=1}^{\infty}F(T_{n})\).
Lemma 2.1
Let H be a real Hilbert space. Then, for all \(x_{i} \in H\) and \(\alpha_{i} \in[0, 1]\) for \(i=1, 2, \ldots, n\) such that \(\alpha_{1}+\alpha_{2}+ \cdots+\alpha_{n}=1\), the following inequality holds:
Remark 2.2
We now give recall an example [17] of a countable family of uniformly closed and uniformly Lipschitz pseudocontractive mappings with the interior of the common fixed points nonempty.
Suppose that \(X = {\mathbb{R}}\) and \(K = [- 1, 1]\subset{\mathbb{R}}\). Let \(\{T_{n}\}_{n=1}^{\infty}\colon K \to K \) be given by
Then we observe that \(F = \bigcap_{n=1}^{\infty}F(T_{n}) = [-1, 0]\), and hence the interior of the common fixed points is nonempty. Also, it is clear that \(\{T_{n}\}_{n=1}^{\infty}\) is a countable family of uniformly closed and uniformly Lipschitz pseudocontractive mappings with Lipschitz constant \(L = \sup_{n\geq1} L_{n} =2\).
3 Main results
Theorem 3.1
Let K be a nonempty, closed, and convex subset of a real Hilbert space H. Let \(\{T_{n}\}_{n=1}^{\infty}\colon K \to K \) be a countable family of uniformly closed and Lipschitz pseudocontractive mappings with Lipschitzian constants \(L_{n}\). Assume that the interior of \(\mathcal{F} = \bigcap_{n=1}^{\infty}F(T_{n})\) is nonempty. Let \(\{x_{n} \}\) be a sequence generated from an arbitrary \(x_{1} \in K\) by the following algorithm:
where \(\{\alpha_{n} \}\), \(\{\beta_{n} \}\), \(\{\gamma_{n} \}\), \(\{\theta_{n} \}\), \(\{\delta_{n} \}\), and \(\{\sigma_{n} \}\) are in \((0, 1)\) satisfying the following conditions:
-
(i)
\(\theta_{n}+\delta_{n}+\sigma_{n}=1\),
-
(ii)
\((1- \alpha_{n})\leq(1-\theta_{n})\leq(1- \beta_{n}) \leq(1- \gamma_{n})\), \(\forall n \geq1\),
-
(iii)
\(\liminf_{n \to\infty} (1- \alpha_{n}) = \alpha>0\),
-
(iv)
\(\sup_{n\geq1}(1-\gamma_{n}) \leq\gamma\) with \(\gamma^{3}L^{4}+ 2\gamma^{2}L^{3}+\gamma^{2} L^{2}+\gamma L^{2}+2\gamma<1\), where \(L = \sup_{n \geq1} L_{n}\).
Then \(\{x_{n} \}\) converges strongly to \(x^{*} \in\mathcal{F}\).
Proof
Suppose that \(p \in\mathcal{F}\). Using (3.1) and (1.2), we have
Using Lemma 2.1 and (3.1), we have
Substituting (3.2) and (3.5) in (3.3), we obtain
Substituting (3.2), (3.5), (3.8), and (3.9) in (3.4), we get
From condition (ii), we have
From condition (iv), we have
Then
It is obvious that if \(\lim_{n\to\infty} \Vert x_{n} -p \Vert \) exists, then \(\{\Vert x_{n} -p\Vert \}\) is bounded. This implies that \(\{x_{n} \}\), \(\{T_{n}x_{n} \}\), \(\{z_{n} \}\), \(\{ T_{n}z_{n} \}\), \(\{y_{n} \}\), and \(\{T_{n}y_{n} \}\) are also bounded.
Furthermore, from (2.1), we have
This implies that
Moreover, since the interior of \(\mathcal{F}\) is nonempty, there exist \(p^{*} \in\mathcal{F}\) and \(r >0\) such that \(p^{*} + rh \in \mathcal{F}\) whenever \(\Vert h\Vert \leq1\). Thus, from the fact that \(\phi(x, y) =\Vert x-y\Vert ^{2}\), and (3.11) and (3.12), we get
Then from (3.12) and (3.13), we obtain
and hence
Since h with \(\Vert h\Vert \leq1\) is arbitrary, we have
So, if \(n > m\), then we get
But we know that \(\{\phi( p^{*}, x_{n})\}\) converges. Therefore, we see that \(\{x_{n} \}\) is a Cauchy sequence. Since K is closed subset of H, there exists \(x^{*} \in K\) such that
Furthermore, (3.10) and conditions (ii), (iii), and (iv), we get
from which it follows that
Since \(\{T_{n}\}_{n=1}^{\infty}\) is uniformly closed, from (3.14) and (3.15), we obtain \(x^{*} \in\mathcal{F} = \bigcap_{n=1}^{\infty}F(T_{n})\). This completes the proof. □
We get the following result from Theorem 3.1.
Theorem 3.2
Let K and H be as in Theorem 3.1. Let \(T\colon K \to K \) be a uniformly closed and Lipschitz pseudocontractive mapping with Lipschitzian constant L. Assume that the interior of \(F(T)\) is nonempty. Let \(\{x_{n} \}\) be a sequence generated from an arbitrary \(x_{1} \in K\) by the following algorithm:
where \(\{\alpha_{n} \}\), \(\{\beta_{n} \}\), \(\{\gamma_{n} \}\), \(\{\theta_{n} \}\), \(\{\delta_{n} \}\), and \(\{\sigma_{n} \}\) are in \((0, 1)\) satisfying the conditions (i)-(iv) of Theorem 3.1. Then \(\{x_{n} \}\) converges strongly to \(x^{*} \in \mathcal{F}\).
Remark 3.3
Our results improve and generalize the corresponding results of Zhou [11], Yao et al. [12], Tang et al. [13], Zegeye et al. [16] and Cheng et al. [17] and many others.
4 Numerical examples
In this section, using Example 1.2, we numerically demonstrate the convergence of the algorithm defined in this paper and compare its behavior with the Ishikawa and Noor iterations.
Consider \(T_{n}=T\) for all \(n\in\mathbb{N}\), where T is given by (1.6). Set the control conditions
for all \(n\in \mathbb{N}\).
We examine the behavior of the above iterations for the different initial points (see Table 1).
The details for different cases are as below:
Case I. Using the initial point \(x_{1}=(0.6,0.8)\), a Matlab program leads to the evaluation illustrated in Table 2 and Figure 1.
Case II. For the initial point \(x_{1}=(0.5,0.7)\), we make the observations as in Table 3 and Figure 2.
Case III. Using the initial point \(x_{1}=(0.2,0.7)\), we make the observations as in Table 4 and Figure 3.
Case IV. Using the initial point \(x_{1}=(0.4,0.3)\), we make the observations as in Table 5 and Figure 4.
Case V. We use the initial point \(x_{1}=(0.2,0.3)\) and obtain Table 6 and Figure 5.
As discussed in Example 1.2, \(x=(0,0)\) with \(\Vert x\Vert =0\) is the only fixed point of T. From the tables and the graphs it can be seen that the sequence \(\{x_{n} \}\) generated by the new iteration converging toward 0, while for the Ishikawa and Noor iteration \(\Vert x_{n}\Vert \) tends toward 1 in all the above cases.
References
Mann, WR: Mean value methods in iteration. Proc. Am. Math. Soc. 4, 506-510 (1953)
Ishikawa, S: Fixed point by a new iteration. Proc. Am. Math. Soc. 44, 147-150 (1974)
Krasnoselskii, MA: Two observations about the method of successive approximations. Usp. Mat. Nauk 10, 123-127 (1955) (Russian)
Hicks, TL, Kubicek, JR: On the Mann iteration process in Hilbert space. J. Math. Anal. Appl. 59, 498-504 (1979)
Borwein, D, Borwein, JM: Fixed point iterations for real functions. J. Math. Anal. Appl. 157, 112-126 (1991)
Chidume, CE, Mutangadura, SA: An example on the Mann iteration method for Lipschitz pseudocontractions. Proc. Am. Math. Soc. 129, 2359-2363 (2001)
Chidume, CE, Moore, C: Fixed point iteration for pseudocontractive maps. Proc. Am. Math. Soc. 127, 1163-1170 (1999)
Liu, Q: On Naimpally and Singh’s open question. J. Math. Anal. Appl. 124, 157-164 (1987)
Liu, Q: The convergence theorems of the sequence of Ishikawa iterates for hemi-contractive mappings. J. Math. Anal. Appl. 148, 55-62 (1990)
Schu, J: Approximating fixed points of Lipschitzian pseudocontractive mappings. Houst. J. Math. 19, 107-115 (1993)
Zhou, H: Convergence theorems of fixed points for Lipschitz pseudo-contractions in Hilbert spaces. J. Math. Anal. Appl. 343, 546-556 (2008)
Yao, YH, Liou, YC, Marino, G: A hybrid algorithm for pseudo-contractive mappings. Nonlinear Anal. 71, 4997-5002 (2009)
Tang, YC, Peng, JG, Liu, LW: Strong convergence theorem for pseudo-contractive mappings in Hilbert spaces. Nonlinear Anal. 74, 380-385 (2011)
Bauschke, HH, Borwein, JM: On projection algorithms for solving convex feasibility problems. SIAM Rev. 38, 367-426 (1996)
Combettes, PL: The foundations of set theoretic estimation. Proc. IEEE 81, 182-208 (1993)
Zegeye, H, Shahzad, N, Alghamdi, MA: Convergence of Ishikawa’s iteration method for pseudocontractive mappings. Nonlinear Anal. 74, 7304-7311 (2011)
Cheng, Q, Su, Y, Zhang, J: Convergence theorems of a three-step iteration method for a countable family of pseudocontractive mappings. Fixed Point Theory Appl. 2013, 100 (2013)
Noor, MA: New approximation schemes for general variational inequalities. J. Math. Anal. Appl. 251, 217-229 (2000)
Zegeye, H, Shahzad, N: An algorithm for a common fixed point of a family of pseudocontractive mappings. Fixed Point Theory Appl. 2013, 234 (2013)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors contributed equally to this work. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Thakur, B.S., Dewangan, R. & Postolache, M. New iteration process for pseudocontractive mappings with convergence analysis. Fixed Point Theory Appl 2015, 55 (2015). https://doi.org/10.1186/s13663-015-0303-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0303-8