Research Article Convergence Theorems for Fixed Points of Multivalued Mappings in Hilbert Spaces

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

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

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

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

Research Article Convergence Theorems for Fixed Points of Multivalued Strictly Pseudocontractive Mappings in Hilbert Spaces

CONVERGENCE THEOREMS FOR MULTI-VALUED MAPPINGS. 1. Introduction

Research Article Convergence Theorems for Common Fixed Points of Nonself Asymptotically Quasi-Non-Expansive Mappings

Research Article On the Convergence of Implicit Picard Iterative Sequences for Strongly Pseudocontractive Mappings in Banach Spaces

Research Article Generalized Mann Iterations for Approximating Fixed Points of a Family of Hemicontractions

FIXED POINT ITERATION FOR PSEUDOCONTRACTIVE MAPS

On the S-Iteration Processes for Multivalued Mappings in Some CAT(κ) Spaces

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

Research Article On Multivalued Nonexpansive Mappings in R-Trees

Krasnoselskii-Mann Method for Multi-valued Non-Self Mappings in CAT(0) Spaces

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

Research Article Remarks on Asymptotic Centers and Fixed Points

arxiv: v1 [math.fa] 8 Feb 2011

Research Article Approximation of Solutions of Nonlinear Integral Equations of Hammerstein Type with Lipschitz and Bounded Nonlinear Operators

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

Convergence theorems for generalized nonexpansive multivalued mappings in hyperbolic spaces

Research Article Cyclic Iterative Method for Strictly Pseudononspreading in Hilbert Space

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

Research Article Approximating Fixed Points of Some Maps in Uniformly Convex Metric Spaces

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

Research Article The Existence of Fixed Points for Nonlinear Contractive Maps in Metric Spaces with w-distances

Research Article Strong Convergence of Parallel Iterative Algorithm with Mean Errors for Two Finite Families of Ćirić Quasi-Contractive Operators

Computers and Mathematics with Applications

Research Article Some New Fixed-Point Theorems for a (ψ, φ)-pair Meir-Keeler-Type Set-Valued Contraction Map in Complete Metric Spaces

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

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

Research Article Fixed Point Theorems of Quasicontractions on Cone Metric Spaces with Banach Algebras

FIXED POINT THEOREM ON MULTI-VALUED MAPPINGS

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

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

Research Article Some Generalizations of Fixed Point Results for Multivalued Contraction Mappings

On the Convergence of Ishikawa Iterates to a Common Fixed Point for a Pair of Nonexpansive Mappings in Banach Spaces

Strong convergence theorems for asymptotically nonexpansive nonself-mappings with applications

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

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

Two-Step Iteration Scheme for Nonexpansive Mappings in Banach Space

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

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

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

Research Article Strong Convergence of a Projected Gradient Method

PROPERTIES OF FIXED POINT SET OF A MULTIVALUED MAP

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

Strong convergence theorems for total quasi-ϕasymptotically

Goebel and Kirk fixed point theorem for multivalued asymptotically nonexpansive mappings

Research Article The Solution by Iteration of a Composed K-Positive Definite Operator Equation in a Banach Space

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

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

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

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

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

A regularization projection algorithm for various problems with nonlinear mappings in Hilbert spaces

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

A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS

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

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

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

Common fixed points of two generalized asymptotically quasi-nonexpansive mappings

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

CONVERGENCE OF THE STEEPEST DESCENT METHOD FOR ACCRETIVE OPERATORS

Research Article An Iterative Algorithm for the Split Equality and Multiple-Sets Split Equality Problem

On Best Proximity Point Theorems for New Cyclic Maps

Research Article On Decomposable Measures Induced by Metrics

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

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

On nonexpansive and accretive operators in Banach spaces

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

APPROXIMATING SOLUTIONS FOR THE SYSTEM OF REFLEXIVE BANACH SPACE

A fixed point theorem for a Ćirić-Berinde type mapping in orbitally complete metric spaces

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

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

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

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

ON THE CONVERGENCE OF THE ISHIKAWA ITERATION IN THE CLASS OF QUASI CONTRACTIVE OPERATORS. 1. Introduction

Monotone variational inequalities, generalized equilibrium problems and fixed point methods

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

On the convergence of SP-iterative scheme for three multivalued nonexpansive mappings in CAT (κ) spaces

Fixed Point Theorem of Uniformly Locally Geraghty Contractive Mappings on Connected Complete Metric Spaces

