lecture13

# lecture13 - The Canonical Problem IE417: Nonlinear...

This preview shows pages 1–3. Sign up to view the full content.

IE417: Nonlinear Programming: Lecture 13 Jeﬀ Linderoth Department of Industrial and Systems Engineering Lehigh University 21st March 2006 Jeﬀ Linderoth IE417:Lecture 13 The Canonical Problem min x R n f ( x ) subject to c i ( x ) = 0 i ∈ E c i ( x ) 0 i ∈ I Or if Ω = { x R n | c i ( x ) = 0 , i ∈ E , c i ( x ) 0 , i ∈ I then min x Ω f ( x ) (NLP) Jeﬀ Linderoth IE417:Lecture 13 Recall! Lagrangian L ( x, λ ) = f ( x ) - ± E∪I λ i c i ( x ) Active Set A ( x ) = E ∪ { i ∈ I | c i ( x ) = 0 LICQ Given x * and active set A ( x * ) , the linear indepence constraint qualiﬁcation (LICQ) holds if the set of vectors c i ( x * ) , i ∈ A ( x * ) is linearly independent Jeﬀ Linderoth IE417:Lecture 13 First Order Necessary (KKT) Conditions If x * is a local solution NLP, and LICQ holds at x * , then there exists multipliers λ * i , i ∈ E ∪ cI such that KKT x L ( x * , λ * ) = 0 (1) c i ( x * ) = 0 i ∈ E (2) c i ( x * ) 0 i ∈ I (3) λ * i 0 i ∈ I (4) λ * i c i ( x * ) = 0 i ∈ I ∪ E (5) Can write (1) as 0 = x L ( x * , λ * ) = f ( x * ) - ± i ∈A ( x * ) λ * i c i ( x * ) Jeﬀ Linderoth IE417:Lecture 13

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Example minimize ( x 1 - 2) 2 + x 2 2 subject to c 1 ( x 1 , x 2 ) = x 1 0 ( λ 1 ) c 2 ( x 1 , x 2 ) = x 2 0 ( λ 2 ) c 3 ( x 1 , x 2 ) = (1 - x 1 ) 3 - x 2 0 ( λ 3 ) Jeﬀ Linderoth IE417:Lecture 13 Just Some Notation Feasible Sequence Given x * Ω , { z k } k =0 is a feasible sequence if 1 z k ± = x * k 2 lim k →∞ z k = x * 3 z k is feasible for all k “suﬃciently” large Local Solutions are points x at which all
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 02/29/2008 for the course IE 417 taught by Professor Linderoth during the Spring '08 term at Lehigh University .

### Page1 / 4

lecture13 - The Canonical Problem IE417: Nonlinear...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online