• No results found

An Iterative Scheme with a Countable Family of Nonexpansive Mappings for Variational Inequality Problems in Hilbert Spaces

N/A
N/A
Protected

Academic year: 2020

Share "An Iterative Scheme with a Countable Family of Nonexpansive Mappings for Variational Inequality Problems in Hilbert Spaces"

Copied!
14
0
0

Loading.... (view fulltext now)

Full text

(1)

Volume 2010, Article ID 687374,14pages doi:10.1155/2010/687374

Research Article

An Iterative Scheme with a Countable Family of

Nonexpansive Mappings for Variational Inequality

Problems in Hilbert Spaces

Yeol Je Cho

1

and Shenghua Wang

2, 3

1Department of Mathematics Education and the RINS, Gyeongsang National University,

Chinju 660-701, South Korea

2School of Applied Mathematics and Physics, North China Electric Power University,

Baoding 071003, China

3Department of Mathematics, Gyeongsang National University, Chinju 660-701, South Korea

Correspondence should be addressed to Shenghua Wang,[email protected]

Received 13 December 2009; Accepted 8 February 2010

Academic Editor: Jong Kim

Copyrightq2010 Y. J. Cho and S. Wang. 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 iterative scheme with a countable family of nonexpansive mappings for the variational inequality problems in Hilbert spaces and prove some strong convergence theorems for the proposed schemes.

1. Introduction

LetHbe a Hilbert space andCbe a nonempty closed convex subset ofH. LetF :HH be a nonlinear mapping. The classical variational inequality problemfor short, VIF, Cis to find a pointxCsuch that

Fx, xx0, xC. 1.1

This variational inequality was initially studied by Kinderlehrer and Stampacchia

1. Since then, many authors have introduced and studied many kinds of the variational inequality problemsinclusionsand applied them to many fields.

(2)

LetT :HHbe a mapping. Recall that a mappingT :HHis nonexpansive if TxTyxy, x, yH. 1.2

The set of fixed points of T is denoted by FT. Recently, the iterative methods for nonexpansive mappings and some kinds of nonlinear mappings have been applied to solve the convex minimization problemssee3–7.

A typical problem is to minimize a quadratic function over the set of the fixed points of a nonexpansive mapping onH:

min

xC

1

2Ax, xx, b, 1.3

whereCis the fixed point set of a nonexpansive mappingTon H,bis a given point inHand

Ais a strongly positive operator, that is, there is a constantγ >0 such that

Ax, xγx2, xH. 1.4

Recently, for solving the variational inequality onA, Marino and Xu8introduced the following general iterative scheme:

xn1 IαnATxnαnγfxn,n≥0, 1.5

whereAis a strongly positive linear bounded operator onH,f is a contraction onHand

{αn} ⊂0,1.

More precisely, they gave the following result.

Theorem MXsee8, Theorem 3.4. Let{xn}be generated by algorithm1.5with the sequence

{αn}satisfying the following conditions:

C1limn→ ∞αn0,

C2∞n0αn,

C3eithern0|αn1−αn|<orlimn→ ∞αn1/αn 1.

Then the scheme{xn}defined by1.5converges strongly to an elementx∗∈CFTwhich is the unique solution of the variational inequalityfor short,VIAγf, C:

Aγfx, xx0, xC. 1.6

Letf : HH be a contraction with coefficient 0 < α < 1 and letA, B : HH be two strongly positive linear bounded operators with coefficients γ ∈ 0,1 and β > 0, respectively.

(3)

Theorem CGY1see9, Theorem 3.1. Let0 < γα < βandγ ∈0,1. Let{λn}be a sequence in

0,1and{μn}be a sequence in0,min{1,B−1}. Starting with an arbitrary initial guessx 0∈H, generate a sequence{xn}by the following iterative scheme:

xn1 Iλn1ATxnλn1

Txnμn1

BTxnγfxn ,n≥0. 1.7

Assume that

ilimn→ ∞λn0,

ii∞n1λn,

iiieithern1|λn1−λn|<orlimn→ ∞λn/λn11,

iv 1−γ/βγα<limn→ ∞μnμ <2−γ/βγα.

