Viscosity Approximation Methods for Nonexpansive Nonself Mappings in Hilbert Spaces

Volume 2007, Article ID 48648,10pages doi:10.1155/2007/48648

Research Article

Viscosity Approximation Methods for Nonexpansive

Nonself-Mappings in Hilbert Spaces

Rabian Wangkeeree

Received 26 October 2006; Revised 22 January 2007; Accepted 28 January 2007

Recommended by Andrei I. Volodin

Viscosity approximation methods for nonexpansive nonself-mappings are studied. Let

C be a nonempty closed convex subset of Hilbert space H, P a metric projection of

H onto C and let T be a nonexpansive nonself-mapping fromC into H. For a con-traction f on C and{tn} ⊆(0, 1), let xn be the unique fixed point of the contraction

x→tnf(x) + (1−tn)(1/n)n_j=1(PT)jx. Consider also the iterative processes {yn} and

{zn}generated by yn+1=αnf(yn) + (1−αn)(1/(n+ 1))n_j=0(PT)jyn,n≥0, andzn+1=

(1/(n+ 1))n_j=0P(αnf(zn) + (1−αn)(TP)jzn),n≥0, where y0,z0∈C,{αn}is a real

se-quence in an interval [0, 1]. Strong convergence of the sese-quences{xn},{yn}, and{zn}to a fixed point ofT which solves some variational inequalities is obtained under certain appropriate conditions on the real sequences{αn}and{tn}.

Copyright © 2007 Hindawi Publishing Corporation. All rights reserved.

1. Introduction

Throughout this paper, we denote the set of all nonnegative integers byN. LetHbe a real Hilbert space with norm · and inner product·,· . LetCbe a closed convex subset of

H, andTa nonself-mapping fromCintoH. We denote the set of all fixed points ofTby

F(T), that is,F(T)= {x∈C:x=Tx}.Tis said to be nonexpansive mapping if

Tx−T y ≤ x−y (1.1)

for allx,y∈C. From condition onC, there is a mappingPfromHontoCwhich satisfies

_x−PCx=min

for allx∈C. This mappingPis said to be the metric projection fromHontoC. We know that the metric projection is nonexpansive. Recall that a self-mappingf :C→Cis a

con-traction onCif there exists a constantα∈(0, 1) such that

_{f(x)−f(y)≤αx−y ∀x,y∈C. (1.3)}

We useΠCto denote the collection of all contractions onC. That is,

ΠC= {f : f :C−→Ca contraction}. (1.4)

Note that each f ∈ΠChas a unique fixed point inC.

Given a real sequence{tn} ⊆(0, 1) and a contraction f ∈ΠC, define another mapping

Tn:C→Cby

Tnx=tnf(x) +1−tn_n1n j=1

(PT)jx ∀n≥1. (1.5)

It is not hard to see thatTnis a contraction onC. Indeed, forx,y∈C, we have

_Tnx−Tny=

tnf(x)−f(y)+1−tn_n1

_n

j=1

(PT)jx−

n

j=1

(PT)jy

≤tnf(x)−f(y)+1−tn1_nn j=1

_(PT)j_x−(PT)j_y

≤tnαx−y+1−tnx−y =1−tn(1−α)x−y.

(1.6)

For eachn, letxn∈Cbe the unique fixed point ofTn. Thusxnis the unique solution of fixed point equation

xn=tnfxn+1−tn_n1n j=1

(PT)jxn ∀n≥1. (1.7)

One of the purposes of this paper is to study the convergence of{xn}when tn→0 as

n→ ∞in Hilbert spaces. Fixu∈Cand define a contractionSnonCby

Snx=tnu+1−tn1_nn j=1

(PT)jx ∀n≥1. (1.8)

Letsn∈Cbe the unique fixed point ofSn. Thus

sn=tnu+1−tn_n1n j=1

(PT)jsn ∀n≥1. (1.9)

We also study the convergence of the following iteration schemes: fory0,z0∈C,

com-pute the sequences{yn}and{zn}by the iterative schemes

yn+1=αnf

yn+1−αn_{n+ 1}1 n j=0

(PT)jyn, n≥0, (1.10)

zn+1= 1

n+ 1

n

j=0

Pαnfzn+1−αn(TP)jzn, n≥0, (1.11)

where{αn}is a real sequence in [0, 1], f :C→Cis a contraction mapping onC, andP is the metric projection ofH ontoC. The first special case of (1.10) was considered by Shimizu and Takahashi [2] who introduced the following iterative process:

yn+1=αny+

1−αn_{n+ 1}1 n j=0

Tj_{yn, n≥0, (1.12)}

wherey,y0are arbitrary (but fixed) and{αn} ⊆[0, 1] and then they proved the following

theorem.

