• No results found

A General Iterative Method of Fixed Points for Mixed Equilibrium Problems and Variational Inclusion Problems

N/A
N/A
Protected

Academic year: 2020

Share "A General Iterative Method of Fixed Points for Mixed Equilibrium Problems and Variational Inclusion Problems"

Copied!
25
0
0

Loading.... (view fulltext now)

Full text

(1)

Volume 2010, Article ID 370197,25pages doi:10.1155/2010/370197

Research Article

A General Iterative Method of

Fixed Points for Mixed Equilibrium Problems and

Variational Inclusion Problems

Phayap Katchang

1

and Poom Kumam

1, 2

1Department of Mathematics, Faculty of Science, King Mongkut’s University of Technology Thonburi,

(KMUTT), Bangmod, Bangkok 10140, Thailand

2Centre of Excellence in Mathematics, CHE, Si Ayutthaya Road, Bangkok 10400, Thailand Correspondence should be addressed to Poom Kumam,[email protected]

Received 27 October 2009; Accepted 16 March 2010

Academic Editor: Jong Kyukkyungnam Kim

Copyrightq2010 P. Katchang and P. Kumam. 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.

The purpose of this paper is to investigate the problem of finding a common element of the set of solutions for mixed equilibrium problems, the set of solutions of the variational inclusions with set-valued maximal monotone mappings and inverse-strongly monotone mappings, and the set of fixed points of a family of finitely nonexpansive mappings in the setting of Hilbert spaces. We propose a new iterative scheme for finding the common element of the above three sets. Our results improve and extend the corresponding results of the works by Zhang et al.2008, Peng et al.2008, Peng and Yao2009, as well as Plubtieng and Sriprad2009and some well-known results in the literature.

1. Introduction

Throughout this paper, we assume thatHis a real Hilbert space with inner product and norm being denoted by·,·and · , respectively, 2Hdenoting the family of all subsets ofHand letingCbe a closed convex subset of H.AmappingS : CCis called nonexpansiveif

SxSyxy,for allx, yC. We useFSto denote the set of fixed points ofS, that is,FS {xC : Sx x}. It is assumed throughout the paper thatSis a nonexpansive mapping such thatFS/∅. Recall that a self-mappingf :CCiscontractiononCif there exists a constantα∈0,1andx, yCsuch thatfxfyαxy. LetAbe a strongly positive bounded linear operator onH: that is, there is a constantγ >0 with property

(2)

LetA : HH be a single-valued nonlinear mapping and letM : H → 2H be a set-valued mapping. We consider the followingvariational inclusion problem, which is to find a pointuHsuch that

θAu Mu, 1.2

whereθis the zero vector inH. The set of solutions of problem1.2is denoted byIA, M. IfM ∂φ : H → 2H, whereφ : H → R∪ {∞}is a proper convex lower semi-continuous function and∂φis the subdifferential ofφ, then the variational inclusion problem

1.2is equivalent to finduHsuch that

Au, vuφyφu≥0,v, yH, 1.3

which is called themixed quasivariational inequalitysee1.

IfM∂δC, whereCis a nonempty closed convex subset ofHandδC :H → 0,∞is

the indicator function ofC, that is,

δCx

0, xC,

, x /C, 1.4

then the variational inclusion problem1.2is equivalent to finduCsuch that

Au, vu ≥0,vH. 1.5

This problem is calledHartman-Stampacchia variational problemsee2–4.

A set-valued mappingM :H → 2His called monotone if, for allx, yH,fMx andgMyimply thatxy, fg ≥0. A monotone mappingM:H → 2His maximal if the graph ofGMofMis not properly contained in the graph of any other monotone mapping. It is known that a monotone mapping M is maximal if and only if, for x, fH×H,

xy, fg ≥0 for everyy, gGMimplies thatfMx.

Let the set-valued mappingM : H → 2H be a maximal monotone. We define the

resolvent operatorJM,λthat is associate withMandλas follows:

JM,λu IλM−1u, uH, 1.6

whereλis a positive number. It is worth mentioning that the resolvent operatorJM,λis

single-valued, nonexpansive, and 1-inverse-strongly monotonesee5,6.

Let ϕ : C → R∪ {∞} be a proper extended real-valued function and letF be a bifunction ofC×CintoR, whereRis the set of real numbers. Ceng and Yao7considered the followingmixed equilibrium problemfor findingxCsuch that

(3)

The set of solutions of1.7is denoted by MEPF, ϕ. We see thatxis a solution of problem

1.7implying thatx∈domϕ {xC|ϕx <∞}. Ifϕ 0, then the mixed equilibrium problem1.7becomes the followingequilibrium problemthat is to findxCsuch that

Fx, y≥0 ∀yC. 1.8

The set of solutions of 1.8 is denoted by EP(F). Given a mapping T : CH, let

Fx, y Tx, yx for allx, yC. Then z ∈ EPF if and only ifTz, yz ≥ 0 for allyC,that is,zis a solution of the variational inequality. The mixed equilibrium problems include fixed point problems, variational inequality problems, optimization problems, Nash equilibrium problems, and the equilibrium problem as special cases. Numerous problems in physics, optimization, and economics reduce to find a solution of1.8. Some methods have been proposed to solve the equilibrium problemsee8–21.

In 2008, Zhang et al.6introduced an iterative scheme for finding a common element of the set of solutions to the variational inclusion problem with a multivalued maximal monotone mapping and an inverse-strongly monotone mapping and the set of fixed points of nonexpansive mapping in Hilbert spaces. The iterative scheme isx0xH,and:

ynJM,λxnλAxn,

xn1αnx 1−αnSyn

1.9

for alln≥0. They proved the strong convergence theorem under some mind conditions. In the same year, Peng et al.22introduced an iterative scheme by the viscosity approximate method for finding a common element of the set of solutions of a variational inclusion with set-valued maximal monotone mapping and inverse-strongly monotone mapping, the set of solutions of an equilibrium problem, and the set of fixed points of a nonexpansive mapping in Hilbert spaces. The sequence{xn}is generated as follows:

x1∈H,

Fun, yr1

nyun, unxn ≥0,yC,

ynJM,λunλAun,

xn1αnfxn 1−αnSyn,n∈N.

