Viscosity approximation methods for nonexpansive nonself-mappings

Similar documents
STRONG CONVERGENCE OF APPROXIMATION FIXED POINTS FOR NONEXPANSIVE NONSELF-MAPPING

Viscosity Approximative Methods for Nonexpansive Nonself-Mappings without Boundary Conditions in Banach Spaces

Research Article Strong Convergence of Cesàro Mean Iterations for Nonexpansive Nonself-Mappings in Banach Spaces

Viscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces

Viscosity approximation method for m-accretive mapping and variational inequality in Banach space

Strong Convergence Theorems for Nonself I-Asymptotically Quasi-Nonexpansive Mappings 1

CONVERGENCE OF APPROXIMATING FIXED POINTS FOR MULTIVALUED NONSELF-MAPPINGS IN BANACH SPACES. Jong Soo Jung. 1. Introduction

Received 8 June 2003 Submitted by Z.-J. Ruan

ITERATIVE SCHEMES FOR APPROXIMATING SOLUTIONS OF ACCRETIVE OPERATORS IN BANACH SPACES SHOJI KAMIMURA AND WATARU TAKAHASHI. Received December 14, 1999

Convergence theorems for mixed type asymptotically nonexpansive mappings in the intermediate sense

Strong convergence theorems for asymptotically nonexpansive nonself-mappings with applications

Research Article A New Iterative Algorithm for Approximating Common Fixed Points for Asymptotically Nonexpansive Mappings

On nonexpansive and accretive operators in Banach spaces

Some unified algorithms for finding minimum norm fixed point of nonexpansive semigroups in Hilbert spaces

Shih-sen Chang, Yeol Je Cho, and Haiyun Zhou

Common fixed points of two generalized asymptotically quasi-nonexpansive mappings

CONVERGENCE THEOREMS FOR STRICTLY ASYMPTOTICALLY PSEUDOCONTRACTIVE MAPPINGS IN HILBERT SPACES. Gurucharan Singh Saluja

HAIYUN ZHOU, RAVI P. AGARWAL, YEOL JE CHO, AND YONG SOO KIM

ON A HYBRID PROXIMAL POINT ALGORITHM IN BANACH SPACES

Two-Step Iteration Scheme for Nonexpansive Mappings in Banach Space

arxiv: v1 [math.fa] 15 Apr 2017 Fixed Point of A New Type Nonself Total Asymptotically Nonexpansive Mappings in Banach Spaces

On an iterative algorithm for variational inequalities in. Banach space

Convergence Theorems of Approximate Proximal Point Algorithm for Zeroes of Maximal Monotone Operators in Hilbert Spaces 1

CONVERGENCE OF HYBRID FIXED POINT FOR A PAIR OF NONLINEAR MAPPINGS IN BANACH SPACES

Research Article Iterative Approximation of a Common Zero of a Countably Infinite Family of m-accretive Operators in Banach Spaces

ITERATIVE ALGORITHMS WITH ERRORS FOR ZEROS OF ACCRETIVE OPERATORS IN BANACH SPACES. Jong Soo Jung. 1. Introduction

Weak and Strong Convergence Theorems for a Finite Family of Generalized Asymptotically Quasi-Nonexpansive Nonself-Mappings

The Journal of Nonlinear Science and Applications

Viscosity approximation methods for the implicit midpoint rule of asymptotically nonexpansive mappings in Hilbert spaces

Research Article Algorithms for a System of General Variational Inequalities in Banach Spaces

Convergence to Common Fixed Point for Two Asymptotically Quasi-nonexpansive Mappings in the Intermediate Sense in Banach Spaces

Research Article Iterative Approximation of Common Fixed Points of Two Nonself Asymptotically Nonexpansive Mappings

Iterative common solutions of fixed point and variational inequality problems

STRONG CONVERGENCE OF AN IMPLICIT ITERATION PROCESS FOR ASYMPTOTICALLY NONEXPANSIVE IN THE INTERMEDIATE SENSE MAPPINGS IN BANACH SPACES

A Viscosity Method for Solving a General System of Finite Variational Inequalities for Finite Accretive Operators

On Convergence Theorem for Nonself I - Nonexpansive Mapping in Banach Spaces

