• No results found

Iterative algorithms based on the viscosity approximation method for equilibrium and constrained convex minimization problem

N/A
N/A
Protected

Academic year: 2020

Share "Iterative algorithms based on the viscosity approximation method for equilibrium and constrained convex minimization problem"

Copied!
17
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

Iterative algorithms based on the viscosity

approximation method for equilibrium and

constrained convex minimization problem

Ming Tian

*

and Lei Liu

*Correspondence:

[email protected] College of Science, Civil Aviation University of China, Tianjin, 300300, China

Abstract

The gradient-projection algorithm (GPA) plays an important role in solving constrained convex minimization problems. Based on the viscosity approximation method, we combine the GPA and averaged mapping approach to propose implicit and explicit composite iterative algorithms for finding a common solution of an equilibrium and a constrained convex minimization problem for the first time in this paper. Under suitable conditions, strong convergence theorems are obtained. MSC: 46N10; 47J20; 74G60

Keywords: iterative algorithm; equilibrium problem; constrained convex minimization; variational inequality

1 Introduction

LetHbe a real Hilbert space with inner product·,·and norm · . LetCbe a nonempty closed convex subset ofH. LetT:CCbe a nonexpansive mapping, namelyTx–Ty

xy, for allx,yC. The set of fixed points ofTis denoted byF(T).

Letφbe a bifunction ofC×CintoR, whereRis the set of real numbers. Consider the equilibrium problem (EP) which is to findzCsuch that

φ(z,y)≥, ∀yC. (.)

We denoted the set of solutions of EP byEP(φ). Given a mappingF:CH, letφ(x,y) =

Fx,yxfor allx,yC, thenz∈EP(φ) if and only ifFz,yz ≥ for allyC, that is,z is a solution of the variational inequality. Numerous problems in physics, optimizations, and economics reduce to find a solution of (.). Some methods have been proposed to solve the equilibrium problem; see, for instance, [–] and the references therein.

Composite iterative algorithms were proposed by many authors for finding a common solution of an equilibrium problem and a fixed point problem (see [–]).

On the other hand, consider the constrained convex minimization problem as follows:

minimizeg(x) :xC, (.)

whereg :C→Ris a real-valued convex function. It is well known that the gradient-projection algorithm (GPA) plays an important role in solving constrained convex

(2)

mization problems. Ifgis (Fréchet) differentiable, then the GPA generates a sequence{xn} using the following recursive formula:

xn+=PC

xnλg(xn)

, ∀n≥, (.)

or more generally,

xn+=PC

xnλng(xn)

, ∀n≥, (.)

where in both (.) and (.) the initial guessxis taken fromCarbitrarily, and the

param-eters,λorλn, are positive real numbers satisfying certain conditions. The convergence of the algorithms (.) and (.) depends on the behavior of the gradient∇g. As a matter of fact, it is known that if∇gisα-strongly monotone andL-Lipschitzian with constants α,L≥, then the operator

W:=PC(I–λg) (.)

is a contraction; hence the sequence{xn}defined by the algorithm (.) converges in norm to the unique minimizer of (.). However, if the gradient∇gfails to be strongly monotone, the operatorW defined by (.) would fail to be contractive; consequently, the sequence

{xn}generated by the algorithm (.) may fail to converge strongly (see []). If∇gis Lips-chitzian, then the algorithms (.) and (.) can still converge in the weak topology under certain conditions.

Recently, Xu [] proposed an explicit operator-oriented approach to the algorithm (.); that is, an averaged mapping approach. He gave his averaged mapping approach to the GPA (.) and the relaxed gradient-projection algorithm. Moreover, he constructed a counterexample which shows that the algorithm (.) does not converge in norm in an infinite-dimensional space and also presented two modifications of GPA which are shown to have strong convergence [, ].

In , Cenget al.[] proposed the following explicit iterative scheme:

xn+=PC

snγVxn+ (I–snμF)Tnxn

, n≥,

wheresn= –λnL andPC(I–λng) =snI+ ( –sn)Tnfor eachn≥. He proved that the sequences{xn}converge strongly to a minimizer of the constrained convex minimization problem, which also solves a certain variational inequality.

In , Moudafi [] introduced the viscosity approximation method for nonexpansive mappings, extended in []. Letf be a contraction onH, starting with an arbitrary initial x∈H, define a sequence{xn}recursively by

xn+=αnf(xn) + ( –αn)Txn, n≥, (.)

