• No results found

Wiener Hopf equation technique for solving equilibrium problems and variational inequalities and fixed points of a nonexpansive mapping

N/A
N/A
Protected

Academic year: 2020

Share "Wiener Hopf equation technique for solving equilibrium problems and variational inequalities and fixed points of a nonexpansive mapping"

Copied!
17
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

Wiener-Hopf equation technique for solving

equilibrium problems and variational

inequalities and fixed points of a

nonexpansive mapping

Yuehu Wang

1*

and Congjun Zhang

2 *Correspondence:

[email protected] 1School of Mathematical Science,

Anhui University, Hefei, 230601, P.R. China

Full list of author information is available at the end of the article

Abstract

In this paper, we introduce some new iterative schemes based on the Wiener-Hopf equation technique and auxiliary principle for finding common elements of the set of solutions of equilibrium problems, the set of fixed points of a nonexpansive mapping and the set of solutions of a variational inequality. Several strong convergence results for the sequences generated by these iterative schemes are established in Hilbert spaces. As the generation, we also consider two generalized variational inequalities, and obtain some iterative schemes and the proposed strong convergence theorems for solving these generalized variational inequalities, equilibrium problems, and a nonexpansive mapping. Our results and proof are new, and they extend the corresponding results of Verma (Appl. Math. Lett. 10:107-109, 1997), Wu and Li (4th International Congress on Image and Signal Processing, pp. 2802-2805, 2011), and Noor and Huang (Appl. Math. Comput. 191:504-510, 2007).

Keywords: equilibrium problems; algorithms; Wiener-Hopf equation technique; auxiliary principle

1 Introduction

LetH be a real Hilbert space, whose inner product and norm are denoted by·,·and · , respectively. LetKbe a nonempty closed convex subset ofH. LetT,S:KKbe nonlinear mappings. LetM:H→Hbe a multi-valued operator and letf :K×KR

be a bifunction, whereRis the set of real numbers. LetPKbe the projection ofHonto the closed convex setKandQK=IPK, where theIis the identity operator.

In , Blum and Oettli (see []) introduced the equilibrium problem (EP) which is to findx¯∈K, such that

f(x¯,y)≥, ∀yK. (.)

The set of solutions of (.) is denoted byEP(f). Letf(x,y) =Tx,yxfor allx,yK, then the EP reduces to the variational inequality problem (VIP) which is to findx¯∈Ksuch that

Tx¯,yx ≥, ∀yK. (.)

(2)

This problem was introduced by Stampacchia (see []) in . Related to EP and VIP, fixed point problems (FP) of a nonexpansive mapping are also considered by many authors. Recall that a mapping S is nonexpansive ifSxSyxyfor all x,yK. Let us denote the set of fixed points ofSand set of solutions of problem (.) byF(S),VI(K,T), respectively.

Recently, for solving the EP, VIP, and FP, many authors have introduced and extended lots of iterative schemes.

For solving variational inequality problems:

In , Shi (see []) demonstrated the equivalence between the VIP:Tuf,vu ≥, ∀vK and Wiener-Hopf equation: (TPK+QK)v=f, wherefH. Noor (see []) estab-lished the equivalence between the generalized VIP:Tu,g(v) –g(u) ≥,∀g(v)∈Kand the generalized Wiener-Hopf equation:Tg–P

Kz+ρ–QKz=  and introduced an iterative scheme based on this equivalence,

⎧ ⎨ ⎩

g(un) =PKzn,

zn+=g(un) –ρTun,

(.)

whereg–exists.

Afterwards, by using different generalized Wiener-Hopf equation techniques, Verma and Al-Shemaset al.introduced several algorithms for solving generalized VIPs, respec-tively (see, for example, [–]). It has been shown that the Wiener-Hopf equation tech-niques are more flexible and general than projection methods.

On the other hand, for getting the unified approach to solve EP, VIP and FP, many authors also suggest and analyze lots of iterative schemes for common elements of F(S),EP(f), VI(K,T).

For solvingEP(f)∩F(S):

Takahashi and Takahashi (see []) introduced the following iterative schemes based on the viscosity approximation method:

⎧ ⎨ ⎩

F(un,y) +r

