• No results found

Iterative Methods for Finding Common Solution of Generalized Equilibrium Problems and Variational Inequality Problems and Fixed Point Problems of a Finite Family of Nonexpansive Mappings

N/A
N/A
Protected

Academic year: 2020

Share "Iterative Methods for Finding Common Solution of Generalized Equilibrium Problems and Variational Inequality Problems and Fixed Point Problems of a Finite Family of Nonexpansive Mappings"

Copied!
29
0
0

Loading.... (view fulltext now)

Full text

(1)

Volume 2010, Article ID 836714,29pages doi:10.1155/2010/836714

Research Article

Iterative Methods for Finding Common

Solution of Generalized Equilibrium Problems

and Variational Inequality Problems

and Fixed Point Problems of a Finite Family

of Nonexpansive Mappings

Atid Kangtunyakarn

Department of Mathematics, Faculty of Science, King Mongkut’s Institute of Technology Ladkrabang, Bangkok 10520, Thailand

Correspondence should be addressed to Atid Kangtunyakarn,[email protected]

Received 7 October 2010; Accepted 2 November 2010

Academic Editor: T. D. Benavides

Copyrightq2010 Atid Kangtunyakarn. 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.

We introduce a new method for a system of generalized equilibrium problems, system of variational inequality problems, and fixed point problems by usingS-mapping generated by a finite family of nonexpansive mappings and real numbers. Then, we prove a strong convergence theorem of the proposed iteration under some control condition. By using our main result, we obtain strong convergence theorem for finding a common element of the set of solution of a system of generalized equilibrium problems, system of variational inequality problems, and the set of common fixed points of a finite family of strictly pseudocontractive mappings.

1. Introduction

LetHbe a real Hilbert space, and letCbe a nonempty closed convex subset ofH. LetA :

CHbe a nonlinear mapping, and letF:C×C → Rbe a bifunction. A mappingT ofH

into itself is callednonexpansiveifTx−Ty ≤ xyfor allx, yH. We denote byFTthe set of fixed points ofT i.e.,FT {x∈H:Txx}. Goebel and Kirk1showed thatFT

is always closed convex, and also nonempty providedThas a bounded trajectory.

A bounded linear operatorAonHis calledstrongly positivewith coefficientγif there is a constantγ >0 with the property

(2)

The equilibrium problem forFis to findxCsuch that

Fx, y≥0, ∀y∈C. 1.2

The set of solutions of1.2is denoted by EPF. Many problems in physics, optimization, and economics are seeking some elements of EPF, see2,3. Several iterative methods have been proposed to solve the equilibrium problem, see, for instance,2–4. In 2005, Combettes and Hirstoaga3introduced an iterative scheme of finding the best approximation to the initial data when EPFis nonempty and proved a strong convergence theorem.

The variational inequality problem is to find a pointuCsuch that

v−u, Au ≥0 ∀vC. 1.3

The set of solutions of the variational inequality is denoted by VIC, A, and we consider the following generalized equilibrium problem.

Find zC such thatFz, yAz, y−z ≥0, ∀y∈C. 1.4

The set of suchzCis denoted by EPF, A, that is,

EPF, A zC:Fz, yAz, yz≥0, ∀y∈C. 1.5

In the case ofA≡0, EPF, A EPF. Numerous problems in physics, optimization, variational inequalities, minimax problems, the Nash equilibrium problem in noncooperative games reduce to find element of1.5

A mappingAofCintoHis calledinverse-strongly monotone, see5, if there exists a positive real numberαsuch that

xy, AxAyαAxAy2 1.6

for allx, yC.

The problem of finding a common fixed point of a family of nonexpansive mappings has been studied by many authors. The well-known convex feasibility problem reduces to finding a point in the intersection of the fixed point sets of a family of nonexpansive mapping

see6,7.

(3)

In 2008, S.Takahashi and W.Takahashi11introduced a general iterative method for finding a common element of EPF, AandFT. They defined{xn}in the following way:

u, x1∈C, arbitrarily;

Fzn, y

Axn, yzn

1

λn

yzn, znxn

≥0, ∀y∈C,

xn1βnxn

1−βn

Tanu 1−anzn, ∀n∈N,

1.7

whereAis anα-inverse strongly monotone mapping ofCintoHwith positive real numberα, and{an} ∈0,1,{βn} ⊂0,1,{λn} ⊂0,2α, and proved strong convergence of the scheme

1.7tozNi1FTi∩EPF, A, wherezP N

i1FTi∩EPF, Auin the framework of a Hilbert

space, under some suitable conditions on{an},{βn},{λn}and bifunctionF.

Very recently, in 2010, Qin, et al.12introduced a iterative scheme method for finding a common element of EPF1, A, EPF2, B and common fixed point of infinite family of

nonexpansive mappings. They defined{xn}in the following way:

x1∈C, arbitrarily;

F1un, u Axn, u−un1

ru−un, unxn ≥0, ∀u∈C,

F2vn, v Bxn, v−vn1

sv−vn, vnxn ≥0, ∀v∈C, ynδnun 1−δnvn,

xn1αnfxn βnxnγnWnxn, ∀n∈N,

1.8

where f : CC is a contraction mapping andWn isW-mapping generated by infinite

family of nonexpansive mappings and infinite real number. Under suitable conditions of these parameters they proved strong convergence of the scheme1.8toz PFfz, where F ∞

i1FTi∩EPF1, A∩EPF2, B.

In this paper, motivated by11,12, we introduced a general iterative scheme{xn} defined by

Fun, u Axn, u−un 1 rnu−

un, unxn ≥0,

Gvn, v Bxn, vvn

1

snv−

vn, vnxn ≥0,

ynδnPCunλnAun 1−δnPCvnηnBvn, xn1 αnfxn βnxnγnSnyn, ∀n≥0,

(4)

wheref : CCandSn isS-mapping generated byT0, . . . , Tn andαn, αn−1, . . . , α0. Under

suitable conditions, we proved strong convergence of{xn}tozPFfz, andzis solution of

Ax∗, xx0,

Bx∗, xx0. 1.10

2. Preliminaries

