R E S E A R C H
Open Access
An intermixed algorithm for strict
pseudo-contractions in Hilbert spaces
Zhangsong Yao
1, Shin Min Kang
2*and Hong-Jun Li
3*Correspondence:
2Department of Mathematics and
the RINS, Gyeongsang National University, Jinju, 660-701, Korea Full list of author information is available at the end of the article
Abstract
An intermixed algorithm for two strict pseudo-contractions in Hilbert spaces have been presented. It is shown that the suggested algorithms converge strongly to the fixed points of two strict pseudo-contractions, independently. As a special case, we can find the common fixed points of two strict pseudo-contractions in Hilbert spaces.
MSC: 47H09; 47H10
Keywords: intermixed algorithm; strict pseudo-contraction; fixed point; strong convergence
1 Introduction
LetCbe a nonempty closed convex subset of a real Hilbert spaceHwith its inner product
·,·and norm · .
Definition . A mappingT:C→Cis said to be nonexpansive if
Tx–Ty ≤ x–y
for allx,y∈C.
We useFix(T) to denote the set of fixed points ofT.
Definition . A mappingT :C→C is said to be strictly pseudo-contractive if there exists a constant ≤λ< such that
Tx–Ty≤ x–y+λ(I–T)x– (I–T)y, ∀x,y∈C.
Remark . It is well known that the class of strictly pseudo-contractive mappings
prop-erly includes the class of nonexpansive mappings.
Iterative construction of fixed points of nonlinear mappings has a long history and is still an active field in the nonlinear functional analysis. LetCbe a nonempty closed con-vex subset of a real Hilbert space. LetT:C→Cbe a nonlinear mapping. Let{αn}be a real number sequence in (, ). For arbitrarily fixedx∈C, define a sequence{xn}in the
following manner:
xn+=αnxn+ ( –αn)Txn, n≥. (.)
Iteration (.) is said to be a Mann iteration []; it has been studied extensively in the literature. IfT is a nonexpansive mapping withFix(T)=∅and{αn}satisfies the condi-tion∞n=αn( –αn) =∞, then the sequence{xn}generated by Mann’s algorithm
con-verges weakly to a fixed point ofT []. Now, it is well known that Mann’s algorithm fails, in general, to converge strongly in the setting of infinite-dimensional Hilbert spaces []. Iterative methods for nonexpansive mappings have been investigated extensively in the literature; see [–] and the references therein. However, iterative methods for strictly pseudo-contractive mappings are far less developed than those for nonexpansive map-pings though Browder and Petryshyn [] initiated their work in . However, strictly pseudo-contractive mappings have more powerful applications than nonexpansive map-pings, for example, to solve inverse problems (see Scherzer []). Therefore it is interesting to develop the algorithms for finding the fixed points of strictly pseudo-contractive map-pings. Now, we know that Mann’s algorithm is not good enough for approximating fixed points of (even if Lipschitz continuous) pseudo-contractions. Thus, we have to find other type of iterative algorithms; see [–]. The first such an attempt was done by Ishikawa [] who introduced the following Ishikawa algorithm:
yn= ( –βn)xn+βnTxn,
xn+= ( –αn)xn+αnTyn,
n≥,
where{αn}and{βn}are sequences in the interval [, ],Tis a (nonlinear) self-mapping of C, and the initial guessx∈Cis selected arbitrarily. (Ishikawa’s algorithm can be viewed
as a double-step (or two-level) Mann’s algorithm.) Ishikawa proved that his algorithm con-verges in norm to a fixed point of a Lipschitz pseudo-contractionTif{αn}and{βn}satisfy certain conditions and ifT is compact.
On the other hand, iterative methods for approximating the common fixed points of a finite (or an infinite) family of nonlinear mappings have been considered by many authors. For the related work, we refer the reader to [–, , ]. Above discussion suggests the following question.
Question . Could we construct an iterative algorithm such that it converges strongly to the fixed points of a finite family of strict pseudo-contractions?
It is our purpose in this paper to construct redundant intermixed algorithms for two strict pseudo-contractions. It is shown that the suggested algorithms converge strongly to the fixed points of two strict pseudo-contractions, independently. As a special case, we can find the common fixed points of two strict pseudo-contractions in Hilbert spaces.
2 Preliminaries
with the property:
x–PCx ≤ x–y, y∈C.
Note thatPCis characterized by the inequality:
PCx∈C, x–PCx,y–PCx ≤, y∈C.
Consequently,PCis nonexpansive.
In order to prove our main results, we need the following well-known lemmas.
Lemma .([]) Let C be a nonempty closed convex subset of a real Hilbert space H.Let T:C→C be aλ-strictly pseudo-contractive mapping.Then I–T is demi-closed at,i.e., if xnx∈C and xn–Txn→,then x=Tx.
Lemma .([]) Let{xn}and{yn}be bounded sequences in a Banach space E and{βn}
be a sequence in[, ]with <lim infn→∞βn≤lim supn→∞βn< .Suppose that xn+= ( –
βn)xn+βnznfor all n≥andlim supn→∞(zn+–zn–xn+–xn)≤.Thenlimn→∞zn–
xn= .
Lemma .([]) Assume{an}is a sequence of nonnegative real numbers such that an+≤
( –γn)an+γnδn,n≥where{γn}is a sequence in(, )and{δn}is a sequence in R such
that
(i) ∞n=γn=∞; (ii) lim supn→∞δn≤or
∞
n=|δnγn|<∞.
Thenlimn→∞an= .
3 Main results
LetCbe a nonempty closed convex subset of a real Hilbert spaceH. LetT:C→Cbe aλ-strict pseudo-contraction. Letf :C→H be a ρ-contraction andg:C→H be a
ρ-contraction. (A mappingf :C→His said to be contractive iff(x) –f(y) ≤ρx–y
for someρ∈[, ) and for allx,y∈C.) Letk∈(, –λ) be a constant.
Now we propose the following redundant intermixed algorithm for two strict pseudo-contractionsSandT.
Algorithm . For arbitrarily givenx∈C,y∈C, let the sequences{xn} and{yn}be
generated iteratively by
xn+= ( –βn)xn+βnPC[αnf(yn) + ( –k–αn)xn+kTxn], n≥,
yn+= ( –βn)yn+βnPC[αng(xn) + ( –k–αn)yn+kSyn], n≥,
(.)
where{αn}and{βn}are two real number sequences in (, ).
Remark . Note that the definition of the sequence {xn} is involved in the sequence
Theorem . Suppose thatFix(S)=∅andFix(T)=∅.Assume the following conditions are satisfied:
(C) limn→∞αn= and ∞
n=αn=∞; (C) βn∈[ξ,ξ]⊂(, )for alln≥.
Then the sequences{xn}and{yn}generated by(.)converge strongly to the fixed points PFix(T)f(y∗)and PFix(S)g(x∗)of T and S,respectively,where x∗∈Fix(T)and y∗∈Fix(S).
Proof First, we give the following propositions.
Proposition . The sequences{xn}and{yn}are bounded.
In order to prove this proposition, we need the following result.
Proposition . The mapping PC[αf+ ( –k–α)I+kT]is contractive for small enoughα.
Proof Letx,y∈C. Then we have
PC
αf(x) + ( –k–α)x+kTx–PC
αf(y) + ( –k–α)y+kTy
≤αf(x) –f(y)+ ( –k–α)(x–y) +k(Tx–Ty)
=αf(x) –f(y)+ ( –α) –k–α
–α (x–y) +
k
–α(Tx–Ty)
≤αf(x) –f(y)+ ( –α) –k–α
–α (x–y) +
k
–α(Tx–Ty)
≤αρx–y+
( –k–α)
–α x–y
+ k
–αTx–Ty
+( –k–α)k
–α Tx–Ty,x–y
≤αρx–y+
( –k–α)
–α x–y
+ k
–α
x–y+λ(I–T)x– (I–T)y
+( –k–α)k
–α x–y
– –λ
(I–T)x– (I–T)y
=αρx–y+
–α
λk– ( –λ)( –k–α)k(I–T)x– (I–T)y + ( –α)x–y
= k
–α
k– ( –α)( –λ)(I–T)x– (I–T)y+ – ( –ρ)α
x–y.
Thus, we get
PC
αf(x) + ( –k–α)x+kTx–PC
αf(y) + ( –k–α)y+kTy
≤ –( –ρ)α
x–y
for allx,y∈Cask≤( –α)( –λ) (that is,α≤ ––kλ).
Proof SinceFix(S)=∅andFix(T)=∅, we can choosex∗∈Fix(T) andy∗∈Fix(S). From (.), we have
xn+–x∗=( –βn)xn+βnPC
αnf(yn) + ( –k–αn)xn+kTxn
–x∗
≤βnPC
αnf(yn) + ( –k–αn)xn+kTxn
–x∗
+ ( –βn)xn–x∗
≤βnαnf(yn) –x∗+βn( –k–αn)
xn–x∗
+kTxn–Tx∗
+ ( –βn)xn–x∗ ≤βnαnf(yn) –f
y∗+βnαnf
y∗–x∗+ ( –βn)xn–x∗
+βn( –αn)xn–x∗ ≤ρβnαnyn–y∗+βnαnf
y∗–x∗+ ( –αnβn)xn–x∗ ≤ρβnαnyn–y∗+βnαnf
y∗–x∗+ ( –αnβn)xn–x∗,
whereρ=max{ρ,ρ}. Similarly, we have yn+–y∗≤ρβnαnxn–x∗+βnαng
x∗–y∗+ ( –αnβn)yn–y∗ ≤ρβnαnxn–x∗+βnαng
x∗–y∗+ ( –αnβn)yn–y∗.
Hence, we obtain
xn+–x∗+yn+–y∗
≤ – ( –ρ)αnβnxn–x∗+yn–y∗+αnβnf
y∗–x∗+gx∗–y∗
≤maxxn–x∗+yn–y∗,
f(y∗) –x∗+g(x∗) –y∗ –ρ
.
By induction, we have
xn–x∗+yn–y∗
≤maxx–x∗+y–y∗,
f(y∗) –x∗+g(x∗) –y∗ –α
.
So,{xn}and{yn}are bounded.
Proposition . xn–Txn →andyn–Syn →.
Proof We first estimatexn+–xn. Setun=PC[αnf(yn) + ( –k–αn)xn+kTxn],n≥. It
follows that
un+–un ≤αn+f(yn+) + ( –k–αn+)xn++kTxn+
–αnf(yn) – ( –k–αn)xn+kTxn
+αn+f(yn+)+xn
+αnf(yn)+xn
≤( –αn+)xn+–xn+αn+f(yn+)+xn
+αnf(yn)+xn
.
Sinceαn→, we deduce that
lim sup
n→∞
un+–un–xn+–xn
≤.
From Lemma ., we get
lim
n→∞un–xn= and n→∞lim xn+–xn= .
From (.), we derive
xn+–Txn ≤( –βn)xn–Txn+βnαnf(yn) –Txn
+βn( –k–αn)xn–Txn
= – (k+αn)βn
xn–Txn+βnαnf(yn) –Txn.
Thus,
xn–Txn ≤ xn–xn++xn+–Txn ≤ – (k+αn)βn
xn–Txn+βnαnf(yn) –Txn
+xn–xn+.
It follows that
xn–Txn ≤
(k+αn)βn
xn–xn++βnαnf(yn) –Txn →.
Similarly, we can obtain
lim
n→∞yn–Syn= .
By Proposition ., we know that the mappingPC[αf+ ( –k–α)I+kT] is contractive
for small enoughα. Thus, the equationx=PC[tf(x) + ( –k–t)x+kTx] has a unique fixed
point, denoted byxt, that is,
xt=PC
tf(xt) + ( –k–t)xt+kTxt
(.)
for small enought. In order to prove Theorem ., we need the following lemma.
Lemma . SupposeFix(T)=∅.Then,as t→,the net{xt}defined by(.)converges
Proof Letx∗∈Fix(T). From (.), we have
xt–x∗=PC
tf(xt) + ( –k–t)xt+kTxt
–x∗
≤tf(xt) –x∗+( –k–t)
xt–x∗
+kTxt–x∗
≤tρxt–x∗+tf
x∗–x∗+ ( –t)xt–x∗,
hence,
xt–x∗≤
–ρ
fx∗–x∗.
Thus,{xt}is bounded. Again, from (.), we get
xt–Txt ≤tf(xt) –Txt+ ( –k–t)xt–Txt.
It follows that
xt–Txt ≤
t
k+tf(xt) –Txt→.
Let {tn} ⊂(, ). Assume that tn→ asn→ ∞. Putxn:=xtn. We have limn→∞xn– Txn= . Setyt=tf(xt) + ( –k–t)xt+kTxt, for allt. Then we havext=PCyt, and for any
x∗∈Fix(T),
xt–x∗=xt–yt+yt–x∗
=xt–yt+t
f(xt) –x∗
+ ( –k–t)xt–x∗
+kTxt–x∗
.
From the property of the metric projection, we deduce
xt–yt,xt–x∗
≤.
So,
xt–x∗
=xt–yt,xt–x∗
+( –k–t)xt–x∗
+kTxt–x∗
,xt–x∗
+tf(xt) –x∗,xt–x∗
≤( –k–t)xt–x∗
+kTxt–x∗xt–x∗
+tf(xt) –f
x∗,xt–x∗
+tfx∗–x∗,xt–x∗
≤ – ( –ρ)txt–x∗
+tfx∗–x∗,xt–x∗
.
Hence,
xt–x∗
≤
( –ρ)
fx∗–x∗,xt–x∗
, ∀x∗∈Fix(T).
By similar arguments to [], we find that the net{xt}converges strongly tox∗∈Fix(T).
Remark . From Lemma ., we know that the net{xt}defined byxt=PC[tu+ ( –k–
t)xt+kTxt] whereu∈H, converges toPFix(T)u. Letx∗∈Fix(T) andy∗∈Fix(S). If we take
u=f(y∗), then the net{xt}defined byxt=PC[tf(y∗) + ( –k–t)xt+kTxt], converges to
PFix(T)f(y∗).
Finally, we prove thatxn→PFix(T)f(y∗) andyn→PFix(S)g(x∗), wherex∗∈Fix(T) andy∗∈
Fix(S). We note the following fact. If the sequence{wn}is bounded andwn–Twn →,
we easily deduce that
lim sup
n→∞
fPFix(S)g
x∗–PFix(T)f
y∗,wn–PFix(T)f
y∗≤.
Setvn=PC[αng(xn) + ( –k–αn)yn+kSyn] for alln≥. Thus, we deduce that the sequences {un}and{vn}satisfy: (){un}and{vn}are bounded; ()un–Tun → andvn–Svn →.
Therefore,
lim sup
n→∞
fPFix(S)g
x∗–PFix(T)f
y∗,un–PFix(T)f
y∗≤
and
lim sup
n→∞
gPFix(T)f
y∗–PFix(S)g
x∗,vn–PFix(S)g
x∗≤.
Next, we estimate un–PFix(T)f(y∗). Set u˜n=αnf(yn) + ( –k–αn)xn+kTxn andv˜n=
αng(xn) + ( –k–αn)yn+kSynfor alln. We have un–PFix(T)f
y∗
=PC[u˜n] –PFix(T)f
y∗
≤u˜n–PFix(T)f
y∗,un–PFix(T)f
y∗
=αnf(yn) + ( –k–αn)xn+kTxn–PFix(T)f
y∗,un–PFix(T)f
y∗
≤αn
f(yn) –PFix(T)f
y∗,un–PFix(T)f
y∗
+ ( –αn)xn–PFix(T)f
y∗un–PFix(T)f
y∗
≤ –αn
xn–PFix(T)f
y∗+
un–PFix(T)f
y∗
+αn
f(yn) –f
PFix(S)g
x∗,un–PFix(T)f
y∗
+αn
fPFix(S)g
x∗–PFix(T)f
y∗,un–PFix(T)f
y∗
≤ –αn
xn–PFix(T)f
y∗+
un–PFix(T)f
y∗
+αnρyn–PFix(S)g
x∗un–PFix(T)f
y∗
+αn
fPFix(S)g
x∗–PFix(T)f
y∗,un–PFix(T)f
y∗
≤ –αn
xn–PFix(T)f
y∗+
un–PFix(T)f
y∗
+αnρ
yn–PFix(S)g
x∗+un–PFix(T)f
y∗
+αn
fPFix(S)g
x∗–PFix(T)f
y∗,un–PFix(T)f
It follows that
un–PFix(T)f
y∗
≤ –αn
–αnρ
xn–PFix(T)f
y∗+ αnρ –αnρ
yn–PFix(S)g
x∗
+ αn –αnρ
fPFix(S)g
x∗–PFix(T)f
y∗,un–PFix(T)f
y∗.
Thus,
xn+–PFix(T)f
y∗
≤( –βn)xn–PFix(T)f
y∗+βnun–PFix(T)f
y∗
≤
– –ρ –αnρ
αnβn
xn–PFix(T)f
y∗+ αnβnρ –αnρ
yn–PFix(S)g
x∗
+ αnβn –αnρ
fPFix(S)g
x∗–PFix(T)f
y∗,un–PFix(T)f
y∗.
Similarly, we also have
yn+–PFix(S)g
x∗
≤
– –ρ –αnρ
αnβn
yn–PFix(S)g
x∗+ αnβnρ –αnρ
xn–PFix(T)f
y∗
+ αnβn –αnρ
gPFix(T)f
y∗–PFix(S)g
x∗,vn–PFix(S)g
x∗.
Therefore,
xn+–PFix(T)f
y∗+yn+–PFix(S)g
x∗
≤
– – ρ –αnρ
αnβn
xn–PFix(T)f
y∗+yn–PFix(S)g
x∗
+ αnβn –αnρ
fPFix(S)g
x∗–PFix(T)f
y∗,un–PFix(T)f
y∗
+ αnβn –αnρ
gPFix(T)f
y∗–PFix(S)g
x∗,vn–PFix(S)g
x∗.
We can check that all assumptions of Lemma . are satisfied. Therefore, xn →
PFix(T)f(y∗) andyn→PFix(S)g(x∗). This completes the proof.
Algorithm . For arbitrarily givenx∈C, let the sequence{xn}be generated iteratively
by
xn+= ( –βn)xn+βnPC
( –k–αn)xn+kTxn
, n≥, (.)
where{αn}and{βn}are two real number sequences in (, ).
(C) limn→∞αn= and ∞
n=αn=∞; (C) βn∈[ξ,ξ]⊂(, )for alln≥.
Then the sequence{xn}generated by(.)converge strongly to the fixed points PFix(T)(),
which is the minimum norm element inFix(T).
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Author details
1School of Information Engineering, Nanjing Xiaozhuang University, Nanjing, 211171, China.2Department of
Mathematics and the RINS, Gyeongsang National University, Jinju, 660-701, Korea. 3Department of Mathematics, Tianjin Polytechnic University, Tianjin, 300387, China.
Acknowledgements
The authors are grateful to the three reviewers for their valuable comments and suggestions. Zhangsong Yao was supported by the Scientific Research Project of Nanjing Xiaozhuang University (2015NXY46).
Received: 29 April 2015 Accepted: 4 November 2015 References
1. Mann, WR: Mean value methods in iteration. Proc. Am. Math. Soc.4, 506-510 (1953)
2. Reich, S: Weak convergence theorems for non-expansive mappings in Banach spaces. J. Math. Anal. Appl.67, 274-276 (1979)
3. Genel, A, Lindenstrauss, J: An example concerning fixed points. Isr. J. Math.22, 81-86 (1975)
4. Browder, FE, Petryshyn, WV: Construction of fixed points of nonlinear mappings. J. Math. Anal. Appl.20, 197-228 (1967)
5. Browder, FE: Convergence of approximation to fixed points of nonexpansive nonlinear mappings in Hilbert spaces. Arch. Ration. Mech. Anal.24, 82-90 (1967)
6. Halpern, B: Fixed points of nonexpansive maps. Bull. Am. Math. Soc.73, 957-961 (1967) 7. Ishikawa, S: Fixed points by a new iteration method. Proc. Am. Math. Soc.44, 147-150 (1974)
8. Lions, PL: Approximation de points fixes de contractions. C. R. Acad. Sci., Sér. A-B Paris284, 1357-1359 (1977) 9. Opial, Z: Weak convergence of the sequence of successive approximations of nonexpansive mappings. Bull. Am.
Math. Soc.73, 595-597 (1967)
10. Wittmann, R: Approximation of fixed points of non-expansive mappings. Arch. Math.58, 486-491 (1992) 11. Moudafi, A: Viscosity approximation methods for fixed-point problems. J. Math. Anal. Appl.241, 46-55 (2000) 12. Shioji, N, Takahashi, W: Strong convergence of approximated sequences for nonexpansive mappings in Banach
spaces. Proc. Am. Math. Soc.125, 3641-3645 (1997)
13. Suzuki, T: A sufficient and necessary condition for Halpern-type strong convergence to fixed points of nonexpansive mappings. Proc. Am. Math. Soc.135, 99-106 (2007)
14. Reich, S, Zaslavski, AJ: Convergence of Krasnoselskii-Mann iterations of nonexpansive operators. Math. Comput. Model.32, 1423-1431 (2000)
15. Xu, HK: Viscosity approximation methods for nonexpansive mappings. J. Math. Anal. Appl.298, 279-291 (2004) 16. Geobel, K, Kirk, WA: Topics in Metric Fixed Point Theory. Cambridge Studies in Advanced Mathematics, vol. 28.
Cambridge University Press, Cambridge (1990)
17. Xu, HK: Iterative algorithms for nonlinear operators. J. Lond. Math. Soc.66, 240-256 (2002)
18. Suzuki, T: Strong convergence theorems for infinite families of nonexpansive mappings in general Banach spaces. Fixed Point Theory Appl.2005, 103-123 (2005)
19. Mainge, PE: Approximation methods for common fixed points of nonexpansive mappings in Hilbert spaces. J. Math. Anal. Appl.325, 469-479 (2007)
20. Chidume, CE, Chidume, CO: Iterative approximation of fixed points of nonexpansive mappings. J. Math. Anal. Appl.
318, 288-295 (2006)
21. Scherzer, O: Convergence criteria of iterative methods based on Landweber iteration for solving nonlinear problems. J. Math. Anal. Appl.194, 911-933 (1991)
22. Atsushiba, S, Takahashi, W: Strong convergence theorems for a finite family of nonexpansive mappings and applications. Indian J. Math.41, 435-453 (1999)
23. Bauschke, HH: The approximation of fixed points of compositions of nonexpansive mappings in Hilbert spaces. J. Math. Anal. Appl.202, 150-159 (1996)
24. Ceng, LC, Cubiotti, P, Yao, JC: Strong convergence theorems for finitely many nonexpansive mappings and applications. Nonlinear Anal.67, 1464-1473 (2007)
25. Chang, SS: Viscosity approximation methods for a finite family of nonexpansive mappings in Banach spaces. J. Math. Anal. Appl.323, 1402-1416 (2006)
26. Jung, JS: Iterative approaches to common fixed points of nonexpansive mappings in Banach spaces. J. Math. Anal. Appl.302, 509-520 (2005)
28. Marino, G, Xu, HK: Weak and strong convergence theorems for strict pseudocontractions in Hilbert spaces. J. Math. Anal. Appl.329, 336-349 (2007)
29. Chidume, CE, Mutangadura, SA: An example on the Mann iteration method for Lipschitz pseudo-contractions. Proc. Am. Math. Soc.129, 2359-2363 (2001)
30. Yao, Y, Liou, YC, Marino, G: A hybrid algorithm for pseudo-contractive mappings. Nonlinear Anal.71, 997-5002 (2009) 31. Zhou, H: Strong convergence of an explicit iterative algorithm for continuous pseudo-contractions in Banach spaces.
Nonlinear Anal.70, 4039-4046 (2009)
32. Guo, W, Choi, M, Cho, YJ: Convergence theorems for continuous pseudocontractive mappings in Banach spaces. J. Inequal. Appl.2014, 384 (2014)
33. Hussain, N, ´Ciri´c, LB, Cho, YJ, Rafiq, A: On Mann-type iteration method for a family of hemicontractive mappings in Hilbert spaces. J. Inequal. Appl.2013, 41 (2013)
34. Yao, Y, Liou, YC, Yao, JC: Split common fixed point problem for two quasi-pseudo-contractive operators and its algorithm construction. Fixed Point Theory Appl.2015, 127 (2015)