1.10

They proved that if {αn} and {rn} satisfy appropriate conditions, then {xn} converges

strongly tozFSIA, M, wherezPFSIA,Mfz.

(4)

problem in Hilbert spaces. Starting with an arbitraryx1 ∈H, define the sequences{xn},{yn},

and{un}by

Fun, yr1

nyun, unxn ≥0,yC,

ynJM,λunλAun,

xn1αnγfxn 1−αnBSyn,n∈N,

1.11

whereAis an inverse-strongly monotone mapping andBis a bounded linear operator onH. They proved that if the sequences{αn}and{rn}of parameters satisfy appropriate conditions,

then{xn}is generated by1.11converging strongly to the unique solution of the variational

inequality

Bγfz, zx ≤0,xFS∩EPFIA, M, 1.12

which is the optimality condition for the minimization problem

min

xC

1

2Ax, xhx, 1.13

wherehis a potential function forγf, that is,h1x γfx, for allxH.

LetTi :CC, wherei1,2, . . . , N, be a family of finitely nonexpansive mappings.

Let the mappingWn:CCbe defined by

Un,0I,

Un,1λn,1T1Un,0 1−λn,1I,

Un,2λn,2T2Un,1 1−λn,2I,

.. .

Un,N−1λn,N−1TN−1Un,N−2 1−λn,N−1I,

WnUn,Nλn,NTNUn,N−1 1−λn,NI,

1.14

where{λn,1},{λn,2}, . . . ,{λn,N} ∈0,1. Such a mappingWnis called theW-mappinggenerated

byT1, T2, . . . , TNandλn,1, λn,2, . . . , λn,N. Nonexpansivity of eachTiensures the nonexpansivity

ofWn. Moreover, in24, Lemma 3.1, it is shown thatFWn Ni1FTi.

The concept ofW-mappings was introduced in 25, 26. It is now one of the main tools in studying convergence of iterative methods for approaching common fixed points of nonlinear mappings; more recent progresses can be found in24,27,28and the references cited therein.

(5)

nonexpansive mappings, and the set of solutions of a variational inequality problem for a monotone, Lipschitz continuous mapping. The sequence{xn}is generated by

x1xC,

Fun, yϕyϕun Bxn, yunr1

nyun, unxn ≥0,yC,

ynPCunλAun,

xn1αnxn 1−αnWnPC

unλAyn,n∈N,

1.15

where A is monotone and Lipschitz continuous mapping and B is an inverse-strongly monotone mapping. They proved the weak convergence theorem if the sequences{αn}and

{rn}of parameters satisfy appropriate conditions.

In this paper, motivated by the above results and the iterative schemes considered by Zhang et al. in6, Peng et al. in 22, Peng and Yao in 29, and Plubtieng and Sriprad in

23, we present a new general iterative scheme for finding a common element of the set of solutions for mixed equilibrium problems, the set of solutions of the variational inclusions with set-valued maximal monotone mapping and inverse-strongly monotone mapping, and the set of fixed points of a family of finitely nonexpansive mappings in the setting of Hilbert spaces. Then, we prove strong convergence theorem under some mind conditions. Furthermore, by using above result, an iterative algorithm for solution of an optimization problem was obtained. The results presented in this paper extend and improve the results of Zhang et al.6, Peng et al.22, Peng and Yao29, Plubtieng and Sriprad23, and some authors.

2. Preliminaries

LetHbe a real Hilbert space with norm · and inner product·,·and letCbe a closed convex subset ofH. When{xn}is a sequence inH,xn xmeans that{xn}converges weakly

toxandxnxmeans the strong convergence. In a real Hilbert spaceH, we have

xy2x2y22xy, y, λx 1λy2λx2 1λy2λ

1−λxy2

2.1

for allx, yHandλ∈0,1. For every pointxH, there exists a unique nearest point inC, denoted byPCx, such that

xPCxxyyC. 2.2

PC is called the metric projection ofH ontoC. It is well known that PC is a nonexpansive

mapping ofHontoCand satisfies

(6)

for everyx, yH.Moreover,PCxis characterized by the following properties:

PCxC,

xPCx, yPCx ≤0,

xy2 xP

Cx2yPCx2

2.4

for allxH, yC.

Recall that a mappingAofH into itself is calledβ-inverse-strongly monotone if there exists a positive real numberβsuch that

AuAv, uvαAuAv2, 2.5

for allu, vH.It is obvious that any β-inverse-strongly monotone mapping A is1 -Lipschitz monotone and continuous mapping. We also have that, for allu, vHandλ >0,

IλAuIλAv2uvλAuAv2

uv22λuv, AuAvλ2AuAv2

uv2λλ2αAuAv2.

2.6

So, ifλ≤2α,thenIλAis a nonexpansive mapping fromHinto itself.

It is also known that Hsatisfies the Opial condition 30, that is, for any sequence

{xn} ⊂Hwithxn x, the inequality

lim inf

n→ ∞ xnx<lim infn→ ∞ xny 2.7

holds for everyyHwithx /y.

For solving the mixed equilibrium problem, let us give the following assumptions for the bifunctionF,ϕ, and the setC.

A1Fx, x 0 for allxC.

A2Fis monotone, that is,Fx, y Fy, x≤0 for allx, yC.

A3For eachx, y, zC,limt→0Ftz 1−tx, yFx, y.

A4For eachxC, yFx, yis convex and lower semicontinuous.

A5For eachyC, xFx, yis weakly upper semicontinuous.

B1For eachxHandr >0, there exist a bounded subsetDxCandyxC,such

that for anyzC\Dx,

Fz, yxϕyx1ryxz, zx< ϕz 2.8

(7)

We need the following lemmas for proving our main result.

Lemma 2.1Peng and Yao31. Let C be a nonempty closed convex subset of H. LetF:C×C → R

be a bifunction satisfying (A1)–(A5) and letϕ :C → R∪ {∞}be a proper lower semicontinuous and convex function. Assume that either (B1) or (B2) holds. Forr >0andxH, define a mapping

Tr :HCas follows:

Trx zC:Fz, yϕy1ryz, zxϕz,yC

2.9

for allzH. Then, the following hold. 1For eachxH, Trx/∅.

2Tr is single valued.

