1-2006 Son NAF
1-2006 Son NAF
1-2006 Son NAF
137–145, 2006
Ta Quang Son
1. Introduction
Duality theory for linear fractional programming is a special case of the duality
theory for fractional programming. It has attracted much attention in the last four
decades (see [1, 2, 6-8]). Several different duality schemes have been proposed. In
particular, the parametric method and the change variable method have been used
to linearize the primal problem before constructing the duality problem (see [10]). In
these ways, the objective function is changed. So, the role of the objective function
in duality theorems becomes unclear, or it is lost completely.
The ordinary Lagrangian duality scheme is not suitable for fractional programming
problems, because it may lead to a duality gap (see, for instance, [1], p. 682). The
main reason is that these problems are nonconvex in general. Since the Fenchel and
the Lagrangian duality schemes are equivalent [6], the same remark is valid for the
Fenchel duality scheme.
In building duality schemes for fractional programming, one naturally wants that
the objective function of the dual problem is also a fractional function. Another
approach is to use a symmetric duality scheme [12]. Although the ordinary Lagrange
duality theory is inadequate for dealing with fractional programming, Gol’shtein [3]
managed to introduce a ‘fractional Lagrangian’ as a fractional dual problem and
obtained a saddle-point duality correspondence. Bitran and Magnanti [1] has com-
plemented these results by presenting some theorems for fractional duality.
X = {x ∈ Rn | Ax ≤ b, x ≥ 0}
Remark 2.1. In [9], it has been noted that if d ≥ 0 and d0 > 0 then (A1) is
fulfilled and, moreover, the objective functions of (P ) and (D) are well defined on X
and Y , respectively. But this condition is a very strict one.
Remark 2.2. Seshan [9] assumed that dT x + d0 > 0 for all x ≥ 01. (Then
(A1) is satisfied.) This strong condition guarantees that both the primal problem
and the dual problem are well defined. Stancu-Minasian [10] quoted the duality
scheme of Seshan with a little modification: the condition dT x + d0 > 0 is only
assumed to be satisfied for all x ∈ X. In this case, the objective function I(u, v) =
(cT u+c0 )/(dT u+d0 ) of the dual problem may not be well defined on Y . To overcome
this obstacle, the following condition has been introduced:
(A4) dT u + d0 > 0 for every (u, v) ∈ Y .
1
Example 2.1. Consider the problem max x ≥ 1 . According to the above
x
duality scheme, the dual problem is written as follows
1
min v ≤ 1, u − v ≤ 0, u ≥ 0, v ≥ 0 .
u
It is clear that the feasible set Y here contains the line segment {(0, v) | 0 ≤ v ≤ 1}
which lies outside the effective domain of I(u, v).
We now recall three duality theorems which are the main results in [9] (see also
[10], pp. 164–168). Detailed proofs of the first two theorems are demonstrated here
to make our development of Shesan’s duality scheme (see Section 3 below) easier for
understanding. The longer proof of the third theorem will be omitted. Actually, in
the sequel we will give a shorter proof for a sharpened version of that theorem. It is
important to stress that the proofs given in [9] and [10] are not rigorous (see Example
2.1 above) if one does not impose the assumption (A4) (which was not stated clearly
in [9] and [10]).
Theorem 2.1. (Weak duality) If (A1) and (A4) are satisfied, then
Proof. By the usual convention, sup ∅ = −∞ and inf ∅ = +∞. So (4) holds if
one of the sets X and Y is empty, or both of them are empty. Now suppose that
X 6= φ and Y 6= φ. Take any x ∈ X and (u, v) ∈ Y . Since x ≥ 0, from (1) we deduce
that
(dT u)(cT x) − (cT u)(dT x) − xT AT v ≤ c0dT x − d0 cT x. (5)
In addition, since v ≥ 0 by (3), from (2) and the inequality Ax ≤ b it follows that
which implies
(cT x + c0 )(dT u + d0) ≤ (cT u + c0)(dT x + d0).
Then we have
cT x + c0 cT u + c0
≤ ,
dT x + d0 dT u + d0
because dT x + d0 > 0 and dT u + d0 > 0 by (A1) and (A4). The proof of (4) is
complete.
Theorem 2.2. (Direct duality) Suppose that (A1) and (A4) are satisfied. If x̄ is
a solution to (P ), then there exits a solution (ū, v̄) to (D) such that
cT x̄+c0
Proof. Given a solution x̄ of (P ), we set λ = dT x̄+d0 and consider the linear
programming problem
Using (A1) and the definition of λ, one can verify easily that x̄ is a solution to (LP )
whose optimal value is 0. According to the duality theorem in linear programming,
the optimal value of the dual problem
of (LP ) is 0, and (LD) must have a solution v̄1 ∈ Rm . Then v̄1 ≥ 0 and
We choose ū = x̄ and v̄ = (dT x̄ + d0)v̄1 . This pair (ū, v̄) is a solution to (D). Indeed,
we have
(dT ū)c − (cT ū)d − AT v̄ ≤ (dT x̄)c − (cT x̄)d − (dT x̄ + d0)(c − λd)
= (dT x̄)c − (cT x̄)d − (dT x̄ + d0)c + (cT x̄ + c0 )d
= c0 d − d0 c.
From what it has been said, it is easy to see that (1)–(3) are valid, so (ū, v̄) ∈ Y .
Since F (x̄) = I(ū, v̄), we can invoke Theorem 2.1 to deduce that (ū, v̄) is a solution
to (D).
Theorem 2.2 states that, under suitable conditions, if (P ) is solvable then (D)
is also solvable. The next theorem shows that, under some tighter conditions, the
converse is true: if (D) is solvable then (P ) is also solvable.
On a duality scheme in linear fractional programming 141
Theorem 2.3. (Converse duality) Suppose that (A1)–(A4) are satisfied. If (ū, v̄)
is a solution to (D), then there exists a solution x̄ to (P ) such that (7) holds.
The proof given in [9] and [10] (pp. 167–168) for this theorem is rather long. Apart
from the assumptions (A1) and (A4), it relies heavily on the assumptions (A2) and
(A3).
Remark 2.3. Assumption (A4) is vital for the proofs of Theorems 2.1–2.3. But
it is not satisfied even for the simple problem described in Example 2.1. The duality
scheme of Seshan allows us to assign to each linear fractional programming problem
of the form (P ) a dual problem (D). Since there is no explicit methods to decide
whether (A4) is valid for this (D) or not, we cannot know definitely whether the
above three duality theorems can be applied to the given pair (P ) and (D) or not.
So, it is not clear to which linear fractional programming problems (except for those
described in Remark 2.1), Seshan’s duality theory is applicable.
We are going to propose some duality theorems which do not suffer from the need
of the assumption (A4).
where Y1 is the set of all (u, v) ∈ Rn × Rm satisfying (1)–(3) and the inequality
Au ≤ b. (9)
It is obvious that if (A1) is satisfied then dT u + d0 > 0 for every (u, v) ∈ Y1 . This
means that the dual problem is well defined if the primal problem is well defined . The
next two theorems follow from this simple observation and the proofs of Theorems
2.1–2.2.
Theorem 3.1. (Weak duality) If (A1) is satisfied, then
Proof. Suppose that (ū, v̄) is a solution to (D1 ). Then (ū, v̄) ∈ Y1 and
Therefore,
I(ū, v̄) ≤ sup{F (u) | u ∈ PrRn (Y1 )} ≤ sup{F (x) | x ∈ X}. (12)
By (10),
sup{F (x) | x ∈ X} ≤ inf{I(u, v) | (u, v) ∈ Y1 } = I(ū, v̄). (13)
From (12) and (13) it follows that
Since each pair (u, v) ∈ Y1 must satisfy (9), setting x̄ = ū we have x̄ ∈ X. Then (14)
shows that x̄ is a solution of (P ). The desired equality (7) is a consequence of (14).
The following theorem shows that there is a close connection between the dual
problems (D1 ) and (D).
Theorem 3.4. Suppose that (A1) and (A4) are satisfied. Then, if (P ) has a
solution then each one of the problems (D) and (D1 ) also has a solution, and
Let x̄ be a solution to (P ). Since (A1) and (A4) are satisfied, by Theorem 2.2 there
is a solution (ū, v̄) of (D) such that (7) holds. According to Theorem 3.2, (D1 ) also
has a solution (ū1, v̄1) ∈ Y1 satisfying F (x̄) = I(ū1 , v̄1). Combining this equality
with (7) and (16) yields
so
sup{F (x) | x ∈ X} ≥ F (u) (∀ u ∈ PrRn (Y1 )).
On the other hand, Theorem 3.1 gives
Consequently,
sup{F (x) | x ∈ X} = F (u) (∀ u ∈ PrRn (Y1 )). (18)
Hence PrRn (Y1) ⊂ Sol(P ). To prove the reverse inclusion, we fix any x̄ ∈ Sol(P )
and apply the arguments in the first part of the proof of Theorem 2.2 to find a pair
(ū, v̄) ∈ Y which belongs to the solution set of (D). Since ū = x̄ by the construction,
we deduce that (ū, v̄) ∈ Y1 . The desired inclusion x̄ ∈ PrRn (Y1) now follows from the
equality x̄ = ū.
Corollary 4.2. Under the assumption (A1), the solution set of (P ) is nonempty
if and only if the feasible set of (D1 ) is nonempty.
Proof. The desired conclusion follows directly from (17).
Corollary 4.3. Under the assumptions (A1) and (A4), if the feasible set of (D1 )
is nonempty then the dual problem (D) has a solution, and it holds
it holds
v1 + v2 ≥ 2,
5
v1 − v2 ≤ −
2
Y1 = (u, v) ∈ R2 × R2 6u1 + 5u2 ≥ 15v2 .
3u1 − 2u2 ≤ 0
3u1 + 2u2 ≤ 15
u1 ≥ 0, u2 ≥ 0, v1 ≥ 0, v2 ≥ 0
Since (0, 15/2) ∈ PrRn (Y1 ), we have max F (x) = F ((0, 15/2)) = 37.5.
X
References
[1] G. R. Bitran and T. L. Magnanti, Duality and sensitivity analysis for fractional programs,
Oper. Research 24 (1976), 675–699.
[2] B. D. Craven, Mathematical Programming and Control Theory, Chapman and Hall, London,
1978.
[3] E. G. Gol’stein, Dual problems of convex and fractionally-convex programming in functional
spaces, Soviet Math. Dokl. 8 (1967), 212–216.
[4] R. Jagannathan and S. Schaible, Duality in generalized fractional programming via Farkas’
lemma, J. Optim. Theory Appl. 41 (1983), 417–424.
[5] R. N. Kaul, S. Kaur and V. Lyall, Duality in inexact fractional programming with set-inclusive
constraints, J. Optim. Theory Appl. 50 (1986), 279–288.
[6] T. L. Magnanti, Fenchel and Lagrange duality are equivalent, Math. Program. 7 (1974), 253–
258.
[7] S. Schaible, Duality in fractional programming: A unified approach, Oper. Research 24 (1976),
452–461.
[8] , Fractional programming. I, Duality, Management Science 22 (1976), 858–867.
[9] C. R. Seshan, On duality in linear fractional programming, Proc. Indian Acad. Sci. (Math.
Sci.) 89 (1980), 35–42.
[10] I. M. Stancu-Minasian, Fractional Programming, Kluwer, Dordrecht, 1997.
[11] K. Swarup, Linear fractional functionals programming, Oper. Research 13 (1965), 1029–1036.
[12] T. Weir, Symmetric dual multiobective fractional programming, J. Austral. Math. Soc. (Series
A) 50 (1991), 67–74.