 Research
 Open Access
Coupling Ishikawa algorithms with hybrid techniques for pseudocontractive mappings
 Yonghong Yao^{1},
 Mihai Postolache^{2}Email author and
 YeongCheng Liou^{3}
https://doi.org/10.1186/168718122013211
© Yao et al.; licensee Springer 2013
 Received: 4 June 2013
 Accepted: 24 July 2013
 Published: 8 August 2013
Abstract
It is wellknown that Mann’s algorithm fails to converge for Lipschitzian pseudocontractions and strong convergence of Ishikawa’s algorithm for Lipschitzian pseudocontractions have not been achieved without compactness assumption on pseudocontractive mapping T or underlying space C. A new algorithm, which couples Ishikawa algorithms with hybrid techniques for finding the fixed points of a Lipschitzian pseudocontractive mapping, is constructed in this paper. Strong convergence of the presented algorithm is shown without any compactness assumption.
MSC:47H05, 47H10, 47H17.
Keywords
 pseudocontractive mappings
 Ishikawa algorithm
 hybrid algorithms
 fixed point
 strong convergence
1 Introduction
In the present article, we are devoted to finding the fixed points of pseudocontractive mappings. Interest in pseudocontractive mappings stems mainly from their firm connection with the class of nonlinear accretive operators. It is a classical result, see Deimling [1], that if T is an accretive operator, then the solutions of the equations $Tx=0$ correspond to the equilibrium points of some evolution systems. This explains why a considerable research effort has been devoted to iterative methods for approximating solutions of the equation above, when T is accretive or corresponding to the iterative approximation of fixed points of pseudocontractions. Results of this kind have been obtained firstly in Hilbert spaces, but only for Lipschitz operators, and then they have been extended to more general Banach spaces (thanks to several geometric inequalities for general Banach spaces developed) and to more general classes of operators. There are still no results for the case of arbitrary Lipschitzian and pseudocontractive operators, even when the domain of the operator is a compact and convex subset of a Hilbert space. It is now well known that Mann’s algorithm [2] fails to converge for Lipschitzian pseudocontractions. This explains the importance, from this point of view, of the improvement brought by the Ishikawa iteration, which was introduced by Ishikawa [3] in 1974.
The original result of Ishikawa involves a Lipschitzian pseudocontractive selfmapping T on a convex and compact subset C of a Hilbert space. It establishes sufficient conditions such that Ishikawa iteration converges strongly to a fixed point of T.
However, a strong convergence has not been achieved without a compactness assumption on T or C. Consequently, considerable research efforts, especially within the past 40 years or so, have been devoted to iterative methods for approximating fixed points of T, when T is pseudocontractive (see, for example, [4–17] and the references therein). On the other hand, some convergence results are obtained by using the hybrid method in mathematical programming, see, for example, [14, 18–20]. Especially, Zegeye et al. [21] assumed that the interior of $Fix(T)$ is nonempty ($intFix(T)\ne \mathrm{\varnothing}$) to achieve a strong convergence, when T is a selfmapping of a nonempty closed convex subset of a real Hilbert space. This appears very restrictive, since even in ℝ with the usual norm, Lipschitz pseudocontractive maps with finite number of fixed points do not enjoy this condition that $intFix(T)\ne \mathrm{\varnothing}$.
The purpose of this article is to construct a new algorithm, which couples Ishikawa algorithms with hybrid techniques for finding the fixed points of a Lipschitzian pseudocontractive mapping. Strong convergence of the presented algorithm is given without any compactness assumption.
2 Preliminaries
for all $x,y\in C$.
for all $x,y\in C$.
for all $x,y\in C$.
The original result of Ishikawa is stated in the following.
 (a)
$0\le {\alpha}_{n}\le {\beta}_{n}\le 1$,
 (b)
${lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0$,
 (c)
${\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}{\beta}_{n}=\mathrm{\infty}$,
converges strongly to a fixed point of T.
for all $x,y\in H$ and $t\in [0,1]$.
Lemma 2.1 [7]
 (i)
$Fix(T)$ is a closed convex subset of C.
 (ii)
$(IT)$ is demiclosed at zero.
In the sequel, we shall use the following notations:

${\omega}_{w}({x}_{n})=\{x:\mathrm{\exists}{x}_{{n}_{j}}\to x\text{weakly}\}$ denote the weak ωlimit set of $\{{x}_{n}\}$;

${x}_{n}\rightharpoonup x$ stands for the weak convergence of $\{{x}_{n}\}$ to x;

${x}_{n}\to x$ stands for the strong convergence of $\{{x}_{n}\}$ to x.
Lemma 2.2 [18]
then ${x}_{n}\to q$.
3 Main results
In this section, we state our main results.
Let C be a nonempty, closed and convex subset of a real Hilbert space H. Let $T:C\to C$ be an LLipschitzian pseudocontractive mapping with $Fix(T)\ne \mathrm{\varnothing}$.
Firstly, we present our new algorithm, which couples Ishikawa’s algorithm (2.2) with the hybrid projection algorithm.
for all $n\ge 1$, where $\{{\alpha}_{n}\}$ and $\{{\beta}_{n}\}$ are two sequences in $[0,1]$.
for all $n\in \mathbb{N}$.
Remark 3.1 Without loss of generality, we can assume that the Lipschitz constant $L>1$. If not, then T is nonexpansive. In this case, algorithm (3.1) is trivial. So, in this article, we assume $L>1$. It is obvious that $\frac{1}{\sqrt{1+{L}^{2}}+1}<\frac{1}{L}$ for all $n\ge 1$.
We prove the following several lemmas, which will support our main theorem below.
Lemma 3.1 $Fix(T)\subset {C}_{n}$ for $n\ge 1$ and $\{{x}_{n}\}$ is well defined.
 (i)
$Fix(T)\subset {C}_{1}=C$ is obvious.
 (ii)Suppose that $Fix(T)\subset {C}_{k}$ for some $k\in \mathbb{N}$. Take $u\in Fix(T)\subset {C}_{k}$. From (3.1), by using (2.4), we have$\begin{array}{rcl}{\parallel {z}_{n}u\parallel}^{2}& =& {\parallel {\beta}_{n}({x}_{n}u)+(1{\beta}_{n})(T((1{\alpha}_{n}){x}_{n}+{\alpha}_{n}T{x}_{n})u)\parallel}^{2}\\ =& {\beta}_{n}{\parallel {x}_{n}u\parallel}^{2}+(1{\beta}_{n}){\parallel T((1{\alpha}_{n}){x}_{n}+{\alpha}_{n}T{x}_{n})u\parallel}^{2}\\ {\beta}_{n}(1{\beta}_{n}){\parallel {x}_{n}T((1{\alpha}_{n}){x}_{n}+{\alpha}_{n}T{x}_{n})\parallel}^{2}.\end{array}$(3.2)
for all $x\in C$.
for all $n\in \mathbb{N}$.
Next, we show that ${C}_{n}$ is closed and convex for all $n\in \mathbb{N}$.
It is obvious that ${C}_{1}=C$ is closed and convex.
Suppose that ${C}_{k}$ is closed and convex for some $k\in \mathbb{N}$. For $u\in {C}_{k}$, it is obvious that $\parallel {z}_{k}u\parallel \le \parallel {x}_{k}u\parallel $ is equivalent to ${\parallel {z}_{k}{x}_{k}\parallel}^{2}+2\u3008{z}_{k}{x}_{k},{x}_{k}u\u3009\le 0$. So, ${C}_{k+1}$ is closed and convex. Then, for any $n\in \mathbb{N}$, the set ${C}_{n}$ is closed and convex. This implies that $\{{x}_{n}\}$ is well defined. □
Lemma 3.2 The sequence $\{{x}_{n}\}$ is bounded.
This implies that the sequence $\{{x}_{n}\}$ is bounded. □
Lemma 3.3 ${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n+1}{x}_{n}\parallel =0$.
□
Theorem 3.2 The sequence $\{{x}_{n}\}$ defined by (3.1) converges strongly to ${P}_{Fix(T)}({x}_{0})$.
Remark 3.3 Note that $Fix(T)$ is closed and convex. Thus, the projection ${P}_{Fix(T)}$ is well defined.
Now, (3.7) and Lemma 2.1 guarantee that every weak limit point of $\{{x}_{n}\}$ is a fixed point of T. That is, ${\omega}_{w}({x}_{n})\subset Fix(T)$. This fact, inequality (3.6) and Lemma 2.2 ensure the strong convergence of $\{{x}_{n}\}$ to ${P}_{Fix(T)}({x}_{0})$. This completes the proof. □
Remark 3.4 It is easily seen that all of the results above hold for nonexpansive mappings.
Remark 3.5 It is nowadays quite clear that, for large classes of contractive type operators, it suffices to consider the simpler Mann iteration, even if the Ishikawa iteration, which is more general but also computationally more complicated than the Mann iteration, could always be used. But if T is only a pseudocontractive mapping, then generally, the Mann iterative process does not converge to the fixed point, and strong convergence of the Ishikawa iteration has not been achieved without the compactness assumption on T or C. However, our algorithm (3.1) has a strong convergence without the compactness assumption.
Declarations
Acknowledgements
Yonghong Yao was supported in part by NSFC 71161001G0105 and LQ13A010007. YeongCheng Liou was supported in part by NSC 1012628E230001MY3 and NSC 1012622E230005CC3.
Authors’ Affiliations
References
 Deimling K: Zeros of accretive operators. Manuscr. Math. 1974, 13: 365–374. 10.1007/BF01171148MathSciNetView ArticleGoogle Scholar
 Mann WR: Mean value methods in iteration. Proc. Am. Math. Soc. 1953, 4: 506–510. 10.1090/S00029939195300548463View ArticleGoogle Scholar
 Ishikawa S: Fixed points by a new iteration method. Proc. Am. Math. Soc. 1974, 44: 147–150. 10.1090/S00029939197403364695MathSciNetView ArticleGoogle Scholar
 Chidume CE, Mutangadura SA: An example on the Mann iteration method for Lipschitz pseudocontractions. Proc. Am. Math. Soc. 2001, 129: 2359–2363. 10.1090/S0002993901060099MathSciNetView ArticleGoogle Scholar
 Chidume CE, Zegeye H: Approximate fixed point sequences and convergence theorems for Lipschitz pseudocontractive maps. Proc. Am. Math. Soc. 2003, 132: 831–840.MathSciNetView ArticleGoogle Scholar
 Zhang QB, Cheng CZ: Strong convergence theorem for a family of Lipschitz pseudocontractive mappings in a Hilbert space. Math. Comput. Model. 2008, 48: 480–485. 10.1016/j.mcm.2007.09.014View ArticleGoogle Scholar
 Zhou H: Strong convergence of an explicit iterative algorithm for continuous pseudocontractions in Banach spaces. Nonlinear Anal. 2009, 70: 4039–4046. 10.1016/j.na.2008.08.012MathSciNetView ArticleGoogle Scholar
 Zegeye H, Shahzad N, Mekonen T: Viscosity approximation methods for pseudocontractive mappings in Banach spaces. Appl. Math. Comput. 2007, 185: 538–546. 10.1016/j.amc.2006.07.063MathSciNetView ArticleGoogle Scholar
 Zegeye H, Shahzad N, Alghamdi MA: Minimumnorm fixed point of pseudocontractive mappings. Abstr. Appl. Anal. 2012., 2012: Article ID 926017Google Scholar
 Ofoedu EU, Zegeye H: Iterative algorithm for multivalued pseudocontractive mappings in Banach spaces. J. Math. Anal. Appl. 2010, 372: 68–76. 10.1016/j.jmaa.2010.07.020MathSciNetView ArticleGoogle Scholar
 Ofoedu EU, Zegeye H: Further investigation on iteration processes for pseudocontractive mappings with application. Nonlinear Anal. 2012, 75: 153–162. 10.1016/j.na.2011.08.015MathSciNetView ArticleGoogle Scholar
 Udomene A: Path convergence, approximation of fixed points and variational solutions of Lipschitz pseudocontractions in Banach spaces. Nonlinear Anal. 2007, 67: 2403–2414. 10.1016/j.na.2006.09.001MathSciNetView ArticleGoogle Scholar
 Yao Y, Liou YC, Chen R: Strong convergence of an iterative algorithm for pseudocontractive mapping in Banach spaces. Nonlinear Anal. 2007, 67: 3311–3317. 10.1016/j.na.2006.10.013MathSciNetView ArticleGoogle Scholar
 Yao Y, Liou YC, Marino G: A hybrid algorithm for pseudocontractive mappings. Nonlinear Anal. 2009, 71: 4997–5002. 10.1016/j.na.2009.03.075MathSciNetView ArticleGoogle Scholar
 Morales CH, Jung JS: Convergence of paths for pseudocontractive mappings in Banach spaces. Proc. Am. Math. Soc. 2000, 128: 3411–3419. 10.1090/S0002993900055738MathSciNetView ArticleGoogle Scholar
 Ceng LC, Petrusel A, Yao JC: Strong convergence of modified implicit iterative algorithms with perturbed mappings for continuous pseudocontractive mappings. Appl. Math. Comput. 2009, 209: 162–176. 10.1016/j.amc.2008.10.062MathSciNetView ArticleGoogle Scholar
 Berinde V Lecture Notes in Mathematics. In Iterative Approximation of Fixed Points. Springer, Berlin; 2007.Google Scholar
 MartinezYanes C, Xu HK: Strong convergence of the CQ method for fixed point processes. Nonlinear Anal. 2006, 64: 2400–2411. 10.1016/j.na.2005.08.018MathSciNetView ArticleGoogle Scholar
 Takahashi W, Takeuchi Y, Kubota R: Strong convergence theorems by hybrid methods for families of nonexpansive mappings in Hilbert spaces. J. Math. Anal. Appl. 2008, 341: 276–286. 10.1016/j.jmaa.2007.09.062MathSciNetView ArticleGoogle Scholar
 Nadezhkina N, Takahashi W: Strong convergence theorem by a hybrid method for nonexpansive mappings and Lipschitzcontinuous monotone mappings. SIAM J. Optim. 2006, 16: 1230–1241. 10.1137/050624315MathSciNetView ArticleGoogle Scholar
 Zegeye H, Shahzad N, Alghamdi MA: Convergence of Ishikawas iteration method for pseudocontractive mappings. Nonlinear Anal. 2011, 74: 7304–7311. 10.1016/j.na.2011.07.048MathSciNetView ArticleGoogle 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.