arxiv: v1 [math.fa] 21 Dec 2011

Transcription

1 arxiv: v1 [ath.fa] 21 Dec 2011 COMPOSITIONS AND CONVEX COMBINATIONS OF ASYMPTOTICALLY REGULAR FIRMLY NONEXPANSIVE MAPPINGS ARE ALSO ASYMPTOTICALLY REGULAR Heinz H. Bauschke, Victoria Martín-Márquez, Sarah M. Moffat, and Xianfu Wang Deceber 21, 2011 Abstract Because of Minty s classical correspondence between firly nonexpansive appings and axially onotone operators, the notion of a firly nonexpansive apping has proven to be of basic iportance in fixed point theory, onotone operator theory, and convex optiization. In this note, we show that if finitely any firly nonexpansive appings defined on a real Hilbert space are given and each of these appings is asyptotically regular, which is equivalent to saying that they have or alost have fixed points, then the sae is true for their coposition. This significantly generalizes the result by Bauschke fro 2003 for the case of projectors (nearest point appings). The proof resides in a Hilbert product space and it relies upon the Brezis-Haraux range approxiation result. By working in a suitably scaled Hilbert product space, we also establish the asyptotic regularity of convex cobinations Matheatics Subject Classification: Priary 47H05, 47H09; Secondary 47H10, 90C25. Keywords: Asyptotic regularity, firly nonexpansive apping, Hilbert space, axially onotone operator, nonexpansive apping, resolvent, strongly nonexpansive apping. Matheatics, University of British Colubia, Kelowna, B.C. V1V 1V7, Canada. E-ail: heinz.bauschke@ubc.ca. Departaento de Análisis Mateático, Universidad de Sevilla, Apdo. 1160, Sevilla, Spain. E-ail: victoria@us.es. Matheatics, University of British Colubia, Kelowna, B.C. V1V 1V7, Canada. E-ail: sarah.offat@ubc.ca. Matheatics, University of British Colubia, Kelowna, B.C. V1V 1V7, Canada. E-ail: shawn.wang@ubc.ca. 1

2 1 Introduction and Standing Assuptions Throughout this paper, (1) X is a real Hilbert space with inner product, and induced nor. We assue that (2) {2, 3, 4,...} and I := {1, 2,..., }. Recall that an operator T : X X is firly nonexpansive (see, e.g., [2], [10], and [11] for further inforation) if ( x X)( y X) Tx Ty 2 x y, Tx Ty and that a set-valued operator A : X X is axially onotone if it is onotone, i.e., for all(x, x ) and(y, y ) in the graph of A, we have x y, x y 0 and if the graph of A cannot be properly enlarged without destroying onotonicity. (We shall write do A = { x X Ax = } for the doain of A, ran A = A(X) = x X Ax for the range of A, and gr A for the graph of A.) These notions are equivalent (see [13] and [9]) in the sense that if A is axially onotone, then its resolvent J A := (Id+A) 1 is firly nonexpansive, and if T is firly nonexpansive, then T 1 Id is axially onotone. (Here and elsewhere, Id denotes the identity operator on X.) The Minty paraetrization (see [13] and also [2, Reark 23.22(ii)]) states that if A is axially onotone, then (3) gr A = { (J A x, x J A x) x X }. In optiization, one ain proble is to find zeros of axially onotone operators these zeros ay correspond to critical points or solutions to optiization probles. In ters of resolvents, the corresponding proble is that of finding fixed points. For background aterial in fixed point theory and onotone operator theory, we refer the reader to [2], [4], [5], [8], [10], [11], [14], [15], [16], [17], [18], [19], [20], and [21]. The ai of this note is to provide approxiate fixed point results for copositions and convex cobinations of finitely any firly nonexpansive operators. The first ain result (Theore 4.6) substantially extends a result by Bauschke [1] on the copositions of projectors to the coposition of firly nonexpansive appings. The second ain result (Theore 5.5) extends a result by Bauschke, Moffat and Wang [3] on the convex cobination of firly nonexpansive operators fro Euclidean to Hilbert space. The reainder of this section provides the standing assuptions used throughout the paper. Even though the ain results are forulated in the given Hilbert space X, it will turn out that 2