In this section, we collect and give some useful lemmas that will be used for our main result in the next section.

Let C be closed convex subset of a real Hilbert space H, and let PC be the metric

projection ofHontoC, that is, forxH,PCxsatisfies the property

x−PCxmin yC

xy. 2.1

The following characterizes the projectionPC.

Lemma 2.1see13. GivenxH and yC. ThenPCx y if and only if there holds the

inequality

xy, yz≥0 ∀z∈C. 2.2

Lemma 2.2see14. Let{sn}be a sequence of nonnegative real numbers satisfying

sn1 1−αnsnβn, ∀n≥0 2.3

where{αn},{βn}satisfy the conditions

1{αn} ⊂0,1,n1αn,

2lim supn→ ∞βn/αn≤0.

Thenlimn→ ∞sn0.

Lemma 2.3see 15. Let Cbe a closed convex subset of a strictly convex Banach spaceE. Let

{Tn :n ∈N}be a sequence of nonexpansive mappings on C. Suppose that n∞1FTnis nonempty.

Let{λn}be a sequence of positive numbers withΣ∞n1λn1. Then a mappingSonCdefined by

Sx Σ∞n1λnTnx 2.4

forxCis well defined, nonexpansive, andFS n1FTnhold.

(5)

Lemma 2.5see17. Let{xn}and{zn}be bounded sequences in a Banach spaceX, and let{βn} be a sequence in0,1with0<lim infn→ ∞βn≤lim supn→ ∞βn<1. Suppose that

xn1βnxn

1−βn

zn 2.5

for all integern≥0and

lim supn→ ∞zn1−zn − xn1−xn≤0. 2.6

Thenlimn→ ∞xnzn0.

For solving the equilibrium problem for a bifunctionF :C×C → R, let us assume thatFsatisfies the following conditions:

A1Fx, x 0 for allxC;

A2Fis monotone, that is,Fx, y Fy, x≤0, ∀x, y∈C,

A3for allx, y, zC,

limt→0F

tz 1−tx, yFx, y, 2.7

A4for allxC, yFx, yis convex and lower semicontinuous. The following lemma appears implicitly in2.

Lemma 2.6see2. LetCbe a nonempty closed convex subset ofH, and letFbe a bifunction of

C×CintoRsatisfying (A1)–(A4). Letr >0andxH. Then, there existszCsuch that

Fz, y 1 r

yz, zx 2.8

for allxC.

Lemma 2.7see3. Assume thatF:C×C → Rsatisfies (A1)–(A4). Forr >0andxH, define a mappingTr :HCas follows:

Trx

zC:Fz, y 1 r

yz, zx≥0, ∀y∈C

. 2.9

for allzH. Then, the following hold:

1Tr is single-valued;

2Tr is firmly nonexpansive, that is,

TrxTr

y2≤TrxTr

y, xy ∀x, y∈H; 2.10

3FTr EPF;

(6)

In 2009, Kangtunyakarn and Suantai18defined a new mapping and proved their lemma as follows.

Definition 2.8. LetCbe a nonempty convex subset of real Banach space. Let{Ti}Ni1be a finite family of nonexpansive mappings ofCinto itself. For eachj1,2, . . . , N, letαj αj1, αj2, αj3I×I×I, whereI∈0,1andα1jαj2α3j 1. We define the mappingS:CCas follows:

U0I,

U1α11T1U0α12U0α13I, U2α21T2U1α22U1α23I, U3α31T3U2α32U2α33I,

.. .

UN−1αN1−1TN−1UN−2αN2−1UN−2αN3 −1I, SUNαN1 TNUN−1αN2 UN−1αN3 I.

2.11

This mapping is calledS-mappinggenerated byT1, . . . , TNandα1, α2, . . . , αN.

Lemma 2.9. LetCbe a nonempty closed convex subset of strictly convex. Let{Ti}Ni1be a finite family of nonexpanxive mappings ofCinto itself with Ni1FTi/, and letαj αj1, αj2, α3jI×I×I, j 1,2,3, . . . , N, whereI 0,1,αj1αj2αj3 1,αj1 ∈ 0,1for allj 1,2, . . . , N−1,αN1

0,1αj2, αj3 ∈ 0,1for all j 1,2, . . . , N. Let S be the mapping generated byT1, . . . , TN and α1, α2, . . . , αN. ThenFS Ni1FTi.

Lemma 2.10. LetCbe a nonempty closed convex subset of Banach space. Let{Ti}Ni1be a finite family of nonexpansive mappings ofCinto itself andαjn αn,j1 , αn,j2 , αn,j3 , αj αj1, αj2, α3jI×I×I, whereI 0,1,αn,j1 αn,j2 αn,j3 1andαj1αj2αj3 1such thatαn,jiαji ∈0,1as n

fori 1,3 and j 1,2,3, . . . , N.Moreover, for everyn∈ N, letSandSnbe theS-mappings generated byT1, T2, . . . , TNandα1, α2, . . . , αNandT1, T2, . . . , TNandα1n, α2n, ..., αNn, respectively. Thenlimn→ ∞SnxSx0for everyxC.

Lemma 2.11see19. Let Cbe a nonempty closed convex subset of a Hilbert space H, and let

G:CCbe defined by

Gx PCxλAx, ∀x∈C, 2.12

with∀λ >0. Thenx∗∈V IC, Aif and only ifx∗∈FG.

3. Main Result

(7)

family of nonexpansive mappings withF Ni1FTi∩EPF, A∩EPG, BFG1∩FG2/, whereG1, G2 : CCare defined byG1x PCxλnAx,G2x PCxηnBx, ∀x ∈C.

Letf :CCbe a contraction with the coefficientθ ∈0,1. LetSnbe the S-mappings generated

byT1, T2, . . . , TNandα1n, α2n, . . . , αNn, whereαjn αn,j1 , αn,j2 , αn,j3I×I×I, I 0,1,αn,j1 αn,j2 αn,j3 1and0 < η1 ≤ αn,j1θ1 < 1∀n∈N,∀j 1,2, . . . , N−1, 0< ηNαn,N1 ≤1and

