Lower semicontinuous and Convex Functions

Similar documents
Consequences of Continuity

Consequences of Continuity

Upper and Lower Bounds

Bolzano Weierstrass Theorems I

Uniform Convergence Examples

The Limit Inferior and Limit Superior of a Sequence

Uniform Convergence Examples

Hölder s and Minkowski s Inequality

Convex Sets and Functions (part III)

6.2 Deeper Properties of Continuous Functions

Differentiating Series of Functions

Dirchlet s Function and Limit and Continuity Arguments

Convex Functions. Pontus Giselsson

Dirchlet s Function and Limit and Continuity Arguments

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

Convergence of Sequences

5.5 Deeper Properties of Continuous Functions

Derivatives in 2D. Outline. James K. Peterson. November 9, Derivatives in 2D! Chain Rule

2.3 Some Properties of Continuous Functions

Some Background Math Notes on Limsups, Sets, and Convexity

The First Derivative and Second Derivative Test

Convergence of Sequences

Geometric Series and the Ratio and Root Test

The First Derivative and Second Derivative Test

Sequences. Limits of Sequences. Definition. A real-valued sequence s is any function s : N R.

Geometric Series and the Ratio and Root Test

Math 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.

Predator - Prey Model Trajectories and the nonlinear conservation law

The Existence of the Riemann Integral

More On Exponential Functions, Inverse Functions and Derivative Consequences

Uniform Convergence and Series of Functions

LECTURE 9 LECTURE OUTLINE. Min Common/Max Crossing for Min-Max

Linear Systems of ODE: Nullclines, Eigenvector lines and trajectories

Math 564 Homework 1. Solutions.

Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.

IE 521 Convex Optimization

Linear Systems of ODE: Nullclines, Eigenvector lines and trajectories

LECTURE 12 LECTURE OUTLINE. Subgradients Fenchel inequality Sensitivity in constrained optimization Subdifferential calculus Optimality conditions

Mathematical Induction Again

Chapter 2: Preliminaries and elements of convex analysis

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015

Mathematical Induction Again

F (x) = P [X x[. DF1 F is nondecreasing. DF2 F is right-continuous

Math 421, Homework #9 Solutions

Mathematics 530. Practice Problems. n + 1 }

General Power Series

EC9A0: Pre-sessional Advanced Mathematics Course. Lecture Notes: Unconstrained Optimisation By Pablo F. Beker 1

Predator - Prey Model Trajectories are periodic

Constrained Optimization in Two Variables

Semicontinuities of Multifunctions and Functions

Metric Spaces and Topology

Convex Analysis and Optimization Chapter 2 Solutions

Analysis II - few selective results

MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005

Math 104: Homework 7 solutions

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

Project One: C Bump functions

LECTURE 25: REVIEW/EPILOGUE LECTURE OUTLINE

1. Theorem. (Archimedean Property) Let x be any real number. There exists a positive integer n greater than x.

Predator - Prey Model Trajectories are periodic

Connectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).

Constrained Optimization in Two Variables

MATH 101, FALL 2018: SUPPLEMENTARY NOTES ON THE REAL LINE

Introduction to Algebraic and Geometric Topology Week 3

GEOMETRIC APPROACH TO CONVEX SUBDIFFERENTIAL CALCULUS October 10, Dedicated to Franco Giannessi and Diethard Pallaschke with great respect

A LITTLE REAL ANALYSIS AND TOPOLOGY

Functions. Chapter Continuous Functions

Cauchy s Theorem (rigorous) In this lecture, we will study a rigorous proof of Cauchy s Theorem. We start by considering the case of a triangle.

Math LM (24543) Lectures 02

Integration and Differentiation Limit Interchange Theorems

8. Conjugate functions

Hölder s and Minkowski s Inequality

Integration and Differentiation Limit Interchange Theorems

BASICS OF CONVEX ANALYSIS

M17 MAT25-21 HOMEWORK 6

Convergence of Fourier Series

1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.

Math 273a: Optimization Subgradients of convex functions

2.7 Subsequences. Definition Suppose that (s n ) n N is a sequence. Let (n 1, n 2, n 3,... ) be a sequence of natural numbers such that

Optimization and Optimal Control in Banach Spaces

Proofs Not Based On POMI