3 the key space to work in is the product space (4) X := { x = (x i ) ( i I) x i X }. This product space contains an ebedding of the original space X via the diagonal subspace (5) := { x = (x) x X }. We also assue that we are given firly nonexpansive operators T 1,..., T ; equivalently, resolvents of axially onotone operators A 1,..., A : (6) ( i I) T i = J Ai = (Id+A i ) 1 is firly nonexpansive. We now define various pertinent operators acting on X. We start with the Cartesian product operators (7) T : X X : (x i ) (T i x i ) and (8) A : X X : (x i ) (A i x i ). Denoting the identity on X by Id, we observe that (9) J A = (Id+A) 1 = T 1 T = T. Of central iportance will be the cyclic right-shift operator (10) R : X X : (x 1, x 2,..., x ) (x, x 1,..., x 1 ) and for convenience we set (11) M = Id R. 3

4 We also fix strictly positive convex coefficients (or weights)(λ i ), i.e. (12) ( i I) λ i ]0, 1[ and λ i = 1. Let us ake X into the Hilbert product space (13) X := X, with x, y = x i, y i. The orthogonal copleent of with respect to this standard inner product is known (see, e.g., [2, Proposition 25.4(i)]) to be (14) = { x = (x i ) x i = 0 }. Finally, given a nonepty closed convex subset C of X, the projector (nearest point apping) onto C is denoted by P C. It is well known to be firly nonexpansive. 2 Properties of the Operator M In this section, we collect several useful properties of the operator M, including its Moore-Penrose inverse (see [12] and e.g. [2, Section 3.2] for further inforation.). To that end, the following result which is probably part of the folklore will turn out to be useful. Proposition 2.1 Let Y be a real Hilbert space and let B be a continuous linear operator fro X to Y with adjoint B and such that ran B is closed. Then the Moore-Penrose inverse of B satisfies (15) B = P ran B B 1 P ran B. Proof. Take y Y. Define the corresponding set of least squares solutions (see, e.g., [2, Proposition 3.25]) by C := B 1 (P ran B y). Since ran B is closed, so is ran B (see, e.g., [2, Corollary 15.34]); hence 1, U := (ker B) = ran B = ran B. Thus, C = B y+ker B = B y+u. Therefore, since ran B = ran B (see, e.g., [2, Proposition 3.28(v)]), P U (C) = P U B y = B y, as claied. Before we present various useful properties of M, let us recall the notion of a rectangular (which is also known as star or 3* onotone, see [6]) operator. A onotone operator B : X X is rectangular if ( (x, y ) do B ran B) sup (z,z ) gr B x z, z y < +. 1 ker B = B 1 0 = { x X Bx = 0 } denotes the kernel (or nullspace) of B. 4

5 Theore 2.2 Define 2 (16) L : X : y Then the following hold. 1 i=1 i Ri 1 y. (i) M is continuous, linear, and axially onotone with do M = X. (ii) M is rectangular. (iii) ker M = ker M =. (iv) ran M = ran M = is closed. (v) ran L =. (vi) M L = Id. (vii) M 1 : X X : y (viii) M = P L P = L P. (ix) M = k=1 (2k 1) R k 1. 2 { Ly+, if y ;, otherwise. Proof. (i): Clearly, do M = X and ( x X) Rx = x. Thus, R is nonexpansive and therefore M = Id R is axially onotone (see, e.g., [2, Exaple 20.27]). (ii): See [2, Exaple 24.14] and [1, Step 3 in the proof of Theore 3.1] for two different proofs of the rectangularity of M. (iii): The definitions of M and R and the fact that R is the cyclic left shift operator readily iply that ker M = ker M =. (iv), (vi), and (vii): Let y = (y 1,..., y ) X. Assue first that y ran M. Then there exists x = (x 1,..., x ) such that y 1 = x 1 x, y 2 = x 2 x 1,..., and y = x x 1. It follows that y i = 0, i.e., y by [2, Proposition 25.4(i)]. Thus, (17) ran M. Conversely, assue now that y. Now set (18) x := Ly = 1 i=1 i Ri 1 y. 2 Here and elsewhere we write S n for the n-fold coposition of an operator S. 5

6 It will be notationally convenient to wrap indices around i.e., y +1 = y 1, y 0 = y and likewise. We then get (19) ( i I) x i = 1 Therefore, y i+ 2 y i y i+2. (20) x i = 1 y i + 2 y i + 1 y i = 1 Thus x and (21) ran L. 2 y i = 0. Furtherore, (22a) (22b) ( i I) x i x i 1 = 1 y i 1 y i 1 1 y i 2 1 y i+1 = y i 1 j I y j = y i. Hence Mx = x Rx = y and thus y ran M. Moreover, in view of (iii), (23) M 1 y = x+ ker M = x+. We thus have shown (24) ran M. Cobining (17) and (24), we obtain ran M =. We thus have verified (vi), and (vii). Since ran M is closed, so is ran M (by, e.g., [2, Corollary 15.34]). Thus (iv) holds. (viii)&(v): We have seen in Proposition 2.1 that (25) M = P ran M M 1 P ran M. Now let z X. Then, by (iv), y := P ran M z = P z. By (vii), M 1 y = Ly +. So M z = P ran M M 1 P ran M z = P ran M M 1 y = P (Ly+ ) = P Ly = Ly = (L P )z because ran L by (21). Hence (viii) holds. Furtherore, by (iv) and e.g. [2, Proposition 3.28(v)], ran L = ran L P = ran M = ran M = and so (v) holds. (ix): Note that P = Id P and that P = 1 j I R j. Hence (26) P = Id 1 j I R j. Thus, by (viii) and (16), (27) M = L P = 1 1 i=1 ( i)r i 1 6 ( Id 1 R j) j I

7 (28) = 1 1 i=1 ( i)r i ( i) R i+j 1. i=1 j I Re-arranging this expression in ters of powers of R and siplifying leads to (29) M = (Id R) = k=1 (2k 1) R k 1. 2 Reark 2.3 Suppose that L : X satisfies M L = Id. Then (30) M 1 : X X : y { Ly+, if y ;, otherwise. One ay show that M = P L P and that P L = L (see (16)). Concrete choices for L and L are (31) X : (y 1, y 2,..., y ) (y 1, y 1 + y 2,..., y 1 + y 2 + y 3 + +y ); however, the range of the latter operator is not equal whenever X = {0}. Reark 2.4 Denoting the syetric part of M by M + = 1 2 M+ 1 2 M and defining the quadratic for associated with M by q M : x 1 2 x, Mx, we note that [1, Proposition 2.3] iplies that3 ran M + = do q M =. Fact 2.5 (Brezis-Haraux) (See [6] and also, e.g.,[2, Theore 24.20].) Suppose A and B are onotone operators on X such that A+B is axially onotone, do A do B, and B is rectangular. Then int ran(a+ B) = int(ran A+ran B) and ran(a+ B) = ran A+ran B. Applying the Brezis-Haraux result to our given operators A and M, we obtain the following. Corollary 2.6 The operator A+M is axially onotone and ran(a+m) = + ran A. Proof. Since each A i is axially onotone and recalling Theore 2.2(i), we see that A and M are axially onotone. On the other hand, do M = X. Thus, by the well known su theore for axially onotone operators (see, e.g, [2, Corollary 24.4(i)]), A + M is axially onotone. Furtherore, by Theore 2.2(ii)&(iv), M is rectangular and ran M =. The result therefore follows fro Fact Recall that the Fenchel conjugate of a function f defined on X is given by f : x sup x X ( x, x f(x) ). 7

8 3 Coposition We now use Corollary 2.6 to study the coposition. Theore 3.1 Suppose that ( i I) 0 ran(id T i ). Then the following hold. (i) 0 ran(a+m). (ii) ( ε > 0) ( (b, x) X X) b ε and x = T(b+Rx). (iii) ( ε > 0) ( (c, x) X X) c ε and x = c+t(rx). (iv) ( ε > 0) ( x X) ( i I) T i 1 T 1 x T i T i 1 T 1 x x i 1 + x i (2i 1)ε, where x 0 = x. (v) ( ε > 0) ( x X) x T T 1 T 1 x 2 ε. Proof. (i): The assuptions and (3) iply that ( i I) 0 ran A i. Hence, 0 ran A. Obviously, 0. It follows that 0 + ran A. Thus, by Corollary 2.6, 0 ran(a+m). (ii): Fix ε > 0. In view of (i), there exists x X and b X such that b ε and b Ax+Mx. Hence b+rx (Id+A)x and thus x = J A (b+rx) = T(b+Rx). (iii): Let ε > 0. By (ii), there exists (b, x) X X) such that b ε and x = T(b+Rx). Set c = x T(Rx) = T(b+Rx) T(Rx) Then, since T is nonexpansive, c = T(b+Rx) T(Rx) b ε. (iv): Take ε > 0. Then, by (iii), there exists x X and c X such that c ε and x = c+t(rx). Let i I. Then x i = c i + T i x i 1. Since c i c ε and T i is nonexpansive, we have (32a) (32b) T i T i 1 T 1 x 0 x i T i T i 1 T 1 x 0 T i x i 1 + T i x i 1 x i T i T i 1 T 1 x 0 T i x i 1 +ε. We thus obtain inductively (33) T i T i 1 T 1 x 0 x i iε. Hence, (34) T i 1 T 1 x 0 x i 1 (i 1)ε. The conclusion now follows fro adding (33) and (34), and recalling the triangle inequality. (v): Let ε > 0. In view of (iv), there exists x X such that (35) ( i I) T i 1 T 1 x T i T i 1 T 1 x x i 1 + x i (2i 1)ε 8

9 where x 0 = x. Now set ( i I) e i = T i 1 T 1 x T i T i 1 T 1 x x i 1 + x i. Then ( i I) e i (2i 1)ε. Set x = x. Then (36) (37) e i = T i 1 T 1 x T i T i 1 T 1 x x i 1 + x i i=1 i=1 = x T T 1 T 1 x. This, (35), and the triangle inequality iply that (38) x T T 1 T 1 x This copletes the proof. e i i=1 i=1 (2i 1)ε = 2 ε. Corollary 3.2 Suppose that ( i I) 0 ran(id T i ). Then 0 ran(id T T 1 T 1 ). Proof. This follows fro Theore 3.1(v). Reark 3.3 The converse iplication in Corollary 3.2 fails in general: indeed, consider the case when X = {0}, = 2, and v X {0}. Now set T 1 : X X : x x+v and set T 2 : X X : x x v. Then 0 / ran(id T 1 ) = { v} and 0 / ran(id T 2 ) = {v}; however, T 2 T 1 = Id and ran(id T 2 T 1 ) = {0}. Reark 3.4 Corollary 3.2 is optial in the sense that even if ( i I) we have 0 ran(id T i ), we cannot deduce that 0 ran(id T T 1 T 1 ): indeed, suppose that X = R 2 and = 2. Set C 1 := epi exp and C 2 := R {0}. Suppose further that T 1 = P C1 and T 2 = P C2. Then ( i I) 0 ran(id T i ); however, 0 ran(id T 2 T 1 )ran(id T 2 T 1 ). 4 Asyptotic Regularity The following notions (taken fro Bruck and Reich s seinal paper [7]) will be very useful to obtain stronger results. Definition 4.1 ((strong) nonexpansiveness and asyptotic regularity) Let S : X X. Then: (i) S is nonexpansive if ( x X)( y X) Sx Sy x y. (ii) S is strongly nonexpansive if S is nonexpansive and whenever(x n ) n N and(y n ) n N are sequences in X such that (x n y n ) n N is bounded and x n y n Sx n Sy n 0, it follows that (x n y n ) (Sx n Sy n ) 0. (iii) S is asyptotically regular if ( x X) S n x S n+1 x 0. 9

10 The next result illustrates that strongly nonexpansive appings generalize the notion of a firly nonexpansive apping. In addition, the class of strongly nonexpansive appings is closed under copositions. (In contrast, the coposition of two (necessarily firly nonexpansive) projectors ay fail to be firly nonexpansive.) Fact 4.2 (Bruck and Reich) The following hold. (i) Every firly nonexpansive apping is strongly nonexpansive. (ii) The coposition of finitely any strongly nonexpansive appings is also strongly nonexpansive. Proof. (i): See [7, Proposition 2.1]. (ii): See [7, Proposition 1.1]. The sequences of iterates and of differences of iterates have striking convergence properties as we shall see now. Fact 4.3 (Bruck and Reich) Let S : X X be strongly nonexpansive and let x X. Then the following hold. (i) The sequence (S n x S n+1 x) n N ran(id S). converges strongly to the unique eleent of least nor in (ii) If Fix S =, then S n x +. (iii) If Fix S =, then (S n x) n N converges weakly to a fixed point of S. Proof. (i): See [7, Corollary 1.5]. (ii): See [7, Corollary 1.4]. (iii): See [7, Corollary 1.3]. Suppose S : X X is asyptotically regular. Then, for every x X, 0 S n x S n+1 x = (Id S)S n x ran(id S) and hence 0 ran(id S). The opposite iplication fails in general (consider S = Id), but it is true for strongly nonexpansive appings. Corollary 4.4 Let S : X X be strongly nonexpansive. Then S is asyptotically regular if and only if 0 ran(id S). Proof. : Clear. : Fact 4.3(i). Corollary 4.5 Set S := T T 1 T 1. Then S is asyptotically regular if and only if 0 ran(id S). Proof. Since each T i is firly nonexpansive, it is also strongly nonexpansive by Fact 4.2(i). By Fact 4.2(ii), S is strongly nonexpansive. Now apply Corollary 4.4. Alternatively, 0 ran(id S) by Corollary 3.2 and again Corollary 4.4 applies. We are now ready for our first ain result. 10

11 Theore 4.6 Suppose that each T i is asyptotically regular. Then T T 1 T 1 is asyptotically regular as well. Proof. Theore 3.1(v) iplies that 0 ran(id T T 1 T 1 ). The conclusion thus follows fro Corollary 4.5. As an application of Theore 4.6, we obtain the ain result of [1]. Exaple 4.7 Let C 1,..., C be nonepty closed convex subsets of X. Then the coposition of the corresponding projectors, P C P C 1 P C1 is asyptotically regular. Proof. For every i I, the projector P Ci is firly nonexpansive, hence strongly nonexpansive, and Fix P Ci = C i =. Suppose that ( i I) T i = P Ci, which is thus asyptotically regular by Corollary 4.4. Now apply Theore Convex Cobination In this section, we use our fixed weights(λ i ) (see (12)) to turn X into a Hilbert product space different fro X considered in the previous sections. Specifically, we set (39) Y := X with x, y = λ i x i, y i so that x 2 = λ i x i 2. We also set (40) Q : X X : x ( x), where x := λ i x i. Fact 5.1 (See [2, Proposition 28.13].) In the Hilbert product space Y, we have P = Q. Corollary 5.2 In the Hilbert product space Y, the operator Q is firly nonexpansive and strongly nonexpansive. Furtherore, Fix Q = =, 0 ran(id Q), and Q is asyptotically regular. Proof. By Fact 5.1, the operator Q is equal to the projector P and hence firly nonexpansive. Now apply Fact 4.2(i) to deduce that Q is strongly nonexpansive. It is clear that Fix Q = and that 0 ran(id Q). Finally, recall Corollary 4.4 to see that Q is asyptotically regular. Proposition 5.3 In the Hilbert product space Y, the operator T is firly nonexpansive. 11

12 Proof. Since each T i is firly nonexpansive, we have ( x = (x i ) Y)( y = (y i ) Y) T i x i T i y i 2 x i y i, T i x i T i y i Tx Ty 2 = λ i T i x i T i y i 2 λ i x i y i, T i x i T i y i = x y, Tx Ty. Theore 5.4 Suppose that ( i I) 0 ran(id T i ). Then the following hold in the Hilbert product space Y. (i) 0 ran(id T) (ii) T is asyptotically regular. (iii) Q T is asyptotically regular. Proof. (i): This follows because ( x = (x i ) ) x Tx 2 = λ i x i T i x i 2. (ii): Cobine Fact 4.2(i) with Corollary 4.4. (iii): On the one hand, Q is firly nonexpansive and asyptotically regular by Corollary 5.2. On the other hand, T is firly nonexpansive and asyptotically regular by Proposition 5.3 and (ii). Altogether, the result follows fro Theore 4.6. We are now ready for our second ain result. Theore 5.5 Suppose that each T i is asyptotically regular. Then λ i T i is asyptotically regular as well. Proof. Set S := λ i T i. Fix x 0 X and set ( n N) x n+1 = Sx n. Set x 0 = (x 0 ) X and ( n N) x n+1 = (Q T)x n. Then ( n N) x n = (x n ). Now Q T is asyptotically regular by Theore 5.4(iii); hence, x n x n+1 = (x n x n+1 ) 0. Thus, x n x n+1 0 and therefore S is asyptotically regular. Reark 5.6 Theore 5.5 extends [3, Theore 4.11] fro Euclidean to Hilbert space. One ay also prove Theore 5.5 along the lines of the paper [3]; however, that route takes longer. Reark 5.7 Siilarly to Reark 3.4, one cannot deduce that if each T i has fixed points, then λ i T i has fixed points as well: indeed, consider the setting described in Reark 3.4 for an exaple. We conclude this paper by showing that we truly had to work in Y and not in X; indeed, viewed in X, the operator Q is generally not even nonexpansive. Theore 5.8 Suppose that X = {0}. Then the following are equivalent in the Hilbert product space X. (i) ( i I) λ i = 1/. 12

13 (ii) Q coincides with the projector P. (iii) Q is firly nonexpansive. (iv) Q is nonexpansive. Proof. (i) (ii) : [2, Proposition 25.4(iii)]. (ii) (iii) : Clear. (iii) (iv) : Clear. (iv) (i) : Take e X such that e = 1. Set x := (λ i e) and y := λ 2 i e. Then Qx = (y). We copute Qx 2 = y 2 = ( λ 2 2 i) and x 2 = λ 2 i. Since Q is nonexpansive, we ust have that Qx 2 x 2, which is equivalent to ( (41) and to 2 λi) 2 λ 2 i (42) λ 2 i 1. On the other hand, applying the Cauchy-Schwarz inequality to the vectors (λ i ) and (1) in R yields ( (43) 1 = 1 2 = 2 λ i 1) (λ i ) 2 (1) 2 = λ 2 i. In view of (42), the Cauchy-Schwarz inequality (43) is actually an equality which iplies that (λ i ) is a ultiple of (1). We deduce that ( i I) λ i = 1/. Acknowledgents Part of this research was initiated during a research visit of VMM at the Kelowna capus of UBC in Fall HHB was partially supported by the Natural Sciences and Engineering Research Council of Canada and by the Canada Research Chair Progra. VMM was partially supported by DGES, Grant BFM C02-01 and Junta de Andalucia, Grant FQM-127. SMM was partially supported by the Natural Sciences and Engineering Research Council of Canada. XW was partially supported by the Natural Sciences and Engineering Research Council of Canada. References [1] H.H. Bauschke, The coposition of finitely any projections onto closed convex sets in Hilbert space is asyptotically regular, Proceedings of the Aerican Matheatical Society 131 (2003), [2] H.H. Bauschke and P.L. Cobettes, Convex Analysis and Monotone Operator Theory in Hilbert Spaces, Springer,

14 [3] H.H. Bauschke, S.M. Moffat, and X. Wang, Near equality, near convexity, sus of axially onotone operators, and averages of firly nonexpansive appings, Matheatical Prograing, in press. [4] J.M. Borwein and J.D. Vanderwerff, Convex Functions, Cabridge University Press, [5] H. Brézis, Operateurs Maxiaux Monotones et Sei-Groupes de Contractions dans les Espaces de Hilbert, North-Holland/Elsevier, [6] H. Brézis and A. Haraux, Iage d une soe d opérateurs onotones et applications, Israel Journal of Matheatics 23 (1976), [7] R.E. Bruck and S. Reich, Nonexpansive projections and resolvents of accretive operators in Banach spaces, Houston Journal of Matheatics 3 (1977), [8] R.S. Burachik and A.N. Iuse, Set-Valued Mappings and Enlargeents of Monotone Operators, Springer- Verlag, [9] J. Eckstein and D.P. Bertsekas, On the Douglas-Rachford splitting ethod and the proxial point algorith for axial onotone operators, Matheatical Prograing (Series A) 55 (1992), [10] K. Goebel and W.A. Kirk, Topics in Metric Fixed Point Theory, Cabridge University Press, [11] K. Goebel and S. Reich, Unifor Convexity, Hyperbolic Geoetry, and Nonexpansive Mappings, Marcel Dekker, [12] C.W. Groetsch, Generalized Inverses of Linear Operators, Marcel Dekker, [13] G.J. Minty, Monotone (nonlinear) operators in Hilbert spaces, Duke Matheatical Journal 29 (1962), [14] R.T. Rockafellar, Convex Analysis, Princeton University Press, Princeton, [15] R.T. Rockafellar and R. J-B Wets, Variational Analysis, Springer-Verlag, corrected 3rd printing, [16] S. Sions, Miniax and Monotonicity, Springer-Verlag, [17] S. Sions, Fro Hahn-Banach to Monotonicity, Springer-Verlag, [18] C. Zălinescu, Convex Analysis in General Vector Spaces, World Scientific Publishing, [19] E. Zeidler, Nonlinear Functional Analysis and Its Applications II/A: Linear Monotone Operators, Springer- Verlag, [20] E. Zeidler, Nonlinear Functional Analysis and Its Applications II/B: Nonlinear Monotone Operators, Springer-Verlag, [21] E. Zeidler, Nonlinear Functional Analysis and Its Applications I: Fixed Point Theores, Springer-Verlag,