0≤αn,j2 , αn,j3θ3 <1 ∀n∈N, ∀j1,2, . . . , N. Let{xn},{un},{vn},{yn}be sequences generated byx1, u, vC

Fun, u Axn, u−un 1

rnu−un, unxn ≥0, Gvn, v Bxn, vvn

1

snv−

vn, vnxn ≥0,

ynδnPCunλnAun 1−δnPC

vnηnBvn

, xn1αnfxn βnxnγnSnyn, ∀n≥1,

3.1

wheren},n},n} ∈ 0,1such thatαnβnγn 1,rna, b ⊂ 0,2α,snc, d

0,2β,λne, f⊂0,2α,ηng, h⊂0,2β. Assume that

ilimn→ ∞n0andΣ∞n0αn,

ii0<lim infn→ ∞βn≤lim supn→ ∞βn<1,

iiilimn→ ∞δn δ∈0,1,

iv Σ∞n0|sn1−sn|,Σ∞n0|rn1−rn|,Σ∞n0n1−λn|,Σ∞n0n1−ηn|,Σ∞n0|αn1−αn|,Σ∞n0n1− βn|<,

v|αn11,jα1n,j| → 0, and3n1,jαn,j3 | → 0as n → ∞, for allj∈ {1,2,3, . . . , N}. Then the sequence{xn},{yn},{un},{vn}converge strongly tozPFfz, andzis solution of

Ax∗, xx0,

Bx∗, xx0. 3.2

Proof. First, we show thatIλnA,IηnBIrnAandIsnBare nonexpansive. Let

x, yC. SinceAisα-strongly monotone andλn<2αfor alln∈N, we have IλnAxIλnAy2xyλn

AxAy2

xy2−2λnxy, AxAyλ2nAxAy2 ≤xy2−2αλnAxAy2λ2nAxAy

2

xy2λnλn−2αAxAy2 ≤xy2.

(8)

ThusIλnAis nonexpansive. By using the same proof, we obtain thatIηnB IrnA

andIsnBare nonexpansive.

We will divide our proof into 6 steps.

Step 1. We will show that the sequence{xn}is bounded. Since

Fun, u Axn, u−un 1

rnu−un, unxn ≥0, ∀u∈C, 3.4

then we have

Fun, u 1 rnu−

un, unIrnAxn ≥0. 3.5

ByLemma 2.7, we haveunTrnIrnAxn. By the same argument as above, we obtaine that

vnTsnIsnBxn

Letz∈F. ThenFz, y y−z, Az ≥0 andGz, y y−z, Bz ≥0. Hence

Fz, y 1 rn

yz, zzrnAz

≥0,

Gz, y 1 sn

yz, zzsnBz

≥0.

3.6

Again byLemma 2.7, we havez TrnzrnAz TsnzsnBz. Sincez ∈ F, we have

zPCIλnAzPCIηnBz. By nonexpansiveness ofTrn,Tsn,IrnA,IsnB, we have

xn1−z ≤αnfxnzβnxnzγnSnynz

αnfxnfzαnfzzβnxnzγnynzαnθxnzαnfzzβnxnz

γnδnPCunλnAunz 1−δn

PC

vnηnBvn

z

αnθxnzαnfzzβnxnzγnδnunz 1−δnvn−z

αnθxnzαnfzzβnxnz

γnδnTrnIrnAxnTrnIrnAz

1−δnTsnIsnBxnTsnIsnBz

αnθxnzαnfzzβnxnzγnxnz

αnθxnzαnfzz 1−αnxnz

1−αn1−θxn−zαnfzz

≤max

xn−z,fzz

1−θ

.

(9)

By induction we can prove that{xn}is bounded and so are{un},{vn},{yn},{Snyn}. Without of generality, assume that there exists a bounded setKCsuch that

{un},{vn},yn

,Snyn

K. 3.8

Step 2. We will show that limn→ ∞xn1−xn0.

Puttingkn xn1−βnxn/1−βn, we have

xn1

1−βnknβnxn, ∀n≥0. 3.9

From definition ofkn, we have

kn1−kn

xn2−βn1xn1

1−βn1 −

xn1−βnxn

1−βn

αn1fxn1 γn1Sn1yn1

1−βn1 −

αnfxn γnSnyn

1−βn

αn1fxn1

1−βn1−αn1

Sn1yn1

1−βn1 −

αnfxn 1−βnαnSnyn

1−βn

αn1

1−βn1

fxn1−Sn1yn1

αn

1−βn

fxnSnynSn1yn1−Snyn

αn1

1−βn1

fxn1−Sn1yn1 αn

1−βn

fxnSnynSn1yn1−Snyn

αn1

1−βn1

fxn1−Sn1yn1 αn

1−βnfxnSnyn

Sn1yn1−Snynxn1−xn.

(10)

By definition ofSn, fork∈ {2,3, . . . , N}, we have

Un1,kynUn,kynαn11,kTkUn1,k−1ynαn21,kUn1,k−1ynαn31,kyn

−αn,k

1 TkUn,k−1ynαn,k2 Un,k−1ynαn,k3 yn

αn11,kTkUn1,k−1ynTkUn,k−1yn

αn11,kαn,k1 TkUn,k−1yn

αn31,kα3n,kynαn21,k

Un1,k−1ynUn,k−1yn

αn21,kαn,k2 Un,k−1yn

αn11,kUn1,k−1ynUn,k−1ynαn11,kα1n,kTkUn,k−1yn

αn31,kαn,k3 ynαn21,kUn1,k−1ynUn,k−1yn

αn21,kαn,k2 Un,k−1yn

αn11,kα2n1,kUn1,k−1ynUn,k−1yn

αn11,kαn,k1 TkUn,k−1ynα3n1,kαn,k3 yn

αn21,kαn,k2 Un,k−1yn

Un1,k−1ynUn,k−1ynαn11,kαn,k1 TkUn,k−1yn

αn31,kαn,k3 yn1−α1n1,kαn31,k

−1−αn,k1 αn,k3 Un,k−1yn

Un1,k−1ynUn,k−1ynαn11,kα n,k

1 TkUn,k−1yn