STRONG CONVERGENCE OF AN ITERATIVE METHOD FOR VARIATIONAL INEQUALITY PROBLEMS AND FIXED POINT PROBLEMS

Strong convergence theorems for total quasi-ϕasymptotically

A NEW COMPOSITE IMPLICIT ITERATIVE PROCESS FOR A FINITE FAMILY OF NONEXPANSIVE MAPPINGS IN BANACH SPACES

The Generalized Viscosity Implicit Rules of Asymptotically Nonexpansive Mappings in Hilbert Spaces

Weak and strong convergence theorems of modified SP-iterations for generalized asymptotically quasi-nonexpansive mappings

Regularization Inertial Proximal Point Algorithm for Convex Feasibility Problems in Banach Spaces

Regularization proximal point algorithm for finding a common fixed point of a finite family of nonexpansive mappings in Banach spaces

SHRINKING PROJECTION METHOD FOR A SEQUENCE OF RELATIVELY QUASI-NONEXPANSIVE MULTIVALUED MAPPINGS AND EQUILIBRIUM PROBLEM IN BANACH SPACES

A general iterative algorithm for equilibrium problems and strict pseudo-contractions in Hilbert spaces

WEAK CONVERGENCE THEOREMS FOR EQUILIBRIUM PROBLEMS WITH NONLINEAR OPERATORS IN HILBERT SPACES

SOME GEOMETRIC PROPERTIES RELATED TO THE FIXED POINT THEORY FOR NONEXPANSIVE MAPPINGS

(1) H* - y\\ < (1 + r)(x - y) - rt(tx - ra)

On the approximation problem of common fixed points for a finite family of non-self asymptotically quasi-nonexpansive-type mappings in Banach spaces

ON THE CONVERGENCE OF MODIFIED NOOR ITERATION METHOD FOR NEARLY LIPSCHITZIAN MAPPINGS IN ARBITRARY REAL BANACH SPACES

CONVERGENCE THEOREMS FOR MULTI-VALUED MAPPINGS. 1. Introduction

An iterative method for fixed point problems and variational inequality problems

Available online at J. Nonlinear Sci. Appl., 10 (2017), Research Article

Computers and Mathematics with Applications

Iterative algorithms based on the hybrid steepest descent method for the split feasibility problem

Bulletin of the Iranian Mathematical Society Vol. 39 No.6 (2013), pp

Research Article Hybrid Algorithm of Fixed Point for Weak Relatively Nonexpansive Multivalued Mappings and Applications

ON WEAK AND STRONG CONVERGENCE THEOREMS FOR TWO NONEXPANSIVE MAPPINGS IN BANACH SPACES. Pankaj Kumar Jhade and A. S. Saluja

STRONG CONVERGENCE THEOREMS FOR COMMUTATIVE FAMILIES OF LINEAR CONTRACTIVE OPERATORS IN BANACH SPACES

ON WEAK CONVERGENCE THEOREM FOR NONSELF I-QUASI-NONEXPANSIVE MAPPINGS IN BANACH SPACES

Weak and strong convergence of an explicit iteration process for an asymptotically quasi-i-nonexpansive mapping in Banach spaces

Steepest descent approximations in Banach space 1

Research Article A New Iteration Process for Approximation of Common Fixed Points for Finite Families of Total Asymptotically Nonexpansive Mappings

Fixed Points of Multivalued Quasi-nonexpansive Mappings Using a Faster Iterative Process

On The Convergence Of Modified Noor Iteration For Nearly Lipschitzian Maps In Real Banach Spaces

APPROXIMATING SOLUTIONS FOR THE SYSTEM OF REFLEXIVE BANACH SPACE

Convergence theorems for a finite family. of nonspreading and nonexpansive. multivalued mappings and equilibrium. problems with application

The Equivalence of the Convergence of Four Kinds of Iterations for a Finite Family of Uniformly Asymptotically ø-pseudocontractive Mappings

International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN

Fixed point theory for nonlinear mappings in Banach spaces and applications

STRONG CONVERGENCE RESULTS FOR NEARLY WEAK UNIFORMLY L-LIPSCHITZIAN MAPPINGS

Research Article Convergence Theorems for Infinite Family of Multivalued Quasi-Nonexpansive Mappings in Uniformly Convex Banach Spaces

