JFS Journal of Function Spaces 2314-8888 2314-8896 Hindawi Publishing Corporation 853106 10.1155/2014/853106 853106 Research Article On the Graph of Solution Mappings of Variational Inequalities Problems Song Qi-Qing Xing Yuming College of Science Guilin University of Technology Guilin 541004 China glut.edu.cn 2014 942014 2014 09 12 2013 27 03 2014 27 03 2014 9 4 2014 2014 Copyright © 2014 Qi-Qing Song. 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.

This paper shows the property of homeomorphism between the space of monotone variational inequalities problems and the graph of their solution mappings.

1. Introduction and Preliminaries

It is well known that variational inequalities were introduced by Hartman and Stampacchia in the 1960s; see [1, 2]. Variational inequalities have become important methods for the study of many problems such as optimization problems, nonlinear complementary problems, fixed-point problems, saddle-point problems, and Nash equilibrium problems; see [3, 4] and references therein.

Let K be compact convex subset of n and f : K n a mapping. A classic variational inequality problem is to find a point x ¯ K such that (1) ( y - x ¯ ) T f ( x ¯ ) 0 , y K .

A basic characteristic of monotone variational inequalities is the clarity of the construction of their solution sets, which attracts much attention in theoretical studies. Monotone variational inequalities are also important aspects in algorithm designs. We intend to recall some notions with monotonicity.

Definition 1.

A function f : K n is said to be monotone if ( f ( x ) - f ( y ) ) T ( x - y ) 0 , for all x , y K ; f is said to be strictly monotone if f is monotone, and if ( f ( x ) - f ( y ) ) T ( x - y ) = 0 , then x = y ; f is strongly monotone if there exists a constant c > 0 such that ( f ( x ) - f ( y ) ) T ( x - y ) c x - y 2 , for all x , y K .

Denote by M the set as follows: (2) M = { f : f : K n    is    continuous    and    monotone } . For any two f 1 , f 2 M , we adopt the uniform metric ρ ( f 1 , f 2 ) between f 1 and f 2 ; that is, (3) ρ ( f 1 , f 2 ) = max x K f 1 ( x ) - f 2 ( x ) . We write ρ ( f n , f 0 ) 0 as f n ρ f 0 . For each f M , if a point x ¯ is a solution of the problem (1) with respect to f , we denote it as x ¯ V ( f ) . Then, we define a set-valued mapping V from M to K . For each f M , by the finite dimensional case of Theorem 1.4 in Chapter III in , it holds that V ( f ) . In fact, V ( f ) is a closed convex set for each f M , and if f is strictly monotone, V ( f ) is a singleton set.

Let N be the graph of the set-valued mapping V ; that is, (4) N = { ( f , x ) M × K x V ( f ) } .

Noting the uniqueness of strictly monotone variational inequalities, the graphs N and M may show some relations, and this paper aims to illustrate the construction between variational inequalities problems and the graph of solution mappings in detail. The homeomorphism between M and N is revealed, which is linked closely with the stability of solutions of variational inequalities (1).

For each ( f , x * ) N , let ϕ ( f , x * ) = f - C x * , where C a denotes the constant mapping such that C a ( x ) = a , for all x K . Clearly, C x * is monotone; hence, C x * M . Then, ϕ is a mapping from N to M .

2. Properties of the Graph Space of Solution Mappings Theorem 2.

The spaces N and M are homeomorphic.

Proof.

For each f M , let ψ ( f ) = ( f + C x ¯ , x ¯ ) , where x ¯ is the unique point in V ( f + I ) ( I is the identity mapping on K ); then, ψ is a mapping from M to M × K . We need to show the following five steps.

ψ maps M onto N . For each f M , since x ¯ V ( f + I ) , we have ( y - x ¯ ) T ( f ( x ¯ ) + x ¯ ) 0 , for all y K ; that is, x ¯ V ( f + C x ¯ ) .

ψ is continuous on M . In order to show this, firstly, we prove that N is closed. Let ( g n , z n ) N ( n = 1,2 , ) and ( g n , z n ) ( g 0 , z 0 ) M × K ( g n ρ g 0 and z n - z 0 0 ). Then, z n V ( g n ) ; that is, (5) ( y - z n ) T g n ( z n ) 0 , y K .

As n is close to infinity for (5), noting that g 0 is continuous, we have (6) ( y - z 0 ) T g 0 ( z 0 ) 0 , y K . Then, z 0 V ( g 0 ) . Consequently, N is closed. Hence, the set-valued mapping V is upper semicontinuous on M .