αn31,kαn,k3 ynαn,k1αn11,kαn,k3αn31,kUn,k−1yn

Un1,k−1ynUn,k−1ynαn11,kαn,k1 TkUn,k−1yn

αn31,kαn,k3 ynαn,k1α1n1,kUn,k−1yn

αn,k3α3n1,kUn,k−1yn

Un1,k−1ynUn,k−1ynαn11,kα n,k

1 TkUn,k−1ynUn,k−1yn

αn31,kαn,k3 ynUn,k−1yn.

(11)

By3.11, we obtain that for eachn∈N, Sn1ynSnynUn1,NynUn,Nyn

Un1,N−1ynUn,N−1ynαn11,Nαn,N1 TNUn,N−1yn

Un,N−1ynαn31,Nαn,N3 ynUn,N−1yn

Un1,N−2ynUn,N−2ynαn11,N−1−αn,N1 −1 ×TN−1Un,N−2yn Un,N−2yn

αn31,N−1−α3n,N−1ynUn,N−2yn

αn11,Nαn,N1 TNUn,N−1ynUn,N−1yn

αn31,Nα3n,NynUn,N−1yn

Un1,N−2ynUn,N−2yn N

jN−1

αn11,jαn,j1 TjUn,j−1yn

Un,j−1yn N

jN−1

αn31,jαn,j3 ynUn,j−1yn

.. .

Un1,1ynUn,1yn N

j2

αn11,jαn,j1 TjUn,j−1ynUn,j−1yn

N

j2

αn31,jαn,j3 ynUn,j−1yn

1−αn11,1ynαn11,1T1yn

1−αn,11ynαn,11T1yn

N

j2

αn11,jαn,j1 TjUn,j−1ynUn,j−1yn

N

j2

αn31,jαn,j3 ynUn,j−1yn

αn11,1−α1n,1T1ynyn

N

j2

αn11,jαn,j1 TjUn,j−1ynUn,j−1yn

N

j2

αn31,jαn,j3 ynUn,j−1yn.

(12)

This together with the conditioniv, we obtain

lim

n→ ∞Sn1ynSnyn0. 3.13

By3.10,3.13and conditionsi,ii,iii,iv, it implies that

lim sup

n→ ∞ kn1−kn − xn1−xn≤0. 3.14

FromLemma 2.5,3.9,3.14and conditionii, we have

lim

n→ ∞xn−kn0. 3.15

From3.9, we can rewrite

xn1−xn

1−βn

knxn. 3.16

By3.15, we have

lim

n→ ∞xn1−xn0. 3.17

On the other hand, we have

xnSnyn≤ xnxn1xn1Snyn

xnxn1αnfxn βnxnγnSnynSnyn

xn−xn1αn

fxnSnynβnxnSnyn

xnxn1αnfxnSnynβnxnSnyn.

3.18

This implies that

1−βnxnSnynxnxn1αnfxnSnyn. 3.19

By3.17and conditionii, we have

lim

n→ ∞xnSnyn0. 3.20

Step 3. Letz∈F; we show that

lim

(13)

From definition ofyn, we have

ynz2

δnPCunλnAunPCIλnAz 1−δnPCvnηnBvn

−PCIηnBz2

δnPCunλnAunPCIλnAz2

1−δnPC

vnηnBvn

PC

IηnB

z2

δnunλnAunzλnAz2 1−δnvnηnBvnzηnBz2

δnunzλnAunAz2 1−δnvnzηnBvnBz2

δn

unz2λ2nAunAz2−2λnunz, AunAz

1−δnvn−z2ηn2Bvn−Bz2−2ηnvnz, BvnBz

δn

unz2λ2nAunAz2−2λnαAunAz2

1−δnvn−z2ηn2Bvn−Bz2−2ηnβBvnBz2

δn

unz2−λn2αλnAunAz2

1−δnvn−z2−ηn2βηnBvn−Bz2

3.22

δnTrnIrnAxnTrnzrnAz

2λn2αλnAunAz2

1−δn

TsnIsnBxnTsnzsnBz

2η n

2βηn

BvnBz2

δnxn−z2−λn2αλnAunAz2

1−δn

xnz2−ηn

2βηn

BvnBz2

xnz2−λnδn2αλnAunAz2

ηn1−δn2βηnBvn−Bz2.

(14)

By3.23, we have

xn1−z2αn

fxnz

βnxnz γn

Snynz2

αnfxnz2βnxnz2γnSnynz2

αnfxnz2βnxnz2γnynz2

αnfxnz2βnxnz2γn

xnz2−λnδn2αλnAunAz2

−ηn1−δn2βηnBvn−Bz2

αnfxnz2βnxnz2γnxnz2−λnγnδn2αλnAunAz2

ηnγn1−δn2βηnBvn−Bz2

αnfxnz2xn−z2−λnγnδn2αλnAunAz2

ηnγn1−δn

2βηn

BvnBz2.

3.24

By3.24, we have

λnγnδn2αλnAunAz2≤αnfxnz2xn−z2− xn1−z2

ηnγn1−δn

2βηn

BvnBz2

αnfxnz2 xnzxn1−zxn1−xn.

3.25

From conditionsi–iiiand3.17, we have

lim

n→ ∞Aun−Az

20.

3.26

By using the same method as3.26, we have

lim

n→ ∞Bvn−Bz 20.

(15)

By nonexpansiveness ofTrn, Tsn, IλnA, IηnBand3.23, we have

ynz2δn

PCunλnAunPCIλnAz2

1−δnPC

vnηnBvn

PC

IηnB

z2 ≤δnIλnAunIλnAz2 1−δnIηnB

vn

IηnB

z2 ≤δnunz2 1−δnvnz2

δnTrnIrnAxnTrnIrnAz

2 1δ

nTsnIsnBxn

−TsnIsnBz

2

δnIrnAxnIrnAz2 1−δnIsnBxnIsnBz2

δnxnrnAxnzrnAz2 1−δnxnsnBxnzsnBz2

δnxnzrnAxnAz2 1−δnxnzsnBxnBz2

δn

xnz2rn2AxnAz2−2rnxnz, AxnAz

1−δn