Theorem 1.1 [2]. LetCbe a nonempty closed convex subset of a Hilbert spaceH, letT be a nonexpansive self-mapping ofCsuch thatF(T) is nonempty, and letPF(T)be the

met-ric projection fromC onto F(T). Let{αn} be a real sequence which satisfies 0≤αn≤1, limn→∞αn=0, and∞n=0αn= ∞. Letyandy0be element ofCand let{yn}be the sequence

defined by (1.12). Then{yn}converges strongly toPF(T)y.

The second special case of (1.10) and (1.11) was considered by Matsushita and Kuroiwa [3] who introduced the following iterative process:

yn+1=αny+

1−αn_n1

+ 1

n

j=0

(PT)jyn, n≥0,

zn+1= 1

n+ 1

n

j=0

Pαnz+1−αn(TP)jzn, n≥0,

(1.13)

where y,z,y0,z0 are arbitrary (but fixed) inC and{αn} ⊆[0, 1]. More precisely, they

proved the following theorem.

Theorem 1.2 [3]. LetH be a Hilbert space,C a closed convex subset ofH,P the met-ric projection ofH onto C, and letT be a nonexpansive nonself-mapping fromCintoH such thatF(T) is nonempty, and{αn} a sequence of real numbers such that 0≤αn≤1, limn→∞αn=0, and∞n=0αn= ∞. Suppose that{yn}and{zn} are defined by (1.13),

re-spectively. Then{yn}and{zn}converge strongly toPF(T)yandPF(T)zinF(T), respectively,

wherePF(T)is the metric projection fromContoF(T).

spaces. Our results extend and improve the corresponding ones announced by Shimizu and Takahashi [2], Matsushita and Kuroiwa [3], and others.

2. Preliminaries

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

Lemma 2.1. LetH be a real Hilbert space,Ca closed convex subset ofH, andPC:H→C the metric (nearest point) projection. Givenx∈H andy∈C, then y=PCxif and only if there holds the inequality

x−y,y−z ≥0 ∀z∈C. (2.1)

Definition 1. A mappingT:C→H is said to satisfy nowhere normal outward (NNO)

condition if and only if for eachx∈C,Tx∈SC

x, whereSx= {y∈H:y=x,Py=x}and Pis the metric projection fromHontoC.

The following results were proved by Matsushita and Kuroiwa [4].

Lemma 2.2 (see [4, Proposition 2, page 208]). Let H be a Hilbert space,Ca nonempty closed convex subset ofH,Pthe metric projection ofHontoC, andT:C→Ha nonexpan-sive nonself-mapping. IfF(T) is nonempty, thenTsatisfiesNNOcondition.

Lemma 2.3 (see [4, Proposition 1, page 208]). Let H be a Hilbert space,Ca nonempty closed convex subset ofH,Pthe metric projection ofH ontoC, andT:C→H a nonself-mapping. Suppose thatTsatisfies NNO condition. ThenF(PT)=F(T).

Lemma 2.4 (see [4]). LetHbe a Hilbert space,Ca closed convex subset ofH, andT:C→C a nonexpansive self-mapping withF(T)= ∅. Let{xn}be a sequence inCsuch that{xn+1−

(1/(n+ 1))n_i=+11Tixn}converges strongly to 0 asn→ ∞and let{xnj}be a subsequence of

{xn}such that{xnj}converges weakly tox. Thenxis a fixed point ofT.

Finally, the following two lemmas are useful for the proof of our main theorems.

Lemma 2.5 (see [5]). Let {αn}be a sequence in [0, 1] that satisfies limn→∞αn=0 and

_∞

n=1αn= ∞. Let{an}be a sequence of nonnegative real numbers such that for all>0,

there exists an integerN≥1 such that for alln≥N,

an+1≤

1−αnan+αn. (2.2)

Then limn→∞an=0.

Lemma 2.6 (see [5]). LetH be a Hilbert space,Ca nonempty closed convex subset ofH, and f :C→Ca contraction with coefficientα <1. Then

x−y, (I−f)x−(I−f)y≥(1−α)x−y2_{, x,y∈C. (2.3)}

Remark 2.7. As inLemma 2.6, if f is a nonexpansive mapping, then

3. Main results

Theorem 3.1. LetHbe a Hilbert space,Ca nonempty closed convex subset ofH,Pthe met-ric projection ofHontoC, andT:C→Ha nonexpansive nonself-mapping withF(T)= ∅. Let{tn}be sequence in (0, 1) which satisfies limn→∞tn=0. Then for a contraction mapping f :C→Cwith coefficientα∈(0, 1), the sequence{xn}defined by (1.7) converges strongly toz, wherezis the unique solution inF(T) to the variational inequality

(I−f)z,x−z≥0, x∈F(T), (3.1)

or equivalentlyz=PF(T)f(z), wherePF(T)is a metric projection mapping fromHontoF(T).