STRONG CONVERGENCE RESULTS FOR NEARLY WEAK UNIFORMLY L-LIPSCHITZIAN MAPPINGS

Research Article Solvability of a Class of Integral Inclusions

Steepest descent approximations in Banach space 1

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

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

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

Research Article Fixed Point Theorems in Cone Banach Spaces

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

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

Strong Convergence of the Mann Iteration for Demicontractive Mappings

Research Article Existence of Strong Coupled Fixed Points for Cyclic Coupled Ciric-Type Mappings

Caristi-type Fixed Point Theorem of Set-Valued Maps in Metric Spaces

Invariant Approximation Results of Generalized Contractive Mappings

Research Article Some Inequalities Concerning the Weakly Convergent Sequence Coefficient in Banach Spaces

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

Research Article Generalized α-ψ Contractive Type Mappings and Related Fixed Point Theorems with Applications

STRONG CONVERGENCE OF APPROXIMATION FIXED POINTS FOR NONEXPANSIVE NONSELF-MAPPING

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

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

Transcription:

International Analysis, Article ID 269786, 7 pages http://dx.doi.org/10.1155/2014/269786 Research Article Convergence Theorems for Fixed Points of Multivalued Mappings in Hilbert Spaces N. Djitte and M. Sene Sectionde Mathématiques Appliquées, UniversitéGaston Berger, BP234 Saint Louis, Senegal Correspondence should be addressed to N. Djitte; ngalla.djitte@ugb.edu.sn Received 29 April 2014; Accepted 25 August 2014; Published 24 September 2014 Academic Editor: Remi Léandre Copyright 2014 N. Djitte and M. Sene. 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. Let H be a real Hilbert space and K a nonempty closed convex subset of H. SupposeT:K CB(K) is a multivalued Lipschitz pseudocontractive mapping such that F(T) = 0. An Ishikawa-type iterative algorithm is constructed and it is shown that, for the corresponding sequence {x n }, under appropriate conditions on the iteration parameters, lim inf n d(x n,tx n )=0holds. Finally, convergence theorems are proved under approximate additional conditions. Our theorems are significant improvement on important recent results of Panyanak (2007) and Sastry and Babu (2005). 1. Introduction Let K be a nonempty subset of a normed space E. ThesetK is called proximinal (see, e.g., [1 4]) if for each x Ethere exists u Ksuch that d (x, u) = inf { x y :y K} =d(x, K), (1) where d(x, y) = x y for all x, y E. Itisknownthat every nonempty closed convex subset of a real Hilbert space is proximinal. Let CB(K) and P(K) denote the families of nonempty closed bounded subsets and nonempty proximinal bounded subsets of K, respectively.thehausdorff metric on CB(K) is defined by H (A, B) = max {supd (a, B), supd (b, A)} (2) a A for all A, B CB(K). LetT:D(T) E CB(E) be a multivalued mapping on E.A pointx D(T)is called a fixed point of T if and only if x Tx.ThesetF(T) := {x D(T) : x Tx}is called the fixed point set of T. AmultivaluedmappingT:D(T) E 2 E is called Lipschitzian if there exists L>0such that b B H (Tx, Ty) L x y x, y D (T). (3) In (3), if L (0, 1), T is said to be a contraction, andt is called nonexpansive if L=1. Existence theorem for fixed point of multivalued contractions and nonexpansive mappings using the Hausdorff metric have been proved by several authors (see, e.g., Nadler Jr. [5], Markin [6], and Lim [7]). Later, an interesting and rich fixed point theory for such maps and more general maps was developed which has applications in control theory, convex optimization, differential inclusion, and economics (see Gorniewicz [8] and references cited therein). Several theorems have been proved on the approximation of fixed points of multivalued nonexpansive mappings (see, e.g., [1 4, 9, 10] and the references therein) and their generalizations (see, e.g., [11, 12]). Sastry and Babu [2] introduced the following iterative scheme. Let T : E P(E) be a multivalued mapping and let x be a fixed point of T. The sequence of iterates is given for x 0 Eby x n+1 =(1 α n )x n +α n y n n 0, y n Tx n, (4) y n x =d(tx n,x ), where α n is a real sequence in (0,1) satisfying the following conditions: (i) n=1 α n = ;

