# Iterative Approximation of Common Fixed Points of Two Nonself Asymptotically Nonexpansive MappingsAcademic research paper on "Mathematics"

CC BY
0
0
Share paper
OECD Field of science
Keywords
{""}

## Academic research paper on topic "Iterative Approximation of Common Fixed Points of Two Nonself Asymptotically Nonexpansive Mappings"

﻿Hindawi Publishing Corporation Discrete Dynamics in Nature and Society Volume 2011, Article ID 487864,16 pages doi:10.1155/2011/487864

Research Article

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

Esref Turkmen,1 Safeer Hussain Khan,2 and Murat Ozdemir1

1 Department of Mathematics, Faculty of Science, Ataturk University, 25240 Erzurum, Turkey

2 Department of Mathematics, Statistics and Physics, Qatar University, Doha 2713, Qatar

Correspondence should be addressed to Murat Ozdemir, mozdemir@atauni.edu.tr Received 11 October 2010; Accepted 17 February 2011 Academic Editor: Xiaohui Liu

Copyright © 2011 Esref Turkmen 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.

Suppose that K is nonempty closed convex subset of a uniformly convex and smooth Banach space E with P as a sunny nonexpansive retraction and F := F(T1) n F(T2) = {x € K : T1x = T2x = x} = 0. Let T1,T2 : K ^ E be two weakly inward nonself asymptotically nonexpansive mappings with respect to P with two sequences {k^} C [1, ro) satisfying - 1) < ^(i =

1,2), respectively. For any given x1 € K, suppose that {xn} is a sequence generated iteratively by xn+1 = (1 - an)(PT1)nyn + an (PT2 )n yn, yn = (1 fin)xn + Pn(PTi)nxn, n € N, where {an} and {fin} are sequences in [a, 1 - a] for some a € (0,1). Under some suitable conditions, the strong and weak convergence theorems of {xn} to a common fixed point of T1 and T2 are obtained.

1. Introduction

Let E be a real Banach space with K, its nonempty subset. Let T : K ^ K be a mapping. A point x e K is called a fixed point of T if and only if Tx = x. In this paper, N stands for the set of natural numbers. We will also denote by F(T) the set of fixed points of T, that is, F(T) = {x e K : Tx = x} and by F := F(Ti) n F(T2), the set of common fixed points of two mappings Ti and T2. T is called asymptotically nonexpansive if for a sequence {kn} c [1, to) withlimn= 1, \\Tnx-Tny\\ < kn\\x-y\\ for all x,y e K and all n e N. T is called uniformly L-Lipschitzian if for some L> 0, \\Tnx-Tny\\ < L\\x-y\\ for all n e N and all x,y e K. T is said to be nonexpansive if \\Tx - Ty\\ < \\x - y\\ for all x,y e K. Let P : E ^ K be a nonexpansive retraction of E into K. A nonself-mapping T : K ^ E is called asymptotically nonexpansive (according to Chidume et al. [1]) if for a sequence {kn} c [1, to) with limn= 1, we have \\T(PT)n-1x - T(PT)n-1y\\ < kn\\x - y\\ for all x,y e K and n e N. T is called uniformly

L-Lipschitzian if for some L> 0, \\T(PT)n-1x - T(PT)n-1y\\ < L\\x - y\\ for all n e N and all x,y e K.

In what follows, we fix xi e K as a starting point of the process under consideration, and take {an}, [pn] sequences in (0,1).

Agarwal et al. [2] recently introduced the iteration process

xn+i = (1 - an)Tnxn + anTnyn,

yn = (1 - pn)xn + pnTnxn, n eN.

They showed that their process is independent of Mann and Ishikawa and converges faster than both of these. See Proposition 3.1 [2].

Obviously the above process deals with one self-mapping only. The case of two mappings in iteration processes has also remained under study since Das and Debata [3] gave and studied a two mappings scheme. Also see, for example, Takahashi and Tamura [4] and Khan and Takahashi [5]. Note that two mappings case, that is, approximating the common fixed points, has its own importance as it has a direct link with the minimization problem, see, for example, Takahashi [6].

Being an important generalization of the class of nonexpansive self-mappings, the class of asymptotically nonexpansive self-mappings was introduced by Goebel and Kirk [7] whereas the concept of asymptotically nonexpansive nonself-mappings was introduced by Chidume et al. [1] in 2003 as a generalization of asymptotically nonexpansive self-mappings. Actually they studied the iteration process

xn+1 = p((1 - an)xn + anT(PT)n-1xn), n e N. (1.2)

Nonself asymptotically nonexpansive mappings have been studied by many authors [8-11]. Wang [10] studied the process

