24.03.2013 Views

Linear Programming Lecture Notes - Penn State Personal Web Server

Linear Programming Lecture Notes - Penn State Personal Web Server

Linear Programming Lecture Notes - Penn State Personal Web Server

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

[0 1]<br />

[1 2]<br />

System 2 has<br />

a solution<br />

Positive cone<br />

[1 -1]<br />

System 1 has<br />

a solution<br />

Figure 8.3. An example of Farkas’ Lemma: The vector c is inside the positive cone<br />

formed by the rows of A, but c ′ is not.<br />

and the vector c = 1 2 . For this matrix and this vector, does System 1 have a solution or<br />

does System 2 have a solution? [Hint: Draw a picture illustrating the positive cone formed<br />

by the rows of A. Draw in c. Is c in the cone or not?]<br />

2.2. Theorems of the Alternative. Farkas’ lemma can be manipulated in many ways<br />

to produce several equivalent statements. The collection of all such theorems are called<br />

Theorems of the Alternative and are used extensively in optimization theory in proving<br />

optimality conditions. We state two that will be useful to us.<br />

Corollary 8.5. Let A ∈ R k×n and E ∈ R l×n . Let c ∈ R n be a row vector. Suppose<br />

d ∈ R n is a column vector and w ∈ R k is a row vector and v ∈ R l is a row vector. Let:<br />

and<br />

M =<br />

<br />

A<br />

E<br />

u = w v <br />

[1 0]<br />

Then exactly one of the following systems has a solution:<br />

(1) Md ≤ 0 and cd > 0 or<br />

(2) uM = c and u ≥ 0<br />

Proof. Let x = −d. Then Md ≤ 0 implies Mx ≥ 0 and cd > 0 implies cx < 0. This<br />

converts System 1 to the System 1 of Farkas’ Lemma. System 2 is already in the form found<br />

in Farkas’ Lemma. This completes the proof. <br />

Exercise 61. Prove the following corollary to Farkas’ Lemma:<br />

Corollary 8.6. Let A ∈ R m×n and c ∈ R n be a row vector. Suppose d ∈ R n is a<br />

column vector and w ∈ R m is a row vector and v ∈ R n is a row vector. Then exactly one of<br />

the following systems of inequalities has a solution:<br />

(1) Ad ≤ 0, d ≥ 0 and cd > 0 or<br />

(2) wA − v = c and w, v ≥ 0<br />

[Hint: Write System 2 from this corollary as wA − Inv = c and then re-write the system<br />

with an augmented vector [w v] with an appropriate augmented matrix. Let M be the<br />

augmented matrix you identified. Now write System 1 from Farkas’ Lemma using M and x.<br />

Let d = −x and expand System 1 until you obtain System 1 for this problem.]<br />

125

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!