where{αn}is a sequence in (, ). Xu [] proved that if{αn}satisfies certain conditions, the sequence{xn}generated by (.) converges strongly to the unique solutionx*∈F(T) of the variational inequality

(3)

The purpose of the paper is to study the iterative method for finding the common so-lution of an equilibrium problem and a constrained convex minimization problem. Based on the viscosity approximation method, we combine the GPA and averaged mapping ap-proach to propose implicit and explicit composite iterative method for finding the com-mon element of the set of solutions of an equilibrium problem and the solution set of a constrained convex minimization problem. We also prove some strong convergence the-orems.

2 Preliminaries

Throughout this paper, we always assume thatCis a nonempty closed convex subset of a Hilbert spaceH. We use ‘’ for weak convergence and ‘→’ for strong convergence.

It is widely known thatHsatisfies Opial’s condition []; that is, for any sequence{xn} withxnx, the inequality

lim inf

n→∞ xnx<lim infn→∞ xny

holds for everyyHwithy=x.

In order to solve the equilibrium problem for a bifunctionφ:C×C→R, let us assume thatφsatisfies the following conditions:

(A) φ(x,x) = , for allxC;

(A) φis monotone, that is,φ(x,y) +φ(y,x)≤for allx,yC; (A) for allx,y,zC,limt↓φ(tz+ ( –t)x,y)φ(x,y);

(A) for each fixedxC, the functionyφ(x,y)is convex and lower semicontinuous. Let us recall the following lemmas which will be useful for our paper.

Lemma .[] Letφbe a bifunction from C×C intoRsatisfying(A), (A), (A),and (A),then for any r> and xH,there exists zC such that

φ(z,y) +

ryz,zx ≥, ∀yC.

Further,if

Qrx=

zC:φ(z,y) +

ryz,zx ≥,∀yC

,

then the following hold: () Qris single-valued;

() Qris firmly nonexpansive;that is,

QrxQry≤ QrxQry,xy, ∀x,yH;

() F(Qr) =EP(φ);

() EP(φ)is closed and convex.

Definition . A mappingT:HHis said to be firmly nonexpansive if and only if T–I is nonexpansive, or equivalently,

(4)

Alternatively,T is firmly nonexpansive if and only ifT can be expressed as

T= (I+S),

whereS:HHis nonexpansive. Obviously, projections are firmly nonexpansive.

Definition . A mappingT:HHis said to be anaveraged mappingif it can be

writ-ten as the average of the identityIand a nonexpansive mapping; that is,

T= ( –α)I+αS, (.)

whereα∈(, ) andS:HHis nonexpansive. More precisely, when (.) holds, we say thatTisα-averaged.

Clearly, a firmly nonexpansive mapping is a 

-averaged map.

Proposition .[] For given operators S,T,V:HH:

(i)If T= ( –α)S+αV for someα∈(, )and if U is averaged and V is nonexpansive, then T is averaged.

(ii)T is firmly nonexpansive if and only if the complement I-T is firmly nonexpansive. (iii)If T= ( –α)S+αV for someα∈(, ),U is firmly nonexpansive and V is nonexpan-sive,then T is averaged.

(iv)The composite of finitely many averaged mappings is averaged. That is,if each of the mappings{Ti}Ni= is averaged,then so is the composite T· · ·TN. In particular, if T

isα-averaged, and Tisα-averaged,whereα,α ∈(, ),then the composite TTis

α-averaged,whereα=α+α–αα.

Recall that the metric projection fromH ontoC is the mappingPC:HC which assigns, to each pointxH, the unique pointPCxCsatisfying the property

xPCx=inf

yCxy=:d(x,C).

Lemma . For a given xH:

(a) z=PCxif and only ifxz,yz ≤,∀yC.

(b) z=PCxif and only ifxz≤ xy–yz,∀yC. (c) PCxPCy,xyPCxPCy,∀x,yH.

Consequently,PCis nonexpansive and monotone.

Lemma . The following inequality holds in an inner product space X:

x+y≤ x+ y,x+y, ∀x,yX.

The so-called demiclosedness principle for nonexpansive mappings will be used.

Lemma .(Demiclosedness principle []) Let T :CC be a nonexpansive mapping

(5)

Next, we introduce monotonicity of a nonlinear operator.

Definition . A nonlinear operatorGwhose domainD(G)Hand rangeR(G)His

said to be: (a) monotone if

