Convex Sets and Functions

Similar documents
Best Approximation in the 2-norm

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Theoretical foundations of Gaussian quadrature

MAA 4212 Improper Integrals

Math Solutions to homework 1

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3

Euler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

Math 61CM - Solutions to homework 9

Math 554 Integration

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)

8 Laplace s Method and Local Limit Theorems

A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus

Integration Techniques

The Regulated and Riemann Integrals

STUDY GUIDE FOR BASIC EXAM

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying

Lecture 1. Functional series. Pointwise and uniform convergence.

Lecture 3. Limits of Functions and Continuity

Lecture notes. Fundamental inequalities: techniques and applications

MATH1050 Cauchy-Schwarz Inequality and Triangle Inequality

g i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f

(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer

Math Advanced Calculus II

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015

Integral points on the rational curve

Review of Calculus, cont d

a n = 1 58 a n+1 1 = 57a n + 1 a n = 56(a n 1) 57 so 0 a n+1 1, and the required result is true, by induction.

Review of Riemann Integral

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE

Quadratic Forms. Quadratic Forms

7.2 Riemann Integrable Functions

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1

Abstract inner product spaces

5.4, 6.1, 6.2 Handout. As we ve discussed, the integral is in some way the opposite of taking a derivative. The exact relationship

1.3 The Lemma of DuBois-Reymond

Note 16. Stokes theorem Differential Geometry, 2005

1 The Riemann Integral

On the Generalized Weighted Quasi-Arithmetic Integral Mean 1

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007

n f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1

Lecture 14: Quadrature

UniversitaireWiskundeCompetitie. Problem 2005/4-A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that

4.4 Areas, Integrals and Antiderivatives

We know that if f is a continuous nonnegative function on the interval [a, b], then b

1. Gauss-Jacobi quadrature and Legendre polynomials. p(t)w(t)dt, p {p(x 0 ),...p(x n )} p(t)w(t)dt = w k p(x k ),

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

Math 360: A primitive integral and elementary functions

Definition of Continuity: The function f(x) is continuous at x = a if f(a) exists and lim

Properties of the Riemann Integral

Orthogonal Polynomials and Least-Squares Approximations to Functions

Presentation Problems 5

MATH 409 Advanced Calculus I Lecture 19: Riemann sums. Properties of integrals.

Indefinite Integral. Chapter Integration - reverse of differentiation

1 The fundamental theorems of calculus.

SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set

Homework 11. Andrew Ma November 30, sin x (1+x) (1+x)

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University

Fourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )

Calculus I-II Review Sheet

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

Sections 5.2: The Definite Integral

p-adic Egyptian Fractions