Then the scheme{xn}defined by1.7converges strongly to an elementx∗∈CFTwhich is the unique solution of the variational inequalityfor short,VIAIμBγf, C:

AIμBγf x, xx0, xC. 1.8

Theorem CGY2see9, Theorem 3.2. Let0< γα < βandγ ∈0,1. Let{λn}be a sequence in

0,1and{μn}be a sequence in0,min{1,B−1}. Starting with an arbitrary initial guessx0∈H, generate a sequence{xn}by the following iterative scheme:

xn1 Iλn1ATn1xnλn1

Tn1xnμn1

BTn1xnγfxn ,n≥0. 1.9

Assume that

ilimn→ ∞λn0,

ii∞n1λn,

iiieithern1|λnNλn|<orlimn→ ∞λn/λnN 1,

iv 1−γ/βγα<limn→ ∞μnμ <2−γ/βγα.

In addition, assume that

CN

i1

FTi FT1T2· · ·TN FTNT1· · ·T2

· · ·FT2T3· · ·TNT1.

1.10

Then the scheme{xn}defined by1.9converges strongly to an elementx∗∈CFTwhich is the unique solution of the variational inequalityfor short,VIAIμBγf, C:

AIμBγf x, xx0, xC. 1.11

(4)

More precisely, let H be a Hilbert space and {Ti}∞i1 be a countable family of nonexpansive mappings fromH toH such thatCi1FTi/∅. Let f : HHbe a contraction with coefficient 0< α <1 andA, Bbe strongly positive linear bounded operators with coefficientsη ∈0,1andβ > 0, respectively. Let{λn}∞n1 ⊂ 0,1and{αn}∞n0 ⊂ 0,1 with α0 1. Take three fixed numbersγ,μ1 andμ2 such that 0 < γα < β,μ1 ∈ 0,1and

μ2 ∈ 1−ημ1γα,min{1,B−1,2−ημ1γα}. For anyx1 ∈ H, generate the iterative scheme{xn}by

xn1αn

Iλnμ1A

xnλnxnμ2

Bxnγfxn

n

i1

αi−1−αiTixn,n≥1.

1.12

We prove that the iterative scheme {xn} defined by 1.12strongly converges to an elementx∗∈Cwhich is the unique solution of the variational inequalityfor short, VIμ1A

2Bγf, C:

μ1A2

Bγf x, xx0, xC. 1.13

2. Preliminaries

LetHbe a Hilbert space andTbe a nonexpansive mapping ofHinto itself such thatFT/∅. For allxFTandxH, we have

xx2TxTx2Txx2Txx xx2

Txx2xx22Txx, xx 2.1

and hence

Txx22xTx, xx, xFT, xH. 2.2

Let{xn}be a sequence in a Hilbert spaceH and letxH. Throughout this paper, xnxand xn x denote that{xn} strongly converges to xH and {xn} converges

weakly to a pointxH, respectively.

Lemma 2.1see10. LetCbe a closed convex subset of a Hilbert spaceHandTbe a nonexpansive mapping fromCinto itself. ThenITis demiclosed at zero, that is,

xn x, xnTxn−→0 implies xTx. 2.3

The following lemma is an immediate consequence of the equality:

(5)

Lemma 2.2. LetHbe a real Hilbert space. Then the following identity holds:

xy2

x22y, xy, x, yH. 2.5

Lemma 2.3see4,11. Let{sn},{cn}be the sequences of nonnegative real numbers and let{an} ⊂

0,1. Suppose that{bn}is a sequence of real numbers such that

sn1 ≤1−ansnbncn,n≥0. 2.6

Assume thatn0cn<. Then the following results hold.

1Ifbnβan, whereβ≥0, then{sn}is a bounded sequence.

2If one has

n0

an, lim sup

n→ ∞

bn

an ≤0, 2.7

thenlimn→ ∞sn0.

Lemma 2.4see8. LetHbe a real Hilbert space,f :HHbe a contraction with coefficient 0< α <1andBbe a strongly positive linear bounded operator with coefficientβ >0. Then, for anyγ with0< γ < β/α,

xy,BγfxBγfyβγαxy2, x, yH, 2.8

that is,Bγfis strongly monotone with coefficientβγα.