Next, let f n M ( n = 1,2 , ) and f n f 0 M . Then, for each n = 0,1 , 2 , , ψ ( f n ) = ( f n + C x n , x n ) , where x n is the unique point in V ( f n + I ) . We need to show that ( f n + C x n , x n ) ( f 0 + C x 0 , x 0 ) . Since V is upper semicontinuous on M , for any open set U V ( f 0 + I ) = { x 0 } , there exists a number m such that, for each n > m , V ( f n + I ) = { x n } U . Therefore, we can obtain that x n x 0 . For each x K , as n gets close to infinity, since the right side of the following inequality, (7) f n ( x ) + x n - ( f 0 ( x ) + x 0 ) f n ( x ) - f 0 ( x ) + x n - x 0 , tends to zero, we have ( f n + C x n ) ρ ( f 0 + C x 0 ) .

ϕ is continuous on N . Let ( f n , x n ) N ( n = 1,2 , ) and ( f n , x n ) ( f 0 , x 0 ) N ( f n ρ f 0 and x n - x 0 0 ). For each x K , as n gets close to infinity, it holds that (8) f n ( x ) - x n - ( f 0 ( x ) - x 0 ) f n ( x ) - f 0 ( x ) + x n - x 0 0 ,

and, then, we have ( f n - C x n ) ρ ( f 0 - C x 0 ) .

ϕ ψ = I M , where I M is the identity mapping on M . For each f M , clearly, (9) ϕ ψ ( f ) = ϕ ( f + C x ¯ , x ¯ ) = f + C x ¯ - C x ¯ = f ,

where x ¯ is the unique element of V ( f + I ) .

ψ ϕ = I N , where I N is the identity mapping on N . For each ( f , x * ) N , (10) ψ ϕ ( f , x * ) = ψ ( f - C x * ) = ( f - C x * + C x ¯ , x ¯ ) ,

where x ¯ satisfies that V ( f - C x * + I ) = { x ¯ } . From step ( a ) , we have (11) ( y - x ¯ ) T ( f ( x ¯ ) - x * + x ¯ ) 0 , y K . Consequently, (11) holds for y = x * ; that is, (12) ( x * - x ¯ ) T ( f ( x ¯ ) - x * + x ¯ ) 0 . Since ( f , x * ) N , we have ( y - x * ) T f ( x * ) 0 , for all y K . It follows that (13) ( x ¯ - x * ) T f ( x * ) 0 . Add (12) and (13); then, we obtain that (14) ( x * - x ¯ ) T ( - f ( x * ) + f ( x ¯ ) - x * + x ¯ ) 0 ; that is, (15) ( x * - x ¯ ) T ( f ( x ¯ ) + x ¯ - ( f ( x * ) + x * ) ) 0 . Since f + I is monotone, we have (16) ( x * - x ¯ ) T ( f ( x * ) + x * - ( f ( x ¯ ) + x ¯ ) ) 0 . Thus, (15) and (16) imply that (17) ( x * - x ¯ ) T ( f ( x * ) + x * - ( f ( x ¯ ) + x ¯ ) ) = 0 . Noting that f + I is also strictly monotone, (17) can result in the fact that x * = x ¯ . Therefore, ψ ϕ ( f , x * ) = ( f , x * ) .

From the closedness of N , the continuity of ψ is guaranteed in Theorem 2. Conversely, N being closed can be induced by Theorem 2.

Corollary 3.

Theorem 2 implies that N is closed.

Proof.

Since ( M , ρ ) is closed, by the continuity of ψ in Theorem 2, we have that ψ ( M ) is closed. Additionally, Theorem 2 means that ψ ( M ) = N ; then, N is closed.

From Theorem 2 or Corollary 3, N is closed, noting that V ( f ) is closed for each f M , which results in the upper semicontinuity of the set-valued mapping V : M 2 K . This directly leads to the following stability result of the solution set V ( f ) for each f M .

Corollary 4.

Let ɛ > 0 , f M . For each ɛ neighborhood O ɛ of V ( f ) in K , there exists a δ neighborhood U δ of f in M such that V ( f ) O ɛ , for all f U δ .

Remark 5.

As shown in Theorem 2 or Corollary 3, V is upper semicontinuous on M . Then, for any ε n > 0 , n = 1,2 , , and f 0 + ε n I M with a unique solution x n V ( f 0 + ε n I ) , we know that f 0 + ε n I f 0 . For any δ open neighborhood B δ V ( f 0 ) , there is a number m such that x n B δ , n > m . Then, by the arbitrariness of δ with δ > 0 , we can assert that there exists a convergent subsequence { x n k } of { x n } such that x n k x 0 V ( f 0 ) = V ( f 0 ) ¯ . This is like the Tikhonov regularization method for the ill-posed variational inequalities; see .

Remark 6.

Let ɛ > 0 . In Theorem 2, for each ( f , x ) N , let ϕ ɛ ( f , x ) = f - ɛ C x and, for each f M , let ψ ɛ ( f ) = ( f + ɛ C x , x ) with x V ( f + ɛ I ) for the strongly monotone mapping f + ɛ I . Then, ϕ ɛ and ψ ɛ are also bijections between N and M .