MA Handout 2: Notation and Background Concepts from Analysis

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (

ODE: Existence and Uniqueness of a Solution

20 MATHEMATICS POLYNOMIALS

1 i n x i x i 1. Note that kqk kp k. In addition, if P and Q are partition of [a, b], P Q is finer than both P and Q.

Chapter 3. Vector Spaces

II. Integration and Cauchy s Theorem

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all

1 Functions Defined in Terms of Integrals

Overview of Calculus I

1 The fundamental theorems of calculus.

Math 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech

Polynomial Approximations for the Natural Logarithm and Arctangent Functions. Math 230

x 2 1 dx x 3 dx = ln(x) + 2e u du = 2e u + C = 2e x + C 2x dx = arcsin x + 1 x 1 x du = 2 u + C (t + 2) 50 dt x 2 4 dx

Numerical Integration

Riemann is the Mann! (But Lebesgue may besgue to differ.)

The Fundamental Theorem of Calculus. The Total Change Theorem and the Area Under a Curve.

Space Curves. Recall the parametric equations of a curve in xy-plane and compare them with parametric equations of a curve in space.

Anonymous Math 361: Homework 5. x i = 1 (1 u i )

Math 1B, lecture 4: Error bounds for numerical methods

Mathematics 19A; Fall 2001; V. Ginzburg Practice Final Solutions

INTRODUCTION TO INTEGRATION

US01CMTH02 UNIT Curvature

Some estimates on the Hermite-Hadamard inequality through quasi-convex functions

Sturm-Liouville Eigenvalue problem: Let p(x) > 0, q(x) 0, r(x) 0 in I = (a, b). Here we assume b > a. Let X C 2 1

A basic logarithmic inequality, and the logarithmic mean

Calculus in R. Chapter Di erentiation

Calculus of Variations

Frobenius numbers of generalized Fibonacci semigroups

7.2 The Definite Integral

Math& 152 Section Integration by Parts

AP Calculus Multiple Choice: BC Edition Solutions

440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60.

Variational Techniques for Sturm-Liouville Eigenvalue Problems

Transcription:

B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line segment connecting x nd y belongs to C Exmple B2 The convex subsets of R, +, ) re the intervls of R Regulr polygons re convex subsets of R 2 Definition B3 Let U be subset of rel liner spce L, +, ) A convex combintion of U is n element of L of the form 1 x 1 + + k x k, where x 1,,x k U, i for 1 i k, nd 1 + + k = 1 If the conditions i re dropped, we hve n ffine combintion of U In other words, x is n ffine combintion of U if there exist 1,, k R such tht x = 1 x 1 + + k x k, for x 1,,x k U, nd k i = 1 Definition B4 Let U be subset of rel liner spce L, +, ) A subset {x 1,,x n } is ffinely dependent if = 1 x 1 + + n x n such tht t lest one of the numbers 1,, n is nonzero nd i = If no such ffine combintion exists, then x 1,,x n re ffinely independent Theorem B5 The set U = {x 1,,x n } is ffinely independent if nd only if the set V = {x 1 x n,x n 1 x n } is linerly independent Proof Suppose tht U is ffinely independent but V is linerly dependent; tht is, = b 1 x 1 x n ) + + b n 1 x n 1 x n ) such tht not ll numbers b i re This implies b 1 x 1 + + b n 1 x n 1 n 1 b i )x n =, which contrdicts the ffine independence of U

574 B Convex Sets nd Functions Conversely, suppose tht V is linerly independent but U is not ffinely independent In this cse, = 1 x 1 + + n x n such tht t lest one of the numbers 1,, n is nonzero nd i = This implies n = 1 i, so = 1 x 1 x n ) + + n 1 x n 1 x n ) Observe tht t lest one of the numbers 1,, n 1 must be distinct from becuse otherwise we would hve 1 = = n 1 = n = This contrdicts the liner independence of V, so U is ffinely independent Exmple B6 Let x 1 nd x 2 be two elements of the liner spce R 2, +, ) The line tht psses through x 1 nd x 2 consists of ll x such tht x x 1 nd x x 2 re colliner; tht is, x x 1 ) + bx x 2 ) = for some, b R such tht + b Thus, we hve x = 1 x 1 + 2 x 2, where 1 + 2 = + b + b + b = 1, so x is n ffine combintion of x 1 nd x 2 It is esy to see tht the segment of line contined between x 1 nd x 2 is given by convex combintion of x 1 nd x 2 ; tht is, by n ffine combintion 1 x 1 + 2 x 2 such tht 1, 2 Theorem B7 If C is convex subset of rel liner spce L, +, ), then C contins ll convex liner combintions of C Proof The proof is by induction on k 2 nd is left to the reder Theorem B8 The intersection of ny collection of convex sets of liner spce L, +, ) is convex set Proof Let C = {C i i I} be collection of convex sets nd let C = C Suppose tht x 1,,x k C, i for 1 i k, nd 1 + + k = 1 Since x 1,,x k C i, it follows tht 1 x 1 + + k x k C i for every i I Thus, 1 x 1 + + k x k C, which proves the convexity of C Corollry B9 The fmily of convex sets of liner spce L, +, ) is closure system on PL) Proof This sttement follows immeditely from Theorem B8 by observing tht the set L is convex Corollry B9 llows us to define the convex hull of subset U of L s the closure K conv U) of U reltive to the closure system of the convex subsets of L If U R n consists of n+1 points such tht no point is n ffine combintion of the other n points, then K conv U) is n n-dimensionl simplex in L Exmple B1 A two-dimensionl simplex is defined strting from three points x 1,x 2,x 3 in R 2 such tht none of these points is n ffine combintion of