Lemma 2.5. AssumeAis a strongly monotone linear bounded operator on a Hilbert spaceHwith coefficientα >0. Take a fixed numberρsuch that0< ρA−1. ThenIρA1ρα.

Proof. The proof method is mainly from the idea of Marino and Xu8, Lemma 2.5. It is known that the norm of a linear bounded self-adjoint operatorV onHis as follows:

(6)

Now, for allxHwithx1, we see thathere 0 denotes zero point inH

IρAsupIρAx, x:xH, x1

supIρAxIρA0, x−0:xH, x1

supx−0−ρAxA0, x−0:xH, x1

supx2−ρAxA0, x−0:xH, x1

≤sup1−ραx−02:xH, x1

1−ρα.

2.10

This completes the proof.

Remark 2.6. Lemma 2.5still holds if Ais a strongly positive linear bounded operator see

8, Lemma 2.5. That is,Lemma 2.5in this section and Lemma 2.5 in8both hold whenA is a strongly monotone linear bounded operator or a strongly positive linear bounded one because an operator on a Hilbert space is strongly monotone linear if and only if it is strongly positive linear.

In fact, ifAis a strongly monotone linear operator with coefficientα >0 on a Hilbert spaceH, then, for allxH,

Ax, xAxA0, x−0 ≥αx−02αx2, 2.11

which shows thatAis strongly positive linear. Assume thatAis a strongly positive linear operator with coefficientα >0 onH. Then, for allx, yH,

AxAy, xyAxy, xyαxy2, 2.12

which shows thatAis strongly monotone and linear.

3. Main Results

(7)

coefficientβγα > 0. For any fixed numbersσ1 ∈ 0,1andσ2 ∈ 1−ησ1γα,2−

ησ1γα, we haveθ ησ1−1σ2βγα∈0,1, which can be seen easily from the following:

σ2<

2−ησ1

βγα ⇐⇒σ2

βγα<2−ησ1

⇐⇒θησ1−1σ2

βγα<1,

3.1

1−ησ1

βγα < σ2⇐⇒σ2

βγαησ1>1

⇐⇒θησ1−1σ2

βγα>0.

3.2

Moreover, observe that

σ1AIσ2

Bγfxσ1A2

Bγfy

σ1AI

x2

Bγfxy

σ1AIx2B

xyγfxfy

σ1A2

Bγα xy,

3.3

which implies thatσ1A2Bγfis Lipschitzian with coefficientσ1A2Bγα> 0.

On the other hand, fromLemma 2.4, it follows that

σ1A2

Bγfxσ1A2

Bγfy, xy

σ1

AxAy, x2

BγfxBγfy, xyxy2

σ1ηxy2σ2

βγαxy2xy2

θxy2,

3.4

which implies thatσ1A2Bγfis strongly monotone with coefficientθ >0. Hence the variational inequalityfor short, VIσ1A2Bγf, C

σ1A2

Bγfx, xx0, xC 3.5

has the unique solution.

LetT :HHbe a nonexpansive mapping. Take two fixed numbersμ1andμ2such thatμ1 ∈ 0,1andμ2 ∈ 0,min{1,B−1}and, for allλ ∈ 0,min{1,A−11}, define a mapping:HHby

xIλμ

1A

TxλTxμ2

BTxγfx ,xH. 3.6

(8)

Lemma 3.1. Ifμ2∈1−ημ1γλ,2−ημ1γλ, thenTλis a contraction with coefficient 1−λτ, whereτημ1−1μ2βγα∈0,1, that is,

xTλy1λτxy, x, yH. 3.7

Proof. FromLemma 2.5andRemark 2.6, it follows that, for allx, yH,

xTλyIλμ

1A

TxλTxμ2

BTxγfx

Iλμ1A

TyλTyμ2

BTyγfy

Iλμ1A

TxIλμ1A

Ty

λTxμ2

BTxγfxTyμ2

BTyγfy

Iλμ1ATxTy

λIμ2B

TxIμ2B

Tyμ2γfxf

y

≤1−λμ1ηxyλIμ2BTxTyμ2γαxy

≤1−λμ1ηλ

1−μ2

βγα xy

1−λμ1η−1μ2

βγα xy

1−λτxy.

3.8

This completes the proof.

