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.