• No results found

An algorithm for solving a multi valued variational inequality

N/A
N/A
Protected

Academic year: 2020

Share "An algorithm for solving a multi valued variational inequality"

Copied!
9
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

An algorithm for solving a multi-valued

variational inequality

Changjie Fang

*

, Shenglan Chen and Chunde Yang

*Correspondence:

[email protected]

Institute of Applied Mathematics, Chongqing University of Posts and Telecommunications, Chongqing, 400065, P.R. China

Abstract

We propose a new extragradient method for solving a multi-valued variational inequality. It is showed that the method converges globally to a solution of the multi-valued variational inequality, provided the multi-valued mapping is continuous with nonempty compact convex values. Preliminary computational experience is also reported.

MSC: 47H04; 47H10; 47J20; 47J25

Keywords: variational inequality; multi-valued mapping; extragradient method

1 Introduction

We consider the following multi-valued variational inequality, denoted byMVI(F,C): to findx*CandξF(x*) such that

ξ,yx*≥, ∀yC, (.)

whereCis a nonempty closed convex set inRn,Fis a multi-valued mapping fromCinto

Rnwith nonempty values, and·,·and · denote the inner product and the norm inRn,

respectively.

Extragradient-type algorithms have been extensively studied in the literature; see [– ]. Various algorithms for solving the multi-valued variational inequality have been ex-tensively studied in the literature [–]. The well-known proximal point algorithm [] requires the multi-valued mappingFto be monotone. [] proposes a projection algo-rithm for solving the multi-valued variational inequality with a pseudomonotone map-ping. In [], choosinguiF(xi) needs solving a single-valued variational inequality; see

the expression (.) in []. [] presents a double projection algorithm, which is an im-provement of [], so thatuiF(xi) can be taken arbitrarily. In [], however, choosing the

hyperplane needs computing the supremum and hence is computationally expensive. To overcome this difficulty, [] introduces an extragradient algorithm for solving the multi-valued variational inequality in which computing the supremum is avoided. In this paper, we present a new extragradient method for solving the multi-valued variational inequal-ity. In our method,uiF(xi) can be taken arbitrarily. Moreover, the main difference of

our method from those of [, , ] is the procedure of Armijo-type linesearch. We also present numerical tests to compare our Algorithm . with those in [, ].

(2)

This paper is organized as follows. In Section , we present the algorithm details. We prove the preliminary results for convergence analysis in Section . Numerical results are reported in the last section.

2 Algorithms

Let us recall the definition of a continuous multi-valued mapping.F is said to be upper semicontinuous atxCif for every open setVcontainingF(x), there is an open setU con-tainingxsuch thatF(y)⊂Vfor allyCU. F is said to be lower semicontinuous atxC

if given any sequencexkconverging toxand anyyF(x), there exists a sequenceykF(xk)

that converges toy.Fis said to be continuous atxCif it is both upper semicontinuous and lower semicontinuous atx. IfFis single-valued, then both upper semicontinuity and lower semicontinuity reduce to the continuity ofF.

Fis called pseudomonotone onCin the sense of Karamardian [] if for anyx,yC,

v,xy ≥ for somevF(y)⇒ u,xy ≥ for alluF(x). (.)

LetSbe the solution set of (.), that is, those pointsx*Csatisfying (.). Throughout this paper, we assume that the solution setSof problem (.) is nonempty andFis contin-uous onCwith nonempty compact convex values satisfying the following property:

ζ,yx ≥, ∀yC,∀ζF(y),∀xS. (.)

The property (.) holds ifFis pseudomonotone onC.

LetPCdenote the projector ontoC, and letμ>  be a parameter.

Proposition . xC andξF(x)solve problem(.)if and only if

rμ(x,ξ) :=xPC(xμξ) = .

Algorithm . Choosex∈Cand two parametersγ,σ∈(, ). Seti= .

Step . ChooseuiF(xi) and letkibe the smallest nonnegative integer satisfying

viF

PC

xiγkiui

, (.)

γkiuivi,rγki(xi,ui)