3Tr is firmly nonexpansive, that is, for anyx, yH, TrxTry2≤ TrxTry, xy.

4FTr MEPF, ϕ.

5MEPF, ϕis closed and convex.

Lemma 2.2Xu32. Assume that{an}is a sequence of nonnegative real numbers such that

an1≤1−αnanδn, n≥0, 2.10

where{αn}is a sequence in0,1and{δn}is a sequence inRsuch that

1∞n1αn,

2lim supn→ ∞δn/αn≤0orn1|δn|<.

Thenlimn→ ∞an0.

Lemma 2.3 Osilike and Igbokwe 33. Let E,·,·be an inner product space. Then for all

x, y, zEandα, β, γ∈0,1withαβγ 1,one has

αxβyγz2 αx2βy2γz2αβxy2αγxz2βγyz2. 2.11

Lemma 2.4Colao et al.28. LetCbe a nonempty convex subset of a Banach space. Let{Ti}Ni1 be a family of finitely nonexpansive mappings ofC into itself and let{λn,1},{λn,2}, . . . ,{λn,N} be

sequences in 0,1such thatλn,iλi i 1, . . . , N. Moreover for every integern ≥ 1, letW

andWn be theW-mappings generated byT1, T2, . . . , TN and λ1, λ2, . . . , λN andT1, T2, . . . , TN and

{λn,1},{λn,2}, . . . ,{λn,N}, respectively. Then for everyxC, it follows that

lim

n→ ∞WnxWx0. 2.12

Lemma 2.5Suzuki34. Let{xn}and{yn}be bounded sequences in a Banach spaceX and let

{βn}be a sequence in 0,1with0 < lim infn→ ∞βn ≤ lim supn→ ∞βn < 1.Suppose thatxn1 1−βnynβnxnfor all integersn ≥ 0andlim supn→ ∞yn1−ynxn1−xn≤ 0.Then,

(8)

Lemma 2.6Marino and Xu35. Assume thatAis a strongly positive linear bounded operator on a Hilbert spaceHwith coefficientγ >0and0< ρA−1. ThenIρA1ργ.

Lemma 2.7Br´ezis5. LetM:H → 2Hbe a maximal monotone mapping andA:HHbe a Lipschitz continuous mapping. Then the mappingSMA:H → 2H is a maximal monotone mapping.

Remark 2.8. Lemma 2.7implies that IA, M is closed and convex if M : H → 2H is a maximal monotone mapping andA:HHis a Lipschitz continuous mapping.

Lemma 2.9Zhang et al.6. uH is a solution of variational inclusion 1.2 if and only if

uJM,λuλAu,for allλ >0,that is,

IA, M FJM,λIλA,λ >0. 2.13

3. Main Result

In this section, we prove a strong convergence theorem for finding a common element of the set of fixed points of a family of finitely nonexpansive mappings, the set of solutions of a mixed equilibrium problem, and the set of solutions of a variational inclusion problem for an inverse-strongly monotone mapping in a real Hilbert space.

Theorem 3.1. Let C be a nonempty closed convex subset of a real Hilbert Space H. Let F be a bifunction ofC×Cinto real numbersRsatisfying (A1)–(A5) and letϕ:C → R∪ {∞}be a proper lower semicontinuous and convex function. Letf be a contraction ofH into itself with coefficient

α∈ 0,1. LetAbe anβ-inverse-strongly monotone mapping ofHinto itself, M: H → 2H be a maximal monotone mapping, and letBbe a strongly bounded linear operator onH with coefficient

γ >0and0< γ < γ/α. LetT1, T2, . . . , TNbe a family of finitely nonexpansive mappings ofCintoH

such thatΩ : ∩Nn1FTiIA, M∩MEPF, ϕ/and letWn be theW-mapping generated by

T1, T2, . . . , TNandλn,1, λn,2, . . . , λn,N. Assume that either (B1) or (B2) holds. Let{xn}be a sequence

generated byx1∈Hand

Fun, yϕyϕun r1

nyun, unxn ≥0,yC,

ynJM,λunλAun,

vnJM,λynλAyn,

xn1 αnγfxn βnxn1−βnIαnBWnvn

3.1

for every n ≥ 1, where{αn},{βn} ⊂ 0,1,{rn} ⊂ 0,, andλ ∈ 0,2βsatisfy the following

conditions:

i∞n0αnandlimn→ ∞αn0,

iilim infn→ ∞rn>0 and limn→ ∞|rn1−rn|0, iii0<lim infn→ ∞βn≤lim supn→ ∞βn<1,

(9)

Then{xn}converges strongly toz∈Ω, wherezPΩIBγfz, which is the unique solution

of the variational inequality

Bγfz, zx ≤0, x∈Ω. 3.2

Proof. Since limn→ ∞αn 0, we may assume, without loss of generality, thatαn<1−βnB−1

for alln. We assume thatIB ≤1−γ. SinceBis linear bounded self-adjoint operator onH, we have

Bsup{|Bx, x|:xH,x1}. 3.3

Observe that

1−βnIαnBx, x1−βnαnBx, x ≥1−βnαnB ≥0, 3.4

this shows that1−βnIαnBis positive. It follows that

1−βnIαnBsup1−βnIαnBx, x:xH,x1

sup1−βnαnBx, x:xH,x1

≤1−βnαnγ.

3.5

Letp ∈Ω, let{Trn}be a sequence of mappings defined as inLemma 2.1, and letun Trnxn.

For anyn∈N, we have

unpTrnxnTrnpxnp. 3.6

Sincep∈Ω, we havepJM,λpλAp. FromJM,λandIλAbeing nonexpansive, then we

have

vnpJM,λynλAynJM,λpλAp

ynλAynpλAp

ynp

JM,λunλAunJM,λpλAp

unλAunpλAp

unp

xnp

(10)

for alln∈N. It follows that

xn1−pαnγfxn βnxn1−βnIαnBWnvnp

αnγfxnBpβnxnp1−βnIαnBWnvnp

αnγfxnBpβnxnp1−βnαnγvnp

αnγfxnBpβnxnp1−βnαnγxnp

αnγfxnγfpαnγfpBp1−αnγxnp

αnγαxnpαnγfpBp1−αnγxnp

