- Research
- Open access
- Published:
A fuzzy semi-infinite optimization problem
Journal of Inequalities and Applications volume 2014, Article number: 457 (2014)
Abstract
In this paper, we present a fuzzy semi-infinite optimization problem. Moreover, we will deduce the Fritz-John and Kuhn-Tucker necessary conditions of this problem. Finally, a numerical example is given to illustrate the results.
MSC: 90C34, 90C05, 90C70, 90C30, 90C46.
1 Introduction
In many practical problems, we might have information containing some uncertainty, which is treated in this paper as fuzzy information; the considered semi-infinite optimization problem with fuzzy information is a fuzzy semi-infinite optimization problem.
Fuzzy set theory was introduced into conventional linear programming by Zimmermann [1], fuzzy mathematical programming was presented in [2], and fuzzy programming and linear programming with several objective functions were presented by [3].
Optimality conditions of a nonlinear programming problem with fuzzy parameters are established, and a fuzzy function is defined, with its differentiability, convexity, and some important properties being studied in [4]; the fuzzy solution of optimization problems and the incentive solution of the optimization problems are presented which explain that the solution of optimization problems is a generalization of the solutions in the case of crisp optimization problems [5]. As regards fuzzy mathematical programming: theory, application, and an extension are presented in [6].
This paper is organized as follows: In Section 2, the formulation of the problem of semi-infinite optimization is considered. In Section 3, the main section of the paper, we will study a fuzzy semi-infinite optimization problem, and the Fritz-John and Kuhn-Tucker necessary conditions. Finally, the conclusion is drawn in Section 5.
2 A semi-infinite programming problem
A semi-infinite programming problem is an optimization problem in which finitely many variables appear with infinitely many constraints [7, 8], and we consider a generalized semi-infinite optimization problem (GSIP) [9, 10] of the form
I, K, and L are finite index sets with and (where denotes the cardinality), all appearing functions are real valued and continuously differentiable, and the set is compact for each , and the set-valued mapping is upper semi-continuous at each .
For the special case that the set does not depend on the variable x, this problem is a common semi-infinite problem (SIP). The generalized semi-infinite and bi-level optimization problem are presented by Stein and Still [11]. Bi-level problems are of the following form.
(BL):
The generalized semi-infinite programming on generic local minimizers was introduced by Gunzel et al. [12]. The feasible set in generalized semi-infinite optimization is presented by Jongen et al. in [13]. Furthermore, the linear and linearized generalized semi-infinite optimization problems were introduced by Rukmann [14]. In [15], a first-order optimality condition in generalized semi-infinite programming is introduced. Still discussed the optimality conditions for generalized semi-infinite programming problems in [16].
3 A fuzzy semi-infinite programming problem
3.1 Problem formulation
A fuzzy semi-infinite programming problem is defined as
All functions of this problem have the same properties as the problem (2.1). For denote the index sets of the active inequality constraints by
3.2 Lower level problem
Consider the following lower level problem:
The fuzzy requirements of the lower level problem (3.3) can be quantified by electing a membership function (Figure 1) which is differentiable in the open interval , where is defined by
where and denote the values of the objective function of the lower level problem (3.3) with the degree of the membership function 0 and 1, respectively, i.e., is an undesirable value and is a desirable value of the objective function .
Definition 1 The α-level set of the fuzzy goal is defined as the ordinary set ; for the value of the degree of its membership function exceeds the level α, i.e.
where α is the least acceptable degree of the required value. For certain degrees α the problem (3.3) can be transformed into the following equivalent form:
If and , then is a minimizer of the problem (3.5).
By the Fritz-John conditions there exist coefficients , , and satisfying
where
In other words, for and the set is nonempty and, furthermore, is also compact.
4 Fritz-John conditions
Firstly, we will give some lemmas, definitions, and a proposition which will be used in the proof of the Fritz-John conditions.
Lemma 2 [9]
Let , and . Then the set is bounded, and whenever .
Lemma 3 [9]
Let , and for let . Then is an interior point of M.
Definition 4 For define
Lemma 5 [9]
Let . Then the set is compact.
Definition 6 [17]
For a set V, we define to denote the convex hull of V, i.e. if and only if
i.e. consists of all finite convex combinations of the elements of V.
Lemma 7 [18]
Let be a nonempty compact set. Then there exists a with for all if and only if .
Lemma 8 [19]
Let , be finite index sets and , , and , . Then either (i) or (ii) holds.
-
(i)
There are real numbers , , , , satisfying
(4.3) -
(ii)
The set is linearly independent and there exists a with
(4.4)
Proposition 9 [9]
For and , we define the following functions:
Then the following conditions are satisfied.
-
(i)
The set () is linearly independent.
-
(ii)
There is a satisfying
(4.5)
The fuzzy requirements of the problem (3.1) can be quantified by electing a membership function (Figure 2) which is differentiable in the open interval where is defined by
where and denote the values of the objective function of the problem (3.1) with the degree of membership function 0and 1, respectively, i.e., is an undesirable value and is a desirable value of the objective function . For a certain degree the defuzzification of the problem (3.1) is
Theorem 10 Let be a local minimizer of the problem (4.7). Then either and there exist
satisfying
or and there exist , , , , satisfying
Proof Let be a local minimizer of the problem (4.7). We distinguish three cases.
Case 1: The set is linearly dependent. Then we are done by choosing , , in (4.9) (if ), or , in (4.10) (if ) as well as a linear combination with .
Case 2: There exists a and the set is linearly dependent. Then there exists a linear combination , and therefore we have , (with ), and
Case 3: Neither Case 1 nor Case 2 holds. Then the proof is similar to Theorem 1.1 in [9]. □
5 A constraint qualification
Definition 11 The Mangasarian-Fromovitz constraint qualification (MFCQ) of the problem (4.7) is said to hold at if:
-
(1)
the set is linearly independent and
-
(2)
there exists a such that
(5.1)
Theorem 12 Let be a local minimizer of the problem (4.7) and (MFCQ) be satisfied. Then either and there exist
satisfying
or and there exist , , , , satisfying the set
The proof is similar to the proof of Theorem 10 if we choose .
Example
The lower level problem is
The optimal solution of the crisp problem is , , and ; and , .
Let and be undesirable values of the problem, the membership functions of f and G are defined by
The new problem is
The lower level problem is
then
Since
we have
the solution is
6 Conclusion
In this work, we discussed a fuzzy semi-infinite optimization problem, by considering that the minimum of the objective function is fuzzy (). The Fritz-John conditions and the constraint qualification are discussed for this problem. Finally, an illustrative example is given to clarify the results.
References
Zimmermann H-J: Description and optimization of fuzzy systems. Int. J. Gen. Syst. 1976, 2: 209–215. 10.1080/03081077608547470
Zimmermann H-J: Fuzzy mathematical programming. Comput. Oper. Res. 1983, 10: 291–298. 10.1016/0305-0548(83)90004-7
Zimmermann H-J: Fuzzy programming and linear programming with several objective functions. Fuzzy Sets Syst. 1978, 1: 45–55. 10.1016/0165-0114(78)90031-3
Cantão, LAP, Yamakami, A: Nonlinear programming with fuzzy parameters: theory and applications. In: Mohammedian, M (ed.) Proceedings of CIMCA 2003. ISBN:1740880684
Jameed AF, Sadeghi A: Solving nonlinear programming problem in fuzzy environment. Int. J. Contemp. Math. Sci. 2012,7(4):159–170.
Luhandjula MK: Fuzzy mathematical programming: theory, applications and extension. J. Uncertain Syst. 2007,1(2):124–136.
Reemsten R, Ruckmann J-J (Eds): Semi-Infinite Programming. Kluwer Academic, Boston; 1998.
Hettich R, Kortank KO: Semi-infinite programming: theory methods, and applications. SIAM Rev. 1993, 35: 380–429. 10.1137/1035089
Jongen HT, Ruckmann J-J, Stein O: Generalized semi-infinite optimization: a first order optimality condition and examples. Math. Program. 1998, 83: 145–158.
Weber G-W: Generalized semi-infinite optimization: on some foundation. Vyčisl. Tehnol. 1999, 4: 41–61.
Stein O, Still G: On generalized semi-infinite optimization and bi-level optimization. Eur. J. Oper. Res. 2002, 142: 444–462. 10.1016/S0377-2217(01)00307-1
Gunzel H, Jongen HT, Stein O: Generalized semi-infinite programming: on generic local minimizers. J. Glob. Optim. 2008,42(3):413–421. 10.1007/s10898-008-9302-1
Jongen HT, Twilt F, Weber G-W: Semi infinite optimization: structure and feasibility of the feasible set. J. Optim. Theory Appl. 1992, 72: 529–552. 10.1007/BF00939841
Rukmann JJ: On linear and liberalized generalized semi-infinite optimization problem. Ann. Oper. Res. 2001, 101: 191–208. 10.1023/A:1010972524021
Ruckmann J-J, Shapiro A: First-order optimality conditions in generalized semi-infinite programming. J. Optim. Theory Appl. 1999, 101: 677–691. 10.1023/A:1021746305759
Stein O, Still G: On optimality conditions for generalized semi- infinite programming problems. J. Optim. Theory Appl. 2000, 104: 443–458. 10.1023/A:1004622015901
Bazaraa MS, Shetty CM: Nonlinear Programming Theory and Algorithms. Wiley, New York; 1979.
Cheney EW: Introduction to Approximation Theory. McGraw-Hill, New York; 1966.
Jongen HT, Jonker P, Twilt F: Nonlinear Optimization in Rn. II. Transversality, Flows, Parametric Aspects. Peter Lang, Frankfurt am Main; 1986.
Acknowledgements
The author wants to express his deep thanks and his respect to his faculty, colleagues, the Journal, and Prof. Dr. Rachel M Bernales of the Journal of Editorial office. Also the author wants to express his thanks and respect to Jane Doe who provided medical writing services on behalf of XYZ pharmaceuticals Ltd.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Megahed, A.EM.A. A fuzzy semi-infinite optimization problem. J Inequal Appl 2014, 457 (2014). https://doi.org/10.1186/1029-242X-2014-457
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-457