σrγki(xi,ui)

. (.)

Setηi=γki. Ifrηi(xi,ui) = , stop.

Step . Computexi+:=PC(xiαidi), where

di=rηi(xi,ui) +ηivi, (.)

αi=

( –σ)rηi(xi,ui)

di

. (.)

(3)

Remark . Let us compare the above algorithm with those in [, , ]. First, Aimijo-type linesearch procedures in the four algorithms are different. [, , ] use different proce-dures which replace (.) by the following ones:

vi,rμ(xi,ui)

σrμ(xi,ui) or

uivi,rμ(xi,ui)

σrμ(xi,ui),

whereμis required to be strictly less than  or /σ, andviF(xiγkirμ(xi,ui)). In our

algo-rithm,μcan change according to the value ofηiin each iteration andviF(PC(xiγkiui)).

Secondly, the way to generate the next iterate is different. In [, ], the next iterate is a pro-jection of the current iterate onto the intersection of the feasible setCand a hyperplane, while in our algorithm as well as in [] the next iterate is a projection onto the feasible setC. In addition, the searching directions in [] and our algorithm are also different.

Lemma . Let C be a closed convex subset ofRn.For any x,yRnand zC,the following

statements hold.

(i) xPC(x),zPC(x) ≤.

(ii) PC(x) –PC(y)≤ xy–PC(x) –x+yPC(y).

Proof See [].

The proof of the following lemma is easy and we omit it (see Lemma . in [] for example).

Lemma . For any x∈Rn,ξF(x)andμ> ,

min{,μ}r(x,ξ)≤rμ(x,ξ)≤max{,μ}r(x,ξ).

We first show that Algorithm . is well defined.

Proposition . If xi is not a solution of problem(.),then there exists a nonnegative

integer kisatisfying(.)and(.).

Proof Suppose that for allkand allvF(PC(xiγkui)), we have

γkuiv,rγk(xi,ui)

>σrγk(xi,ui)

 ,

and hence,

γkuiv>σrγk(xi,ui).

Therefore,

uiv>

σ

γkrγk(xi,ui)

σ

γkmin

,γkr(xi,ui)

(4)

where the second inequality follows from Lemma . and the equality follows fromγ

(, ) andk≥. SincePC(·) is continuous andxiC,PC(xiγkui)→xi(k→ ∞). SinceF

is lower semicontinuous,uiF(xi) andPC(xiγkui)→xi(k→ ∞), there isvkF(PC(xi

γkui)) such thatvkui(k→ ∞). Therefore,

uivk>σr(xi,ui), ∀k. (.)

Letk→ ∞in (.), we have

 =uiuiσr(xi,ui)> .

This contradiction completes the proof.

3 Main results

Now we obtain the following auxiliary result that will be used for proving the convergence of Algorithm ..

Theorem . If the assumption(.)holds and xi∈/S,then for any x*∈S,

di,xix*

≥( –σ)rηi(xi,ξi)

> . (.)

Proof Letx*S. Sinceu

iF(xi) andηi> , it follows from (.) that

ηiui,xix*

≥. (.)

Similarly, we have

ηivi,PC(xiηiui) –x*

≥, (.)

becauseviF(PC(xiηiui)). Sincex*∈C, from Lemma .(i) we have

xiηiuiPC(xiηiui),PC(xiηiui) –x*

≥. (.)

It follows from (.), (.) and (.) that

di,xix*

=rηi(xi,ui) +ηivi,xix

*

=rηi(xi,ui) +ηi(viui),xix

*+η

iui,xix*

rηi(xi,ui) +ηi(viui),xix

*

=rηi(xi,ui) +ηi(viui),rηi(xi,ui)

+xiηiuiPC(xiηiui),PC(xiηiui) –x*

+ηivi,PC(xiηiui) –x*

rηi(xi,ui) +ηi(viui),rηi(xi,ui)

(5)

Therefore,

di,xix*

rηi(xi,ui) +ηi(viui),rηi(xi,ui)

=rηi(xi,ui)

 –ηi

uivi,rηi(xi,ui)

