next up previous contents
Next: Exercises Up: Constrained Optimization Previous: Economic Interpretation

Equality and Inequality Constraints

How do we handle both equality and inequality constraints in (P)? Let (P) be:

Maximize f(x)

Subject to

tex2html_wrap_inline367

tex2html_wrap_inline371

tex2html_wrap_inline373

tex2html_wrap_inline649

tex2html_wrap_inline371

tex2html_wrap_inline653

If you have a program with tex2html_wrap_inline655 constraints, convert it into tex2html_wrap_inline657 by multiplying by -1. Also convert a minimization to a maximization.

The Lagrangian is

displaymath661

The fundamental result is the following:

tex2html_wrap955

In this course, we will not concern ourselves with Case (i). We will only look for candidate solutions tex2html_wrap_inline427 for which we can find tex2html_wrap_inline443 and tex2html_wrap_inline693 satisfying the equations in Case (ii) above.

In general, to solve these equations, you begin with complementarity and note that either tex2html_wrap_inline695 must be zero or tex2html_wrap_inline697 . Based on the various possibilities, you come up with one or more candidate solutions. If there is an optimal solution, then one of your candidates will be it.

The above conditions are called the Kuhn-Tucker (or Karush-Kuhn-Tucker) conditions. Why do they make sense?

For tex2html_wrap_inline427 optimal, some of the inequalities will be tight and some not. Those not tight can be ignored (and will have corresponding price tex2html_wrap_inline701 ). Those that are tight can be treated as equalities which leads to the previous Lagrangian stuff. So

displaymath703

forces either the price tex2html_wrap_inline695 to be 0 or the constraint to be tight.

example169

example172

Economic Interpretation

The economic interpretation is essentially the same as the equality case. If the right hand side of a constraint is changed by a small amount tex2html_wrap_inline509 , then the optimal objective changes by tex2html_wrap_inline795 , where tex2html_wrap_inline693 is the optimal Lagrange multiplier corresponding to that constraint. Note that if the constraint is not tight then the objective does not change (since then tex2html_wrap_inline799 ).

Handling Nonnegativity

A special type of constraint is nonnegativity. If you have a constraint tex2html_wrap_inline801 , you can write this as tex2html_wrap_inline803 and use the above result. This constraint would get a Lagrange multiplier of its own, and would be treated just like every other constraint.

An alternative is to treat nonnegativity implicitly. If tex2html_wrap_inline805 must be nonnegative:

  1. Change the equality associated with its partial to a less than or equal to zero:

    displaymath807

  2. Add a new complementarity constraint:

    displaymath809

  3. Don't forget that tex2html_wrap_inline801 for x to be feasible.

Sufficiency of conditions

The Karush-Kuhn-Tucker conditions give us candidate optimal solutions tex2html_wrap_inline427 . When are these conditions sufficient for optimality? That is, given tex2html_wrap_inline427 with tex2html_wrap_inline443 and tex2html_wrap_inline693 satisfying the KKT conditions, when can we be certain that it is an optimal solution?

The most general condition available is:

  1. f(x) is concave, and
  2. the feasible region forms a convex region.

While it is straightforward to determine if the objective is concave by computing its Hessian matrix, it is not so easy to tell if the feasible region is convex. A useful condition is as follows:

The feasible region is convex if all of the tex2html_wrap_inline439 are linear and all of the tex2html_wrap_inline827 are convex.

If this condition is satisfied, then any point that satisfies the KKT conditions gives a point that maximizes f(x) subject to the constraints.

example194

Review of Optimality Conditions.

The following reviews what we have learned so far:

Single Variable (Unconstrained)

Solve f'(x) = 0 to get candidate tex2html_wrap_inline427 .

If tex2html_wrap_inline887 then tex2html_wrap_inline427 is a local min.

tex2html_wrap_inline891 then tex2html_wrap_inline427 is a local max.

If f(x) is convex then a local min is a global min.

f(x) is concave then a local max is a global max.

Multiple Variable (Unconstrained)

Solve tex2html_wrap_inline899 to get candidate tex2html_wrap_inline427 .

If tex2html_wrap_inline903 is positive definite then tex2html_wrap_inline427 is a local min.

tex2html_wrap_inline903 is negative definite tex2html_wrap_inline427 is a local max.

If f(x) is convex then a local min is a global min.

f(x) is concave then a local max is a global max.

Multiple Variable (Equality constrained) Form Lagrangian tex2html_wrap_inline915

Solve tex2html_wrap_inline917 to get candidate tex2html_wrap_inline427 (and tex2html_wrap_inline443 ).

Best tex2html_wrap_inline427 is optimum if optimum exists.

Multiple Variable (Equality and Inequality constrained)

Put into standard form (maximize and tex2html_wrap_inline657 constraints)

Form Lagrangian tex2html_wrap_inline927

Solve

tex2html_wrap_inline929

tex2html_wrap_inline931

tex2html_wrap_inline933

tex2html_wrap_inline935

tex2html_wrap_inline937

to get candidates tex2html_wrap_inline427 (and tex2html_wrap_inline443 , tex2html_wrap_inline693 ).

Best tex2html_wrap_inline427 is optimum if optimum exists.

Any tex2html_wrap_inline427 is optimum if f(x) concave, tex2html_wrap_inline439 convex, tex2html_wrap_inline827 linear.


next up previous contents
Next: Exercises Up: Constrained Optimization Previous: Economic Interpretation

Michael A. Trick
Mon Aug 24 14:26:21 EDT 1998