yii - hindawi publishing corporationdownloads.hindawi.com/journals/ijmms/1997/230875.pdfinternat. j....

5
Internat. J. Math. & Math. Sci. VOL. 20 NO. 3 (1997) 517-520 517 CONVERGENCE OF ISHIKAWA ITERATES OF GENERALIZED NONEXPANSIVE MAPPINGS M. K. GHOSH Deprtment of Mathematics Narajole Raj College, Midnapore, 721211 West Bengal, INDIA and L. DEBNATH Depment of Mathematics University of Central Florida Orlando, Florida, 32816, U.S.A. (Received Hay 15, 1995 and in revised form September 30, 1996) ABSTRACT. This paper is concerned with the convergence of Ishikawa iterates of generalized nonexpansive mappings in both uniformly convex and strictly convex Banach spaces. Several fixed point theorems are discussed. KEY WORDS AND PHRASES. Fixed point theorems, quasi-nonexpansive mappings, uniformly convex Banach spaces, and strictly convex Banach spaces. 1991 AMS SUBJECT CLASSIFICATION CODES. 47H10, 54H25. 1. INTRODUCTION Recently, Hardy and Rogers (1973) discussed the convergence of Ishikawa (1974) iterates of generalized nonexpansive mappings in a metric space These mappings have also been discussed in a Banach space by Goebel et al. (1973), Wong (1976) and Shimi (1978). The purpose of this paper is to discuss the convergence of the Ishikawa iterates of generalized nonexpansive mappings in a uniformly convex space and in a strictly convex anach space It is shown that results proved by Ghosh (1990) for nonexpansive mappings are also true for generalized nonexpansive mappings. Furthermore, it is shown that a result of Wong (1976) for the case of Mann iterates (1953) is also true for the case of Ishikawa iterates. 2. GENERALIZED NON-EXPANSIVE MAPPINGS AND ISHIKAWA ITERATIVE PROCESS Suppose/3 is a Banach space and D is a convex subset of/3. A mapping T" D --, D is said to be generalized nonexpansive if IITz Tyll <_ ailx YII + b{llx Tall + II TylI} + c{llx Tyll + Ily Txll} (2.1) for all x, y 6 D, where a, b, c k 0 and (a + 25 + 2c) < 1 (2.2) In this connection we recall a fixed point theorem due to Goebel et al. (1973), an analogue of which has been established by Browder (1965) and Kirk (1965).

Upload: phamdang

Post on 05-Mar-2019

215 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: YII - Hindawi Publishing Corporationdownloads.hindawi.com/journals/ijmms/1997/230875.pdfInternat. J. Math. & Math. Sci. VOL. 20 NO. 3 (1997) 517-520 517 CONVERGENCEOFISHIKAWAITERATESOF

Internat. J. Math. & Math. Sci.VOL. 20 NO. 3 (1997) 517-520

517

CONVERGENCE OF ISHIKAWA ITERATES OFGENERALIZED NONEXPANSIVE MAPPINGS

M. K. GHOSHDeprtment ofMathematics

Narajole Raj College, Midnapore, 721211West Bengal, INDIA

and

L. DEBNATHDepment ofMathematicsUniversity ofCentral Florida

Orlando, Florida, 32816, U.S.A.

(Received Hay 15, 1995 and in revised form September 30, 1996)

ABSTRACT. This paper is concerned with the convergence of Ishikawa iterates of generalized

nonexpansive mappings in both uniformly convex and strictly convex Banach spaces. Several fixed pointtheorems are discussed.

KEY WORDS AND PHRASES. Fixed point theorems, quasi-nonexpansive mappings, uniformlyconvex Banach spaces, and strictly convex Banach spaces.1991 AMS SUBJECT CLASSIFICATION CODES. 47H10, 54H25.

1. INTRODUCTIONRecently, Hardy and Rogers (1973) discussed the convergence of Ishikawa (1974) iterates of