rηi(xi,ui)

σrηi(xi,ui)

= ( –σ)rηi(xi,ui)

, (.)

where the second inequality follows from (.). This completes the proof.

Theorem . If F:C→Rnis continuous with nonempty compact convex values on C and

the assumption(.)holds,then the sequence{xi}generated by Algorithm.converges to

a solution x of(.).

Proof Letx*S. It follows from Lemma .(ii), Lemma ., (.), (.) and (.) that

xi+–x*≤xix*–αidi

=xix*

 – αi

di,xix*

+αidi

xix*–

( –σ)rηi(xi,ui)

di

xix*

–( –σ) (min{η

i, }r(xi,ui))

di

=xix*

–( –σ) η

ir(xi,ui)

rηi(xi,ui) +ηivi

. (.)

It follows that the sequence{xi+–x*}is nonincreasing, and hence is a convergent se-quence. Therefore,{xi}is bounded. SinceFis continuous with compact values,

Proposi-tion . in [] implies that{F(xi) :iN}is a bounded set, and so are{ui},{rηi(xi,ui)}and

{vi}. Thus,{rηi(xi,ui) +ηivi}is bounded. Then there exists a positive numberMsuch that rηi(xi,ui) +ηiviM.

It follows from (.) that

xi+–x*≤xix*– ( –σ)M–ηir(xi,ui). (.)

Therefore,

lim i→∞ηi

r(xi,ui)= . (.)

By the boundedness of{xi}, there exists a convergent subsequence{xij}converging tox.

Ifxis a solution of problem (.), we show next that the whole sequence{xi}converges

