Abstract
In this paper, the class of differentiable semi-infinite multiobjective programming problems with vanishing constraints is considered. Both Karush–Kuhn–Tucker necessary optimality conditions and, under appropriate invexity hypotheses, sufficient optimality conditions are proved for such nonconvex smooth vector optimization problems. Further, vector duals in the sense of Mond–Weir are defined for the considered differentiable semi-infinite multiobjective programming problems with vanishing constraints and several duality results are established also under invexity hypotheses.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Multiobjective optimization (also known as multiobjective programming, vector optimization, multicriteria optimization) is an area of mathematical programming that is concerned with extremum problems involving more than one objective function to be optimized simultaneously. The difficulty of multiobjective programming lies in the fact that the objectives of vector optimization problems are in conflict with each other and an improvement of one objective may lead to the reduction of other objectives. A multiobjective optimization model provides the mathematical framework to deal with such situations. Because multiobjective optimization problems arise in different scientific applications, many researches have focused on developing optimality conditions and duality results for such mathematical programming problems and also methods for their solution. The available literature on optimality conditions and various types of duality for multiobjective programming problems is very rich (see, for example, several monographs on multiobjective programming which have been published in recent past, that is, Chen et al. 2005; Chankong and Haimes 1983; Jahn 2004; Luc 1989; Miettinen 1999; Mishra et al. 2016; Sawaragi et al. 1985; Yu 1985).
A semi-infinite multiobjective optimization problem is the simultaneously minimization of finitely many scalar objective functions subject to an arbitrary (possibly infinite) set of constraint functions. Fundamental theoretical aspects and a wide range of applications of both scalar and multiobjective semi-infinite programming problems have been studied intensively by many researchers (see, for example, Antczak 2016; Antczak et al. 2016; Antczak and Verma 2017; Jayswal and Mishra 2015; Jayswal et al. 2013; Jayswal and Singh 2019; López and Still 2007; Verma 2017; Zheng and Yang 2007; Zalmai and Zhang 2007, 2010, 2012 and others).
A particular form of a mathematical programming problem which attracted the attention of the optimization community over more than the past decade is a so-called optimization problem with vanishing constraints. Such an extremum problem has been recently introduced and studied by Achtziger and Kanzow (2008), motivated by several real-world applications, mainly for topology design problems in mechanical structures as described in their work. Since optimization problems with vanishing constraints, in their general form, are quite a new class of mathematical programming problems, very few works have only been published on this subject so far (see, for example, Achtziger et al. 2013; Dorsch et al. 2012; Dussault et al. 2018; Guu et al. 2017; Hoheisel and Kanzow 2007, 2008, 2009; Hu et al. 2019; Izmailov and Solodov 2009; Mishra et al. 2015, 2016). Recently, Tung (2020) established the optimality and duality results for the considered multiobjective semi-infinite programming with vanishing constraints under convexity assumptions. However, to the best our knowledge there are no works on optimality conditions and duality results for nonconvex differentiable semi-infinite multiobjective programming problems with vanishing constraints in the literature.
Therefore, the main purpose of this paper is to derive both necessary and sufficient optimality conditions and several duality results for a class of differentiable semi-infinite multiobjective optimization problems with vanishing constraints. Namely, we consider the semi-infinite multiobjective programming problem with vanishing constraint which is characterized by both an infinite number of inequality and equality constraints. Then, for the considered differentiable semi-infinite multiobjective programming problem with vanishing constraints, we prove two types Karush–Kuhn–Tucker necessary optimality conditions for a feasible solution to be a weak Pareto solution by using the semi-infinite version of Motzkin’s theorem of the alternative. We also extend the definition of a S-stationary point given in the literature for scalar optimization problem with vanishing constraints to the case of a differentiable semi-infinite multiobjective optimization problems with vanishing constraints. Then, we formulate the foregoing necessary optimality conditions for such smooth vector optimization problems in terms of such stationary points. Further, we prove the sufficiency of the foregoing necessary optimality conditions under assumptions that the functions constituting the considered differentiable semi-infinite multiobjective optimization problem with vanishing constraints are invex (with respect to the same function \(\eta \)). The second part of the paper is devoted to proving several duality results in the sense of Mond–Weir between the considered differentiable semi-infinite multiobjective optimization problem with vanishing constraint and its vector Mond–Weir dual problem. We prove several Mond–Weir duality results between the aforesaid vector optimization problems also under appropriate invexity hypotheses.
2 Preliminaries and problem formulation
The following convention for equalities and inequalities will be used in the paper.
For any \(x=\left( x_{1},x_{2},...,x_{n}\right) ^{T}\), \(y=\left( y_{1},y_{2},...,y_{n}\right) ^{T}\) in \(R^{n}\), we define:
-
(i)
\(x=y\) if and only if \(x_{\alpha }=y_{\alpha }\) for all \(\alpha =1,2,...,n\);
-
(ii)
\(x>y\) if and only if \(x_{\alpha }>y_{\alpha }\) for all \(\alpha =1,2,...,n\);
-
(iii)
\(x\geqq y\) if and only if \(x_{\alpha }\geqq y_{\alpha }\) for all \( \alpha =1,2,...,n\);
-
(iv)
\(x\ge y\) if and only if \(x\geqq y\) and \(x\ne y.\)
In this paper, we will use the same notation for row and column vectors when the interpretation is obvious.
Further, the cardinality of the index set J is denoted by \(\left| J\right| \). The notation \(\left\langle \cdot ,\cdot \right\rangle \) is used in the paper to denote the inner product. The convex (linear, canonical) hull of a nonempty set A is the intersection of all convex sets (linear subspaces, convex cones containing the origin) containing it, and coincides with the set of all the convex (linear, nonegative) combinations of its elements. For any set \(A\subseteq R^{n}\), the symbols intA, clA, convA, spanA, coneA stand for its interior, closure, convex hull, linear hull, and the convex cone (containing the origin) generated by A (called the convex conic hull of A and it is the smallest convex cone containing A), respectively.
It is known that, for any sets \(A_{1},A_{2}\in R^{n}\),
Proposition 1
(Florenzano and Le Van 2001) The convex cone span\(\left( A\right) \) generated by a subset A of \(R^{n}\) is precisely the set of all positive linear combinations of finitely many elements of A.
Further, let us denote by \(A^{-}\) and \(A^{s-}\) the negative polar and the strictly negative polar of a set A, that is,
Now, we give the definition of a differentiable vector-valued invex function which is a generalization of the concept of invexity introduced by Hanson (1981) for scalar smooth optimization problems to the differentiable vectorial case (see, for example, Osuna-Gómez et al. 1998).
Definition 2
Let \(f=\left( f_{1},...,f_{p}\right) :R^{n}\rightarrow R^{p}\) be a differentiable function on \(R^{n}\) and \(u\in R^{n}\). If there exist a vector-valued function \(\eta :R^{n}\times R^{n}\rightarrow R^{n}\) such that the inequalities
hold for all \(x\in R^{n}\) (\(x\ne u\)), then f is said to be a differentiable vector-valued (strictly) invex at u on \(R^{n}\) (with respect to \(\eta \)). Each function \(f_{i}\), \(i=1,...,p\), satisfying (5 ) is said to be differentiable (strictly) invex at u on \(R^{n}\) (with respect to \(\eta \)).
If the inequalities (5) are satisfied at any point u, then f is said to be a differentiable vector-valued (strictly) invex function on \(R^{n} \) (with respect to \(\eta \)).
If X is a nonempty subset of \(R^{n}\) and the inequalities (5) are satisfied at \(u\in X\) for all \(x\in X\), then f is said to be differentiable vector-valued (strictly) invex at u on X (with respect to \(\eta \)).
In order to define an analogous class of differentiable vector-valued (strictly) incave functions, the direction of the inequalities in Definition 2 should be changed to the opposite one.
In the paper, we consider the following constrained semi-infinite vector optimization problem defined by:
where \(f_{i}:R^{n}\rightarrow R\), \(i\in I=\left\{ 1,...,p\right\} \), \( g_{t}:R^{n}\rightarrow R\), \(t\in T\), \(h_{s}:R^{n}\rightarrow R\), \(s\in S\), \( H_{j}:R^{n}\rightarrow R\), \(G_{j}:R^{n}\rightarrow R\), \(j\in J\), are assumed to be continuously differentiable functions on \(R^{n}\). Moreover, T and S are arbitrary, not necessarily finite (but nonempty) sets. We call (SIMPVC) a semi-infinite multiobjective programming problem with vanishing constraints.
For the purpose of simplifying our presentation, we will next introduce some notations which will be used frequently throughout this paper.
Let
be the set of all feasible solutions in the considered vector optimization problem (SIMPVC). Further, for a given feasible solution \({\overline{x}}\), we denote the index set \(T\left( {\overline{x}}\right) \) of all active constraints \(g_{t}\) at this solution as follows
In multicriteria optimization problems, the concept of (weak) Pareto optimality (or (weak) efficiency) has an important role in all optimal decision problems with noncomparable criteria.
Definition 3
A feasible point \({\overline{x}}\) is said to be a weak Pareto solution (a weakly efficient solution) for (SIMPVC) if there is no other \(x\in \Omega \) such that
Definition 4
A feasible point \({\overline{x}}\) is said to be a Pareto solution (an efficient solution) for (SIMPVC) if there is no other \( x\in \Omega \) such that
Now, for any feasible solution \({\overline{x}}\), let us denote the following index sets
Further, let us divide the index set \(J_{+}\left( {\overline{x}}\right) \) into the following index subsets:
Similarly, the index set \(J_{0}\left( {\overline{x}}\right) \) can be partitioned into the following three index subsets:
Note that the first subscript indicates the sign of \(H_{j}\) at \({\overline{x}}\) , whereas the second subscript stands for the sign of \(G_{j}\) at \({\overline{x}}\). We would like to point out also that the above index sets substantially depend on the chosen point \({\overline{x}}\).
Definition 5
The (Bouligand) tangent cone (or contingent cone) to the feasible set \(\Omega \) of (SIMPVC) at \({\overline{x}}\in \Omega \) is the set \(T_{C}\left( \Omega ;{\overline{x}}\right) \) defined by
Achtziger and Kanzow (2008) defined the linearized cone and the modified linearized cone called the VC-linearized cone for the scalar optimization problem with vanishing constraints.
Definition 6
(Achtziger et al. 2013) The linearized cone to the feasible set \(\Omega \) of (SIMPVC) at \({\overline{x}}\in \Omega \) is the set \(L\left( {\overline{x}}\right) \) defined by
Definition 7
(Achtziger et al. 2013) The VC-linearized cone to the feasible set \(\Omega \) of (SIMPVC) at \({\overline{x}}\in \Omega \) is the set \(L_{VC}\left( {\overline{x}}\right) \) defined by
In order to prove the Karush–Kuhn–Tucker necessary optimality conditions, we need the constraint qualification. We use the Abadie constraint qualification and its modification for differentiable optimization problems with vanishing constraints introduced by Achtziger and Kanzow (2008).
Definition 8
(Achtziger and Kanzow 2008) (Abadie constraint qualification). It is said that the Abadie constraint qualification (ACQ) holds at \({\overline{x}}\in \Omega \), if and only if,
Definition 9
(Achtziger and Kanzow 2008) (VC-Abadie constraint qualification). It is said that the VC-Abadie constraint qualification (VC-ACQ) holds at \( {\overline{x}}\in \Omega \), if and only if,
Next, we recall the semi-infinite version of Motzkin’s theorem of the alternative given in Zalmai and Zhang (2007) (see also Goberna and López 1998 ).
Lemma 10
Let A and B be compact subset in \(R^{n}\) and C an arbitrary set in \( R^{n}\). Further, assume that the set \(cone\left( B\right) +span\left( C\right) \) is closed. Then, either the system
has a solution \(d\in R^{n}\), or there exist integers p, v and w with \( 0\leqq v\leqq n+1\), \(0\leqq w\leqq n+1\), such there there exist p points \( a^{i}\in A\), v points \(b^{t}\in B\), w points \(c^{s}\in C\), p non-negative scalars \(\lambda _{i}\), \(i\in \left\{ 1,...,p\right\} \) with \( \sum _{i=1}^{p}\lambda _{i}=1\), scalars \(\mu _{t}\) with \(\mu _{t}\geqq 0\) for \(t\in \left\{ 1,...,v\right\} \) and scalars \(\xi _{s}\), \(s\in \left\{ 1,...,w\right\} \), such that
or equivalently,
but never both.
Now, we show that weakly efficiency of a feasible solution \({\overline{x}}\) in (SIMPVC) implies the inconsistency of a certain semi-infinite system of linear inequalities and equalities.
Lemma 11
Let \({\overline{x}}\in \Omega \) be a weak efficient solution in (SIMPVC). Further, we assume that the Abadie constraint qualification (ACQ) holds at \({\overline{x}}\) for (SIMPVC). Then, the system
has no solution \(d\in R^{n}\).
Proof
By assumption, \({\overline{x}}\) is a weak efficient solution in (SIMPVC). Then, by Definition 3, there is no other \(x\in \Omega \) such that
or equivalently,
Now, we show that there is no \(d\in T\left( \Omega ;{\overline{x}}\right) \) such that
We proceed by contradiction. Suppose, contrary to the result, that there is \( d\in T\left( \Omega ;{\overline{x}}\right) \) such that (10) holds. Since \(d\in T_{C}\left( \Omega ;{\overline{x}}\right) \), by Definition 5, there exist \(\left( d_{k}\right) \subset R^{n}\), \(\left( \alpha _{k}\right) \subset R\) such that \(\alpha _{k}>0\) for all \(k\in N\) and, moreover,
By assumption, each objective function \(f_{i}\), \(i\in I\), is continuously differentiable at \({\overline{x}}\). Thus,
Hence, (12) yields
If \(k\rightarrow \infty \), then
By (13) and (14), we conclude that, for each \(i\in I\), there exists \(k_{i}^{*}>0\) such that \(\frac{f_{i}\left( {\overline{x}}+\alpha _{k}d_{k}\right) -f_{i}\left( {\overline{x}}\right) }{\alpha _{k}}<0\), for any \(k>k_{i}^{*}\). Let us set \(k^{*}:=\max \left\{ k_{i}^{*}:i\in I\right\} \). This means that
Because by (11) \({\overline{x}}+\alpha _{k}d_{k}\in \Omega \), (15) is a contradiction to (9). Thus, (10) holds or, in other words, by (4), we have shown that
By assumption, the Abadie constraint qualification (ACQ) holds. Combining (6) and (16), we get
By the definition of the linearized cone (see Definition 6), (10) and (17) imply that the system (8) has no solution \(d\in R^{n}\). \(\square \)
Lemma 12
Let \({\overline{x}}\in \Omega \) be a weak efficient solution in (SIMPVC). Further, we assume that the VC-Abadie constraint qualification (VC-ACQ) holds at \({\overline{x}}\) for (SIMPVC). Then, the system
has no solution \(d\in R^{n}\).
Now, we prove the Karush–Kuhn–Tucker necessary optimality conditions for weak efficiency of a feasible solution in (SIMPVC) to be its weak Pareto solution.
Theorem 13
(Karush–Kuhn–Tucker necessary optimality conditions). Let \({\overline{x}}\in \Omega \) be a weak efficient solution in (SIMPVC). Further, we assume that the Abadie constraint qualification (ACQ) holds at \({\overline{x}}\) for (SIMPVC) and the set
is closed. Then, there exist integers \(0\leqq q,r\leqq n+1\) and Lagrange multipliers \({\overline{\lambda }}_{i}\geqq 0\), \(\sum _{i=1}^{p}{\overline{\lambda }}_{i}=1\), \(\overline{\mu }_{t_{k}}\geqq 0\), \(t_{k}\in T\left( {\overline{x}}\right) \), with \({\overline{\mu }}_{t_{k}}>0\) for \(1\leqq k\leqq q\) , \(\overline{\xi }_{s_{m}}\in R\), \(s_{m}\in S\), \(1\leqq m\leqq r\), \( {\overline{\vartheta }}^{H}\in R^{w}\), \({\overline{\vartheta }}^{G}\in R^{w}\) such that the following conditions
hold.
Proof
By assumption, \({\overline{x}}\in \Omega \) is a weak Pareto solution in (SIMPVC) and the Abadie constraint qualification (ACQ) holds at \({\overline{x}} \) for (SIMPVC). We set
Hence, by Lemma 11, it follows that the system (8) has no solution \(d\in R^{n}\). By assumption, the set \(\Gamma \left( {\overline{x}}\right) =cone\left( B\right) +span\left( C\right) \) is closed. Then, by the semi-infinite version of Motzkin’s theorem of the alternative, it follows that \(0\in conv\left( A\right) +cone\left( B\right) +span\left( C\right) \), that is,
Thus, by (1) and (2), (25) gives
In other words, there exist Lagrange multipliers \(\overline{\lambda }\in R^{p}\), \({\overline{\mu }}\in R^{m}\), \({\overline{\xi }}\in R^{q}\), \({\overline{\vartheta }}^{H}\in R^{w}\) and \(\overline{\vartheta }^{G}\in R^{w}\) such that the conditions (19)–(24) are fulfilled. \(\square \)
Remark 14
Note that the Karush–Kuhn–Tucker necessary optimality conditions proved in the paper are more general than the similar results established by Tung (2020). This is a consequence of, for example, the fact that they have been established for a more general semi-infinite multiobjective programming problem with vanishing constraints than in Tung (2020). In fact, we consider a semi-infinite multiobjective programming problem with vanishing constraint which is characterized by both an infinite number of inequality and equality constraints whereas a semi-infinite vector optimization problem considered in Tung (2020) is characterized by an infinite number of inequality constraints only.
Now, we generalize to the vectorial case the Karush–Kuhn–Tucker necessary optimality conditions established by Achtziger and Kanzow (2008) for a differentiable scalar optimization problem with vanishing constraints under the VC-ACQ assumption. Therefore, we call them the VC-Karush–Kuhn–Tucker necessary optimality conditions.
Theorem 15
(VC-Karush–Kuhn–Tucker necessary optimality conditions) Let \({\overline{x}}\) be a weak efficient solution in (SIMPVC). Further, we assume that the VC-Abadie constraint qualification (VC-ACQ) holds at \({\overline{x}}\) for (SIMPVC) and the set
is closed. Then, there exist integers \(0\leqq q,r\leqq n+1\) and Lagrange multipliers \({\overline{\lambda }}_{i}\geqq 0\), \(\sum _{i=1}^{p}{\overline{\lambda }}_{i}=1\), \(\overline{\mu }_{t_{k}}\geqq 0\), \(t_{k}\in T\left( {\overline{x}}\right) \), with \({\overline{\mu }}_{t_{k}}>0\) for \(1\leqq k\leqq q\) , \(\overline{\xi }_{s_{m}}\in R\), \(s_{m}\in S\), \(1\leqq m\leqq r\), \( {\overline{\vartheta }}^{H}\in R^{w}\), \({\overline{\vartheta }}^{G}\in R^{w}\) such that the following conditions
hold.
Remark 16
Note that VC-Karush–Kuhn–Tucker necessary optimality conditions for (SIMPVC) established in Theorem 15 are weaker than the standard Karush–Kuhn–Tucker necessary optimality conditions for this vector optimization problem established in Theorem 13 (see Achtziger and Kanzow 2008).
Various stationarity concepts are widely studied in the literature and known to be important optimality conditions for optimization problems with vanishing constraints (see, for example, Dorsch et al. 2012; Hoheisel and Kanzow 2007; Hoheisel et al. 2012; Khare and Nath 2019; Kazemi and Kanzi 2018). Therefore, we now generalize one of such concepts of a stationary condition. Namely, we extend the definition of a so-called KKT condition given by Achtziger and Kanzow (2008) (see also Hoheisel and Kanzow 2008; Kazemi and Kanzi 2018 ) for a scalar optimization problem with vanishing constraint and also the concept of a S-stationary point given by Khare and Nath (2019) for a scalar optimization problem with vanishing constraint to the semi-infinite vectorial case. We also introduce the concept of a ”VC-S-stationary point” for the necessary optimality condition established in Theorem 15. Note that these stationary conditions differ only for the multipliers associated with the indices in \( J_{00}\left( {\overline{x}}\right) \).
Definition 17
The feasible solution \({\overline{x}}\in \Omega \) is called a S-stationary point of (SIMPVC) iff there exist integers \( 1\leqq q,r\leqq n+1\) and Lagrange multipliers \({\overline{\lambda }}\in R^{p}\) , \(\overline{\mu }\in R^{q}\), \({\overline{\xi }}\in R^{r}\), \(\overline{ \vartheta }^{H}\in R^{w}\) and \({\overline{\vartheta }}^{G}\in R^{w}\) with \( {\overline{\lambda }}\ge 0\), \({\overline{\mu }}\geqq 0\), \({\overline{\vartheta }} _{j}^{H}=0\), \(j\in J_{+}\left( {\overline{x}}\right) \), \({\overline{\vartheta }} _{j}^{H}\geqq 0\), \(j\in J_{00}\left( {\overline{x}}\right) \cup J_{0-}\left( {\overline{x}}\right) \), \({\overline{\vartheta }}_{j}^{H}\) free, \(j\in J_{0+}\left( {\overline{x}}\right) \), \(\overline{\vartheta }_{j}^{G}=0\), \(j\in J_{00}\left( {\overline{x}}\right) \cup J_{0+}\left( {\overline{x}}\right) \cup J_{0-}\left( {\overline{x}}\right) \cup J_{+-}\left( {\overline{x}}\right) \), \( {\overline{\vartheta }}_{j}^{G}\geqq 0\), \(j\in J_{+0}\left( {\overline{x}} \right) \) such that
Definition 18
The feasible solution \({\overline{x}}\in \Omega \) is called a VC-S-stationary point of (SIMPVC) iff there exist integers \(1\leqq q,r\leqq n+1\) and Lagrange multipliers \({\overline{\lambda }} \in R^{p}\), \({\overline{\mu }}\in R^{q}\), \({\overline{\xi }}\in R^{r}\), \( {\overline{\vartheta }}^{H}\in R^{w}\) and \({\overline{\vartheta }}^{G}\in R^{w}\) with \({\overline{\lambda }}\ge 0\), \({\overline{\mu }}\geqq 0\), \(\overline{ \vartheta }_{j}^{H}=0\), \(j\in J_{+}\left( {\overline{x}}\right) \), \({\overline{\vartheta }}_{j}^{H}\geqq 0\), \(j\in J_{00}\left( {\overline{x}}\right) \cup J_{0-}\left( {\overline{x}}\right) \), \({\overline{\vartheta }}_{j}^{H}\) free, \( j\in J_{0+}\left( {\overline{x}}\right) \), \({\overline{\vartheta }}_{j}^{G}=0\), \( j\in J_{0+}\left( {\overline{x}}\right) \cup J_{0-}\left( {\overline{x}}\right) \cup J_{+-}\left( {\overline{x}}\right) \), \({\overline{\vartheta }}_{j}^{G}\geqq 0\), \(j\in J_{00}\left( {\overline{x}}\right) \cup J_{+0}\left( {\overline{x}} \right) \) such that
Remark 19
It is worth mentioning that when \(p=1\), Definition 17 is the definition of a S-stationary point given by Achtziger and Kanzow (2008) (as a KT-condition), Khare and Nath (2019) for a differentiable scalar optimization problem with vanishing constraints. Moreover, it is also named “strongly stationary condition” (Hoheisel and Kanzow 2007; Kazemi and Kanzi 2018). The VC-S-stationary condition for differentiable scalar optimization problems with vanishing constraints can be found, for example, in Mishra et al. (2016).
Now, using the above concepts of stationary points, we formulate the necessary optimality conditions established in Theorems 13 and 15 in terms of the foregoing stationary points.
Theorem 20
(A Karush–Kuhn–Tucker type S-stationary condition) Let \({\overline{x}}\) be a weak efficient solution in (SIMPVC). Further, we assume that the Abadie constraint qualification with vanishing constraints (VC-ACQ) holds at \( {\overline{x}}\) for (SIMPVC) and the set \(\Gamma \left( {\overline{x}}\right) \) is closed. Then, \({\overline{x}}\) is a S-stationary point of (SIMPVC).
Theorem 21
(A VC-Karush–Kuhn–Tucker type VC-S-stationary condition) Let \( {\overline{x}}\) be a weak efficient solution in (SIMPVC). Further, we assume that the VC-Abadie constraint qualification with vanishing constraints (VC-ACQ) holds at \({\overline{x}}\) for (SIMPVC) and the set \(\Gamma _{VC}\left( {\overline{x}}\right) \) is closed. Then, \({\overline{x}}\) is a VC-S-stationary stationary point of (SIMPVC).
Now, we prove the sufficient optimality conditions for a feasible solution to be a weak Pareto solution (a Pareto solution) in the considered multiobjective programming problem (MPVC) with vanishing constraints under appropriate invexity hypotheses. Before proving this result, we define the following index sets:
Theorem 22
Let \({\overline{x}}\in \Omega \) be a S-stationary point in (SIMPVC) and let the following assumptions be satisfied:
-
(a)
\(\Omega _{G^{+}}\left( {\overline{x}}\right) :=\underset{j\in J_{+0}\left( {\overline{x}}\right) }{\bigcup }\left\{ x\in \Omega \backslash \left\{ {\overline{x}}\right\} :G_{j}\left( x\right) >0\right\} =\varnothing \) or \(J_{+0}^{G+}\left( {\overline{x}}\right) =\varnothing \),
-
(b)
\(J_{0+}^{H-}\left( {\overline{x}}\right) =\varnothing \).
Further, we assume that each objective function \(f_{i}\), \(i\in I\), is invex at \({\overline{x}}\) on \(\Omega \) with respect to \(\eta \), each inequality constraint \(g_{t_{k}}\), \(t_{k}\in T\left( {\overline{x}}\right) \), \(k=1,...,m\) , is (strictly) invex at \({\overline{x}}\) on \(\Omega \) with respect to \(\eta \) , each function \(h_{s_{m}}\), \(s_{m}\in S^{+}\left( {\overline{x}}\right) \), is invex at \({\overline{x}}\) on \(\Omega \) with respect to \(\eta \), each function \( -h_{s_{m}}\), \(s_{m}\in S^{-}\left( {\overline{x}}\right) \) is invex at \( {\overline{x}}\) on \(\Omega \) with respect to \(\eta \), each function \(-H_{j}\), \( t\in J_{H}^{+}\left( {\overline{x}}\right) \), is invex at \({\overline{x}}\) on \( \Omega \) with respect to \(\eta \), each function \(H_{j}\), \(J_{0+}^{-}\left( {\overline{x}}\right) \), is invex at \({\overline{x}}\) on \(\Omega \) with respect to \(\eta \), each constraint \(G_{j}\), \(j\in J_{+0}\left( {\overline{x}}\right) \) , is invex at \({\overline{x}}\) on \(\Omega \) with respect to \(\eta \). Then \( {\overline{x}}\) is a weak Pareto solution (a Pareto solution) of (SIMPVC).
Proof
We proceed by contradiction. Suppose, contrary to the result, that \( {\overline{x}}\) is a weak Pareto solution of (SIMPVC). Hence, by Definition 3, there exists \({\widetilde{x}}\in \Omega \) such that
Using invexity hypotheses, by Definition 2, the inequalities
hold for all \(x\in \Omega \). Therefore, they are also fulfilled for \(x= {\widetilde{x}}\in \Omega \). Using \({\widetilde{x}}\), \({\overline{x}}\in \Omega \) together with the Karush–Kuhn–Tucker necessary optimality conditions (27)–(31), we get, respectively,
From assumption b), it follows that \(H_{j}({\widetilde{x}})\geqq 0\), \( {\overline{\vartheta }}_{j}^{H}<0\), \(j\in J_{0}^{H-}\left( {\overline{x}}\right) =\varnothing \). Thus,
Using \({\widetilde{x}}\in \Omega \) together with assumption a), we have
Thus, (44) and (45) together with the Karush–Kuhn–Tucker necessary optimality conditions (28) and (29) yield
Multiplying (39)–(41) by the corresponding Lagrange multipliers, adding both sides of the resulting inequalities and then using (46) and (47), we obtain, respectively,
Combining (34)–(38) and (42)–(43), respectively, then multiplying the resulting inequalities by the corresponding Lagrange multipliers, taking into account Lagrange multipliers equal to 0, adding both sides of the resulting inequalities and combining some of the resulting inequalities with (48) and (49), we get that the inequality
holds, which is a contradiction to the Karush–Kuhn–Tucker necessary optimality condition (26). The proof of Pareto optimality is similar and, therefore, it is omitted in the paper. Thus, the proof of this theorem is completed. \(\square \)
In order to illustrate the results established in this section, we consider the following example of a nonconvex differentiable semi-infinite vector optimization problem with vanishing constraints.
Example 23
Consider the following differentiable semi-infinite multiobjective programming problem with vanishing constraints
Note that \(\Omega =\left\{ \left( x_{1},x_{2}\right) \in R^{2}:\arctan \left( x_{1}\right) -\arctan \left( x_{2}\right) =0\text { }\wedge \right. \)
\(\ \left. \left( x_{1}^{2}+x_{2}^{2}\right) \left( \arctan \left( x_{1}\right) -\arctan \left( x_{2}\right) \right) \leqq 0\right\} \) and \( {\overline{x}}=\left( 0,0\right) \) is such a feasible solution at which the Karush–Kuhn–Tucker necessary optimality conditions (19)–(24) are satisfied. Indeed, if we set \({\overline{\lambda }}=\left( \overline{ \lambda }_{1},{\overline{\lambda }}_{2}\right) \), \({\overline{\lambda }}_{1}\in R_{+}\), \({\overline{\lambda }}_{2}=1\), \({\overline{\mu }}_{1}=1\), \({\overline{\vartheta }}_{1}^{H}=2\) and \(\overline{\vartheta }_{1}^{G}\in R_{+}\), then the Karush–Kuhn–Tucker necessary optimality conditions (19)–(24 ) are fulfilled with these Lagrange multipliers. Further, it can be shown, by Definition 2, that all functions constituting (SIMPVC1) are invex at \({\overline{x}}\) on \(\Omega \) with respect to the same function \(\eta :\Omega \times \Omega \rightarrow R^{2}\) defined by
Further, note that \(J_{00}\left( {\overline{x}}\right) =\left\{ 1\right\} \) and, moreover, both assumptions a) and b) in Theorem 22 are satisfied. Since all hypotheses of Theorem 22 are fulfilled, \({\overline{x}} =\left( 0,0\right) \) is a weak Pareto solution of (SIMPVC1).
Remark 24
Note that it is not possible to prove weakly efficiency of \({\overline{x}} =\left( 0,0\right) \) in (SIMPVC1) considered in Example 23 under convexity hypotheses. This is a consequence of the fact that not all functions constituting (SIMPVC1) are convex. However, the optimality criteria established in the paper are applicable in the considered case, since the functions involved in (SIMPVC1) are invex with respect to the same function \(\eta \), for example, with respect to that one given in Example 23. As it follows even from Example 23, in fact, optimality criteria established in the paper are applicable for a larger class of differentiable semi-infinite multiobjective programming problems with vanishing constraints than the class of convex ones.
Now we give the example of a differentiable semi-infinite multiobjective programming problem with vanishing constraints for which the sufficient optimality conditions for efficiency in vector optimization problems of such a type actually existing in the literature fail.
Example 25
Consider the following differentiable semi-infinite multiobjective programming problem with vanishing constraints
Then, we have that \(\Omega =\left\{ \left( x_{1},x_{2}\right) \in R^{2}:x_{1}^{3}+x_{1}-10x_{2}^{3}-x_{2}+1-t\leqq 0\text {, }t\in T={\mathbb {N}}\text { }\wedge \text { }\right. \) \(\left. \ln \left( x_{1}^{2}+x_{2}^{2}+1\right) \geqq 0\text { }\wedge \text { }-\left( x_{1}^{3}+x_{1}\right) \ln \left( x_{1}^{2}+x_{2}^{2}+1\right) \leqq 0\right\} \) and \({\overline{x}}=\left( 0,0\right) \) is such a feasible solution at which the Karush–Kuhn–Tucker necessary optimality conditions (19)–(24) are satisfied. Further, note that the inequality constraint functions \(g_{t}\), \(t\in T={\mathbb {N}}\), are invex because they have no stationary points (see Ben-Israel and Mond 1986). However, the constraint functions \(g_{t}\), \(t\in T={\mathbb {N}}\), are not quasi-convex. In fact, if we take \(x=\left( 2,1\right) \) and \({\overline{x}}=\left( 0,0\right) \) , then \(g_{t}\left( x\right) -g_{t}\left( {\overline{x}}\right) <0\) but \( \nabla g_{t}\left( {\overline{x}}\right) \left( x-{\overline{x}}\right) >0\) for each \(t\in T={\mathbb {N}}\), so that \(g_{t}\), \(t\in T={\mathbb {N}}\), are not quasi-convex. This means that it is not possible to use the sufficient conditions established in Tung (2020) in order to find (weak) Pareto solutions in (SIMPVC2). Now, we show that the sufficient optimality conditions established in this paper are applicable for such nonconvex vector optimization problems. In fact, the objective function is strictly invex at \({\overline{x}}\) on \(\Omega \) and all constraints functions are invex at \({\overline{x}}\) on \(\Omega \) with respect to the same function \(\eta :\Omega \times \Omega \rightarrow R^{2}\) defined by
Further, note that \(J_{00}\left( {\overline{x}}\right) =\left\{ 1\right\} \) and, therefore, both assumptions a) and b) in Theorem 22 are satisfied. Since all hypotheses of Theorem 22 are fulfilled, \( {\overline{x}}=\left( 0,0\right) \) is a Pareto solution in (SIMPVC2).
As it follows even from this example, the sufficient conditions for (weakly) efficiency established in the paper are applicable also for some of differentiable semi-infinite multiobjective programming problems with vanishing constraints for which the sufficient optimality conditions established in Tung (2020) fail.
3 Mond–Weir duality
In this section, we formulate two vector dual problems in the sense of Mond–Weir related to the considered differentiable semi-infinite multiobjective programming problem (SIMPVC) with vanishing constraints.
For \(x\in \Omega \), we define the following vector dual problem in the sense of Mond–Weir related to the considered semi-infinite vector optimization problem (SIMPVC) with vanishing constraints as follows:
where all functions are defined in the similar way as for (SIMPVC).
Let
be the set of all feasible solutions in (VMWDVC\(\left( x\right) \)). Further, we define the set \(Y\left( x\right) \) as follows: \(Y\left( x\right) =\left\{ y\in X:\left( y,\lambda ,\mu ,\xi ,\vartheta ^{H},\vartheta ^{G},v,\beta \right) \in Q\left( x\right) \right\} \).
Remark 26
In the Mond–Weir dual problem (VMWDVC\(\left( x\right) \)) given above, the significance of \(v_{j}\) and \(\beta _{j}\) is the same as the one in Theorem 1 (Achtziger and Kanzow 2008).
Now, on the line Hu et al. (2019), we define the following vector dual problem in the sense of Mond–Weir related to the considered vector optimization problem (SIMPVC) with vanishing constraints as follows:
where the set Q of all feasible solutions in (VC-VMWDVC) is defined by \( Q=\bigcap \nolimits _{x\in \Omega }Q\left( x\right) \). Further, let us define the set \(Y_{p}\) by \(Y=\left\{ y\in X:\left( y,\lambda ,\mu ,\xi ,\vartheta ^{H},\vartheta ^{G},v,\beta \right) \in Q\right\} \).
Theorem 27
(Weak duality): Let x and \(\left( y,\lambda ,\mu ,\xi ,\vartheta ^{H},\vartheta ^{G},v,\beta \right) \) be any feasible solutions for (SIMPVC) and (VC-VMWDVC), respectively. Further, we assume that each objective function \(f_{i}\), \(i\in I\), is invex at y on \(\Omega \cup Y\) with respect to \(\eta \), each inequality constraint \(g_{t_{k}}\), \( t_{k}\in T\), \(k=1,...,q\), is invex at y on \(\Omega \cup Y\) with respect to \(\eta \), \(g_{t_{k}}\), \(t_{k}\in T\), \(k=1,...,m\), is invex at y on \(\Omega \cup Y\) with respect to \(\eta \), each function \(h_{s_{m}}\), \(s_{m}\in S^{+}\left( x\right) \), is invex at y on \(\Omega \cup Y\) with respect to \( \eta \), each function \(-h_{s_{m}}\), \(s_{m}\in S^{-}\left( x\right) \) is invex at y on \(\Omega \cup Y\) with respect to \(\eta \), each function \( -H_{j}\), \(t\in J_{H}^{+}\left( x\right) \), is invex at y on \(\Omega \cup Y\) with respect to \(\eta \), each function \(H_{j}\), \(J_{0+}^{-}\left( x\right) \) , is invex at y on \(\Omega \cup Y\) with respect to \(\eta \), each constraint \(G_{j}\), \(j\in J_{+0}\left( x\right) \), is invex at y on \( \Omega \cup Y\) with respect to \(\eta \). Then, \(f\left( x\right) \nless f\left( y\right) \).
Proof
We proceed by contradiction. Suppose, contrary to the result, that
Since \(\lambda \ge 0\), (50) gives
Using invexity hypotheses, by Definition 2, the inequalities
hold. By \(x\in \Omega \) and \(\left( y,\lambda ,\mu ,\xi ,\vartheta ^{H},\vartheta ^{G},v,\beta \right) \in Q\), we have, respectively,
Multiplying (52)–(58) by the corresponding Lagrange multipliers and then adding both sides of the resulting inequalities, we get, respectively,
Hence, using again \(\left( y,\lambda ,\mu ,\xi ,\vartheta ^{H},\vartheta ^{G},v,\beta \right) \in Q\) together with (61) and (62), we get, respectively,
Combining (51), (59), (60), (63)–(67), (68) and (69), we get that the inequality
holds, contradicting the feasibility of \(\left( y,\lambda ,\mu ,\xi ,\vartheta ^{H},\vartheta ^{G},v,\beta \right) \) in (VC-VMWDVC). This completes the proof of this theorem. \(\square \)
If the stronger assumptions are imposed on the functions constituting (SIMPVC), then the following result is true:
Theorem 28
(Weak duality): Let x and \(\left( y,\lambda ,\mu ,\xi ,\vartheta ^{H},\vartheta ^{G},v,\beta \right) \) be feasible any feasible solutions in (SIMPVC) and (VC-VMWDVC), respectively. Further, we assume that each objective function \(f_{i}\), \(i\in I\), is strictly invex at y on \(\Omega \cup Y\) with respect to \(\eta \), each inequality constraint \(g_{t_{k}}\), \(t_{k}\in T\), \(k=1,...,q\), is invex at y on \(\Omega \cup Y\) with respect to \(\eta \), \(g_{t_{k}}\), \(t_{k}\in T\), \( k=1,...,m\), is invex at y on \(\Omega \cup Y\) with respect to \(\eta \), each function \(h_{s_{m}}\), \(s_{m}\in S^{+}\left( y\right) \), is invex at y on \( \Omega \cup Y\) with respect to \(\eta \), each function \(-h_{s_{m}}\), \( s_{m}\in S^{-}\left( y\right) \) is invex at y on \(\Omega \cup Y\) with respect to \(\eta \), each function \(-H_{j}\), \(t\in J_{H}^{+}\left( x\right) \) , is invex at y on \(\Omega \cup Y\) with respect to \(\eta \), each function \( H_{j}\), \(J_{0+}^{-}\left( x\right) \), is invex at y on \(\Omega \cup Y\) with respect to \(\eta \), each constraint \(G_{j}\), \(j\in J_{+0}\left( x\right) \), is invex at y on \(\Omega \cup Y\) with respect to \(\eta \). Then, \(f\left( x\right) \nleqslant f\left( y\right) \).
Theorem 29
(Strong duality): Let \({\overline{x}}\in \Omega \) be a (weak) Pareto solution of (SIMPVC) and a suitable constraint qualification (for example, the VC-ACQ constraint qualification) be satisfied at \({\overline{x}}\). Then, there exist Lagrange multipliers \( {\overline{\lambda }}\in R^{p}\), \({\overline{\mu }}\in R^{m}\), \({\overline{\xi }} \in R^{q}\), \({\overline{\vartheta }}^{H}\in R^{w}\), \({\overline{\vartheta }} ^{G}\in R^{w}\) and \({\overline{v}}\in R^{w}\), \({\overline{\beta }}\in R^{w}\) such that \(\left( {\overline{x}},{\overline{\lambda }},\overline{\mu },{\overline{\xi }},{\overline{\vartheta }}^{H},\overline{\vartheta }^{G},{\overline{v}}, {\overline{\beta }}\right) \) is feasible in (VC-VMWDVC). If also all hypotheses of the weak duality theorem (that is, Theorem 27 (Theorem 28)) are satisfied, then \(\left( {\overline{x}},{\overline{\lambda }},{\overline{\mu }}, \overline{\xi },{\overline{\vartheta }}^{H},{\overline{\vartheta }}^{G}, {\overline{v}},{\overline{\beta }}\right) \) is a weakly efficient solution (an efficient solution) of a maximum type in (VC-VMWDVC).
Proof
By assumption, \({\overline{x}}\) is a weak Pareto solution of (SIMPVC) and the VC-ACQ constraint qualification is satisfied at \({\overline{x}}\). Then, by the standard Karush–Kuhn–Tucker necessary optimality conditions (see, for example, Singh 1987), there exist Lagrange multipliers \({\overline{\lambda }}\in R^{p}\), \(\overline{\mu }\in R^{m}\), \({\overline{\xi }}\in R^{q}\) and \( {\overline{v}}\in R^{w}\), \({\overline{\beta }}\in R^{w}\) such that the condition
holds. If we set
in (70), then there exist \({\overline{\lambda }}\in R^{p}\), \({\overline{\mu }}\in R^{m}\), \({\overline{\xi }}\in R^{q}\), \({\overline{\vartheta }}^{H}\in R^{w}\) and \(\overline{\vartheta }^{G}\in R^{w}\) such that the Karush–Kuhn–Tucker necessary optimality conditions (26)–(31) are satisfied. Thus, the feasibility of \(\left( {\overline{x}},\overline{ \lambda },{\overline{\mu }},{\overline{\xi }},{\overline{\vartheta }}^{H}, {\overline{\vartheta }}^{G},{\overline{v}},{\overline{\beta }}\right) \) in (VC -VMWDVC) follows from the VC-Karush–Kuhn–Tucker necessary optimality conditions (26)–(31) and also from (71) and (72).
Now, we prove that \(\left( {\overline{x}},\overline{\lambda },{\overline{\mu }}, {\overline{\xi }},\overline{\vartheta }^{H},{\overline{\vartheta }}^{G}, {\overline{v}},\overline{\beta }\right) \) is a weakly efficient solution of a maximum type in (VC-VMWDVC). We proceed by contradiction. Suppose, contrary to the result, that \(\left( {\overline{x}},{\overline{\lambda }}, \overline{\mu },{\overline{\xi }},{\overline{\vartheta }}^{H},\overline{ \vartheta }^{G},{\overline{v}},{\overline{\beta }}\right) \) is not a weakly efficient solution of a maximum type in (VC-VMWDVC). Then, by definition, there exists \(\left( {\widetilde{y}},\widetilde{\lambda },{\widetilde{\mu }}, {\widetilde{\xi }},\widetilde{\vartheta }^{H},{\widetilde{\vartheta }}^{G}, {\widetilde{v}},\widetilde{\beta }\right) \in Q\) such that the inequality
holds, which is a contradiction to the weak duality theorem (Theorem 27). Hence, we conclude that \(\left( {\overline{x}}, {\overline{\lambda }},{\overline{\mu }},\overline{\xi },{\overline{\vartheta }} ^{H},\overline{\vartheta }^{G},{\overline{v}},{\overline{\beta }}\right) \) is a weakly efficient solution of a maximum type in (VC-VMWDVC). The proof of efficiency of a maximum type in (VC-VMWDVC) is similar and, therefore, it is omitted in the paper. \(\square \)
The next two theorems give sufficient conditions for \({\overline{y}}\), where \( \left( {\overline{y}},{\overline{\lambda }},\overline{\mu },{\overline{\xi }}, {\overline{\vartheta }}^{H},\overline{\vartheta }^{G},{\overline{v}},{\overline{\beta }}\right) \) is a feasible solution of the (VC-VMWDVC), to be a weak Pareto solution (a Pareto solution) of (SIMPVC).
Theorem 30
(Converse duality): Let x be any feasible solution of (SIMPVC) and \(\left( {\overline{y}},{\overline{\lambda }}, {\overline{\mu }},\overline{\xi },{\overline{\vartheta }}^{H},\overline{ \vartheta }^{G},{\overline{v}},{\overline{\beta }}\right) \) be a weak efficient solution of a maximum type in Mond–Weir dual problem (VC-VMWDVC) such that \({\overline{y}}\in \Omega \). Further, we assume that each objective function \( f_{i}\), \(i\in I\), is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \), each inequality constraint \(g_{t_{k}}\), \(t_{k}\in T\), \(k=1,...,q\) , is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \), each function \(h_{s_{m}}\), \(s_{m}\in S^{+}\left( {\overline{y}}\right) \), is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \), each function \(-h_{s_{m}}\), \(s_{m}\in S^{-}\left( {\overline{y}}\right) \) is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \), each function \( -H_{j}\), \(t\in J_{H}^{+}\left( x\right) \), is invex at \({\overline{y}}\) on \( \Omega \cup Y\) with respect to \(\eta \), each function \(H_{j}\), \( J_{0+}^{-}\left( x\right) \), is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \), each constraint \(G_{j}\), \(j\in J_{+0}\left( x\right) \), is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \( \eta \). Then \({\overline{y}}\) is a weak Pareto solution of (SIMPVC).
Proof
We proceed by contradiction. Suppose, contrary to the result, that \( {\overline{y}}\in \Omega \) is not a weak Pareto solution of (SIMPVC). Hence, by Definition 3, there exists \({\widetilde{x}}\in \Omega \) such that
From invexity hypotheses, by Definition 2, the inequalities
hold. By \({\widetilde{x}}\), \({\overline{y}}\in \Omega \), we have, respectively,
Hence, using (83) and (84) together with \(\left( {\overline{y}}, {\overline{\lambda }},{\overline{\mu }},\overline{\xi },{\overline{\vartheta }} ^{H},\overline{\vartheta }^{G},{\overline{v}},{\overline{\beta }}\right) \in Q\), we obtain
Combining (73)–(77), multiplying by the corresponding Lagrange multipliers and then adding both sides of the resulting inequalities, we obtain, respectively,
Multiplying (78)–(80) by the corresponding Lagrange multipliers, adding both sides of the resulting inequalities and then using (85) and (86), we get, respectively,
Combining (87)–(91), we get that the inequality
holds, which is a contradiction to the first constraint of (VC-VMWDVC). This completes the proof of this theorem. \(\square \)
If we assume stronger assumptions, then the following result is true:
Theorem 31
(Converse duality): Let x be any feasible solution of (SIMPVC) and \(\left( {\overline{y}},{\overline{\lambda }}, {\overline{\mu }},\overline{\xi },{\overline{\vartheta }}^{H},\overline{ \vartheta }^{G},{\overline{v}},{\overline{\beta }}\right) \) be an efficient solution of a maximum type in Mond–Weir dual problem (VC-VMWDVC) such that \({\overline{y}}\in \Omega \). Further, we assume that each objective function \( f_{i}\), \(i\in I\), is strictly invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \), each inequality constraint \(g_{t_{k}}\), \(t_{k}\in T\) , \(k=1,...,q\), is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \), each function \(h_{s_{m}}\), \(s_{m}\in S^{+}\left( {\overline{y}} \right) \), is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \( \eta \), each function \(-h_{s_{m}}\), \(s_{m}\in S^{-}\left( {\overline{y}} \right) \) is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \( \eta \), each function \(-H_{j}\), \(t\in J_{H}^{+}\left( x\right) \), is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \), each function \( H_{j}\), \(J_{0+}^{-}\left( x\right) \), is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \), each constraint \(G_{j}\), \(j\in J_{+0}\left( x\right) \), is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \( \eta \). Then \({\overline{y}}\) is a Pareto solution of (SIMPVC).
The next theorem gives sufficient conditions for a feasible point of the primal problem (SIMPVC) to be a weak Pareto solution (a Pareto solution) by using the Mond–Weir dual problem (VC-VMWDVC).
Theorem 32
(Strict converse duality): Let \({\overline{x}}\) be any feasible solution of (SIMPVC) and \(\left( {\overline{y}},\overline{\lambda },{\overline{\mu }}, {\overline{\xi }},\overline{\vartheta }^{H},{\overline{\vartheta }}^{G}, {\overline{v}},\overline{\beta }\right) \) be a feasible solution of (VC -VMWDVC) such that \(f\left( {\overline{x}}\right) =f\left( {\overline{y}}\right) \). Further, we assume that each objective function \(f_{i}\), \(i\in I\), is (strictly) invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \) , each inequality constraint \(g_{t_{k}}\), \(t_{k}\in T\), \(k=1,...,q\), is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \), each function \(h_{s_{m}}\), \(s_{m}\in S^{+}\left( {\overline{y}}\right) \), is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \), each function \( -h_{s_{m}}\), \(s_{m}\in S^{-}\left( {\overline{y}}\right) \) is invex at \( {\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \), each function \( -H_{j}\), \(t\in J_{H}^{+}\left( {\overline{x}}\right) \), is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \), each function \(H_{j}\), \( J_{0+}^{-}\left( {\overline{x}}\right) \), is invex at \({\overline{y}}\) on \( \Omega \cup Y\) with respect to \(\eta \), each constraint \(G_{j}\), \(j\in J_{+0}\left( {\overline{x}}\right) \), is invex at \({\overline{y}}\) on \(\Omega \cup Y\) with respect to \(\eta \). Then \({\overline{x}}\) is a weak Pareto solution (a Pareto solution) of (SIMPVC) and \(\left( {\overline{y}},{\overline{\lambda }},\overline{\mu },{\overline{\xi }},{\overline{\vartheta }}^{H}, \overline{\vartheta }^{G},{\overline{v}},{\overline{\beta }}\right) \) is a weak efficient solution (an efficient solution) of a maximum type in (VC -VMWDVC).
Proof
We proceed by contradiction. Suppose, contrary to the result, that \( {\overline{x}}\in \Omega \) is not a weak Pareto solution of (SIMPVC). Hence, by Definition 3, there exists \({\widetilde{x}}\in \Omega \) such that
Combining (92) with the assumption \(f\left( {\overline{x}}\right) =f\left( {\overline{y}}\right) \), we get \(f\left( {\widetilde{x}}\right) <f\left( {\overline{y}}\right) \). The rest of this proof is similar to the proof of Theorem 30. Weak efficiency of a maximum type of \(\left( {\overline{y}},{\overline{\lambda }},{\overline{\mu }}, \overline{\xi },{\overline{\vartheta }}^{H},{\overline{\vartheta }}^{G}, {\overline{v}},{\overline{\beta }}\right) \) in (VC-VMWDVC) follows from the weak duality theorem - Theorem 27 (or Theorem 28 in the case efficiency of a maximum type). \(\square \)
4 Conclusion
In the paper, both necessary and sufficient optimality have been proved for the considered differentiable semi-infinite multiobjective programming problem with vanishing constraints. Namely, two types of Karush–Kuhn–Tucker necessary optimality conditions have been established for such smooth vector optimization problems and, moreover, they have also been specified in terms of S-stationary points which their definitions have been introduced in the paper for the differentiable semi-infinite multiobjective programming problem with vanishing constraints. Further, sufficient optimality conditions have been established for such smooth semi-infinite vector optimization problems under invexity hypotheses. Furthermore, several duality results in the sense of Mond–Weir between the considered differentiable semi-infinite multiobjective programming problem with vanishing constraints and its vector Mond–Weir dual problem defined in the paper for such extremum problems have been proved also under appropriate invexity assumptions. The sufficient optimality conditions and duality results presented here have been established for differentiable semi-infinite multiobjective programming problems with vanishing constraints in which the involved functions are invex (with respect to the same function \(\eta \)). Thus, similar results established previously in the literature for scalar smooth optimization problems with vanishing constraints in which the involved functions are convex have been extended to a new class of nonconvex differentiable semi-infinite multiobjective optimization problems with vanishing constraints. Further, it has been illustrated that the results established in the paper are applicable for some of differentiable semi-infinite multiobjective programming problems with vanishing constraints for which the similar results existing actually in the literature for such extremum problems can fail.
It seems that the techniques employed in this paper can be used in proving similarly results for other classes of mathematical programming problems with vanishing constraints. We shall investigate these problems in the subsequent papers.
References
Achtziger W, Kanzow C (2008) Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications. Math Program 114:69–99
Achtziger W, Hoheisel T, Kanzow C (2013) A smoothing-regularization approach to mathematical programs with vanishing constraints. Comput Optim Appl 55:733–767
Antczak T (2016) Sufficient optimality conditions for semi-infinite multiobjective fractional programming under \(\left( \Phi,\rho \right) \)-\(V\)-invexity and generalized \(\left( \Phi,\rho \right) \)-\(V\) -invexity. Filomat 30:2649–3665
Antczak T, Mishra SK, Upadhyay BB (2016) First order duality for a new class of nonconvex semi-infinite minimax fractional programming problems. J Adv Math Stud 9:132–162
Antczak T, Verma R (2017) Parametric duality results for semi-infinite multiobjective fractional programming under \(\left( \Phi,\rho \right) \)-\(V\)-invexity and generalized \(\left( \Phi,\rho \right) \)-\(V\) -invexity. Adv Nonlinear Var Inequal 20:58–92
Ben-Israel A, Mond B (1986) What is invexity? J Aust Math Soc 28:1–9
Chankong V, Haimes YY (1983) Multiobjective decision making theory and methodology. Elsevier Science Publishing Co., Inc, New York
Chen G, Huang X, Yang X (2005) Vector optimization, set-valued and variational analysis, vol 541. Lecture Notes in Economics and Mathematical Systems, Springer, Berlin
Dorsch D, Shikhman V, Stein O (2012) Mathematical programs with vanishing constraints: Critical point theory. J Global Optim 52:591–605
Dussault JP, Haddou M, Migot T (2018) Mathematical programs with vanishing constraints: constraint qualifications, their applications and a new regularization method. https://hal.archives-ouvertes.fr/hal-01701461
Florenzano M, Le Van C (2001) Finite dimensional convexity and optimization. Studies in economics theory, vol. 13, Springer, Berlin
Goberna MA, López MA (1985) Conditions for the closedness of the characteristic cone associated with an infinite linear system. In: Beckmann M, Krelle W (eds) Infinite programming. Lecture Notes in Economics and Mathematical Systems, vol 259. Springer, Berlin, pp 16–28
Goberna MA, López MA (1998) Linear semi-infinite optimization. Wiley, New York
Guu S-M, Singh Y, Mishra SK (2017) On strong KKT type sufficient optimalityconditions for multiobjective semi-infinite programming problems with vanishing constraints. J Inequal Appl 2017:282
Hanson MA (1981) On sufficiency of the Kuhn-Tucker conditions. J Math Anal Appl 80:545–550
Hoheisel T, Kanzow C (2007) First- and second-order optimality conditions for mathematical programs with vanishing constraints. Appl Math 52:495–514
Hoheisel T, Kanzow C (2008) Stationary conditions for mathematical programs with vanishing constraints using weak constraint qualifications. J Math Anal Appl 337:292–310
Hoheisel T, Kanzow C (2009) On the Abadie and Guignard constraint qualifications for mathematical programmes with vanishing constraints. Optimization 58:431–448
Hoheisel T, Kanzow C, Schwartz A (2012) Mathematical programs with vanishing constraints: a new regularization approach with strong convergence properties. Optimization 61:619–636
Hu Q, Wang J, Chen Y (2019) New dualities for mathematical programs with vanishing constraints. Ann Oper Res. https://doi.org/10.1007/s10479-019-03409-6
Izmailov AF, Solodov MV (2009) Mathematical programs with vanishing constraints: optimality conditions, sensitivity, and relaxation method. J Optim Theory Appl 142:501–532
Jahn J (2004) Vector optimization: theory, applications and extensions. Springer, Berlin
Jayswal A, Mishra SK (2015) Optimality conditions and duality for multiobjective semi-infinite programming problems with generalized \(\left( C,\alpha ,\rho ,d\right) \)-convexity. Ann Univ Buchar Math Ser 6 (LXIV):83–98
Jayswal A, Prasad AK, Ahmad I, Agarwal RP (2013) Duality for semi-infinite programming problems involving \(\left( H_{p}, r\right) \)-invex functions. J Inequal Appl 2013:200
Jayswal A, Singh V (2019) The characterization of efficiency and saddle point criteria for multiobjective optimization problem with vanishing constraints. Acta Math Sci 39B:382–394
Kazemi S, Kanzi N (2018) Constraint qualifications and stationary conditions for mathematical programming with non-differentiable vanishing constraints. J Optim Theory Appl 179:800–819
Khare A, Nath T (2019) Enhanced Fritz John stationarity, new constraint qualifications and local error bound for mathematical programs with vanishing constraints. J Math Anal Appl 472:1042–1077
López MA, Still G (2007) Semi-infinite programming. Eur J Oper Res 180:491–518
Luc DT (1989) Theory of vector optimization, vol 319. Lecture Notes in Economics and Mathematical Systems, Springer, Berlin
Miettinen KM (1999) Nonlinear multiobjective optimization. Kluwer Academic Publishers, Dordrecht
Mishra SK, Singh V, Laha V, Mohapatra RN (2015) On constraint qualifications for multiobjective optimization problems with vanishing constraints. In: Xu H, Wang S, Wu S-Y (eds) Optimization methods, theory and applications. Springer, Berlin, pp 95–135
Mishra SK, Singh V, Laha V (2016) On duality for mathematical programs with vanishing constraints. Ann Oper Res 243:249–272
Mishra SK, Wang S-Y, Lai KK (2009) Generalized convexity and vector optimization. Nonconvex optimization and its applications, vol 90, Springer, Berlin
Osuna-Gómez R, Rufián-Lizana A, Ruiz-Canales P (1998) Invex functions and generalized convexity in multiobjective programming. J Optim Theory Appl 98:651–661
Sawaragi Y, Nakayama H, Tanino T (1985) The theory of multiobjective optimization. Academic Press, New York
Singh C (1987) Optimality conditions in multiobjective differentiable programming. J Optim Theory Appl 53:115–123
Stefanescu MV, Stefanescu A (2012) On semi-infinite minmax programming with generalized invexity. Optimization 61:1307–1319
Tung LT (2020) Karush-Kuhn-Tucker optimality conditions and duality for multiobjective semi-infinite programming with vanishing constraints. Ann Oper Res. https://doi.org/10.1007/s10479-020-03742-1
Verma RU (2017) Semi-infinite fractional programming. Infosys Science Foundation Series in Mathematical Sciences, Springer Nature, Singapore
Yu PL (1985) Multiple-criteria decision making: concepts, techniques and extensions. Plenum Press, New York
Zalmai GJ, Zhang Q (2007) Global nonparametric sufficient optimality conditions for semi-infinite discrete minmax fractional programming problems involving generalized \(\left( \eta,\rho \right) \)-invex functions. Numer Funct Anal Optim 28:173–209
Zalmai GJ, Zhang Q (2010) Semiinfinite multiobjective programming. Part I: Sufficient efficiency conditions. J Appl Anal 16:199–224
Zalmai GJ, Zhang Q (2012) Optimality conditions and duality in minmax fractional programming, Part I: necessary and sufficient optimality conditions. J Adv Math Stud 5:107–137
Zheng XY, Yang X (2007) Lagrange multipliers in nonsmooth semi-infinite optimization problems. J Oper Res 32:168–181
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that there is no conflict of interests regarding the publication of this paper.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, 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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Antczak, T. Optimality conditions and Mond–Weir duality for a class of differentiable semi-infinite multiobjective programming problems with vanishing constraints. 4OR-Q J Oper Res 20, 417–442 (2022). https://doi.org/10.1007/s10288-021-00482-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10288-021-00482-1
Keywords
- Differentiable semi-infinite multiobjective programming problem with vanishing constraints
- Karush–Kuhn–Tucker necessary optimality conditions
- Mond–Weir duality
- Invex function