AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi Publishing Corporation 804745 10.1155/2012/804745 804745 Research Article Strong Convergence of an Implicit S-Iterative Process for Lipschitzian Hemicontractive Mappings Kang Shin Min 1 Rafiq Arif 2 Lee Sunhong 1 Su Yongfu 1 Department of Mathematics and RINS Gyeongsang National University Jinju 660-701 Republic of Korea gnu.ac.kr 2 School of CS and Mathematics, Hajvery University, 43-52 Industrial Area, Gulberg III, Lahore 54660 Pakistan hup.edu.pk 2012 29 11 2012 2012 22 10 2012 15 11 2012 2012 Copyright © 2012 Shin Min Kang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We establish the strong convergence for the implicit S-iterative process associated with Lipschitzian hemicontractive mappings in Hilbert spaces.

1. Introduction

Let H be a Hilbert space and let T:HH be a mapping.

The mapping T is called Lipshitzian if there exists L>0 such that (1.1)Tx-TyLx-y,x,yH.

If L=1, then T is called nonexpansive and if 0L<1, then T is called contractive.

The mapping T is said to be pseudocontractive ([1, 2]) if (1.2)Tx-Ty2x-y2+(I-T)x-(I-T)y2,x,yH, and the mapping T is said to be strongly pseudocontractive if there exists k(0,1) such that (1.3)Tx-Ty2x-y2+k(I-T)x-(I-T)y2,x,yH.

Let F(T):={xH:Tx=x} and the mapping T is called hemicontractive if F(T) and (1.4)Tx-x*2x-x*2+x-Tx2,xH,x*F(T).

It is easy to see the class of pseudocontractive mappings with fixed points is a subclass of the class of hemicontractive mappings. For the importance of fixed points of pseudocontractions the reader may consult .

In 1974, Ishikawa  proved the following result.

Theorem 1.1.

Let K be a compact convex subset of a Hilbert space H and let T:KK be a Lipschitzian pseudocontractive mapping.

For arbitrary x1K, let {xn} be a sequence defined iteratively by(1.5)xn+1=(1-αn)xn+αnTyn,yn=(1-βn)xn+βnTxn,n1, where {αn} and {βn} are sequences satisfying the conditions:

0αnβn1,

limnβn=0,

n=1αnβn=.

Then the sequence {xn} converges strongly to a fixed point of T.

Another iteration scheme which has been studied extensively in connection with fixed points of pseudocontractive mappings.

In 2011, Sahu  and Sahu and Petruşel  introduced the S-iterative process as follows.

Let K be a nonempty convex subset of a normed space X and let T:KK be a mapping. Then, for arbitrary x1K, the S-iterative process is defined by (1.6)xn+1=Tyn,yn=(1-βn)xn+βnTxn,n1, where {βn} is a real sequence in [0,1].

In this paper, we establish the strong convergence for the implicit S-iterative process associated with Lipschitzian hemicontractive mappings in Hilbert spaces.

2. Main Results

We need the follwing lemma.

Lemma 2.1 (see [<xref ref-type="bibr" rid="B6">6</xref>]).

For all x,yH and λ[0,1], the following well-known identity holds (2.1)(1-λ)x+λy2=(1-λ)x2+λy2-λ(1-λ)x-y2.

Now we prove our main results.

Theorem 2.2.

Let K be a compact convex subset of a real Hilbert space H and let T:KK be a Lipschitzian hemicontractive mapping satisfying (C)x-TyTx-Ty,x,yK.

Let {βn} be a sequence in [0,1] satisfying

n=1βn=,

n=1βn2<.

For arbitrary x0K, let {xn} be a sequence defined iteratively by (2.2)xn=Tyn,yn=(1-βn)xn-1+βnTxn,n1.

Then the sequence {xn} converges strongly to the fixed point x* of T.

Proof.

From Schauder’s fixed point theorem, F(T) is nonempty since K is a convex compact set and T is continuous, let x*F(T). Using the fact that T is hemicontractive we obtain (2.3)Txn-x*2xn-x*2+xn-Txn2,(2.4)Tyn-x*2yn-x*2+yn-Tyn2.

Now by (v), there exists n0 such that for all nn0, (2.5)βnmin{13,1L2}, which implies that (2.6)2βn1-βn1.

With the help of (2.2), (2.3), and Lemma 2.1, we obtain the following estimates: (2.7)yn-x*2=(1-βn)xn-1+βnTxn-x*2=(1-βn)(xn-1-x*)+βn(Txn-x*)2=(1-βn)xn-1-x*2+βnTxn-x*2-βn(1-βn)xn-1-Txn2(1-βn)xn-1-x*2+βn(xn-x*2+xn-Txn2)-βn(1-βn)xn-1-Txn2,yn-Tyn2=(1-βn)xn-1+βnTxn-Tyn2=(1-βn)(xn-1-Tyn)+βn(Txn-Tyn)2=(1-βn)xn-1-Tyn2+βnTxn-Tyn2-βn(1-βn)xn-1-Txn2.

Substituting (2.7) in (2.4) we obtain (2.8)Tyn-x*2(1-βn)xn-1-x*2+βn(xn-x*2+xn-Txn2)+(1-βn)xn-1-Tyn2+βnTxn-Tyn2-2βn(1-βn)xn-1-Txn2.

