Академический Документы
Профессиональный Документы
Культура Документы
(i)
subject to
x + 2y 1
x + y 1,
x, y 0.
We have seen before that this problem does not have a feasible solution, hence does not have an
optimal solution.
The dual of the above problem is given by
Min u v
subject to
u + v 1
2u v 2
u 0, v 0.
Check that the above problem has a feasible solution but not an optimal solution.
In order to however prove the fundamental theorem of duality we need to look at solutions of
certain systems of equations and inequalities.
Theorem 3: Exactly one of the following systems has a solution.
Amn x = b
yT A = 01n ,
(1)
yT b = 1
(2)
Note that Ax = b has a solution means that there exists real numbers, x1 , . . . , xn , such that
1 x1 + a
2 x2 + ... + a
n xn = b, that is b lies in the plane spanned by the columns of A.
a
T
T
1 = yT a
2 = .... = yT a
n = 0, that is there exists
y A = 0, y b = 1 has a solution means that yT a
a vector y which is orthogonal to every column of A but not orthogonal to b( it actually makes an
acute angle with b).
Proof:
()
It is obvious that both (1) and (2) cannot have solutions.
This is because, if we multiply equation (1) with yT the solution of (2), then we get
yT Ax = yT b = 0, but then this contradicts that yT b = 1.
()
Suppose if (1) does not have a solution then to show that (2) has a solution.
If (1) does not have a solution then the columns of A do not span the whole of Rm . Hence
rank(A) = r < m.
WLOG let {a1 , a2 , ...., ar } be a collection of r LI columns of A then (1) does not have a solution
implies that the set {a1 , a2 , ...., ar , b} is LI.
Let Cm(r+1) be the matrix defined as Cm(r+1) = [a1 , a2 , ...., ar , b], then rank(C) = r + 1.
Since rank(C T ) = r + 1 and since the columns of C T are elements of Rr+1 , hence the m columns
of C T span the whole of Rr+1 .
So if we consider the vector z, with (r + 1) components, such that z = [0, ..., 0, 1]T ,
T
then there exists a y Rm such that C(r+1)m
y = z, that is yT C = zT = [0, ..., 0, 1]
or yT ai = 0 for i = 1, . . . , r and yT b = 1.
Note that this implies that yT ai = 0 for all i = 1, 2, . . . , n, since for all i = 1, 2, . . . , n
ai = ui1 a1 + . . . + uir ar for some real uij s, i = 1, . . . , n, j = 1, 2, . . . , r.
Hence yT ai = 0 for i = 1, . . . , r, implies yT ai = 0 for all i = 1, 2, . . . , n, which together with
yT b = 1 shows that (2) has a solution.
()
Note that if (2) does not have a solution then (1) must have a solution, since
if (1) does not have a solution then we have just proved in () that (2) must have a solution.
Hence (*), (**), (***) together proves that exactly one of the two systems has a solution.
Theorem 4: (Farkas Lemma) Exactly one of the following two systems has a solution.
Amn x = b, x 0
(1)
yT A 01n , yT b < 0
(2)
System 1 has a solution means that b belongs to the cone generated by the columns of A.
Whereas system 2 has a solution means there exists a hyperplane (with normal y) which separates
the cone generated by the columns of A and the vector b, in the sense that the cone lies in one of the
closed half spaces associated with this hyperplane and the vector b lies in the other open half space.
Proof: It is easy to check that both the two systems cannot have a solution.
If we multiply equation (1) with yT , the solution of (2) then we get
0 yT Ax = yT b, but this contradicts that yT b < 0.
The proof of the part that if (1) does not have a solution then (2) has a solution, and vice versa,
we will postpone it for later consideration.
Corollary 4: Exactly one of the following two systems has a solution.
Amn x b, x 0
yT A 0,
yT b < 0,
(1)
y0
(2)
0
Proof: Note that system
(1) has a solution if and only if system (1) given below, has a solution.
x
Amn x + u = [A : I]
= b, x 0, u 0
(1)0
u
But from the previous theorem, exactly one of the following two systems has a solution.
x
x
[A : I]
= b,
0
(1)0
u
u
yT [A : I] [01n , 01m ],
yT b < 0
(2)0
can show that if the dual does not have a feasible solution then the primal (dual of the dual) does
not have an optimal solution.
So the proof of the Fundamental theorem of duality will be complete if we can show that if
F ea(P ) and F ea(D) are both nonempty, then their optimal values will be same ( we have already
seen that in this case both will have optimal solutions ).
So we need to show that if F ea(P ) 6= and F ea(D) 6= , then the following system (1) has a
solution:
Amn x b, x 0
(1)
AT y c, y 0
cT x = bT y
The first two inequalities correspond to F ea(P ) and F ea(D), respectively. We have already
seen that if x F ea(P ) and y F ea(D) then cT x bT y, hence system (1) given above has a
solution if and only if, system (1)0 given below has a solution:
(1)0
Amn x b, x 0
AT y c, y 0
cT x bT y
System (1)0 can be written as:
Amn 0mm
b
x
0nn ATnm
c ,
y
T
T
0
c1n b1m
x
y
0n1
0m1
(1)0 .
If system (1)0 does not have a solution then from corollary 4, system (2)0 given below has a
solution.
A
0
b
mn
mm
T
T
T
z1m w1n
a11 0nn ATnm 01n 01m ,
z1m w1n
a11 c < 0 (2)0
0
cT1n bT1m
T
zT1m w1n
a11
0m+n+1
or
(i)
wT AT + abT 0, wT 0, a 0
or
Aw ab, w 0, a 0
(ii)
zT b < w T c
z
a
(iii)
3y1 + 4y2 2
y1 , y2 0
(iii)0
Let us try to obtain an optimal solution of the primal by starting with simple feasible solutions
of the primal (P) and trying to find feasible solutions of the dual satisfying complementary slackness
property with the feasible solutions of the primal.
Note that since the primal (P) is a maximization problem, and the increase in the value of the objective function for unit increase in x1 and x2 is twice as compared to x3 . Also from the inequalities
it can be checked that the maximum value of x3 is 43 , whereas the maximum value of x1 is 2 and
the maximum value of x2 is 10
3 . Hence if only one of the variables is to remain positive, then it is
more sensible to take either x1 or x2 to be positive.
So let us start by taking an x F ea(P ) such that x1 > 0 and x2 = x3 = 0, then note
that inequality (i) of the primal cannot be satisfied as an equality by x, hence if x F ea(P )
and y F ea(D) satisfy the complementary slackness property, then y1 = 0. Also since
x1 > 0, if x and y satisfy the complementary slackness property, then 2y1 + 2y2 = 4, which
gives y2 = 2, but then inequality (ii)0 of the dual cannot be satisfied by y. Hence there exists
no y = [y1 , y2 ]T F ea(D) which satisfies complementary slackness property with the above
chosen x F ea(P ), hence the optimal solution of (P) cannot be of the form x1 > 0 and x2 = x3 = 0.
Suppose now if we take an x F ea(P ) such that x2 > 0 and x1 = x3 = 0, then note
that inequality (ii) of the primal cannot be satisfied as an equality by x, hence if x F ea(P )
and y F ea(D) satisfy the complementary slackness property, then, y2 = 0. Also since
x2 > 0, if x and y satisfy the complementary slackness property, then 3y1 + y2 = 4, which
gives y1 = 43 , but then such a y cannot satisfy inequality (i)0 of the dual. Hence there exists
no y = [y1 , y2 ]T F ea(D) which satisfies complementary slackness property with the above
chosen x F ea(P ), hence the optimal solution of (P) cannot be of the form x2 > 0 and x1 = x3 = 0.
Now suppose if we take both x1 , x2 > 0 and x3 = 0, then again if x F ea(P ) and y F ea(D)
satisfy the complementary slackness property, then both inequality (i)0 and (ii)0 of the dual
has to be satisfied as an equality by y. Solving (i)0 and (ii)0 we get y1 = 1, y2 = 1.
The value of the objective function of the dual (D) for this y is equal to 14.
If x and y satisfy the complementary slackness property, then x has to satisfy inequality (i)
and (ii) of (P) as an equality, hence on solving we get x2 = 3 and x1 = 12 .
The value of the objective function of the primal (P) for this x is also 14.
Hence either by complementary slackness theorem or by corollary 1 we can conclude that x
and y are optimal for the primal and the dual respectively.