2 International Analysis (ii) lim α n =0. They also introduced the following sequence: y n =(1 β n )x n +β n z n, z n Tx n, z n x =d(x,tx n ), x n+1 =(1 α n )x n +α n u n, u n Ty n, u n x =d(ty n,x ), where {α n }, {β n } arerealsequencessatisfyingthefollowing conditions: (i) 0 α n,β n <1; (ii) lim n β n =0; (iii) n=1 α nβ n =. Sastry and Babu called the process defined by (4)aMann iteration process and the process defined by (5) where the iteration parameters α n,β n satisfy conditions (i), (ii), and (iii) an Ishikawa iteration process. They proved in [2] that the Mann and Ishikawa iteration schemes for a multivalued map T with fixed point p converge to a fixed point of T under certain conditions. More precisely, they proved the following result for a multivalued nonexpansive map with compact domain. Theorem SB (Sastry and Babu [2]). Let H be real Hilbert space, K a nonempty compact convex subset of H, and T : K P(K) a multivalued nonexpansive map with a fixed point p. Assume that (i) 0 α n,β n < 1;(ii)β n 0; and (iii) α n β n =. Then, the sequence {x n } defined by (5) converges strongly to a fixed point of T. Panyanak [1] extended the above result of Sastry and Babu [2] to uniformly convex real Banach spaces. He proved the following result. Theorem P1 (Panyanak [1]). Let E be a uniformly convex real Banach space, K a nonempty compact convex subset of E,and T : K P(K) a multivalued nonexpansive map with a fixed point p. Assume that (i) 0 α n,β n <1;(ii)β n 0; and (iii) α n β n =. Then, the sequence {x n } defined by (5) converges strongly to a fixed point of T. Panyanak [1] also modified the iteration schemes of Sastry and Babu [2]. Let K be a nonempty closed convex subset of a real Banach space and let T : K P(K) be a multivalued map with F(T) a nonempty proximinal subset of K. The sequence of Mann iterates is defined by x 0 K, x n+1 =(1 α n )x n +α n y n, (6) α n [a, b], 0<a<b<1, n 0, where y n Tx n is such that y n u n =d(u n,tx n ) and u n F(T) is such that x n u n =d(x n, F(T)). The sequence of Ishikawa iterates is defined by x 0 K, y n =(1 β n )x n +β n z n, β n [a, b], 0<a<b<1, n 0, (5) (7) where z n Tx n is such that z n u n =d(u n,tx n ) and u n F(T) is such that x n u n =d(x n, F(T)). Consider x n+1 =(1 α n )x n +α n z n, α n [a, b], 0<a<b<1, n 0, where z n Ty n is such that z n V n =d(v n,ty n ) and V n F(T) is such that y n V n =d(y n, F(T)).Beforewestatehis theorem, we need the following definition. AmappingT:K CB(K) is said to satisfy condition (I) if there exists a strictly increasing function f:[0, ) [0, ) with f(0) = 0, f(r) > 0 for all r (0, ) such that (8) d (x, T (x)) f(d (x, F (T))) x D(T). (9) Theorem P2 (Panyanak [1]). Let E be a uniformly convex real Banach space, K anonemptyclosedboundedconvexsubsetof E, andt : K P(K) a multivalued nonexpansive map that satisfies condition (I). Assume that (i) 0 α n <1and (ii) α n =.SupposethatF(T) is a nonempty proximinal subset of K. Then, the sequence {x n } defined by (6) converges strongly to a fixed point of T. Panyanak [1]thenaskedthefollowingquestion. Question (P). Is Theorem P2 true for the Ishikawa iterates defined by (7) and (8)? As remarked by Nadler Jr. [5], the definition of the Hausdorff metric on CB(E) gives the following useful result. Lemma 1. Let A, B CB(X) and a A.Foreveryγ>0,there existsb Bsuch that d (a, b) H(A, B) +γ. (10) Song and Wang [3, 4] modified the iteration process by Panyanak [1] and improved the results therein. They gave their iteration scheme as follows. Let K be a nonempty closed convex subset of a real Banach space and let T:K CB(K) be a multivalued map. Let α n, β n [0, 1] and γ n (0, )be such that lim n γ n = 0.Choosingx 0 K, y n =(1 β n )x n +β n z n, x n+1 =(1 α n )x n +α n u n, where z n Tx n, u n Ty n are such that z n u n H(Tx n,ty n )+γ n, z n+1 u n H(Tx n+1,ty n )+γ n. They then proved the following result. (11) (12) Theorem SW (Song and Wang [3, 4]). Let K be a nonempty compact convex subset of a uniformly convex real Banach space E. LetT : K CB(K) be a multivalued nonexpansive mapping with F(T) = 0 satisfying T(p) = {p} for all p F(T). Assume that (i) 0 α n,β n < 1;(ii)β n 0;and (iii) α n β n =.Then,theIshikawasequencedefinedby(11) converges strongly to a fixed point of T.