Xn+i = p((1 - a„)x„ + a„Ti(PTi)n-1yA

yn = P((1 - ßn)Xn + ßnT2(PT2)n-1Xn), n € N.

Very recently, Thianwan [12] considered a new iterative scheme (called projection type Ishikawa iteration) as follows:

Xn+1 = P( (1 - an)yn + anT\(PT\)n-1yn),

yn = P((1 - ßn)Xn + ßnT2(PT2)n-1Xn), n e N.

As a matter of fact, if T is a self-mapping, then P is an identity mapping. In addition, if T : K ^ E is asymptotically nonexpansive and P : E ^ K is a nonexpansive retraction, then

PT : K ^ K is asymptotically nonexpansive. Indeed, for all x,y e K and n e N, it follows that

\\(PT)nx - (PT)ny\\ = ||PT(PT)n-1x - PT(PT)n-1y\\

< H T(PT)n-1x - T(PT)n-1y\\ (1.5)

< kn\\x - y\\.

The converse, however, may not be true. Therefore, Zhou et al. [13] introduced the following generalized definition recently.

Definition 1.1 (see [13]). Let K be a nonempty subset of real normed linear space E. Let P : E ^ K be the nonexpansive retraction of E into K.

(i) A nonself-mapping T : K ^ E is called asymptotically nonexpansive with respect to P if there exists sequences {kn} e [1, to) with kn ^ 1 as n ^ to such that

\\ (PT)nx - (PT)ny\\ < kn\\x - y\\, Vx,y e K,n eN. (1.6)

(ii) A nonself-mapping T : K ^ E is said to be uniformly L-Lipschitzian with respect to P if there exists a constant L > 0 such that

\\ (PT)nx - (PT)ny\\ < L\\x - y\\, Vx,y e K,n eN. (1.7)

Futhermore, by studying the following iterative process

x1 e K, xn+1 = anxn + \$n(PT\ )nxn + Yn(PTi )nxn, n eN, (1.8)

where {an}, [pn], and [jn] are three sequences in [a, 1 - a] for some a e (0,1), satisfying an + ¡3n + jn = 1, Zhou et al. [13] obtained some strong and weak convergence theorems for common fixed points of nonself asymptotically nonexpansive mappings with respect to P in uniformly convex Banach spaces. As a consequence, the main results of Chidume et al. [1] were deduced.

Incorporating the ideas of Agarwal et al. [2], Thianwan [12], and Zhou et al. [13], a new two-step iterative scheme for two nonself asymptotically nonexpansive mappings is introduced and studied in this paper. Our process reads as follows.

Let K be a nonempty closed convex subset of a real normed linear space E with retraction P. Let Ti,T2 : K ^ E be two nonself asymptotically nonexpansive mappings with respect to P:

x1 e K,

xn+1 = (1 - an) (PT1)nyn + an(PT2)nyn, yn = (1 - ¡n)xn + ¡n(PT1)nxn, n eN,

where {an} and {¡n} are sequences in [0,1]. Following the method of Agarwal et al. [2], it is not difficult to see that our process is able to compute common fixed points at a rate better than (1.3) and (1.4).

Under suitable conditions, the sequence {xn} defined by (1.9) can also be generalized to iterative sequence with errors. Thus all the results proved in this paper can also be proved for the iterative process with errors. In this case our main iterative process (1.9) looks like

x1 e K,

Xn+1 = an(PT\)nyn + pn(PT2 )nyn + YnUn, (1.10)

yn = a'nXn + fin(PTt)nXn + inVn, n e N,

where {an}, {¡n}, {jn}, {a'n}, {¡n}, {fn} are real sequences in [0,1] satisfying an + ¡n + jn = 1 = a'n + ¡'n + Yn and {un}, {vn} are bounded sequences in K. Observe that the iterative process (1.10) with errors reduces to the iterative process (1.9) when Yn = Yn = 0.

2. Preliminaries

For the sake of convenience, we restate the following concepts and results.

Let E be a Banach space with its dimension greater than or equal to 2. The modulus of E is the function Se (e) : (0,2] ^ [0,1] defined by

\(x + y)

SE(e) = inf 1 -

||x|| = 1, ||y|| = 1,e = ||x - y|| . (2.1)

A Banach space E is uniformly convex if and only if SE(e) > 0 for all e e (0,2].

Let E be a Banach space and S(E) = {x e E : ||x|| = 1}. The space E is said to be smooth

X + ty|| - 11X11 p

t ^ 0 t

exists for all x,y e S(E).

A subset K of E is said to be a retract if there exists a continuous mapping P : E ^ K such that Px = x for all x e K. A mapping P : E ^ E is said to be a retraction if P2 = P. Let C and K be subsets of a Banach space E. A mapping P from C into K is called sunny if P(Px + t(x - Px)) = Px for x e C with Px + t(x - Px) e C and t > 0.

Note that, if P is a retraction, then Pz = z for every z e R(P) (the range of P). It is well-known that every closed convex subset of a uniformly convex Banach space is a retract. For any x e K, the inward set IK(x) is defined as follows:

Ik(x) = [y e E : y = x + X(z - x),z e K,X > 0}. (2.3)

A mapping T : K ^ E is said to satisfy the inward condition if Tx e IK(x) for all x e K. T is said to be weakly inward if Tx e cl IK (x) for each x e K, where cl IK(x) is the closure of Ik (x).

A Banach space E is said to satisfy Opial's condition if, for any sequence {xn} in E, xn —^ x implies that

lim sup\\xn - x|| < lim sup ||xn - y|| (2.4)

for all y e E with y fx, where xn ^ x means that {xn} converges weakly to x.

Recall that the mapping T : K ^ K with F(T) / 0 is said to satisfy condition (A) [14] if there is a nondecreasing function f : [0, to) ^ [0, to) with f (0) = 0, f (t) > 0 for all t e (0, to) such that ||x - Tx|| > f (d(x,F(T))) for all x e K, where d(x,F(T)) = inf{||x - p\\ : p e F(T)}. Khan and Fukhar-ud-din [15] modified condition (A) for two mappings as follows: Two mappings T1, T2 : K ^ K are said to satisfy condition (A') [15] if there is a nondecreasing function f : [0, to) ^ [0, to) with f (0) = 0, f (t) > 0 for all t e (0, to) such that

-(||x- Tjxll + ||x- X2x||) > f{d{x, F)) (2.5)

for all x e K, where d(x, F) = inf {||x - p|| : p e F := F(Ti) n F(T2)}.

Note that condition (A') reduces to condition (A) when T1 = T2. It is also well-known that condition (A) is weaker than demicompactness or semicompactness, see [14].

A mapping T with domain D(T) and range R(T) in E is said to be demiclosed at p if whenever {xn} is a sequence in D(T) such that {xn} converges weakly to x* e D(T) and {Txn} converges strongly to p, then Tx* = p.

We need the following lemmas for our main results.

Lemma 2.1 (see [16]). If {rn}, {tn} are two sequences of nonnegative real numbers such that

rn+l < (1 + tn)rn, n eN

and ^nU tn < n, then limn^nrn exists.

Lemma 2.2 (see [17]). Suppose that E is a uniformly convex Banach space and 0 <p < tn < q < 1 for all n e N. Also, suppose that {xn} and {yn} are sequences of E such that

lim sup || xn || < r, lim sup 11 yn II < r, lim 11(1 - tn)xn + tnynII = r (27)

hold for some r > 0. Then limn ^œ\\xn - yn\\ = 0.

Lemma 2.3 (see [18]). Let E be real smooth Banach space, let K be nonempty closed convex subset of E with P as a sunny nonexpansive retraction, and let T : K ^ E be a mapping satisfying weakly inward condition. Then F(PT) = F(T).

Lemma 2.4 (see [1]). Let E be a uniformly convex Banach space and let C be a nonempty closed convex subset of E. Let T be a nonself asymptotically nonexpansive mapping. Then I - T is demiclosed with respect to zero, that is, xn — x and xn - Txn ^ 0 imply that Tx = x.

3. Main Results

3.1. Convergence Theorems in Real Banach Spaces

In this section, we prove the strong convergence of the iteration scheme (1.9) to a common fixed point of nonself asymptotically nonexpansive mappings T1 and T2 with respect to P in real Banach spaces. Let T1, T2 : K ^ E be two nonself asymptotically nonexpansive mappings with respect to P with sequences {k®} c [1, to) satisfying ^TO=1(k<n) - 1) < to(z' = 1,2), respectively. Put k n = max{k(j),k^'}, then obviously y,n=1 (kn - 1) < to. From now on we will take this sequence {kn} for both T1 and T2. We first prove the following lemmas.

Lemma 3.1. Let E be a real normed linear space and K a nonempty closed convex subset of E which is also a nonexpansive retract of E. Let T1,T2 : K ^ E be two nonself asymptotically nonexpansive mappings with respect to P with sequence {kn} c [1, to) satisfying £TO=1 (kn - 1) < to. Suppose that {xn } is defined by (1.9) and F / 0. Then,

(i) limn ^TO\\xn - p\\ exists for all p e F;

(ii) there exists a constant M > 0 such that \\xn+m - p\\ < M\\xn - p\\ for all m,n e N and p e F.

Proof. (i) Let p e F. From (1.9), we have

IIyn - P|| = ||(1 - Pn)xn + pn(PT)nxn - p||

< (1 - pn) ||xn - p|| + ^n|(PT1)nxn - p||

< (1 - pn) ||xn - p|| + pnknUxn - p| = (1 + pn(kn - 1))||xn - p||

< (1 + (kn - 1))||xn - p|| = kn^xn -p!-

By (3.1) and (1.9), we obtain

||xn+1 - p|| = || (1 - an)(PT1)nyn - an( PT2)nyn - p||

= || (1 - an) (( PT1)nyn - p) - an (( PT2)nyn - p) ||

< (1 - an)kn^yn -p! + ankn^yn -p! = kn\yn - p!

< k2nx - p1

= (1 + (k2 - 1))||xn -p||-

Note that ^TO=1(kn - 1) < to is equivalent to 2TOUk - 1) < to. Thus, by (3.2) and Lemma 2.1, limn^TO\\xn - p\\ exists for all p e F(T).

(ii) From (3.2), we have

||x„+i - p\\ < k2n\\xn - p\\- (3.3)

It is well known that 1 + x < ex for all x > 0. Using it for the above inequality, we have

\\xn+m - p\\ < (1 + (k2+m-l - \\xn+m-1 - p\\

< ek^+m-1-1\xn+m-i - p\\

< ek2+m-1-1[(1 + (kn+m-2 - 1))Wxn+m-2 - p\\]

< ek2+m-1-1+k2+m-2-1\\xn+m-2 - p\\ (3.4)

< e^+r1 (k2-1)\\xn - p\\

< M\\xn - p\\,

where M = 1(fcr_1). That is, \\xn+m - p\\ < M\\xn - p\\ for all m, n e N and peF. □

Theorem 3.2. Let E be a real Banach space and K a nonempty closed convex subset of E which is also a nonexpansive retract of E. Let T1,T2 : K ^ E be two nonself asymptotically nonexpansive mappings with respect to P with sequence {kn} c [1, to) satisfying £TO=1 (kn - 1) < to. Suppose that {xn} is defined by (1.9) and F = 0. Then, {xn} converges strongly to a common fixed point of T1 and T2 if and only if liminfn ^TOd(xn,F) = 0, where d(xn,F) = inf{||x - p|| : p e F}.

Proof. The necessity of the conditions is obvious. Thus, we need only prove the sufficiency. Suppose that liminfn^TOd(xn,F) = 0. From (3.2), we have

d(xn+1 ,F) < (1 + (k2n - 1))d(xn,F). (3.5)

As XTO=1(kn - 1) < to, therefore limn^TOd(xn,F) exists by Lemma 2.1. But by hypothesis liminfn^TOd(xn,F) = 0, therefore we must have limn^TOd(xn,F) = 0.

Next we show that {xn} is a Cauchy sequence. Let e > 0. Since limn^TOd(xn,F) = 0, therefore there exists a constant n0 such that for all n > n0, we have

d(xn,F)<-—, (3.6)

where M> 0 is the constant in Lemma 3.1 (ii). So we can find p' e F such that

'II —

Pll<2 M'

Using Lemma 3.1 (ii), we have for all n > n0 and m e N that

Hxn+m xnW < \\xn+m p y + \\xn p \\

< M\\xno - p'\\ + M\\xno - p'\\

= 2M\xno -P'\\

Hence {xn} is a Cauchy sequence in a closed subset K of a Banach space E, therefore it must converge to a point in K. Let limn^TOxn = q. Now, limn^TOd(xn,F) = 0 gives that d(q,F) = 0. Since the set of fixed points of asymptotically nonexpansive mappings is closed, we have q e F. This completes the proof of the theorem. □

On the lines similar to this theorem, we can also prove the following theorem which addresses the error terms.

Theorem 3.3. Let E be a real Banach space and K a nonempty closed convex subset of E which is also a nonexpansive retract of E. Let T1, T2 : K ^ E be two asymptotically nonexpansive mappings with respect to P withsequence {kn} c [1, to) satisfying£ TO=1(kn-1) < to. Supposethat {xn} isdefinedby (1.10) withX TO=1 Yn < to, £ TO=1 j'n < to and F / 0, Then, {xn} converges strongly to a common fixed point of Ti and T2 if and only if liminfn ^TOd(xn,F) = 0, where d(xn,F) = inf{||x - p|| : p e F}.

3.2. Convergence Theorems in Real Uniformly Convex Banach Spaces

In this section, we prove the strong and weak convergence of the sequence defined by the iteration scheme (1.9) to a common fixed point of nonself asymptotically nonexpansive mappings T1 and T2 with respect to P in real uniformly convex and smooth Banach space. We first prove the following lemma.

Lemma 3.4. Let K be a nonempty closed convex subset of a real uniformly convex Banach space E. Let T1, T2 : K ^ E be two nonself asymptotically nonexpansive mappings with respect to P with sequence {kn} c [1, to) satisfying £TO=1(kn - 1) < to. Suppose that {xn} is defined by(1.9), where {an} and {pn} are sequences in [a, 1 - a] for some a e (0,1). IfF / 0, then

lim ||xn - (PTi)XnW = lim ||xn - (PT2)XnW = 0.

Proof. By Lemma 3.1(i), limn^<x,||xn - p|| exists. Assume that limn^œ||xn - p|| = c. If c = 0, the conclusion is obvious. Suppose c > 0. Taking lim sup on both sides in that inequality (3.1), we have

lim sup\yn - p\\ < lim sup\\xn - p\\ = lim \\xn - p\\ = c.

(3.10)

Thus \\(PT1)nyn - p\\ < kn\\yn - p\\ for all n e N implies that

lim sup || (PT1)nyn - p\\ < c.

(3.11)

Similarly,

lim sup || (PT2)nyn - p\\ < c.

(3.12)

Further,

c = lim ||xn+1 - p\\

n — ra" 11

= lim ||(1 - an)(PT1 )nyn + an(PT2)nyn - p\\

= lim ||(1 - an)((PT1)nyn - p) + an((PT2)nyn - p)||

(1 - an)

lim sup ((PT)nyn - p)

lim sup ((PT2)nyn - p)

< lim [(1 - an)c + anc\

(3.13)

gives that

lim ||(1 - an)((PT!)nyn - p) + an((PT2)nyn - p) || = c.

(3.14)

Hence, using (3.11), (3.12), (3.14), and Lemma 2.2, we obtain

lim||(PT2)nyn - (PT1)nyn|| = 0.

(3.15)

Noting that

|xn+1 - p|| = ||(1 - an)(PT)nyn + an(PT2)nyn - p||

< ||(PT1)nyn - p|| + an||(PT2)nyn - (PT1 )ny

< kn||yn - p|| + an||(PT2)nyn - (PT1)nyn||

which yields that

(3.16)

c < liminf||yn - p||.

(3.17)

By (3.10) and (3.17), we obtain

HmJ|yn - p|| = c. (3.18)

Moreover, \\(PTi)nxn - p\\ < kn\\xn - p\\ for all n e N implies that

limsup||(PT1)nXn - p|| < c. (3.19)

c = lim ||y„ - p||

n —^TO

= lim ||(1 - ßn)xn + ßn(PTt)nXn - p||

n —^TO

= lim ||(1 - ßn)(xn - p) + ßn((PTi)nXn - p)||

n — TO

(1 - ßn)

lim sup (xn - p)

n — TO

lim sup ((PT1)nxn - p)

< lim [(1 - ßn)c + ßnc\

(3.20)

gives that

nlim ||(1 - ßn)(xn - p) + ßn((PTx)nxn - p)|| = c. (3.21) Again by Lemma 2.2, we obtain

lim ||(PT1)nxn - xn|| = 0. (3.22)

n — TO x '

In addition, from yn = (1 - ßn)xn + ßn(PT\)nxn, we have

||yn -xn|| = ßn||(PT1)nxn -xn||. (3.23)

Hence by (3.22),

lim ¡yn - xn! = 0. (3.24)

n — to" x '

||(PT2)nyn - xn|| < ||(PT2)nyn - (PT1)nyn|| + ||(PT1)nyn - (PT1)nxn|| +||(PT1 )nxn - xn|| < ||(PT2)nyn - (PT1)nyn|| + knUyn - xn|| + ||(PT1)nxn - xn||

(3.25)

implies by (3.15), (3.22), and (3.24) that

lim ||(PT2)ny„ -xn\\ = 0. (3.26)

Using (3.24) and (3.26), we obtain

||(PT2)nXn - Xn\\ < |(PT2)nXn - (PT2)nyn\\ + W^^n - Xn\

< kn\\Xn - yn \ + \(PT2)nyn - Xn\,

so that

\(PT1 )nyn - Xn\\ < \(PT1)nyn - (PT1)nXn\ + \(PT1 )nXn - Xn|

< kn\\yn - Xn\\ + \(PT1)nXn - Xn |

||Xn+1 - Xn II = \(1 - an)(PT1)nyn + an(PT2)nyn - Xn\

(3.27)

lim \(PT2)nXn - Xn\\ = 0. (3.28)

(3.29)

nlim\(PT1)nyn - Xn \ = 0. (3.30)

From (3.15), and (3.30), we have

< \(PT1 )nyn - Xn\\ + an\(PT2)nyn - (PT1)nyn\ (3.31) —> 0 as n —> to .

Thus from ||Xn+1 - yn|| < |Xn+1 - XnII + IXn - yn||, we get

lim \\Xn+1 - yn\\ = 0. (3.32)

n ^OT "II \ /

From (3.30), (3.31) and

\\Xn+1 - (PT1)nyn\\ < ||Xn+1 - Xn| + \\Xn - (PT1 )nyn\\, (3.33)

we have

lim \\Xn+1 - (PT1)nyn\\ = 0. (3.34)

Now we make use of the fact that every nonself asymptotically nonexpansive mapping with respect to P must be uniformly L-Lipschitzian with respect to P combined with (3.22), (3.32), and (3.34), where L = supneN{k 1, to reach at

\\Xn - (PTi)XnW < \\xn - (PT1)nXn\\ + || (PT\)nXn - (PT\)nyn-11| + ||(PT1)ny„-1 - (PT1 )x„|| < WXn - (PT1)nXn^ + kn^Xn - yn-1 W + L||(PT1)n-1yn-1 - Xn W•

(3.35)

lim \Xn - (PT1)Xn W = 0. (3.36)

n —> TO v '

From (3.24), (3.26), and (3.31), we have

|| Xn+1 - (PT2)nXn|| < WXn+1 - Xn W + ||Xn - (PT2)nyn|| + || (PT2)nyn - ^2)^

< \\Xn+1 - Xn W + || Xn - (PT2)nynH + kn||yn - Xn || (3.37) —> 0 as n — to,

and so

lim ||Xn+1 - (PT2)nXn|| = 0. (3.38)

n — TO

Again making use of the fact that every nonself asymptotically nonexpansive mapping with respect to P must be uniformly L-Lipschitzian with respect to P and (3.28), (3.31) and (3.38), we have

WXn+1 - (PT2)Xn+1 W < || Xn+1 - (PT2)n+1Xn+11| + W(PT2)n+!Xn+1 - ^^H

+ W(PT2)n+!Xn - (PT2)Xn+11| (3.39)

< ||Xn+1 - (PT2)n+1Xn+11| + kn+1 WXn+1 - Xn W + LW(PT2)nXn - Xn+1 W •

This gives,

lim WXn - (PT2)Xn W = 0. (3.40)

n — TO v '

This completes the proof of the lemma. □

Theorem 3.5. Let K be a nonempty closed convex subset of a real uniformly convex and smooth Banach space E with P as a sunny nonexpansive retraction. Let T1,T2 : K — E be two weakly inward and nonself asymptotically nonexpansive mappings with respect to P with sequence {kn} c [1, to)

satisfying XTOh(k„ - 1) < to. Suppose that {xn} is defined by (1.9), where {an} and {fin} are two sequences in [a, 1 - a] for some a e (0,1). If one of T1 and T2 is completely continuous and F / 0, then{xn} converges strongly to a common fixed point of T1 and T2.

Proof. By Lemma 3.1 (i), limn ^TO\\xn - p\\ exists for any p e F .It is sufficient to show that {xn} has a subsequence which converges strongly to a common fixed point of Ti and T2. By Lemma 3.4, limn^TO\\xn-(PT1)xn\\ = limn^TO\\xn-(PT2)xn\\ = 0. Suppose that T1 is completely continuous. Noting that P is nonexpansive, we conclude that there exists subsequence {PT1xnj} of {PT1xn} such that PT^ ^ p. Thus \\xnj - p\\ < \\xnj - PT^\\ + WPT^ - p\\ implies xnj ^ p as j ^ to. Again limj^TO\\xnj - (PT1 )xnj \\ = 0 yields by continuity of P and T1 that p = PT1p. Similarly p = PT2p. By Lemma 2.3, p = T1p = T2p. Since F is closed, so p e F. Thus {xn} converges strongly to a common fixed point p of T1 and T2. This completes the proof. □

Theorem 3.6. Let K be a nonempty closed convex subset of a real uniformly convex and smooth Banach space E with P as a sunny nonexpansive retraction. Let T1,T2 : K ^ E be two weakly inward and nonself asymptotically nonexpansive mappings with respect to P with sequence {kn} c [1, to) satisfying J^TO=1(kn - 1) < to. Suppose that {xn} is defined by (1.9), where {an} and {fin} are two sequences in [a, 1 - a] for some a e (0,1). If T1 and T2 satisfy condition (A') and F / 0, then {xn} converges strongly to a common fixed point of T1 and T2.

Proof. By Lemma 3.1(i), limn^TO\\xn - p\\ exists, and so, limn^TOd(xn,F) exists for all p e F. Also, by Lemma3.4 limn^TO\\xn - (PT1)xn\ = limn^TO\\xn - (PT2)xn\\ = 0. It follows from condition (A') and Lemma 2.3 that

lim f(d(xn,F)) < lim - (PTi)x„|| + ||x„ - (PT2)xn\\)) = 0. (3.41)

'i^TO n^TO \ 2 /

That is,

lim f (d(xn,F)) = 0.

(3.42)

Since f : [0, to) ^ [0, to) is a nondecreasing function satisfying f (0) = 0, f (t) > 0 for all t e (0, to), therefore we have

lim d(xn,F) = 0.

(3.43)

From Theorem 3.2, we obtain that {xn} is a Cauchy sequence in K. Since K is a closed subset of a complete space, there exists a q e K such that xn ^ q as n ^ to. Then, limn^TOd(xn, F) = 0 yields that d(q, F) = 0. Further, it follows from the closedness of F that q e F. This completes the proof. □

Theorem 3.7. Let K be a nonempty closed convex subset of a real uniformly convex and smooth Banach space E satisfying Opial's condition with P as a sunny nonexpansive retraction. Let T1,T2 : K ^ E be two weakly inward and nonself asymptotically nonexpansive mappings with respect to P with sequence {kn} c [1, to) satisfying £TO=1(kn - 1) < to. Suppose that {xn} is defined by (1.9),

where {a„} and [p„} are two sequences in [a, 1 - a] for some a e (0,1). IfF / 0, then {x„} converges weakly to a common fixed point of T1 and T2.

Proof. Let p e F .By Lemma 3.1(i), lim„ —TO\\x„ - p\\ exists, and {x„} is bounded. Note that PT and PT2 are self-mappings from K into itself. We now prove that {x„} has a unique weak subsequential limit in F. Suppose that subsequences {x„k} and {xH]} of {x„} converge weakly to p1 and p2, respectively. By Lemma 3.4, we have lim„^^\\x„k - (PTi)x„k\\ = 0, (i = 1,2). Lemma 2.4 guarantees that (I - PTi)pi = 0, that is, (PTi)pi = pi. Similarly, (PT2)pi = pi. Again in the same way, we can prove that p2 e F. Lemma 2.3 now assures that p1, p2 e F. For uniqueness, assume that p1 = p2, then by Opial's condition, we have

lim \\x„ - p1\ = lim \\x„k - p1\

„ — to k — to

< lim \\x„k - p2\\

k — to

= - p2 \\ (3.44)

< lim lxnl - p1

j — ^ N j I

= lim \\x„ - p1\\

which is a contradiction and hence p1 = p2. As a result, {x„} converges weakly to a common fixed point of Xi and T2. □

In a way similar to the above, we can also prove the results involving error terms as follows.

Theorem 3.8. Let K be a nonempty closed convex subset of a real uniformly convex and smooth Banach space E with P as a sunny nonexpansive retraction. Let T1,T2 : K — E be two weakly inward and nonself asymptotically nonexpansive mappings with respect to P with sequence {k„} c [i, to) satisfying XTO=1(k„ - i) < to. Suppose that {x„} is the sequence defined by (1.10) satisfying the following conditions:

(i) £TO=i Y„< to, £TO=i Y„ < to;

(ii) {a„} and {a„} are two sequences in [a, 1 - a] for some a e (0,1).

If one of T1 and T2 is completely continuous and F = 0, then {x„} converges strongly to a common fixed point of T1 and T2.

Theorem 3.9. Let K be a nonempty closed convex subset of a real uniformly convex and smooth Banach space E with P as a sunny nonexpansive retraction. Let T1,T2 : K — E be two weakly inward and nonself asymptotically nonexpansive mappings with respect to P with sequence {k„} c [i, to) satisfying XTO=1(k„ - i) < to. Suppose that {x„} is the sequence defined by (1.10) satisfying the following conditions:

(i) £TO=1 Y„< to, £TO=1 y„ < to;

(ii) {a„} and {a„} are two sequences in [a, 1 - a] for some a e (0,1).

If T1 and T2 satisfy condition (A') and F f 0, then {xn} converges strongly to a common fixed point of T1 and T2.

Theorem 3.10. Let K be a nonempty closed convex subset of a real uniformly convex and smooth Banach space E satisfying Opial's condition with P as a sunny nonexpansive retraction. Let Ti,T2 : K ^ E be two weakly inward and nonself asymptotically nonexpansive mappings with respect to P with sequence {kn}c [1, to) satisfying £™=i(kn -1) < to. Suppose that {xn} is the sequence defined by (1.10) satisfying the following conditions:

(i) £TO=i Yn< to, £TO=i jn < to;

(ii) {an} and {a'n} are two sequences in [a, 1 - a] for some a e (0,1). If F / 0, then {xn} converges weakly to a common fixed point of T1 and T2.

Acknowledgments

The authors are extremely grateful to the referees for useful suggestions that improved the

content of the paper. This paper was supported by Ataturk University Rectorship under "The

Scientific and Research Project of Ataturk University," Project no: 2010/276.

References

[1] C. E. Chidume, E. U. Ofoedu, and H. Zegeye, "Strong and weak convergence theorems for asymptotically nonexpansive mappings," Journal of Mathematical Analysis and Applications, vol. 280, no. 2, pp. 364-374, 2003.

[2] R. P. Agarwal, D. O'Regan, and D. R. Sahu, "Iterative construction of fixed points of nearly asymptotically nonexpansive mappings," Journal of Nonlinear and Convex Analysis, vol. 8, no. 1, pp. 61-79, 2007.

[3] G. Das and J. P. Debata, "Fixed points of quasinonexpansive mappings," Indian Journal of Pure and Applied Mathematics, vol. 17, no. 11, pp. 1263-1269,1986.

[4] W. Takahashi and T. Tamura, "Limit theorems of operators by convex combinations of nonexpansive retractions in Banach spaces," Journal of Approximation Theory, vol. 91, no. 3, pp. 386-397,1997.

[5] S. H. Khan and W. Takahashi, "Approximating common fixed points of two asymptotically nonexpansive mappings," Scientiae Mathematicae Japonicae, vol. 53, no. 1, pp. 143-148, 2001.

[6] W. Takahashi, "Iterative methods for approximation of fixed points and their applications," Journal of the Operations Research Society of Japan, vol. 43, no. 1, pp. 87-108, 2000.

[7] K. Goebel and W. A. Kirk, "A fixed point theorem for asymptotically nonexpansive mappings," Proceedings of the American Mathematical Society, vol. 35, pp. 171-174,1972.

[8] S. H. Khan and N. Hussain, "Convergence theorems for nonself asymptotically nonexpansive mappings," Computers & Mathematics with Applications, vol. 55, no. 11, pp. 2544-2553, 2008.

[9] H. K. Pathak, Y. J. Cho, and S. M. Kang, "Strong and weak convergence theorems for nonself-asymptotically perturbed nonexpansive mappings," Nonlinear Analysis: Theory, Methods & Applications, vol. 70, no. 5, pp. 1929-1938, 2009.

[10] L. Wang, "Strong and weak convergence theorems for common fixed point of nonself asymptotically nonexpansive mappings," Journal of Mathematical Analysis and Applications, vol. 323, no. 1, pp. 550-557, 2006.

[11] L. Yang, "Modified multistep iterative process for some common fixed point of a finite family of nonself asymptotically nonexpansive mappings," Mathematical and Computer Modelling, vol. 45, no. 9-10, pp. 1157-1169, 2007.

[12] S. Thianwan, "Common fixed points of new iterations for two asymptotically nonexpansive nonself-mappings in a Banach space," Journal of Computational and Applied Mathematics, vol. 224, no. 2, pp. 688-695, 2009.

[13] H. Y. Zhou, Y. J. Cho, and S. M. Kang, "A new iterative algorithm for approximating common fixed points for asymptotically nonexpansive mappings," Fixed Point Theory and Applications, vol. 2007, Article ID 64874,10 pages, 2007.

[14] H. F. Senter and W. G. Dotson, Jr., "Approximating fixed points of nonexpansive mappings," Proceedings of the American Mathematical Society, vol. 44, pp. 375-380,1974.

[15] S. H. Khan and H. Fukhar-ud-din, "Weak and strong convergence of a scheme with errors for two nonexpansive mappings," Nonlinear Analysis: Theory, Methods & Applications, vol. 61, no. 8, pp. 12951301, 2005.

[16] H. Zhou, R. P. Agarwal, Y. J. Cho, and Y. S. Kim, "Nonexpansive mappings and iterative methods in uniformly convex Banach spaces," Georgian Mathematical Journal, vol. 9, no. 3, pp. 591-600, 2002.

[17] J. Schu, "Weak and strong convergence to fixed points of asymptotically nonexpansive mappings," Bulletin of the Australian Mathematical Society, vol. 43, no. 1, pp. 153-159,1991.

[18] W. Takahashi, Nonlinear Functional Analysis: Fixed Point Theory and Its Applications, Yokohama Publishers, Yokohama, Japan, 2000.

Copyright of Discrete Dynamics in Nature & Society is the property of Hindawi Publishing Corporation and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use.