B Convex Sets nd Functions 575 the other two no point is colliner with the others two) Thus, the twodimensionl symplex generted by x 1,x 2,x 3 is the full tringle determined by x 1,x 2,x 3 In generl, n n-dimensionl simplex is the convex hull of set of n + 1 points x 1,,x n+1 in R n such tht no point is n ffine combintion of the remining n points Let S be the n-dimensionl simplex generted by the points x 1,,x n+1 in R n nd let x S If x S, then x is convex combintion of x 1,,x n,x n+1 In other words, there exist 1,, n, n+1 such tht 1,, n, n+1, 1), +1 i = 1, nd x = 1 x 1 + + n x n + n+1 x n+1 The numbers 1,, n, n+1 re the bricentric coordintes of x reltive to the simplex S nd re uniquely determined by x Indeed, if we hve x = 1 x 1 + + n x n + n+1 x n+1 = b 1 x 1 + + b n x n + b n+1 x n+1, nd i b i for some i, this implies 1 b 1 )x 1 + + n b n )x n + n+1 b n+1 )x n+1 =, which contrdicts the ffine independence of x 1,,x n+1 The next sttement plys centrl role in the study of convexity We reproduce the proof given in [59] Theorem B11 Crthéodory s Theorem) If U is subset of R n, then for every x K conv U) we hve x = +1 ix i, where x i U, i for 1 i n + 1, nd +1 i = 1 Proof Consider x K conv U) We cn write x = p+1 ix i, where x i U, i for 1 i p + 1, nd p+1 i = 1 Let p be the smllest number which llows this kind of expression for x We prove the theorem by showing tht p n Suppose tht p n+1 Then, the set {x 1,,x p+1 } is ffinely dependent, so there exist b 1,, b p+1 not ll zero such tht = p+1 b ix i nd p+1 b i = Without loss of generlity, we cn ssume b p+1 > nd p+1 b p+1 i b i for ll i such tht 1 i p nd b i > Define i c i = b i ) p+1 b i b p+1 for 1 i p We hve c i = i p+1 b p+1 b i = 1 Furthermore, c i for 1 i p Indeed, if b i, then c i i ; if b i >, then c i becuse p+1 b p+1 i b i for ll i such tht 1 i p nd b i > Thus, we hve

576 B Convex Sets nd Functions c i x i = i ) p b i x i = b p i x i = x, which contrdicts the choice of p A finite set of points P in R 2 is convex polygon if no member p of P lies in the convex hull of P {p} Theorem B12 A finite set of points P in R 2 is convex polygon if nd only if no member p of P lies in two-dimensionl simplex formed by three other members of P Proof The rgument is strightforwrd nd is left to the reder s n exercise Theorem B13 Rdon s Theorem) Let P = {x i R n 1 i n + 2} be set of n + 2 points in R n Then, there re two disjoint subsets R nd Q of P such tht K conv R) K conv Q) Proof Since n+2 points in R n re ffinely dependent, there exist 1,, n+2 not ll equl to such tht n+2 i x i = B1) nd +2 i = Without loss of generlity, we cn ssume tht the first k numbers re positive nd the lst n + 2 k re not Let = k i > nd let b j = j for 1 j k Similrly, let c l = l for k + 1 l n + 2 Equlity B1) cn now be written s k b j x j = j=1 n+2 l=k+1 c l x l Since the numbers b j nd c l re nonnegtive nd k j=1 b j = +2 l=k+1 c l = 1, it follows tht K conv {x 1,,x k }) K conv {x k+1,,x n+2 }) Theorem B14 Klein s Theorem) If P R 2 is set of five points such tht no three of them re colliner, then P contins four points tht form convex qudrilterl Proof Let P = {x i 1 i } If these five points form convex polygon, then ny four of them form convex qudrilterl If exctly one point is in the interior of convex qudrilterl formed by the remining four points, then the desired conclusion is reched Suppose tht none of the previous cses occur Then, two of the points, sy x p,x q, re locted inside the tringle formed by the remining points x i,x j,x k Note tht the line x p x q intersects two sides of the tringle x i x j x k,