Let{Ti}∞n1be a countable family of nonexpansive mappings fromHinto itself such thatCn1FTi/∅. Since eachFTiis closed and convex, thenCis closed and convex.

Throughout this paper, letf : HHbe a contraction with coefficient 0 < α < 1. LetA, B :HHbe strongly positive linear bounded mapping with coefficientη ∈ 0,1 andβ >0, respectively. Take a fixed numberγsuch that 0< γα < β. Suppose thatμ1∈0,1,

μ2∈1−ημ1γα,min{1,B−1,2−ημ1γα} assuming that1−ημ1γα< min{1,B−1}such that1ημ

1γλ,min{1,B−1,2−ημ1γλ}is nonempty,

{λn}∞n1⊂0,min{1,A−11}with lim infn→ ∞λn>0 and{αn}∞n0⊂0,1withα01. Now, we can rewrite the iterative scheme1.12as follows:

xn1αnTλnxn n

i1

αi−1−αiTixn,n≥1, 3.9

whereTλnx

n Iλnμ1Axnλnxnμ2Bxnγfxn. Then, byLemma 3.1, for allx, yH,

we have

Tλn

n xTnλny≤1−λnτxy,n≥1, 3.10

(9)

Lemma 3.2. If{αn}is strictly decreasing, then the scheme{xn}defined by3.9is bounded.

Proof. SinceTλnp

1A2Bγfp, it follows from3.10that, for allpC,

xn1p αn

Tλnxnp

n

i1

αi−1−αi

Tixnp

αnTλnxnp n

i1

αi−1−αiTixnp

αnTλnxnTλnpαnTλnpp 1−αnxnp

αn1−λnτxnpαnλnμ1A2

Bγfp 1−αnxnp

1−αnλnτxnpαnλnμ1A2

Bγfp.

3.11

By induction, we obtain

xn1pmaxx1−p, 1

τμ1A2

Bγfp

. 3.12

Hence {xn} is bounded and so are{Tλnxn}and {Tixn} for eachi1. This completes the

proof.

Lemma 3.3. If{αn}is strictly decreasing and the following conditions hold:

n1

αn,n1

|λnλn1|<, 3.13

thenlimn→ ∞xn1−xn0.

Proof. By the iterative scheme3.9, we have

xn1−xnαnTλnxn n

i1

αi−1−αiTixn

αn−1Tλn−1xn−1

n−1

i1

αi−1−αiTixn−1

αnTλnxnTλnxn −1

n

i1

αi−1−αiTixnTixn−1

n

i1

αi−1−αiTixn−1−

n−1

i1

αi−1−αiTixn−1αnTλnxn−1−αn−1Tλn−1xn−1

αn

Tλnx

nTλnxn−1

n

i1

αi−1−αiTixnTixn−1

αn−1−αnTnxn−1 αn−1λn−1−αnλnμ1A2

Bγfxn−1

(10)

αnTλnxnTλnxn −1

n

i1

αi−1−αiTixnTixn−1

αn−1−αnTnxn−1 αnαn−1xn−1

αn−1−αnλn λn−1−λnαn−1

μ1A2

Bγfxn−1

3.14

and hence

xn1−xnαnTλnxnTλnxn−1

n

i1

αi−1−αnTixnTixn−1

αn−1−αnTnxn−1 αn−1−αnxn−1

αn−1−αnλn|λn−1−λn|αn−1μ1A2

Bγfxn−1

αn1−λnτxnxn−1 1−αnxnxn−1

αn−1−αnTnxn−1 αn−1−αnxn−1

αn−1−αn |λn−1−λn|μ1A2

Bγfxn−1

≤1−αnλnτxnxn−1 αn−1−αnM|λn−1−λn|M,

3.15

whereMis a constant. Since{λn} ⊂0,min{1,A−1

1}, there exists a constantλ>0 such thatλnλfor alln≥1. Therefore, we have

xn1−xn ≤1−αnλτxnxn−1 αn−1−αn |λn−1−λn|M. 3.16

Putcn αn−1−αn|λn−1−λn|M. Since{αn}is a strictly decreasing sequence and∞n2|λn−1−

λn|<∞, we have∞n2cn<∞. ByLemma 2.3, it follows thatxn1−xn → 0 asn → ∞. This