Proof. SinceF(T) is nonempty, it follows thatTsatisfiesNNOcondition byLemma 2.2. We first show that{xn}is bounded. Letq∈F(T). We note that

_xn−q=tnf

xn+1−tn_n1n j=1

(PT)jxn−q

≤tnfxn−q+1−tn1_nn j=1

(PT)jxn−(PT)jq

≤tnfxn−q+1−tnxn−q ∀n≥1.

(3.2)

So we get

_xn−q≤f

xn−q≤fxn−f(q)+f(q)−q

≤αxn−q+f(q)−q ∀n≥1. (3.3)

Hence

_xn−q≤ 1

1−αf(q)−q ∀n≥1. (3.4)

This shows that{xn}is bounded, so are{f(xn)},{(1/n)n_j=1(PT)jxn}. Further, we note

that

xn−1_n

n

j=1

(PT)jxn=tnfxn+1−tn1_nn j=1

(PT)jxn−_n1

n

j=1

(PT)jxn

=tnfxn−1_n

n

j=1

(PT)jxn

≤tnfxn+1

n n

j=1

(PT)jxn

−→0 asn−→ ∞.

Thus {xn−(1/n)n_j=1(PT)jxn} converges strongly to 0. Since {xn} is a bounded

se-quence, there is a subsequence{xnj}of{xn}which converges weakly toz∈C. By Lemmas

2.3and2.4, we havez∈F(T). For eachn≥1, since

xn−z=tnfxn−z+1−tn1_nn j=1

(PT)jxn−z, (3.6)

we get

_xn−z2

=1−tn

1

n n

j=1

(PT)jxn−z,xn−z

+tn fxn−z,xn−z

≤1−tnxn−z2

+tn fxn−z,xn−z.

(3.7)

Hence

_xn−z2

≤ fxn−z,xn−z

= fxn−f(z),xn−z+ f(z)−z,xn−z

≤αxn−z2

+ f(z)−z,xn−z.

(3.8)

This implies that

_xn−z2

≤ 1

1−α xn−z, f(z)−z

. (3.9)

In particular, we have

_xn

j−z

2

≤ 1

1−α xnj−z, f(z)−z

. (3.10)

Sincexnjz, it follows that

xnj−→z as j−→ ∞. (3.11)

Next we show thatz∈Csolves the variational inequality (3.1). Indeed, we note that

xn=tnfxn+1−tn_n1n j=1

(PT)jxn ∀n≥1, (3.12)

we have

(I−f)xn= −1−_tntn

xn−_n1

n

j=1

(PT)jxn

Thus for anyq∈F(T), we infer byRemark 2.7that

(I−f)xn,xn−q= −1−tn

tn

I−1

n n

j=1

(PT)j

xn,xn−q

= −1−_tntn

I−1_n

n

j=1

(PT)j

xn−

I−1_n

n

j=1

(PT)j

z,xn−q

≤0 ∀n≥1.

(3.14)

In particular

(I−f)xnj,xnj−q

≤0 ∀j≥1. (3.15)

Taking j→ ∞, we obtain

(I−f)z,z−q≤0 ∀q∈F(T), (3.16)

or equivalent toz=PF(T)f(z) as required. Finally, we will show that the whole sequence

{xn}converges strongly toz. Let another subsequence{xnk}of{xn}be such thatxnk→

z_{∈Cask→ ∞. Thenz∈F(T), it follows from the inequality (3.16) that}

(I−f)z,z−z_{≤0. (3.17)}

Interchangezandzto obtain

(I−f)z,z−z≤0. (3.18)

Adding (3.17) and (3.18) and byLemma 2.6, we get

(1−α)z−z2_{≤ z−z, (I−f)z−(I−f)z≤0. (3.19)}

This implies thatz=z_{. Hence{xn}converges strongly toz. This completes the proof.}

Theorem 3.2. LetCbe a nonempty closed convex subset of a Hilbert spaceH,Pthe metric projection ofH ontoC, andT:C→H a nonexpansive nonself-mapping withF(T)= ∅. Let{αn}be a sequence in [0, 1] which satisfies limn→∞αn=0 and∞n=1αn= ∞. Then for

a contraction mapping f :C→Cwith coefficientα∈(0, 1), the sequence{yn}defined by (1.10) converges strongly to z, where z is the unique solution in F(T) of the variational

Proof. SinceF(T) is nonempty, it follows thatTsatisfiesNNOcondition byLemma 2.2. We first show that{yn}is bounded. Letq∈F(T). We note that

_yn+1−q=

αnfyn+1−αn_{n+ 1}1

n

j=0

(PT)jyn−q

≤αnfyn−q+1−αn 1

n+ 1

n

j=0

_(PT)j_yn−q

≤αnfyn−f(q)+αnf(q)−q+1−αnyn−q

≤αnαyn−q+αnf(q)−q+1−αnyn−q