1−γγααnxnγααn

γf

pBp γγα

3.8

for everyn∈N. It follows by mathematical induction that

xn1−p≤max

x1−p,

γfpBp γγα

, n≥1. 3.9

Therefore,{xn}is bounded. We also obtain that{un}, {Wnvn}, {fxn}, {yn},and{vn}, are

all bounded.

Next, we show that limn→ ∞xn1−xn 0.Observing thatun Trnxn ∈ domϕand

un1Trn1xn1∈domϕ, we get

Fun, yϕyϕun r1 n

yun, unxn≥0 ∀yC, 3.10

Fun1, y

ϕyϕun1

1

rn1

yun1, un1−xn1 ≥0 ∀yC. 3.11

Takeyun1in3.10andyunin3.11; by using conditionA2, we obtain

un1−un,unrxn

n

un1−xn1

rn1

≥0. 3.12

Thusun1−un, unun1xn1−xn1−rn/rn1un1−xn1 ≥0. Without loss of generality,

let us assume that there exists a real numbercsuch thatrn> c,for alln≥1. Then, we have

un1−un2≤ un1−un xn1−xn1−rrn

n1

un1−xn1

(11)

and hence

un1−unxn1−xnr1

n1|

rn1−rn|un1−xn1

xn1−xn1c|rn1−rn|M1,

3.14

whereM1sup{unxn:n∈N}.

On the other hand, again sinceJM,λandIλAare nonexpansive, we obtain

vn1−vnJM,λ

yn1−λAyn1

JM,λynλAyn

yn1−λAyn1

ynλAyn

yn1−yn

JM,λun1−λAun1−JM,λunλAunun1−λAun1−

unλAyn

un1−un.

3.15

It follows from3.14and3.15that

vn1−vnxn1−xn 1c|rn1−rn|M1. 3.16

Define the sequence{zn}byxn1 1−βnznβnxn,for alln≥1. Then, observe that

zn xn1−βnxn

1−βn

αnγfxn βnxn

1−βnIαnBWnvnβnxn

1−βn

αnγfxn

1−βnIαnBWnvn

1−βn .

(12)

It follows that

zn1−zn αn1γfxn1

1−βn1

Iαn1B

Wn1vn1

1−βn1

αnγfxn

1−βnIαnBWnvn

1−βn

αn1γfxn1

1−βn1

1−βn1

Wn1vn1

1−βn1 −

αn1BWn1vn1

1−βn1

αnγfxn

1−βn

1−βnWnvn

1−βn

αnBWnvn

1−βn

αn1

1−βn1

γfxn1−BWn1vn1

αn

1−βn

BWnvnγfxnWn1vn1−Wnvn.

3.18

From the definition ofWn, sinceTiandUn,i, i1,2, . . . , N,are nonexpansive, we have

Wn1vnWnvnλn1,NTNUn1,N−1vn 1−λn1,Nvnλn,NTNUn,N−1vn−1−λn,Nvn

≤ |λn1,Nλn,N|vnλn1,NTNUn1,N−1vnλn,NTNUn,N−1vn

≤ |λn1,Nλn,N|vnλn1,NTNUn1,N−1vnTNUn,N−1vn |λn1,Nλn,N|TNUn,N−1vn

≤2M2|λn1,Nλn,N|λn1,NUn1,N−1vnUn,N−1vn,

3.19

where M2 is an approximate constant such that M2 ≥ max{supn≥1{vn}, {supn1{TmUn,m−1vn} |m1,2, . . . , N}}.

Since 0< λni ≤1 for alln≥1 andi1,2, . . . , N, we compute

Un1,N−1vnUn,N−1vn

λn1,N−1TN−1Un1,N−2vn 1−λn1,N−1vnλn,N−1TN−1Un,N−2vn−1−λn,N−1vn

≤ |λn1,N−1−λn,N−1|vnλn1,N−1TN−1Un1,N−2vnλn,N−1TN−1Un,N−2vn

≤ |λn1,N−1−λn,N−1|vnλn1,N−1TN−1Un1,N−2vnTN−1Un,N−2vn

|λn1,N−1−λn,N−1|TN−1Un,N−2vn

≤2M2|λn1,N−1−λn,N−1|Un1,N−2vnUn,N−2vn.

(13)

It follows that

Un1,N−1vnUn,N−1vn ≤2M2|λn1,N−1−λn,N−1|2M2|λn1,N−2−λn,N−2| Un1,N−3vnUn,N−3vn

≤2M2

N−1

i2

|λn1,iλn,i|Un1,1vnUn,1vn

2M2

N−1

i2

|λn1,iλn,i|

λn1,1T1vn 1−λn1,1vnλn,1T1vn−1−λn,1vn

≤2M2

N−1

i1

|λn1,iλn,i|.

3.21

Substituting3.21into3.19yields that

Wn1vnWnvn ≤2M2|λn1,Nλn,N|2λn1,NM2

N−1

i1

|λn1,iλn,i|

≤2M2

N

i1

|λn1,iλn,i|,

3.22

and hence

Wn1vn1−WnvnWn1vn1−Wn1vnWn1vnWnvn

vn1−vn2M2

N

i1

|λn1,iλn,i|.

3.23

Combining3.16and3.23, we obtain

zn1−znαn1

1−βn1

γfxn1BWn1vn1

αn

1−βn

BWnvnγfxn

Wn1vn1−Wnvn

αn1

1−βn1

γfxn1BWn1vn1

αn

1−βn

BWnvnγfxn

vn1−vn2M2

N

i1

|λn1,iλn,i|

αn1

1−βn1

γfxn1BWn1vn1

αn

1−βn

BWnvnγfxn

xn1−xn1c|rn1−rn|M12M2

N

i1

|λn1,iλn,i|.

(14)

So

zn1−znxn1−xnαn1

1−βn1

γfxn1BWn1vn1

αn

1−βn

BWnvnγfxn

1c|rn1−rn|M12M2

N

i1

|λn1,iλn,i|.

3.25

Conditionsi–ivimply that

lim sup

n→ ∞ zn1−znxn1−xn≤0. 3.26

Hence, byLemma 2.5, we have

lim

n→ ∞znxn0. 3.27

Consequently,

lim