xy,GxGy ≥, ∀x,yD(G),

(b) β-strongly monotone if there existsβ> such that

xy,GxGyβxy, ∀x,yD(G),

(c) ν-inverse strongly monotone (for short,ν-ism) if there existsν> such that

xy,GxGyνGxGy, ∀x,yD(G).

It can be easily seen that ifGis nonexpansive, thenIGis monotone; and the projection mapPCis a -ism.

The inverse strongly monotone (also referred to as co-coercive) operators have been widely used to solve practical problems in various fields, for instance, in traffic assignment problems; see, for example, [, ] and reference therein.

The following proposition summarizes some results on the relationship between aver-aged mappings and inverse strongly monotone operators.

Proposition .[] Let T:HH be an operator from H to itself. (a) T is nonexpansive if and only if the complementITis -ism. (b) If T isν-ism,then forγ > ,γTis ν

γ-ism.

(c) T is averaged if and only if the complementITisν-ism for someν>.Indeed,for α∈(, ),T isα-averaged if and only ifITis α-ism.

Lemma .[] Let{an}be a sequence of nonnegative numbers satisfying the condition

an+≤( –γn)an+γnδn, ∀n≥,

where{γn},{δn}are sequences of real numbers such that: (i) {γn} ⊂(, )and

n=γn=∞, (ii) lim supn→∞δ≤orn=γn|δn|<∞. Thenlimn→∞an= .

3 Main results

(6)

Note that∇g isL-Lipschitzian. This implies thatg is (/L)-ism, which then implies thatλgis (/λL)-ism. So, by Proposition .,Iλgis (λL/)-averaged. Now since the projectionPC is (/)-averaged, we see from Proposition . that the compositePC(I– λg) is (( +λL)/)-averaged for  <λ< /L. Hence, we have that for eachn,PC(I–λng) is (( +λnL)/)-averaged. Therefore, we can write

PC(I–λng) =  –λnL

I+  +λnL

Tn=snI+ ( –sn)Tn,

whereTnis nonexpansive andsn=–λnL.

Letf :CCbe a contraction with the constantρ∈(, ). Suppose that the minimiza-tion problem (.) is consistent, and letUdenote its solution set. Let{Qβn}be a sequence of mappings defined as in Lemma .. Consider the following mappingGnonCdefined by

Gnx=αnf(x) + ( –αn)TnQβnx, xC,n∈N,

whereαn∈(, ). By Lemma ., we have

GnxGny

 –αn( –ρ)

xy.

Since  <  –αn( –ρ) < , it follows thatGnis a contraction. Therefore, by the Banach contraction principle,Gnhas a unique fixed pointxfnCsuch that

xfn=αnf

xfn+ ( –αn)TnQβnxfn.

For simplicity, we will writexnforxfnprovided no confusion occurs. Next, we prove the convergence of{xn}, while we claim the existence of theqU∩EP(φ), which solves the variational inequality

(I–f)q,pq ≥, ∀pU∩EP(φ). (.)

Equivalently,q=PU∩EP(φ)f(q).

Theorem . Let C be a nonempty closed convex subset of a real Hilbert space H andφ

be a bifunction from C×C intoRsatisfying(A), (A), (A),and(A).Let g:C→Rbe a real-valued convex function,and assume thatg is an L-Lipschitzian mapping with L≥ and f :CC is a contraction with the constantρ∈(, ).Assume that U∩EP(φ)=∅.Let

{xn}be a sequence generated by

⎧ ⎨ ⎩

φ(un,y) +βnyun,unxn ≥, ∀yC, xn=αnf(xn) + ( –αn)Tnun, ∀n∈N,

where un=Qβnxn,PC(I–λng) =snI+ ( –sn)Tn,sn=–λnLand{λn} ⊂(,L).Let{βn}and

(7)

(i) {βn} ⊂(,∞),lim infn→∞βn> ; (ii) {αn} ⊂(, ),limn→∞αn= .

Then{xn}converges strongly,as sn→ (⇔λn→L),to a point qU∩EP(φ)which solves the variational inequality(.).

Proof First, we claim that{xn}is bounded. Indeed, pick anypU∩EP(φ), sinceun= Qβnxnandp=Qβnp, then we know that for anyn∈N,

unp=QβnxnQβnpxnp. (.)

Thus, we derive that (notingTnp=pandTnis nonexpansive)

xnp=αnf(xn) + ( –αn)Tnunp