=1−αn(1−α)yn−q+αnf(q)−q

≤maxyn−q, 1

1−αf(q)−q

∀n≥1.

(3.20)

So by induction, we get

_{yn−q≤maxy0−q,} 1

1−αf(q)−q

, n≥0. (3.21)

This shows that{yn}is bounded, so are{f(yn)}and{(1/(n+ 1))n_j=0(PT)jyn}. We

ob-serve that

yn+1− 1

n+ 1

n

j=0

(PT)jyn=αnfyn+1−αn_n1_{+ 1}n j=0

(PT)jyn− 1

n+ 1

n

j=0

(PT)jyn

=αnfyn−_n1 + 1

n

j=0

(PT)jyn ≤αn _f

yn+ 1

n+ 1

n

j=0

(PT)jyn

.

(3.22)

Hence{yn+1−(1/(n+ 1))

_n

j=0(PT)jyn}converges strongly to 0. We next show that

lim sup

n→∞ z−yn,z−f(z)

≤0. (3.23)

Let{ynj}be a subsequence of{yn}such that

lim

j→∞ z−ynj,z−f(z)

=lim sup

n→∞ z−yn,z−f(z)

, (3.24)

and ynjq∈C. It follows by Lemmas2.3and2.4that q∈F(PT)=F(T). By the

in-equality (3.1), we get

lim sup

n→∞ z−yn,z−f(z)

as required. Finally, we will show thatyn→z. For eachn≥0, we have _yn+1−z2

=yn+1−z+αnz−f(z)−αnz−f(z)2

≤yn+1−z+αn

z−f(z)2+ 2αn yn+1−z, f(z)−z

=αnfyn+1−αn_n1

+ 1

n

j=0

(PT)jyn−αnf(z) +1−αnz

2

+ 2αn yn+1−z, f(z)−z

=αnfyn−f(z)+1−αn_{n+ 1}1 n j=0

(PT)jyn−z

2

+ 2αn yn+1−z, f(z)−z

≤

αnfyn−f(z)+1−αn 1

n+ 1

n

j=0

_(PT)j_yn−z

2

+ 2αn yn+1−z,f(z)−z

≤

αnαyn−z+1−αn_n1

+ 1

n

j=0

_yn−z2

+ 2αn yn+1−z,f(z)−z

=1−αn(1−α)2yn−z2

+ 2αn yn+1−z,f(z)−z

≤1−αn(1−α)yn−z2

+ 2αn yn+1−z,f(z)−z.

(3.26)

Now, let>0 be arbitrary. Then, by the fact (3.23), there exists a natural numberNsuch that

z−yn,z−f(z)≤

2 ∀n≥N. (3.27)

From (3.26), we get

_yn+1−z2

≤1−αn(1−α)yn−z2

+αn. (3.28)

ByLemma 2.5, the sequence{yn}converges strongly to a fixed pointzofT. This

com-pletes the proof.

By using the same arguments and techniques as those ofTheorem 3.2, we have also the following main theorem.

Theorem 3.3. LetCbe a nonempty closed convex subset of a Hilbert spaceH,Pthe metric projection ofH ontoC, andT:C→H a nonexpansive nonself-mapping withF(T)= ∅. Let {αn}be sequence in [0, 1] which satisfies limn→∞αn=0 and∞n=1αn= ∞. Then for

a contraction mapping f :C→Cwith coefficient α∈(0, 1), the sequence{zn}defined by (1.11) converges strongly to z, where z is the unique solution in F(T) of the variational

Acknowledgment

The authors would like to thank Faculty of science, Naresuan University, Thailand, for financial support.

References

[1] T. Shimizu and W. Takahashi, “Strong convergence theorem for asymptotically nonexpansive mappings,” Nonlinear Analysis, vol. 26, no. 2, pp. 265–272, 1996.

[2] T. Shimizu and W. Takahashi, “Strong convergence to common fixed points of families of nonex-pansive mappings,” Journal of Mathematical Analysis and Applications, vol. 211, no. 1, pp. 71–83, 1997.

[3] S.-Y. Matsushita and D. Kuroiwa, “Strong convergence of averaging iterations of nonexpansive nonself-mappings,” Journal of Mathematical Analysis and Applications, vol. 294, no. 1, pp. 206– 214, 2004.

[4] S.-Y. Matsushita and D. Kuroiwa, “Approximation of fixed points of nonexpansive nonself-mappings,” Scientiae Mathematicae Japonicae, vol. 57, no. 1, pp. 171–176, 2003.

[5] H.-K. Xu, “Viscosity approximation methods for nonexpansive mappings,” Journal of Mathe-matical Analysis and Applications, vol. 298, no. 1, pp. 279–291, 2004.

Rabian Wangkeeree: Department of Mathematics, Faculty of Science, Naresuan University, Phitsanulok 65000, Thailand