xnz2s2nBxnBz2−2snxnzBxnBz

δnxnz2r2

nδnAxnAz2−2δnrnxnz, AxnAz

1−δnxn−z2s2n1−δnBxn−Bz2−2sn1−δnxn−zBxnBz ≤ xn−z2r2

nδnAxnAz2−2δnrnαAxnAz2

s2n1−δnBxn−Bz2−2sn1−δnβBxnBz2

xn−z2δnrn2αrnAxnAz2sn1δn2βsnBxnBz2.

3.28

By3.28, we have

xn1−z2αn

fxnzβnxnz γnSnynz2 ≤αnfxnz2βnxnz2γnSnynz2 ≤αnfxnz2βnxnz2γnynz2 ≤αnfxnz2βnxnz2

γn

xnz2−δnrn2αrnAxnAz2

−sn1−δn2βsnBxn−Bz2

(16)

snγn1−δn2βsnBxn−Bz2

αnfxnz2xnz2−δnγnrn2αrnAxnAz2 −snγn1−δn

2βsn

BxnBz2.

3.29

By3.29, we have

δnγnrn2αrnAxn−Az2≤αnfxnz2xn−z2− xn1−z2 −snγn1−δn2βsnBxn−Bz2

αnfxnz2 xnzxn1−zxn1−xn.

3.30

From3.17and conditionsi–iii, we have

lim

n→ ∞Axn−Az0. 3.31

By using the same method as3.31, we have

lim

n→ ∞Bxn−Bz0. 3.32

Step 4. We will show that

lim

n→ ∞ynxn0. 3.33

PuttingMnPCunλnAunandNnPCvnηnBvn, we will show that

lim

n→ ∞un−xnnlim→ ∞vn−xnnlim→ ∞Mn−unnlim→ ∞Nn−vn0. 3.34

Letz∈F; by3.28, we have

ynz2δnMnz2 1δnNnz2

(17)

By nonexpansiveness ofIrnA, we have

un−z2 Tr

nxnrnAxnTrnzrnAz

2

xnrnAxnzrnAz, unz

1

2

xnrnAxnzrnAz2un−z2

xnrnAxnzrnAzunz2

≤ 1

2

xnz2unz2− xnunrnAxnAz2

1

2

xnz2unz2− xnun2

2rnxnun, AxnAz −rn2Axn−Az2.

3.36

This implies

unz2≤ xnz2− xnun22rnxnun, AxnAz −rn2AxnAz2. 3.37

By using the same method as3.37, we have

vnz2≤ xnz2− xnvn22snxnvn, BxnBz −sn2BxnBz2. 3.38

Substituting3.37and3.38into3.35, we have

ynz2δnunz2 1δnvnz2

δnxn−z2− xn−un22rnxnun, AxnAz −rn2Axn−Az2

1−δnxn−z2− xn−vn22snxnvn, BxnBz −s2nBxn−Bz2 ≤δnxnz2−δnxnun22δnrnxnunAxnAz 1−δnxnz2

−1−δnxnvn22sn1−δnxnvnBxnBz

xnz2−δnxnun22δnrnxnunAxnAz −1−δnxnvn2

2sn1−δnxn−vnBxnBz.

(18)

By3.39, we have

xn1−z2≤αnfxnz2βnxnz2γnynz2

αnfxnz2βnxnz2

γnxn−z2−δnxnun2

2δnrnxnunAxnAz −1−δnxnvn2

2sn1−δnxn−vnBxnBz

αnfxnz2βnxnz2γnxnz2−γnδnxnun2

2γnδnrnxnunAxnAz −1−δnγnxnvn2

2snγn1−δnxn−vnBxnBz

αnfxnz2xnz2−γnδnxnun2

2γnδnrnxnunAxnAz −1−δnγnxnvn2

2snγn1−δnxnvnBxnBz.

3.40

It follows that

γnδnxnun2αnfxnz2xnz2xn

1−z2

2γnδnrnxnunAxnAz −1−δnγnxnvn2

2snγn1−δnxn−vnBxnBz

αnfxnz2 xnzxn1−zxn1−xn

2γnδnrnxnunAxnAz2snγn1−δnxn−vnBxnBz.

3.41

By conditionsi–iii,3.41,3.31,3.32, and3.17, we have

lim

n→ ∞xnun0. 3.42

By using the same method as3.42, we have

lim

(19)

By nonexpansiveness ofTrnIrnA, we have

Mnz2PCunλnAunPCzλnAz2 ≤ unαnAunzαnAz, Mnz

1

2

unαnAunzαnAz2Mnz2− unαnAun

zαnAzMnz2

≤ 1

2

un−z2Mnz2unMnαnAunAz2

1

2

TrnIrnAxnTrnIrnAz

2M

nz2− unMn2

2αnunMn, AunAz −α2nAunAz2

≤ 1

2

xn−z2Mnz2− unMn22αnunMn, AunAz

−α2

nAun−Az2

.

3.44

Hence, we have

Mn−z2xnz2unMn22αnunMn, AunAzα2nAun−Az2.

3.45

By using the same method as3.45, we have

Nn−z2xnz2vnNn22ηnvnNn, BvnBz −η2

nBvn−Bz2. 3.46

Substituting3.45and3.46into3.35, we have ynz2δnMnz2 1δnNnz2

δnxn−z2− un−Mn22αnunMn, AunAz −α2nAun−Az2

1−δnxn−z2− vn−Nn22ηnvnNn, BvnBz −η2nBvn−Bz2 ≤δnxnz2−δnunMn22δnαnunMnAunAz

1−δnxnz2−1−δnvnNn221−δnηnvnNnBvnBz

xnz2−δnunMn22δnαnunMnAunAz −1−δnvnNn2

21−δnηnvnNnBvnBz.

(20)

By3.47, we have

xn1−z2≤αnfxnz2βnxnz2γnynz2

αnfxnz2βnxnz2

γnxn−z2−δnunMn2

2δnαnunMnAunAz −1−δnvn−Nn2

21−δnηnvnNnBvnBz

αnfxnz2βnxnz2γnxnz2−δnγnunMn2

2δnγnαnunMnAunAz −1−δnγnvnNn2

