Convex Optimization and Lagrange Duality
Convex Optimization and Lagrange Duality
Professor M. Chiang
Electrical Engineering Department, Princeton University
February 7, 2007
Lecture Outline
• Convex optimization
• Optimality condition
• Interpretations
• Sensitivity analysis
Thanks: Stephen Boyd (some materials and graphs from Boyd and
Vandenberghe)
Convex Optimization
minimize f0 (x)
subject to fi (x) ≤ 0, i = 1, 2, . . . , m
aT
i x = bi , i = 1, 2, . . . , p
• Epigraph form:
minimize t
subject to f0 (x) − t ≤ 0
fi (x) ≤ 0, i = 1, 2, . . . , m
aT
i x = bi , i = 1, 2, . . . , p
x is optimal for a convex optimization problem iff x is feasible and for all
feasible y:
∇f0 (x)T (y − x) ≥ 0
∇f0 (x) = 0
1 T
Minimize f0 (x) = 2
x Px + qT x + r
∇f0 (x) = P x + q = 0
• If q ∈
/ R(P ), no solution. f0 unbounded below
minimize f0 (x)
subject to fi (x) ≤ 0, i = 1, 2, . . . , m
hi (x) = 0, i = 1, 2, . . . , p
Claim: g(λ, ν) ≤ p∗ , ∀λ 0, ν
Therefore, g(λ, ν) ≤ p∗
Lagrange Dual Function and Conjugate Function
minimize f0 (x)
subject to Ax b
Cx = d
“ ”
T T
g(λ, ν) = inf f0 (x) + λ (Ax − b) + ν (Cx − d)
x
“ ”
T T T T T
= −b λ − d ν + inf f0 (x) + (A λ + C ν) x
x
f0 (x) = n
P
minimize i=1 xi log xi
subject to Ax b
1T x = 1
i=1
Lower bound from Lagrange dual function depends on (λ, ν). What’s the
best lower bound that can be obtained from Lagrange dual function?
maximize g(λ, ν)
subject to λ0
d∗ ≤ p∗
d∗ = p∗
f0 (x∗ ) = g(λ∗ , ν ∗ )
m p
!
X X
= inf f0 (x) + λ∗i fi (x) + νi∗ hi (x)
x
i=1 i=1
m
X p
X
≤ f0 (x∗ ) + λ∗i fi (x∗ ) + νi∗ hi (x∗ )
i=1 i=1
≤ f0 (x∗ )
λ∗i fi (x∗ ) = 0, i = 1, 2, . . . , m
Pn
maximize i=1 log(αi + xi )
subject to x 0, 1T x = 1
Variables: x (powers). Constants: α (noise)
KKT conditions:
x∗ 0, 1T x∗ = 1, λ∗ 0
λ∗i x∗i = 0, −1/(αi + xi ) − λ∗i + ν ∗ = 0
x∗ 0, 1T x∗ = 1
x∗i (ν ∗ − 1/(α∗i + x∗i )) = 0, ν ∗ ≥ 1/(αi + x∗i )
minimize f0 (x)
subject to fi (x) ≤ ui , i = 1, 2, . . . , m
hi (x) = vi i = 1, 2, . . . , p
• If λ∗i is large, tightening ith constraint (ui < 0) will increase optimal
value greatly
• If λ∗i is small, loosening ith constraint (ui > 0) will reduce optimal
value only slightly
Local Sensitivity Analysis
Small λ∗i means tightening or loosening ith constraint will not change
optimal value by much
Lecture Summary