PROPERTIES OF FIXED POINT SET OF A MULTIVALUED MAP

The Split Common Fixed Point Problem for Asymptotically Quasi-Nonexpansive Mappings in the Intermediate Sense

Synchronal Algorithm For a Countable Family of Strict Pseudocontractions in q-uniformly Smooth Banach Spaces

The equivalence of Picard, Mann and Ishikawa iterations dealing with quasi-contractive operators

Strong convergence theorems for two total asymptotically nonexpansive nonself mappings in Banach spaces

Algorithms for finding minimum norm solution of equilibrium and fixed point problems for nonexpansive semigroups in Hilbert spaces

PROXIMAL POINT ALGORITHMS INVOLVING FIXED POINT OF NONSPREADING-TYPE MULTIVALUED MAPPINGS IN HILBERT SPACES

New Iterative Algorithm for Variational Inequality Problem and Fixed Point Problem in Hilbert Spaces

Invariant Approximation Results of Generalized Contractive Mappings

WEAK AND STRONG CONVERGENCE OF AN ITERATIVE METHOD FOR NONEXPANSIVE MAPPINGS IN HILBERT SPACES

Fixed points of isometries on weakly compact convex sets

Research Article Cyclic Iterative Method for Strictly Pseudononspreading in Hilbert Space

On the split equality common fixed point problem for quasi-nonexpansive multi-valued mappings in Banach spaces

Department of Mathematics, Faculty of Science, Chiang Mai University, Chiang Mai 50200, Thailand

Krasnoselskii type algorithm for zeros of strongly monotone Lipschitz maps in classical banach spaces

A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS

STRONG CONVERGENCE OF A MODIFIED ISHIKAWA ITERATIVE ALGORITHM FOR LIPSCHITZ PSEUDOCONTRACTIVE MAPPINGS

Viscosity approximation methods for the implicit midpoint rule of nonexpansive mappings in CAT(0) Spaces

FIXED POINT THEOREMS AND CHARACTERIZATIONS OF METRIC COMPLETENESS. Tomonari Suzuki Wataru Takahashi. 1. Introduction

Research Article Common Fixed Points of Weakly Contractive and Strongly Expansive Mappings in Topological Spaces

STRONG CONVERGENCE THEOREMS BY A HYBRID STEEPEST DESCENT METHOD FOR COUNTABLE NONEXPANSIVE MAPPINGS IN HILBERT SPACES

Strong convergence of multi-step iterates with errors for generalized asymptotically quasi-nonexpansive mappings

Some results on Rockafellar-type iterative algorithms for zeros of accretive operators

Weak and strong convergence of a scheme with errors for three nonexpansive mappings

Existence of Solutions to Split Variational Inequality Problems and Split Minimization Problems in Banach Spaces

Research Article Strong Convergence Theorems for Zeros of Bounded Maximal Monotone Nonlinear Operators

The convergence of Mann iteration with errors is equivalent to the convergence of Ishikawa iteration with errors

FIXED POINT ITERATION FOR PSEUDOCONTRACTIVE MAPS

Transcription:

J. Math. Anal. Appl. 321 (2006) 316 326 www.elsevier.com/locate/jmaa Viscosity approximation methods for nonexpansive nonself-mappings Yisheng Song, Rudong Chen Department of Mathematics, Tianjin Polytechnic University, Tianjin 300160, PR China Received 12 May 2005 Available online 9 September 2005 Submitted by G. Jungck Abstract Let E a real reflexive Banach space which admits a weakly sequentially continuous duality mapping from E to E,andK be a closed convex subset of E which is also a sunny nonexpansive retract of E, andt : K E be nonexpansive mappings satisfying the weakly inward condition and F(T),andf : K K be a fixed contractive mapping. The implicit iterative sequence {x t } is defined by for t (0, 1) x t = P ( tf (x t ) + (1 t)tx t ). The explicit iterative sequence {x n } is given by x n+1 = P ( α n f(x n ) + (1 α n )T x n ), where α n (0, 1) and P is sunny nonexpansive retraction of E onto K. We prove that {x t } strongly converges to a fixed point of T as t 0, and {x n } strongly converges to a fixed point of T as α n satisfying appropriate conditions. The results presented extend and improve the corresponding results of [H.K. Xu, Viscosity approximation methods for nonexpansive mappings, J. Math. Anal. Appl. 298 (2004) 279 291]. 2005 Elsevier Inc. All rights reserved. This work is supported by the National Natural Science Foundation of China under Grant 10471003 and by Colleges and Universities, Science and Technology Development Foundation of Tianjin, PR China under Grant 20040401. * Corresponding author. E-mail addresses: songyisheng123@eyou.com (Y. Song), chenrd@tjpu.edu.cn (R. Chen). 0022-247X/$ see front matter 2005 Elsevier Inc. All rights reserved. doi:10.1016/j.jmaa.2005.07.025

