Research Article
Optimality Conditions for Fuzzy Number Quadratic
Programming with Fuzzy Coefficients
Xue-Gang Zhou,
1,2Bing-Yuan Cao,
1and Seyed Hadi Nasseri
31School of Mathematics and Information Science, Key Laboratory of Mathematics and Interdisciplinary Sciences of Guangdong,
Higher Education Institutes, Guangzhou University, Guangzhou, Guangdong 510006, China
2Department of Applied Mathematics, Guangdong University of Finance, Guangzhou, Guangdong 510521, China 3Department of Mathematical Sciences, University of Mazandaran, P.O. Box 47415-1468, Babolsar, Iran Correspondence should be addressed to Bing-Yuan Cao; [email protected]
Received 16 January 2014; Accepted 27 March 2014; Published 23 April 2014 Academic Editor: Mohammad Khodabakhshi
Copyright Β© 2014 Xue-Gang Zhou et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. The purpose of the present paper is to investigate optimality conditions and duality theory in fuzzy number quadratic programming (FNQP) in which the objective function is fuzzy quadratic function with fuzzy number coefficients and the constraint set is fuzzy linear functions with fuzzy number coefficients. Firstly, the equivalent quadratic programming of FNQP is presented by utilizing a linear ranking function and the dual of fuzzy number quadratic programming primal problems is introduced. Secondly, we present optimality conditions for fuzzy number quadratic programming. We then prove several duality results for fuzzy number quadratic programming problems with fuzzy coefficients.
1. Introduction
Quadratic programming is a mathematical modeling tech-nique designed to optimize the usage of limited resources. It has led to a number of interesting applications and the devel-opment of numerous useful results (see [1β7]). Quadratic programming is one of the most important optimization techniques in operations research. In real-world applications, quadratic programming models usually are formulated to find some future course of action. The parameter values used would be based on a prediction of future conditions which inevitably involves some degree of uncertainty. If some parameters are imprecise or uncertain, then some crisp values are usually assigned to those uncertain parameters to make the conventional quadratic program workable. The occur-rences of randomness and imprecision in the real world are inevitable owing to some unexpected situations. The research on fuzzy mathematical programming has been an active area since Bellman and Zadeh proposed the definition of fuzzy decision [8β12]. As the definition of Bellman and Zadeh, fuzzy decision may be described as the best balance degree
of fuzzy objective and resource constraints. In light of the above view, Zimmermann developed a tolerance approach [10,11] for a symmetric model of fuzzy linear programming. Intuitively, when the cost and constraint coefficients and the right-hand sides are fuzzy numbers, the derived objective value is fuzzy as well.
Recently, Liu [13] proposes an effective solution method to solve a class of fuzzy quadratic programming problems. Based on Zadehβs extension principle [11, 14], the fuzzy quadratic programming problem is transformed into a pair of two-level mathematical programs to calculate the upper and lower bounds of the objective value at possibility levelπΌ. The membership function of the fuzzy objective value is derived numerically by enumerating different values of. Mahdavi-Amiria and Nasseria [15,16], using a linear ranking function, establish the dual problem of the linear programming prob-lem with trapezoidal fuzzy variables and hence deduce some duality results.
The organization and content of this paper can be sum-marized as follows. InSection 2, we provide some properties of fuzzy numbers and introduce the concept of fuzzy scalar
Volume 2014, Article ID 489893, 8 pages http://dx.doi.org/10.1155/2014/489893
product. Then we provide a discussion of fuzzy numbers and linear ranking functions for ordering them. The definition of the FNQP problem is given and the equivalent quadratic programming of FNQP is presented by utilizing a linear rank-ing function in Section 3. Section 4 optimality conditions for fuzzy number quadratic programming are presented. We establish duality for the FNQP problem in Section 5 and deduce the duality results. We conclude inSection 6.
2. Preliminaries
2.1. Fuzzy Numbers. We review the fundamental notions of fuzzy set theory, initiated by Bellman and Zadeh [8]. Letπ be a universal set. The fuzzy subset Μπofπis defined by its membership functionπΜπ : π β [0, 1]. TheπΌ-level set of fuzzy setΜπis given by
ΜππΌ= {{π₯ β π | πcl{π₯ β π | πΜπ(π₯) β©Ύ πΌ} , if πΌ β (0, 1] ,
Μπ(π₯) > 0} , if πΌ = 0. (1)
Definition 1. Let Μπ be a fuzzy number, that is, a convex normalized fuzzy subset of the real line in the sense that
(a)βπ₯0 β π and πΜπ(π₯0) = 1, where πΜπ(π₯) is the
membership function specifying to what degree π₯ belongs toΜπ.
(b)πΜπis a piecewise continuous function.
The lower and upper bounds of any πΌ-level set ΜππΌ are represented by infπ₯βΜππΌand supπ₯βΜππΌ.
A function, usually denoted by βπΏβ or βπ β, is a reference function of a fuzzy number if and only if
(1)πΏ(π₯) = πΏ(βπ₯),
(2)πΏ(0) = 1,
(3)πΏis nonincreasing on[0, +β).
Definition 2. A convenient representation of fuzzy numbers is in the form of anπΏ-π fuzzy number which is defined as
πΜπ(π₯) = { { { { { { { { { πΏ ((ππΏβ π₯) /πΌ) , if π₯ β©½ ππΏand πΌ > 0, π ((π₯ β ππ) /π½) , if π₯ β©Ύ ππand π½ > 0, 1, otherwise, (2)
whereππΏ β©½ ππ, [ππΏ, ππ]is the core of Μπ, πΜπ(π₯) = 1, βπ₯ β
[ππΏ, ππ], ππΏ, ππare the lower and upper modal values of Μπ,
andπΌ > 0, π½ > 0are the left-hand and right-hand spreads
[16].
A flat fuzzy number is denoted by Μπ = [ππΏ, ππ, πΌ, π½]πΏπ . Among the various types ofπΏ β π fuzzy numbers, trapezoidal fuzzy numbers, denoted by Μπ = (ππΏ, ππ, πΌ, π½), are of the greatest importance. We denote the set of all trapezoidal fuzzy numbers byF(R). Ifπ = ππΏ= ππ, then we obtain a triangular fuzzy number, and we show it withΜπ = (π, πΌ, π½).
Let Μπ = (ππΏ, ππ, πΌ1, π½1)andΜπ = (ππΏ, ππ, πΌ2, π½2), both
being trapezoidal fuzzy numbers. We next define arithmetic on the fuzzy numbersΜπandΜπas follows:
π₯ > 0, π₯ β π ; π₯ β Μπ = (π₯ππΏ, π₯ππ, π₯πΌ1, π₯π½1) , π₯ < 0, π₯ β π ; π₯ β Μπ = (π₯ππ, π₯ππΏ, βπ₯π½1, βπ₯πΌ1) , Μπ + Μπ = (ππΏ+ ππΏ, ππ+ ππ, πΌ1+ πΌ2, π½1+ π½2) , Μπ β Μπ = (ππΏβ ππ, ππβ ππΏ, πΌ 1+ π½2, π½1+ πΌ2) . (3)
2.2. Ranking Functions. There are different methods for comparison of fuzzy numbers [17β22]. One of the most convenient methods is comparison by use of ranking func-tions [23, 24]. In fact, an efficient approach for ordering the elements ofF(π )is to define a ranking function A :
F(π ) σ³¨β π which maps each fuzzy number into the real
line, where a natural order exists. We define orders onF(π ) by
Μπ β©ΎAΜπ if and only if A(Μπ) β©ΎA(Μπ) ,
Μπ >AΜπ if and only if A(Μπ) >A(Μπ) ,
Μπ =AΜπ if and only if A(Μπ) =A(Μπ) ,
(4)
where Μπ, Μπ β F(π ). Also we write π β©½Μ AΜπ if and only if
Μπ β©ΎA Μπ.
We restrict our attention to linear ranking functions, that is, a ranking functionAsuch that
A(πΜπ + Μπ) = πA(Μπ) +A(Μπ) , (5)
for allΜπ,Μπ β F(π )andπ β π . The following lemma is now immediate.
Lemma 3 (see [16]). LetAbe any linear ranking function and,
without loss of generality, letΜ0 = (0, 0, 0, 0); then
(i) Μπ β©ΎAΜπif and only ifΜπβΜπ β©ΎAΜ0if and only ifβΜπ β©½A βΜπ.
(ii)IfΜπ β©ΎAΜπandΜπ β©ΎA πΜ, thenΜπ + Μπ β©ΎAΜπ + Μπ.
(iii)Let Μπ β©ΎAΜπ; if π₯ > 0, then π₯Μπ β©ΎAπ₯Μπ; otherwise,π₯Μπ β©½A π₯Μπ.
Here, we introduce a linear ranking function that is similar to the ranking function adopted by Maleki et al. [24]. For any
πΏ β π fuzzy number Μπ = [ππΏ, ππ, πΌ, π½]πΏπ , we use ranking
function as follows:
A(Μπ) = β«1
0 (π β1
Μπ (π) + πΏβ1Μπ (π)) ππ, (6)
whereπ β [0, 1]andπ β1Μπ andπΏβ1Μπ are inverse function ofπ Μπ andπΏΜπ, respectively. In the case of trapezoidal fuzzy numbers
Μπ = (ππΏ, ππ, πΎ, πΏ), we have A(Μπ) = β«1 0 (π₯βΜπinfπΌ+ sup π₯βΜπ΄πΌ ) ππΌ, (7)
where ΜππΌ is theπΌ-level set of Μπ. Then, for trapezoidal fuzzy numbersΜπ = (ππΏ, ππ, πΌ1, π½1)andΜπ = (ππΏ, ππ, πΌ2, π½2), we can get A(Μπ) = ππΏ+ ππ+1 2(π½1β πΌ1) , Μπ β©ΎAΜπ πππππΏ+ ππ+1 2(π½1β πΌ1) β©Ύ ππΏ+ ππ+ 1 2(π½2β πΌ2) . (8)
Definition 4. We shall say that the real numberπcorresponds to the fuzzy numberΜπ, with respect to a given linear ranking functionA, ifπ =A(Μπ).
3. Fuzzy Number Quadratic
Programming Problems
In this section, we first define fuzzy number quadratic programming problems with fuzzy coefficients. Then, using ranking functions for comparison of fuzzy numbers, we define a crisp model which is equivalent to the fuzzy quadratic programming problem with fuzzy coefficients and use optimal solution of this model as the optimal solution of fuzzy number quadratic programming problem with fuzzy number coefficients.
Definition 5. Let F(π ) be the set of all trapezoidal fuzzy numbers. The model
min Μπ§ =A Μπππ₯ + 1 2π₯πππ₯,Μ s.t. Μπ΄π₯ β©½AΜπ, π₯ β π π, (9) or min Μπ§ =A π β π=1Μπππ₯π+ 1 2 π β π=1 π β π=1Μππππ₯ππ₯π, s.t. π β π=1Μπππ π₯π β©½AΜππ, π = 1, 2, . . . , π, π₯πβ π , π = 1, 2, . . . , π, (10) whereπ = (ΜπΜ ππ)πΓπ,π΄ = (ΜπΜ ππ)πΓπ,Μπ = (Μπ1, Μπ2, . . . , Μππ)π, Μπ = (Μπ1, Μπ2, . . . , Μππ)π, and Μπ ππ, Μπππ, Μππ, Μππ β F(π ), for π = 1, 2, . . . , π, π = 1, 2, . . . , π, π = 1, 2, . . . , π, is called a fuzzy
number quadratic programming model.
Definition 6. Any π₯ which satisfies the set of constraints of FNQP is called a feasible solution. Let F be the set of all feasible solutions of FNQP. We shall say that π₯0 β F is a global optimal feasible solution for FNQP if Μπππ₯ +
(1/2)π₯πππ₯ β©½Μ A Μπππ₯0 + (1/2)π₯π0ππ₯Μ 0 for any π₯ β F. We
say that π₯0 β F is a local optimal feasible solution for
FNQP if there exists a neighborhoodπofπ₯0such thatΜπππ₯ +
(1/2)π₯πππ₯ β©½Μ
A Μπππ₯0+ (1/2)π₯π0ππ₯Μ 0for allπ₯ β π βF.
The following theorem shows that any FNQP can be reduced to a quadratic programming problem.
Theorem 7. The following quadratic programming problem
(QPP) and the FNQP in(9)are equivalent:
min π§ = πππ₯ +1 2π₯πππ₯, π .π‘. π΄π₯ β©½ π, π₯ β π π, (11) or min π§ = π β π=1 πππ₯π+1 2 π β π=1 π β π=1 ππππ₯ππ₯π, π .π‘. βπ π=1 ππππ₯π β©½ ππ, π = 1, 2, . . . , π, π₯πβ π , π = 1, 2, . . . , π, (12)
where = (πππ)πΓπ, π΄ = (πππ)πΓπ, and πππ, πππ, ππ, ππ are real numbers corresponding to the fuzzy numbersΜπππ, Μπππ, Μππ, Μππwith respect to a given linear ranking functionA, respectively. Proof. The method of proof is the same as Lemma 3.1 in [24]. However, to provide a self-contained presentation, and because this result is central to this paper, we provide a direct proof. LetF1andF2be the set of all feasible solutions of (9) and (11), respectively. We first prove thatF1=F2. We see
π₯ βF1βββπ π=1Μπππ π₯πβ©½AΜππ, π = 1, 2, . . . , π, βββπ π=1 (ππππΏ, ππππ, πΌππ, π½ππ) π₯π β©½A(πππΏ, πππ, πΌπ, π½π) , π = 1, 2, . . . , π, ββA[ [ π β π=1 (ππΏππ, ππππ, πΌππ, π½ππ) π₯π] ] β©½A[(πππΏ, πππ, πΌπ, π½π)] , π = 1, 2, . . . , π, βββπ π=1 (A[ππππΏ, ππππ , πΌππ, π½ππ]) π₯π β©½A[(πππΏ, πππ, πΌπ, π½π)] , π = 1, 2, . . . , π, βββπ π=1 ππππ₯π β©½ ππ, π = 1, 2, . . . , π, , ββ π₯ βF2. (13)
Then, we have F1 = F2. Let π₯0 be an optimal feasible solution for (9); then, for allπ₯ βF1, we have
Μπππ₯ + 12π₯πππ₯ β©ΎΜ AΜπππ₯0+12(π₯0)πππ₯Μ 0, βββπ π=1Μππ π₯π+1 2 π β π=1 π β π=1Μπππ π₯ππ₯π β©ΎAβπ π=1Μππ π₯0π+12βπ π=1 π β π=1Μπππ π₯0ππ₯0π, ββA(βπ π=1Μπππ₯π+ 1 2 π β π=1 π β π=1Μππππ₯ππ₯π) β©ΎA(βπ π=1Μππ π₯0π+1 2 π β π=1 π β π=1Μπππ π₯0ππ₯π0) , βββπ π=1 A(Μππ) π₯π+1 2 π β π=1 π β π=1 A(Μπππ) π₯ππ₯π β©Ύβπ π=1 A(Μππ) π₯0π+12βπ π=1 π β π=1 A(Μπππ) π₯0ππ₯0π, βββπ π=1 πππ₯π+1 2 π β π=1 π β π=1 ππππ₯ππ₯π β©Ύβπ π=1 πππ₯0π+1 2 π β π=1 π β π=1 ππππ₯0ππ₯0π. (14)
So,π₯0is an optimal feasible solution for (11) or (12). Now, letπ₯0be an optimal feasible solution for (11) or (12). We shall assume thatπ₯0is not an optimal feasible solution for (9) and exhibit a contradiction. Ifπ₯0is not an optimal feasible solution for (9), then there exists aπ₯1βF1such that
Μπππ₯0+12(π₯0)πππ₯Μ 0 >A Μπππ₯1+12(π₯1)πππ₯Μ 1. (15)
From the ranking function (8), (15) can be written as
πππ₯0+1 2(π₯0) π ππ₯0> πππ₯1+1 2(π₯1) π ππ₯1, (16)
which contradicts the facts that π₯0 is an optimal feasible solution for (11), sinceπ₯1βF2.
From Theorem 7, we have that the sets of all feasible solutions of FNQP and QPP are the same. And ifπ₯β is an optimal feasible solution for FNQP, thenπ₯β is an optimal feasible solution for QPP. Then we can easily see the following result.
Corollary 8. If QPP does not have a solution, then FNQP does
not have a solution either.
Definition 9. π = (ΜπΜ ππ)πΓπ is denoted by a symmetric fuzzy number matrix if Μπππ β F(π )and Μπππ = Μπππ for anyπ, π =
1, 2, . . . , π.
Letπ = (πππ)πΓπbe a real symmetric matrix
correspond-ing to the symmetric fuzzy numbers matrixπ = (ΜπΜ ππ)πΓπand
π =A(Μπ). In the following, we only consider the symmetric fuzzy numbers matrixπ = (ΜπΜ ππ)πΓπ.
Definition 10. LetπΜbe a symmetric fuzzy numbers matrix andπ =A(Μπ)by the ranking function (8).
(i)πΜis called a fuzzy number positive definite matrix (resp., fuzzy number negative definite matrix) if
π₯πππ₯ >Μ
A0(resp.,π₯πππ₯ <Μ A 0) for all nonzeroπ₯in π π orπis a positive definite matrix (resp., negative
definite matrix).
(ii) Ifπ₯πππ₯ β©ΎΜ A 0 (resp., π₯πππ₯ β©½Μ A0) for allπ₯ inπ π, orπis a positive semidefinite matrix (resp., negative semidefinite matrix), then πΜ is said to be a fuzzy number positive semidefinite (resp., fuzzy number negative semidefinite).
(iii) Ifπis an indefinite matrix, thenπΜis said to be a fuzzy number indefinite matrix.
Definition 11. If the fuzzy number matrixπΜis fuzzy number positive semidefinite matrix, then (9) is called a convex fuzzy number quadratic programming problem. IfπΜis fuzzy number positive definite matrix, (9) is a strict convex FNQP. Equation (9) is said to be a nonconvex FNQP ifπΜis fuzzy number indefinite matrix.
From Theorem 7 and definition above, the following result is now immediate.
Corollary 12. (i) If πΜis fuzzy number positive semidefinite
matrix, then the local solutionπ₯βof (9)is a global solution. (ii) IfπΜis fuzzy number positive definite matrix, then the local solutionπ₯βof (9)is a unique global solution.
Example 13. Consider the following FNQP: min Μπ§ =A 1 2(1, 3, 2, 2) π₯21 +12(0.5, 1.5, 1, 1) π₯22β (1, 1, 4, 2) π₯1π₯2 s.t. (2, 3, 2, 2) π₯1+ (1, 3, 2, 3) π₯2 β©½A (5, 6, 2, 2) , (2, 3, 1, 3) π₯1+ (1, 2, 3, 1) π₯2β©½A (3, 5, 2, 4) , β (β1, 2, 1, 1) π₯1β (0, 2, 4, 2) π₯2 β©½Aβ (0, 1, 1, 1) , (17) where coefficients are trapezoidal fuzzy numbers.
We apply the ranking function (8) to solve the above FNQP. The problem reduces to
min π§ = 2π₯21+ π₯22β π₯1π₯2
s.t. 5π₯1+ 4.5π₯2β©½ 11,
6π₯1+ 2π₯2β©½ 9,
β π₯1β π₯2β©½ β1.
Then we see that coefficient matrix of (18) isπ = (β1 24 β1). Sinceπis a positive definite matrix, (17) is a strict convex FNQP and the local solutionπ₯β of (18) is a global solution of (17).
The optimal solution of (18) isπ₯β1 = 0.375, π₯β2 = 0.625; then the optimal solution of (17) is π₯β1 = 0.375, π₯β2 =
0.625, and the optimal objective value isΜπ§β= (β0.06640625,
0.26953125,0.8046875,1.2734375). So, by the ranking
func-tion (8),A(Μπ§β) = 0.4375.
4. Optimality Conditions for Fuzzy Number
Quadratic Programming
Let us now state the necessary optimality conditions of problem (9).
Theorem 14 (necessary conditions). Letπ₯β be a local
min-imizer of the fuzzy number quadratic programming problem
(9). Then there exists aπ-vectorπββ π πsuch that
Μπ + Μππ₯ββ Μπ΄πβ =A Μ0,
πβπ [(Μππ) π₯ββ Μππ] =A Μ0, π = 1, 2, . . . , π,
πββ©Ύ 0,
(19)
whereΜππis theπth row ofπ Γ πfuzzy number matrixπ΄Μ, and, for everyπ ΜΈ= 0, satisfying
Μπππ =A Μ0, π β πΌ (π₯β) , (20)
where
πΌ (π₯β) = {π | Μπππ₯β =AΜππ, π = 1, 2, . . . , π} , (21)
we have
ππππ β©ΎΜ A Μ0. (22)
Proof. Since π₯β is a local minimizer of fuzzy number quadratic programming problem (9),π₯βis a local minimizer of quadratic programming problem (11) byTheorem 7. Then, from Theorem 7.1 in Avriel [25], there exists aπ-vectorπββ
π πsuch that
π + ππ₯ββ π΄πβ= 0,
πβπ [(ππ) π₯ββ ππ] = 0, π = 1, 2, . . . , π,
πββ©Ύ 0,
(23)
whereπ = A(Μπ), π = A(Μπ), π΄ = A( Μπ΄), ππ = A(Μππ)for any
π = 1, 2, . . . , π, andππis theπth row ofπ Γ πmatrixπ΄, and,
for everyπ ΜΈ= 0, satisfying
πππ = 0, π β πΌ (π₯β) , (24)
where
πΌ (π₯β) = {π | πππ₯β= ππ, π = 1, 2, . . . , π} , (25)
we have
ππππ β©Ύ 0. (26)
From the ranking function (8), formulas (19)β(22) and (23)β(26) are equivalent and the proof is complete.
Turning to sufficient conditions, we first define
ΜπΌ(π₯β) = {π : π β πΌ (π₯β) , πβ> 0} . (27)
Let us now state the sufficient optimality conditions for problem (9).
Theorem 15 (sufficient conditions). Let π₯β be feasible for
problem(9). If there exists a vectorπβ β π πsatisfying(19)β
(22), and for every0 ΜΈ= π β π πsuch that
Μπππ =A Μ0, π β ΜπΌ(π₯β) , Μπππ β©½ AΜ0, π β πΌ (π₯β) , π β ΜπΌ(π₯β) , (28) it follows that ππππ >Μ AΜ0; (29)
thenπ₯βis a strict local minimum of FNQP.
Proof. From the ranking function (8), there exists a vector
πβ β π πsatisfying (23)β(26), and for every0 ΜΈ= π β π πsuch that
πππ = 0, π β ΜπΌ(π₯β) ,
πππ β©½ 0, π β πΌ (π₯β) , π β ΜπΌ(π₯β) , (30)
it follows that
ππππ > 0. (31)
Then, from Theorem7.2in Avriel [25],π₯βis a strict local minimum of (11). Soπ₯βis a strict local minimum of FNQP byTheorem 7.
Next, we give a sufficient and necessary optimality condi-tion for FNQP (9).
Theorem 16 (necessary and sufficient conditions). Letπ₯βbe
feasible for problem(9); thenπ₯βis a local minimizer if and only if there exists(π₯β, πβ)such that(19)β(22)hold, and
ππππ β©ΎΜ A Μ0, βπ β Μπ (π₯β, πβ) , (32) where Μ π (π₯β, πβ) = {π ΜΈ= 0 | Μπππ β©½A Μ0, π β πΌ (π₯β) , Μπππ =AΜ0, π β πΌ (π₯β) , πβ> 0} . (33)
Proof. Using the ranking function (8), formulas (19)β(22) and formulas (23)β(26) are equivalent. Then (32) and (33) are respectively equivalent to the following formulas:
ππππ β©Ύ 0, βπ β π (π₯β, πβ) , (34)
where
π (π₯β, πβ) = {π ΜΈ= 0 | πππ β©½ 0, π β πΌ (π₯β) ,
πππ = 0, π β πΌ (π₯β) , πβ> 0} . (35)
By Theorem 3.4 in Lee et al. [26],π₯βis a local minimizer of (11) if and only if there exists(π₯β, πβ)such that (23)-(26) and (34)-(35) hold. Then, based onTheorem 7, we complete the proof.
5. Duality for Fuzzy Number
Quadratic Programming
Similar to the duality theory in quadratic programming (see, e.g., Mangasarian [27]), for every FNQP, there is an associated problem which satisfies some important properties. We shall call this related FNQP the dual fuzzy number quadratic programming (DFNQP).
5.1. Dual Problem. For the FNQP min Μπ§ =A Μπππ₯ + 1
2π₯πππ₯,Μ
s.t. π΄π₯ β©½Μ AΜπ,
π₯ β π π,
(36)
define the dual fuzzy number quadratic programming prob-lem (DFNQP) as max Μπ¦ =A β Μπππ’ β1 2π₯πππ₯,Μ s.t. ππ₯ + ΜΜ π΄ππ’ =A Μπ, π’ β©Ύ 0, π₯ β π π, π’ β π π. (37)
By the ranking function (8), problem (37) and the following quadratic programming problem are equivalent:
max π¦ = βπππ’ β1
2π₯πππ₯,
s.t. ππ₯ + π΄ππ’ = π ,
π’ β©Ύ 0, π₯ β π π, π’ β π π.
(38)
We see that (38) is the dual quadratic programming problem for (9) (see, e.g., Mangasarian [27]).
Example 17. Consider the given FNQP in Example 13. The dual to this problem follows:
max Μπ¦ =Aβ1 2(1, 3, 2, 2) π₯12 β1 2(0.5, 1.5, 1, 1) π₯22+ (1, 1, 4, 2) π₯1π₯2 β (5, 6, 2, 2) π’1β (3, 5, 2, 4) π’2+ (0, 1, 1, 1) π’3, s.t. (1, 3, 2, 2) π₯1β (1, 1, 4, 2) π₯2+ (2, 3, 2, 2) π’1 + (2, 3, 1, 3) π’2β (β1, 2, 1, 1) π’3=A 0, β (1, 1, 4, 2) π₯1+ (0.5, 1.5, 1, 1) π₯2(1, 3, 2, 3) π’1 + (1, 2, 3, 1) π’2β (0, 2, 4, 2) π’3 =A0, π’1, π’2 β©Ύ 0, π₯1, π₯2β π . (39) Now if we apply the ranking function (8), we have
max π¦ = β2π₯21β π₯22+ π₯1π₯2β 11π’1β 9π’2+ π’3
s.t. 4π₯1β π₯2+ 5π’1+ 6π’2β π’3= 0,
β π₯1+ 2π₯2+ 4.5π’1+ 2π’2β π’3= 0
π’1, π’2 β©Ύ 0, π₯1, π₯2β π .
(40)
The optimal solution is π₯β1 = 0.375, π₯β2 = 0.625, π’1 =
0, π’2 = 0, π’3 = 0.875, and the optimal objective value is
Μπ¦β = (β0.26953125, 0.94140625, 2.15625, 1.6875). So, by the
ranking function (8),A( Μπ¦β) = 0.4375.
5.2. The Relationships between FNQP and DFNQP. We shall discuss here the relationships between the fuzzy number quadratic programming problem and its corresponding dual. Let F1 and F2 be the feasible solution sets of FNQP and DFNQP, respectively.
Lemma 18. Dual of DFNP is FNQP.
Proof. UseLemma 3and the definition of DFNQP.
Lemma 18indicates that the duality results can be applied to any of the primal or dual problems posed as the primal problem.
Theorem 19 (weak duality theorem). LetπΜbe fuzzy number
positive semidefinite matrix,π₯0 β F1,(π₯1, π’1) β F2; then we have βΜπππ’1β1 2(π₯1) πΜ ππ₯1 β©½ A Μπππ₯0+12(π₯0)πππ₯Μ 0. (41)
Proof. By the ranking function (8), (41) holds if and only if
βπππ’1β12(π₯1)πππ₯1β©½ πππ₯0+12(π₯0)πππ₯0, (42)
where π, π, π are real numbers corresponding to the fuzzy numbersΜπ, Μπ, Μπ. Equation (42) follows from Theorem8.1.3
in [27] by observing thatπππ₯ + (1/2)(π₯)πππ₯is convex onπ π if the matrixπis positive semidefinite.
The following corollaries are immediate consequences of
Theorem 19.
Corollary 20. Let πΜbe fuzzy number positive semidefinite
matrix. Ifπ₯0and(π₯1, π’1)are feasible solutions to FNQP and DFNQP, respectively, andβΜπππ’1β (1/2)(π₯1)πππ₯Μ 1=A Μπππ₯0+
(1/2)(π₯0)πππ₯Μ 0, thenπ₯0 and(π₯1, π’1)are optimal solutions to
their respective problems.
Definition 21. We say that FNLPP (or DFNLPP) is unbounded if feasible solutions exist with arbitrary small (or large) ranking values for the fuzzy objective function.
Corollary 22. If either problem is unbounded, then the other
problem has no feasible solution.
Theorem 23. Let πΜ be fuzzy number positive semidefinite
matrix. Ifπ₯β solves FNQP(36), thenπ₯β and someπ’β β π π solves DFNQP (37) and the two optimal values of ranking functions for the fuzzy objectives are equal.
Proof. Sinceπ₯β solves FNQP (36), thenπ₯β is the optimal solutions to QPP (11). From Dornβs duality theorem [27], there existπ₯β and someπ’β β π π solves problem (38) sinceπis positive semidefinite matrix, andβπππ’ββ (1/2)(π₯β)πππ₯β =
πΆππ₯β + (1/2)(π₯β)πππ₯β. Then,(π₯β, π’β)solves DFNQP (37)
andβΜπππ’β β (1/2)(π₯β)πππ₯Μ β=A Μπππ₯β+ (1/2)(π₯β)πππ₯Μ β. For
ifβΜπππ’β β (1/2)(π₯β)πππ₯Μ β ΜΈ=A Μπππ₯β+(1/2)(π₯β)πππ₯Μ β, then,
by the ranking function (8),βπππ’ββ(1/2)(π₯β)πππ₯β ΜΈ= πΆππ₯β+
(1/2)(π₯β)πππ₯β, which contradictsβπππ’ββ(1/2)(π₯β)πππ₯β=
πΆππ₯β+ (1/2)(π₯β)πππ₯β.
For an illustration of the above theorem, consider the FNQP and DFNQP given in Examples13and17, respectively. Symmetric fuzzy number matrixπ = (Μ β(1,1,4,2) (0.5,1.5,1,1)(1,3,2,2) β(1,1,4,2) )is fuzzy number positive definite, since matrixπ = A(Μπ) =
(4 β1
β1 2 )is positive definite. We see that the optimal solution
for the FNQP isπ₯β = (0.375, 0.626); then there existsπ’1 =
0, π’2 = 0, π’3 = 0.875such thatπ₯β1 = 0.375, π₯β2 = 0.625, π’1 =
0, π’2 = 0, π’3 = 0.875solves DFNQP andΜπ§β =A Μπ¦β by the
ranking function (8).
Theorem 24 (strict converse duality theorem). LetπΜbe fuzzy
number positive definite matrix. If (π₯β, π’β) is an optimal solution to DFNQP (37), then π₯β solves FNQP (36), and
βΜπππ’β β (1/2)(π₯β)πππ₯Μ β =A Μπππ₯β +(1/2)(π₯β)πππ₯Μ β.
Proof. SinceπΜis fuzzy number positive definite and(π₯β, π’β) is an optimal solution to DFNQP (37), we have that π is positive definite and (π₯β, π’β) is an optimal solution to problem (38). From Theorem8.2.5in [27],π₯βsolves QPP (11)
andβπππ’ββ (1/2)(π₯β)πππ₯β= πΆππ₯β+ (1/2)(π₯β)πππ₯β. From
Theorem 7above, thenπ₯β solves FNQP (36), andβΜπππ’β β
(1/2)(π₯β)πππ₯Μ β=A Μπππ₯β+ (1/2)(π₯β)πππ₯Μ β.
Theorem 25 (Dornβs converse duality theorem). Let πΜ be
fuzzy number positive semidefinite matrix. If (π₯β, π’β)solves DFNQP(37), then someπ₯ β π π(not necessarily equal toπ₯β), satifyingπ(π₯ β π₯Μ β) =A 0, solves FNQP (36), andβΜπππ’β β
(1/2)(π₯β)πππ₯Μ β =
A Μπππ₯ + (1/2)(π₯)πππ₯Μ .
Proof. Since πΜ is fuzzy number positive semidefinite and
(π₯β, π’β) solves DFNQP (37), we have that π is positive
semidefinite and(π₯β, π’β)is an optimal solution to problem (38). From Theorem8.2.6in [27], someπ₯ β π π (not neces-sarily equal toπ₯β), satisfyingπ(π₯ β π₯β) = 0, solves FNQP (11), andβπππ’β β (1/2)(π₯β)πππ₯β = πππ₯ + (1/2)(π₯)πππ₯. FromTheorem 7 above,π₯ solves FNQP (36) andβΜπππ’β β
(1/2)(π₯β)πππ₯Μ β =A Μπππ₯ + (1/2)(π₯)πππ₯Μ .
6. Conclusion
We used a linear ranking function to define the dual of fuzzy number quadratic programming primal problems. We provide optimality conditions for fuzzy number quadratic programming. Similar to general quadratic programming, we presented several duality results.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
The authors thank the PhD Start-up Fund of Natural Science Foundation of Guangdong Province, China (no. S2013040012506) and Project Science Foundation of Guang-dong University of Finance (no. 2012RCYJ005) for their support.
References
[1] L. L. Abdel-Malek and N. Areeratchakul, βA quadratic program-ming approach to the multi-product newsvendor problem with side constraints,βEuropean Journal of Operational Research, vol. 176, no. 3, pp. 1607β1619, 2007.
[2] E. Ammar and H. A. Khalifa, βFuzzy portfolio optimization a quadratic programming approach,βChaos, Solitons and Frac-tals, vol. 18, no. 5, pp. 1045β1054, 2003.
[3] W.-G. Zhang and Z.-K. Nie, βOn admissible efficient portfolio selection policy,βApplied Mathematics and Computation, vol. 169, no. 1, pp. 608β623, 2005.
[4] T. Dwyer, Y. Koren, and K. Marriott, βDrawing directed graphs using quadratic programming,βIEEE Transactions on Visualiza-tion and Computer Graphics, vol. 12, no. 4, pp. 536β548, 2006. [5] J. A. M. Petersen and M. Bodson, βConstrained quadratic
pro-gramming techniques for control allocation,βIEEE Transactions on Control Systems Technology, vol. 14, no. 1, pp. 91β98, 2006. [6] L. PavloviΒ΄c and T. DivniΒ΄c, βA quadratic programming approach
to the RandiΒ΄c index,βEuropean Journal of Operational Research, vol. 176, no. 1, pp. 435β444, 2007.
[7] H.-G. Schwarz, βEconomic materials-product chain models: current status, further development and an illustrative exam-ple,βEcological Economics, vol. 58, no. 2, pp. 373β392, 2006. [8] R. E. Bellman and L. A. Zadeh, βDecision-making in a fuzzy
environment,βManagement Science, vol. 17, pp. B141βB164, 1970. [9] Y.-J. Lai and C. L. Hwang,Fuzzy Mathematical Programming,
vol. 394, Springer, Berlin, Germany, 1992.
[10] H. J. Zimmermann, βDescription and optimization of Fuzzy system,βInternational Journal of General Systems, vol. 2, no. 4, pp. 209β215, 1976.
[11] H.-J. Zimmermann, Fuzzy Set Theory and Its Applications, Kluwer-Nijhoff, Boston, Mass, USA, 1996.
[12] M. K. Luhandjula, βFuzzy optimization: an appraisal,βFuzzy Sets and Systems, vol. 30, no. 3, pp. 257β282, 1989.
[13] S.-T. Liu, βQuadratic programming with fuzzy parameters: a membership function approach,βChaos, Solitons and Fractals, vol. 40, no. 1, pp. 237β245, 2009.
[14] L. A. Zadeh, βFuzzy sets as a basis for a theory of possibility,β
Fuzzy Sets and Systems, vol. 1, no. 1, pp. 3β28, 1978.
[15] N. Mahdavi-Amiri and S. H. Nasseri, βDuality results and a dual simplex method for linear programming problems with trapezoidal fuzzy variables,βFuzzy Sets and Systems, vol. 158, no. 17, pp. 1961β1978, 2007.
[16] N. Mahdavi-Amiri and S. H. Nasseri, βDuality in fuzzy number linear programming by use of a certain linear ranking function,β
Applied Mathematics and Computation, vol. 180, no. 1, pp. 206β 216, 2006.
[17] J. F. Baldwin and N. C. F. Guild, βComparison of fuzzy sets on the same decision space,βFuzzy Sets and Systems, vol. 2, no. 3, pp. 213β231, 1979.
[18] D. Dubois and H. Prade, βRanking fuzzy numbers in the setting of possibility theory,βInformation Sciences, vol. 30, no. 3, pp. 183β224, 1983.
[19] P. Fortemps and M. Roubens, βRanking and defuzzification methods based on area compensation,βFuzzy Sets and Systems, vol. 82, no. 3, pp. 319β330, 1996.
[20] K. Nakamura, βPreference relations on a set of fuzzy utilities as a basis for decision making,βFuzzy Sets and Systems, vol. 20, no. 2, pp. 147β162, 1986.
[21] J. RamΒ΄Δ±k and J. Rimanek, βInequality relation between fuzzy numbers and its use in fuzzy optimization,β Fuzzy Sets and Systems, vol. 16, no. 2, pp. 123β138, 1985.
[22] M. Roubens, βComparison of at fuzzy numbers,β inProceedings of the North American Fuzzy Information Processing Society (NAFIPS β86), N. Badler and A. Kandel, Eds., pp. 462β476, 1986. [23] C. Garcia-Aguado and J. L. Verdegay, βOn the sensitivity of membership functions for fuzzy linear programming prob-lems,βFuzzy Sets and Systems, vol. 56, no. 1, pp. 47β49, 1993. [24] H. R. Maleki, M. Tata, and M. Mashinchi, βLinear programming
with fuzzy variables,βFuzzy Sets and Systems, vol. 109, no. 1, pp. 21β33, 2000.
[25] M. Avriel, Nonlinear Programming Analysis and Methods, Prentice-Hall, Englewood Cliffs, NJ, USA, 1976.
[26] G. M. Lee, N. N. Tam, and N. D. Yen, Quadratic Program-ming and Affine Variational Inequalities: A Qualitative Study, Springer, New York, NY, USA, 2005.
[27] O. L. Mangasarian,Nonlinear Programming, vol. 10, Society for Industrial and Applied Mathematics, Philadelphia, Pa, USA, 1994.
Submit your manuscripts at
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematics
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematical Problems in Engineering
Hindawi Publishing Corporation http://www.hindawi.com
Differential Equations
International Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematical PhysicsAdvances in
Complex Analysis
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Optimization
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Journal of Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Function Spaces
Abstract and Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences
Hindawi Publishing Corporation http://www.hindawi.com Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Discrete Dynamics in Nature and Society
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Discrete Mathematics
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014