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_inline6970

tex2html_wrap_inline6974

tex2html_wrap_inline6976

tex2html_wrap_inline7252

tex2html_wrap_inline6974

tex2html_wrap_inline7256

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

The Lagrangian is

displaymath7264

The fundamental result is the following:

tex2html_wrap7558

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

In general, to solve these equations, you begin with complementarity and note that either tex2html_wrap_inline7298 must be zero or tex2html_wrap_inline7300 . 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_inline6668 optimal, some of the inequalities will be tight and some not. Those not tight can be ignored (and will have corresponding price tex2html_wrap_inline7304 ). Those that are tight can be treated as equalities which leads to the previous Lagrangian stuff. So

displaymath7306

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

example1786

example1789

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_inline6034 , then the optimal objective changes by tex2html_wrap_inline7398 , where tex2html_wrap_inline7296 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_inline7402 ).

Handling Nonnegativity

A special type of constraint is nonnegativity. If you have a constraint tex2html_wrap_inline7404 , you can write this as tex2html_wrap_inline7406 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_inline7408 must be nonnegative:

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

    displaymath7410

  2. Add a new complementarity constraint:

    displaymath7412

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

Sufficiency of conditions

The Karush-Kuhn-Tucker conditions give us candidate optimal solutions tex2html_wrap_inline6668 . When are these conditions sufficient for optimality? That is, given tex2html_wrap_inline6668 with tex2html_wrap_inline7046 and tex2html_wrap_inline7296 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_inline7042 are linear and all of the tex2html_wrap_inline7430 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.

example1811

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_inline6668 .

If tex2html_wrap_inline7490 then tex2html_wrap_inline6668 is a local min.

tex2html_wrap_inline7494 then tex2html_wrap_inline6668 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_inline7502 to get candidate tex2html_wrap_inline6668 .

If tex2html_wrap_inline6762 is positive definite then tex2html_wrap_inline6668 is a local min.

tex2html_wrap_inline6762 is negative definite tex2html_wrap_inline6668 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_inline7518

Solve tex2html_wrap_inline7520 to get candidate tex2html_wrap_inline6668 (and tex2html_wrap_inline7046 ).

Best tex2html_wrap_inline6668 is optimum if optimum exists.

Multiple Variable (Equality and Inequality constrained)

Put into standard form (maximize and tex2html_wrap_inline7260 constraints)

Form Lagrangian tex2html_wrap_inline7530

Solve

tex2html_wrap_inline7532

tex2html_wrap_inline7534

tex2html_wrap_inline7536

tex2html_wrap_inline7538

tex2html_wrap_inline7540

to get candidates tex2html_wrap_inline6668 (and tex2html_wrap_inline7046 , tex2html_wrap_inline7296 ).

Best tex2html_wrap_inline6668 is optimum if optimum exists.

Any tex2html_wrap_inline6668 is optimum if f(x) concave, tex2html_wrap_inline7042 convex, tex2html_wrap_inline7430 linear.


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

Michael A. Trick
Mon Aug 24 16:30:59 EDT 1998