21−δnγnηnvnNnBvnBz

αnfxnz2xn−z2−δnγnunMn2

2δnγnαnunMnAunAz −1−δnγnvnNn2

21−δnγnηnvnNnBvnBz.

3.48

It follows that

δnγnunMn2αnfxnz2xnz2xn

1−z2

2δnγnαnunMnAunAz −1−δnγnvnNn2

21−δnγnηnvnNnBvnBz

αnfxnz2 xnzxn1−zxn1−xn

2δnγnαnunMnAunAz21−δnγnηnvnNnBvnBz.

3.49

From3.17,3.26,3.27, and conditionsi–iii, we have

lim

n→ ∞un−Mn0. 3.50

By using the same method as3.50, we have

lim

(21)

By3.42and3.50, we have

lim

n→ ∞Mnxn0. 3.52

By3.43and3.51, we have

lim

n→ ∞Nnxn0. 3.53

SinceMnPCunλnAunandNnPCvnηnBvn, we have

ynxnδnMnxn 1−δnNnxn. 3.54

By3.52and3.53, we obtain

lim

n→ ∞ynxn0. 3.55

Note that

xnSnxn ≤xnSnynSnynSnxnxnSnynynxn.

3.56

From3.20and3.55, we have

lim

n→ ∞xn−Snxn0. 3.57

Step 5. We will show that

lim sup

n→ ∞

fzz, xnz≤0, 3.58

wherezPFfz. To show this inequality, take subsequence{xni}of{xn}such that

lim sup

n→ ∞

fzz, xnzlim sup

i→ ∞

fzz, xniz

. 3.59

Since{xni}is bounded, there exists a subsequence{xnij}of {xni} which converges weakly

toq. Without loss of generality, we can assume thatxni q. SinceCis closed convex,Cis

weakly closed. So, we haveqC. Let us show thatq∈F Ni1FTi∩EPF, A∩EPG, BFG1∩FG2. We first show thatq∈EPF, A∩EPG, BFG1∩FG2. From3.42, we

haveuni q. SinceunTrnIrnAxn, for anyyC, we have

Fun, yAxn, yun 1 rn

(22)

FromA2, we have

Axn, yun

1

rn

yun, unxn

Fy, un

. 3.61

This implies that

Axni, yuni

1

rni

yuni, unixni

Fy, uni

. 3.62

Putzt ty 1−tqfor allt∈ 0,1andyC. Then, we haveztC. So, from3.62, we have

zt−uni, Azt ≥ ztuni, Azt − ztuni, Axni

ztuni,

unixni

rni

Fzt, uni

ztuni, AztAuniztuni, AuniAxni

ztuni,

unixni

rni

Fzt, uni.

3.63

Sinceunixni → 0, we haveAuniAxni → 0. Further, from monotonicity ofA, we have

ztuni, AztAuni ≥0. So, fromA4, we have

ztq, AztFzt, q asi−→ ∞. 3.64

FromA1,A4, and3.64, we also have

0Fzt, zttF

zt, y

1−tFzt, q

tFzt, y

1−tztq, Azt

tFzt, y 1−ttyq, Azt.

3.65

Thus

0≤Fzt, y 1−tyq, Azt. 3.66

Lettingt → 0, we have, for eachyC,

0≤Fq, yyq, Aq. 3.67

This implies that

(23)

From3.43, we havevni q. SincevnTsnIsnBxn, for anyyC, we have

Gvn, y

Bxn, yvn

1

sn

yvn, vnxn

≥0. 3.69

FromA2, we have

Bxn, yvn 1 sn

yvn, vnxnGy, vn. 3.70

This implies that

Bxni, yvni

1

sni

yvni, vnixni

Gy, vni

. 3.71

Putztty 1−tqfor allt∈0,1andyC. Then, we haveztC. So, from3.71we have

ztvni, Bzt ≥ ztvni, Bzt − ztvni, Bxni

ztvni,

vnixni

sni

Gzt, vni

zt−vni, BztBvnizt−vni, BvniBxni

ztvni,

vnixni

sni

Gzt, vni.

3.72

Sincevnixni → 0, we haveBvniBxni → 0. Further, from monotonicity ofB, we have

ztvni, BztBvni ≥0. So, fromA4, we have

ztq, BztGzt, q. 3.73

FromA1,A4, and3.64, we also have

0Gzt, zttGzt, y 1−tGzt, qtGzt, y 1−tztq, Bzt

tGzt, y

1−ttyq, Bzt

,

3.74

hence

0≤Gzt, y

1−tyq, Bzt

. 3.75

Lettingt → 0, we have, for eachyC,

(24)

This implies that

q∈EPG, B. 3.77

Define a mappingQ:CCby

QxδPCIλnAx 1−δPC

IηnB

x, ∀x∈C, 3.78

where limn→ ∞δnδ∈0,1. FromLemma 2.3, we have thatQis nonexpansive with

FQ FPCIλnAFPCIηnB. 3.79

Next, we show that

lim

nnxnQxn0. 3.80

By nonexpansiveness ofIηnBandIλnA, we have

xnQxn ≤xnynynQxn

xnynδnPCunλnAun 1−δnPC

vnηnBvn

δPCIλnAxn −1−δPCIηnBxn

xnynδnPCIλnAunδnPCIλnAxnδnPCIλnAxn

1−δnPC

IηnB

vn−1−δnPC

IηnB

xn

1−δnPCIηnBxnδPCIλnAxn−1−δPCIηnBxn

xnynδnPCIλnAunPCIλnAxn δnδPCIλnAxn

1−δnPCIηnBvnPCIηnBxn

δδnPCIηnBxn

xnynδnPCIλnAunPCIλnAxnnδ|PCIλnAxn

1−δnPCIηnBvnPCIηnBxn|δn−δ|PCIηnBxnxnynδnunxnnδ|PCIλnAxn 1−δnvnxn

nδ|PC

IηnB

xn

xnynδnunxn2|δn−δ|M1 1−δnvn−xn,

(25)

whereM1 supn≥0{PCIλnAxnPCIηnBxn}. From3.17,3.42,3.43,3.55,