nyun,unxn ≥, ∀yK, xn+=αnf(xn) + ( –αn)Sun.

For solvingEP(f)∩VI(K,T):

Li and Su (see []) introduced the following iterative schemes:

⎧ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩

yn=CJ–(JxnrnAxn),

unC:f(un,y) +rnyun,JunJyn ≥, ∀yK,

Cn+={zCn:ϕ(z,un)ϕ(z,xn)},

xn+=Cn+x.

For solvingEP(f)∩VIP(K,T)∩F(S):

Plubtieng and Punpaeng (see []) introduced the following iterative schemes:

⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

f(un,y) +r

nyun,unxn ≥, ∀yK, yn=PC(unλnAun),

(3)

For more algorithms, please see, for instance, [–] and the references therein. Summarizing the above algorithms, we know that these papers have mainly used the auxiliary principle, the projection technique and iterative schemes of fixed points. How-ever, the Wiener-Hopf equation technique which is more flexible and general than pro-jection methods has not been used for solvingEP(f)∩F(S),EP(f)∩VI(K,T), andEP(f)∩ VI(K,T)∩F(S).

Remark . It is worth mentioning that although there are some papers which have ap-plied the Wiener-Hopf equation technique to solve VIP andVI(K,T)∩F(S), their research does not includeEP(f). However, our idea is just to apply the Wiener-Hopf equation tech-nique to study the common element problem which is related toEP(f).

In this paper, motivated and inspired by the above analysis and ongoing research in this field, we combine the Wiener-Hopf equation technique and auxiliary principle to intro-duce some iterative schemes for solving the common element problem which is related to EP(f). This paper is organized as follows: In Section , some preliminaries are pre-sented. Section  is devoted to solving theEP(f)∩VI(K,T). In Section , we consider a nonexpansive mappingS and obtain some iterative schemes and strong convergent re-sults for solvingEP(f)∩VI(K,T)∩F(S). In Section , we extend the VIPs in Section  and Section , and we get some iterative schemes and strong convergent theorems for solvingGVI(K,T)∩EP(f) andGVI(K,T)∩EP(f)∩F(S), respectively. Our results extend the corresponding results of Verma (see []), Wu and Li (see []), and Noor and Huang (see []).

2 Preliminaries

In the rest of this paper, letHbe a real Hilbert space, whose inner product and norm are denoted by·,·and·, respectively. LetKbe a nonempty closed convex subset ofH. Let

T,S:KKbe nonlinear mapping. LetM:H→Hbe a multi-valued operator and let

f :K×KRbe a bifunction, whereRis the set of real numbers. LetPKbe the projection ofHonto the closed convex setKandQK=IPK, whereIis the identity operator.

Definition . The operatorT:KKis said to be:

(i) μ-Lipschitz continuous, if there exists a constantμ> such that

TxTyμxyfor allx,yK;

(ii) r-strongly monotone, if there exists a constantr> such that

TxTy,xyrxyfor allx,yK;

(iii) γ-co-coercive, if there exists a constantγ > such that

TxTy,xyγTxTyfor allx,yK;

(iv) relaxedγ-co-coercive, if there exists a constantγ > such that

TxTy,xy ≥–γTxTyfor allx,yK;

(v) relaxed(γ,r)-co-coercive, if there exist two constantsγ,r> such that

TxTy,xy ≥–γTxTy+rxyfor allx,yK.

Definition . The multi-valued operatorM:H→His said to be:

(i) a relaxed monotone operator, if there exists a constantk> such that

(4)

(ii) Lipschitz continuous if there exists a constantλ> such thatw–w ≤λuv, ∀w∈Mu,∀w∈Mv.

Lemma .(see []) Let the bifunction f :K×KR satisfy the following conditions:

(i) f(x,x) = for allxK;

(ii) f is monotone,i.e.f(x,y) +f(y,x)≤for allx,yK; (iii) for eachx,y,zK,limt→f(tz+ ( –t)x,y)≤f(x,y); (iv) for eachxK,f(x,·)is convex and lower semicontinuous.

ThenEP(f)=∅.

Lemma .(see []) Let r> ,xH,and f satisfy the conditions(i)-(iv)in Lemma..