From Theorem 2, in a finite dimensional case, the homeomorphism is shown between two spaces in relation to the variational problem (1). This facilitates the generalization of this property into Hilbert spaces.

In the following part, let K be a compact convex subset in a Hilbert space ( X , · , · ) , where · , · denotes the inner product on X . We denote by ( X , · ) the norm space induced by the inner product on X . Let X * be the dual space of X which consists of all bounded linear functions on X equipped with norm topology. Then, for each T X * , the norm of T can be written as T = sup y = 1 , y X | T ( y ) | . And it is known that X * is a Banach space using this topology.

A mapping S from K to X * is said to be monotone if ( S ( u ) - S ( v ) , u - v ) 0 , for all u , v K , where ( · , · ) is the pairing of X * and X ; S is called strictly monotone if S is monotone, and ( S ( u ) - S ( v ) , u - v ) = 0 implies u = v .

Let T : K X * be continuous; then, by Theorem 3 in , there is u in K solving the variational inequality problem (18) ( T ( u ) , v - u ) 0 , v K . This kind of variational inequality problem was introduced by Browder (see ). Denote by M the set of all T : K X * (monotone and continuous on K ) and by V ( T ) the set of all solutions of the problem (18) for each T M . Then, we define a set-valued mapping V from M to K . For each T M , we know that if T is strictly monotone, then V ( T ) is a singleton set. For two T 1 , T 2 M , we measure the metric between them as (19) ρ ( T 1 , T 2 ) = sup x K T 1 ( x ) - T 2 ( x ) = sup x K sup y = 1 , y X | ( T 1 ( x ) , y ) - ( T 2 ( x ) , y ) | . Denote by N the graph of the set-valued mapping V ; that is, (20) N = { ( T , x ) M × K x V ( T ) } . To construct a bijection between M and N , let ϕ : N M such that, for each ( T , u ) N , ϕ ( T , u ) = T - l u , where l u : K X * is a constant mapping such that l u ( x ) = u , · , for all x K . For each T M , let R T : K X * such that, for each x K , (21) ( R T ( x ) , z ) = ( T ( x ) , z ) + x , z , z X . Easily, we can check that R T is strictly monotone. Let ψ ( T ) = ( T + l u , u ) for each T M , where u satisfies that V ( R T ) = { u } and R T is defined by (21).

Theorem 7.

The spaces M and N are homeomorphic.

Proof.

We will follow the following five steps to complete the proof.

ψ maps M onto N . For each T M , let u V ( R T ) ; we need to show that u V ( T + l u ) . Since u V ( R T ) , we have ( R T ( u ) , v - u ) 0 , for all v K . Hence, (22) ( T ( u ) , v - u ) + u , v - u = ( T ( u ) + l u ( u ) , v - u ) 0 , v K ;

that is, u V ( T + l u ) .

ϕ ψ = I M , where I M is the identity mapping on M . For each T M , by step ( a ) , it holds that (23) ϕ ψ ( T ) = ϕ ( T + l u , u ) = T + l u - l u = T .

ψ ϕ = I N , where I N is the identity mapping on N . For each ( T , u * ) N , (24) ψ ϕ ( T , u * ) = ψ ( T - l u * ) = ( T - l u * + l u ¯ , u ¯ ) ,

where u ¯ V ( R T - l u * ) ; then, for each x K , (25) ( R T - l u * ( x ) , z ) = ( T ( x ) - l u * ( x ) , z ) + x , z , z X . On the one hand, by step ( a ) , u ¯ V ( T - l u * + l u ¯ ) . Hence, (26) ( T ( u ¯ ) - l u * ( u ¯ ) + l u ¯ ( u ¯ ) , v - u ¯ ) 0 , v K . Taking a special point v = u * in (26), we can obtain that (27) ( T ( u ¯ ) - l u * ( u ¯ ) + l u ¯ ( u ¯ ) , u * - u ¯ ) 0 . Then, (28) ( T ( u ¯ ) + l u ¯ - u * ( u ¯ ) , u * - u ¯ ) 0 . On the other hand, since u * V ( T ) , we have that ( T ( u * ) , u ¯ - u * ) 0 ; hence, (29) ( T ( u * ) , u ¯ - u * ) + u ¯ - u * , u ¯ - u * 0 . Inequality (29) implies that (30) ( T ( u * ) + l u ¯ - u * ( u * ) , u ¯ - u * ) 0 . Add (28) and (30); it follows that (31) ( T ( u ¯ ) + l u ¯ - u * ( u ¯ ) - ( T ( u * ) + l u ¯ - u * ( u * ) ) , u * - u ¯ ) 0 . Noting that T + l u ¯ - u * is monotone, it holds that (32) ( T ( u ¯ ) + l u ¯ - u * ( u ¯ ) - ( T ( u * ) + l u ¯ - u * ( u * ) ) , u ¯ - u * ) 0 . Therefore, by (31) and (32), we have (33) ( T ( u ¯ ) + l u ¯ - u * ( u ¯ ) - ( T ( u * ) + l u ¯ - u * ( u * ) ) , u ¯ - u * ) = 0 . From the strict monotonicity of T + l u ¯ - u * , we can obtain that u ¯ = u * .