n→ ∞xn1−xnnlim→ ∞

1−βnznxn0. 3.28

Fromii,3.14,3.16, and3.28, we also haveun1−un → 0 and vn1−vn → 0 as

n → ∞.We note that

xn1−xnαnγfxn βnxn1−βnIαnBWnvnxn

αnγfxnαnBxnαnBxnβnxn1−βnIαnBWnvn

−1−βnIαnBxn1−βnIαnBxnxn

αnγfxnBxn1−βnIαnBWnvnxn

αnγfxnBxn1−βnαnγWnvnxn

3.29

It follows that

(15)

Fromi,iii, and3.28, we obtain

lim

n→ ∞xnWnvn0. 3.31

Next, we shall show that limn→ ∞xnun 0. For any p ∈ Ω, since Trn is firmly

nonexpansive, we have

unp2TrnxnTrnp 2T

rnxnTrnp, xnp

unp, xnp

1

2

unp2xnp2− unxn2

.

3.32

It follows that

unp2≤xnp2− xnun2. 3.33

Therefore, we have

xn1−p2αnγfxn βnxn1−βnIαnBWnvnp2

αnγfxnBp βnxnp 1−βnIαnBWnvnp2

αnγfxnBp2βnxnp21−βnαnγvnp2

αnγfxnBp2βnxnp21−βnαnγunp2

αnγfxnBp2βnxnp21−βnαnγxnp2− xnun2

αnγfxnBp21−αnγxnp2−1−βnαnγxnun2.

3.34

Then, we obtain

1−βnαnγxnun2≤αnγfxnBp21−αnγxnp2−xn1−p2

(16)

Byi,iii, and3.28imply that

lim

n→ ∞xnun0. 3.36

Since lim infn→ ∞rn>0,we have

lim

n→ ∞

xnun

rn

lim

n→ ∞

1

rnxnun0. 3.37

We note that, by3.34, nonexpansiveness ofJM,λand the inverse-strong monotonicity

ofAimply that

xn1p2α

nγfxnBp2βnxnp21−βnαnγvnp2

αnγfxnBp2βnxnp2

1−βnαnγJM,λynλAynJM,λpλAp2

αnγfxnBp2βnxnp2

1−βnαnγynλAynpλAp

αnγfxnBp2βnxnp2

1−βnαnγynp2λλ−2βAynAp2

αnγfxnBp2βnxnp2

1−βnαnγxnp21−βnαnγλλ−2βAynAp2

αnγfxnBp2xnp21−βnαnγλλ−2βAynAp2.

3.38

It follows fromi,iii, and3.28that

0≤1−βnαnγλ2βλAynAp2

αnγfxnBp2xnp2−xn1−p2

αnγfxnBp2xnxn1xnpxn1−p−→0,

3.39

which implies that

(17)

On the other hand, sinceJM,λis firmly nonexpansive, we have

vnp2J

M,λynλAynJM,λpλAp2

ynλAynpλAp, vnp

1

2

ynλAynpλAp2vnp2

ynλAynpλApvnp2

≤ 1

2

ynp2vnp2−ynvnλAynAp2

1

2

ynp2vnp2−ynvn2

2λynvn, AynApλ2AynAp2

≤ 1

2

ynp2vnp2−ynvn2

2λynvnAynApλ2AynAp2

,

3.41

which yields that

vnp2≤ynp2−ynvn22λynvnAynAp. 3.42

From3.34and3.42, we obtain

xn1p2 α

nγfxnBp2βnxnp21−βnαnγvnp2

αnγfxnBp2βnxnp2

1−βnαnγynp2−ynvn22λynvnAynAp

αnγfxnBp2βnxnp21−βnαnγxnp2

−1−βnαnγynvn2

2λ1−βnαnγynvnAynAp

αnγfxnBp2xnp2−1−βnαnγynvn2

2λ1−βnαnγynvnAynAp.

(18)

Hence, we get

1−βnαnγynvn2≤αnγfxnBp2xnp2−xn1−p2 2λ1−βnαnγynvnAynAp

αnγfxnBp2xnxn1xnpxn1−p 2λ1−βnαnγynvnAynAp.

3.44

Byi,iii,3.28, and3.40, we have

lim

n→ ∞ynvn0. 3.45

Similarly, we can prove that

lim

n→ ∞AunAp0. 3.46

By the same idea in3.42,3.45and using3.46, then we obtain that

lim

n→ ∞unyn0. 3.47

From

WnvnvnWnvnxnxnununynynvn, 3.48

hence

lim

n→ ∞Wnvnvn0, 3.49

and also

vnxnvnynynununxn −→0 asn−→ ∞. 3.50

Observe thatPΩIBγfis a contraction ofHinto itself. Indeed, for allx, yH, we have

PΩIBγfxPΩIBγfyIBγfxIBγfyIBxyγfxfy

≤1−γxyγαxy

1−γγαxy.

(19)

SinceHis complete, there exists a unique fixed pointzHsuch thatz PΩIBγfz. Next, we show that

lim sup

n→ ∞

Bγfz, zxn ≤0. 3.52

Indeed, we can choose a subsequence{vni}of{vn}such that

lim

i→ ∞

Bγfz, zvni

lim sup

n→ ∞

Bγfz, zvn. 3.53

Since{vni}is bounded, there exists a subsequence{vnij}of{vni}which converges weakly to

vC. Without loss of generality, we can assume thatvni v.FromWnvnvn → 0,we

obtainWnvni v. Let us show thatv∈MEPF, ϕ.SinceunTrnxn∈domϕ, we have

Fun, yϕyϕun r1

nyun, unxn ≥0,yC. 3.54

FromA2, we also have

ϕyϕun r1

nyun, unxnF

y, un,yC, 3.55

and hence

ϕyϕun

yuni,

unixni

rni

Fy, uni

,yC. 3.56

From xnun → 0, xnWnvn → 0, andWnvnvn → 0,we get uni v. Since unixni/rni → 0,it follows byA4and the weakly lower semicontinuity ofϕthat

Fy, vϕvϕy≤0,yC. 3.57

Fortwith 0< t≤1 andyC,letytty 1−tv.SinceyCandvC,we haveytC,

