 Research
 Open Access
 Published:
Strong convergence of modified Halpern’s iterations for a kstrictly pseudocontractive mapping
Journal of Inequalities and Applications volume 2013, Article number: 98 (2013)
Abstract
In this paper, we discuss three modified Halpern iterations as follows:
and obtained the strong convergence results of the iterations (I)(III) for a kstrictly pseudocontractive mapping, where \{{\alpha}_{n}\} satisfies the conditions: (C1) {lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0 and (C2) {\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=+\mathrm{\infty}, respectively. The results presented in this work improve the corresponding ones announced by many other authors.
1 Introduction
Let H be a real Hilbert space with the inner product \u3008\cdot ,\cdot \u3009 and the norm \parallel \cdot \parallel and let C be a nonempty closed convex subset of H.
Recall that a mapping T with domain D(T) and range R(T) in the Hilbert space H is called strongly pseudocontractive if, for all x,y\in D(T), there exists k\in (0,1) such that
while T is said to be pseudocontractive if (1.1) holds for k=1. A mapping T is said to be Lipschitzian if, for all x,y\in D(T), there exists L>0 such that
A mapping T is called nonexpansive if (1.2) holds for L=1 and, further, T is said to be contractive if L<1. T is said to be firmly nonexpansive if for all x,y\in D(T),
Firmly nonexpansive mappings could be looked upon as an important subclass of nonexpansive mappings. A mapping T is called kstrictly pseudocontractive, if for all x,y\in D(T), there exists \lambda >0 such that
Without loss of generality, we may assume that \lambda \in (0,1). In Hilbert spaces H, (1.3) is equivalent to the inequality
and we can assume also that k\ge 0 so that k\in [0,1).
It is obvious that a kstrictly pseudocontractive mapping is Lipschitzian with L=\frac{k+1}{k}. The class of nonexpansive mappings is a subclass of strictly pseudocontractive mappings in a Hilbert space, but the converse implication may be false. We remark that the class of strongly pseudocontractive mappings is independent from the class of kstrict pseudocontractions.
In 1967, Halpern [1] was the first who introduced the following iteration scheme for a nonexpansive mapping T which was referred to as Halpern iteration: For any initialization {x}_{0}\in C and any anchor u\in C, {\alpha}_{n}\in [0,1],
He proved that the sequence (1.4) converges weakly to a fixed point of T, where {\alpha}_{n}={n}^{a}, a\in (0,1). In 1977, Lions [2] further proved that the sequence (1.4) converges strongly to a fixed point of T in a Hilbert space, where \{{\alpha}_{n}\} satisfies the following conditions:
But, in [1, 2], the real sequence \{{\alpha}_{n}\} excluded the canonical choice {\alpha}_{n}=\frac{1}{n+1}. In 1992, Wittmann [3] proved, still in Hilbert spaces, the strong convergence of the sequence (1.4) to a fixed point of T, where \{{\alpha}_{n}\} satisfies the following conditions:
The strong convergence of Halpern’s iteration to a fixed point of T has also been proved in Banach spaces; see, e.g., [4–10]. Reich [4, 5] has showed the strong convergence of the sequence (1.4), where \{{\alpha}_{n}\} satisfies the conditions (C1), (C2) and (C5), \{{\alpha}_{n}\} is decreasing (noting that the condition (C5) is a special case of condition(C4)). In 1997, Shioji and Takahashi [6] extended Wittmann’s result to Banach spaces. In 2002, Xu [9] obtained a strong convergence theorem, where \{{\alpha}_{n}\} satisfies the following conditions: (C1), (C2) and (C6) {lim}_{n\to \mathrm{\infty}}\frac{{\alpha}_{n+1}{\alpha}_{n}}{{\alpha}_{n+1}}=0. In particular, the canonical choice of {\alpha}_{n}=\frac{1}{n+1} satisfies the conditions (C1), (C2) and (C6).
However, is a real sequence \{{\alpha}_{n}\} satisfying the conditions (C1) and (C2) sufficient to guarantee the strong convergence of Halpern’s iteration (1.4) for nonexpansive mappings? It remains an open question, see [1].
Some mathematicians considered the open question. In [11], Song proved that for a firmly nonexpansive mapping T, an important subclass of nonexpansive mappings, the answer of the Halpern open problem is affirmative. A partial answer to this question was given independently by Chidume and Chidume [12] and Suzuki [7]. They defined the sequence \{{x}_{n}\} by
where \delta \in [0,1], I is the identity, and obtained the strong convergence of the iteration (1.5), where \{{\alpha}_{n}\} satisfies the conditions (C1) and (C2). Recently, Xu [10] gave another partial answer to this question. He obtained the strong convergence of the iterative sequence
where \delta \in [0,1] and \{{\alpha}_{n}\} satisfies the conditions (C1) and (C2).
In [13], LiangGen Hu introduced the modified Halpern’s iteration: For any u,{x}_{0}\in C, the sequence \{{x}_{n}\} is defined by
where \{{\alpha}_{n}\}, \{{\beta}_{n}\}, \{{\gamma}_{n}\} are three real sequences in [0,1], satisfying {\alpha}_{n}+{\beta}_{n}+{\gamma}_{n}=1. He showed that the sequence \{{\alpha}_{n}\} satisfying the conditions (C1) and (C2) is sufficient to guarantee the strong convergence of the modified Halpern’s iterative sequence (1.7) for nonexpansive mappings.
The purpose of this paper is to present a significant answer to the above open question. We will show that the sequence \{{\alpha}_{n}\} satisfying the conditions (C1) and (C2) is sufficient to guarantee the strong convergence of the modified Halpern’s iterative sequences (1.5)(1.7) for kstrictly pseudocontractive mappings, respectively. The results present in this paper improve and develop the corresponding results of [7, 10, 12, 13].
2 Preliminaries
In what follows we will need the following:
Lemma 2.1 [14]
Let H be a real Hilbert space, then the following wellknown results hold:

(i)
{\parallel tx+(1t)y\parallel}^{2}=t{\parallel x\parallel}^{2}+(1t){\parallel y\parallel}^{2}t(1t){\parallel xy\parallel}^{2} for all x,y\in H and for all t\in [0,1].

(ii)
{\parallel x+y\parallel}^{2}\le {\parallel x\parallel}^{2}+2\u3008y,x+y\u3009, \mathrm{\forall}x,y\in H.
Let C be a nonempty closed convex subset of a real Hilbert space H. The nearest point projection {P}_{C}:H\to C defined from H onto C is the function which assigns to each x\in H its nearest point denoted by {P}_{C}x in C. Thus {P}_{C}x is the unique point in C such that
It is known that for each x\in H,
Lemma 2.2 [15]
Let C be a nonempty closed convex subset of a real Hilbert space H, T:C\to C be a kstrictly pseudocontractive mapping. Then (IT) is demiclosed at zero.
Lemma 2.3 [9]
Let \{{a}_{n}\} be a sequence of nonnegative real numbers such that {a}_{n+1}\le (1{\delta}_{n}){a}_{n}+{\delta}_{n}{\xi}_{n}, \mathrm{\forall}n\ge 0, where \{{\delta}_{n}\} is a sequence in [0,1] and \{{\xi}_{n}\} is a sequence in R satisfying the following conditions:

(i)
{\sum}_{n=1}^{\mathrm{\infty}}{\delta}_{n}=+\mathrm{\infty};

(ii)
{lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{\xi}_{n}\le 0 or {\sum}_{n=1}^{\mathrm{\infty}}{\delta}_{n}{\xi}_{n}<+\mathrm{\infty}.
Then {lim}_{n\to \mathrm{\infty}}{a}_{n}=0.
3 Main results
In this section, proving the following theorems, we show that the conjunction of (C1) and (C2) is a sufficient condition on our iteration (I)(III), respectively.
Theorem 3.1 Let C be a closed and convex subset of a real Hilbert space H, T:C\to C be a kstrictly pseudocontractive mapping such that F(T)\ne \mathrm{\varnothing}. For an arbitrary initial value {x}_{0}\in C and fixed anchor u\in C, define iteratively a sequence \{{x}_{n}\} as follows:
where \{{\alpha}_{n}\}, \{{\beta}_{n}\}, \{{\gamma}_{n}\} are three real sequences in (0,1), satisfying {\alpha}_{n}+{\beta}_{n}+{\gamma}_{n}=1 and 0<k<\frac{{\beta}_{n}}{{\beta}_{n}+{\gamma}_{n}}. Suppose that \{{\alpha}_{n}\} satisfies the conditions: (C1) {lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0; (C2) {\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=+\mathrm{\infty}. Then as n\to \mathrm{\infty}, \{{x}_{n}\} converges strongly to some fixed point {x}^{\ast} of T and {x}^{\ast}={P}_{F(T)}u, where {P}_{F(T)} is the metric projection from H onto F(T).
Proof Firstly, we show that \{{x}_{n}\} is bounded. Rewrite the iterative process (I) as follows:
where {y}_{n}=\frac{{\beta}_{n}{x}_{n}+{\gamma}_{n}T{x}_{n}}{1{\alpha}_{n}}. Take any p\in F(T), then, from Lemma 2.1 and (3.1), we estimate as follows:
By induction,
This proves the boundedness of the sequence \{{x}_{n}\}, which leads to the boundedness of \{T{x}_{n}\}.
Next, we claim that
In fact, we have from (3.2) (for some appropriate constant M>0) that
which implies that
If (\frac{{\beta}_{n}}{1{\alpha}_{n}}k){\gamma}_{n}{\parallel {x}_{n}T{x}_{n}\parallel}^{2}{\alpha}_{n}M\le 0, then
and hence the desired result is obtained by the condition (C1) and 0<k<\frac{{\beta}_{n}}{1{\alpha}_{n}}.
If (\frac{{\beta}_{n}}{1{\alpha}_{n}}k){\gamma}_{n}{\parallel {x}_{n}T{x}_{n}\parallel}^{2}{\alpha}_{n}M>0, then following (3.3), we have
Then
Thus
and hence
In order to prove {x}_{n}\to {x}^{\ast}={P}_{F(T)}u, we next show that
Indeed, we can take a subsequence \{{x}_{{n}_{k}}\} of \{{x}_{n}\} such that
We may assume that {x}_{{n}_{k}}\rightharpoonup z since H is reflexive and \{{x}_{n}\} is bounded. From (3.4), it follows from Lemma 2.2 that z\in F(T).
From (2.1), we conclude
Finally, we show that {x}_{n}\to {P}_{F(T)}u. As a matter of fact, from Lemma 2.1 and (3.1), we obtain
It follows from the conditions (C1), (C2) and (3.5), using Lemma 2.3, that
This completes the proof of Theorem 3.1. □
Theorem 3.2 Let C be a closed and convex subset of a real Hilbert space H, T:C\to C be a kstrictly pseudocontractive mapping such that F(T)\ne \mathrm{\varnothing}. For an arbitrary initial value {x}_{0}\in C and fixed anchor u\in C, define iteratively a sequence \{{x}_{n}\} as follows:
where \{{\alpha}_{n}\}\subset (0,1), 0<k<{\alpha}_{n}\delta. Suppose that \{{\alpha}_{n}\} satisfies the conditions: (C1) {lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0; (C2) {\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}. Then as n\to \mathrm{\infty}, \{{x}_{n}\} converges strongly to some fixed point {x}^{\ast} of T and {x}^{\ast}={P}_{F(T)}u, where {P}_{F(T)} is the metric projection from H onto F(T).
Proof Firstly, we show that \{{x}_{n}\} is bounded. Rewrite the iterative process (II) as follows:
Take any p\in F(T), then, from Lemma 2.1 and (3.6), we estimate as follows:
By induction,
This proves the boundedness of the sequence \{{x}_{n}\}, which implies that the sequence \{T{x}_{n}\} is bounded also.
Using the same technique as in Theorem 3.1, we can prove
and
Finally, we show that {x}_{n}\to {P}_{F(T)}u. Writing {z}_{n}=\frac{{\alpha}_{n}\delta {x}_{n}+(1{\alpha}_{n})T{x}_{n}}{1(1\delta ){\alpha}_{n}}, then
from Lemma 2.1 and (3.1), we obtain
It follows from the conditions (C1), (C2) and (3.5), using Lemma 2.3, that
This completes the proof of Theorem 3.2. □
Theorem 3.3 Let C be a closed and convex subset of a real Hilbert space H, T:C\to C be a kstrictly pseudocontractive mapping such that F(T)\ne \mathrm{\varnothing}. For an arbitrary initial value {x}_{0}\in C and fixed anchor u\in C, define iteratively a sequence \{{x}_{n}\} as follows:
where {T}_{\beta}=\beta I+(1\beta )T, \{{\alpha}_{n}\}\subset [0,1], \beta \in (k,1). Suppose that \{{\alpha}_{n}\} satisfies the conditions: (C1) {lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0; (C2) {\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}. Then as n\to \mathrm{\infty}, \{{x}_{n}\} converges strongly to some fixed point {x}^{\ast} of T, and {x}^{\ast}={P}_{F(T)}u, where {P}_{F(T)} is the metric projection from H onto F(T).
Proof It is easy to see that F({T}_{\beta})=F(T)\ne \mathrm{\varnothing}. For any x,y\in C, we have
Thus, for all x\in C and for all p\in F({T}_{\beta})=F(T), we have
This implies that {T}_{\beta} is a quasifirmly type nonexpansive mapping (see, for example, [11]). {T}_{\beta} is also a strongly quasinonexpansive mapping (see, for example, [16]). Hence it follows from [11, 16] (see Theorem 3.1 and Remark 1 of [11] or Corollary 8 of [16]) that \{{x}_{n}\} converges strongly to a point {x}^{\ast}\in F({T}_{\beta})=F(T).
Finally, we show {x}^{\ast}={P}_{F(T)}u. From Lemma 2.1 and the iterative process (III), we estimate as follows:
It follows from the conditions (C1), (C2) and
using Lemma 2.3, that
This completes the proof of Theorem 3.3. □
Remark 3.1 Theorems 3.13.3 improve the main results of [7, 10, 12, 13] from a nonexpansive mapping to a kstrictly pseudocontractive mapping, respectively. Theorems 3.13.3 show that the real sequence \{{\alpha}_{n}\} satisfying the two conditions (C1) and (C2) is sufficient for the strong convergence of the iterative sequences (I)(III) for kstrictly pseudocontractive mappings, respectively. Therefore, our results give a significant partial answer to the open question.
References
Halpern B: Fixed points of nonexpanding maps. Bull. Am. Math. Soc. 1967, 73: 957–961. 10.1090/S000299041967118640
Lions PL: Approximation de points fixes de contractions. C. R. Acad. Sci., Ser. AB 1977, 284: A1357A1359.
Wittmann R: Approximation of fixed points of nonexpansive mappings. Arch. Math. 1992, 58: 486–491. 10.1007/BF01190119
Reich S: Strong convergence theorems for resolvents of accretive operators in Banach spaces. J. Math. Anal. Appl. 1980, 75: 287–292. 10.1016/0022247X(80)903236
Reich S: Approximating fixed points of nonexpansive mappings. Panam. Math. J. 1994, 4: 23–28.
Shioji N, Takahashi W: Strong convergence of approximated sequences for nonexpansive mappings in Banach spaces. Proc. Am. Math. Soc. 1997, 125: 3641–3645. 10.1090/S0002993997040331
Suzuki T: A sufficient and necessary condition for Halperntype strong convergence to fixed points of nonexpansive mappings. Proc. Am. Math. Soc. 2007, 135: 99–106.
Takahashi W, Ueda Y: On Reich’s strong convergence theorems for resolvents of accretive operators. J. Math. Anal. Appl. 1984, 104: 546–553. 10.1016/0022247X(84)900192
Xu HK: Iterative algorithms for nonlinear operators. J. Lond. Math. Soc. 2002, 66: 240–256. 10.1112/S0024610702003332
Xu, HK: A strong convergence theorem for nonexpansive mappings. J. Math. Anal. Appl. (in press)
Song Y, Chai X: Halpern iteration for firmly type nonexpansive mappings. Nonlinear Anal. 2009, 71: 4500–4506. 10.1016/j.na.2009.03.018
Chidume CE, Chidume CO: Iterative approximation of fixed points of nonexpansive mappings. J. Math. Anal. Appl. 2006, 318: 288–295. 10.1016/j.jmaa.2005.05.023
Hu LG: Strong convergence of a modified Halpern’s iteration for nonexpansive mappings. Fixed Point Theory Appl. 2008., 2008: Article ID 649162
Osilike MO, Isiogugu FO: Weak and strong convergence theorems for nonspreadingtype mappings in Hilbert spaces. Nonlinear Anal. 2011, 74: 1814–1822. 10.1016/j.na.2010.10.054
Osilike MO, Udomene A: Demiclosedness principle and convergence results for strictly pseudocontractive mappings of BrowderPetryshyn type. J. Math. Anal. Appl. 2001, 256: 431–445. 10.1006/jmaa.2000.7257
Saejung S: Halpern’s iteration in Banach spaces. Nonlinear Anal. 2010, 73: 3431–3439. 10.1016/j.na.2010.07.031
Acknowledgements
The authors are very grateful to the referees for their careful reading, comments and suggestions, which improved the presentation of this article. The first author was supported by the Natural Science Foundational Committee of Hebei Province (Z2011113) and Hebei Normal University of Science and Technology (ZDJS 2009 and CXTD201005).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
SL and LL carried out the proof of convergence of the theorems. XH and LZ carried out the check of the manuscript. 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 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
Li, S., Li, L., Zhang, L. et al. Strong convergence of modified Halpern’s iterations for a kstrictly pseudocontractive mapping. J Inequal Appl 2013, 98 (2013). https://doi.org/10.1186/1029242X201398
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X201398
Keywords
 Hilbert Space
 Nonexpansive Mapping
 Strong Convergence
 Real Hilbert Space
 Nonempty Closed Convex Subset