International Analysis 3 Shahzad and Zegeye [13] extended and improved the results of Sastry and Babu [2], Panyanak [1], and Son and Wang [3, 4] to multivalued quasi-nonexpansive maps. Also, inanattempttoremovetherestrictiontp = {p} p F(T) in Theorem SW, they introduced a new iteration scheme as follows. Let K be a nonempty closed convex subset of a real Banach space, T : K P(K) amultivaluedmap,and P T x:={y Tx : x y =d(x,tx)}.letα n,β n [0, 1]. Choose x 0 K, and define {x n } as follows: y n =(1 β n )x n +β n z n, x n+1 =(1 α n )x n +α n u n, (13) where z n P T x n, u n P T y n. They then proved the following result. Theorem SZ (Shahzad and Zegeye [13]). Let X be a uniformly convex real Banach space, K a nonempty convex subset of X, and T : K P(K) amultivaluedmapwithf(t) = 0 such that P T is nonexpansive. Let {x n } be the Ishikawa iterates defined by (13). Assume that T satisfies condition (I) and α n,β n [a, b] (0, 1).Then,{x n } converges strongly to a fixed point of T. Remark 2. In recursion formula (4), the authors take y n T(x n ) such that y n x =d(x,tx n ).Theexistence of y n satisfying this condition is guaranteed by the assumption that Tx n is proximinal. In general such a y n is extremely difficult to pick. If Tx n is proximinal, it is not difficult to prove that it is closed. If, in addition, it is a convex subset of a real Hilbert space, then y n is unique and is characterized by x y n,y n u n 0 u n Tx n. (14) Onecanseefromthisinequalitythatitisnoteasytopick y n Tx n satisfying y n x =d(x,tx n ) (15) at every step of the iteration process. So, recursion formula (4) is not convenient to use in any possible application. Also, the recursion formulas defined in (7)and(8)arenotconvenient touseinanypossibleapplication.thesequences{z n } and {z n } arenotknownprecisely.therestrictionsz n Tx n, z n u n = d(u n,tx n ), u n F(T), andz n Ty n, z n V n =d(v n,ty n ), V n F(T), make them difficult to use. These restrictions on z n and z n depend on F(T), the fixed points set. So, the recursions formulas (7)and(8)arenoteasilyuseable. Definition 3. Let K be a nonempty subset of a real Hilbert space H. A map T : K H is called k-strictly pseudocontractive if there exists k (0, 1) such that Tx Ty 2 x y 2 +k x y (Tx Ty) 2 x, y K. (16) If k=1in (16), the map T is said to be pseudocontractive. Browder and Petryshyn [14] introduced and studied the class of strictly pseudocontractive maps as an important generalization of the class of nonexpansive maps (mappings T:K Ksatisfying Tx Ty x y x, y K). It is trivial to see that every nonexpansive map is strictly pseudocontractive. Motivatedbythis,Chidumeetal.[15]introducedtheclass of multivalued strictly pseudocontractive maps defined on a real Hilbert space H as follows. Definition 4. AmultivaluedmapT : D(T) H 2 H is called k-strictly pseudocontractive if there exists k (0, 1) such that, for all x, y D(T), (H (Tx, Ty)) 2 x y 2 +k x y (u V) 2 u Tx, V Ty. (17) If k=1in (17), the map T is said to be pseudocontractive. We observe from (17) that every nonexpansive mapping is strict pseudocontractive and hence the class of pseudocontractive mappings is a more general class of mappings. Then, they proved strong convergence theorems for this class of mappings. The recursion formula used is of the Krasnoselskii-type [16]. Theorem CA1 (Chidume et al. [15]). Let K be a nonempty closed convex subset of a real Hilbert space H. Supposethat T : K CB(K) is amultivalued k-strictly pseudocontractive mapping such that F(T) = 0. Assume that Tp = {p} p F(T).Let{x n } be a sequence defined by x 0 K, x n+1 = (1 λ) x n +λy n, n 0, (18) where y n Tx n and λ (0, 1 k).then,lim n d(x n,tx n )= 0. Theorem CA2 (Chidume et al. [15]). Let K be a nonempty compact convex subset of a real Hilbert space H and let T: K CB(K) be a multivalued k-strictly pseudocontractive mapping with F(T) = 0 such that Tp = {p} p F(T). Suppose that T is continuous. Let {x n } be a sequence defined by x 0 K, x n+1 = (1 λ) x n +λy n, (19) where y n Tx n and λ (0, 1 k). Then, the sequence {x n } converges strongly to a fixed point of T. Remark 5. We note that, for the more general situation of approximating a fixed point of a multivalued Lipschitz pseudocontractive map in a real Hilbert space, an example of Chidume and Mutangadura [17] shows that, even in the single-valued case, the Mann iteration method does not always converge in the setting of Theorem CA2. We now give an example of multivalued pseudocontractive map (Definition4) which is not nonexpansive.