and henceFyt, v ϕvϕyt≤0.So, fromA1,A4, and the convexity ofϕ, we have

0Fyt, ytϕytϕyt

tFyt, y 1−tFyt, vtϕy 1−tϕvϕyt

tFyt, yϕyϕyt.

3.58

Dividing by t, we get Fyt, y ϕyϕyt ≥ 0. From A3 and the weakly lower

(20)

Next, we show thatvFWn Nn1FTi. Assume thatv /N

n1FTi. Sincevni v

andWnv /v, from Opial’s condition, we have

lim inf

i→ ∞ vniv<lim infi→ ∞ vniWnv

≤lim inf

i→ ∞ vniWnvniWnvniWnv

≤lim inf

i→ ∞ vniv,

3.59

which is a contradiction. Thus, we obtainvFWn nN1FTi.

Next, we show thatvIA, M. In fact, havingAasβ-inverse-strongly monotone, implies that Ais1-Lipschitz continuous monotone mapping and that domain of Ais equal toH. It follows fromLemma 2.7thatMAis a maximal monotone. Lety, gGM

A, that is,gAyMy. SincevniJM,λyniλAyni, we haveyniλAyniIλMvni,

that is,

1

λ

ynivniλAyni

Mvni. 3.60

WithMAbeing a maximal monotone, we have

yvni, gAy

1

λ

ynivniλAyni

≥0, 3.61

and so

yvni, g

yvni, Ay

1

λ

ynivniλAyni

yvni, AyAvniAvniAyni

1

λ

ynivni

≥0yvni, AvniAyni

yvni,

1

λ

ynivni

.

3.62

It follows fromynvn → 0,AynAvn → 0, andvni vthat

lim

i→ ∞yvni, gyv, g ≥0. 3.63

It follows from the maximal monotonicity ofMAthat 0∈MAv, that is,vIA, M. This implies thatv∈Ω.

SincezPΩIBγfz, it follows that

lim sup

n→ ∞

Bγfz, zxnlim sup

n→ ∞

Bγfz, zvn

lim

i→ ∞

Bγfz, zvni

Bγfz, zv≤0.

(21)

By3.49,3.50, and the last inequality, we have

lim sup

n→ ∞

γfzBz, Wnvnz≤0. 3.65

Finally, we show that{xn}converges strongly toz. Indeed, from3.1, we have

xn1−z2αnγfxn βnxn1−βnIαnBWnvnz2

αnγfxnBz βnxnz 1−βnIαnBWnvnz2

α2

nγfxnBz2βnxnz 1−βnIαnBWnvnz2

2βnxnz 1−βnIαnBWnvnz, αnγfxnBz

α2

nγfxnBz2βnxnz1−βnαnγvnz2

2αnβnxnz, γfxnBz2αn1−βnαnγWnvnz, γfxnBz

α2

nγfxnBz2βnxnz1−βnαnγxnz2

2αnβnxnz, γfxnγfz2αnβnxnz, γfzBz

2αn1−βnαnγWnvnz, γfxnγfz

2αn1−βnαnγWnvnz, γfzBz

α2

nγfxnBz21−αnγ2xnz2

2αnβnγxnzfxnfz2αnβnxnz, γfzBz

2αn1−βnαnγγWnvnzfxnfz

2αn1−βnαnγWnvnz, γfzBz

α2

nγfxnBz21−αnγ2xnz2

2αnβnγαxnz22αnβnxnz, γfzBz

2αn1−βnαnγγαxnz22αn1−βnαnγWnvnz, γfzBz

α2

nγfxnBz2

1−2αnγα222αnγα−2α2nγγα

xnz2

2αnβnxnz, γfzBz2αn1−βnαnγWnvnz, γfzBz

1−αn

2γαnγ2−2γα2αnγγα

xnz2αnσn,

3.66

whereσnαnγfxnBz22βnxnz, γfzBz21−βnαnγWnvnz, γfzBz.

By3.65, we get lim supn→ ∞σn≤0. Hence byLemma 2.2to3.66, we conclude thatxnz.

(22)

UsingTheorem 3.1, we obtain the following corollaries.

Corollary 3.2. Let C be a nonempty closed convex subset of a real Hilbert SpaceH. Let F be a bifunction ofC×Cinto real numbersRsatisfying (A1)–(A5) and letf be a contraction ofH into itself with coefficientα ∈ 0,1. LetAbe anβ-inverse-strongly monotone mapping ofHinto itself and letM:H → 2Hbe a maximal monotone mapping such thatΘ:FTIA, M∩EPF/∅. Let{xn}be a sequence generated byx1∈Hand

Fun, yr1

nyun, unxn ≥0,yC,

ynJM,λunλAun,

xn1αnγfxn βnxn

1−βnαnTJM,λynλAyn

3.67

for everyn ≥ 1, where {αn},{βn} ⊂ 0,1,{rn} ⊂ 0,,and λ ∈ 0,2βsatisfy the conditions

(i)–(iii) inTheorem 3.1. Then{xn}converges strongly tozPΘγfz.

Proof. TakingTiTfori1,2, . . . , N,BI,andϕ0, inTheorem 3.1, we can conclude the

desired conclusion easily. This completes the proof.

Corollary 3.3. Let C be a nonempty closed convex subset of a real Hilbert SpaceH. Let F be a bifunction ofC×Cinto real numbersRsatisfying (A1)–(A5) and letϕ:C → R∪ {∞}be a proper lower semicontinuous and convex function. Letf be a contraction ofH into itself with coefficient

α ∈ 0,1. LetAbe anβ-inverse-strongly monotone mapping ofCintoHand letBbe a strongly bounded linear operator onHwith coefficientγ >0and0< γ < γ/α. LetT1, T2, . . . , TNbe a family of finitely nonexpansive mappings ofCintoHsuch thatΥ:Nn1FTi∩VIC, A∩MEPF, ϕ/

and letWnbe theW-mapping generated byT1, T2, . . . , TNandλn,1, λn,2, . . . , λn,N. Assume that either

(B1) or (B2) holds. Let{xn}be a sequence generated byx1 ∈Hand

Fun, yϕyϕun r1

nyun, unxn ≥0,yC,

ynPCunλAun,

vnPCynλAyn,