Y. Song, R. Chen / J. Math. Anal. Appl. 321 (2006) 316 326 317 Keywords: Nonexpansive nonself-mappings; Viscosity approximation; Fixed point; Weakly sequentially continuous duality mapping 1. Introduction and preliminaries Let E be a real Banach space and let J denote the normalized duality mapping from E into 2 E given by J(x)= { f E : x,f = x f, x = f }, x E, where E denotes the dual space of E and, denotes the generalized duality pairing. In the sequel, we shall denote the single-valued duality mapping by j, and denote F(T)= {x E: Tx = x}. When {x n } is a sequence in E, then x n x (respectively x n x, x n x) will denote strong (respectively weak, weak ) convergence of the sequence {x n } to x. In Banach space E, the following result (the Subdifferential Inequality) is well known [1,9]: x,y E, j(x+ y) J(x+ y), j(x) J(x), x 2 + 2 y,j(x) x + y 2 x 2 + 2 y,j(x + y). (1.1) Let E be a real Banach space and T a mapping with domain D(T ) and range R(T ) in E. T is called nonexpansive (respectively contractive) if for any x,y D(T ), such that Tx Ty x y (respectively Tx Ty β x y for some 0 <β<1). IfI denotes the identity operator and T is a contractive mapping, the following inequality holds [3]: (I T)x (I T)y,j(x y) (1 β) x y 2. (1.2) Let K be a closed convex subset of a uniformly smooth Banach space E, T : K K a nonexpansive mapping with F(T), f : K K a contraction. Then for any t (0, 1), the mapping : x tf (x) + (1 t)tx is also contraction. Let x t denote the unique fixed point of Tt f. In [3], H.K. Xu proved that as t 0, {x t } converges to a fixed point p of T that is the unique solution of the variational inequality (I f)u,j(u p) 0 for all p F(T). T f t H.K. Xu also propose the following explicit iterative process {x n } given by x n+1 = α n f(x n ) + (1 α n )T x n, and prove that the explicit iterative process {x n } converges to a fixed point p of T. In this paper, our purpose is to prove that in reflexive Banach space E which admits a weakly sequentially continuous duality mapping from E to E, for nonexpansive nonselfmapping T, both {x t } defined by (1.3) and {x n } defined by (1.4) strongly converges to a fixed point of T, which generalizes and improves several recent results. Particularly, it extends and improves Theorems 4.1 and 4.2 of [3].