αnf(xn) –αnf(p)+αnf(p) –αnp+ ( –αn)TnunTnp

≤ –αn( –ρ)

xnp+αn(I–f)p.

Then we have

xnp ≤ 

 –ρ(I–f)p,

and hence{xn}is bounded. From (.), we also derive that{un}is bounded.

Next, we claim thatxnun →. Indeed, for anypU∩EP(φ), by Lemma ., we have

unp=QβnxnQβnp ≤ xnp,unp

= 

xnp+unp–unxn

.

This implies that

unp≤ xnp–unxn. (.)

Then from (.), we derive that

xnp=αnf(xn) + ( –αn)Tnunp

=αnf(xn) –αnp+ ( –αn)Tnun– ( –αn)Tnp

≤( –αn)unp+ αn

f(xn) –p,xnp

xnp–unxn+ αn

ρxnp+(I–f)pxnp.

Sinceαn→, it follows that

lim

(8)

Then we show thatxnTnxn →. Indeed,

xnTnxn=xnTnun+TnunTnxn

xnTnun+TnunTnxn

αnf(xn) –Tnun+unxn.

Sinceαn→ andxnun →, we obtain that

xnTnxn →.

Thus,

unTnun=unxn+xnTnxn+TnxnTnun

unxn+xnTnxn+TnxnTnun

unxn+xnTnxn+xnun,

and

xnTnunxnun+unTnun,

we have

unTnun → and xnTnun →.

Observe that

PC(I–λng)unun=snun+ ( –sn)Tnunun

= ( –sn)Tnunun

Tnunun,

wheresn=–λnL∈(,). Hence, we have

PC

I– Lg

unun

PC

I– Lg

unPC(I–λng)un

+PC(I–λng)unun

I– Lg

un– (I–λng)un

+PC(I–λng)unun

Lλn

g(un)+Tnunun.

From the boundedness of{un},sn→ (⇔λn→ L) andunTnun →, we conclude that

lim

n→∞

unPC

I– Lg

un

(9)

Since∇gisL-Lipschitzian,gis L-ism. Consequently,PC(I–Lg) is a nonexpansive self-mapping onC. As a matter of fact, we have for eachx,yC

PC

I– Lg

xPC

I– Lg

y

I– Lg

x

I– Lg

y

=xy– L

g(x) –g(y)

=xy– L

xy,g(x) –g(y) + 

L∇g(x) –g(y)

xy– 

L∇g(x) –g(y)

+ 

L∇g(x) –g(y)

=xy.

Consider a subsequence{uni}of{un}. Since{uni}is bounded, there exists a subsequence

{unij}of{uni}which converges weakly toq. Next, we show thatqU∩EP(φ). Without loss of generality, we can assume thatuniq. Then, by Lemma ., we obtain

q=PC

I– Lg

q.

This shows thatqU.

Next, we show thatq∈EP(φ). Sinceun=Qβnxn, for anyyC, we obtain

φ(un,y) +βn

yun,unxn ≥.

From (A), we have

βn

yun,unxnφ(y,un).

Replacingnbyni, we have

yuni,

unixni βni

φ(y,uni).

Sinceuniβxni

ni → anduniq, it follows from (A) that φ(y,q) for allyC. Let

zt=ty+ ( –t)q,t∈(, ],yC,

then we haveztCand henceφ(zt,q)≤. Thus, from (A) and (A), we have

 =φ(zt,zt)

tφ(zt,y) + ( –t)φ(zt,q)

(10)

and hence ≤φ(zt,y). From (A), we have φ(q,y) for allyCand henceq∈EP(φ). Therefore,q∈EP(φ)∩U.

On the other hand, we note that

xnq=αnf(xn) + ( –αn)Tnunq

=αnf(xn) –αnf(q) +αnf(q) –αnq+ ( –αn)(Tnunq).

Hence, we obtain

xnq =αn

(f–I)q,xnq

+αn

f(xn) –f(q)

+ ( –αn)(TnunTnq),xnq

αn

(f–I)q,xnq +

 –αn( –ρ)

xnq.

It follows that

xnq≤   –ρ

(f –I)q,xnq.

In particular,

xniq

 –ρ

(f–I)q,xniq. (.)

Sincexniq, it follows from (.) thatxniqasi→ ∞.

Next, we show thatqsolves the variational inequality (.). Observe that

xn=αnf(xn) + ( –αn)Tnun=αnf(xn) + ( –αn)TnQβnxn.