Also with the help of condition (C) and (2.8), we have (2.9)xn+1-x*2=Tyn-x*2(1-βn)xn-1-x*2+βn(xn-x*2+xn-Txn2)+(1-βn)xn-1-Tyn2+βnTxn-Tyn2-2βn(1-βn)xn-1-Txn2(1-βn)xn-1-x*2+βnxn-x*2+(1-βn)xn-1-Tyn2+2βnTxn-Tyn2-2βn(1-βn)xn-1-Txn2, which implies that (2.10)xn+1-x*2xn-1-x*2+xn-1-Tyn2+2βn1-βnTxn-Tyn2-2βnxn-1-Txn2xn-1-x*2+xn-1-Tyn2+Txn-Tyn2    -2βnxn-1-Txn2, where (2.11)xn-1-Tyn2Txn-1-Tyn2L2xn-1-yn2=L2βn2xn-1-Txn2,(2.12)Txn-Tyn2L2xn-yn2L2(xn-xn-1+xn-1-yn)2L2(xn-xn-1+βnxn-1-Txn)2L2(xn-xn-1+βnM)2,xn-xn-1=xn-1-TynTxn-1-TynLxn-1-yn=Lβnxn-1-TxnLβnM and consequently from (2.12), we obtain (2.13)Txn-Tyn2L2(1+L)2M2βn2.

Hence by (2.5), (2.10), (2.11), and (2.13), we have (2.14)xn-x*2xn-1-x*2+L2βn2xn-1-Txn2+L2(1+L)2M2βn2-2βnxn-1-Txn2=xn-1-x*2+L2(1+L)2M2βn2    -βn(2-L2βn)xn-1-Txn2xn-1-x*2+L2(1+L)2M2βn2-βnxn-1-Txn2, which implies that (2.15)βnxn-1-Txn2xn-1-x*2-xn-x*2+L2(1+L)2M2βn2, so that (2.16)12j=Nnβjxj-1-Txj2xN-x*2-xn-x*2+L2(1+L)2M2j=Nnβj2.

Hence by conditions (iv) and (v), we get (2.17)j=0xj-1-Txj2<.

It implies that (2.18)limnxn-1-Txn=0.

Consider (2.19)xn-Txnxn-xn-1+xn-1-Txn, which implies that (2.20)limnxn-Txn=0.

The rest of the argument follows exactly as in the proof of Theorem of . This completes the proof.

Theorem 2.3.

Let K be a compact convex subset of a real Hilbert space H and let T:KK be a Lipschitzian hemicontractive mapping satisfying the condition (C). Let {βn} be a sequence in [0,1] satisfying the conditions (iv) and (v).

Assume that PK:HK be the projection operator of H onto K. Let {xn} be a sequence defined iteratively by (2.21)xn=PK(Tyn),yn=PK((1-βn)xn-1+βnTxn),n1.

Then the sequence {xn} converges strongly to a fixed point of T.

Proof.

The operator PK is nonexpansive (see, e.g., ). K is a Chebyshev subset of H so that, PK is a single-valued mapping. Hence, we have the following estimate: (2.22)xn-x*2=PK(Tyn)-PKx*2Tyn-x*2xn-1-x*2+L2(1+L)2M2βn2-βnxn-1-Txn2.

The set K=KT(K) is compact and so the sequence {xn-Txn} is bounded. The rest of the argument follows exactly as in the proof of Theorem 2.2. This completes the proof.

Remark 2.4.

In main results, the condition (C) is not new and it is due to Liu et al. .

Acknowledgment

The authors would like to thank the referees for thier useful comments and suggestions.

Browder F. E. Nonlinear operators and nonlinear equations of evolution in Banach spaces Nonlinear Functional Analysis 1976 Providence, RI, USA American Mathematical Society 0405188 ZBL0327.47022 Browder F. E. Petryshyn W. V. Construction of fixed points of nonlinear mappings in Hilbert space Journal of Mathematical Analysis and Applications 1967 20 197 228 0217658 10.1016/0022-247X(67)90085-6 ZBL0153.45701 Ishikawa S. Fixed points by a new iteration method Proceedings of the American Mathematical Society 1974 44 147 150 0336469 10.1090/S0002-9939-1974-0336469-5 ZBL0286.47036 Sahu D. R. Applications of the S-iteration process to constrained minimization problems and split feasibility problems Fixed Point Theory 2011 12 1 187 204 2797080 Sahu D. R. Petruşel A. Strong convergence of iterative methods by strictly pseudocontractive mappings in Banach spaces Nonlinear Analysis. Theory, Methods & Applications A 2011 74 17 6012 6023 10.1016/j.na.2011.05.078 2833372 Xu H. K. Inequalities in Banach spaces with applications Nonlinear Analysis. Theory, Methods & Applications A 1991 16 12 1127 1138 10.1016/0362-546X(91)90200-K 1111623 ZBL0757.46033 Liu Z. Feng C. Ume J. S. Kang S. M. Weak and strong convergence for common fixed points of a pair of nonexpansive and asymptotically nonexpansive mappings Taiwanese Journal of Mathematics 2007 11 1 27 42 2304002 ZBL1151.47060