318 Y. Song, R. Chen / J. Math. Anal. Appl. 321 (2006) 316 326 Recall that a Banach space is said to be smooth if and only if the duality mapping J is single-valued. In this case, the duality mapping J is strong-weak continuous [1,8]. If C and D are nonempty subsets of a Banach space E such that C is nonempty closed convex and D C, then a mapping P : C D is called a retraction from C to D if P is continuous with F(P)= D. A mapping P : C D is called sunny if P ( Px+ t(x Px) ) = Px, x C, whenever Px + t(x Px) C and t>0. A subset D of C is said to be a sunny nonexpansive retract of C if there exists a sunny nonexpansive retraction of C onto D.Formore details, see [1,2,6,8]. The following lemma is well known [1,4]. Lemma 1.1. Let C be a nonempty convex subset of a smooth Banach space E, D C, J : E E the (normalized) duality mapping of E, and P : C D a retraction. Then the following are equivalent: (i) x Px,j(y Px) 0 for all x C and y D; (ii) P is both sunny and nonexpansive. Let C is nonempty convex subset of a Banach space E. Then for x C, we define the inward set I C (x) as follows [6,8]: I C (x) = { y E: y = x + λ(z x), z C and λ 0 }. A mapping T : C E is said to be satisfying the inward condition if Tx I C (x) for all x C. T is also said to be satisfying the weakly inward condition if for each x C, Tx I C (x) (I C (x) is the closure of I C (x)). Clearly C I C (x) and it is not hard to show that I C (x) is a convex set as C does. Using above these results and definitions, we can easily show the following lemma. Lemma 1.2. Let E be a real smooth Banach space, and C be a nonempty closed convex subset of E which is also a sunny nonexpansive retract of E, and T : C E be mapping satisfying the weakly inward condition, and P be a sunny nonexpansive retraction of E onto C. Then F(T)= F(PT). Proof. Let x F(T). Then x = Tx C. ByP sunny nonexpansive retraction of E onto C, we get Px = PTx = x. Next,weshowF(PT) F(T).Letx F(PT). Since x = PTx and P is sunny nonexpansive retraction of E onto C,byLemma1.1wehave Tx x,j(y x) 0, y C. On the other hand, Tx I C (x) by the weakly inward condition. Hence for each integer n 1, there exists z n C and λ n 0 such that the sequence Since y n := x + λ n (z n x) Tx (). 0 λ n Tx x,j(zn x) = Tx x,j ( λ n (z n x) ) = Tx x,j(y n x).