generalized nonexpansive mappings in a metric space These mappings have also been discussed in a

Banach space by Goebel et al. (1973), Wong (1976) and Shimi (1978).The purpose of this paper is to discuss the convergence of the Ishikawa iterates of generalized

nonexpansive mappings in a uniformly convex space and in a strictly convex anach space It is shown

that results proved by Ghosh (1990) for nonexpansive mappings are also true for generalized

nonexpansive mappings. Furthermore, it is shown that a result of Wong (1976) for the case of Manniterates (1953) is also true for the case ofIshikawa iterates.

2. GENERALIZED NON-EXPANSIVE MAPPINGS AND ISHIKAWA ITERATIVE PROCESSSuppose/3 is a Banach space and D is a convex subset of/3. A mapping T" D --, D is said to be

generalized nonexpansive if

IITz Tyll <_ ailx YII + b{llx Tall + II TylI} + c{llx Tyll + Ily Txll} (2.1)

for all x, y 6 D, where a, b, c k 0 and

(a + 25 + 2c) < 1 (2.2)

In this connection we recall a fixed point theorem due to Goebel et al. (1973), an analogue ofwhich

has been established by Browder (1965) and Kirk (1965).

Page 2: YII - Hindawi Publishing Corporationdownloads.hindawi.com/journals/ijmms/1997/230875.pdfInternat. J. Math. & Math. Sci. VOL. 20 NO. 3 (1997) 517-520 517 CONVERGENCEOFISHIKAWAITERATESOF

518 M K. GHOSH AND L. DEBNATH

THEOREM 2.1 (Goebel et al. (1973)) If D is a closed bounded convex subset of a uniformlyconvex Banach space/3, and T D D is a cominuous mapping that satisfies (2.1) and (2.2), then Thas a fixed point.

REMARK 1. If b > 0, then the fixed point is unique. For, if possible, suppose p and q are twofixed points of T. Then it is easy to derive from (2. l) that

II- qll -< ( + 2c)ll,- qll < (= + 2b + 2c)11,- qll (2.3)

which implies that p q.

REMARK 2. A generalized nonexpansiv mapping T is also quasi-nonexpansive if it has a fixedpoint. Ifp is a fixed poim ofT, then

IIT il <_ (a /-b-cb/ c_)IIz ’11 <- IIz ’11 (2.)

because of the fact that (1 b c) > (a + b + c). Thus T is quasi-nonexpansive. This was introducedby Bose and Mukherjee (.1981).

REMARK 3. IfD is a dosed bounded convex subset of a uniformly convex Banach space B andT D D is a continuous mapping satisfying (2.1) with (2.2), then T is asymptotically regular. Theproofofthis result may be established exactly in the same way as it has been done by Ghosh (1990).

Suppose D is a convex subset of a Banach space B and T is a self-mapping of D. For an z0 D,we define a sequence {z,,},,=l such that

