Inequality constraints
Active constraints
Regularity
MATH3161/MATH5165 (Optimization)
Session 1, 2014
1 / 28
Inequality constraints
Problem considered
Basic problem
Minimize f (x)
x
Unconstrained problem: = Rn
Equality constrained problem:
= { x Rn : ci (x) = 0, i = 1, . . . , m }
Inequality constrained problem:
= {x Rn
: ci (x) = 0, i = 1, . . . , mE ,
ci (x) 0, i = mE + 1, . . . , m}
Notes
Set of equality constraints E = { 1, . . . , mE }
Set of inequality constraints I = { mE + 1, . . . , m }
Feasible point must satisfy all equality and all inequality constraints
Which inequality constraints are active at the solution?
MATH3161/MATH5165 (Optimization)
Session 1, 2014
2 / 28
Inequality constraints
Active constraints
Active constraints
Feasible region
= {x Rn :
ci (x) = 0, i E,
ci (x) 0, i I}
(= mE = 0)
Session 1, 2014
3 / 28
Inequality constraints
Active constraints
4.5
3.5
3.5
(5)
(1)
(2)
2.5
x
1.5
1.5
(4)
(4)
(6)
(2)
0.5
(6)
0.5
x(3)
0.5
2
(5)
(1)
2.5
1.5
0.5
0
x
x(3)
0.5
1.5
0.5
2
1.5
MATH3161/MATH5165 (Optimization)
0.5
0
x
0.5
1.5
Session 1, 2014
4 / 28
Inequality constraints
Regularity
Regularity
Definition (Regular point)
A feasible point x is a regular point the gradients of the active
constraints ci (x), i A(x) are linearly independent
Example (Regular points)
= {x R2 : c1 (x) := x21 x2 0,
c3 (x) := x1 + x2 2 0,
1 Which of these points are regular points?
0
0
(2)
(3)
(4)
x =
, x =
,x =
1
0
c2 (x) := x1 1 0,
c4 (x) := x1 + x2 4 0}
1
1
(5)
,x
1
3
4.5
3.5
(1)
(2)
(5)
2.5
x2
1.5
(4)
(6)
0.5
x(3)
0.5
2
MATH3161/MATH5165 (Optimization)
1.5
0.5
0
x1
0.5
1.5
Session 1, 2014
5 / 28
KKT conditions
KKT conditions
Proposition (Karush-Kuhn-Tucker (KKT) conditions)
f , ci , i = 1, . . . , m continuously differentiable on . x a local minimizer
and a regular point = there exist multipliers i , i = 1, . . . , m:
m
X
i ci (x ) = 0
(1a)
x L(x , ) = f (x ) +
i=1
i = 1, . . . , mE
(1b)
i = mE + 1, . . . , m
(1c)
ci (x ) = 0,
ci (x ) 0,
i 0,
i ci (x )
i = mE + 1, . . . , m
= 0,
(1d)
i = 1, . . . , m
(1e)
Session 1, 2014
6 / 28
Complementarity
Complementarity
Definition (Complementarity conditions)
i ci (x ) = 0 i = 1, . . . , m
Inequality constraint i: x feasible, but not active = ci (x ) < 0
ci (x ) < 0, complementarity i ci (x ) = 0 = multiplier i = 0
Inactive constraints: multipliers zero = KKT conditions are
X
i ci (x ) = 0
(2a)
f (x ) +
iA
(2b)
ci (x ) 0 i = mE + 1, . . . , m
(2c)
i
i
0 i = mE + 1, . . . , m
(2d)
(2e)
ci (x ) = 0 i = 1, . . . , mE
MATH3161/MATH5165 (Optimization)
= 0 i 6 A
Session 1, 2014
7 / 28
Session 1, 2014
8 / 28
c1 (x) := x21 x2 0,
c2 (x) := x1 1 0,
c3 (x) := x1 + x2 2 0,
c4 (x) := x1 + x2 4 0}
Show that x = [ 0 2
]T
x2
2
m = 4, I = { 1, 2, 3, 4 }
MATH3161/MATH5165 (Optimization)
Session 1, 2014
9 / 28
4.5
21
15
4
9
6
3.5
(5)
2.5
x2
1.5
1.75
2.5
2
1.75
1.5
1.5
x(4)
x(6)
0.5
0.75
1.25
0.5
x(3)
0.5
2
9
15
21
1.5
0.5
0.5
1.5
x1
MATH3161/MATH5165 (Optimization)
Session 1, 2014
10 / 28
x = [ 0 2 ]T =
c(x) = [ 2 1 0 2 ]T 0 = x feasible
Active constraints: A(x) = { 3 }
i = 0, i = 1, 2, 4
Inactive constraints: ci (x) < 0, i = 1, 2, 4 =
Gradient of Lagrangian
X
i ci (x) = f (x) +
3 c3 (x) = 0
f (x) +
iA(x)
0
1
2
3
+
1
1
0
0
MATH3161/MATH5165 (Optimization)
Session 1, 2014
11 / 28
x(3) = [ 0 0 ]T =
c(x(3) ) = [ 0 1 2 4 ]T 0 = x feasible
Active constraints: A(x(3) ) = { 1 }
Inactive constraints: ci (x(3) ) < 0, i = 2, 3, 4 = i = 0, i = 2, 3, 4
Gradient of Lagrangian
X
f (x(3) ) +
i ci (x(3) ) = f (x(3) ) + 1 c1 (x(3) ) = 0
iA(x(3) )
0
47
2
+ 1
0
1
0
0
(3)
(3)
constrained stationary point
Solution exists with 1 = 47
2 = x
(3)
Constraint c1 is an inequality constraint, 1 < 0 =
MATH3161/MATH5165 (Optimization)
Session 1, 2014
12 / 28
1
2
=0
8 (x 1) (x 2) (x 3) + 1
2
21
15
4
40
9
6
30
3.5
4
3
x(5)
1.5
20
1.75
2.5
10
2.5
x2
50
4.5
2
1.75
1.5
1.5
(4)
10
(6)
0.5
20
0.75
1.25
0.5
0.5
2
30
(3)
40
15
21
50
1.5
0.5
0.5
1.5
0.5
x1
MATH3161/MATH5165 (Optimization)
1.5
2
x2
2.5
3.5
Session 1, 2014
13 / 28
x2 = 0
x = x21
= 2 2
= b
x=
x1 + x2 2 = 0
x1 x1 2 = 0
At b
x=[2
4 ]T ,
c(b
x) = [ 0
1 0
2
4
(4)
,x
1
1
2 ]T = b
x is not feasible
At x(4) = [ 1 1 ]T , c(x(4) ) = [ 0 2
0 4 ]T = x(4) feasible
2
1
2
(4)
+ 1
2
1
+ 3
1
1
=0
(4)
Session 1, 2014
14 / 28
21
15
4
9
6
3.5
4
3
x(5)
1.5
1.75
2.5
2
2.5
2
1.75
1.5
1.5
(4)
(6)
0.5
0.75
1.25
0.5
x(3)
0.5
2
9
15
21
1.5
0.5
0.5
1.5
MATH3161/MATH5165 (Optimization)
Session 1, 2014
15 / 28
Sufficient conditions
(3a)
iA
ci (x ) = 0
ci (x ) 0
i
i
i E,
(3b)
i I,
(3c)
(3d)
(3e)
= 0 i 6 A ,
0 i A I,
dT x2 L(x , )d > 0
F =
for all d F
dT c (x ) = 0 i E {i I : i > 0}
.
d Rn : T i
d ci (x ) 0 i {i A I : i = 0}
Session 1, 2014
16 / 28
Sufficient conditions
Strict complementarity
Definition (Strict complementarity)
Constrained stationary point x , satisfies strict complementarity if
i > 0
for all i A I
F = d Rn : d = Z v, v Rnt
nt
MATH3161/MATH5165 (Optimization)
Session 1, 2014
17 / 28
Sufficient conditions
MATH3161/MATH5165 (Optimization)
Session 1, 2014
18 / 28
Sufficient conditions
x2
2
c1 (x) := x21 x2 0,
c2 (x) := x1 1 0,
c3 (x) := x1 + x2 2 0,
c4 (x) := x1 + x2 4 0}
Solution
c(x(3) ) = [ 0 1 2 4 ]T 0 = x feasible
Active constraints:
A(x(3) ) = { 1 }
(3)
Session 1, 2014
19 / 28
Sufficient conditions
2x1
1
0
0
(3)
(3)
Session 1, 2014
20 / 28
Sensitivity analysis
Constraint perturbations
Session 1, 2014
21 / 28
Sensitivity analysis
Constraint perturbations
Sensitivity Example
Example (Sensitivity Example)
Replace c1 (x) = x21 x2 0 by c1 (x) = x21 x2 + 1 0. When 1 = 0.1,
estimate objective value change f for local maximizer x(1 ): x(0) = x(3)
Solution
(3)
At x(3) = [ 0 0 ]T , f (3) = 9 and 1 = 47
2
(3)
Optimal value
20
15
10
5
0.5
MATH3161/MATH5165 (Optimization)
0.4
0.3
0.2
0.1
0
0.1
Perturbation 1
0.2
0.3
0.4
0.5
Session 1, 2014
22 / 28
Sensitivity analysis
Constraint perturbations
Convex Programming
Proposition(KKT Sufficiency for global optimality). Let x be a
feasible point. Let, for each i = 1, . . . , mE , ci be affine (i.e. both
convex and concave), for each i = mE + 1, . . . , m, ci be convex, and
f be convex on . Assume that KKT conditions (1a)(1e) hold.
Then, x is a global minimizer.
Note: If, for each i = 1, . . . , mE , ci is affine (i.e. both convex and
concave), for each i = mE + 1, . . . , m, ci is convex, and f is convex
on then the optimization problem is a convex programming
problem.
Proposition: If the problem is a convex programming problem, then
any constrained stationary point x with i 0 for all i A I is a
global minimzer.
MATH3161/MATH5165 (Optimization)
Session 1, 2014
23 / 28
Duality
(4)
i E,
i I.
ci (x) 0, i I }
Lagrange function: Rn Rm R
L(x, ) = f (x) +
m
X
i=1
Session 1, 2014
24 / 28
Duality
Dual problem
Wolfe Dual problem
Maximize
L(y, )
n
m
y R , R
Subject to
y L(y, ) = 0,
i 0, i I,
(5)
Dual variables Rm
Inequality constraints = i 0, i I
Proposition (Weak duality): Let the problem (4) be a convex
programming problem. If x is a feasible point for (4) and (y, ) is a
feasible point of the dual problem (5) then
f (x) L(y, ).
In particular, the minimum objective value of (4) is bigger than or
equal to the maximum objective value of the dual problem.
MATH3161/MATH5165 (Optimization)
Session 1, 2014
25 / 28
Duality
Wolfe Duality
Strong Duality
Proposition (Wolfe Dual)
Convex primal problem (4) with continuously differentiable f , ci , i E I.
If x solves (4) and a regularity condition holds, then x , solves the
dual problem
Maximize
L(x, )
n
m
x R , R
Subject to
x L(x, ) = 0,
i 0, i I,
f (x ) = L(x , ), minimum value of primal = maximum value of dual
Convexity of the primal problem is critical
f , ci , i I convex and ci , i E affine =
convex set
Session 1, 2014
26 / 28
Duality
where
=
Maximize bT
Rm
Subject to A + g = 0,
I 0,
E
I
MATH3161/MATH5165 (Optimization)
b=
bE
bI
A=
AE
AI
Session 1, 2014
27 / 28
Duality
Lagrangian
L(x, ) = gT x + TE (ATE x + bE ) + TI (ATI x + bI )
Lagrangian gradient
x L(x, ) = g + AE E + AI I = g + A = 0
Lagrangian
L(x, ) = gT x + TE (ATE x + bE ) + TI (ATI x + bI )
= (g + AE E + AI I )T x + TE bE + TI bI
= T b
Wolfe dual then gives the desired dual linear program
MATH3161/MATH5165 (Optimization)
Session 1, 2014
28 / 28