Then there exists zK such that f(z,y) +ryz,zx ≥,∀yK.

Lemma .(see []) Let r> ,xH,and f satisfy the conditions(i)-(iv)in Lemma..

Define a mapping Tr:HK as Tr(x) ={zK:f(z,y) +r· yz,zx ≥,∀yK}.

Then the following hold:

(a) Tris single-valued;

(b) Tris firmly nonexpansive,i.e.TrxTryTrxTry,xyfor allx,yH;

(c) EP(f) =F(Tr),whereF(Tr)denotes the sets of fixed point ofTr;

(d) EP(f)is closed and convex.

In [], Noor introduced the following generalized Wiener-Hopf equation:

Tg–PKz+ρ–QKz= . (.)

Here he assumedg–exists, and note that ifg=I, the identity operator, then (.) reduces to

TPKz+ρ–QKz= , (.)

which was introduced by Shi (see []). Denote the sets of solutions of (.) and (.) by WHE(T,g) andWHE(T), respectively.

Lemma .(see []) The variational inequality(.)has a solutionx¯∈H if and only if the Wiener-Hopf equation(.)has a solutionz¯∈H,wherex¯=PKz¯,¯z=x¯–ρTx¯.

In , Noor (see []) introduced the generalized variational inequality (GVIP) which is to findx¯∈Hsuch thatg(x¯)∈Hand

Tx¯,g(y) –g(x¯)≥, ∀g(y)∈K. (.)

Denote the set of solutions of (.) byGVI(K,T). Clearly, ifg=I, the identity operator, the GVIP (.) reduces to VIP (.).

(5)

For finding the common element of the set of fixed points of a nonexpansive mapping and the set of solution of the variational inequality, Noor and Huang [] introduced the Wiener-Hopf equation which included a nonexpansive mapping:

TSPKz+ρ–QKz= . (.)

Furthermore the equivalence was established between the Wiener-Hopf equation (.) and the variational inequality (.) as follows.

Lemma .(see []) The variational inequality(.)has a solutionx if and only if the˜ Wiener-Hopf equation(.)has a solutionz˜,where˜z=x˜–ρTx˜,x˜=SPKz˜.

Wu and Li (see []) introduced the Wiener-Hopf equation which includes a nonexpan-sive mappingS:

TSPKz+w+ρ–QKz= , ∀wMSPKz (.)

and established the equivalence between the Wiener-Hopf equation (.) and the gener-alized variational inequality which is to finduKsuch that

Tu+w,vu ≥, ∀vC,∀wMu. (.)

Next, denote the sets of solutions of (.) byWHE(T,S).

Lemma .(see []) The variational inequality(.)has a solution˜cH if and only if the Wiener-Hopf equation(.)has a solution˜zH,wherez˜=c˜–ρ(Tc˜+w),c˜=SPKz˜.

Lemma .(see []) Assume that{an}is a sequence of nonnegative real numbers such

that

an+≤( –λn)an+bn,nn,

where nis some nonnegative integer,and{λn}is a sequence in[, ]such that

n=λn=∞,

bn=o(λn).Thenlimn→∞an= .

Lemma . For given x,zK,if

yz,zx ≥, (.)

for any yK.Then x=z.

Proof Assumex=z. Puty=x, then (.) reduces to ≤ xz,zx= –xz< , which

is a contradiction.

3 Results for solvingEP(f)∩VI(K,T)

(6)

Algorithm . For a given z, compute the approximate solutionzn+ by the iterative schemes:

⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

un=PKzn,

f(vn,y) +ryvn,vnun ≥, ∀yK,

zn+=vnρTvn.

By an appropriate rearrangement, Algorithm . can be written in the following form.

Algorithm . For a given z, compute the approximate solutionzn+ by the iterative schemes:

⎧ ⎨ ⎩

f(vn,y) +ryvn,vnPKzn ≥, ∀yK,

zn+=vnρTvn.

Iff(x,y) =  for allx,yK, Algorithm . collapses to the following iterative method for solving variational inequalities (.), which is mainly due to Shi [].

Algorithm . For a given z, compute the approximate solutionzn+ by the iterative schemes:

⎧ ⎨ ⎩

un=PKzn,

zn+=unρTun.

Theorem . Let K be the nonempty closed convex subset of H.The bifunction f :K×KR satisfies the conditions(i)-(iv)of Lemma..Let T:KK be aα-strongly monotone and

β-Lipschitz continuous operator such thatEP(f)∩VI(K,T)=∅.Let{zn},{un},{vn}be the

sequences generated by Algorithm.,whereρ> is a constant and

 <  – αρ+βρ< .

Then{un},{vn}generated by Algorithm.converge to s∈EP(f)∩VI(K,T),and{zn}

gen-erated by Algorithm.converges toz˜∈WHE(T).

Proof Letz˜∈WHE(T) ands∈EP(f)∩VI(K,T). Step . Estimatezn+z˜.

From Lemma ., we have

˜

z=sρTs,

s=PKz˜.

Hence

zn+z˜ =vnρTvns+ρTs (.)

= vns– (ρTvnρTs) 

(7)

vns– ρTvnTs,vns+TvnTs (.) ≤ – αρ+βρv

ns. (.)

Here, we have used theα-strong monotonicity andμ-Lipschitz continuity ofT in (.) and (.).

Step . Estimatevns.

Sinces∈EP(f)∩VI(K,T), we have

f(s,y)≥, ∀yK. (.)

Puttingy=vnin (.) andy=sin Algorithm ., we have

f(s,vn)≥ and f(vn,s) +

rsvn,vnun ≥. (.)

From the monotonicity off, we get

f(s,vn)≥ ⇒ f(vn,s)≤. (.)

Combining (.) and (.), we obtain

svn,vnun ≥.

It follows that

svn,vns+sun ≥

svn,vns+svn,sun ≥

svn≤ svn,sunsvn · sunsvnsun

vnsuns.

Step . Estimateunsand prove the strong convergence of sequences generated by Algorithm ..

Due to the nonexpansivity ofPK, we find

uns=PKznPKz˜ ≤ znz˜.

By the above three steps, we have

zn+z˜ ≤  – αρ+βρ

vns

≤  – αρ+βρu ns

(8)

which implies that

zn+z˜ ≤  – αρ+βρ

zn–˜z ≤ · · ·

≤  – αρ+βρn+z –z˜.

Since

 – αρ+βρ< ,

we conclude

zn+z˜ → (n→ ∞).

Therefore, from

vnsuns=PKznPKzznz,

we have

vns → (n→ ∞),

uns → (n→ ∞).

4 Results for solvingEP(f)∩VI(K,T)∩F(S)

In this section, applying Lemma ., we consider a nonexpansive mapping and analyze several iterative schemes and convergence theorems for solvingEP(f)∩VI(K,T)∩F(S).

Algorithm . For a givenz∈H, compute the approximate solutionzn+by the iterative schemes

⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

un=αnPCzn+ ( –αn)SPCzn,

f(vn,y) +ryvn,vnun ≥, ∀yK,

zn+= ( –αn)zn+αn(vnρTvn).

ForS=I, the identity operator, Algorithm . collapses to the following iterative method.

Algorithm . For a givenz∈H, compute the approximate solutionzn+by the iterative schemes

⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

un=PCzn,

f(vn,y) +ryvn,vnun ≥, ∀yK,

zn+= ( –αn)zn+αn(vnρTvn).

(9)

Algorithm . For a givenz∈H, compute the approximate solutionzn+by the iterative schemes

⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

un=PCzn,

f(vn,y) +ryvn,vnun ≥, ∀yK,

zn+=vnρTvn.

Forf =  and via Lemma ., Algorithm . reduces to the following iterative method for solvingVI(K,T)∩F(S).

Algorithm . For a givenz∈H, compute the approximate solutionzn+by the iterative schemes

⎧ ⎨ ⎩

un=αnPCzn+ ( –αn)SPCzn,

zn+= ( –αn)zn+αn(unρTun).

Forf= ,S=I,αn= , and via Lemma ., Algorithm . reduces to the following iter-ative method for solving VIP.

Algorithm . For a givenz∈H, compute the approximate solutionzn+by the iterative schemes

⎧ ⎨ ⎩