Hence, we conclude that

(I–f)xn= –  αn

(I–TnQβn)xnTnQβnxn+xn.

SinceTnis nonexpansive, we have thatITnQβn is monotone. Note that for any given zU∩EP(φ),

(I–f)xn,xnz

= – αn

(I–TnQβn)xn– (I–TnQβn)z,xnzTnunxn,xnz

Tnunxnxnz.

Now, replacingnwithniin the above inequality, and lettingi→ ∞, we have

(I–f)q,qz =lim

i→∞

(I–f)xni,xniz ≤.

(11)

inequality (.), we conclude thatxnqasn→ ∞. The variational inequality (.) can be written as

f(q) –q,qz ≥, ∀zU∩EP(φ).

So, in terms of Lemma ., it is equivalent to the following equality:

PU∩EP(φ)f(q) =q.

This completes the proof.

Theorem . Let C be a nonempty closed convex subset of a real Hilbert space H andφ

be a bifunction from C×C intoRsatisfying(A), (A), (A),and(A).Let g:C→Rbe a real-valued convex function,and assume thatg is an L-Lipschitzian mapping with L≥ and f :CC is a contraction with the constantρ∈(, ).Assume that U∩EP(φ)=∅.Let

{xn}be a sequence generated by x∈C and

⎨ ⎩

φ(un,y) +βnyun,unxn ≥, ∀yC, xn+=αnf(xn) + ( –αn)Tnun, ∀n∈N,

where un=Qβnxn,PC(I–λng) =snI+ ( –sn)Tn,sn=

–λnL

and{λn} ⊂(, 

L).Let{αn},

{βn}and{sn}satisfy the following conditions: (i) {βn} ⊂(,∞),lim infβn> ,

n=|βn+–βn|<∞; (ii) {αn} ⊂(, ),limn→∞αn= ,

n=αn=∞,

n=|αn+–αn|<∞; (iii) {sn} ⊂(,),limn→∞sn= (⇔limn→∞λn=L),∞n=|sn+–sn|<∞.

Then{xn}converges strongly to a point qU∩EP(φ)which solves the variational inequal-ity(.).

Proof First, we show that{xn}is bounded. Indeed, pick anypU∩EP(φ), sinceun=Qβnxn andp=Qβnp, then we know that for anyn∈N,

unp=QβnxnQβnpxnp. (.)

Thus, we derive that (notingTnp=pandTnis nonexpansive)

xn+–p=αnf(xn) + ( –αn)Tnunp

αnρxnp+ ( –αn)xnp+αnf(p) –p

≤ –αn( –ρ)

xnp+αnf(p) –p.

By induction, we have

xnp ≤max

x–p,

 –ρf(p) –p

,

(12)

Next, we show thatxn+–xn →. Indeed, since∇gisL-ism,PC(I–λng) is nonex-pansive. It follows that for any givenpS,

PC(I–λng)un–≤PC(I–λng)un––p+p

PC(I–λng)un––PC(I–λng)p+p

un––p+pun–+ p.

This together with the boundedness of{un}implies that{PC(I–λng)un–}is bounded. Also, observe that

Tnun––Tn–un–

=PC(I–λng) – ( –λnL)I  +λnL

un––

PC(I–λn–∇g) – ( –λn–L)I

 +λn–L

un–

≤PC(I–λng)  +λnL

un––

PC(I–λn–∇g)  +λn–L

un–

+ –λn–L  +λn–L

un––

 –λnL  +λnL

un–

=( +λn–L)PC(I–λng)un–– ( +λnL)PC(I–λn–∇g)un– ( +λnL)( +λn–L)

+ L|λnλn–| ( +λn–L)( +λnL)

un–

≤L(λn––λn)PC(I–λng)un–

( +λnL)( +λn–L)

+( +λnL)(PC(I–λng) –PC(I–λn–∇g))un– ( +λnL)( +λn–L)

+ L|λnλn–| ( +λn–L)( +λnL)

un–

≤L|λn––λn| · PC(I–λng)un– ( +λnL)( +λn–L)

+( +λnL)PC(I–λng)un––PC(I–λn–∇g)un– ( +λnL)( +λn–L)

+ L|λnλn–| ( +λn–L)( +λnL)

un–

≤ |λn––λn| ·

LPC(I–λng)un–+ ∇g(un–)+Lun–

M|λn––λn|

for some appropriate constantM>  such that

