math529 fundamentals of optimization fundamentals of
play

MATH529 Fundamentals of Optimization Fundamentals of Constrained - PowerPoint PPT Presentation

MATH529 Fundamentals of Optimization Fundamentals of Constrained Optimization VI: Duality Marco A. Montes de Oca Mathematical Sciences, University of Delaware, USA 1 / 22 Example: Maximize 3 x + 4 y subject to: x + y 12 x + 4 y 42


  1. MATH529 – Fundamentals of Optimization Fundamentals of Constrained Optimization VI: Duality Marco A. Montes de Oca Mathematical Sciences, University of Delaware, USA 1 / 22

  2. Example: Maximize 3 x + 4 y subject to: x + y ≤ 12 x + 4 y ≤ 42 x , y ≥ 0 2 / 22

  3. Definitions Definition (Supremum) Let f ( x ) be a real valued function on C ⊂ R n . If there is a smallest number β ∈ R such that f ( x ) ≤ β for all x ∈ C , then β is the supremum of f ( x ) on C and write β = sup f ( x ) x ∈ C Example (1) If x ⋆ is the global maximizer of f ( x ) on C , then sup f ( x ) = f ( x ⋆ ). x ∈ C 3 / 22

  4. Definitions Example (2) 2 , where C = { ( x 1 , x 2 ) | x 1 , x 2 ∈ R 2 \ { (0 , 0) }} . 1 Let f ( x ) = x 2 1 + x 2 Since f ( x ) can be made as large as desired by letting x 1 → 0 and x 2 → 0 simultaneously, then there is no upper bound for f ( x ) on C . Thus, strictly speaking, sup x ∈ C f ( x ) does not exist. However, we will write sup x ∈ C f ( x ) = ∞ . Example (3) 1 Let f ( x ) = 1 + e − x , where C = R . In this case, sup x ∈ C f ( x ) = 1, even though here is no global maximizer on C . 4 / 22

  5. Definitions Definition (Infimum) Let f ( x ) be a real valued function on C ⊂ R n . If there is a largest number α ∈ R such that f ( x ) ≥ β for all x ∈ C , then α is the infimum of f ( x ) on C and write β = inf x ∈ C f ( x ) 5 / 22

  6. Duality Let us formulate a general minimization problem as: Minimize f ( x ) subject to: g ( x ) ≥ 0 h ( x ) = 0 The Lagrangian for this problem is therefore: L ( x , λ , µ ) = f ( x ) − λ T g ( x ) − µ T h ( x ), with λ ∈ R m + and µ ∈ R p , where m is the number of inequality constraints and p is the number of equality constraints. 6 / 22

  7. Duality Definition (Primal function) The primal function associated with the optimization problem above is: L p ( x ) = sup L ( x , λ , µ ) ( λ , µ ) Example (Min x 2 + y 2 , s.t. 1 − x 2 + y ≥ 0) 7 / 22

  8. Duality Definition (Dual function) The dual function associated with the optimization problem above is: L d ( λ , µ ) = inf x L ( x , λ , µ ) Example (Min x 2 + y 2 , s.t. 1 − x 2 + y ≥ 0) 8 / 22

  9. Duality The primal problem is to find min x L p ( x ) and the dual problem is to find max L d ( λ , µ ) ( λ , µ ) 9 / 22

  10. Duality Example 1: Find the dual function associated with: Minimize x 2 + y 2 + 2 z 2 subject to: x + z = 4 x + y = 12 10 / 22

  11. Duality Example 2: Minimize c T x subject to: A x ≥ b x ≥ 0 where A is an m × n matrix, c ∈ R n , and b ∈ R m . 11 / 22

  12. Duality The Lagrangian is: c T x + λ T ( b − A x ) = L ( x , λ ) = c T x + λ T b − λ T A x = ( c − A T λ ) T x + λ T b Thus, the dual function is: � � x L ( x , λ ) = λ T b + inf ( c − A T λ ) T x L d ( λ ) = inf x Now, � � ( c − A T λ ) T x inf x is bounded only when c − A T λ ≥ 0. 12 / 22

  13. Duality Therefore, the dual problem can be formulated as follows: Maximize b T λ subject to: A T λ ≤ c λ ≥ 0 13 / 22

  14. Duality Why do we care? 14 / 22

  15. Duality In some cases, the dual problem is easier to solve than the original problem. In other cases, the solution of the dual problem provides a lower bound on the optimal value for the primal problem. Duality theory is used to motivate and develop optimization algorithms In economics, the dual may have an important economic meaning of its own. 15 / 22

  16. Duality First main property of dual functions: Theorem (Concavity of L d ( λ , µ )) The function L d ( λ , µ ) = inf x L ( x , λ , µ ) is concave. L (λ) L 2 (λ)= f ( x 2, y 2 )+λ g ( x 2, y 2 ) L 1 (λ)= f ( x 1, y 1 )+λ g ( x 1, y 1 ) L 3 (λ)= f ( x 3, y 3 )+λ g ( x 3, y 3 ) λ 16 / 22

  17. Duality Second main property of dual functions: Theorem (Weak duality (Lower bounds for objective function)) x and any ¯ µ ∈ R p , For any feasible solution ¯ λ ≥ 0 and ¯ L d (¯ λ , ¯ µ ) ≤ f (¯ x ) . Proof: By definition: λ T g ( x ) − ¯ L d (¯ x L ( x , ¯ x ( f ( x ) − ¯ µ T h ( x )) ≤ λ , ¯ µ ) = inf λ , ¯ µ ) = inf ✿ o λ T g (¯ x ) − ¯ µ T h (¯ x ) − ✘✘✘✘ ✘ f (¯ ¯ x ) ≤ f (¯ x ) because at ¯ x , g (¯ x ) ≥ 0 . 17 / 22

  18. Duality It follows that for the optimal ( λ ⋆ , µ ⋆ ) and the optimal x ⋆ , the difference L p ( x ⋆ ) − L d ( λ ⋆ , µ ⋆ ), called duality gap , is minimal. (If the duality gap is 0, we talk about strong duality .) 18 / 22

  19. Economic Interpretation of a Dual Back to the diet problem: Food 1: $0.6 cts per 100 g. Food 2: $1 cts per 100 g. Nutrient Food 1 Food 2 Minimum Daily Requirement Calcium 10 4 20 Protein 5 5 20 Vitamins 2 6 12 19 / 22

  20. Economic Interpretation of a Dual Primal problem: Minimize C = 0 . 6 x + y subject to: 10 x + 4 y ≥ 20 5 x + 5 y ≥ 20 2 x + 6 y ≥ 12 x , y ≥ 0 20 / 22

  21. Economic Interpretation of a Dual Dual problem: Maximize V = 20 u + 20 v + 12 w subject to: 10 u + 5 v + 2 w ≤ 0 . 6 4 u + 5 v + 6 w ≤ 1 u , v , w ≥ 0 21 / 22

  22. Economic Interpretation of a Dual Dimensional analysis of the primal problem: x , y are in units of 100g, that is, hg. Coefficients of objective function are in $ / hg Coefficient matrix is in (nutritional content / hg). Dimensional analysis of the dual problem: u , v , w are expressed in ($ / nutritional content) units. Coefficients of objective function are in nutritional content units. Coefficient matrix is in (nutritional content / hg). 22 / 22

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend