Exercise 4.10 (Saddle points of the Lagrangean)

Consider the standard form problem of minimizing c x subject to Ax = b and x 0 .We define the Lagrangean by

L ( x , p ) = c x + p ( b Ax ) .

Consider the following ”game”: player 1 choose some x 0 , and player 2 chooses some p ;then player 1 pays to player 2 the amount L ( x , p ) . player 1 would like to minimize L ( x , p ) , while player 2 would like to maximize it.

A pair x , p ,with x 0 , is called an equilibrium point (or a saddle point, or a Nash equilibrium if

L ( x , p ) L ( x , p ) L ( x , p ) , x 0 , p .

(Thus, we have an equilibrium if no player is able to improve her performance by unilaterally modifying her choice.)

Show that a pair x , p is an equilibrium if and only if x and p are optimal solution to the standard form problem under consideration and its dual respectively.

Answers

1 Saddle points of the Lagrangean

first we want to proof the two inequality:

L ( p , x ) L ( p , x )

L ( p , x ) L ( p , x )

we transform it to:

c x + p ( b Ax ) c x p ( b A x ) 0

c x + p ( b A x ) c x p ( b A x ) 0

And then we will discuss the problem in some situation

First we think the that x , p is the optimal solution of the primal and dual problem. We will find that x satisfy A x = b , so the first inequality come to c x c x + p ( b Ax ) 0 it is equal to ( c p A ) x + p b c x as the strong dual and the feasibility of the p we know that ( c p A ) x = 0 and c p A 0 so we hold the first inequality and because x is the optimal solution and it satisfy A x = b so the second inequality is right.

Second we consider the situation that x satisfy A x = b but it is not the optimal so for the first inequality we let x = 0 ,then we find that p b c x 0 so the first inequality does not hold, and the situation about the dual is similar

Final we will discuss the situation that the constrains is not active, we can see that if the primal problem does not follow the constrain, for the second inequality there must be some element that not equal to 0, because of p can can be any real number, we can let p be a large number that make the inequality not hold, the dual is similar

User profile picture
2024-08-09 14:33
Comments