un=PCzn,

zn+=unρTun.

Theorem . Let K be the nonempty closed convex subset of H.The bifunction f satis-fies the conditions(i)-(iv)of Lemma..Let T:KK be relaxed(γ,r)-co-coercive and

μ-Lipschitz continuous,and let S:KK be a k-strictly pseudocontractive mapping such thatEP(f)∩VIP(K,T)∩F(S)=∅,where

n=

αn=∞, α∈[k, ),  <ρ<

(rγ μk)

(μ+m) , r>γ μ+k.

Then the sequences{un},{vn}generated by Algorithm.converge to˜c∈EP(f)∩VI(K,T)∩

F(S)and the sequence{zn}generated by Algorithm.converges toz˜∈WHE(T).

Proof Letz˜∈WHE(T) and˜c∈EP(f)∩VI(K,T)∩F(S). Step . Estimatezn+z˜.

From Lemma ., we have

˜

z=c˜–ρTc˜,

˜

c=SPKz˜.

This implies that

˜

c=αnPCz˜+ ( –αn)SPCz˜,

˜

(10)

Hence

zn+z˜

=( –αn)zn+αn(vnρTvn) –z˜ (.)

=( –αn)zn+αn(vnρTvn) – ( –αn)z˜–αn(c˜–ρTc˜) (.)

=( –αn)zn– ( –αn)˜z+αn(vnρTvn) –αn(c˜–ρTc˜) (.)

≤( –αn)znz˜+αnvnc˜–ρ(TvnTc˜) (.)

= ( –αn)znz˜+αn vnc˜–ρ(TvnT˜c) 

(.)

= ( –αn)znz˜+αn

vn–˜c– ρTvnρT˜c,vnc˜+ρTvnT˜c (.)

≤( –αn)znz˜ (.)

+αn vnc˜– ρ

γTvnρT˜c+rvnc˜

+ρTv

nρTc˜ (.)

≤( –αn)znz˜ (.)

+αn vnc˜– ρ

γ μv

n–˜c+rvnc˜

+ρμv

nc˜ (.)

= ( –αn)znz˜+αn  + ργ μ– ρr+ρμ

vnc˜. (.)

In (.), (.), (.) of the above induction, we have used the (γ,r)-co-coercivity and μ-Lipschitz continuity of the operatorT.

Step . Estimatevnc˜.

Since˜c∈EP(f)∩VI(K,T)∩F(S), we get

fc,y)≥, ∀yK. (.)

Puttingy=vnin (.) andycin Algorithm ., respectively, we have

fc,vn)≥ and f(vnc) + 

r˜cvn,vnun ≥. (.)

From the monotonicity off, we obtain

fc,vn)≥ ⇒ f(vn,c˜)≤. (.)

Combining (.) and (.), we know

˜cvn,vnun ≥.

It follows that

˜cvn,vn–˜c+c˜–un

⇒ ˜cvn,vn–˜ccvn,c˜–un

(11)

⇒ ˜cvn ≤ ˜cunvn–˜cunc˜.

Step . Estimateun–˜cand prove the strong convergence of sequences generated by Algorithm ..

Since

un=αnPCzn+ ( –αn)SPCzn,

˜

c=αnPCz˜+ ( –αn)SPCz˜,

we have

un–˜c=αnPCzn+ ( –αn)SPCznαnPCz˜– ( –αn)SPCz˜

=αnPCznαnPCz˜+ ( –αn)SPCzn– ( –αn)SPCz˜

αnPCznPCz˜+ ( –αn)SPCznSPCz˜ ≤ zn–˜z.

By the above three steps, we get

zn+z˜ ≤( –αn)znz˜+αn  + ργ μ– ρr+ρμ

vn–˜c

≤( –αn)znz˜+αn  + ργ μ– ρr+ρμ

unc˜

≤( –αn)znz˜+αn  + ργ μ– ρr+ρμ

znc˜

= –αn( –θ)zn–˜c,

whereθ=( + ργ μ– ρr+ρμ). From Lemma ., it is easy to see that

zn–˜z → (n→ ∞),

and from

vnsuns=PKznPKzznz

we have

uns → (n→ ∞),

vns → (n→ ∞).