and conditioniii, we have limnnxnQxn0. Sincexni q, it follows from3.80that,

limi→ ∞xniQxni0. ByLemma 2.4, we obtain that

qFQ FPCIλnAFPCIηnBFG1∩FG2. 3.82

Assume thatq /Sq. Using Opials,property,3.57andLemma 2.10we have

lim inf

i→ ∞ xniq<lim inf

i→ ∞ xniSq

≤lim inf

i→ ∞

xniSnixniSnixniSniqSniqSq

≤lim inf

i→ ∞ xniq.

3.83

This is a contradiction, so we have

qN

i1

FTi FS. 3.84

From 3.68, 3.77 3.82, and 3.84, we have q ∈ F. Since PFf is contraction with the

coefficient θ ∈ 0,1, PF has a unique fixed point. Letz be a fixed point of PFf, that is

zPFfz. Sincexni qandq∈F, we have

lim sup

n→ ∞

fzz, xnzlim sup

i→ ∞

fzz, xniz

fzz, qz≤0.

3.85

Step 6. Finally, we will show thatxnzasn → ∞. By nonexpansiveness ofTrn, Tsn, I

λnA, IηnB, IrnA, IsnB, we can show thatyn−z ≤ xnz. Then

xn1−z2

αn

fxnz

βnxnz γn

Snynz

, xn1−z

αn

fxnz, xn1−z

βnxnz, xn1−zγn

Snynz, xn1−z

αn

fxnfz, xn1−z

αn

fzz, xn1−z

βnxnzxn1−z

γnSnynzxn1−z

αnfxnfzxn1−zαn

fzz, xn1−z

βnxnzxn1−z

(26)

αnθxnzxn1−zαn

fzz, xn1−z

βnxnzxn1−z

γnxnzxn1−z

1−αn1−θxnzxn1−zαn

fzz, xn1−z

≤1−αn1−θ

xnz2xn1−z2

2

αnfzz, xn1−z

≤ 1−αn1−θ

2 xnz

2xn1−z2

2 αn

fzz, xn1−z

;

3.86

we have

xn1−z2≤1−αn1−θxnz22αnfzz, xn1−z. 3.87

ByStep 5,3.87, andLemma 2.2, we have limn→ ∞xn z, wherez PFfz. It easy to see

that sequences{yn},{un}, and{vn}converge strongly tozPFfz.

4. Application

Using our main theorem Theorem 3.1, we obtain the following strong convergence theorems involving finite family ofκ-strict pseudocontractions.

To prove strong convergence theorem in this section, we need definition and lemma as follows.

Definition 4.1. A mappingT :CCis said to be aκ-strongly pseudo contraction mapping, if there existκ∈0,1such that

TxTy2

xy2κITxITy2,x, yC. 4.1

Lemma 4.2see20. LetC be a nonempty closed convex subset of a real Hilbert spaceH and

T :CCaκ-strict pseudo contraction. DefineS:CCbySxαx 1−αTxfor eachxC. Then, asακ,1Sis nonexpansive such thatFS FT.

Theorem 4.3. LetCbe a nonempty closed convex subset of a Hilbert spaceH. LetFandGbe two bifunctions fromC×CintoRsatisfying (A1)–(A4), respectively. LetA : CHis aα-inverse strongly monotone mapping andB:CHbe aβ-inverse strongly monotone mapping. Let{Ti}Ni1 be a finite family ofκi-psuedo contractions withF Ni1FTi∩EPF, AEPG, BFG1∩ FG2/, where G1, G2 : CC are defined by G1x PCxλnAx, G2x PCxηnBx, for allxC. Define a mappingTκibyTκi κix1−κiTix, for all xC, i∈ {1,2, . . . , N}.

Letf :CCbe a contraction with the coefficientθ ∈0,1. LetSnbe the S-mappings generated

by 1, Tκ2, . . . , TκN andα

n

1 , α

n

2 , . . . , α

n

N , whereα

n

j α

n,j 1 , α

n,j 2 , α

n,j

(27)

αn,j1 αn,j2 αn,j3 1and0< η1 ≤αn,j1θ1<1for alln∈N,for allj 1,2, . . . , N−1, 0< ηNαn,N1 ≤1and0≤α2n,j, αn,j3θ3<1for alln∈N,for allj1,2, . . . , N. Let{xn},{un},{vn},{yn} be sequences generated byx1, u, vC

Fun, u Axn, uun

1

rnu−

un, unxn ≥0,

Gvn, v Bxn, vvn

1

snv−

vn, vnxn ≥0,

ynδnPCunλnAun 1−δnPCvnηnBvn,

xn1αnfxn βnxnγnSnyn, ∀n≥1,

4.2

where{αn},{βn},{γn} ∈0,1such thatαnβnγn 1, rna, b⊂ 0,2α, snc, d

0,2β,λne, f⊂0,2α,ηng, h⊂0,2β. Assume that

ilimn→ ∞αn0 andΣ∞n0αn,

iilim infn→ ∞βn≤lim supn→ ∞βn<1,

iiilimn→ ∞δn δ∈0,1,

iv Σ∞n0|sn1 − sn|,Σ∞n0|rn1 − rn|, Σ∞n0|λn1 − λn|, Σ∞n0|ηn1 − ηn|, Σ∞n0|αn1 − αn|, Σ∞n0n1−βn|<,

v|αn11,jα1n,j| → 0 and3n1,jαn,j3 | → 0 asn → ∞, for allj ∈ {1,2,3, . . . , N}.

Then the sequence{xn},{yn},{un},{vn}converges strongly tozPFfz, andzis solution of

Ax∗, xx0,

Bx∗, xx∗ ≥0.

4.3

Proof. For every i ∈ {1,2, . . . , N}, by Lemma 4.2, we haveTκi is nonexpansive mappings.

FromTheorem 3.1, we can concluded the desired conclusion.

Theorem 4.4. LetCbe a nonempty closed convex subset of a Hilbert spaceH. LetFandGbe two bifunctions fromC×CintoRsatisfying (A1)–(A4), respectively. LetA : CH be aα-inverse strongly monotone mapping. Let{Ti}Ni1 be a finite family ofκi-strict pseudo contractions withF