Defining Exponential Functions and Exponential Derivatives and Integrals

Some Properties of the Augmented Lagrangian in Cone Constrained Optimization

Real Variables: Solutions to Homework 9

Fourier Sin and Cos Series and Least Squares Convergence

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

On Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q)

2. Transience and Recurrence

That is, there is an element

MATH 117 LECTURE NOTES

Homework for MATH 4603 (Advanced Calculus I) Fall Homework 13: Due on Tuesday 15 December. Homework 12: Due on Tuesday 8 December

Math 410 Homework 6 Due Monday, October 26

2 Sequences, Continuity, and Limits

Midterm Review Math 311, Spring 2016

ECARES Université Libre de Bruxelles MATH CAMP Basic Topology

Mathematical Appendix

Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Homework Schedule

Part 2 Continuous functions and their properties

Math 117: Infinite Sequences

Proofs Not Based On POMI

Transcription:

Lower semicontinuous and Convex Functions James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 6, 2017 Outline Lower Semicontinuous Functions Convex Functions

We are now going to expand our treatment of functions a bit and look at the class of lower semicontinuous functions and the class of convex functions. These functions gives us some new insights into how we can try to find extreme values of functions even when there is no compactness. The function x clearly has an absolute minimum over R of value 0 and its domain is not compact. Note the function f (x) = x does not have a derivative at 0 but the Left hand derivative at 0 is 1 and the right hand derivative is 1. It turns out x is a convex function and we can define an extension of the idea of derivative, the subdifferential f which here would be f (0) = [ 1, 1], a compact set! Note also as x, f (x) too. Also note 0 f (0) which is like the condition that extreme values may occur when the derivative is zero. The function f (x) = x 2 also has an absolute minimum of value 0 where f (0) = 0. It also satisfies x implies f (x), it is a convex function and its domain is not compact. Let s start with a new result with continuous functions in the spirit of the two examples we just used. Theorem Let Ω be a nonempty unbounded closed set of real numbers and let f : Ω R be continuous. Assume f (x) when x. Then inf(f (Ω)) is finite and there is a sequence (xn) Ω so that xn x0 Ω and f (xn) f (x0) = inf(f (Ω)). Let α = inf(f (Ω)). First, there is a sequence (yn = f (xn)) Ω that converges to α. If (xn) Ω satisfies xn, we would have f (xn). Then, we would know inf(f (Ω)) = implying f (x) for all x in Ω. But we assumed f is finite on Ω, so this is not possible. Hence, (xn) must be bounded. Thus, by the Bolzano Weierstrass Theorem, there is a subsequence (x 1 n ) of (xn) converging to x0. This means x0 is either an accumulation point in Ω or a boundary point of Ω.

Since Ω is closed, Ω contains its boundary points. So we know x0 Ω. Since f is continuous at x0, we must have f (xn1 ) f (x0 ) as n1. Since f (xn ) α we also have f (xn1 ) α. Thus, f (x0 ) = α and we have shown f has an absolute minimum at the point x0. Note, the condition that f (x) when x allows us to bound the (xn ) sequence. This is how we get around the lack of compactness in the domain. We can relax the continuity assumption too. We can look at functions which are lower semicontinuous. Definition Let f : dom(f ) < be finite. We say f is lower semicontinuous at p if lim f (p) = f (p). By definition, this means for all sequences (xn ) with xn p and f (xn ) a, we have limn f (xn ) f (p). Here are two pairs of functions which show what the condition of lower semicontinuity means graphically.