Y. Song, R. Chen / J. Math. Anal. Appl. 321 (2006) 316 326 319 Since duality mapping J in smooth Banach space is norm to weak continuous [1,8], and letting n,wehave x Tx 2 = Tx x,j(t x x) = lim Tx x,j(yn x) 0 hence x = Tx. The proof is complete. Let E be a real Banach space, K be nonempty closed convex subset of E which is also a sunny nonexpansive retract of E, and T : K E be nonexpansive nonself-mapping. For any fixed contractive mapping f : K K and each t (0, 1), we consider the following mapping Tt f on K given by T f t x = P ( tf (x) + (1 t)tx ), x K, where P is a sunny nonexpansive retraction of E onto K. It is easily known that T f t is contractive mapping from K into K. Using the Banach contraction principle, there exists a unique fixed point x t of Tt f in K, i.e., x t = P ( tf (x t ) + (1 t)tx t ). (1.3) We also can define the following explicit iterative sequence: { x0 K, x n+1 = P(α n f(x n ) + (1 α n )T x n ), (1.4) where α n (0, 1). If Banach space E admits sequentially continuous duality mapping J from weak topology to weak star topology, then by [5, Lemma 1], we get that duality mapping J is single-valued. In this case, duality mapping J is also said to be weakly sequentially continuous, i.e., for each {x n } E with x n x, then J(x n ) J(x)[4,5,7]. A Banach space E is said to be satisfy Opial s condition if for any sequence {x n } in E, x n x() implies lim sup x n x < lim sup x n y, y E with x y. By [5, Theorem 1], we know that if E admits a weakly sequentially continuous duality mapping, then E satisfy Opial s condition. For more details, see [5]. In the sequel, we also need the following lemma that can be found in the existing literature [4, Lemma 2]: Lemma 1.3. Let C be a nonempty closed convex subset of a reflexive Banach space E which satisfies Opial s condition, and suppose T : C E is nonexpansive. Then the mapping I T is demiclosed at zero, i.e., x n x, x n Tx n 0 implies x = Tx.

320 Y. Song, R. Chen / J. Math. Anal. Appl. 321 (2006) 316 326 2. Main results Lemma 2.1. Let E be a Banach space, and K be nonempty closed convex subset of E which is also a sunny nonexpansive retract of E. Suppose that T : K E is a nonexpansive mapping and f : K K is fixed contractive mapping. For each t (0, 1), let{x t } be defined by (1.3) where P is a sunny nonexpansive retraction of E onto K. Suppose u K is a fixed point of T, then (i) x t f(x t ), j (x t u) 0; (ii) {x t } is bounded. Proof. (i) As u is fixed point of T,wehave (1 t)u+ tf (x t ) = P ( (1 t)u+ tf (x t ) ), x t [ (1 t)u+ tf (x t ) ] = P ( tf (x t ) + (1 t)tx t ) P ( (1 t)u+ tf (xt ) ) (1 t) Tx t u (1 t) x t u. By (1.1) we have x t [ (1 t)u+ tf (x t ) ] 2 Hence = (1 t)(xt u) + t ( x t f(x t ) ) 2 (1 t) 2 x t u 2 + 2t(1 t) x t f(x t ), j (x t u). 2t(1 t) x t f(x t ), j (x t u) x t [ (1 t)u+ tf (x t ) ] 2 (1 t) 2 x t u 2 0, i.e., xt f(x t ), j (x t u) 0. (ii) Since for some β (0, 1), f(xt ) f(u),j(x t u) β x t u 2, xt f(x t ), j (x t u) = x t u 2 + u f(u),j(x t u) + f(u) f(x t ), j (x t u) (1 β) x t u 2 + u f(u),j(x t u). Using (i), we get (1 β) x t u 2 + u f(u),j(x t u) 0. Therefore, (1 β) x t u 2 f(u) u, j (x t u) f(u) u x t u. (2.1)

Y. Song, R. Chen / J. Math. Anal. Appl. 321 (2006) 316 326 321 By (2.1), we get x t u 1 f(u) u 1 β so that {x t :0<t<1} is bounded. The proof is complete. Theorem 2.2. Let E be a reflexive Banach space which admits a weakly sequentially continuous duality mapping J from E to E. Suppose K is a nonempty closed convex subset of E which is also a sunny nonexpansive retract of E, and T : K E is a nonexpansive mapping satisfying the weakly inward condition and F(T). Let f : K K be a fixed contractive mapping from K to K. Fort (0, 1), let{x t } be defined by (1.3), where P is a sunny nonexpansive retract of E onto K. Then as t 0, x t converges strongly to some fixed point p of T such that p is the unique solution in F(T) to the following variational inequality: (I f)p,j(p u) 0 for all u F(T). Proof. Let u F(T). By Lemma 2.1(ii), {x t : 0 <t<1} is bounded, and hence, the sets {Tx t : t (0, 1)} and {f(x t ): t (0, 1)} are also bounded. From x t = P(tf(x t ) + (1 t)tx t ), we have x t PTx t = P ( ) tf (x t ) + (1 t)tx t PTxt tf (x t ) + (1 t)tx t Tx t = t Tx t f(x t ) 0 (t 0). This implies that lim x t PTx t =0. t 0 We claim that the set {x t : t (0, 1)} is relatively compact. Indeed, as E is reflexive, there exists a weakly convergence subsequence {x tn } {x t }, where {t n } is a sequence in (0, 1) that converges to 0 (n ). Now we suppose x n := x tn and x n p. Then using Lemmas 1.2 and 1.3, we get p = PTp= Tp. In (2.1), interchange p and u to obtain x n p 2 1 f(p) p,j(xn p). 1 β Using j is weakly sequentially continuous, we get x n p as n. We have proved that there exists a subsequence {x tn } of {x t : t (0, 1)} that converges to some fixed point p of T. To prove that the entire net {x t } converges to p, suppose that there exists another sequence {x sk } {x t } such that x sk q, ass k 0. Then we also have q F(T) (using lim t 0 x t PTx t =0 and Lemma 1.2). Next we show p = q and p is the unique solution in F(T)to the following variational inequality: (I f)p,j(p u) 0 for all u F(T).

322 Y. Song, R. Chen / J. Math. Anal. Appl. 321 (2006) 316 326 Since the set {x t u} and {x t f(x t )} is bounded and the duality map J is single-valued and weakly sequentially continuous from E to E, for any u F(T),byx sk q(s k 0), we have (I f)xsk (I f)q 0 (sk 0), x sk f(x sk ), j (x sk u) (I f)q,j(q u) = (I f)x sk (I f)q,j(x sk u) + (I f)q,j(x sk u) j(q u) (I f)x sk (I f)q x sk u + (I f)q,j(x sk u) j(q u) 0 ass k 0. Therefore, noting Lemma 2.1(i), for any u F(T), we get (I f)q,j(q u) = lim xsk f(x sk ), j (x sk u) 0. s k 0 Similarly, we also can show (I f)p,j(p u) = lim xtn f(x tn ), j (x tn u) 0. Interchange p and u to obtain (I f)q,j(q p) 0. Interchange q and u to obtain (I f)p,j(p q) 0. This implies that (using (1.2)) (1 β) p q 2 (I f)p (I f)q,j(p q) 0. We must have p = q. The proof is complete. In the proof of the following theorem, we also need the following lemma that can be found in the existing literature [3,4]. Lemma 2.3. Let {a n } be a sequence of nonnegative real numbers satisfying the property a n+1 (1 γ n )a n + γ n β n, n 0, where {γ n } (0, 1) and {β n } R such that (i) lim γ n = 0 and n=0 γ n =, (ii) either n=0 γ n β n < + or lim sup β n 0. Then {a n } converges to zero, as n. Theorem 2.4. Let E be a reflexive Banach space which admits a weakly sequentially continuous duality mapping J from E to E. Suppose K is a nonempty closed convex subset of E which is also a sunny nonexpansive retract of E, and T : K E is a nonexpansive mapping satisfying the weakly inward condition and F(T). Let {x n } be defined by (1.4), where P is a sunny nonexpansive retract of E onto K, and α n (0, 1) satisfy the following conditions:

Y. Song, R. Chen / J. Math. Anal. Appl. 321 (2006) 316 326 323 (i) α n 0,as, (ii) n=0 α n =, (iii) either α n=0 α n+1 α n < + or lim n α n+1 = 1. Then x n converges strongly to a fixed point p of T such that p is the unique solution in F(T)to the following variational inequality: (I f)p,j(p u) 0, u F(T). Proof. First we show that {x n } is bounded. Take u F(T). It follows that x n+1 u = P ( (1 α n )T x n + α n f(x n ) ) Pu (1 αn )T x n + α n f(x n ) u ( (1 α n ) Tx n u +α n f(x n ) f(u) + f(u) u ) ( (1 α n ) x n u +α n β xn u + f(u) u ) = ( ) 1 (1 β)α n xn u +α n f(u) u { 1 max x n u, f(u) u }. 1 β By induction, { x n u max x 0 u, 1 f(u) u }, n 0, 1 β and {x n } is bounded, so are {Tx n } and {f(x n )}. We claim that x n+1 x n 0 asn. (2.2) Indeed we have (for some appropriate constant M>0) x n+1 x n = ( ) ( ) P αn f(x n ) + (1 α n )T x n P αn 1 f(x n 1 ) + (1 α n 1 )T x n 1 α n f(x n ) + (1 α n )T x n ( ) α n 1 f(x n 1 ) + (1 α n 1 )T x n 1 (1 α n )(T x n Tx n 1 ) + (α n α n 1 ) ( ) f(x n 1 ) Tx n 1 + α f(xn n ) f(x n 1 ) (1 α n ) x n x n 1 +M α n α n 1 +βα n x n x n 1 = ( ) 1 (1 β)α n xn x n 1 +M α n α n 1 = ( ( ) M 1 (1 β)α n xn x n 1 +(1 β)α n 1 β 1 α ) n 1. By conditions (ii) and (iii), we have (1 β)α n =, M α n α n 1 < +, n=0 n=0 α n

324 Y. Song, R. Chen / J. Math. Anal. Appl. 321 (2006) 316 326 or M lim 1 β 1 α n 1 α = 0. n Therefore, by Lemma 2.3 we have x n+1 x n 0, as n. We now show that x n PTx n 0. In fact, x n+1 PTx n = P ( ) α n f(x n ) + (1 α n )T x n PTxn ( ) αn f(xn ) Tx n. So it follows from (2.2) (2.3) x n PTx n x n x n+1 + x n+1 PTx n x n x n+1 +α n f(x n ) Tx n 0 (n ). Let p = lim t 0 x t, where {x t } is defined by (1.3). By Theorem 2.2 we get that p is the unique solution in F(T)to the following variational inequality: (I f)p,j(p u) 0 for all u F(T). (2.4) We next show that lim sup f(p) p,j(xn p) 0. (2.5) Indeed, we can take a subsequence {x nk } of {x n } such that lim sup f(p) p,j(xn p) = lim f(p) p,j(xnk p). k We may assume that x nk x by E reflexive and {x n } bounded. It follow from Lemmas 1.3, 1.2 and (2.3) that x F(T)= F(PT). Hence by (2.4) and the duality mapping J is weakly sequentially continuous from E to E, we obtain lim sup f(p) p,j(xn p) = f(p) p,j ( x p ) 0. Finally we show that x n p.asamatteroffact, x n+1 ( α n f(x n ) + (1 α n )p ) ( = (x n+1 p) α n f(xn ) p ). By (1.1) we have x n+1 p 2 = x n+1 ( α n f(x n ) + (1 α n )p ) ( + α n f(xn ) p ) 2 x n+1 P ( α n f(x n ) + (1 α n )p ) 2 + 2α n f(xn ) p,j(x n+1 p) (1 α n ) 2 Tx n p 2 + 2α n f(xn ) f(p),j(x n+1 p) + 2α n f(p) p,j(xn+1 p) (1 α n ) 2 x n p 2 + 2α n f(p) f(x n ) x n+1 p

Y. Song, R. Chen / J. Math. Anal. Appl. 321 (2006) 316 326 325 + 2α n f(p) p,j(xn+1 p) (1 α n ) 2 x n p 2 ( + α n f(p) f(xn ) 2 + x n+1 p 2) + 2α n f(p) p,j(xn+1 p). Therefore, (1 α n ) x n+1 p 2 ( 1 2α n + αn 2 ) xn p 2 + α n β 2 x n p 2 + 2α n f(p) p,j(xn+1 p), x n+1 p 2 (1 1 ) β2 α n x n p 2 + α2 n x n p 2 1 α n 1 α n + 2α n f(p) p,j(xn+1 p) 1 α n (1 γ n ) x n p 2 + λγ n α n + 2 1 β 2 γ n f(p) p,j(xn+1 p), where γ n = 1 β2 1 α n α n and λ a constant such that λ> 1 x 1 β 2 n p 2. Hence, x n+1 p 2 (1 γ n ) x n p 2 ( + γ n λα n + 2 f(p) p,j(xn+1 1 β 2 p) ). (2.6) It is easily seen that γ n 0, n=1 γ n =, and (noting (2.5)) lim sup ( λα n + 2 1 β 2 f(p) p,j(xn+1 p) Using Lemma 2.3 onto (2.6), we conclude that x n p. ) 0. Acknowledgment The authors thank Professor Gerald Jungck for valuable suggestions which helped to improve this manuscript. References [1] W. Takahashi, Nonlinear Functional Analysis Fixed Point Theory and its Applications, Yokohama Publishers, Yokohama, 2000 (in Japanese). [2] N. Shahzad, Approximating fixed points of nonexpansive mappings in Banach spaces, Nonlinear Anal. 61 (2005) 1031 1039. [3] H.K. Xu, Viscosity approximation methods for nonexpansive mappings, J. Math. Anal. Appl. 298 (2004) 279 291. [4] J.S. Jung, Iterative approaches to common fixed points of nonexpansive mappings in Banach spaces, J. Math. Anal. Appl. 302 (2005) 509 520. [5] J.P. Gossez, E. Lami Dozo, Some geometric properties related to the fixed point theory for nonexpansive mappings, Pacific J. Math. 40 (1972) 565 573.

326 Y. Song, R. Chen / J. Math. Anal. Appl. 321 (2006) 316 326 [6] H.-K. Xu, Approximating curves of nonexpansive nonself-mappings in Banach spaces, in: Mathematical Analysis, C. R. Acad. Sci. Paris 325 (1997) 151 156. [7] C.H. Morales, J.S. Jung, Convergence of paths form pseudo-contractive mappings in Banach spaces, Proc. Amer. Math. Soc. 128 (2000) 3411 3419. [8] W. Takahashi, G.-E. Kim, Strong convergence of approximants to fixed points of nonexpansive nonselfmappings in Banach spaces, Nonlinear Anal. 32 (1998) 447 454. [9] S.-S. Chang, Y.J. Cho, H. Zhou, Iterative Methods for Nonlinear Operator Equations in Banach Spaces, Nova Science, Huntington, 2002.