M≥LPC(I–λng)un–+ ∇g(un–)+Lun–, ∀n≥.

Thus, we get

xn+–xn

=αnf(xn) + ( –αn)Tnun

(13)

=αnf(xn) –αnf(xn–) +αnf(xn–) –αn–f(xn–) + ( –αn)Tnun

– ( –αn)Tnun–+ ( –αn)Tnun–– ( –αn)Tn–un–

+ ( –αn)Tn–un–– ( –αn–)Tn–un–

αnρxnxn–+|αnαn–|f(xn–)+ ( –αn)unun–

+ ( –αn)Tnun––Tn–un–+|αnαn–|Tn–un–

=αnρxnxn–+ ( –αn)unun–+ ( –αn)Tnun––Tn–un–

+|αnαn–|f(xn–)+Tn–un–

αnρxnxn–+ ( –αn)unun–+M|λnλn–|

+|αnαn–|f(xn–)+Tn–un–

=αnρxnxn–+ ( –αn)unun–+|snsn–| M

L +|αnαn–|f(xn–)+Tn–un–

αnρxnxn–+ ( –αn)unun–+M

|αnαn–|+|snsn–|

(.)

for some appropriate constantM>  such that

M≥max

f(xn–)+Tn–un–, M

L

, ∀n≥.

Fromun+=Qβn+xn+andun=Qβnxn, we note that

φ(un+,y) +

βn+

yun+,un+–xn+ ≥, ∀yC, (.)

and

φ(un,y) +βn

yun,unxn ≥, ∀yC. (.)

Puttingy=unin (.) andy=un+in (.), we have

φ(un+,un) +  βn+

unun+,un+–xn+ ≥, ∀yC,

and

φ(un,un+) +

βn

un+–un,unxn ≥, ∀yC.

So, from (A), we have

un+–un, unxn

βn

un+–xn+ βn+

≥,

and hence

un+–un,unun++un+–xnβn βn+

(un+–xn+)

(14)

Sincelimn→∞βn> , without loss of generality, let us assume that there exists a real numberasuch thatβn>a>  for alln∈N. Thus, we have

un+–un≤

un+–un,xn+–xn+

 – βn βn+

(un+–xn+)

un+–un

xn+–xn+

 – βn

βn+

un+–xn+

,

thus,

un+–unxn+–xn+ 

a|βn+–βn|M, (.)

whereM=sup{unxn:n∈N}. From (.) and (.), we obtain

xn+–xn

≤ –αn( –ρ)

xnxn–+M

|αnαn–|+|snsn–|

+|βnβn–| M

a

≤ –αn( –ρ)

xnxn–+M

|αnαn–|+|snsn–|+|βnβn–|

,

whereM=max[M,Ma]. Hence, by Lemma ., we have

lim

n→∞xn+–xn= . (.)

Then, from (.) and (.), and|βn+–βn| →, we have

lim

n→∞un+–un= .

For anypU∩EP(φ), as in the proof of Theorem ., we have

unp≤ xnp–unxn. (.)

Then from (.), we derive that

xn+–p =αnf(xn) –αnp+ ( –αn)Tnun– ( –αn)Tnp

αnf(xn) –p

+ αn( –αn)f(xn) –punp

+ ( –αn)unp

αnf(xn) –p+ f(xn) –punp

+unp

xnp–unxn+αnf(xn) –p

+ f(xn) –punp

.

Sinceαn→ andxnxn+ →, we have

lim

(15)

Next, we have

xnTnxn=αnf(xn) + ( –αn)TnunTnxn

αnf(xn) –Tnun+ ( –αn)unxn.

Then,xnTnxn →, it follows thatunTnun →. Now, we show that

lim sup

n→∞

xnq, –(If)q ≤,

whereq=PU∩EP(φ)f(q) is a unique solution of the variational inequality (.). Indeed, take

a subsequence{xnk}of{xn}such that

lim sup

n→∞

xnq, –(If)q = lim k→∞

xnkq, –(If)q.

Since{xn}is bounded, without loss of generality, we may assume thatxnk x. By the same˜ argument as in the proof of Theorem ., we havex˜∈U∩EP(φ).

Sinceq=PU∩EP(φ)f(q), it follows that

lim sup

n→∞

(I–f)q,qxn =

(I–f)q,qx˜ ≤. (.)

From

xn+–q=αnf(xn) + ( –αn)Tnunq

