Convex Sets and Functions (Part III)

Convex Sets and Functions (Part III)

Convex Sets and Functions (part III) Prof. Dan A. Simovici UMB 1 / 14 Outline 1 The epigraph and hypograph of functions 2 Constructing Convex Functions 2 / 14 The epigraph and hypograph of functions Definition Let (S; O) be a topological space and let f : S −! R^ be a function. Its epigraph is the set epi(f ) = f(x; y) 2 S × R j f (x) 6 yg: The hypograph of f is the set hyp(f ) = f(x; y) 2 S × R j y 6 f (x)g: 3 / 14 The epigraph and hypograph of functions 2 The epigraph of a function f : R −! R is the dotted area in R located above the graph of the function f ; the hypograph of f is the dotted area below the graph. y y x x (a) (b) 4 / 14 The epigraph and hypograph of functions Note that the intersection epi(f ) \ hyp(f ) = f(x; y) 2 S × R j y = f (x)g is the graph of the function f . If f (x) = 1, then (x; 1) 62 epi(f ). Thus, for the function f1 defined by f1(x) = 1 for x 2 S we have epi(f1) = ;. 5 / 14 The epigraph and hypograph of functions Theorem Let f : S −! R be a function defined on the convex subset S of a real linear space L. Then, f is convex on S if and only if its epigraph is a convex subset of S × R; f is concave if and only if its hypograph is a convex subset of S × R. 6 / 14 The epigraph and hypograph of functions Proof Let f be a convex function on S. We have f ((1 − t)x + ty) 6 (1 − t)f (x) + tf (y) for every x; y 2 S and t 2 [0; 1]. If (x1; y1); (x2; y2) 2 epi(f ) we have f (x1) 6 y1 and f (x2) 6 y2. Therefore, f ((1 − t)x1 + tx2) 6 (1 − t)f (x1) + tf (x2) 6 (1 − t)y1 + ty2; so ((1 − t)x1 + tx2; (1 − t)y1 + ty2) = (1 − t)(x1; y1) + t(x2; y2) 2 epi(f ) for t 2 [0; 1]. This shows that epi(f ) is convex. 7 / 14 The epigraph and hypograph of functions Proof (cont'd) Conversely, suppose that epi(f ) is convex, that is, if (x1; y1) 2 epi(f ) and (x2; y2) 2 epi(f ), then (1 − t)(x1; y1) + t(x2; y2) = ((1 − t)x1 + tx2; (1 − t)y1 + ty2) 2 epi(f ) for t 2 [0; 1]. By the definition of the epigraph, this is equivalent to f (x1) 6 y1, f (x2) 6 y2 implies f ((1 − t)x1 + tx2) 6 (1 − t)y1 + ty2. Choosing y1 = f (x1) and y2 = f (x2) yields f ((1 − t)x1 + tx2) 6 (1 − t)f (x1) + tf (x2), which means that f is convex. The second part of the theorem follows by applying the first part to the function −f . 8 / 14 Constructing Convex Functions If f1;:::; fk are k convex functions on a linear space that any positive combination a1f1 + ··· + ak fk is a convex function. Theorem If f ; g are convex functions defined on a real linear space L, then the function h defined by h(x) = maxff (x); g(x)g for x 2 Dom(f ) \ Dom(g) is a convex function. 9 / 14 Constructing Convex Functions Proof Let t 2 [0; 1] and let x1; x2 2 Dom(f ) \ Dom(g). We have h((1 − t)x1 + tx2) = maxff ((1 − t)x1 + tx2); g((1 − t)x1 + tx2)g 6 maxf(1 − t)f (x1) + tf (x2); (1 − t)g(x1) + tg(x2)g 6 (1 − t) maxff (x1); g(x1)g + t maxff (x2); g(x2)g = (1 − t)h(x1) + th(x2); which implies that h is convex. 10 / 14 Constructing Convex Functions Theorem n Let C be a convex subset of R , b be a number in R, and let F = ffi j fi : C −! R; i 2 I g be a family of convex functions such that fi (x) 6 b for every i 2 I and x 2 C. Then, the function f : C −! R defined by f (x) = supffi (x) j i 2 I g for x 2 C is a convex function. 11 / 14 Constructing Convex Functions Proof Since the family of function F is upper bounded, the definition of f is correct. Let x; y 2 C. We have (1 − t)x + ty 2 C because C is convex. For every i 2 I we have fi ((1 − t)x + ty) 6 (1 − t)fi (x) + tfi (y). The definition of f implies fi (x) 6 f (x) and fi (y) 6 f (y), so (1 − t)fi (x) + tfi (y) 6 (1 − t)f (x) + tf (y) for i 2 I and t 2 [0; 1]. The definition of f implies f ((1 − t)x + ty) 6 (1 − t)f (x) + tf (y) for x; y 2 C and t 2 [0; 1], so f is convex on C. 12 / 14 Constructing Convex Functions Definition n Let f : S −! R be a convex function and let gx : R −! R be defined by 0 gx(y) = y x − f (x). ∗ n The conjugate function of f is the function f : R −! R given by ∗ n f (y) = sup n g (y) for y 2 . x2R x R n 0 Note that for each x 2 R the function gx = y x − f (x) is a convex function of y. Therefore, f ∗ is a convex function. 13 / 14 Constructing Convex Functions Example x x Let f : R −! R be the function f (x) = e . We have gx (y) = yx − e . Note that: if y < 0, each such function is unbounded, so f ∗(y) = 1; ∗ −x if y = 0, f (0) = supx e = 0; if y > 0, gx reaches its maximum when x = ln y, so f ∗(y) = y ln y − y. ∗ ∗ Thus, Dom(f ) = R>0 and f (y) = y ln y − y (with the convention 01 = 0. 14 / 14 Constructing Convex Functions Example Let a be a positive number and let f : R −! R be the function a 2 a 2 f (x) = 2 x . We have gx (y) = yx − 2 x and a 1 sup yx − x2 = y 2 2 2a x2R and therefore 1 f ∗(y) = y 2: 2a 15 / 14 Constructing Convex Functions Example n n Let f : R −! R be f (x) =k x k, where x is the Euclidean norm on R . 0 We have gx = y x− k x k. 0 If k y k6 1, taking into account that y x 6k x kk y k, it follows that 0 0 0 y x 6k y k, so y x− k x k6 0. Therefore, x = 0n maximizes y x− k x k, so f ∗(y) = 0. 0 If k y k> 1, there is a z such that k z k6 1 and y z > 1. It suffices to choose z such that 1 <k z k 1: k y k 6 Choosing x = tz and letting t ! 1 we have y0x− k x k= t(y0z− k z k) ! 1. Thus, we have ( 0 if k y k 1; f ∗(y) = 6 1 otherwise: 16 / 14.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    16 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us