ϕ is continuous on N . Let ( T n , u n ) N , n = 1,2 , , and ( T n , u n ) ( T 0 , u 0 ) N ( T n ρ T 0 and u n - u 0 0 ). For any x K , since (34) ( T n - l u n ) ( x ) - ( T 0 - l u 0 ) ( x ) = T n ( x ) - l u n ( x ) - T 0 ( x ) + l u 0 ( x ) T n ( x ) - T 0 ( x ) + l u n ( x ) - l u 0 ( x ) ρ ( T n , T 0 ) + sup y = 1 , y X | u n , y - u 0 , y | 0 ,

we have ( T n - l u n ) ρ ( T 0 - l u 0 ) . That is, ϕ ( T n , u n ) ϕ ( T 0 , u 0 ) .

ψ is continuous on M . Let T n M , n = 1,2 , , and T 0 M with T n ρ T 0 , ψ ( T n ) = ( T n + l u n , u n ) , and ψ ( T 0 ) = ( T 0 + l u 0 , u 0 ) . It is sufficient to show that ( T n + l u n ) ρ ( T 0 + l u 0 ) and u n - u 0 0 . In order to achieve this, we give a proof of upper semicontinuity of V by the closedness of N .

Let { ( S n , t n ) } n = 1 N with S n ρ S 0 and t n - t 0 0 . Then, t n V ( S n ) . That is, (35) ( S n ( t n ) , v - t n ) 0 , v K . By way of contradiction, assume that there exists w K such that (36) ( S 0 ( t 0 ) , w - t 0 ) < 0 . Let y w = ( w - t 0 ) / w - t 0 , y w n = ( w - t n ) / w - t n ; then, y w n - y w 0 .

Since S n is continuous on K , S n ρ S 0 , and t n - t 0 0 , we have (37) | ( S n ( t n ) , y w n ) - ( S 0 ( t 0 ) , y w ) | | ( S n ( t n ) , y w n ) - ( S n ( t 0 ) , y w n ) + ( S n ( t 0 ) , y w n ) - ( S 0 ( t 0 ) , y w n ) + ( S 0 ( t 0 ) , y w n ) - ( S 0 ( t 0 ) , y w ) | 0 . Hence, according to (36), there exists a number m such that (38) ( S n ( t n ) , w - t n ) < 0 , n > m . Clearly, there is contradiction between (35) and (38). Therefore, we have (39) ( S 0 ( t 0 ) , v - t 0 ) 0 , v K ; that is, t 0 V ( S 0 ) . Consequently, the space N is closed and V is upper semicontinuous on M . Similar to step ( b ) in Theorem 2, the fact that { u n } = V ( R T n ) ( n = 1,2 , ) and the upper semicontinuity of V imply that u n - u 0 0 . Since u n - u 0 0 , similar to step ( d ) , we can obtain that ( T n + l u n ) ρ ( T 0 + l u 0 ) . The proof is completed.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The author thanks reviewers for their useful and constructive comments. This project is supported by Guangxi Natural Science Foundation (2012GXNSFBA053013), NNSF (61164020), and Doctoral Research Fund of Guilin University of Technology.

Hartman P. Stampacchia G. On some non-linear elliptic differential-functional equations Acta Mathematica 1966 115 1 271 310 2-s2.0-34250523511 10.1007/BF02392210 MR0206537 ZBL0142.38102 Lions J. L. Stampacchia G. Variational inequalities Communications on Pure and Applied Mathematics 1967 20 3 493 519 10.1002/cpa.3160200302 MR0216344 ZBL0152.34601 Facchinei F. Pang J. S. Finite-Dimensional Variational Inequalities and Complementarity Problem 2003 New York, NY, USA Springer Konnov I. V. Equilibrium Models and Variational Inequalities 2007 Amsterdam, The Netherlands Elsevier MR2503647 Kinderlehrer D. Stampacchia G. An Introduction to Variational Inequalities and Their Applications 2000 Philadelphia, Pa, USA SIAM MR1786735 Browder F. E. A new generalization of the Schauder fixed point theorem Mathematische Annalen 1967 174 4 285 290 2-s2.0-0009138164 10.1007/BF01364275 MR0223944 ZBL0176.45203