completes the proof.

Lemma 3.4. If{αn}is strictly decreasing and the following conditions hold:

lim

n→ ∞αn0,

n1

αn,n1

|λnλn1|<∞ 3.17

thenlimn→ ∞xnTixn0, for alli≥1.

Proof. By the iterative scheme3.9, we have

xn1

n

i1

(11)

that is,

n

i1

αi−1−αixnTixn αn

Tλnx

nxn

xnxn1. 3.19

Hence, for anypC, we get

n

i1

αi−1−αixnTixn, xnpαn

Tλnx

nxn, xnp

xnxn1, xnp. 3.20

Since eachTiis nonexpansive, it follows from2.2that

Tixnxn22xnTixn, xnp. 3.21

Hence, combining3.21with3.20, it follows that

n

i1

αi−1−αiTixnxn2≤2

n

i1

αi−1−αi

xnTixn, xnp

2αnTλnxnxn, xnp2xnx

n1, xnp

,

3.22

which implies that

1 2

n

i1

αi−1−αiTixnxn2≤αn

Tλnx

nxn, xnp

xnxn1, xnp. 3.23

Since eachαi1−αiTixnxn2≥0 andαi−1−αi>0, then we have

1

2αi−1−αiTixnxn 2α

n

Tλnx

nxn, xnp

xnxn1, xnp, 3.24

that is,

Tixnxn2≤ α 2αn i−1−αi

Tλnx

nxn, xnp

α 2

i−1−αi

xnxn1, xnp. 3.25

Since{xn}and{Tλnxn}are both bounded, there exists a constantM>0 such that

Tixnxn2≤M

αn

αi−1−αi

1

αi−1−αixnxn1

. 3.26

ByLemma 3.3and the assumption condition limn→ ∞αn0, it follows that

lim

n→ ∞Tixnxn0,i≥1. 3.27

(12)

Finally, we give the main result in this paper.

Theorem 3.5. If{αn}is strictly decreasing and the following conditions hold:

lim

n→ ∞αn 0,

n1

αn,

n1

|λnλn1|<, 3.28

then the scheme{xn}defined by3.9converges strongly to an elementx∗ ∈Cwhich is the unique solution of the variational inequalityVIμ1A2Bγf, C:

μ1A2

Bγf x, xx0, xC. 3.29

Proof. First, we prove that lim supn→ ∞μ1A2Bγfx, xn1−x∗ ≤0. To prove this, we pick a subsequence{xni}of{xn}such that

lim sup

n→ ∞

μ1A2

Bγf x, xnx lim

i→ ∞

μ1A2

Bγf x, xn ix

.

3.30

Without loss of generality, we may, further, assume thatxni xfor somexH. From

Lemmas2.1and3.3, it follows thatxFTifor eachi≥1 and soxC∩∞i1FTi. Sincex∗ is the unique solution of the problem VIμ1A2Bγf, C, we obtain

lim sup

n→ ∞

μ1A2

Bγf x, x

nx∗ −μ1A2

Bγf x,xx0.

3.31

It follows fromLemma 2.2and3.10that

xn1−x∗2

αnTλnxnTλnxn

i1

αi−1−αnTixnx

αnTλnxx

2

αn

Tλnx

nTλnx

n

i1

αi−1−αnTixnx

2

2αnTλnxx, xn

1−x

αn1−λnτxnx∗ 1−αnxnx∗2

2αnμ1A2

Bγf x, x

n1−x

≤1−αnλnτxnx∗22αnμ1A2

Bγf x, x

n1−x

≤1−αnλτxnx∗22αnμ1A2

Bγf x, xn

1−x

,

(13)

where λ > 0 is a constant such that λnλ for all n ≥ 1. Since ∞n0αn ∞ and lim supn→ ∞μ1A2Bγfx, xn1−x∗ ≤ 0, byLemma 2.3, we conclude that the scheme{xn}converges strongly tox∗. This completes the proof.

Remark 3.6. 1For eachn ≥ 1, a simple example on control parameters is αn 1/nand

λnλ, whereλis a constant in0,min{1,A−11}.

2We obtain the desired results without any assumptions on the family{Ti}∞i1. Foe example, in Theorem CGY2, the authors gave the strong condition1.10.