B Convex Sets nd Functions 577 x i x q x p x k x j Fig B1 A five-point configurtion in R 2 sy x i x j nd x i x k see Figure B1) Then x p x q x k x j is convex qudrilterl A function f : R R is convex if its grph on n intervl is locted below the chord determined by the endpoints of the intervl More formlly, we hve the following definition Definition B15 A function f : R R is convex if ftx + 1 t)y) tfx) + 1 t)fy) for every x, y Domf) nd t [, 1] The function g : R R is concve if g is convex Theorem B16 If f : R R is convex function nd < b c, then fb) f) b fc) f) c Proof Since < b c, we cn write b = t + 1 t)c, where t = c b c, 1] The convexity of f yields the inequlity fb) c b c f) + b c fc), which is esily seen to be equivlent with the desired inequlity A similr result follows Theorem B17 If f : R R is convex function nd b < c, then fc) f) c fc) fb) c b

578 B Convex Sets nd Functions Proof The rgument is similr to the proof of Theorem B16 Corollry B18 Let f : R R be convex function nd let p, q, p, q be four numbers such tht p p < q q We hve the inequlity fq) fp) q p fq ) fp ) q p B2) Proof By Theorem B16 pplied to the numbers p, q, q, we hve fq) fp ) q p fq ) fp ) q p Similrly, by pplying Theorem B17 to p, p, q, we obtin fq) fp) q p fq) fp ) q p The inequlity of the corollry cn be obtined by combining the lst two inequlities From Corollry B18, it follows tht if f : R R is convex nd differentible everywhere, then its derivtive is n incresing function The converse is lso true; nmely, if f is differentible everywhere nd its derivtive is n incresing function, then f is convex Indeed, let, b, c be three numbers such tht < b < c By the men vlue theorem, there is p, b) nd q b, c) such tht f p) = fb) f) b Since f p) f q), we obtin nd f q) = fc) fb) c b fb) f) b fc) fb), c b which implies fb) c b c f) + b c fc); tht is, the convexity of f Thus, if f is twice differentible everywhere nd its second derivtive is nonnegtive everywhere, then it follows tht f is convex Clerly, under the sme conditions of differentibility s bove, if the second derivtive is nonpositive everywhere, then f is concve The functions listed in the Tble B1, defined on the set R, provide exmples of convex or concve) functions Theorem B19 Jensen s Theorem) Let f be function tht is convex on n intervl I If t 1,,t n [, 1] re n numbers such tht t i = 1, then