4 International Analysis Example 6. Let T : [0, 1]) 2 R be the multivalued map defined by Tx={ {2} if x=0, (20) {0, x} if x =0. (i) T satisfies, for all x, y D(T), (H (Tx, Ty)) 2 x y 2 + (x u) (y V) 2, u Tx, V Ty. (21) (ii) T is not nonexpansive. Proof of (i). Inequality (21)isobviousforx=y=0.Nowfor (x, y) = (0, 0), we proceed as follows. Case 1. Assume that x, y (0, 1].Inthiscase,Tx = {0, x} and Ty = {0, y}. Therefore, we have H(Tx,Ty)=max {supd (a, {0, x}), supd (b, {0, y})} a Ty b Tx = max {min {x, x y },min {y, x y }} ={ max { x y, min {y, x y }} if x y max {min {x, x y }, x y } if x y = x y. (22) Hence, for all x, y (0, 1],wehave (H (Tx, Ty)) 2 x y 2 + (x u) (y V) 2, (23) u Tx, V Ty. Case 2. Assume that x (0, 1] and y=0.inthiscase,we have Tx={0,x}and Ty = T0 = {2}. Therefore, H(Tx,Ty)=max {supd (a, {0, x}), sup 2 b } a {2} b {0,x} = sup 2 b b {0,x} = sup {2, x+2} =2. (24) On the other hand, let u Tx={0,x}and V Ty={2}. (i) If u=0,then (x u) (y V) 2 = (x+2) 2 (H(Tx,Ty)) 2. (25) (ii) If u=x,wehave (x u) (y V) 2 =4=(H(Tx,Ty)) 2. (26) Therefore, (H (Tx, Ty)) 2 x y 2 + (x u) (y V) 2, (27) u Tx, V Ty. This completes the proof of (i). Proof of (ii). If x (0, 1] and y=0,wehavethath(tx, Ty) = 2 and x y =x.so, This proves that T is not nonexpansive. H(Tx,Ty)> x y. (28) It is our purpose in this paper to prove strong convergence theorems for the class of multivalued Lipschitz pseudocontractive maps in real Hilbert spaces. We use the recursion formula (11), dispensing with the second restriction on the sequences {z n } and {u n }: z n+1 u n 1 H(Tx n+1,ty n )+γ n, n 1.This classofmapsismuchmorelargerthanthatofmultivalued nonexpansive maps used in Theorem SW. So, in the setting of real Hilbert spaces, our theorem improves and extends the result of Song and Wang [3, 4]. 2. Preliminaries In the sequel, we will need the following results. Lemma 7 (Daffer and Kaneko [12]). Let {a n } and {γ n } be sequences of nonnegative real numbers satisfying the following relation: a n+1 a n +γ n n n 0, (29) where n 0 is a nonnegative integer. If γ n <,thenlim n a n exists. Lemma 8. Let H be a real Hilbert space. Then λx + (1 λ)y 2 =λ x 2 + (1 λ) y 2 λ(1 λ) x y 2 for all x, y H,andλ [0,1]. 3. Main Results (30) We use the following iteration scheme. Let K be a nonempty closed convex subset of a real Hilbert space H and α n, β n,andγ n real sequences in (0, 1]. Let{x n } be the sequence defined from arbitrary x 1 Kby y n =(1 β n )x n +β n u n, n 1, x n+1 =(1 α n )x n +α n w n, n 1, where u n Tx n, w n Ty n are such that (31) u n w n H(Tx n,ty n )+γ n. (32) We first prove the following theorem. Theorem 9. Let K be a nonempty closed convex subset of a real Hilbert space H and T : K CB(K) amultivalued L-Lipschitz pseudocontractive mapping with F(T) = 0 and Tp = {p} p F(T).Let{x n } be the sequence defined by (31) and (32). Assume that (i) 0 α n β n < 1 n 0; (ii) lim β n = 0; (iii) α n β n = and γ 2 n <.Then, lim inf n d(x n,tx n )=0.

International Analysis 5 Proof. Let p F(T).UsingLemma 8, thefactthatt is pseudocontractive, and the assumption Tp = {p} p F(T), we have x n+1 p 2 =(1 α n ) x n p 2 +α n w n p 2 (1 α n ) x n p 2 +α n (H (Ty n,tp)) 2 Therefore, inequalities (35) and(36) and condition (i) imply that x n+1 p 2 (1 α n ) x n p 2 +α n ( x n p 2 +β 2 n x n u n 2 ) +α n ((1 β n ) x n w n 2 +β n u n w n 2 β n (1 β n ) x n u n 2 ) (1 α n ) x n p 2 +α n ( y n p 2 + y n w n 2 ) (33) x n p 2 +α n β 2 n x n u n 2 +α n (1 β n ) x n w n 2 =(1 α n ) x n p 2 +α n y n p 2 +α n y n w n 2. Observing that y n w n 2 = (1 β n ) x n w n 2 +β n u n w n 2 β n (1 β n ) x n u n 2, then,frominequality (33) and identity (34), we have that x n+1 p 2 (1 α n ) x n p 2 +α n y n p 2 +α n ((1 β n ) x n w n 2 +β n u n w n 2 β n (1 β n ) x n u n 2 ). (34) (35) Using again Lemma 8, the fact that T is pseudocontractive, and the assumption Tp = {p} p F(T),weobtainthe following estimates: y n p 2 =(1 β n ) x n p 2 +β n u n p 2 β n (1 β n ) x n u n 2 (1 β n ) x n p 2 +β n (H (Tx n,tp)) 2 β n (1 β n ) x n u n 2 (1 β n ) x n p 2 +β n ( x n p 2 + u n x n 2 ) β n (1 β n ) x n u n 2 = x n p 2 +β 2 n x n u n 2. (36) +α n β n u n w n 2 α n β n (1 β n ) x n u n 2 = x n p 2 α n β n (1 2β n ) x n u n 2 α n (β n α n ) x n w n 2 +α n β n u n w n 2 x n p 2 α n β n (1 2β n ) x n u n 2 +α n β n u n w n 2. (37) Using inequality (32), the fact that T is L-Lipschitzian, and the recursion formula (31), we have u n w n 2 2β 2 n L2 x n u n 2 +2γ 2 n. (38) Therefore, from inequalities (37) and(38), we obtain x n+1 p 2 x n p 2 α n β n (1 2β n 2L 2 β 2 n ) x n u n 2 +2γ 2 n. (39) Observing that condition (ii) yields that β n +L 2 β 2 n 1/4, for all n Nfor some N,itthenfollowsthat 1 α 2 n β n x n u n 2 x N p 2 +2 n=n γ 2 n n=n <, (40) which implies, by condition (iii), that lim inf n x n u n = 0. Sinceu n Tx n,itfollowsthatd(x n,tx n ) x n u n. Therefore, lim inf n d(x n,tx n )=0. We now prove the following corollaries of Theorem 9. Corollary 10. Let K be a nonempty closed convex subset of arealhilbertspaceh and T:K CB(K) amultivalued Lipschitz pseudocontractive mapping with F(T) =0and Tp = {p} p F(T). Let{x n } be the sequence defined by (31) and (32). Assume that T is hemicompact, and (i) 0 α n β n < 1 n 0;(ii)lim β n =0; (iii) α n β n = ;and(iv) γ 2 n <.Then,{x n } converges strongly to a fixed point of T.

6 International Analysis Proof. From Theorem 9, we have that lim inf n d(x n, Tx n ) = 0. So there exists a subsequence {x nk } of {x n } such that lim k d(x nk,tx nk ) = 0. Using the fact that T is hemicompact, the sequence {x nk } has a subsequence denoted again by {x nk } that converges strongly to some q K.SinceT is continuous, we have d(x nk,tx nk ) d(q,tq). Therefore, d(q, Tq) = 0 and so q F(T).Nowsettingp=qin inequality (39) and using condition (ii) we have that x n+1 q 2 x n q 2 +2γ 2 n, (41) for all n Nfor some N 1. Therefore, Lemma 7 implies that lim n x n q exists. Since lim k x nk q = 0,itthen follows that {x n } converges strongly to q F(T),completing the proof. We can easily observe that if T is nonexpansive, then it is Lipschitzian and pseudocontractive. Therefore, the following corollary generalizes Theorem SW of Song and Wang [3, 4] in the setting of Hilbert spaces. Corollary 11. Let K be a nonempty compact convex subset of arealhilbertspaceh and T:K CB(K) amultivalued Lipschitz pseudocontractive mapping with F(T) =0and Tp = {p} p F(T). Let{x n } be the sequence defined by (31) and (32). Assume that (i) 0 α n β n <1 n 0;(ii)lim β n =0; (iii) α n β n = and γ 2 n <.Then,{x n} converges strongly to a fixed point of T. Proof. Since K is compact, it follows that T is hemicompact. So, the proof follows from Corollary 10. Corollary 12. Let K be a nonempty closed convex subset of a real Hilbert space H,andletT:K CB(K) be a multivalued Lipschitz pseudocontractive mapping with F(T) =0and Tp = {p} p F(T). Let{x n } be the sequence defined by (31) and (32). Assume that T satisfies condition (I) and (i) 0 α n β n < 1 n 0;(ii)lim β n = 0; (iii) α n β n = ;and (iv) γ 2 n <.Then,{x n} converges strongly to a fixed point of T. Proof. From Theorem 9, we have that lim inf n d(x n, Tx n ) = 0. So there exists a subsequence {x nk } of {x n } such that lim k d(x nk,tx nk ) = 0.SinceT satisfies condition (I), we have lim k d(x nk, F(T)) = 0. Thus there exist a subsequence of {x nk } denoted again by {x nk } and a sequence {p k } F(T)such that x n k p k 1 2 k k. (42) By setting p = p k in inequality (39) andusingthe condition (ii), we have x 2 n k+1 p k x 2 n k p k +2γ 2 n k 1 (43) 2 k +2γ2 n k for all k k 0,forsomek 0 1. We now show that {p k } is a Cauchy sequence in K.Notice that, for k k 0, p k+1 p k 2 2 p k+1 x nk+1 2 +2 x n p 2 k+1 k 2( 1 2 2k+2 + 1 2 k +2γ2 n k ) (44) 2( 1 2 k 1 +2γ2 n k ). From condition (iv), it follows that {p k } is a Cauchy sequence in K and thus converges strongly to some q K. Using the fact that T is L-Lipschitzian and p k q,wehave d (p k,tq) H(Tp k,tq) L p k q, (45) so that d(q, Tq) = 0 and thus q Tq. Therefore, q F(T)and {x nk } converges strongly to q.nowsettingp=qin inequality (39) and using condition (ii) we have that x n+1 q 2 x n q 2 +2γ 2 n, (46) for all n Nfor some N 1. Therefore, Lemma 7 implies that lim n x n q exists. Since lim k x nk q = 0,itthen follows that {x n } converges strongly to q F(T),completing the proof. Remark 13. Our theorem and corollaries improve convergence theorems for multivalued nonexpansive mappings in [1 4, 12, 13]inthefollowingsense. (i) In our algorithm, u n Tx n,w n Ty n do not have to satisfy the restrictive conditions u n x =d(x,tx n ) and w n x = d(x,ty n ) in the recursion formula (5) and similar restrictions in the recursion formulas (7)and(8). These restrictions on u n and w n depend on x,afixedpoint that is being approximated or the fixed points set F(T).Also, in our algorithm, the second restriction on the sequences {z n } and {u n }: z n+1 u n 1 H(Tx n+1,ty n )+γ n, n 1,inthe recursion formula (11), is removed. (ii) Our theorem and corollaries are proved for the class of multivalued Lipschitz pseudocontractive mappings which is much more general than that of multivalued nonexpansive mappings Remark 14. Corollary 11 is an extension of the Theorem of Ishikawa [18] from single-valued to multivalued Lipschitz pseudocontractive mappings. Remark 15. Real sequences that satisfy the hypotheses of Theorems 9 are α n = (n + 1) 1/2, β n = (n + 1) 1/2,and γ n =(n+1) 1,n 0. Conflict of Interests The authors declare that there is no conflict of interests regarding the publication of this paper. Acknowledgment This paper is dedicated to the memory of Professor Galaye DIA (1941 2013). The authors thank the referee for his work

International Analysis 7 and his valuable suggestion that helped to improve the presentation of this paper. References [1] B. Panyanak, Mann and Ishikawa iterative processes for multivalued mappings in Banach spaces, Computers and Mathematics with Applications,vol.54,no.6,pp.872 877,2007. [2] K.P.R.SastryandG.V.R.Babu, Convergenceofishikawaiterates for a multi-valued mapping with a fixed point, Czechoslovak Mathematical Journal,vol.55,no.4,pp.817 826,2005. [3] Y. Song and H. Wang, Mann and Ishikawa iterative processes for multi-valued mappings in Banach Spaces, Computers & Mathematics with Applications,vol.54,pp.872 877,2007. [4] Y.SongandH.Wang, Erratumto MannandIshikawaiterative processes for multi-valued mappings in Banach spaces, Computers & Mathematics with Applications,vol.55,pp.2999 3002, 2008. [5]S.B.NadlerJr., Multivaledcontractionmappings, Pacific Mathematics, vol. 30, pp. 475 488, 1969. [6] J. T. Markin, Continuous dependence of fixed point sets, Proceedings of the American Mathematical Society, vol.38,pp. 545 547, 1973. [7] T. C. Lim, A fixed point theorem for multi-valued nonexpansive mappings in a uniformly convex Banach space, Bulletin of the American Mathematical Society, vol. 80, pp. 1123 1126, 1974. [8] L. Gorniewicz, Topological Fixed Point Theory of Multivalued Mappings, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1999. [9] M.Abbas,S.H.Khan,A.R.Khan,andR.P.Agarwal, Common fixed points of two multivalued nonexpansive mappings by onestep iterative scheme, Applied Mathematics Letters,vol.24,no. 2, pp. 97 102, 2011. [10] S. H. Khan, I. Yildirim, and B. E. Rhoades, A one-step iterative process for two multivalued nonexpansive mappings in Banach spaces, Computers and Mathematics with Applications, vol. 61, no. 10, pp. 3172 3178, 2011. [11] J. García-Falset, E. Llorens-Fuster, and T. Suzuki, Fixed point theory for a class of generalized nonexpansive mappings, Mathematical Analysis and Applications,vol.375,no. 1, pp. 185 195, 2011. [12] P. Z. Daffer and H. Kaneko, Fixed points of generalized contractive multi-valued mappings, Mathematical Analysis and Applications,vol.192,no.2,pp.655 666,1995. [13] N. Shahzad and H. Zegeye, On Mann and Ishikawa iteration schemes for multi-valued maps in Banach spaces, Nonlinear Analysis,Theory,MethodsandApplications,vol.71,no.3-4,pp. 838 844, 2009. [14] F. E. Browder and W. V. Petryshyn, Construction of fixed points of nonlinear mappings in Hilbert space, Mathematical Analysis and Applications,vol.20,no.2,pp.197 228, 1967. [15] C. E. Chidume, C. O. Chidume, N. Djitté,andM.S.Minjibir, Convergence theorems for fixed points of multivalued strictly pseudocontractive mappings in Hilbert spaces, Abstract and Applied Analysis, vol. 2013, Article ID 629468, 10 pages, 2013. [16] M. A. Krasnosel ski, Two observations about the method of successive approximations, Uspehi Matematieskih Nauk, vol. 10, pp.123 127,1955. [17] C. E. Chidume and S. A. Mutangadura, An example on the mann iteration method for lipschitz pseudocontractions, Proceedings of the American Mathematical Society, vol.129,no. 8, pp. 2359 2363, 2001. [18] S. Ishikawa, Fixed points by a new iteration method, Proceedings of the American Mathematical Society,vol.44,pp.147 150, 1974.

Advances in Operations Research Advances in Decision Sciences Applied Mathematics Algebra Probability and Statistics The Scientific World Journal International Differential Equations Submit your manuscripts at International Advances in Combinatorics Mathematical Physics Complex Analysis International Mathematics and Mathematical Sciences Mathematical Problems in Engineering Mathematics Discrete Mathematics Discrete Dynamics in Nature and Society Function Spaces Abstract and Applied Analysis International Stochastic Analysis Optimization