5 Generation

(12)

on. Related to the variational inequality, the Wiener-Hopf equation has also been ex-tended, and the equivalence between generalized variational inequalities and generalized Wiener-Hopf equations has been studied.

In this section, we consider the two generalized variational inequalities (.) and (.), respectively. Furthermore, applying Lemma ., we firstly suggest and give some iterative schemes for solving the variational inequality (.) and the equilibrium problem; secondly, via Lemma ., we also analyze and introduce several iterative schemes for solving the variational inequality (.), the equilibrium problem, and a nonexpansive mapping.

5.1 Results for solving variational inequality (2.3) and equilibrium problem

In this subsection, we use a similar technique to Section , and the proposed results in this subsection can be considered as the generation of Section .

Algorithm . For a givenz∈H, compute the approximate solutionzn+by the iterative schemes

⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

g(un) =PKzn,

f(vn,y) +ryvn,vnun ≥, ∀yK,

zn+=g(vn) –ρTvn.

Theorem . Let K be the nonempty closed convex subset of H and the bifunction f :

K×KR satisfy the conditions(i)-(iv) of Lemma..Let T :KK be aα-strongly monotone and β-Lipschitz continuous single-valued operator and let g :KK be a

σ-strongly monotone andδ-Lipschitz continuous single-valued operator such that g–exists

andEP(f)∩GVI(K,T)=∅,where

k=√ – σ+δ= , t= – ρα+βρ,  < k+t

 –k< , ρ> . (.)

Then the sequences{un},{vn}generated by Algorithm.converge strongly to s∈EP(f)∩ GVI(K,T)and{zn}generated by Algorithm.converges strongly toz˜∈WHE(T,g).

Proof Lets∈EP(f)∩GVI(K,T),˜z∈WHE(T,g). Step . Estimatezn+z˜.

From the Lemma ., we have

g(s) =PK˜z, (.)

˜

z=g(s) –ρTs. (.)

This implies that

zn+z˜ =g(vn) –g(s) –ρ(TvnTs) (.) ≤vns

g(vn) –g(s)+vnsρ(TvnTs) (.)

= vns– 

g(vn) –g(s),vns

+g(vn) –g(s) (.)

(13)

≤√ – σ+δv ns+

 – ρα+βρv

ns (.)

≤(k+t)vns. (.)

Note that we use the strong monotonicity and Lipschitz continuity ofT,gin (.), where

k=√ – σ+δ= ,t= – ρα+βρ. Step . Estimatevns.

Employing the technique that we use in the proof of Theorem ., we get

vnsuns.

Step . Estimateunsand prove the strong convergence of sequences generated by Algorithm ..

From (.), we obtain

unsuns

g(un) –g(s)+PKznPKz

kuns+znz.

It follows that

uns

  –k

znz (k= ).

Combining the above three steps, we have

zn+z ≤(k+t)vns ≤(k+t)uns

k+t

 –k

znz.

Since

 < k+t  –k< ,

we get

zn–˜z → (n→ ∞), uns → (n→ ∞),

vns → (n→ ∞).

Remark . Clearly, ifgis the identity mapping, Theorem . reduces to Theorem ..

Remark . Via Lemma ., it is easy to see that if the bifunctionf(x,y) = ,∀x,yK, Algorithm . reduces to

⎧ ⎨ ⎩

g(un) =PKzn,

zn+=g(un) –ρTun.

(14)

Remark . It is easy to show the condition (.) can be satisfied, for instance

α=

, β= √

, δ= √

, σ= 

, ρ=  .

5.2 Results for solving variational inequality (2.6), an equilibrium problem, and a nonexpansive mapping

In this subsection, we use a similar technique to Section , and the proposed results in this subsection can be considered as the generation of Section .

Algorithm . For a givenz∈H, compute the approximate solutionzn+by the iterative schemes

⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

un=αPCzn+ ( –α)SPCzn,

f(vn,y) +ryvn,vnun ≥, ∀yK,

zn+= ( –αn)zn+αn[vnρ(Tvn+wn)].

IfS=I, Algorithm . reduces to the following.

Algorithm . For a givenz∈H, compute the approximate solutionzn+by the iterative schemes

⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

un=PCzn,

f(vn,y) +ryvn,vnun ≥, ∀yK,

zn+= ( –αn)zn+αn[vnρ(Tvn+wn)].

IfS=Iandαn= , Algorithm . reduces to the following.

Algorithm . For a givenz∈H, compute the approximate solutionzn+by the iterative schemes

⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

un=PCzn,

f(vn,y) +ryvn,vnun ≥, ∀yK,

zn+=vnρ(Tvn+wn).

Iff = , Algorithm . reduces to the following.

Algorithm . For a givenz∈H, compute the approximate solutionzn+by the iterative schemes

⎧ ⎨ ⎩

un=αPCzn+ ( –α)SPCzn,

zn+= ( –αn)zn+αn[vnρ(Tvn+wn)],

which was introduced in [].

(15)

Algorithm . For a givenz∈H, compute the approximate solutionzn+by the iterative schemes

⎧ ⎨ ⎩

un=SPCzn,

zn+= ( –αn)zn+αn[vnρ(Tvn+wn)],

which was introduced in [].

Iff = ,S=I, andαn= , Algorithm . reduces to the following.

Algorithm . For a givenz∈H, compute the approximate solutionzn+by the iterative schemes

⎧ ⎨ ⎩

un=SPCzn,

zn+=unρ(Tun+wn),

which was introduced in [].

Theorem . Let K be the nonempty closed convex subset of H and the bifunction f satisfy the conditions (i)-(iv) of Lemma..Let T:KK be a relaxed(γ,r)-co-coercive and

μ-Lipschitz continuous operator,and S:KK be k-strictly such thatEP(f)∩VI(K,T)∩

F(S)=∅.Let M:H→Hbe a multi-valued relaxed monotone and Lipschitz continuous

operator with the corresponding constant k> ,m> ,where

n=

αn=∞, α∈[k, ),  <ρ<

(rγ μk)

(μ+m) , r>γ μ+k.

Then the sequences{un},{vn}generated by Algorithm.converge strongly to˜c∈EP(f)∩ VI(K,T)∩F(S),and{zn}generated by Algorithm.converges strongly to˜z∈WHE(T,S).

Proof Letc˜∈EP(f)∩VI(K,T)∩F(S) andz˜∈WHE(T,S). Step . Estimatezn+z˜andunc˜.

By the same technique in [], we have

zn+z˜ ≤( –αn)znz˜+αnθvn–˜c, un–˜cznz˜,

whereθ= + ρ(γ μr+k) +ρ(μ+m). Step . Estimatevnc˜.

Applying the technique in Theorem . of this paper, we get

vnc˜ ≤ un–˜c.

Combining the above two steps, we can obtain

zn+z˜ ≤( –αn)znz˜+αθun–˜c ≤( –αn)znz˜+αθzn–˜c

(16)

From Lemma ., it follows that

zn–˜z → (n→ ∞).

Note that

vnsunsznz.

We conclude that

uns → (n→ ∞),

vns → (n→ ∞).

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Author details

1School of Mathematical Science, Anhui University, Hefei, 230601, P.R. China.2School of Applied Mathematics, Nanjing University of Finance and Economics, Nanjing, 210023, P.R. China.

Acknowledgements

The authors would like to thank the referees for the valuable suggestions, which helped to improve this manuscript. This project is supported by the National Natural Science Foundation of China (11071109).

Received: 7 March 2014 Accepted: 14 July 2014 Published:18 Aug 2014 References

1. Blum, E, Oettli, W: From optimization and variational inequalities to equilibrium problems. Math. Stud.63, 123-145 (1994)

2. Stampacchia, G: Formes bilinéaires coercitives sur les ensembles convexes. C. R. Acad. Sci. Paris258, 4413-4416 (1964) 3. Shi, P: Equivalence of variational inequalities with Wiener-Hopf equations. Proc. Am. Math. Soc.111, 339-346 (1991) 4. Noor, MA: Wiener-Hopf equations and variational inequalities. J. Optim. Theory Appl.79(1), 197-206 (1993) 5. Noor, MA, Noor, KI, Khan, AG: Some iterative schemes for solving extended general quasi-variational inequalities.

