Title: NLP
1NLP
- KKT Practice and Second Order Conditions from
Nash and Sofer
2Unconstrained
- First Order Necessary Condition
- Second Order Necessary
- Second Order Sufficient
3Easiest Problem
- Linear equality constraints
4KKT Conditions
- Note for equality multipliers are
unconstrained - Complementarity not an issue
5Null Space Representation
- Let x be a feasible point, Axb.
- Any other feasible point can be written as
xxp where Ap0 - The feasible region
- x xp p?N(A)
- where N(A) is null space of A
6Null and Range Spaces
See Section 3.2 of Nash and Sofer for example
7Orthogonality
8Null Space Review
9Constrained to Unconstrained
- You can convert any linear equality constrained
optimization problem to an equivalent
unconstrained problem - Method 1 substitution
- Method 2 using Null space representation and a
feasible point.
10Example
- Solve by substitution
- becomes
11Null Space Method
12General Method
- There exists a Null Space Matrix
-
- The feasible region is
- Equivalent Reduced Problem
13Optimality Conditions
- Assume feasible point and convert to null space
formulation
14Where is KKT?
- KKT implies null space
- Null Space implies KKT
- Gradient is not in Null(A), thus it must be
in Range(A)
15Lemma 14.1 Necessary Conditions
- If x is a local min of f over xAxb, and Z is
a null matrix - Or equivalently use KKT Conditions
-
-
16Lemma 14.2 Sufficient Conditions
- If x satisfies (where Z is a basis matrix for
Null(A)) - then x is a strict local minimizer
17Lemma 14.2 Sufficient Conditions (KKT form)
- If (x,?) satisfies (where Z is a basis matrix
for Null(A)) - then x is a strict local minimizer
18Lagrangian Multiplier
- ? is called the Lagrangian Multiplier
- It represents the sensitivity of solution to
small perturbations of constraints
19Optimality conditions
- Consider min (x24y2)/2 s.t. x-y10
20Optimality conditions
- Find KKT point Check SOSC
21In Class Practice
- Find a KKT point
- Verify SONC and
- SOSC
22Linear Equality Constraints - I
23Linear Equality Constraints - II
24Linear Equality Constraints - III
so SOSC satisfied, and x is a strict local
minimum Objective is convex, so KKT conditions
are sufficient.
25Next Easiest Problem
- Linear equality constraints
- Constraints form a polyhedron
26Close to Equality Case
Equality FONC
a2x b
a2x b
-a2
Polyhedron Axgtb
a3x b
-a1
a4x b
a1x b
contour set of function
unconstrained minimum
Which ?i are 0? What is the sign of ?I?
27Close to Equality Case
Equality FONC
a2x b
a2x b
-a2
Polyhedron Axgtb
a3x b
-a1
a4x b
a1x b
Which ?i are 0? What is the sign of ?I?
28Inequality Case
Inequality FONC
a2x b
a2x b
-a2
Polyhedron Axgtb
a3x b
-a1
a4x b
a1x b
Nonnegative Multipliers imply gradient points to
the less than Side of the constraint.
29Lagrangian Multipliers
30Lemma 14.3 Necessary Conditions
- If x is a local min of f over xAxb, and Z is
a null-space matrix for active constraints then
for some vector ?
31Lemma 14.5 Sufficient Conditions (KKT form)
32Lemma 14.5 Sufficient Conditions (KKT form)
- where Z is a basis matrix for Null(A ) and A
corresponds to nondegenerate active constraints) - i.e.
33Sufficient Example
- Find solution and verify SOSC
-
-
34Linear Inequality Constraints - I
35Linear Inequality Constraints - II
36Linear Inequality Constraints - III
37Linear Inequality Constraints - IV
38Example
39You Try
- Solve the problem using above theorems
40Why Necessary and Sufficient?
- Sufficient conditions are good for?
- Way to confirm that a candidate point
- is a minimum (local)
- Butnot every min satisifies any given SC
- Necessary tells you
- If necessary conditions dont hold then you
know you dont have a minimum. - Under appropriate assumptions, every point that
is a min satisfies the necessary cond. - Good stopping criteria
- Algorithms look for points that satisfy Necessary
conditions
41General Constraints
42Lagrangian Function
- Optimality conditions expressed using
- Lagrangian function
- and Jacobian matrix
- were each row is a gradient of a constraint
43Theorem 14.2 Sufficient Conditions Equality (KKT
form)
44Theorem 14.4 Sufficient Conditions Inequality
(KKT)
45Lemma 14.4 Sufficient Conditions (KKT form)
- where Z is a basis matrix for Null(A ) and A
corresponds to Jacobian of nondegenerate active
constraints) - i.e.
46Sufficient Example
- Find solution and verify SOSC
47Nonlinear Inequality Constraints - I
48Nonlinear Inequality Constraints - II
49Nonlinear Inequality Constraints - III
50Sufficient Example
- Find solution and verify SOSC
51Nonlinear Inequality Constraints - V
52Nonlinear Inequality Constraints - VI
53Theorem 14.1 Necessary Conditions- Equality
- If x is a local min of f over xg(x)0, Z is a
null-space matrix of the Jacobian ?g(x), and x
is a regular point then -
54Theorem 14.3 Necessary Conditions
- If x is a local min of f over xg(x)gt0, Z is
a null-space matrix of the Jacobian ?g(x), and
x is a regular point then -
55Regular point
- If x is a regular point with respect to the
constraints g(x) if the gradient of the active
constraints are linearly independent. - For equality constraints, all constraints are
active so - should have linearly independent rows.
56Necessary Example
- Show optimal solution x1,0
- is regular and find KKT point
57Constraint Qualifications
- Regularity is an example of a constraint
qualification CQ. - The KKT conditions are based on linearizations of
the constraints. - CQ guarantees that this linearization is not
getting us into trouble. Problem is - KKT point might not exist.
- There are many other CQ,e.g., for inequalities
Slater is there exists g(x)lt0. - Note CQ not needed for linear constraints.
58KKT Summary
X is global min
Convex f Convex constraints
X is local min
SOSC
CQ
KKT Satisfied