=αnf(xn) –αnf(q) +αnf(q) –αnq+ ( –αn)Tnun– ( –αn)Tnq,

we have

xn+–q=αn

f(xn) –f(q)

+αn

f(q) –q+ ( –αn)(TnunTnq)

≤( –αn)TnunTnq+ αn

f(xn) –f(q) – (I–f)q,xn+–q.

This implies that

xn+–q≤( –αn)xnq+ αnρxnqxn+–q

+ αn

–(I–f)q,xn+–q

≤( –αn)xnq+αnρ

xnq+xn+–q

+ αn

–(I–f)q,xn+–q.

Then, we have

xn+–q≤

 – αn+αnρ  –αnρ

xnq+ αn  –αnρ

xnq

+ αn  –αnρ

(16)

≤ – ( –ρ)αn

xnq+ α

n  –αnρ

xnq

+ αn  –αnρ

–(I–f)q,xn+–q

≤ – ( –ρ)αn

xnq+ ( –ρ)αn

αn ( –ρ)( –αnρ)

M*

+ 

( –ρ)( –αnρ)

–(I–f)q,xn+–q

= – ( –ρ)αn

xnq+ ( –ρ)αnδn,

whereM*=sup{x

nq:n∈N}, andδn=(–ρ)(–ααn nρ)M*+(–ρ)(–αnρ)–(I–f)q,xn+–q.

It is easy to see thatlimn→∞( –ρ)αn= ,

n=( –ρ)αn=∞, andlim supn→∞δn≤ by (.). Hence, by Lemma ., the sequence{xn}converges strongly toq. This completes

the proof.

4 Conclusions

Methods for solving the equilibrium problem and the constrained convex minimization problem have extensively been studied respectively in a Hilbert space. But to the best of our knowledge, it would probably be the first time in the literature that we introduce im-plicit and exim-plicit algorithms for finding the common element of the set of solutions of an equilibrium problem and the set of solutions of a constrained convex minimization problem, which also solves a certain variational inequality.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All the authors read and approved the final manuscript.

Acknowledgements

The authors wish to thank the referees for their helpful comments, which notably improved the presentation of this manuscript. This work was supported in part by The Fundamental Research Funds for the Central Universities (the Special Fund of Science in Civil Aviation University of China: No. ZXH2012K001), and by the Science Research Foundation of Civil Aviation University of China (No. 2012KYM03).

Received: 20 March 2012 Accepted: 24 October 2012 Published: 7 November 2012 References

1. Mann, WR: Mean value methods in iteration. Proc. Am. Math. Soc.4, 506-510 (1953)

2. Moudafi, A: Viscosity approximation method for fixed-points problems. J. Math. Anal. Appl.241, 46-55 (2000) 3. Moudafi, A, Théra, M: Proximal and dynamical approaches to equilibrium problems. In: Ill-Posed Variational Problems

and Regularization Techniques, Trier, 1998. Lecture Notes in Econom. and Math. System, vol. 477, pp. 187-201. Springer, Berlin (1999)

4. Ceng, LC, Al-Homidan, S, Ansari, QH, Yao, J-C: An iterative scheme for equilibrium problems and fixed point problems of strict pseudo-contraction mappings. J. Comput. Appl. Math.223, 967-974 (2009)

5. Takahashi, S, Takahashi, W: Viscosity approximation methods for equilibrium problems and fixed point problems in Hilbert spaces. J. Math. Anal. Appl.331, 506-515 (2007)

6. Tian, M: An application of hybrid steepest descent methods for equilibrium problems and strict pseudocontractions in Hilbert spaces. J. Inequal. Appl.2011, Article ID 173430 (2011). doi:10.1155/2011/173430

7. Yamada, I: The hybrid steepest descent method for the variational inequality problem over the intersection of fixed point sets of nonexpansive mappings. In: Inherently Parallel Algorithms in Feasibility and Optimization and Their Application, Haifa (2001)

8. Liu, Y: A general iterative method for equilibrium problems and strict pseudo-contractions in Hilbert spaces. Nonlinear Anal.71, 4852-4861 (2009)

9. Plubtieng, S, Punpaeng, R: A general iterative method for equilibrium problems and fixed point problems in Hilbert space. J. Math. Anal. Appl.336, 455-469 (2007)

(17)

11. Jung, JS: Strong convergence of composite iterative methods for equilibrium problems and fixed point problems. Appl. Math. Comput.213, 498-505 (2009)