xn1 αnγfxn βnxn1−βnIαnBWnvn

3.68

For every n ≥ 1. where {αn},{βn} ⊂ 0,1,{rn} ⊂ 0,,andλ ∈ 0,2βsatisfy the condition

(i)–(iv) inTheorem 3.1. Then{xn}converges strongly toz ∈Υwhich is the unique solution of the

variational inequality

Bγfz, zx≤0, x∈Υ. 3.69

Equivalently, one haszPΥIBγfz.

Proof. From Theorem 3.1putM ∂δC; thenJM,λ PC. So we haveyn PCunλAun

andvn PCynλAyn. The conclusion ofCorollary 3.3can be obtained fromTheorem 3.1

(23)

4. Application

In this section, we study a kind of optimization problem by using the result of this paper. We will give an iterative algorithm of solution for the following optimization problem with nonempty set of solutions:

minhx, xC, 4.1

wherehxis a convex and lower semicontinuous functional defined convex subsetCof a Hilbert spaceH. We denote byMhthe set of solutions of4.1. LetF : C×C → Rbe a bifunction defined byFx, y hyhx. We consider the equilibrium problem1.8; it is obvious that EPF Minh. Therefore, fromTheorem 3.1, we give the following corollary.

Corollary 4.1. Let C be a nonempty closed convex subset of a real Hilbert SpaceH. Let F be a bifunction ofC×Cinto real numbersRsatisfying (A1)–(A5) and leth:C → R∪ {∞}be a lower semicontinuous and convex function. Letfbe a contraction ofHinto itself with coefficientα∈0,1.

LetAbe anβ-inverse-strongly monotone mapping ofHinto itself, letM :H → 2Hbe a maximal monotone mapping, and letBbe a strongly bounded linear operator onHwith coefficientγ > 0and

0< γ < γ/α. LetT1, T2, . . . , TNbe a family of finitely nonexpansive mappings ofCintoHsuch that

Φ:Nn1FTiIA, M∩Minh/and letWnbe theW-mapping generated byT1, T2, . . . , TN

andλn,1, λn,2, . . . , λn,N. Let{xn}be a sequence generated byx1∈Hand

hyhun r1

nyun, unxn ≥0,yC,

ynJM,λunλAun,

vnJM,λynλAyn,

xn1 αnγfxn βnxn1−βnIαnBWnvn

4.2

for every n ≥ 1, where{αn},{βn} ⊂ 0,1,{rn} ⊂ 0,, andλ ∈ 0,2βsatisfy the following

conditions:

i∞n0αnandlimn→ ∞αn0.

iilim infn→ ∞rn>0 and limn→ ∞|rn1−rn|0.

iii0<lim infn→ ∞βn≤lim supn→ ∞βn<1.

ivlimn→ ∞|λn,iλn−1,i|0for alli1,2, . . . , N.

Then{xn}converges strongly toz∈Φ, wherezPΦIBγfz, which is the unique solution of the variational inequality

Bγfz, zx≤0, x∈Φ. 4.3

Proof. From Theorem 3.1 put Fun, y hyhun and ϕ ≡ 0. The conclusion of

(24)

Acknowledgments

The authors would like to thank the Centre of Excellence in Mathematics, under the Commission on Higher Education, Ministry of Education, Thailand. Mr. Phayap Katchang was supported by King Mongkut’s Diamond scholarship for fostering special academic skills by KMUTT for Ph.D. Program at KMUTT. Moreover, the authors are also very grateful to Professor Yeol Je Cho and Professor Jong Kyu Kim for the hospitality.

References

1 M. A. Noor, “Generalized set-valued variational inclusions and resolvent equations,” Journal of Mathematical Analysis and Applications, vol. 228, no. 1, pp. 206–220, 1998.

2 F. E. Browder, “Nonlinear monotone operators and convex sets in Banach spaces,”Bulletin of the American Mathematical Society, vol. 71, no. 5, pp. 780–785, 1965.

3 P. Hartman and G. Stampacchia, “On some non-linear elliptic differential-functional equations,”Acta Mathematica, vol. 115, no. 1, pp. 271–310, 1966.

4 J.-L. Lions and G. Stampacchia, “Variational inequalities,” Communications on Pure and Applied Mathematics, vol. 20, pp. 493–519, 1967.

5 H. Br´ezis,Op´erateurs Maximaux Monotones et Semi-Groupes de Contractions dans Les Espaces de Hilbert, North-Holland Mathematics Studies, no. 5. Notas de Matem´atica50, North-Holland, Amsterdam, The Netherlands, 1973.

6 S.-S. Zhang, J. H. W. Lee, and C. K. Chan, “Algorithms of common solutions to quasi variational inclusion and fixed point problems,”Applied Mathematics and Mechanics, vol. 29, no. 5, pp. 571–581, 2008.

7 L.-C. Ceng and J.-C. Yao, “A hybrid iterative scheme for mixed equilibrium problems and fixed point problems,”Journal of Computational and Applied Mathematics, vol. 214, no. 1, pp. 186–201, 2008. 8 E. Blum and W. Oettli, “From optimization and variational inequalities to equilibrium problems,”The

Mathematics Student, vol. 63, no. 1–4, pp. 123–145, 1994.

9 Y. J. Cho, X. Qin, and J. I. Kang, “Convergence theorems based on hybrid methods for generalized equilibrium problems and fixed point problems,”Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 9, pp. 4203–4214, 2009.

10 S. D. Fl˚am and A. S. Antipin, “Equilibrium programming using proximal-like algorithms,”

Mathematical Programming, vol. 78, no. 1, pp. 29–41, 1997.

11 C. Jaiboon and P. Kumam, “A hybrid extragradient viscosity approximation method for solving equilibrium problems and fixed point problems of infinitely many nonexpansive mappings,”Fixed Point Theory and Applications, vol. 2009, Article ID 374815, 32 pages, 2009.

12 C. Jaiboon, P. Kumam, and U. W. Humphries, “Weak convergence theorem by an extragradient method for variational inequality, equilibrium and fixed point problems,”Bulletin of the Malaysian Mathematical Sciences Society, vol. 32, no. 2, pp. 173–185, 2009.

