On the convexity of piecewise-defined functions
|
|
- Amelia Wheeler
- 5 years ago
- Views:
Transcription
1 On the convexity of piecewise-defined functions arxiv: v1 [math.ca] 16 Aug 2014 Heinz H. Bauschke, Yves Lucet, and Hung M. Phan August 16, 2014 Abstract Functions that are piecewise defined are a common sight in mathematics while convexity is a property especially desired in optimization. Suppose now a piecewisedefined function is convex on each of its defining components when can we conclude that the entire function is convex? In this paper we provide several convenient, verifiable conditions guaranteeing convexity (or the lack thereof). Several examples are presented to illustrate our results Mathematics Subject Classification: Primary 26B25; Secondary 52A41, 65D17, 90C25. Keywords: computer-aided convex analysis, convex function, convex interpolation, convex set, piecewise-defined function. 1 Introduction Consider the function x 2 + y max{0, xy} (1) f : R 2, if(x, y) = (0, 0); R : (x, y) x + y 0, otherwise. Clearly, f is a piecewise-defined function with continuous components (2a) f 1 (x, y) := x+y on A 1 := R + R + ; Mathematics, University of British Columbia, Kelowna, B.C. V1V 1V7, Canada. heinz.bauschke@ubc.ca. Computer Science, University of British Columbia, Kelowna, B.C. V1V 1V7, Canada. yves.lucet@ubc.ca Mathematics, University of British Columbia, Kelowna, B.C. V1V 1V7, Canada. hung.phan@ubc.ca. 1
2 (2b) (2c) (2d) f 2 (x, y) := x2 + y 2 x+y on A 2 := R R + ; f 3 (x, y) := x+y on A 3 := R R ; f 4 (x, y) := x2 + y 2 x y on A 4 := R + R. One may check that each f i is a convex function (see Example 6.1 below for details). However, whether or not f itself is convex is not immediately clear. (As it turns out, f is convex.) On the other hand, if (3a) (3b) f 1 (x) = x on A 1 := R ; and f 2 (x) = x on A 2 := R +, then f 1 and f 2 are convex while the induced piecewise-defined function f(x) = x is not convex. These and similar examples motivate the goal of this paper which is to present verifiable conditions guaranteeing the convexity of a piecewise-defined function provided that each component is convex. Special cases of our results have been known in the convex interpolation community (see Remark 5.6). Moreover, our results have applications to computer-aided convex analysis (see Remark 5.8). The remainder of this paper is organized as follows. In Section 2, we collect various auxiliary results concerning convexity and differentiability. We also require properties of collections of sets and of functions which we develop in Section 3 and Section 4, respectively. Our main results guaranteeing convexity are presented in Section 5. Various examples illustrating convexity and the lack thereof are discussed in Section 6 and Section 7, respectively. Notation: Throughout, X is a Euclidean space with inner product, and induced norm. R denotes the set of real numbers, R + := { x R } x 0, and R := R +. For x and y in X, [x, y] := { (1 t)x+ty } 0 t 1 is the line segment connecting x and y. Similarly, we set]x, y[ := { (1 t)x+ty } { } 0 < t < 1,[x, y[ := (1 t)x+ ty 0 t < 1, and ]x, y] := [y, x[. For a subset A of X, conv A, cl A, int A, aff A, and ri A respectively denote the convex hull, the closure, the interior, the affine hull, and the relative interior of A. Furthermore, ι A is the indicator function of A defined by ι A (x) = 0, if x A; and + otherwise. Let f : X ],+ ] = R {+ }. The domain of f is D f := { x X } f(x) < + ; f is said to be proper if D f =. The restriction of f on some subset A of X is denoted by f A. A set-valued mapping F from X to another Euclidean space Y is denoted by F : X Y; and its domain is D F := { x X } F(x) =. For further background and notation, we refer the reader to [1, 9, 10, 11, 14]. 2
3 2 Convexity and differentiability Let f : X ],+ ] be proper. For every x X, the subdifferential (in the sense of convex analysis) of f at x, denoted by f(x), is the set of all vectors x X such that (4) ( y X) x, y x f(y) f(x). The induced operator f : X X has domain D f = { x X f(x) = } D f. Let us now present some auxiliary results concerning the convexity of a function. Lemma 2.1 Let f : X ],+ ] and let z 1 and z 2 be in D f. Set x := (1 t)z 1 + tz 2, where t [0, 1], and assume that x D f. Then f(x) (1 t) f(z 1 )+t f(z 2 ). Proof. Let x f(x). Then x, z 1 x f(z 1 ) f(x) and x, z 2 x f(z 2 ) f(x). Hence (5a) (5b) (1 t) x, z 1 x (1 t)( f(z 1 ) f(x)); t x, z 2 x t( f(z 2 ) f(x)). Adding up the last two inequalities, we obtain 0 (1 t) f(z 1 )+t f(z 2 ) f(x). Fact 2.2 (See [10, Theorem ].) Let A be a nonempty convex subset of X. following hold: Then the (i) ( x cl A)( y ri A) ]x, y] ri A. (ii) ri A is nonempty and convex. (iii) cl(ri A) = cl A. Fact 2.3 (See [10, Theorem 23.4].) Let f : X ],+ ] be convex and proper. Then ri D f D f. Fact 2.4 (See [14, Theorem 2.4.1(iii)]) Let f : X ],+ ] be proper. Assume that D f = D f is convex. Then f is convex. Proof. Take z 1 and z 2 in D f and let t [0, 1]. Set x := (1 t)z 1 + tz 2. Since f(x) =, Lemma 2.1 implies that f(x) (1 t) f(z 1 )+t f(z 2 ). Therefore, f is convex. In the presence of continuity, Fact 2.4 admits the following extension. Lemma 2.5 Let f : X ],+ ] be proper. Assume that D f is convex, that f D f is continuous, and that ri D f D f. Then f is convex. 3
4 Proof. Fact 2.2 implies that ri D f is convex and cl(ri D f ) = cl D f. Then the function f + ι ri D f is convex by Fact 2.4. Since f D f is continuous and ri D f is dense in D f, we conclude that f D f is convex. Given a nonempty subset A of X, we define the dimension of A to be the dimension of the linear subspace parallel to the affine hull of A, i.e., dim A := dim(aff A aff A). We then have the following result. Lemma 2.6 Let f : X ],+ ] be proper. Assume that f D is continuous, that D f is f convex and at least 2-dimensional, and that there exists a finite subset E of X such that f [x,y] is convex for every segment[x, y] contained in(ri D f ) E. Then f is convex. Proof. Take two distinct points x and y in D f, let t [0, 1], and set z := (1 t)x+ty. Then z D f because D f is convex. It remains to show that (6) f(z) (1 t) f(x)+ t f(y). First, since D f is convex and dim(d f ) 2, there exists w (ri D f ) aff{x, y}. For each ε ]0, 1[, set (7) x ε := (1 ε)x+εw, y ε := (1 ε)y+ εw, and z ε := (1 t)x ε + ty ε. Using Fact 2.2(i) and the finiteness of E, we have (8) z ε [x ε, y ε ] (ri D f ) E, for every ε > 0 sufficiently small. Because f is convex on [x ε, y ε ], this implies (9) f(z ε ) (1 t) f(x ε )+t f(y ε ). Letting ε 0 +, we obtain (6) by using the continuity of f D f. Remark 2.7 (the assumption on the dimension is important) Lemma 2.6 fails on R in the following sense. Consider f : R R : x x and set E := {0}. Then all assumptions of Lemma 2.6 hold except that D f = R is only 1-dimensional. Clearly, the conclusion of Lemma 2.6 is not true because f is not convex. We now turn our attention to differentiability properties. Recall that f : X ],+ ] is differentiable at x int D f if there exists f(x) X such that ( y X) f(y) f(x) f(x), y x = o( y x ); f is differentiable on subset A of int D f if f is differentiable at every x A. We will require the following results. Fact 2.8 (See [10, Theorem 25.1].) Let f : X ],+ ] be convex and proper, and assume that x int D f. Then f is differentiable at x if and only if f(x) is a singleton. 4
5 Fact 2.9 (See [10, Theorem 25.5].) Let f : X ],+ ] be convex and proper, and let Ω be the set of points where f is differentiable. Then Ω is a dense subset of int D f, and its complement in int D f is a set of measure zero. Moreover, f : Ω X is continuous. Fact 2.10 (See [10, Theorem 25.6].) Let f : X ],+ ] be convex and proper such that D f is closed with nonempty interior. Then (10) ( x D f ) f(x) = cl(conv S(x))+N D f (x), where N D f (x) := { x X ( y D f ) x, y x 0 } is the normal cone to D f at x and S(x) is the set of all limits of sequences( f(x n )) n N such that f is differentiable at every x n and x n x. 3 Compatible systems of sets In this section, we always assume that (11a) (11b) (11c) I is a nonempty finite set; A := {A i } i I is a system of convex subsets of X; A := i I A i. Definition 3.1 (compatible systems of sets) Assume (11). We say that A is a compatible system of sets if i I (12) j I cl A i cl A j ri A = A i A j ri A; i = j otherwise, we say thatais incompatible. Example 3.2 Every system of finitely many closed convex subsets of X is compatible. Example 3.3 (incompatible systems) Suppose that X = R 2, that I = {1, 2}, that A 1 = ]0, 1] [0, 1], and that A 2 = [ 1, 0] [0, 1]. Then A = A 1 A 2 = [ 1, 1] [0, 1] and ri A = ] 1, 1[ ]0, 1[. Thus, A = {A 1, A 2 } is incompatible because (13) cl A 1 cl A 2 ri A = {0} ]0, 1[ = = A 1 A 2 ri A. Definition 3.4 (colinearly ordered tuple) The tuple of vectors(x 0,..., x n ) X n is said to be colinearly ordered if the following hold: (i) [x 0, x n ] = [x 0, x 1 ] [x n 1, x n ]; (ii) 0 x 0 x 1 x 0 x 2 x 0 x n. 5
6 Proposition 3.5 Assume (11) and that A is a compatible system of sets (recall Definition 3.1). Then for every segment[x, y] contained in ri A, there exists a colinearly ordered tuple(x 0,..., x n ) and {A i1,..., A in } A such that ( ) (14) x 0 = x; x n = y; and k {1,..., n} [x k 1, x k ] A ik. Proof. Let [x, y] ri A, with x A i1 for some i 1 I. Set x 0 := x. For every t [0, 1], define (15) x(t) := (1 t)x+ty. Furthermore, set (16) t 1 := sup { t [0, 1] x(t) Ai1 } and x1 := x(t 1 ). Then [x 0, x 1 [ A i1 and x 1 cl A i1. Note also that x 1 ri A. Case 1: t 1 = 1. Then x 1 = y cl A i1. Suppose that y A i1. Then, y A i2 for some i 2 I. It follows that y cl A i1 cl A i2 ri A = A i1 A i2 ri A, which is a contradiction. Therefore, y A i1 and we are done because [x, y] A i1. Case 2: t 1 < 1. Then there exist ε ]0, 1 t 1 ] and A i2 A {A i1 } such that (17) ]x 1, x 2 ] A i2 where x 2 := x(t 1 + ε). Hence x 1 cl A i2. We then have (18) x 1 cl A i1 cl A i2 ri A = A i1 A i2 ri A. So we have split [x, y] into two line segments (19) [x 0, x 1 ] A i1 ri A and [x 1, y] ( i I {i 1 } A i ) ri A. Next, we repeat the above process for the segment[x 1, y]. SinceAis finite, we eventually obtain (14). Remark 3.6 (closedness is not necessary for compatibility) We note that there are compatible systems of sets that are not closed. For example, suppose that X = R 2, that I = {1, 2}, that A 1 = [0, 1[ [0, 1], and that A 2 = ] 1, 0] [0, 1]. Then neither A 1 nor A 2 is closed. However, since (20) cl A 1 cl A 2 = A 1 A 2 = {0} [0, 1], we deduce that A = {A 1, A 2 } is compatible. Definition 3.7 (active index set) Assume (11). For every x X, we define the active index set associated with A by (21) I A (x) := { i I x Ai }, and we will write I(x) if there is no cause for confusion. 6
7 Proposition 3.8 Assume (11) and that A is a compatible system of sets (see Definition 3.1). Suppose that x int A and that I A (x) = {i}. Then x int A i. Proof. Because int A =, we have ri A = int A. Suppose to the contrary that x int A i. Then there exist j I {i} and a sequence(x n ) n N in A j such that that x n x. It follows that (22) x cl A i cl A j ri A = A i A j ri A, which is absurd because I(x) = {i} by assumption. 4 Compatible systems of functions In this section, we always assume that (23a) (23b) (23c) (23d) I is a nonempty finite set; F := { f i } i I is a system of proper convex functions from X to ],+ ]; f := min i I f i is the piecewise-defined function associated with F; I F : X I : x { i I } x D fi is the active index set function. We will write I(x) instead of I F (x) if there is no cause for confusion. Note that D f = i I D fi. Definition 4.1 (compatible systems of functions) Assume (23). We say that F is a compatible system of functions if( i I) f i D fi is continuous and (24) i I j I f i D f D fi D j. fj fi D fj i = j We start with a useful lemma. Lemma 4.2 Assume (23) and that F is compatible system of functions (recall Definition 4.1). Then (25) ( x X) f(x) i I F (x) f i (x). Proof. Suppose that x f(x) and that i I F (x). Then f i (x) = f(x) and ( y X) f i (y) f i (x) f(y) f(x) x, y x. Therefore, x f i (x). 7
8 Lemma 4.3 Let (a, b, c) X 3 be colinearly ordered (recall Definition 3.4). Assume (23) with I = {1, 2}, thatf is compatible system of functions (recall Definition 4.1), that D f1 = [a, b], that D f2 = [b, c], and that (26) f 1 (b) f 2 (b) =. Then f is convex and (27) ( x D f ) f(x) = i I F (x) f 1 (x), if x [a, b[ ; f i (x) = f 1 (b) f 2 (b), if x = b; f 2 (x), if x ]b, c]. Proof. We assume that a, b, c are pairwise distinct since the other cases are trivial. First, we show that ( ) (28) x [a, b[ f 1 (x) f(x), Suppose that x [a, b[ and that x f 1 (x). To establish (28), it suffices to show that ( ) (29) y [a, c] x, y x f(y) f(x). Indeed, (29) is true for y [a, b] by definition of f 1 (x) and f. Now suppose that y ]b, c]. By (26), there exists b f 1 (b) f 2 (b). Then (30a) (30b) (30c) (30d) (30e) (30f) (30g) x, y x = x, b x + x, y b f 1 (b) f 1 (x)+ y b b x x, b x f 1 (b) f 1 (x)+ y b b x b, b x f 1 (b) f 1 (x)+ b, y b f 1 (b) f 1 (x)+ f 2 (y) f 2 (b) = f 2 (y) f 1 (x) = f(y) f(x). Hence (29) holds, as does (28). Switching the roles of f 1 and f 2, we obtain analogously (31) ( x [c, b[) f 2 (x) f(x). Next, it is straightforward to check that (32) f 1 (b) f 2 (b) f(b). Since the reverse inclusions of (28), (31), and (32) follow from Lemma 4.2, we conclude that (27) holds. Using (26), (27) and Fact 2.3, we conclude that f(x) = for all x ]a, c[ = ri D f. Finally, it follows from Lemma 2.5 that f is convex. 8
9 Theorem 4.4 Let(x 0,..., x n ) X n+1 be colinearly ordered (recall Definition 3.4). Assume (23) with I = {1,..., n} and that F is a compatible system of functions (recall Definition 4.1) such that the following hold: (i) ( i {1,..., n}) D fi = [x i 1, x i ]. (ii) ( i {1,..., n 1}) f i (x i ) f i+1 (x i ) =. Then f is convex and (33) ( x D f ) f(x) = f i (x); i I F (x) Proof. If n = 1, then the result is trivial. For n 2, the result follows by inductively applying Lemma Main results We are now ready for our main results. Theorem 5.1 (main result I) Assume (23), that F is a compatible system of functions (recall Definition 4.1), and that the following hold: (a) D f = i I D fi is convex and at least 2-dimensional. (b) {D fi } i I is a compatible system of sets (recall Definition 3.1). (c) There exists a finite subset E of X such that } x (ri D (34) f ) E card I(x) 2 i I(x) f i (x) =. Then f is convex and (35) ( x ri D f ) = f(x) i I(x) f i (x). Proof. Let [x, y] (ri D f ) E. By the compatibility in (b) and Proposition 3.5, there exist a colinearly ordered tuple (x 0,..., x n ) X n+1 and functions f i1,..., f in in F such that (36) x 0 = x; x n = y; and ( k {1,..., n} ) [x k 1, x k ] D fik ri D f. 9
10 Define (37) ( k {1,..., n} ) g k := f ik + ι [xk 1,x k ] = f + ι [xk 1,x k ]. Using (34), we see that, for every k {1,..., n 1}, (38) g k (x k ) g k+1 (x k ) f ik (x k ) f ik+1 (x k ) i I(x k ) f i (x k ) =. By applying Theorem 4.4 to the system {g k } k {1,...,n}, we see that g = min k {1,...,n} g k = f + ι [x,y] is convex and hence so is f [x,y]. In view of Lemma 2.6, we obtain the convexity of f. Finally, for all x ri D f, we have f(x) = by Fact 2.3. Therefore, (35) follows from Lemma 4.2. Remark 5.2 We note an interesting feature in Theorem 5.1. In assumption (c), we require the non-emptiness of the subdifferential intersection (34) at all relative interior points except for finitely many points. Since our conclusion says that f is convex, the subdifferential intersection is nonempty at every point in ri D f (see Fact 2.3). That means, in order to check the convexity of f, we are allowed to ignore verifying (34) at finitely many points in ri D f. This turn out to be very convenient since checking (34) at certain points may not be obvious (see, for example, Example 6.1). Remark 5.3 (compatibility on the system of domains is essential) Theorem 5.1 fails if the domain compatibility assumption (b) is omitted: Indeed, Suppose that X = R 2, that I = {1, 2}, and that (39) f 1 = ι [0,1] [0,1] and f 2 = ι [ 1,0[ [0,1] + 1. Then F is a compatible system of functions. Even though D f = [ 1, 1] [0, 1] is convex, {D fi ri D f } i I is not a compatible system of sets. So, Theorem 5.1(b) is violated. Clearly, we can check that f is not convex. Theorem 5.4 (main result II) Assume (23), that F is a compatible system of functions (recall Definition 4.1), that each f i is differentiable on int D fi =, and that the following hold: (a) D f = i I D fi is convex and at least 2-dimensional. (b) {D fi } i I is a compatible system of sets (recall Definition 3.1). (c) There exists a finite subset E of X such that (40) } x (int D f ) E {i, j} I(x) lim z x f i (z) = lim z x z int D fi z int D fj f j (z) exists. Then f is convex; moreover, it is continuously differentiable on(int D f ) E. 10
11 Proof. We will prove the convexity of f by using Theorem 5.1. Note that it suffices to verify assumption (c) of Theorem 5.1. To this end, let x int(d f ) E such that card I(x) 2 and denote by u x the limit in (40). Fact 2.10 and Lemma 4.2 imply (41) u x i I(x) f i (x). So assumption (c) in Theorem 5.1 holds. Thus, we conclude that f is convex. Turning towards the differentiability statement, let Ω be the set of points at which f is differentiable. Then i I int D fi Ω int D f. Now let x (int D f ) E. We consider two cases. Case 1: card I(x) = 1. Then Proposition 3.8 implies that x int D fi for some i I, which implies that x Ω. Case 2: card I(x) 2. Since x int D f, we obtain N D f (x) = {0}. Hence, by Fact 2.10, we have (42) f(x) = cl conv { lim f(z n ) Ω zn x } n N Let (z n ) n N be a sequence in Ω such that z n x, and let (ε n ) n N be in R ++ such that ε n 0 +. By Fact 2.9, f Ω is the continuous and because i I int D fi is dense in D f, there exists a sequence(y n ) n N in i I int D fi such that (43) ( n N) y n z n ε n and f(y n ) f(z n ) ε n. Combining with (40), we deduce that (44) y n x and lim n N f(z n ) = lim n N f(y n ) = u x. So, (42) becomes f(x) = {u x}. Thus, f is differentiable at x by Fact 2.8. Corollary 5.5 Assume (23), that F is a compatible system of functions (recall Definition 4.1), and that the following hold: (a) D f = i I D fi is convex and at least 2-dimensional. (b) {D fi } i I is a compatible system of sets (recall Definition 3.1). (c) f is continuously differentiable on int D f. Then f is convex. Proof. This follows from Theorem 5.4 with E =. 11
12 Remark 5.6 (convex interpolation) When X = R 2, then Corollary 5.5 is known and of importance in the convex interpolation of data; see, e.g., [5, Theorem 1], [6, Proposition 2.2], [12, Theorem 3.1], [2, Proposition 5.1] and the related [13, Theorem 3.6] for further details. Corollary 5.7 Assume (23), that F is a compatible system of functions (recall Definition 4.1), that each D fi is closed, and that ( i I)( x D fi ) f i (x) = 1 2 x, A ix + b i, x +γ i, where A i : X X is linear with A i = Ai 0, b i X, and γ i R. Furthermore, assume that D f = i I D fi is convex and at least 2-dimensional, and that {i, j} I (45) i = j x D fi D A ix+b i = A j x+b j. fj Then f is convex; moreover, it is continuously differentiable on int D f. Proof. This follows from Example 3.2 and Theorem 5.4 with E = since f i (x) = A i x+b i when x int D fi. Remark 5.8 (piecewise linear-quadratic function) Consider Corollary 5.7 with the additional assumption that each D fi is a polyhedral set. Then Corollary 5.7 provides a sufficient condition for checking the convexity of f which in this case is a piecewise linearquadratic function. These functions play a role in computer-aided convex analysis (see [7] and also [11, Section 10.E] for further information on functions of this type). Moreover, we thus partially answer an open question from [8, Section ]. Our results also enhance our understanding of how nonconvexity occurs and form another step towards building a nonconvex toolbox that extends current bivariate computational convex analysis algorithms [3, 4]. 6 Checking convexity We start with an application of Theorem 5.4. Example 6.1 The function x 2 + y max{0, xy} (46) f : R 2, if (x, y) = (0, 0); R : (x, y) x + y 0, if (x, y) = (0, 0) is convex, and differentiable on R 2 {(0, 0)}. Proof. First, set I := {1,..., 4} and { x+y, if (x, y) A f 1 (x, y) := 1 := R 2 + (47a), +, otherwise; 12
13 (47b) (47c) (47d) { x 2 +y 2 f 2 (x, y) := x+y, if (x, y) A 2 := R R +, +, otherwise; { x y, if (x, y) A3 := R 2 f 3 (x, y) :=, +, otherwise; f 4 (x, y) := { x 2 +y 2 x y, if (x, y) A 4 := R + R, +, otherwise. Then { f i } i I is a compatible system of functions (recall Definition 4.1) with f being the corresponding piecewise-defined function. Moreover, {D fi } i I = {A i } i I is a compatible system of sets. Each f i is differentiable on int A i with the gradient given by (48a) (48b) (48c) (48d) f 1 (x, y) = (1, 1) for (x, y) int A 1 ; ( ) x f 2 (x, y) = 2 +2xy+y 2, x2 2xy+y 2 for (x, y) int A (x y) 2 (x y) 2 2 ; f 3 (x, y) = ( 1, 1) for (x, y) int A 3 ; ( ) x f 4 (x, y) = 2 2xy y 2, x2 +2xy y 2 for (x, y) int A (x y) 2 (x y) 2 4. One readily checks that the Hessian of each f i is positive semi-definite on int A i ; hence, by the continuity of f i D fi, we have that f i is convex. Moreover, (49a) (49b) (49c) (49d) ( a > 0) ( a < 0) ( b > 0) ( b < 0) lim f 1 (x, y) = lim f 4 (x, y) = (1, 1); (x,y) (a,0) (x,y) (a,0) (x,y) int A 1 (x,y) int A 4 lim f 2 (x, y) = lim f 3 (x, y) = ( 1, 1); (x,y) (a,0) (x,y) (a,0) (x,y) int A 2 (x,y) int A 3 lim f 1 (x, y) = lim f 2 (x, y) = (1, 1); (x,y) (0,b) (x,y) (0,b) (x,y) int A 1 (x,y) int A 2 lim f 3 (x, y) = lim f 4 (x, y) = ( 1, 1). (x,y) (0,b) (x,y) (0,b) (x,y) int A 3 (x,y) int A 4 Now set E := {(0, 0)}. From the above computations, we observe that all assumptions of Theorem 5.4 are satisfied. Thus, we conclude that f is a convex function that is also continuously differentiable away from the origin. In fact, the function defined by (46) is actually a norm since it is clearly positively homogeneous. An analogous use of Theorem 5.4 allows for a systematic proof of the convexity of the function considered next. Example 6.2 The function (50) f : R 2 R : (x, y) { x6 + y 4, if xy 0; 13 x 3 + y 2, otherwise,
14 is a convex and continuously differentiable. We conclude this section with an application of Theorem 5.1. Example 6.3 The function (51) f : R 2 R : (x, y) f(x, y) := is convex. { x4 + y 2, if xy 0; x 2 + y, otherwise, Proof. First, set I := {1,..., 4} and { x f 1 (x) := 1 4+ x2 2, if x A 1 := R 2 (52a) +, +, otherwise; { x 2 f 2 (x) := 1 + x 2, if x A 2 := R R +, (52b) +, otherwise; { x f 3 (x) := 1 4+ x2 2, if x A 3 := R 2 (52c), +, otherwise; { x 2 f 4 (x) := 1 x 2, if x A 4 := R + R, (52d) +, otherwise. Then { f i } i I is a compatible system of functions (recall Definition 4.1) with f being the corresponding piecewise function. Moreover, {D fi } i I = {A i } i I is a compatible system of sets. Each f i is differentiable on int A i with the gradient given by ( 2x 3 ) f 1 (x) = 1 x (53a), 2 for x int A x 4 1 +x2 2 x 4 1 +x2 2 1 ; (53b) (53c) (53d) f 2 (x) = (2x 1, 1) for x int A 2 ; ( 2x 3 ) f 3 (x) = 1, x 2 for x int A x 4 1 +x2 2 x 4 1 +x2 2 3 ; f 4 (x) = (2x 1, 1) for x int A 4. Next, since the Hessian of f i is positive semidefinite on int A i, we deduce that each f i is convex. Now set E := {(0, 0)}. We will verify (34). Note that simple computations show the following: For x = (0, x 2 ) (A 1 A 2 ) E, (54) lim z x f 1 (z) = lim z x f 2 (z) = (0, 1) f 1 (x) f 2 (x). z int A 1 z int A 2 14
15 For x = (0, x 2 ) (A 3 A 4 ) E, (55) lim z x f 3 (z) = lim z x f 4 (z) = (0, 1) f 3 (x) f 4 (x). z int A 3 z int A 4 For x = (x 1, 0) (A 2 A 3 ) E, (56a) (56b) lim z x f 2 (z) = (2x 1, 1) and N A2 (x) = {0} R ; z int A 2 lim z x f 3 (z) = (2x 1, 0) and N A3 (x) = {0} R +. z int A 3 Then, using Fact 2.10, we conclude that f 2 (x) f 3 (x) =. For x = (x 1, 0) (A 1 A 4 ) E, (57a) (57b) lim z x f 1 (z) = (2x 1, 0) and N A1 (x) = {0} R ; z int A 1 lim z x f 4 (z) = (2x 1, 1) and N A4 (x) = {0} R +. z int A 4 Then, using Fact 2.10, we conclude that f 1 (x) f 4 (x) =. So, we have verified that assumption (c) in Theorem 5.1 holds. Therefore, f is convex by Theorem Detecting the lack of convexity The nonempty subdifferential intersection condition (34) is indeed crucial for the check of convexity: we will see in the following result that the violation of (34) leads to nonconvexity. Theorem 7.1 (detecting lack of convexity) Assume (23), that F is a compatible system of functions (recall Definition 4.1), and that (58) ( x ri D f ) Then f is not convex. i I(x) f i (x) =. Proof. Using Lemma 4.2, we have f(x) i I(x) f i (x) =. Therefore, by Fact 2.3, f is not convex. Using Theorem 7.1, we will now illustrate that the finiteness assumption on E is important for our main results (Theorem 5.1 and Theorem 5.4). 15
16 Example 7.2 Suppose that X = R 2, set { max{ x, y}, if (x, y) A f 1 (x, y) := 1 := R + R; (59a) +, otherwise, { max{x, y}, if (x, y) A 2 := R R; (59b) f 2 (x, y) := +, otherwise, F := { f 1, f 2 }, f := min{ f 1, f 2 }, i.e., (60) f : R 2 R : (x, y) max { x, y }, and E := {0} R. Then one checks the following: (i) F is a compatible system of functions. (ii) {A 1, A 2 } is a compatible system of sets. (iii) For every(x, y) R 2 E with I F (x, y) = {1, 2}, we must have (x, y) {0} R ++, i.e., x = 0 and y > 0. Then f(x, y) = y locally around (0, y) and thus (61) f 1 (0, y) f 2 (0, y) f(0, y) = {(0, 1)}. So, all assumptions in Theorems 5.1 and 5.4 are satisfied except that E is infinite. However, for (0, y) E {(0, 0)}, we have y < 0; thus, f 1 (x, y) = x+ι A1 (x, y) locally around (0, y). It follows that (62) f 1 (0, y) = ( 1, 0)+N A1 (0, y) = ], 1] {0} and similarly that (63) f 2 (0, y) = (1, 0)+ N A2 (x, y) = [1,+ [ {0}. Hence f 1 (0, y) f 2 (0, y) = and so f is not convex by applying Theorem 7.1 or by direct inspection. In the previous example, the set E was infinite, but unbounded. In the next (slightly more involved) example, we provide a case where E is bounded. Example 7.3 Suppose that X = R 2, set I := {1,..., 6}, (64a) (64b) (64c) (64d) A 1 := { (x, y) R 2 x + y 1, x 0, y 0 }, A 2 := { (x, y) R 2 x + y 1, x 0, y 0 }, A 3 := { (x, y) R 2 x + y 1, x 0, y 0 }, A 4 := { (x, y) R 2 x + y 1, x 0, y 0 }, 16
17 (64e) (64f) A 5 := { (x, y) R 2 x + y 1, x 0 }, A 6 := { (x, y) R 2 x + y 1, x 0 }, (65) f : R 2 R : (x, y) max { 1 x, y }, (66) F := { f i } i I, where ( i I) f i := f + ι Ai, and E := ( {0} [ 1, 1] ) {(±1, 0)}. Then one checks the following: (i) Each f i is convex and continuous on D fi because (67a) (67b) (67c) (67d) f i (x, y) = y+ι Ai (x, y) for i {1, 2}; f i (x, y) = y+ι Ai (x, y) for i {3, 4}; f 5 (x, y) = x+1+ι A5 (x, y); and f 6 (x, y) = x+ 1+ι A6 (x, y). Consequently, F is a compatible system of functions. (ii) {A i } i I is a compatible system of sets. (iii) f is the piecewise-defined function associated with F. (iv) Take (x, y) R 2 E with card I F (x, y) 2. Then (68) I F (x, y) { {1, 2},{1, 4},{1, 5},{2, 3},{2, 6},{3, 4},{3, 6},{4, 5} }. Suppose, for instance, that I F (x, y) = {1, 5}. Then x > 0, y > 0, and x+y = 1. We have (69) f 1 (x, y) = (0, 1)+ N A1 (x, y) = (0, 1)+R + ( 1, 1) and (70) f 5 (x, y) = (0, 1)+ N A5 (x, y) = ( 1, 0)+R + (1, 1). Then (71) ( 1 2, 1 2 ) f 1(x, y) f 5 (x, y); similarly, one obtains nonemptiness for the other cases. We observe that all assumptions in Theorem 5.1 and Theorem 5.4 are satisfied except that E is infinite and bounded. However, for every (0, y) {0} ] 1, 1[ E, we have f(x, y) = min{ f 5 (x, y), f 6 (x, y)} = x +1 locally around(0, y). Clearly, f is not convex. 17
18 Acknowledgments HHB was partially supported by the Natural Sciences and Engineering Research Council (NSERC) of Canada and by the Canada Research Chair Program. YL was partially supported by the Natural Sciences and Engineering Research Council of Canada through a Discovery grant. HMP was partially supported by an NSERC accelerator grant of HHB. References [1] H.H. Bauschke and P.L. Combettes, Convex Analysis and Monotone Operator Theory in Hilbert Spaces, Springer, [2] W. Dahmen, Convexity and Bernstein-Bézier polynomials, in Curves and surfaces (Chamonix-Mont-Blanc, 1990), pages , Academic Press, [3] B. Gardiner, K. Jakee, and Y. Lucet, Computing the partial conjugate of convex piecewise linear-quadratic bivariate functions, Computational Optimization and Applications 58 (2014), [4] B. Gardiner and Y. Lucet, Computing the conjugate of convex piecewise linearquadratic bivariate functions, Mathematical Programming (Series B) 139 (2013), [5] T.A. Grandine, On convexity of piecewise polynomial functions on triangulations, Computer Aided Geometric Design 6 (1989), [6] A. Li, Convexity preserving interpolation, Computer Aided Geometric Design 16 (1999), [7] Y. Lucet, What shape is your conjugate? A survey of computational convex analysis and its applications, SIAM Review 52 (2010), [8] Y. Lucet, Techniques and open questions in computational convex analysis, in Computational and Analytical Mathematics, pages , Springer, [9] B.S. Mordukhovich and N.M. Nam, An easy path to convex analysis and applications, Morgan & Claypool, [10] R.T. Rockafellar, Convex Analysis, Princeton University Press, [11] R.T. Rockafellar and R.J-B. Wets, Variational Analysis, Springer, [12] L.L. Schumaker and H. Speleers, Convexity preserving splines over triangulations, Computer Aided Geometric Design 28 (2011), [13] L.L. Schumaker and H. Speleers, Convexity preserving C 0 splines, Advances in Computational Mathematics 40 (2014), [14] C. Zălinescu, Convex Analysis in General Vector Spaces, World Scientific,
On a result of Pazy concerning the asymptotic behaviour of nonexpansive mappings
On a result of Pazy concerning the asymptotic behaviour of nonexpansive mappings arxiv:1505.04129v1 [math.oc] 15 May 2015 Heinz H. Bauschke, Graeme R. Douglas, and Walaa M. Moursi May 15, 2015 Abstract
More informationMonotone operators and bigger conjugate functions
Monotone operators and bigger conjugate functions Heinz H. Bauschke, Jonathan M. Borwein, Xianfu Wang, and Liangjin Yao August 12, 2011 Abstract We study a question posed by Stephen Simons in his 2008
More informationOn the order of the operators in the Douglas Rachford algorithm
On the order of the operators in the Douglas Rachford algorithm Heinz H. Bauschke and Walaa M. Moursi June 11, 2015 Abstract The Douglas Rachford algorithm is a popular method for finding zeros of sums
More informationOptimization and Optimal Control in Banach Spaces
Optimization and Optimal Control in Banach Spaces Bernhard Schmitzer October 19, 2017 1 Convex non-smooth optimization with proximal operators Remark 1.1 (Motivation). Convex optimization: easier to solve,
More informationOn Slater s condition and finite convergence of the Douglas Rachford algorithm for solving convex feasibility problems in Euclidean spaces
On Slater s condition and finite convergence of the Douglas Rachford algorithm for solving convex feasibility problems in Euclidean spaces Heinz H. Bauschke, Minh N. Dao, Dominikus Noll and Hung M. Phan
More informationOn a result of Pazy concerning the asymptotic behaviour of nonexpansive mappings
On a result of Pazy concerning the asymptotic behaviour of nonexpansive mappings Heinz H. Bauschke, Graeme R. Douglas, and Walaa M. Moursi September 8, 2015 (final version) Abstract In 1971, Pazy presented
More informationOptimality Conditions for Nonsmooth Convex Optimization
Optimality Conditions for Nonsmooth Convex Optimization Sangkyun Lee Oct 22, 2014 Let us consider a convex function f : R n R, where R is the extended real field, R := R {, + }, which is proper (f never
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationGEOMETRIC APPROACH TO CONVEX SUBDIFFERENTIAL CALCULUS October 10, Dedicated to Franco Giannessi and Diethard Pallaschke with great respect
GEOMETRIC APPROACH TO CONVEX SUBDIFFERENTIAL CALCULUS October 10, 2018 BORIS S. MORDUKHOVICH 1 and NGUYEN MAU NAM 2 Dedicated to Franco Giannessi and Diethard Pallaschke with great respect Abstract. In
More informationarxiv: v1 [math.oc] 15 Apr 2016
On the finite convergence of the Douglas Rachford algorithm for solving (not necessarily convex) feasibility problems in Euclidean spaces arxiv:1604.04657v1 [math.oc] 15 Apr 2016 Heinz H. Bauschke and
More informationWeek 3: Faces of convex sets
Week 3: Faces of convex sets Conic Optimisation MATH515 Semester 018 Vera Roshchina School of Mathematics and Statistics, UNSW August 9, 018 Contents 1. Faces of convex sets 1. Minkowski theorem 3 3. Minimal
More informationMathematics for Economists
Mathematics for Economists Victor Filipe Sao Paulo School of Economics FGV Metric Spaces: Basic Definitions Victor Filipe (EESP/FGV) Mathematics for Economists Jan.-Feb. 2017 1 / 34 Definitions and Examples
More informationHeinz H. Bauschke and Walaa M. Moursi. December 1, Abstract
The magnitude of the minimal displacement vector for compositions and convex combinations of firmly nonexpansive mappings arxiv:1712.00487v1 [math.oc] 1 Dec 2017 Heinz H. Bauschke and Walaa M. Moursi December
More informationSelf-dual Smooth Approximations of Convex Functions via the Proximal Average
Chapter Self-dual Smooth Approximations of Convex Functions via the Proximal Average Heinz H. Bauschke, Sarah M. Moffat, and Xianfu Wang Abstract The proximal average of two convex functions has proven
More informationSOME STABILITY RESULTS FOR THE SEMI-AFFINE VARIATIONAL INEQUALITY PROBLEM. 1. Introduction
ACTA MATHEMATICA VIETNAMICA 271 Volume 29, Number 3, 2004, pp. 271-280 SOME STABILITY RESULTS FOR THE SEMI-AFFINE VARIATIONAL INEQUALITY PROBLEM NGUYEN NANG TAM Abstract. This paper establishes two theorems
More informationON GENERALIZED-CONVEX CONSTRAINED MULTI-OBJECTIVE OPTIMIZATION
ON GENERALIZED-CONVEX CONSTRAINED MULTI-OBJECTIVE OPTIMIZATION CHRISTIAN GÜNTHER AND CHRISTIANE TAMMER Abstract. In this paper, we consider multi-objective optimization problems involving not necessarily
More informationMath 341: Convex Geometry. Xi Chen
Math 341: Convex Geometry Xi Chen 479 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca CHAPTER 1 Basics 1. Euclidean Geometry
More informationNearly convex sets: fine properties and domains or ranges of subdifferentials of convex functions
Nearly convex sets: fine properties and domains or ranges of subdifferentials of convex functions arxiv:1507.07145v1 [math.oc] 25 Jul 2015 Sarah M. Moffat, Walaa M. Moursi, and Xianfu Wang Dedicated to
More informationChapter 2 Convex Analysis
Chapter 2 Convex Analysis The theory of nonsmooth analysis is based on convex analysis. Thus, we start this chapter by giving basic concepts and results of convexity (for further readings see also [202,
More informationHelly's Theorem and its Equivalences via Convex Analysis
Portland State University PDXScholar University Honors Theses University Honors College 2014 Helly's Theorem and its Equivalences via Convex Analysis Adam Robinson Portland State University Let us know
More informationRelationships between upper exhausters and the basic subdifferential in variational analysis
J. Math. Anal. Appl. 334 (2007) 261 272 www.elsevier.com/locate/jmaa Relationships between upper exhausters and the basic subdifferential in variational analysis Vera Roshchina City University of Hong
More informationTHE UNIQUE MINIMAL DUAL REPRESENTATION OF A CONVEX FUNCTION
THE UNIQUE MINIMAL DUAL REPRESENTATION OF A CONVEX FUNCTION HALUK ERGIN AND TODD SARVER Abstract. Suppose (i) X is a separable Banach space, (ii) C is a convex subset of X that is a Baire space (when endowed
More informationSubdifferential representation of convex functions: refinements and applications
Subdifferential representation of convex functions: refinements and applications Joël Benoist & Aris Daniilidis Abstract Every lower semicontinuous convex function can be represented through its subdifferential
More informationarxiv: v1 [math.fa] 25 May 2009
The Brézis-Browder Theorem revisited and properties of Fitzpatrick functions of order n arxiv:0905.4056v1 [math.fa] 25 May 2009 Liangjin Yao May 22, 2009 Abstract In this note, we study maximal monotonicity
More informationA Dykstra-like algorithm for two monotone operators
A Dykstra-like algorithm for two monotone operators Heinz H. Bauschke and Patrick L. Combettes Abstract Dykstra s algorithm employs the projectors onto two closed convex sets in a Hilbert space to construct
More informationChapter 2: Preliminaries and elements of convex analysis
Chapter 2: Preliminaries and elements of convex analysis Edoardo Amaldi DEIB Politecnico di Milano edoardo.amaldi@polimi.it Website: http://home.deib.polimi.it/amaldi/opt-14-15.shtml Academic year 2014-15
More informationNear Equality, Near Convexity, Sums of Maximally Monotone Operators, and Averages of Firmly Nonexpansive Mappings
Mathematical Programming manuscript No. (will be inserted by the editor) Near Equality, Near Convexity, Sums of Maximally Monotone Operators, and Averages of Firmly Nonexpansive Mappings Heinz H. Bauschke
More informationSubgradient Projectors: Extensions, Theory, and Characterizations
Subgradient Projectors: Extensions, Theory, and Characterizations Heinz H. Bauschke, Caifang Wang, Xianfu Wang, and Jia Xu April 13, 2017 Abstract Subgradient projectors play an important role in optimization
More informationLocal strong convexity and local Lipschitz continuity of the gradient of convex functions
Local strong convexity and local Lipschitz continuity of the gradient of convex functions R. Goebel and R.T. Rockafellar May 23, 2007 Abstract. Given a pair of convex conjugate functions f and f, we investigate
More informationIntroduction to Convex and Quasiconvex Analysis
Introduction to Convex and Quasiconvex Analysis J.B.G.Frenk Econometric Institute, Erasmus University, Rotterdam G.Kassay Faculty of Mathematics, Babes Bolyai University, Cluj August 27, 2001 Abstract
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationConstraint qualifications for convex inequality systems with applications in constrained optimization
Constraint qualifications for convex inequality systems with applications in constrained optimization Chong Li, K. F. Ng and T. K. Pong Abstract. For an inequality system defined by an infinite family
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationSome Properties of the Augmented Lagrangian in Cone Constrained Optimization
MATHEMATICS OF OPERATIONS RESEARCH Vol. 29, No. 3, August 2004, pp. 479 491 issn 0364-765X eissn 1526-5471 04 2903 0479 informs doi 10.1287/moor.1040.0103 2004 INFORMS Some Properties of the Augmented
More informationOn Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q)
On Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q) Andreas Löhne May 2, 2005 (last update: November 22, 2005) Abstract We investigate two types of semicontinuity for set-valued
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationThe Brezis-Browder Theorem in a general Banach space
The Brezis-Browder Theorem in a general Banach space Heinz H. Bauschke, Jonathan M. Borwein, Xianfu Wang, and Liangjin Yao March 30, 2012 Abstract During the 1970s Brezis and Browder presented a now classical
More informationConvexity in R n. The following lemma will be needed in a while. Lemma 1 Let x E, u R n. If τ I(x, u), τ 0, define. f(x + τu) f(x). τ.
Convexity in R n Let E be a convex subset of R n. A function f : E (, ] is convex iff f(tx + (1 t)y) (1 t)f(x) + tf(y) x, y E, t [0, 1]. A similar definition holds in any vector space. A topology is needed
More informationConvex Functions and Optimization
Chapter 5 Convex Functions and Optimization 5.1 Convex Functions Our next topic is that of convex functions. Again, we will concentrate on the context of a map f : R n R although the situation can be generalized
More informationOptimality, identifiability, and sensitivity
Noname manuscript No. (will be inserted by the editor) Optimality, identifiability, and sensitivity D. Drusvyatskiy A. S. Lewis Received: date / Accepted: date Abstract Around a solution of an optimization
More informationPOLARS AND DUAL CONES
POLARS AND DUAL CONES VERA ROSHCHINA Abstract. The goal of this note is to remind the basic definitions of convex sets and their polars. For more details see the classic references [1, 2] and [3] for polytopes.
More informationA convergence result for an Outer Approximation Scheme
A convergence result for an Outer Approximation Scheme R. S. Burachik Engenharia de Sistemas e Computação, COPPE-UFRJ, CP 68511, Rio de Janeiro, RJ, CEP 21941-972, Brazil regi@cos.ufrj.br J. O. Lopes Departamento
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationStrongly convex functions, Moreau envelopes and the generic nature of convex functions with strong minimizers
University of Wollongong Research Online Faculty of Engineering and Information Sciences - Papers: Part B Faculty of Engineering and Information Sciences 206 Strongly convex functions, Moreau envelopes
More informationA Note on Nonconvex Minimax Theorem with Separable Homogeneous Polynomials
A Note on Nonconvex Minimax Theorem with Separable Homogeneous Polynomials G. Y. Li Communicated by Harold P. Benson Abstract The minimax theorem for a convex-concave bifunction is a fundamental theorem
More information2 Sequences, Continuity, and Limits
2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs
More informationThe Relation Between Pseudonormality and Quasiregularity in Constrained Optimization 1
October 2003 The Relation Between Pseudonormality and Quasiregularity in Constrained Optimization 1 by Asuman E. Ozdaglar and Dimitri P. Bertsekas 2 Abstract We consider optimization problems with equality,
More informationSum of two maximal monotone operators in a general Banach space is maximal
arxiv:1505.04879v1 [math.fa] 19 May 2015 Sum of two maximal monotone operators in a general Banach space is maximal S R Pattanaik, D K Pradhan and S Pradhan May 20, 2015 Abstract In a real Banach space,
More information("-1/' .. f/ L) I LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERA TORS. R. T. Rockafellar. MICHIGAN MATHEMATICAL vol. 16 (1969) pp.
I l ("-1/'.. f/ L) I LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERA TORS R. T. Rockafellar from the MICHIGAN MATHEMATICAL vol. 16 (1969) pp. 397-407 JOURNAL LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERATORS
More informationThe rate of linear convergence of the Douglas Rachford algorithm for subspaces is the cosine of the Friedrichs angle
The rate of linear convergence of the Douglas Rachford algorithm for subspaces is the cosine of the Friedrichs angle Heinz H. Bauschke, J.Y. Bello Cruz, Tran T.A. Nghia, Hung M. Phan, and Xianfu Wang April
More informationConvex Feasibility Problems
Laureate Prof. Jonathan Borwein with Matthew Tam http://carma.newcastle.edu.au/drmethods/paseky.html Spring School on Variational Analysis VI Paseky nad Jizerou, April 19 25, 2015 Last Revised: May 6,
More informationA Characterization of Polyhedral Convex Sets
Journal of Convex Analysis Volume 11 (24), No. 1, 245 25 A Characterization of Polyhedral Convex Sets Farhad Husseinov Department of Economics, Bilkent University, 6533 Ankara, Turkey farhad@bilkent.edu.tr
More informationON A CLASS OF NONSMOOTH COMPOSITE FUNCTIONS
MATHEMATICS OF OPERATIONS RESEARCH Vol. 28, No. 4, November 2003, pp. 677 692 Printed in U.S.A. ON A CLASS OF NONSMOOTH COMPOSITE FUNCTIONS ALEXANDER SHAPIRO We discuss in this paper a class of nonsmooth
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationConvergence Theorems of Approximate Proximal Point Algorithm for Zeroes of Maximal Monotone Operators in Hilbert Spaces 1
Int. Journal of Math. Analysis, Vol. 1, 2007, no. 4, 175-186 Convergence Theorems of Approximate Proximal Point Algorithm for Zeroes of Maximal Monotone Operators in Hilbert Spaces 1 Haiyun Zhou Institute
More informationPARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
PARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION ALESSIO FIGALLI AND YOUNG-HEON KIM Abstract. Given Ω, Λ R n two bounded open sets, and f and g two probability densities concentrated
More informationThe local equicontinuity of a maximal monotone operator
arxiv:1410.3328v2 [math.fa] 3 Nov 2014 The local equicontinuity of a maximal monotone operator M.D. Voisei Abstract The local equicontinuity of an operator T : X X with proper Fitzpatrick function ϕ T
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationAppendix B Convex analysis
This version: 28/02/2014 Appendix B Convex analysis In this appendix we review a few basic notions of convexity and related notions that will be important for us at various times. B.1 The Hausdorff distance
More informationKey words. Complementarity set, Lyapunov rank, Bishop-Phelps cone, Irreducible cone
ON THE IRREDUCIBILITY LYAPUNOV RANK AND AUTOMORPHISMS OF SPECIAL BISHOP-PHELPS CONES M. SEETHARAMA GOWDA AND D. TROTT Abstract. Motivated by optimization considerations we consider cones in R n to be called
More informationLecture 9 Monotone VIs/CPs Properties of cones and some existence results. October 6, 2008
Lecture 9 Monotone VIs/CPs Properties of cones and some existence results October 6, 2008 Outline Properties of cones Existence results for monotone CPs/VIs Polyhedrality of solution sets Game theory:
More informationHandout 2: Elements of Convex Analysis
ENGG 5501: Foundations of Optimization 2018 19 First Term Handout 2: Elements of Convex Analysis Instructor: Anthony Man Cho So September 10, 2018 As briefly mentioned in Handout 1, the notion of convexity
More informationConvex Functions. Pontus Giselsson
Convex Functions Pontus Giselsson 1 Today s lecture lower semicontinuity, closure, convex hull convexity preserving operations precomposition with affine mapping infimal convolution image function supremum
More informationPreprint February 19, 2018 (1st version October 31, 2017) Pareto efficient solutions in multi-objective optimization involving forbidden regions 1
Preprint February 19, 2018 1st version October 31, 2017) Pareto efficient solutions in multi-objective optimization involving forbidden regions 1 by CHRISTIAN GÜNTHER Martin Luther University Halle-Wittenberg
More informationMath 421, Homework #9 Solutions
Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and
More informationThe resolvent average of monotone operators: dominant and recessive properties
The resolvent average of monotone operators: dominant and recessive properties Sedi Bartz, Heinz H. Bauschke, Sarah M. Moffat, and Xianfu Wang September 30, 2015 (first revision) December 22, 2015 (second
More informationConvex Analysis Background
Convex Analysis Background John C. Duchi Stanford University Park City Mathematics Institute 206 Abstract In this set of notes, we will outline several standard facts from convex analysis, the study of
More informationIntroduction to Convex Analysis Microeconomics II - Tutoring Class
Introduction to Convex Analysis Microeconomics II - Tutoring Class Professor: V. Filipe Martins-da-Rocha TA: Cinthia Konichi April 2010 1 Basic Concepts and Results This is a first glance on basic convex
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationLECTURE 4 LECTURE OUTLINE
LECTURE 4 LECTURE OUTLINE Relative interior and closure Algebra of relative interiors and closures Continuity of convex functions Closures of functions Reading: Section 1.3 All figures are courtesy of
More informationBoundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption
Boundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption Chiaki Hara April 5, 2004 Abstract We give a theorem on the existence of an equilibrium price vector for an excess
More informationarxiv: v1 [math.fa] 30 Jun 2014
Maximality of the sum of the subdifferential operator and a maximally monotone operator arxiv:1406.7664v1 [math.fa] 30 Jun 2014 Liangjin Yao June 29, 2014 Abstract The most important open problem in Monotone
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationConvex Sets and Minimal Sublinear Functions
Convex Sets and Minimal Sublinear Functions Amitabh Basu Gérard Cornuéjols Giacomo Zambelli March 2009, revised January 2010 Abstract We show that, given a closed convex set K containing the origin in
More informationSOME REMARKS ON SUBDIFFERENTIABILITY OF CONVEX FUNCTIONS
Applied Mathematics E-Notes, 5(2005), 150-156 c ISSN 1607-2510 Available free at mirror sites of http://www.math.nthu.edu.tw/ amen/ SOME REMARKS ON SUBDIFFERENTIABILITY OF CONVEX FUNCTIONS Mohamed Laghdir
More informationMonotone Linear Relations: Maximality and Fitzpatrick Functions
Monotone Linear Relations: Maximality and Fitzpatrick Functions Heinz H. Bauschke, Xianfu Wang, and Liangjin Yao November 4, 2008 Dedicated to Stephen Simons on the occasion of his 70 th birthday Abstract
More informationIterative Convex Optimization Algorithms; Part One: Using the Baillon Haddad Theorem
Iterative Convex Optimization Algorithms; Part One: Using the Baillon Haddad Theorem Charles Byrne (Charles Byrne@uml.edu) http://faculty.uml.edu/cbyrne/cbyrne.html Department of Mathematical Sciences
More informationOn Linear Systems Containing Strict Inequalities in Reflexive Banach Spaces
Applied Mathematical Sciences, Vol. 3, 2009, no. 43, 2119-2132 On Linear Systems Containing Strict Inequalities in Reflexive Banach Spaces E. Naraghirad Department of Mathematics of Yasouj University Yasouj,
More informationTranslative Sets and Functions and their Applications to Risk Measure Theory and Nonlinear Separation
Translative Sets and Functions and their Applications to Risk Measure Theory and Nonlinear Separation Andreas H. Hamel Abstract Recently defined concepts such as nonlinear separation functionals due to
More informationSome Properties of Convex Hulls of Integer Points Contained in General Convex Sets
Some Properties of Convex Hulls of Integer Points Contained in General Convex Sets Santanu S. Dey and Diego A. Morán R. H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute
More information(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.
A short account of topological vector spaces Normed spaces, and especially Banach spaces, are basic ambient spaces in Infinite- Dimensional Analysis. However, there are situations in which it is necessary
More information290 J.M. Carnicer, J.M. Pe~na basis (u 1 ; : : : ; u n ) consisting of minimally supported elements, yet also has a basis (v 1 ; : : : ; v n ) which f
Numer. Math. 67: 289{301 (1994) Numerische Mathematik c Springer-Verlag 1994 Electronic Edition Least supported bases and local linear independence J.M. Carnicer, J.M. Pe~na? Departamento de Matematica
More informationConvex Sets. Prof. Dan A. Simovici UMB
Convex Sets Prof. Dan A. Simovici UMB 1 / 57 Outline 1 Closures, Interiors, Borders of Sets in R n 2 Segments and Convex Sets 3 Properties of the Class of Convex Sets 4 Closure and Interior Points of Convex
More informationDivision of the Humanities and Social Sciences. Supergradients. KC Border Fall 2001 v ::15.45
Division of the Humanities and Social Sciences Supergradients KC Border Fall 2001 1 The supergradient of a concave function There is a useful way to characterize the concavity of differentiable functions.
More informationA Brøndsted-Rockafellar Theorem for Diagonal Subdifferential Operators
A Brøndsted-Rockafellar Theorem for Diagonal Subdifferential Operators Radu Ioan Boţ Ernö Robert Csetnek April 23, 2012 Dedicated to Jon Borwein on the occasion of his 60th birthday Abstract. In this note
More informationRefined optimality conditions for differences of convex functions
Noname manuscript No. (will be inserted by the editor) Refined optimality conditions for differences of convex functions Tuomo Valkonen the date of receipt and acceptance should be inserted later Abstract
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationRockefellar s Closed Functions
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Fall 2018 Winter 2019 Topic 21: Rockefellar s Closed Functions 21.1 Closed convex functions Convex analysts
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationThe sum of two maximal monotone operator is of type FPV
CJMS. 5(1)(2016), 17-21 Caspian Journal of Mathematical Sciences (CJMS) University of Mazandaran, Iran http://cjms.journals.umz.ac.ir ISSN: 1735-0611 The sum of two maximal monotone operator is of type
More informationGeometry and topology of continuous best and near best approximations
Journal of Approximation Theory 105: 252 262, Geometry and topology of continuous best and near best approximations Paul C. Kainen Dept. of Mathematics Georgetown University Washington, D.C. 20057 Věra
More informationConvex Analysis and Economic Theory AY Elementary properties of convex functions
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory AY 2018 2019 Topic 6: Convex functions I 6.1 Elementary properties of convex functions We may occasionally
More informationU e = E (U\E) e E e + U\E e. (1.6)
12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy
More informationA Proximal Method for Identifying Active Manifolds
A Proximal Method for Identifying Active Manifolds W.L. Hare April 18, 2006 Abstract The minimization of an objective function over a constraint set can often be simplified if the active manifold of the
More informationMinimizing Cubic and Homogeneous Polynomials over Integers in the Plane
Minimizing Cubic and Homogeneous Polynomials over Integers in the Plane Alberto Del Pia Department of Industrial and Systems Engineering & Wisconsin Institutes for Discovery, University of Wisconsin-Madison
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More informationOn the projection onto a finitely generated cone
Acta Cybernetica 00 (0000) 1 15. On the projection onto a finitely generated cone Miklós Ujvári Abstract In the paper we study the properties of the projection onto a finitely generated cone. We show for
More informationGEORGIA INSTITUTE OF TECHNOLOGY H. MILTON STEWART SCHOOL OF INDUSTRIAL AND SYSTEMS ENGINEERING LECTURE NOTES OPTIMIZATION III
GEORGIA INSTITUTE OF TECHNOLOGY H. MILTON STEWART SCHOOL OF INDUSTRIAL AND SYSTEMS ENGINEERING LECTURE NOTES OPTIMIZATION III CONVEX ANALYSIS NONLINEAR PROGRAMMING THEORY NONLINEAR PROGRAMMING ALGORITHMS
More informationConvex hull of two quadratic or a conic quadratic and a quadratic inequality
Noname manuscript No. (will be inserted by the editor) Convex hull of two quadratic or a conic quadratic and a quadratic inequality Sina Modaresi Juan Pablo Vielma the date of receipt and acceptance should
More information