Appl. Math. Inf. Sci.7(3), 917-925 (2010)

6. Verma, RU: Generalized variational inequalities involving multivalued relaxed monotone operators. Appl. Math. Lett.

10, 107-109 (1997)

7. Al-Shemas, E: General nonconvex Wiener-Hopf equations and general nonconvex variational inequalities. J. Math. Sci. Adv. Appl.19(1), 1-11 (2013)

8. 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)

9. Li, H, Su, Y: Strong convergence theorem by a new hybrid method for equilibrium problems and variational inequality problems. Nonlinear Anal.72, 847-855 (2010)

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

11. Ansari, QH, Yao, JC: An existence result for the generalized vector equilibrium problem. Appl. Math. Lett.12, 53-56 (1999)

12. Anh, LQ, Khanh, PQ: On the Hölder continuity of solutions to parametric multi-valued vector equilibrium problems. J. Math. Anal. Appl.321, 308-315 (2006)

13. Bianchi, M, Kassay, G, Pini, R: Existence of equilibria via Ekeland’s principle. J. Math. Anal. Appl.305, 502-512 (2005) 14. Bianchi, M, Pini, R: A note on stability for parametric equilibrium problems. Oper. Res. Lett.31, 445-450 (2003) 15. Cubiotti, P: Existence of solutions for lower semicontinuous quasi-equilibrium problems. Comput. Math. Appl.30(12),

11-22 (1995)

16. Halpern, B: Fixed point of nonexpansive maps. Bull. Am. Math. Soc.73, 957-961 (1967) 17. Ishikawa, S: Fixed points by a new iteration method. Proc. Am. Math. Soc.44, 147-150 (1974)

18. Moudafi, A: Viscosity approximation methods for fixed-point problems. J. Math. Anal. Appl.241, 46-55 (2000) 19. Noor, MA: General variational inequalities. Appl. Math. Lett.1, 119-121 (1988)

20. Noor, MA: Multivalued general equilibrium problems. J. Math. Anal. Appl.283, 140-149 (2003) 21. Noor, MA, Rassias, TM: On nonconvex equilibrium problems. J. Math. Anal. Appl.312, 289-299 (2005)

(17)

23. Nakajo, K, Takahashi, W: Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. J. Math. Anal. Appl.279, 372-379 (2003)

24. Qin, X, Noor, MA: General Wiener-Hopf equation technique for nonexpansive mappings and general variational inequalities in Hilbert spaces. Appl. Math. Comput.201, 716-722 (2008)

25. Robinson, SM: Normal maps induced by linear transformations. Math. Oper. Res.17, 691-714 (1992)

26. Glowinski, R, Lions, JL, Trémolières, R: Numerical Analysis of Variational Inequalities. North-Holland, Amsterdam (1981) 27. Su, Y, Shang, M, Qin, X: An iterative method of solution for equilibrium and optimization problems. Nonlinear Anal.

69, 2709-2719 (2008)

28. Takahashi, W, Toyoda, M: Weak convergence theorems for nonexpansive mappings and monotone mappings. J. Optim. Theory Appl.118, 417-428 (2003)

29. Wu, C, Li, Y: Wiener-Hopf equations techniques for generalized variational inequalities and fixed point problems. In: 4th International Congress on Image and Signal Processing, pp. 2802-2805. IEEE Press, New York (2011)

30. Xu, HK: Viscosity approximation methods for nonexpansive mappings. J. Math. Anal. Appl.298, 279-291 (2004) 31. Zhang, CJ: A class of equilibrium problems with lower and upper bounds. Acta Math. Sin.48, 293-298 (2005) 32. Noor, MA: On general quasi-variational inequalities. J. King Saud Univ., Sci.24, 81-88 (2012)

33. Noor, MA, Huang, Z: Wiener-Hopf equation technique for variational inequalities and nonexpansive mappings. Appl. Math. Comput.191, 504-510 (2007)

10.1186/1029-242X-2014-286

Cite this article as:Wang and Zhang:Wiener-Hopf equation technique for solving equilibrium problems and variational inequalities and fixed points of a nonexpansive mapping.Journal of Inequalities and Applications

References

Related documents