Let s relax our continuity condition into lower semicontinuity for the theorem we just proved. Theorem Let Ω be a nonempty unbounded closed set of real numbers and let f : Ω R be lower semicontinuous. Assume f (x) when x. Then inf(f (Ω)) is finite and there is a sequence (xn) Ω so that xn x0 Ω and f (xn) f (x0) = inf(f (Ω)). Again, let α = inf(f (Ω)). There is a sequence (yn = f (xn)) Ω that converges to α. The arguments we just used still show (xn) must be bounded. Thus, by the Bolzano Weierstrass Theorem, there is a subsequence (x 1 n ) of (xn) converging to x0 and since Ω is closed, x0 is in Ω. Since f is lower semicontinuous at x0, we must have lim n1 f (x 1 n ) f (x0). Since f (xn) α we also have f (x 1 n ) α. Thus, α f (x0). But f (x0) α by the definition of an infimum. Thus, f (x0) = α = inf(f (Ω)) and f has an absolute minimum at x0. The graph of a function f : dom(f ) R is a subset of dom(f ) R. gr(f ) = {(x, a) : x dom(f ) and f (x) = a} and the epigraph of f is everything lying above the graph. epi(f ) = {(x, b) : x dom(f ) and f (x) b} We can now define what we mean by a convex function. Definition Let I be a nonempty interval of R. A function f : I R is convex on I if f (tx + (1 t)y) tf (x) + (1 t)f (y), x, y I and t (0, 1) f is strictly convex if f (tx + (1 t)y) < tf (x) + (1 t)f (y), x, y I and t (0, 1)

Let Px be the point (x, f (x)) and Py be the point (y, f (y )). The f is convex means the point (u, f (u)) on the graph of f, gr (f ), lies below the line segment Px Py joining Px and Py. This is shown in the sketch below. Note the epigraph of f, epi(f ), is the inside of the curve in this sketch. This leads to a new definition of the convexity of f. Definition Let I be a nonempty interval of <. A function f : I < is convex on I if and only if epi(f ) is a convex subset of <2, where we recall a convex subset of <2 is a set C so that given any two points P and Q in C, the line segment PQ is contained in C. Theorem Let Px = (x, y ), Px 0 = (x 0, y 0 ) and Pu = (u, v ) where x < u < x 0 be three points in <2. Then the following three properties are equivalent. 1. Pu is below Px Px 0. 2. the slope of Px Pu the slope of Px Px 0. 3. the slope of Px Px 0 the slope of Pu Px 0.

The line segment PxPx in point slope form is z = y + y y x x (t x) for x t x. So at t = u, we have zu = y + y y x x holds, we have v y + y y x x slope PxPu = v y u x (u x). This implies (u x). If Property (1) y y x = slope PxPx x which is Property (2). It is easy to see we can reverse this argument to show if Property (2) holds, then so does Property (1). So we have shown Property (1) holds if and only if Property (2) holds. Next, if Property (1) holds, since Pu is below the line segment, the slope of the line segment PuPx is steeper than or equal to the slope of the line segment PxPx. Look at the earlier picture which clearly shows this although the role of y should be replaced by x for our argument. Thus, the slope of PxPx the slope of PuPx and so Property (3) holds. The same picture shows us we can reverse the argument to show if the slope of PxPx the slope of PuPx then Pu must be below the line segment PxPx. So Property (3) implies Property (1). Hence, Property (2) implies Property (1) which implies Property (3). And it is easy to reverse the argument to show Property (3) implies Property (2). So all of these statements are equivalent.

Now if x < u < x, then u = tx + (1 t)x for some 0 < t < 1 and by the convexity of f, we have f (u) tf (x) + (1 t)f (x ). Letting Px = (x, f (x)) and Px = (x, f (x )), convexity implies Pu = (u, f (u)) is below the line segment PxPx and by the previous Theorem, slope PxPu slope PxPx slope PuPx or f (u) f (x) u x f (x ) f (x) x f (x ) f (u) x x u Since u = tx + (1 t)x = t(x x ) + x, we see t = u x x x = x u x x. Thus, convexity can be written ( x ) ( ) u u x f (u) x f (x) + x x f (x ) x f (y) f (x0) For any y x0, et S(y, x0) denote the slope term S(y, x0) =. y x0 Recall, we showed f (u) f (x) u x f (x ) f (x) x f (x ) f (u) x x u for any x < u < x. Switching to u = x0, we have S(x, x0) = And this is true for all x < x. f (x ) f (x0) x = S(x, x0) x0 So f is convex on I implies the slope function S(x, x0) is increasing on the set I \ {x0} which is all of I except the point x0. This is called the criterion of increasing slopes. It is a straightforward argument to see we can show the reverse: if the criterion of increasing slopes hold, then f is convex. We have a Theorem!

