FE501 – NLP Summary Convex and Concave Functions Single variable case (1) ∀ x ∈ S , f ″ ( x ) ≥ 0 ⇒ f ( x ) is convex ∀ x ∈ S , f ″ ( x ) ≤ 0 ⇒ f ( x ) is concave
Multiple variable case (2) H = [ a d c b ] P M 1 ( 1 ) = a , P M 1 ( 2 ) = b , P M 2 = a × b − c × d (3) ∀ ( x 1 , ⋯ , x n ) ∈ S , P M k ≥ 0 ⇒ f ( x 1 , ⋯ , x n ) is convex ∀ ( x 1 , ⋯ , x n ) ∈ S , ( − 1 ) k ⋅ P M k ≥ 0 ⇒ f ( x 1 , ⋯ , x n ) is concave
Solving NLP with one variables (4) max ( min ) f ( x ) s . t . x ∈ [ a , b ] Step 1 : find all stationary points. Find other points where f’(x) dose not exist. Check values of z at endpoints. (a,b, ∞ ) (5) if f ′ ( x 0 ) = 0 , f ″ ( x 0 ) < 0 , a < x 0 < b ⇒ x 0 is local max if f ′ ( x 0 ) = 0 , f ″ ( x 0 ) > 0 , a < x 0 < b ⇒ x 0 is local min Unconstrained NLPs with multiple variables (6) max ( o r min ) f ( x 1 , ⋯ , x n ) s . t . ( x 1 , ⋯ , x n ) ∈ R First find all local extremum points ( x ¯ ) :
(7) let f ′ = 0 to get x ¯ if H k ( x ¯ ) > 0 ⇒ x ¯ is a local min if ( − 1 ) k ⋅ H k ( x ¯ ) > 0 ⇒ x ¯ is a local max Constrained NLPs with multiple variables Equality (Lagrangian) (8) max ( o r min ) f ( x 1 , ⋯ , x n ) s . t . h 1 ( x 1 , ⋯ , x n ) = b 1 h 2 ( x 1 , ⋯ , x n ) = b 2 ⋯ h m ( x 1 , ⋯ , x n ) = b m Write Lagrangian function
(9) min L = f + ∑ i = 1 m λ i ( h i − b i ) max L = f + ∑ i = 1 m λ i ( b i − h i ) Solve
Inequality (KKT) (11) max ( o r min ) f ( x 1 , ⋯ , x n ) s . t . g 1 ( x 1 , ⋯ , x n ) = b 1 g 2 ( x 1 , ⋯ , x n ) ≤= b 2 ⋯ g m ( x 1 , ⋯ , x n ) ≤ b m Then write Lagrangian function
(12) min L = f + ∑ i = 1 m μ i ( g i − b i ) max L = f + ∑ i = 1 m μ i ( b i − g i ) Then write KKT conditions and solve:
stationary . ∂ f / ∂ x i = 0 original. g i ≤ b i Complementary μ ( g i − b i ) = 0 (min) Dual. μ ≥ 0
Important Notice from Hocam:
In contrained NLPs you cannot check the type of the candidate point by evaluating the Hessian matrix as we do in unconstrained optimization. We determined the local maximality of the point by evaluating some neighboring points. There is a method called restricted Lagrangean, but beyond the material we cover in this class