13 P. Kumam, “Strong convergence theorems by an extragradient method for solving variational inequalities and equilibrium problems in a Hilbert space,”Turkish Journal of Mathematics, vol. 33, no. 1, pp. 85–98, 2009.

14 P. Kumam, “A hybrid approximation method for equilibrium and fixed point problems for a monotone mapping and a nonexpansive mapping,”Nonlinear Analysis: Hybrid Systems, vol. 2, no. 4, pp. 1245–1255, 2008.

15 P. Kumam, “A new hybrid iterative method for solution of equilibrium problems and fixed point problems for an inverse strongly monotone operator and a nonexpansive mapping,”Journal of Applied Mathematics and Computing, vol. 29, no. 1-2, pp. 263–280, 2009.

16 P. Kumam and P. Katchang, “A viscosity of extragradient approximation method for finding equi-librium problems, variational inequalities and fixed point problems for nonexpansive mappings,”

Nonlinear Analysis: Hybrid Systems, vol. 3, no. 4, pp. 475–486, 2009.

17 P. Katchang and P. Kumam, “A new iterative algorithm of solution for equilibrium problems, variational inequalities and fixed point problems in a Hilbert space,”Journal of Applied Mathematics and Computing, vol. 32, no. 1, pp. 19–38, 2010.

18 A. Moudafi and M. Th´era, “Proximal and dynamical approaches to equilibrium problems,” in

(25)

19 X. Qin, Y. J. Cho, and S. M. Kang, “Viscosity approximation methods for generalized equilibrium problems and fixed point problems with applications,” Nonlinear Analysis: Theory, Methods & Applications, vol. 72, no. 1, pp. 99–112, 2010.

20 X. Qin, Y. J. Cho, and S. M. Kang, “Convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces,” Journal of Computational and Applied Mathematics, vol. 225, no. 1, pp. 20–30, 2009.

21 Y. Yao, Y. J. Cho, and R. Chen, “An iterative algorithm for solving fixed point problems, variational inequality problems and mixed equilibrium problems,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 7-8, pp. 3363–3373, 2009.

22 J.-W. Peng, Y. Wang, D. S. Shyu, and J.-C. Yao, “Common solutions of an iterative scheme for variational inclusions, equilibrium problems, and fixed point problems,”Journal of Inequalities and Applications, vol. 2008, Article ID 720371, 15 pages, 2008.

23 S. Plubtieng and W. Sriprad, “A viscosity approximation method for finding common solutions of variational inclusions, equilibrium problems, and fixed point problems in Hilbert spaces,”Fixed Point Theory and Applications, vol. 2009, Article ID 567147, 20 pages, 2009.

24 S. Atsushiba and W. Takahashi, “Strong convergence theorems for a finite family of nonexpansive mappings and applications,”Indian Journal of Mathematics, vol. 41, no. 3, pp. 435–453, 1999.

25 W. Takahashi and K. Shimoji, “Convergence theorems for nonexpansive mappings and feasibility problems,”Mathematical and Computer Modelling, vol. 32, no. 11–13, pp. 1463–1471, 2000.

26 W. Takahashi, “Weak and strong convergence theorems for families of nonexpansive mappings and their applications,”Annales Universitatis Mariae Curie-Skłodowska. Sectio A, vol. 51, no. 2, pp. 277–292, 1997.

27 L. C. Ceng, P. Cubiotti, and J. C. Yao, “Strong convergence theorems for finitely many nonexpansive mappings and applications,”Nonlinear Analysis: Theory, Methods & Applications, vol. 67, no. 5, pp. 1464–1473, 2007.

28 V. Colao, G. Marino, and H.-K. Xu, “An iterative method for finding common solutions of equilibrium and fixed point problems,”Journal of Mathematical Analysis and Applications, vol. 344, no. 1, pp. 340– 352, 2008.

29 J.-W. Peng and J.-C. Yao, “Two extragradient methods for generalized mixed equilibrium problems, nonexpansive mappings and monotone mappings,”Computers & Mathematics with Applications, vol. 58, no. 7, pp. 1287–1301, 2009.

30 Z. Opial, “Weak convergence of the sequence of successive approximations for nonexpansive mappings,”Bulletin of the American Mathematical Society, vol. 73, pp. 591–597, 1967.

31 J.-W. Peng and J.-C. Yao, “Strong convergence theorems of iterative scheme based on the extragradient method for mixed equilibrium problems and fixed point problems,” Mathematical and Computer Modelling, vol. 49, no. 9-10, pp. 1816–1828, 2009.

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

33 M. O. Osilike and D. I. Igbokwe, “Weak and strong convergence theorems for fixed points of pseudocontractions and solutions of monotone type operator equations,”Computers & Mathematics with Applications, vol. 40, no. 4-5, pp. 559–567, 2000.

34 T. Suzuki, “Strong convergence of Krasnoselskii and Mann’s type sequences for one-parameter non-expansive semigroups without Bochner integrals,”Journal of Mathematical Analysis and Applications, vol. 305, no. 1, pp. 227–239, 2005.

35 G. Marino and H.-K. Xu, “A general iterative method for nonexpansive mappings in Hilbert spaces,”

References

Related documents

We introduce a new iterative scheme by hybrid method for finding a common element of the set of common fixed points of infinite family of nonexpansive mappings, the set of

We prove a strong convergence theorem for finding a common element of the set of solutions for generalized equilibrium problems, the set of fixed points of a relatively

Kim, JK: Strong convergence theorems by hybrid projection methods for equilibrium problems and fixed point problems of the asymptotically quasi- φ -nonexpansive mappings.. Fixed

We introduce an iterative method for finding a common element of the set of common fixed points of a countable family of nonexpansive mappings, the set of solutions of a

We prove a strong convergence theorem by using a hybrid method for finding a common element of the set of solutions for generalized mixed equilibrium problems, the set of fixed

We introduced a new iterative scheme for finding a common element in the set of common fixed points of a finite family of quasi- φ -nonexpansive mappings, the set of common solutions

In this article, by using the S -mapping and hybrid method we prove a strong convergence theorem for finding a common element of the set of fixed point problems of a finite family of

Now, we prove the following strong convergence theorem of Halpern’s type [] for find- ing a common solution of a monotone inclusion problem for the sum of two monotone mappings, of