Theorem The Criterion of Increasing Slopes Let I be a nonempty interval in R. Then f : I R is convex the slope function S(x, x0) is increasing on I \ {x0} for all x0 I. We have just gone over this argument. Now let s look at what we can do with this information. We will define what might be considerd a lower and upper form of a derivative next. Theorem Let f be convex on the interval I and let x0 be an interior point. Then are both finite and sup x<x0 and infx>x0 sup x<x0 inf x>x0. By the criterion of increasing slopes, is increasing as x approaches x0 from below. If sup x<x0 =, then there would be a sequence (xn) in the interior of I, with xn x0 < x and f (xn) f (x0) > n. Since x0 is an interior point, choose a y > x0 in I and xn x0 f (xn) f (x0) f (y) f (x0) apply the criterion of increasing slopes to see n <. xn x0 y x0

But this tells us f (y) n(y x0) + f (x0) implying f (y) must be infinite in value. But f is finite on I so this is not possible. Thus, there is a constant L > 0 so that sup x<x0 = L. We also know that by the criterion of increasing slopes that f (y) f (x0) for all x < x0 < y so we also have y x0 f (y) f (x0) sup x<x0 for all y > x0 too. y x0 But this then tells us sup x<x0 infy>x0 f (y) f (x0) y x0 We can do an argument similar to the one above to also show f (y) f (x0) is finite and so there is a positive constant K so that infy>x0 y x0 f (y) f (x0) = K. So we have shown infy>x0 y x0 L = sup x<x0 f (y) f (x0) inf = K. y>x0 y x0 From this last theorem, these finite limits allows us to replace the idea of a derivative at an interior point x0 for a convex function f. We set the lower derivative, D f (x0) and upper derivative of f, D+f (x0) at an interior point to be the finite numbers D f (x0) = sup x<x0, D+f (x0) = inf x>x0 Next, if [c, d] int(i ), choose c < x < x < d. We can show D+f (c) D f (d) using a very long chain of inequalities. Be patient! D+f (c) = inf ˆx>c sup w<x = inf ˆx>x f (ˆx) f (c) f (x) f (c) = ˆx c x c f (w) f (x) = D f (x) D+f (x) w x f (ˆx) f (x) ˆx x f (x ) f (x) x = f (x) f (x ) x x x. f (c) f (x), increasing slopes c x

So continuing we have f (w) f (x ) sup w<x w x = D f (x ) D+f (x ) = inf w>x f (w) f (x ) sup w<d w x f (d) f (x ) d x f (w) f (d) = D f (d). w d = f (x ) f (d) x d We conclude for c < x < x < d, D+f (c) f (x ) f (x) x x D f (d). If f (x ) f (x) x x have f (x ) f (x) x x > 0, we have f (x ) f (x) x x D+f (c). Combining, we see D f (d). If f (x ) f (x) x x < 0, we f (x ) f (x) x x max{ D+f (c), D f (d)}. If x = c or x = d, we can do a similar analysis to get the same result. So we have for c x < x d f (x ) f (x) x x max{ D+f (c), D f (d)}. We have proven the following result. Theorem If f is convex on the interval I, if [c, d] int(i ), then there is a positive constant L [c,d] so that if c x < x d, we have f (x ) f (x) x x L[c,d]. We have just argued this. The constant is L [c,d] = max{ D+f (c), D f (d)}.

Comment From the above, we have f (x ) f (x) L [c,d] x x which immediately tells us f is continuous at each x in the interior of I. What happens at the boundary of I is not known yet. Here is the argument. Choose ɛ > 0 arbitrarily. Let δ = ɛ/l [c,d]. Then y x < δ f (y) f (x) L [c,d] ɛ/l [c,d] = ɛ. Comment So this sort of a function can t be convex. { x f (x) = 2, x 0 x 2 2, x > 0 because f is not continuous at 0 and a convex function is continuous at each point in the interior of its domain. You should look at the epigraph here and make sure you understand why it is not a convex subset of R 2. Homework 18 18.1 Draw f (x) = x 2 + 4 on R. Is f convex? 18.2 Draw f (x) = x 4, x < 0 a, x = 0 x 6 1, x > 0 Find a so that f is lsc. Is it possible to choose a so that f is convex? 18.3 Let f (x) = x. Find D f (0) and D+f (0). This is just a matter of looking at slopes on the left and the right. You should get D f (0) = 1 and D+f (0) = +1. 18.4 Let f (x) = x 2. Find D f (2) and D+f (2).