Download presentation
Presentation is loading. Please wait.
Published byμ§μ° μ Modified over 5 years ago
1
CSE 203B: Convex Optimization Week 4 Discuss Session
Xinyuan Wang 01/30/2019
2
Contents Convex functions (Ref. Chap.3)
Review: definition, first order condition, second order condition, operations that preserve convexity Epigraph Conjugate function
3
Review of Convex Function
Definition ( often simplified by restricting to a line) First order condition: a global underestimator Second order condition Operations that preserve convexity Nonnegative weighted sum Composition with affine function Pointwise maximum and supremum Composition Minimization Perspective See Chap 3.2, try to prove why the convexity is preserved with those operations.
4
Epigraph πΌ-sublevel set of π: π
π βπ
πΆ πΌ = π₯βπππ π π π₯ β€πΌ}
πΆ πΌ = π₯βπππ π π π₯ β€πΌ} sublevel sets of a convex function are convex for any value of πΌ. Epigraph of π: π
π βπ
is defined as ππ©π’ π= (π₯,π‘) π₯βπππ π,π π₯ β€π‘}β π
π+1 A function is convex iff its epigraph is a convex set.
5
Relation between convex sets and convex functions
A function is convex iff its epigraph is a convex set. Consider a convex function π and π₯, π¦βπππ π π‘β₯π π¦ β₯π π₯ +π»π π₯ π (π¦βπ₯) The hyperplane supports epi π at (π₯, π π₯ ), for any π¦,π‘ βππ©π’ πβ π»π π₯ π π¦βπ₯ +π π₯ βπ‘β€0 β π»π π₯ β1 π π¦ π‘ β π₯ π π₯ β€0 First order condition for convexity epi π π‘ π₯ Supporting hyperplane, derived from first order condition
6
Pointwise Supremum If for each π¦βπ, π(π₯, π¦): π
π βπ
is convex in π₯, then function π(π₯)= sup π¦βπ π(π₯,π¦) is convex in π₯. Epigraph of π π₯ is the intersection of epigraphs with π and set π ππ©π’ π= β© π¦βπ ππ©π’ π(β ,π¦) knowing ππ©π’ π(β ,π¦) is a convex set (π is a convex function in π₯ and regard π¦ as a const), so ππ©π’ π is convex. An interesting method to establish convexity of a function: the pointwise supremum of a family of affine functions. (ref. Chap 3.2.4)
7
Conjugate Function Given function π: π
π βπ
, the conjugate function
π β π¦ = sup π₯βπππ π π¦ π π₯ βπ(π₯) The dom π β consists π¦β π
π for which sup π₯βπππ π π¦ π π₯ βπ(π₯) is bounded Theorem: π β (π¦) is convex even π π₯ is not convex. Supporting hyperplane: if π is convex in that domain Slope π¦=β1 ( π₯ , π( π₯ )) where π» π π π₯ =π¦ if π is differentiable Slope π¦=0 (0, β π β (0)) (Proof with pointwise supremum) π π» π βπ(π) is affine function in π
8
Examples of Conjugates
Derive the conjugates of π:π
βπ
π β π¦ = sup π₯βπππ π π¦π₯ βπ(π₯) Affine quadratic Norm See the extension to domain πΉ π in Example 3.21
9
Examples of Conjugates
Log-sum-exp: π π₯ = log ( Ξ£ π=1 n π π₯ π ) , π₯β π
π . The conjugate is π β π¦ = sup π₯βπππ π π¦ π π₯ βπ(π₯) Since π(π₯) is differentiable, first calculate the gradient of π π₯ = π¦ π π₯ βπ(π₯) π»π π₯ =π¦β π π π π where π= π π₯ 1 , β― π π₯ π π . The maximum of π π₯ is attained at π»π π₯ =0, so that π¦= π π π π . π¦ π = π π₯ π Ξ£ π=1 n π π₯ π , π=1,β¦, π Does the bounded supremum (not ββ) exist for all πβ πΉ π ?
10
Examples of Conjugates
Does the bounded supremum (not ββ) exist for all πβ πΉ π ? If π¦ π <0, then the gradient on π» π π= π¦ π β π π₯ π Ξ£ π=1 n π π₯ π <0 for all π₯ π βπ
. Then π π₯ reaches maximum at β at π₯βββ. So π¦β½0. To have π¦= π 1 π π solvable, we notice that π π π¦= π π π 1 π π =1. If π π π¦β 1 and π¦β½0, we choose π₯=π‘π s.t. π π₯ = π¦ π π₯ βπ π₯ =π‘ π¦ π πβ log π π π‘ =π‘ π¦ π πβ1 β log π π π₯ reaches maximum at β when we let π‘ββ(ββ), which is not bounded. The conjugate function π β π¦ = Ξ£ π=1 n π¦ π log π¦ π if π π π¦=1 and π¦β½0 β otherwise
Similar presentations
Β© 2025 SlidePlayer.com Inc.
All rights reserved.