12. Kumam, P: A new hybrid iterative method for solution of equilibrium problems and fixed point problems for an inverse strongly monotone operator and a nonexpansive mapping. J. Appl. Math. Comput.29, 263-280 (2009) 13. Kumam, P: A hybrid approximation method for equilibrium and fixed point problems for a monotone mapping and

a nonexpansive mapping. Nonlinear Anal. Hybrid Syst.2(4), 1245-1255 (2008)

14. Saewan, S, Kumam, P: The shrinking projection method for solving generalized equilibrium problem and common fixed points for asymptotically quasi-φ-nonexpansive mappings. Fixed Point Theory Appl. (2011).

doi:10.1186/1687-1812-2011-9

15. Tada, A, Takahashi, W: Weak and strong convergence theorems for a nonexpansive mapping and an equilibrium problem. J. Optim. Theory Appl.133, 359-370 (2007)

16. Yao, Y, Liou, YC, Yao, JC: Convergence theorem for equilibrium problems and fixed point problems of infinite family of nonexpansive mappings. Fixed Point Theory Appl.2007, Article ID 64363 (2007)

17. Su, YF, Shang, MJ, Qin, XL: An iterative method of solution for equilibrium and optimization problems. Nonlinear Anal., Theory Methods Appl.69, 2709-2719 (2008)

18. Plubtieng, S, Punpaeng, R: A new iterative method for equilibrium problems and fixed point problems of nonlinear mappings and monotone mappings. Appl. Math. Comput.179, 548-558 (2008)

19. Xu, HK: Averaged mappings and the gradient-projection algorithm. J. Optim. Theory Appl.150, 360-378 (2011) 20. Xu, HK: An iterative approach to quadratic optimization. J. Optim. Theory Appl.116, 659-678 (2003)

21. Xu, HK: Iterative algorithms for nonlinear operators. J. Lond. Math. Soc.66, 240-256 (2002)

22. Ceng, LC, Ansari, QH, Yao, J-C: Some iterative methods for finding fixed points and for solving constrained convex minimization problems. Nonlinear Anal.74, 5286-5302 (2011)

23. Marino, G, Xu, HK: A general method for nonexpansive mappings in Hilbert space. J. Math. Anal. Appl.318, 43-52 (2006)

24. Xu, HK: Viscosity approximation methods for nonexpansive mappings. J. Math. Anal. Appl.298, 279-291 (2004) 25. Bkun, E, Oettli, W: From optimization and variational inequalities to equilibrium problems. Math. Stud.63, 123-145

(1994)

26. Combettes, PL, Hirstoaga, SA: Equilibrium programming in Hilbert spaces. J. Nonlinear Convex Anal.6, 117-136 (2005) 27. Byrne, C: A unified treatment of some iterative algorithms in signal processing and image reconstruction. Inverse

Probl.20, 103-120 (2004)

28. Geobel, K, Kirk, WA: Topics on Metric Fixed Points Theory. Cambridge Studies in Advanced Mathematical, vol. 28. Cambridge University Press, Cambridge (1990)

29. Bretarkas, DP, Gafin, EM: Projection methods for variational inequalities with applications to the traffic assignment problem. Math. Program. Stud.17, 139-159 (1982)

30. Han, D, Lo, HK: Solving non additive traffic assignment problems: a descent method for cocoercive variational inequalities. Eur. J. Oper. Res.159, 529-544 (2004)

doi:10.1186/1687-1812-2012-201

References

Related documents

Prostatic intra-epithelial neoplasia is believed to be a pre-malignant lesion and is divided into two main grades: low grade (PIN I) and high grade (PIN II&amp;III).6

10·13 Many patients who had remained childless have been treated successfully and the treatment is safe for both male and female patients.. In this report,

For example, as compared to the vascular plant analysis using the phylogram, in the analysis using the chronograms concentrations of paleo- endemism in the Sonoran Desert

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

II lists these datasets with their number of attributes, number of records, number of discovered FDs, and number of exemplars selected according to the three selection strategies

The animations in wmf format provided with this manuscript show different single realizations or possible scenario of an unrestricted epidemic where one initial infected person

Interestingly, the levels of specific anti-A β 40 antibodies in ABvac40-treated patients in the AP subgroup remained significantly higher than pre-immune plasma levels up to 56

GSEA revealed a broad picture of increased cell prolif- eration and reduced differentiation associated with net- work hits in mice and low network metagene activity in human