Remark 3.7. 1IfT1 T2 · · · Tn · · · T in3.9, then we have the following iterative

scheme:

xn1αnIλnμ1A

xnλnxnμ2

Bxnγfxn 1−αnTxn,n≥1, 3.33

and the scheme{xn}defined by3.33converges strongly to an elementx∗ ∈Cwhich is the unique solution of the variational inequalityVIμ1A2Bγf, C:

μ1A2

Bγf x, xx0, xC. 3.34

2IfAIandμ11 in3.33, then we have the following iterative scheme:

xn1αnIλnμ2

Bγfxn n

i1

αi−1−αiTixn,n≥1, 3.35

and the scheme{xn}defined by3.35converges strongly to an elementx∗ ∈Cwhich is the

unique solution of the variational inequalityVIBγf, C:

μ2

Bγfx, xx0, xC. 3.36

3Furthermore, if μ2 1 andγ 0 in3.35, then we have the following iterative scheme:

xn1 αnIλnBxn n

i1

αi−1−αiTixn,n≥1, 3.37

and the scheme{xn}defined by3.37converges strongly to an elementx∗ ∈Cwhich is the unique solution of the variational inequalityVIB, C, which is Stampacchia’s variational inequality:

Bx, xx0, xC. 3.38

Acknowledgment

(14)

References

1 D. Kinderlehrer and G. Stampacchia,An Introduction to Variational Inequalities and Their Applications, vol. 88 ofPure and Applied Mathematics, Academic Press, New York, NY, USA, 1980.

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

3 F. Deutsch and I. Yamada, “Minimizing certain convex functions over the intersection of the fixed point sets of nonexpansive mappings,” Numerical Functional Analysis and Optimization, vol. 19, no. 1-2, pp. 33–56, 1998.

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

5 H. K. Xu, “An iterative approach to quadratic optimization,” Journal of Optimization Theory and Applications, vol. 116, no. 3, pp. 659–678, 2003.

6 I. Yamada, “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 Applications, D. Butnarium, Y. Censor, and S. Reich, Eds., vol. 8 ofStud. Comput. Math., pp. 473–504, North-Holland, Amsterdam, The Netherlands, 2001.

7 I. Yamada, N. Ogura, Y. Yamashita, and K. Sakaniwa, “Quadratic optimization of fixed points of nonexpansive mappings in Hilbert space,”Numerical Functional Analysis and Optimization, vol. 19, no. 1-2, pp. 165–190, 1998.

8 G. Marino and H.-K. Xu, “A general iterative method for nonexpansive mappings in Hilbert spaces,” Journal of Mathematical Analysis and Applications, vol. 318, no. 1, pp. 43–52, 2006.

9 L.-C. Ceng, S.-M. Guu, and J.-C. Yao, “Hybrid viscosity-like approximation methods for nonexpansive mappings in Hilbert spaces,”Computers & Mathematics with Applications, vol. 58, no. 3, pp. 605–617, 2009.

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

References

Related documents

Jiang, Weak convergence theorem for a class of split variational inequality problems and applications in Hilbert space, J. Xu, Viscosity approximation methods for nonexpansive

Keywords: viscosity; generalized implicit rule; nonexpansive mapping; variational inequality; constrained convex minimization problem; K -mapping..

Kang, “Weak and strong convergence for common fixed points of a pair of nonexpansive and asymptotically nonexpansive mappings,” Taiwanese Journal of Mathematics , vol. Liou,

Zembayashi, “Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces,” Nonlinear Analysis: Theory, Methods &amp;

Toyoda, “Approximation of common fixed points of a countable family of nonexpansive mappings in a Banach space,” Nonlinear Analysis: Theory, Methods &amp; Applications , vol. Yao,

The hybrid steepest-descent method introduced by Yamada 2001 is an algorithmic solution to the variational inequality problem over the fixed point set of nonlinear mapping

Toyoda, “Approximation of common fixed points of a countable family of nonexpansive mappings in a Banach space,” Nonlinear Analysis: Theory, Methods &amp; Applications , vol..

A strong convergence theorem of the proposed iterative scheme to a common fixed point of a countable family of nonexpansive mappings and a solution of variational inequality of