x, T.,x0, T,, (1 ,X)I + AT[(1 #)I + gTl. (2 5)

The interativ scheme (2.5) was introduced by Ishikawa (1974). Or, in earlier notation,

T,. (1 A)I + ATTu, (2.6)

where A (0,1) and/ q [0,1), so that T.g T when/ 0.

3. CONVERGENCE OF I$ltIKAWA ITEITE$

First, we observe that F(T) F(T,,) where F(T) denotes the fixed point set of the generalizednonexpansiv mapping T. It is obvious that

F(T) C F(T,x.t,) (3.1)

If p . F(T,.,), that is, T,,t,p p, which implies that TT,p p, since T is generalized nonexpansiveWe then have

[[Tp p[[ [[Tp TT,p[[ < a[[p T,p[[ + b[[[p Tp[[ + lip- Tup[[ + c[[Tp- Tup[[

The above remit gives

(1 b c)llTp- Pll < (a + b + c)l]T,p Pll #(a + b + c)l]Tp Pl]

This implies that

[[Tp p[] _<\ -_- - [[Tp p[[ (3.2)

whence, we get Tp p, since 1-b-c / < 1. Then

F(Tx,u C F(T) (3.3)

Thus (3.1) and (3.3) yield F(T) F(T,x,,).We now state the following variants of theorems due to Ghosh (1990) and they can be proved by

following Ghosh’s paper.

Page 3: YII - Hindawi Publishing Corporationdownloads.hindawi.com/journals/ijmms/1997/230875.pdfInternat. J. Math. & Math. Sci. VOL. 20 NO. 3 (1997) 517-520 517 CONVERGENCEOFISHIKAWAITERATESOF

CONVERGENCE OF ISHIKAWA ITERATES OF GENERALIZED NON’EXPANSIVE MAPPINGS 519

THEOREM 3.1. If D is a bounded closed convex subset of a uniformly convex Banach space Band T D D be a cominuous mapping satisfying (2.1) with (2.2), then Tx,u is asymptotically regular.

It may be noted that the case, when/ 0 in the above theorem, has been proved by Wong (1976).THEOREM 3.2. Suppose D is a bounded closed convex subset of a uniformly convex Banach

space B, and T D --, D is a continuous mapping which satisfies (2.1) with (2.2). IfT satisfies any one

ofthe following conditions:

(a) (I TTu) maps closed sets in D imo closed sets in B,(b) TT, is demicompact at 0,then, for an z0 e D, the sequence {zn} with zn T.,z0 converges to a fixed poim ofT in D.

THEOREM 3.3. If D is a bounded closed convex subset of a uniformly convex Banach space 13and T D D be a continuous mapping satisfying (2.1) with (2.2). Ifthere exists a number k > 0 such

that, for each z D,

Ii(I TT.)xll >_ k d(x, F) (3.4)

then, for an xo D, the sequence {z.) with x. T,.z0 converges to a fixed point ofT in D.

DEFINITION 3.1. A Banach space is said to be sctly convex provided that if

IIz + /[I [Izll + II/ll and z # 0, # 0, then /= tz, > 0

e now prove a result which is close in spirit with the one proved by Wong [4] in connection with theconvergence ofMann iterates.

THEOREM 3.4. Suppose D is a compact convex subset of a strictly convex Banach space B andT D D is a continuous mapping satisfying (2.1) with (2.2). Then, for an z0 6 D, the sequence {z.}with z. T,z0 converges to a fixed point ofT in D.

PROOF. First, we observe that F(T) is nonempty, because the existence of a fixed point is ensuredby the Schauder-Tychonoff theorem. Then, obviously, F(T) F(T,u # . Since D is compact, thesequence {z.} has a subsequence {z., } which converges to a point z, say, in D. We show that z is a

fixed point of T. The quasi-nonexpansiveness ofT follows from 10]. If T is quasi-nonexpansive, then

Tx,. is also quasi-nonexpansive, as seen from (3.6) below. From the quasi-nonexpansiveness of T,. we

observe that the sequence { IIz. Pll } is non-increasing, where p is a fixed point ofT. In fact,

-< -IIz= pll. (3.5)

Now, if F(T) is a singleton, then p z and the theorem is proved. We now. assume otherwise. Thenfrom the continuity ofthd norm, I[-It and Tx,u we obtain

lira IlTx,.z=, P]I IIT,.z pll. (3 6)

Therefore, because ofthe quasi-nonexpansiveness ofT, and (3 6), we have

[]T..z p]] }Ix Pl[ (3.7)

Page 4: YII - Hindawi Publishing Corporationdownloads.hindawi.com/journals/ijmms/1997/230875.pdfInternat. J. Math. & Math. Sci. VOL. 20 NO. 3 (1997) 517-520 517 CONVERGENCEOFISHIKAWAITERATESOF

520 M.K. GHOSH AND L. DEBNATH

Indeed,

IIT,.,z Pl] I](1 A)x + ATTvzI1(1 A)(x p) + A(TT,x

< (x )llz t, / ,XlITT.z_< (1 A)liz ;’11 / AIIT.z

(I A)]]z p]] + A]](I p)z + #rz

If we take imo account (3.?) and (3.8), it follows that inequalities involved in (3.8) reduce to

equalities. Thus we have the following results:

II(I A)( v) + A(TT v)ll (I A)II= II + AIIT, il 0.9)

fITS,= vll II= vll. (3 0)

Since the space B is strictly convex, then for some > 0, we have

TT=- t(z v). (.

From (3. 0) we observe that t I, which implies that TTvz z. Thus z is a fixed point of TA,v andhence of T. But we have already observed that {]]z, z[[} is nonincreasing and hence {z} convergesto z. This completes the proof.

REMARK 4. The present analysis can be extended to a more general mapping T which satisfies

1 1T= Tvll < ma{ll -vll, [II= =II + fly- vlll, [II vll + fly- T=II]), (3.)

for all a:,b, ( D. This mapping includes nonexpansive and generalized nonexpansive mappings (seeRhoades (I 977)). It is easy to verify that T is quasi-nonexpansive.

ACKNOWLEDGEMENT. The first author is indebtexl to Prof. M. Maiti for his suggestion in thepreparation ofthis paper.

REFERENCESBOSE, R. K. and MUKHERJEE, R. N., Approximating fixed points of some mappings, Proc. Amer.

Math. Soc. $2 (I98 I), 603-606.

BROWDER, F. E., Nonexpansiv nonlinear operations in Banach space, Proc. Nat. ActwL ScL U.S.A. $4(196s), i0a-i0.

GHOSH, M. K., On the convergence of Ishikawa iterates to fixed points, Ph.D. thesis, JadavpurUniversity, India, 1990.

GOEBEL, K., KIRK, W. A. and SHIM1, T. N., A fixed point theorem in uniformly convex Banachspaces, Bull. U.M.I. 7 (1973), 67-75.

HARDY, G. F. and ROGERS, T. D., A generalization of a fixed point theorem of Reich, Cand. Math.Bull. 1 (I 973), 20.1-206.

ISHIKAWA, S., Fixed points by a new iteration mhod, Proc. Amer. Math. Soc. 44 (1974), 147-150KIRK, W A., A fixed point theorem for mappings which do not decrease distances, Amer. Math.

Monthly 72 (196S), 004-006.

MANN, W. R., Mean value methods in iteration, Proc. Amer. Math. Soc. 4 (1953), 506-510RHOADES, B. E., A comparison of various definitions of comractiv mappings, Trans. Amer. Soc. 22(i

(977), 2s7-290.

SHIM1, T N., Approximation offixed poims of certain nonlinear mappings, J. Math. Anal. andAppl. (iS(97s),

WONG, C. S., Approximation of fixed points ofgeneralized nonexpansive mappings, Proc. Amer. Math.Soc. 4 (I 976), 93-97.

Page 5: YII - Hindawi Publishing Corporationdownloads.hindawi.com/journals/ijmms/1997/230875.pdfInternat. J. Math. & Math. Sci. VOL. 20 NO. 3 (1997) 517-520 517 CONVERGENCEOFISHIKAWAITERATESOF

Submit your manuscripts athttp://www.hindawi.com

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical Problems in Engineering

Hindawi Publishing Corporationhttp://www.hindawi.com

Differential EquationsInternational Journal of

Volume 2014

Applied MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical PhysicsAdvances in

Complex AnalysisJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

OptimizationJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Operations ResearchAdvances in

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Function Spaces

Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of Mathematics and Mathematical Sciences

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Algebra

Discrete Dynamics in Nature and Society

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Decision SciencesAdvances in

Discrete MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com

Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Stochastic AnalysisInternational Journal of