to x. Replacing x*by xin the preceding argument, we obtain that the sequence{x

(6)

subsequence of{xix}converges to zero. This shows that the whole sequence{xix}

converges to zero, hencelimi→∞xi=x.

Suppose now thatxis not a solution of problem (.). We show first thatki in

Algo-rithm . cannot tend to∞. SinceFis continuous with compact values, Proposition . in [] implies that{F(xi) :iN}is a bounded set, and so the sequence{ui}is bounded.

Therefore, there exists a subsequence{uij}converging tou. SinceFis upper

semicontin-uous with compact values, Proposition . in [] implies thatFis closed, and souF(x). By the definition ofki, we have

γki–u

iv,rγki–(xi,ui)

>σrγki–(xi,ui), ∀vF

PC

xiγki–ui

, (.)

and hence

γki–uiv>σrγki–(xi,ui), ∀vF

PC

xiγki–ui

. (.)

Therefore,

uiv>

σ γki–

rγki–(xi,ui)

σ

γki–min

,γki–r(xi,ui)

=σr(xi,ui), ∀vF

PC

xiγki–ui

,∀ki≥, (.)

where the second inequality follows from Lemma . and the equality follows fromγ

(, ).

Ifkij→ ∞, thenPC(xijγ kij–

uij)→x. The lower continuity ofF, in turn, implies the

existence ofuijF(PC(xijγkij–uij)) such thatuij converges tou. Therefore,

uijuij>σr(xij,uij). (.)

Lettingj→ ∞, we obtain the contradiction

≥σr(x,u)> , (.)

beingr(·,·) continuous. Therefore,{ki}is bounded and so is{ηi}.

By the boundedness of{ηi}, it follows from (.) thatlimi→∞r(xi,ui)= . Sincer(·,·)

is continuous and the sequences{xi}and{ui}are bounded, there exists an accumulation

point (x,u) of{(xi,ui)}such thatr(x,u) = . This implies thatxsolves the variational

in-equality (.). Similar to the preceding proof, we obtain thatlimi→∞xi=x.

(7)

For anyδ> , define

P(δ) :=(x,ξ)∈C×Rn:ξF(x),r(x,ξ)≤δ.

We say thatFis Lipschitz continuous onCif there exists a constantL>  such that, for allx,yC,H(F(x),F(y))≤Lxy, whereHdenotes the Hausdorff metric.

Theorem . In addition to the assumptions in Theorem.,if F is Lipschitz continuous

with modulus L> and if there exist positive constants c andδsuch that

dist(x,S)≤cr(x,ξ), ∀(x,ξ)∈P(δ), (.)

then there is a constantα> such that for sufficiently large i,

dist(xi,S)≤

αi+dist–(x,S).

Proof Putη:=min{/,L–γ σ}. We first prove thatη

i>ηfor alli. By the construction of

ηi, we haveηi∈(, ]. Ifηi= , then clearlyηi> η. Now we assume thatηi< . Since

ηi=γki, it follows that the nonnegative integerki≥. Thus the construction ofkiimplies

that

γki–u

iv,rγki–(xi,ui)

>σrγki–(xi,ui), ∀vF

PC

xiγki–ui

, (.)

and hence, aski≥,

uiv>

σ

γki–rγki–(xi,ui), ∀vF

PC

xiγki–ui

.

SinceuiF(xi) andF is compact-valued, the definition of the Hausdorff metric implies

the existence ofviF(PC(xiγki–ui)) such that

σ

γki–rγki–(xi,ui)<uiviH

F(xi),F

PC

xiγki–ui

Lrγki–(xi,ui).

Thereforeηi>L–γ ση.

Letx*P

S(xi). By (.) and (.), we obtain that for sufficiently largei,

dist(xi+,S)≤xi+–x* 

xix*

– ( –σ)M–ηir(xi,ui)

xix*– ( –σ)M–ηr(xi,ui)

≤dist(xi,S) – ( –σ)M–ηc–dist(xi,S),

where the second inequality follows fromηi>η.

Writeαfor ( –σ)M–ηc–. Applying Lemma  in Chapter  of [], we have

dist(xi,S)≤dist(x,S)/

αidist(x,S) +  = /

αi+dist–(x,S).

(8)

Table 1 Example 4.1

ε Algorithm 2.2 [6, Algorithm 1] It. (Num.) CPU (Sec.) It. (Num.) CPU (Sec.) 10–3 38 0.640625 67 0.546875 10–5 66 0.8125 120 0.828125 10–7 96 1.10938 173 1.15625

Table 2 Example 4.1

ε Algorithm 2.2 [11, Algorithm 1] It. (Num.) CPU (Sec.) It. (Num.) CPU (Sec.) 10–3 38 0.640625 71 0.96875

10–5 66 0.8125 126 1.53125

10–7 96 1.10938 181 2.14063

4 Numerical experiments

In this section, we present some numerical experiments for the proposed algorithm. The MATLAB codes are run on a PC (with CPU Intel P-T) under MATLAB Version ...(R) Service Pack . We compare the performance of our Algorithm ., [, Algorithm ] and [, Algorithm ]. In Tables  and , ‘It.’ denotes the number of iteration and ‘CPU’ denotes the CPU time in seconds. The toleranceεmeans whenrμ(x,ξ) ≤ε, the procedure stops.

Example . Let n= ,

C:=

x∈Rn+:

n

i=

xi= 

and F:C→Rnbe defined by

F(x) :=(t,tx,tx) :t∈[, ]

.

Then the set C and the mapping F satisfy the assumptions of Theorem.and(, , )is

a solution of the multi-valued variational inequality.Example.is tested in[, ].We

chooseσ = .,γ = .for our algorithm;σ= .,γ = .,μ= for Algorithmin[];

σ= .,γ = .,μ= for Algorithmin[].We use x= (, ., .)as the initial point

(Tableand Table).

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All the authors contributed equally to the writing of the present article. And they also read and approved the final manuscript.

Acknowledgements

This work is partially supported by Natural Science Foundation Project of CQ CSTC (No. 2010BB9401), Science and Technology Project of Chongqing Municipal Education Committee of China (Nos. KJ110509 and KJ100513) and Foundation of Chongqing University of Posts and Telecommunications for the Scholars with Doctorate (No. A2012-04).

(9)

References

1. Iusem, AN, Svaiter, BF: A variant of Korpelevich’ method for variational inequalities with a new search strategy. Optimization42, 309-321 (1997). doi:10.1080/02331939708844365

2. Korpelevich, GM: The extragradient method for finding saddle points and other problems. Èkon. Mat. Metody12, 747-756 (1976)

3. Wang, YJ, Xiu, NH, Zhang, JZ: Modified extragradient method for variational inequalities and verification of solution existence. J. Optim. Theory Appl.119(1), 167-183 (2003). doi:10.1023/B:JOTA.0000005047.30026.b8

4. Auslender, A, Teboulle, M: Lagrangian duality and related multiplier methods for variational inequality problems. SIAM J. Optim.10(4), 1097-1115 (2000). doi:10.1137/S1052623499352656

5. Bao, TQ, Khanh, PQ: A projection-type algorithm for pseudomonotone nonlipschitzian multivalued variational inequalities. In: Generalized Convexity, Generalized Monotonicity and Applications, pp. 113-129. Springer, New York (2005)

6. Fang, CJ, He, YR: A double projection algorithm for multi-valued variational inequalities and a unified framework of the method. Appl. Math. Comput.217, 9543-9551 (2011). doi:10.1016/j.amc.2011.04.009

7. Fang, CJ, He, YR: An extragradient method for generalized variational inequality. Pac. J. Optim.9(1), 47-59 (2013) 8. Fang, SC, Peterson, EL: Generalized variational inequalities. J. Optim. Theory Appl.38(3), 363-383 (1982).

doi:10.1007/BF00935344

9. Fukushima, M: The primal Douglas-Rachford splitting algorithm for a class of monotone mappings with application to the traffic equilibrium problem. Math. Program.72(1, Ser. A), 1-15 (1996). doi:10.1007/BF02592328

10. Konnov, IV: Combined Relaxation Methods for Variational Inequalities. Springer, Berlin (2001)

11. Li, FL, He, YR: An algorithm for generalized variational inequality with pseudomonotone mapping. J. Comput. Appl. Math.228, 212-218 (2009). doi:10.1016/j.cam.2008.09.014

12. Rockafellar, RT: Monotone operators and the proximal point algorithm. SIAM J. Control Optim.14(5), 877-898 (1976). doi:10.1137/0314056

13. Saigal, R: Extension of the generalized complementarity problem. Math. Oper. Res.1(3), 260-266 (1976). doi:10.1287/moor.1.3.260

14. Salmon, G, Strodiot, JJ, Nguyen, VH: A bundle method for solving variational inequalities. SIAM J. Optim.14(3), 869-893 (2003). doi:10.1137/S1052623401384096

15. Xia, FQ, Huang, NJ: A projection-proximal point algorithm for solving generalized variational inequalities. J. Optim. Theory Appl.150, 98-117 (2011). doi:10.1007/s10957-011-9825-3

16. Karamardian, S: Complementarity problems over cones with monotone and pseudomonotone maps. J. Optim. Theory Appl.18(4), 445-454 (1976). doi:10.1007/BF00932654

17. Zarantonello, EH: Projections on convex sets in Hilbert space and spectral theory. In: Contributions to Nonlinear Functional Analysis. Academic Press, New York (1971)

18. Bnouhachem, A: A self-adaptive method for solving general mixed variational inequalities. J. Math. Anal. Appl.309, 136-150 (2005). doi:10.1016/j.jmaa.2004.12.023

19. Aubin, JP, Ekeland, I: Applied Nonlinear Analysis. Wiley, New York (1984)

20. Pang, JS: Error bounds in mathematical programming. Math. Program.79, 299-332 (1997). doi:10.1007/BF02614322 21. Facchinei, F, Pang, JS: Finite-Dimensional Variational Inequalities and Complementary Problems. Springer, New York

(2003)

22. Solodov, MV: Convergence rate analysis of iterative algorithms for solving variational inequality problems. Math. Program.96, 513-528 (2003). doi:10.1007/s10107-002-0369-z

23. Polyak, BT: Introduction to Optimization. Optimization Software Inc., Publications Division, New York (1987)

doi:10.1186/1029-242X-2013-218

References

Related documents