B Convex Sets nd Functions 579 n ) f t i x i t i fx i ) for every x 1,, x n I Proof The rgument is by induction on n, where n 2 The bsis step, n = 2, follows immeditely from Definition B15 Suppose tht the sttement holds for n, nd let u 1,, u n, u n+1 be n + 1 numbers such tht +1 u i = 1 We hve fu 1 x 1 + + u n 1 x n 1 + u n x n + u n+1 x n+1 ) = f u 1 x 1 + + u n 1 x n 1 + u n + u n+1 ) u ) nx n + u n+1 x n+1 u n + u n+1 By the inductive hypothesis, we cn write fu 1 x 1 + + u n 1 x n 1 + u n x n + u n+1 x n+1 ) ) un x n + u n+1 x n+1 u 1 fx 1 ) + + u n 1 fx n 1 ) + u n + u n+1 )f u n + u n+1 Next, by the convexity of f, we hve ) un x n + u n+1 x n+1 u n f fx n ) + u n+1 fx n+1 ) u n + u n+1 u n + u n+1 u n + u n+1 Combining this inequlity with the previous inequlity gives the desired conclusion Of course, if f is concve function nd t 1,,t n [, 1] re n numbers such tht t i = 1, then n ) f t i x i t i fx i ) B3) Tble B1 Exmples of convex or concve functions Function Second Convexity Derivtive Property x r for rr 1)x r 2 concve for r < 1 r > convex for r 1 ln x 1 x 2 concve xln x 1 x convex e x e x convex

58 B Convex Sets nd Functions Exmple B2 We sw tht the function fx) = ln x is concve Therefore, if t 1,, t n [, 1] re n numbers such tht t i = 1, then n ) ln t i x i t i lnx i This inequlity cn be written s n ) n ln t i x i ln x ti i, or equivlently n t i x i n x ti i, for x 1,,x n, ) In the specil cse where t 1 = = t n = 1 n, we hve the inequlity tht reltes the rithmetic to the geometric verge on n positive numbers: x 1 + + x n n n x i ) 1 n B4) Let w = w 1,,w n ) R n be such tht w i = 1 For r, the w-weighted men of order r of sequence of n positive numbers x = x 1,, x n ) R n > is the number n ) 1 r µ r w x) = w i x r i Of course, µ r w x) is not defined for r = ; we will give s specil definition µ wx) = lim r µ r wx) We hve lim r lnµr w x) = lim r = lim r n = = ln ln w ix r i r w ix r i lnx i w ix r i w i lnx i n x wi i

B Convex Sets nd Functions 581 Thus, if we define µ w x) = n xwi i, the weighted men of order r becomes function continuous everywhere with respect to r For w 1 = = w n = 1 n, we hve µ 1 nx 1 x n w x) = x 2 x n + + x 1 x n 1 the hrmonic verge of x), µ wx) = x 1 x n ) 1 n the geometric verge of x), µ 1 wx) = x 1 + + x n n the rithmetic verge of x) Theorem B21 If p < r, we hve µ p wx) µ r wx) Proof There re three cses depending on the position of reltive to p nd r In the first cse, suppose tht r > p > The function fx) = x r p is convex, so by Jensen s inequlity pplied to x p 1,, xp n, we hve which implies ) r p w i x p i n w i x r i, ) 1 p w i x p i w i x r i ) 1 r, which is the inequlity of the theorem If r > > p, the function fx) = x r p is gin convex becuse f x) = r r p p )x 1 r p 2 Thus, the sme rgument works s in the previous cse Finlly, suppose tht > r > p Since < r p < 1, the function fx) = x r p is concve Thus, by Jensen s inequlity, ) r p w i x p i n w i x r i Since 1 r <, we obtin gin ) 1 p w i x p i w i x r i ) 1 r

C Useful Integrls nd Formuls C1 Euler s Integrls The integrls B, b) = Γ) = x 1 1 x) b 1 dx, x 1 e x dx, re known s Euler s integrl of the first type nd Euler s integrl of the second type, respectively We ssume here tht nd b re positive numbers to ensure tht the integrls re convergent Replcing x by 1 x yields the equlity B, b) = which shows tht B is symmetric Integrting B, b) by prts, we obtin B, b) = = 1 x 1 1 x) b 1 dx 1 x) b 1 d x 1 = x 1 x) 1 b) = b 1 = b 1 1 x) 1 x) b 1 dx = Bb, ), + b 1 x 1 x) b 2 dx x 1 1 x) b 2 dx b 1 b 1 B, b 1) B, b), x 1 1 x) b 1 dx