N

i1FTi∩EPF, A∩FG1/, whereG1:CCdefined byG1x PCx−λnAx, for allxC. Define a mapping Tκi by Tκi κix 1 −κiTix, for allxC, i ∈ N. Let f : CC a

contraction with the coefficient θ ∈ 0,1. LetSn be the S-mappings generated byTκ1, Tκ2, . . . , TκN

andα1n, α2n, . . . , αNn, whereαjn αn,j1 , αn,j2 , αn,j3I×I×I, I 0,1,αn,j1 αn,j2 αn,j3 1

(28)

0 ≤ αn,j2 , αn,j3θ3 < 1 for alln ∈ N,for all j 1,2, . . . , N. Let{xn},{un},{yn} be sequences generated byx1, u,C

Fun, u Axn, uun

1

rnu−

un, unxn ≥0,

ynPCunλnAun,

xn1αnfxn βnxnγnSnyn, ∀n≥1,

4.4

where{αn},{βn},{γn} ∈ 0,1such thatαnβnγn 1,rna, b ⊂ 0,2α,λne, f

0,2α. Assume that

ilimn→ ∞αn0 andΣ∞n0αn,

ii0< lim infn→ ∞βn ≤lim supn→ ∞βn<1,

iii Σ∞n0|rn1−rn|, Σ∞n0|λn1−λn|, Σ∞n0|αn1−αn|, Σn0|βn1−βn|<,

iv|αn11,jα1n,j| → 0 and3n1,jαn,j3 | → 0 asn → ∞, for allj ∈ {1,2,3, . . . , N}. Then the sequence{xn},{yn},{un}converges strongly tozPFfz, andzis solution of

Ax∗, xx0. 4.5

Proof. For everyi∈ {1,2, . . . , N}, byLemma 4.2, we have thatTκi is nonexpansive mappings,

puttingFG,AB,sn rn,λnηn, andun vn. FromTheorem 3.1, we can conclude the desired conclusion.

Acknowledgment

The authors would like to thank Professor Dr. Suthep Suantai for his suggestion in doing and improving this paper.

References

1 K. Goebel and W. A. Kirk,Topics in Metric Fixed Point Theory, vol. 28 ofCambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, UK, 1990.

2 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.

3 P. L. Combettes and S. A. Hirstoaga, “Equilibrium programming in Hilbert spaces,” Journal of Nonlinear and Convex Analysis, vol. 6, no. 1, pp. 117–136, 2005.

4 A. Moudafi and M. Th´era, “Proximal and dynamical approaches to equilibrium problems,” in Ill-Posed Variational Problems and Regularization Techniques, vol. 477 ofLecture Notes in Econom. and Math. Systems, pp. 187–201, Springer, Berlin, Germany, 1999.

5 H. Iiduka and W. Takahashi, “Weak convergence theorems by Ces´aro means for nonexpansive mappings and inverse-strongly-monotone mappings,”Journal of Nonlinear and Convex Analysis, vol. 7, no. 1, pp. 105–113, 2006.

6 H. H. Bauschke and J. M. Borwein, “On projection algorithms for solving convex feasibility problems,”SIAM Review, vol. 38, no. 3, pp. 367–426, 1996.

(29)

8 A. Kangtunyakarn and S. Suantai, “A new mapping for finding common solutions of equilibrium problems and fixed point problems of finite family of nonexpansive mappings,”Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 10, pp. 4448–4460, 2009.

9 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.

10 S. Takahashi and W. Takahashi, “Viscosity approximation methods for equilibrium problems and fixed point problems in Hilbert spaces,”Journal of Mathematical Analysis and Applications, vol. 331, no. 1, pp. 506–515, 2007.

11 S. Takahashi and W. Takahashi, “Strong convergence theorem for a generalized equilibrium problem and a nonexpansive mapping in a Hilbert space,”Nonlinear Analysis: Theory, Methods & Applications, vol. 69, no. 3, pp. 1025–1033, 2008.

12 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.

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

14 H.-K. Xu, “Iterative algorithms for nonlinear operators,”Journal of the London Mathematical Society. Second Series, vol. 66, no. 1, pp. 240–256, 2002.

15 R. E. Bruck Jr., “Properties of fixed-point sets of nonexpansive mappings in Banach spaces,” Transactions of the American Mathematical Society, vol. 179, pp. 251–262, 1973.

16 F. E. Browder, “Nonlinear operators and nonlinear equations of evolution in Banach spaces,” in Proceedings of Symposia in Pure Mathematics, pp. 1–308, Amer. Math. Soc., Providence, RI, USA, 1976. 17 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.

18 A. Kangtunyakarn and S. Suantai, “Hybrid iterative scheme for generalized equilibrium problems and fixed point problems of finite family of nonexpansive mappings,”Nonlinear Analysis: Hybrid Systems, vol. 3, no. 3, pp. 296–309, 2009.

19 W. Takahashi,Introduction to Nonlinear and Convex Analysis, Yokohama Publishers, Yokohama, Japan, 2009.

References

Related documents

Peter Trawny (2014), who is editor of the Black Notebooks and some other volumes of Heidegger’s Collected Works as well as director of the University of

While Imd pathway activation was fully comparable to that observed in the wild-type control line, TEPq Δ flies showed a defect in Toll pathway activation in response to

Base pairing in the U5-IR stem from individual clones selected from the randomized library after the second round of infection Figure 3.. Base pairing in the U5-IR stem from

Correlations of the two unknowns with other me- tabolites in the study were tested in a post-hoc analysis to try to interpret the potential biological relevance of the

Here, we review some of the controversies regarding soluble A β aggregates (also termed oligomers, dimers, trimers, A β *56, amylospheroids, etc.) and propose experiments designed

When this domain in human GMAP-210 is replaced with a mitochondrial targeting signal, the mitochondrial GMAP-210 captures vesicles containing Golgi resident membrane proteins, and

This preliminary clinical study aimed to examine whether next‑generation sequencing (NGS) targeting 16S rDNA, which was PCR‑ amplified directly from the tip of a central