1. Introduction
In recent times, mathematical programming problems with vanishing constraints (MPVC) have emerged as a very important and interesting optimization problem (see, for instance, [
1,
2,
3]). The initial formulation and investigation of MPVC are attributed to the work of Achtziger and Kanzow [
1]. The term vanishing constraints is derived from the fact that in various applications of MPVC, some of the constraints are often seen to vanish or become redundant at some points within the feasible set. One of the primary challenges encountered in the investigation of MPVC is that the feasible set may be non-convex and non-connected, despite the presence of convex constraint functions (see, for instance, [
1,
4]). Furthermore, in general, the majority of standard constraint qualifications, such as the Mangasarian–Fromovitz constraint qualification (MFCQ) and the linear independence constraint qualification (LICQ), are violated at an arbitrary feasible point of MPVC (see [
1,
4]). For a more comprehensive study of MPVC in various settings, we refer the readers to [
2,
3,
5,
6,
7] and the references cited therein. If the feasible set of MPVC is defined by an infinite number of inequality constraints, then MPVC is termed a semi-infinite programming problem with vanishing constraints (SIPVC). Tung [
8] studied the optimality conditions and duality results for SIPVC involving continuously differentiable functions.
Multiobjective optimization problems involve the optimization of two or more conflicting objectives simultaneously. Due to their diverse applications in various real-world problems, including science and engineering (see, for instance, [
9,
10]), multiobjective optimization problems have been extensively studied by numerous researchers in various settings (see [
7,
11,
12,
13] and the references cited therein). Maeda [
14] studied constraint qualifications for multiobjective optimization problems involving differentiable functions. Further, Li [
15] established KKT-type necessary optimality conditions for nonsmooth multiobjective optimization problems. Guu et al. [
16] derived strong KKT-type sufficient optimality criteria for multiobjective SIPVC under generalized convexity assumptions. Antczak [
17] established both necessary and sufficient optimality conditions for multiobjective SIPVC involving invex functions. Further, Tung [
18,
19] derived KKT-type necessary optimality conditions as well as duality results for multiobjective SIPVC involving smooth and nonsmooth functions under convexity assumptions.
In general, optimization problems involve deterministic values for the coefficients of objective and constraint functions, leading to precise solutions. However, it is significant that many real-life optimization problems involve uncertain or imprecise data due to measurement errors or variations due to market fluctuations (see [
20,
21]). Therefore, to address uncertain optimization problems, researchers have developed several optimization methodologies, such as stochastic optimization, fuzzy optimization, and interval-valued optimization (see [
20,
21,
22,
23,
24,
25,
26] and the references cited therein). Interval-valued optimization problems have gained significant attention from several researchers in the past few years (see, for instance, [
27,
28,
29,
30,
31,
32,
33,
34,
35] and the references cited therein). Wu [
36] studied KKT-type optimality conditions for multiobjective interval-valued optimization problems. Further, Singh et al. [
37] derived KKT-type optimality conditions for interval-valued multiobjective programming problems involving generalized differentiable functions. Tung [
38] established KKT-type optimality conditions for semi-infinite programming problems involving multiple interval-valued objective functions under convexity assumptions. Further, optimality conditions and duality results for interval-valued SIPVC were developed by Su and Dinh [
39]. Recently, Yadav and Gupta [
40] investigated optimality criteria as well as duality results for multiobjective interval-valued semi-infinite programming problems with vanishing constraints.
Over the past few decades, Lagrange duality and saddle-point optimality criteria have gained significant attention (see, for instance, [
41,
42] and the references cited therein). Sawaragi et al. [
43] studied Lagrange duality theory for multiobjective optimization problems under convexity and regularity assumptions. Further, Luc [
11] discussed Lagrange duality and saddle-point optimality conditions for multiobjective optimization problems involving set-valued data. Wang et al. [
44] further extended the results obtained by Sawargi et al. [
43] to cone-subconvexlike functions. Jayswal et al. [
45] studied saddle-point optimality conditions for interval-valued optimization problems involving nonsmooth functions. Further, Dar et al. [
46] studied optimality and saddle-point optimality conditions for interval-valued nondifferentiable multiobjective fractional programming problems. Recently, Tung et al. [
47] studied Lagrange duality and saddle-point optimality conditions for multiobjective SIPVC.
It is worth noting that several researchers have studied constraint qualifications and necessary optimality conditions for both single-objective and multiobjective optimization problems (see, for instance, [
2,
6,
14,
16,
18,
19,
27] and the references cited therein). Moreover, Lagrange duality and saddle-point optimality criteria for various nonlinear programming problems have been investigated by numerous researchers (see, for instance, [
42,
44,
47,
48] and the references cited therein). However, KKT-type necessary optimality conditions for NIMSIPVC have not been investigated yet via Clarke subdifferentials. Furthermore, Lagrange duality and saddle-point optimality criteria for interval-valued multiobjective SIPVC involving nonsmooth locally Lipschitz functions have not been explored before. In this paper, our primary objective is to address these research gaps by introducing VC-ACQ and establishing optimality conditions, Lagrange duality results, and saddle-point optimality conditions for NIMSIPVC in terms of Clarke subdifferentials.
Motivated by the results established in [
14,
16,
19,
44,
47], in this paper, we consider a class of interval-valued multiobjective semi-infinite programming problems with vanishing constraints involving nonsmooth locally Lipschitz functions. We introduce the notions of VC-stationary points and VC-ACQ for NIMSIPVC. Subsequently, we derive KKT-type necessary optimality conditions for NIMSIPVC by employing VC-ACQ. We formulate several Lagrange-type dual problems corresponding to NIMSIPVC, including interval-valued weak vector, interval-valued vector, and scalarized Lagrange-type dual problems. We derive the weak, converse, and strong duality results relating NIMSIPVC to the corresponding dual problems. In addition, we introduce the notions of saddle points for the interval-valued vector Lagrangian and scalarized Lagrangian of NIMSIPVC. Further, we establish the saddle-point optimality criteria for NIMSIPVC by establishing the relationships between saddle points and LU-efficient solutions of the Lagrangians of NIMSIPVC and the primal problem NIMSIPVC, respectively.
The novelty and contributions of this paper are as follows. Firstly, to establish the KKT-type necessary optimality conditions for NIMSIPVC, we extend and generalize the corresponding results derived by Achtziger and Kanzow [
1] from smooth MPVC to nonsmooth multiobjective SIPVC involving interval-valued objective functions. Secondly, the KKT-type necessary optimality criteria investigated in this article extend and generalize the corresponding results established by Tung [
18,
19] to a broader class of optimization problems, namely NIMSIPVC. Thirdly, the Lagrange duality results and saddle-point optimality conditions for NIMSIPVC studied in this article extend and generalize the corresponding results derived in [
47] from smooth multiobjective SIPVC to interval-valued multiobjective SIPVC involving nonsmooth locally Lipschitz functions. Moreover, it is significant to note that nonsmoothness is a common phenomenon that often appears in several real-world problems in the fields of science, engineering, and technology (see, for instance, [
49,
50,
51]). Furthermore, interval-valued optimization is preferred over stochastic and fuzzy optimization for addressing uncertain optimization problems, as it can handle data uncertainty in situations where it is difficult to determine an exact probability distribution or fuzzy membership function (see [
31,
41]). In light of the above discussion and the fact that NIMSIPVC belongs to a broader category of optimization problems, the results derived in this article can be applied to study a more general class of mathematical programming problems compared to the existing results in the available literature.
The rest of this article is organized as follows. Some basic mathematical preliminaries and fundamental concepts used are discussed in
Section 2. We establish KKT-type necessary optimality conditions for NIMSIPVC by employing VC-ACQ in
Section 3. In
Section 4, we formulate interval-valued vector Lagrange-type dual problems corresponding to NIMSIPVC, followed by the weak, converse, and strong duality results. Further, we establish saddle-point optimality criteria for NIMSIPVC by utilizing the saddle points of an interval-valued vector Lagrangian. In addition, we formulate the scalarized Lagrange-type dual problems corresponding to NIMSIPVC and derive weak, converse, and strong duality results in
Section 5. We also derive the saddle-point optimality criteria for NIMSIPVC in this section.
Section 6 concludes the work presented in this paper and provides various future research avenues.
2. Mathematical Preliminaries and Definitions
In this article, the notations
and
denote the set of natural numbers and the Euclidean space of dimension
n, respectively. The notation
represents the non-negative orthant of
. The standard inner product is denoted by the symbol
. Let
be an infinite set. Then,
signifies the linear space, which is defined as follows:
The symbol
denotes the positive cone of
, which is defined as follows:
Let
The symbols
,
and
denote the closure, span, convex hull, and positive conic hull of
respectively. The following sets are used in the subsequent parts of this article:
Let us consider
. The following relations are from [
18,
19]:
Let
We define the following notations that are used in the remainder of this paper:
A function
is said to be a locally Lipschitz function around
if there exists a neighborhood
V of
and a constant
such that
In the following definition, we recall the notion of a contingent cone of a non-empty subset of
(see [
49]).
Definition 1. Let and The contingent cone to H at is denoted by and is given by The notion of a convex subset of
is recalled in the following definition (see, for instance, [
52]).
Definition 2. Let and be any two arbitrary distinct elements of H. H is said to be a convex set if the following condition holds: In the following definition, we recall the notions of the Clarke directional derivative and the Clarke subdifferential for a real-valued locally Lipschitz function (see [
49]).
Definition 3. Let be a locally Lipschitz function around . For such a function, we have the following definitions:
- (i)
The Clarke directional derivative of at u in direction ν is defined as follows: - (ii)
The Clarke subdifferential of at u is given by
The following lemma from [
49] presents the various properties of the Clarke directional derivative and the Clarke subdifferential of a real-valued locally Lipschitz function, which are used in this paper.
Lemma 1. Let Ψ, be two locally Lipschitz functions around Then, the following statements hold:
- (i)
is a non-empty, convex, and compact subset of
- (ii)
For every , the Clarke directional derivative of at u satisfies the following: - (iii)
The set-valued map is an upper semicontinuous set-valued function, provided Ψ is locally Lipschitz on
- (iv)
For any we have Furthermore,
- (v)
If is locally Lipschitz on an open set containing then for some and .
Now, we recall the definition of a convex function defined on a convex set
(see, for instance, [
52,
53]).
Definition 4. Let be a locally Lipschitz function. We define the following properties for Ψ:
- (i)
Convexity at if the following condition holds: - (ii)
Strict convexity at if the following condition holds:
Now, we discuss some important concepts and definitions related to interval analysis (see [
54]).
Let
be the collection of all closed intervals in
defined as follows:
For any two intervals and we define the following:
- (a1)
and
- (b1)
It is worth noting that any real number m can be represented as a closed interval, since : Let and We define the following relations:
- (a2)
and .
- (b2)
and
, that is, one of the following conditions is satisfied:
- (c2)
Let be the collection of all interval-valued vectors, where each element can be defined as follows:
such that for every , is a closed interval. Given two arbitrary interval-valued vectors, and the following relationships hold:
- (a3)
- (b3)
- (c3)
Remark 1. 1. If then from (a3), (b3), and (c3), we have where
- 2.
If then from (a3), (b3), and (c3), we have
A function is termed an interval-valued function if , where are real-valued functions such that . An interval-valued function is known as a locally Lipschitz function on H if are locally Lipschitz on
Let us define the following sets for a non-empty subset
:
The notion of LU-convexity of an interval-valued function defined on a convex subset is presented in the following definition (see, for instance, [
36,
41]).
Definition 5. Let be any interval-valued function on a convex set H. Ψ is said to be LU-convex at if and are convex at
The following lemmas from [
52] are instrumental in establishing KKT-type necessary optimality conditions for NIMSIPVC.
Lemma 2. Let be any arbitrary collection of non-empty convex sets in Further, letThen, any non-zero vector lying in set can be expressed as a non-negative combination of at most n linearly independent vectors, each belonging to some different set Lemma 3. Let , , and be any arbitrary (not necessarily finite) index sets. Consider the maps and , as follows:Further, suppose that the set is a closed set. Then, the following statements are equivalent: Statement I. The following system of inequalitieshas no solution Statement II. The following relation holds: Lemma 4. Suppose that is any non-empty and compact subset of Then, the following statements hold:
- (a)
The convex hull of is a compact set.
- (b)
The is a closed cone, provided
3. Optimality Conditions for NIMSIPVC
In this section, we consider a multiobjective interval-valued semi-infinite programming problem with vanishing constraints involving nonsmooth locally Lipschitz functions. We introduce the notions of a VC-stationary point and a VC-linearized cone for NIMSIPVC. Further, we present VC-ACQ for the considered problem and employ it to derive KKT-type necessary optimality conditions for NIMSIPVC in terms of Clarke subdifferentials. In addition, we demonstrate that the standard constraint qualifications, namely the MFCQ and LICQ, are not satisfied at the LU-efficient solution of NIMSIPVC.
Consider the following nonsmooth multiobjective interval-valued semi-infinite programming problem with vanishing constraints on
where
are locally Lipschitz functions on
The index set
is considered to be arbitrary (not necessarily finite).
Remark 2. Under the following conditions, NIMSIPVC reduces to well-known problems:
- 1.
If is a finite set, , then NIMSIPVC reduces to the problem MPVC, as considered by Achtziger and Kanzow [1]. - 2.
If then NIMSIPVC reduces to a semi-infinite interval-valued optimization problem with vanishing constraints, as considered by Joshi et al. [27]. - 3.
If and , then NIMSIPVC reduces to the semi-infinite programming problem, as considered by Kanzi [55]. - 4.
If , and if is a finite set with then NIMSIPVC reduces to the multiobjective constrained optimization problem (P), as considered by Maeda [14]. - 5.
If and then NIMSIPVC reduces to the problem (P), as considered by Tung [19]. - 6.
If for every , is a continuously differentiable real-valued function, that is, for every and . Moreover, if are continuously differentiable functions, then NIMSIPVC reduces to the problem (P), as considered by Tung [18] and Tung et al. [47].
The feasible set for NIMSIPVC is given by
Let
be any feasible element of NIMSIPVC. Then, the following sets are used in this paper:
where
signifies the index set of all active inequality constraints and
contains all active constraint multipliers at
.
In the following definition, we recall the notions of LU-efficient solutions for NIMSIPVC (see [
19,
47]).
Definition 6. Let be an arbitrary feasible element of NIMSIPVC. Then is referred to as the following:
- (i)
A locally LU-efficient solution of NIMSIPVC if there exists a neighborhood V of such that for every the following conditions hold: The symbol denotes the set of all locally LU-efficient solutions of NIMSIPVC.
- (ii)
A locally weakly LU-efficient solution of NIMSIPVC if there exists a neighborhood V of such that for any the following condition holds: The set of all locally weakly LU-efficient solutions of NIMSIPVC is denoted by
Remark 3. The following observations are noteworthy:
- 1.
If in Definition 6, then is known as an LU-efficient and a weakly LU-efficient solution of NIMSIPVC.
- 2.
The symbols Eff and WEff denote the sets of all LU-efficient and weakly LU-efficient solutions of NIMSIPVC, respectively.
Consider an arbitrary feasible element
The following index sets are employed in the remainder of this article:
In the following definition, we extend the notion of a VC-stationary point from multiobjective SIPVC to NIMSIPVC (see [
18]).
Definition 7. Let be an arbitrary feasible element of NIMSIPVC. Then, is known as a VC-stationary point of NIMSIPVC if there exists such that the following condition holds:where and Remark 4. The following observations are noteworthy:
- 1.
If and is a finite set, then Definition 7 reduces to Definition 2.2, as presented by Hoheisel and Kanzow [4]. - 2.
The symbol denotes the set of all VC-stationary points of NIMSIPVC.
For any element
we define the following sets:
Now, we extend the definition of a VC-linearized cone given by Tung [
38] from smooth multiobjective semi-infinite programming problems to a broader class of optimization problems, namely NIMSIPVC.
Definition 8. For an arbitrary feasible element of NIMSIPVC, the VC-linearized cone at is given by For an arbitrary element
, we define the following sets that are used in the subsequent sections of this article:
Remark 5. In view of Definition 8, it is worth noting that In the following definition, we introduce VC-ACQ for NIMSIPVC.
Definition 9. Let be an arbitrary feasible element of NIMSIPVC. Then, VC-ACQ for NIMSIPVC is satisfied at ifIn other words, VC-ACQ is satisfied at , provided that the VC-linearized cone at is a subset of the contingent cone to the feasible set at Remark 6. The following observation is noteworthy:
- 1.
In view of Remark 1, Definition 9 extends the definitions of VC-ACQ presented by Tung (see [18,19,38]) to a broader class of optimization problems, namely NIMSIPVC.
In the next theorem, we derive the KKT-type necessary optimality conditions for NIMSIPVC using VC-ACQ.
Theorem 1. Let be a locally weakly LU-efficient solution of NIMSIPVC and be a closed set. Further, suppose that VC-ACQ is satisfied at Then, is a VC-stationary point of NIMSIPVC.
Proof. From the given hypotheses,
is a locally weakly LU-efficient solution of NIMSIPVC. This implies that there exists a neighborhood
V of
such that no point
satisfies
In other words, there is no feasible element of NIMSIPVC in the neighborhood
V of
for which every component of the objective function is strictly better than the corresponding component of the objective function at
To begin with, let us verify the following condition:
The following cases arise:
Case I. If
or
for at least one
then there does not exist any
such that the following inequalities hold:
That is,
In view of the fact that the intersection of an empty set with any subset of
is always an empty set, we have
Case II. Assume
and
for any
On the contrary, suppose that there exists
such that
It follows that
Moreover,
This implies that there exist real sequences
as
and
such that
for all
In light of the mean value theorem from Lemma 1(v), for every
there exists
and
satisfying the following condition:
In view of the fact that
is a compact set in
this implies that
is a bounded sequence in
By utilizing the upper semicontinuity of map
we obtain some subsequence
of sequence
such that
In view of (
7), we infer that
From (
8), we have
Therefore, there exists a natural number
such that
Hence, there exists a subsequence
of the sequence
such that
By following similar steps, there exists a subsequence
of the sequence
such that
Similarly, we can obtain a subsequence
of the sequence
such that
In a similar manner, we obtain the following inequalities:
In view of the definition of the contingent cone (see Definition 1), we infer that
is a feasible element of NIMSIPVC for sufficiently large
such that
This contradicts the fact that
is a locally weakly LU-efficient solution of NIMSIPVC. Hence,
From the given hypothesis, VC-ACQ holds at
This implies that there does not exist any
such that the following system of inequalities has any solution. That is,
Moreover, from Lemma 1,
is a compact set. This implies that
is a closed set. From Lemma 3, it follows that
Equivalently,
If we set
, then from (
19), there exists
such that the following condition holds:
with
and
□
Remark 7. The following observations are noteworthy:
- 1.
If , is a finite set, and . Then, in view of Remark 2, Theorem 1 reduces to Theorem 1, as derived by Achtziger and Kanzow [1]. - 2.
If is a real-valued function for every , then . Then, in view of Remark 2, Theorem 1 reduces to Proposition 3.1(ii), as derived by Tung [19]. - 3.
In view of Remark 2, Theorem 1 generalizes Proposition 1(ii), as deduced by Tung [18], from smooth multiobjective SIPVC to a broader class of mathematical programming problems, specifically NIMSIPVC.
In the following example, we illustrate the significance of KKT-type necessary optimality conditions for NIMSIPVC, as stated in Theorem 1.
Example 1. Consider the problem as follows:The feasible set of the considered problem is given as follows:Evidently, is an LU-efficient solution of (). In particular, is a weakly LU-efficient solution of . The contingent cone to the set at is given byThe VC-linearized cone at is given byThis implies that VC-ACQ is satisfied at Now, we haveMoreover,Therefore,is a closed set. All the hypotheses stated in Theorem 1 are satisfied at which implies that is a VC-stationary point of That is, there exist and such that If we choose , then the following condition holds: Remark 8. Here, we provide some non-trivial examples to demonstrate that the standard constraint qualifications, namely the linear independent constraint qualification (LICQ) and the Mangasarian–Fromovitz constraint qualification (MFCQ), are not satisfied at locally weakly LU-efficient solutions of NIMSIPVC:
- 1.
It is worth noting that the LICQ is not satisfied for NIMSIPVC at in Example 1. Let in the aforementioned example (1). Then, the Clarke subdifferentials of and at are given as follows:Notably, are not linearly independent vectors. Hence, the LICQ is not satisfied at - 2.
It is worth noting that the MFCQ is also not satisfied for NIMSIPVC at LU-efficient or weakly LU-efficient solutions. Let us consider the following example: The feasible set of the considered problem is given as follows: Evidently, is an LU-efficient solution of (). In particular, is a weakly LU-efficient solution of .
Now, the Clarke subdifferentials of each constraint function at are given as follows: Evidently, is a linearly independent set. Suppose that there exists a vector such that It is evident from (22) that the system of inequalities in (21) does not have any solution This demonstrates that the MFCQ is not satisfied at
4. Interval-Valued Vector Lagrange-Type Duality Models and Saddle Points for NIMSIPVC
In this section, we formulate interval-valued vector Lagrange-type dual problems for NIMSIPVC, namely the interval-valued weak vector and interval-valued vector Lagrange-type dual problems. Further, we establish various weak, strong, and converse duality results to elucidate the relationship between the primal problem (NIMSIPVC) and its associated Lagrange-type dual problems. Moreover, this section addresses the notion of saddle points for the interval-valued vector Lagrangian of NIMSIPVC, particularly weakly LU-saddle points and LU-saddle points.
Let us formulate the interval-valued weak vector Lagrange-type dual problem for NIMSIPVC. Consider
, and
Then, the interval-valued vector Lagrangian
is defined as follows:
where
and
In other words, for every
and
, we have
where
4.1. Interval-Valued Weak Vector Lagrange-Type Duality
We define an interval-valued weak vector Lagrangian dual function
as follows:
Let
Then, the interval-valued weak vector Lagrange-type dual problem of NIMSIPVC is formulated as follows:
The feasible set of
is denoted by
and is defined as follows:
The notion of a weakly LU-efficient point of
is presented in the following definition by extending the corresponding definition presented by Tung et al. [
47] from smooth multiobjective SIPVC to a broader class of optimization problems, namely NIMSIPVC. For more details, we refer readers to [
44].
Definition 10. An element is said to be a weakly LU-efficient point of if and only ifEquivalently, there does not exist any such that Remark 9. It is worth noting that depends on the feasible point
Now, we formulate the interval-valued weak vector Lagrange-type dual problem of NIMSIPVC, independent of any feasible point, as follows:
Remark 10. One can easily see that the feasible set of is a non-empty set. That is,
In the following theorem, we derive weak duality results that relate NIMSIPVC to its corresponding Lagrange-type dual problem
Theorem 2. Let u be an arbitrary element of and Then, Proof. From the given hypothesis, there exists
such that
Therefore, we have
On the contrary, suppose that
which implies that
In view of the fact that
we infer that
Moreover,
implies that
Hence, it follows that
and hence
From (
27), we have
which contradicts (
25). Hence, the proof of the theorem is complete. □
Remark 11. If for every , is a real-valued function, then Moreover, if are continuously differentiable functions, then In this case, Theorem 2 reduces to Proposition 3.1, as derived by Tung et al. [47]. The relationship between a weakly LU-efficient solution and a weakly LU-efficient point of NIMSIPVC and is established in the following theorem.
Theorem 3. Consider an arbitrary and Then, is a weakly LU-efficient point of
Proof. On the contrary, suppose that
is not a weakly LU-efficient point of
This implies that there exists
for some
such that
In view of the fact that
and from the proof of Theorem 2, we have
From (
29), we have
which contradicts the fact that
Therefore,
is a weakly LU-efficient point of
□
In the following theorem, we derive a converse duality result that relates the primal problem (NIMSIPVC) to the corresponding interval-valued weak vector Lagrange-type dual problem
Theorem 4. Let and Then,
Proof. On the contrary, suppose that
This implies that there exists
such that
By following similar steps as in Theorem 2 and in view of the fact that
it follows that
From (
32) and (
33), for every
, we have
which contradicts the fact that
Therefore,
□
Remark 12. Theorems 3 and 4 generalize Proposition 3.2 established by Tung et al. [47] from smooth multiobjective semi-infinite programming problems with vanishing constraints to a broader class of optimization problems, specifically NIMSIPVC. In the following example, we illustrate the significance of Theorems 2–4.
Example 2. Consider the problem from Example 1.
The feasible set of the considered problem is given as follows:For the sake of convenience, we break the feasible set into three disjoint sets as follows:Formulate the interval-valued vector Lagrangian for as follows:Then,andNow, we define as follows: Consider an arbitrary point Then, The interval-valued weak vector Lagrange-type dual problem VCDWVL1 of () is formulated as follows:Similarly, for we formulate the following interval-valued weak vector Lagrange-type dual problem corresponding to ():and for the interval-valued weak vector Lagrange-type dual problem of () is given byThe interval-valued weak vector Lagrange-type dual problem, which is independent of a feasible point, is defined as follows:Let Then, Let such that Now,Then, one can verify that Therefore, from Theorem 3, is a weakly LU-efficient point of VCDWVL. Let such that Then, one can verify that Therefore, from Theorem 4, we conclude that is a weakly LU-efficient solution of problem
In the next theorem, we derive the strong duality result, which elucidates the relationship between NIMSIPVC and the interval-valued weak vector Lagrange-type dual problem.
Theorem 5. Let such that VC-ACQ is satisfied at , and let be a closed set. Further, assume that and are LU-convex and convex at respectively. Then, there exists such that Furthermore, is a weakly LU-efficient point of
Proof. Since
and VC-ACQ is satisfied at
, it follows from Theorem 1 that
Therefore, there exist
,
such that the following condition holds:
where
and
This implies that there exist
such that
Further, one can obtain the following:
Hence,
Let us assume that there exists
such that
That is,
Equivalently, for every
the following inequalities hold:
Multiplying both equations by
and
, and then adding them, we obtain
Now, from the LU-convexity of
at
, we have
Moreover, from the convexity assumptions of all the constraint functions at
, we have the following inequalities:
On multiplying the above inequalities by
respectively, and then adding them, we obtain
From (
41), we have that for every
,
which contradicts (
35). Therefore, there does not exist any
such that
From (
37), we have that
Furthermore, from Theorem 3,
is a weakly LU-efficient point of
□
Remark 13. If is a real-valued function for every , then . Moreover, if are continuously differentiable functions, then Theorem 5 reduces to Proposition 3.4, as deduced by Tung et al. [47]. Now, we provide an example to demonstrate the significance of Theorem 5.
Example 3. Consider Example 1 and let From Example 1, is a VC-stationary point of Moreover, and are LU-convex and convex at respectively. Therefore, all the hypotheses in Theorem 5 are satisfied. Hence, from Theorem 5, there exists such that such that and is a weakly LU-efficient point of (VCD)WVL2. 4.2. Interval-Valued Vector Lagrange-Type Duality
In this subsection, we formulate an interval-valued vector Lagrange-type dual problem corresponding to NIMSIPVC and further elucidate the weak and strong duality results.
Let us define a set-valued function
as follows:
Let us formulate the interval-valued vector Lagrange-type dual problem of NIMSIPVC for an arbitrary
as follows:
The feasible set of
is denoted by
and is given by
In the next definition, we extend the definition of a weakly LU-efficient point of
from Tung et al. [
47]. For further details, we refer readers to [
11,
44].
Definition 11. An interval-valued vector is said to be an LU-efficient point of ifEquivalently, there does not exist any such that Remark 14. It is worth noting that depends on the feasible point
Now, we propose the interval-valued vector Lagrange-type dual problem for NIMSIPVC, which is independent of the choice of a feasible element, as follows:
Remark 15. One can easily see that the feasible region of is always non-empty i.e.,
In the following theorem, we establish the weak duality result that elucidates the relationship between NIMSIPVC and The proof is analogous to the proof of Theorem 2 so we omit it.
Theorem 6. Let u be an arbitrary element of and Then, Remark 16. Theorem 6 generalizes Proposition 3.6, as derived by Tung et al. [47], from smooth multiobjective SIPVC to NIMSIPVC, which belongs to a broader category of optimization problems. In the following theorem, we derive the relationship between a feasible point of NIMSIPVC and an LU-efficient point of . The proof is analogous to the proof of Theorem 3 so we omit it.
Theorem 7. Consider an arbitrary and Then, is an LU-efficient point of
In the following theorem, we derive the converse duality result that relates our primal problem (NIMSIPVC) to the corresponding interval-valued vector Lagrange-type dual problem . The proof is analogous to the proof of Theorem 4 so we omit it.
Theorem 8. Let and Then,
Remark 17. Theorems 7 and 8 generalize Proposition 3.7 deduced by Tung et al. [47] from smooth multiobjective SIPVC to NIMSIPVC, which belongs to a more general category of optimization problems. In the following theorem, we derive the strong duality result relating NIMSIPVC to the interval-valued vector Lagrange-type dual problem of NIMSIPVC.
Theorem 9. Let such that VC-ACQ is satisfied at and let be a closed set. Further, assume that and are strictly LU-convex and convex at respectively. Then, there exists such that Furthermore, is an LU-efficient point of
Proof. Following similar lines as in the proof of Theorem 5, we obtain
Hence, we have
Let us assume that there exists some
such that
This implies that
and for at least one
exactly one of the following relations holds:
Equivalently, for every
the following inequalities hold:
and for at least one
exactly one of the following conditions hold:
or
or
On multiplying by
such that
we have
In view of the fact that
are strictly LU-convex at
we have
Following similar steps as in Theorem 5, along with the convexity assumptions of all the constraint functions, we obtain
From (
54) and (
56), we obtain that for every
,
which contradicts the fact that
From Theorem 7,
is an LU-efficient point of
Furthermore, from Theorem 8, we conclude that
This completes the proof. □
Remark 18. Theorem 9 generalizes Proposition 3.8, as deduced by Tung et al. [47], from the smooth case of multiobjective SIPVC to nonsmooth SIPVC, including multiple interval-valued objective functions. 4.3. Interval-Valued Vector Saddle-Point Optimality Criteria
In this subsection, we introduce the notion of LU-saddle points for the interval-valued vector Lagrangian of NIMSIPVC, specifically weakly LU-saddle points and LU-saddle points. Further, we establish several relationships between the efficient solutions of NIMSIPVC and the saddle points for the interval-valued vector Lagrangian of NIMSIPVC.
In the next definition, we extend the notion of saddle points for the interval-valued vector Lagrangian of NIMSIPVC, as presented by Tung et al. [
47], to the vector Lagrangian of smooth multiobjective SIPVC.
Definition 12. Let and be arbitrary elements. Then, is known as follows:
- (i)
A weakly LU-saddle point for the interval-valued vector Lagrangian of NIMSIPVC if the following condition holds: - (ii)
An LU-saddle point for the interval-valued vector Lagrangian of NIMSIPVC if the following condition holds:
The symbols and denote the sets of all weakly LU-saddle points and LU-saddle points for the interval-valued vector Lagrangian of NIMSIPVC, respectively.
In the following theorem, we derive the relationship between a weakly LU-efficient solution and a weakly LU-saddle point of NIMSIPVC and its interval-valued vector Lagrangian of NIMSIPVC, respectively.
Theorem 10. Let such that VC-ACQ is satisfied at , and let be a closed set. Further, assume that and are LU-convex and convex at respectively. Then, there exists such that
Proof. From Theorem 5, there exists
such that
and
We claim that
On the contrary, suppose that there exists
such that
From (
58), we obtain
Furthermore, we can rewrite the above inequality for every
as follows:
It follows that
In view of the fact that
and
we have
which contradicts (
64). Therefore, there does not exist any
such that
Therefore, from (
59) and (
66),
This completes the proof. □
Remark 20. Theorem 10 generalizes Proposition 3.10(i), as derived by Tung et al. [47], from smooth multiobjective semi-infinite programming problems with vanishing constraints to a broader class of optimization problems, specifically NIMSIPVC. In the following theorem, we establish the relationship between a weakly LU-saddle point and a weakly LU-efficient point of the interval-valued vector Lagrangian for NIMSIPVC and VCDWVL, respectively.
Theorem 11. Let be a weakly LU-saddle point for the interval-valued vector Lagrangian of NIMSIPVC. Then, where is a weakly LU-efficient point of
Proof. From the given hypothesis,
is a weakly LU-saddle point for the interval-valued vector Lagrangian of NIMSIPVC. It follows that
Equivalently,
If we assume that
then (
68) can be rewritten as follows:
Moreover, by following similar steps as in Theorem 2, we deduce that
If
then
which contradicts (
69). Therefore, we have
This implies that
In view of the given hypothesis,
is a weakly LU-saddle point for the interval-valued vector Lagrangian of NIMSIPVC. It follows that
This demonstrates that
In view of Theorem 3,
is a weakly LU-efficient point of
□
Remark 21. If is a real-valued function for every , then Moreover, if are continuously differentiable functions, then In this case, Theorem 11 reduces to Proposition 3.10(ii), as derived by [47]. In the following theorem, we establish the relationship between a VC-stationary point and a weakly LU-saddle point of NIMSIPVC and the interval-valued vector Lagrangian of NIMSIPVC, respectively.
Theorem 12. Let Further, assume that and are LU-convex and convex at Then, there exists such that
Proof. In view of the fact that
there exist
,
such that the following condition holds:
where
and
This implies that there exist
such that
We divide the main proof into two parts:
- (a)
On the contrary, suppose that there exists
such that
This implies that for every
the following inequalities hold:
Let us multiply the first and second inequalities by
and
, respectively. On adding them, we obtain
Following similar steps as in the proof of Theorem 5, we have
From (
80) and (
81), we have that for every
,
which contradicts the fact that
Therefore,
- (b)
In this part, we claim that
On the contrary, suppose that there exists
such that
From (
85), it follows that
In view of the fact that
, we obtain
Hence, from (
86) and (
87), we deduce that
Since
and
, we infer that
which contradicts (
88). Therefore,
From (
83) and (
90), we can conclude that
□
Remark 22. Theorem 12 generalizes Proposition 3.11, as derived by [47], to a general category of nonsmooth multiobjective optimization problems, specifically NIMSIPVC. Now, the following example illustrates the significance of Theorem 12.
Example 4. Consider the Problem in Example 1.
In Example 1, is a VC-stationary point of Furthermore, one can observe that and are LU-convex and convex at respectively. Therefore, all the hypotheses in Theorem 12 are satisfied at , which implies that is a weakly LU-saddle point for the interval-valued vector Lagrangian of ().
In the following theorem, we establish a relationship between an LU-weakly local efficient solution of NIMSIPVC and an LU-saddle point of interval-valued vector Lagrangian of NIMSIPVC.
Theorem 13. Let such that VC-ACQ is satisfied at , and let be a closed set. Further, assume that and are LU-convex and convex at respectively. Then, there exists such that
Proof. From the given hypotheses,
such that VC-ACQ is satisfied at
, and
is a closed set. Therefore, from Theorem 1,
This implies that there exists
such that the following condition holds:
where
and
Therefore,
Moreover, there exist
such that
Evidently, in view of the fact that
, we have
From Theorem 9,
which yields the following equation:
We now claim that
On the contrary, suppose that there exists
such that
This implies that for every
we have
and for at least one
exactly one of the following relations holds:
or
or
Therefore, from (
97), (
98), (
99), and (
100), we have
However, if
it follows that
which contradicts (
101). Therefore,
From (
94) and (
103), we conclude that
This completes the proof. □
Remark 23. If is a real-valued function for every , then Moreover, if are continuously differentiable functions, then In this case, Theorem 13 reduces to Proposition 3.13(i), as derived by [47]. In the following theorem, we derive the necessary condition for a saddle point of the interval-valued vector Lagrangian of NIMSIPVC.
Theorem 14. If is an LU-saddle point for the interval-valued vector Lagrangian of NIMSIPVC, then such that is an LU-efficient point of
Proof. Since
we have
It follows that
If we assume that
then (
105) can be rewritten as follows:
Moreover, by following similar steps as in Theorem 2, we deduce that
If
then
It follows that
which contradicts (
106). Therefore, we have
which implies that
In view of the given hypothesis,
It follows that
This demonstrates that
From Theorem 9, we conclude that
is an LU-efficient point of
□
Remark 24. Theorem 14 generalizes Proposition 3.13(ii), as derived by Tung et al. [47], from smooth semi-infinite programming problems with vanishing constraints to a broader class of optimization problems, specifically NIMSIPVC. In the following theorem, we establish a relationship between a VC-stationary point of NIMSIPVC and an LU-saddle point of the interval-valued vector Lagrangian of NIMSIPVC. The proof is analogous to the proof of Theorem 12 so we omit it.
Theorem 15. Let Further, assume that and are strictly LU-convex and convex at respectively. Then there exists such that
Remark 25. Theorem 15 generalizes Proposition 3.14, as deduced by Tung et al. [47], from smooth multiobjective SIPVC to NIMSIPVC. 5. Scalarized Lagrange-Type Duality and Saddle-Point Optimality Criteria for NIMSIPVC
In this section, we investigate scalarized Lagrange-type dual problems corresponding to NIMSIPVC. Further, we establish both weak and strong duality results that relate the primal problem (NIMSIPVC) to its corresponding scalarized Lagrange-type dual problem. In addition, we introduce the notion of a saddle point for the scalarized Lagrangian of NIMSIPVC and present the saddle-point optimality criteria for NIMSIPVC.
5.1. Scalarized Lagrange-Type Duality
In this subsection, we formulate the scalarized Lagrange-type dual problem associated with NIMSIPVC. We derive various weak and strong duality results that elucidate the relationship between the scalarized Lagrange-type dual problem and the primal problem (NIMSIPVC).
Let
be fixed elements, and
The scalarized Lagrangian of NIMSIPVC is a function
defined as follows:
We define the scalarized Lagrangian dual map
as follows:
The scalarized Lagrange-type dual problem for NIMSIPVC is given as follows:
The feasible set of
is denoted by
and is defined as follows:
Remark 26. It is worth noting that depends on the feasible point
The scalarized Lagrange-type dual problem, independent of an element’s choice from the feasible set
, is defined as follows:
In the following theorem, we establish weak duality results that demonstrate the relationship between NIMSIPVC and
Theorem 16. Let u and σ be any elements of and respectively. Then, Proof. From the definition of
and the given hypothesis that
we have
On utilizing the feasibility of
u and
, we have
From (
115) and (
116), we infer that
This completes the proof. □
Remark 27. If is a real-valued function for every , then Moreover, if are continuously differentiable functions, then In this case, Theorem 16 reduces to Proposition 4.1, as derived by Tung et al. [47]. In the next corollary, we derive the weak duality result that relates NIMSIPVC to
Corollary 1. Let u and σ be any arbitrary elements of and respectively. Then, Remark 28. Corollary 1 generalizes Corollary 4.2, as derived by Tung et al. [47], from smooth multiobjective SIPVC to nonsmooth multiobjective SIPVC involving interval-valued objective functions. In the following theorem, we establish the strong duality result that relates NIMSIPVC to
Theorem 17. Let such that VC-ACQ is satisfied at , and let be a closed set. Furthermore, assume that and are LU-convex and convex at respectively. Then, there exists such that is an optimal solution of , and Proof. From the given hypothesis, if
and VC-ACQ is satisfied at
then from Theorem 1,
which implies that there exist
and
satisfying:
where
and
This implies that there exist
such that
Moreover, in view of the fact that
and properties of
one has
It follows that
On following similar steps as in the proof of Theorem 5, we have
From (
121) and (
124), we obtain the following inequality:
This implies that
Hence,
Now,
Therefore, from Theorem 16,
Therefore,
is an optimal solution of
This completes the proof. □
Remark 29. If is a real-valued function for every , then Moreover, if are continuously differentiable functions, then In this case, Theorem 17 reduces to Proposition 4.4, as derived by Tung et al. [47]. The following example demonstrates the significance of Theorems 16 and 17.
Example 5. Consider the problem as follows:The feasible set of () is given as follows:where are defined as follows:Now, we formulate the scalarized Lagrangian for for some fixed as follows:Moreover, Formulate the scalarized Lagrange-type dual problem corresponding to () as follows:The feasible region of corresponding to is given byFormulate the scalarized Lagrange-type dual problem corresponding to of () as follows:The feasible set of corresponding to is given byFormulate the scalarized Lagrange-type dual problem corresponding to as follows:The feasible set of corresponding to is given byMoreover, the scalarized Lagrange-type dual problem, independent of the choice of a feasible element of (), is formulated asTherefore, for any the following inequality holds:This implies thatTherefore, Theorem 16 and Corollary 1 are satisfied. It is worth noting that is a locally weakly LU-efficient solution of () such that VC-ACQ holds at Let Then, Choose such that Moreover, and are LU-convex and convex functions at , which implies that all hypotheses in Theorem 17 are satisfied at Therefore, Theorem 17 holds, that is, 5.2. Saddle-Point Optimality Criteria
In this subsection, we introduce the notion of a saddle point for the scalarized Lagrangian corresponding to NIMSIPVC and further explore saddle-point optimality criteria for NIMSIPVC.
Definition 13. Let be a fixed element such that Further, we assume that and Then, is known as a saddle point for the scalarized Lagrangian of NIMSIPVC if the following condition holds: The relationship between a locally LU-weakly efficient solution of NIMSIPVC and a saddle point of scalarized Lagrangian of NIMSIPVC is established in the following theorem.
Theorem 18. Let . Further, assume that all the hypotheses in Theorem 17 are satisfied at Then, there exists such that is a saddle point for the scalarized Lagrangian of NIMSIPVC.
Proof. From the proof of Theorem 17, we have
We are left to prove that
Following similar steps as in the proof of Theorem 17 and Corollary 1, we have the following condition:
This completes the proof. □
Remark 30. Theorem 18 generalizes Proposition 4.7, as deduced by Tung et al. [47], from smooth multiobjective SIPVC to nonsmooth multiobjective interval-valued semi-infinite programming problems with vanishing constraints. In the following theorem, we establish a relationship between the saddle point of the scalarized Lagrangian of NIMSIPVC and the VC-stationary point of the primal problem (NIMSIPVC).
Theorem 19. Let such that VC-ACQ is satisfied at , and let be a closed set. Furthermore, assume that and are LU-convex and convex at respectively. Then, there exists such that is a saddle point for the scalarized Lagrangian of NIMSIPVC.
Proof. In view of the definition of the scalarized Lagrangian of NIMSIPVC, we have
Furthermore, by employing the convexity assumptions on the objective functions and constraint functions, we obtain the following condition by following the analogous steps in the proofs of Theorems 5 and 17 as follows:
due to the fact that
This implies that
Since
and
it follows that
Now,
Since
the following condition holds:
Therefore, from (
141) and (
142), we have
Hence,
is a saddle point for the scalarized Lagrangian of NIMSIPVC. □
Remark 31. If is a real-valued function for every , then Moreover, if are continuously differentiable functions, then In this case, Theorem 19 reduces to Proposition 4.8, as established by Tung et al. [47]. Now, we provide a non-trivial example to demonstrate the validity of Theorem 19.
Example 6. Consider the problem () from Example 5.
It can be verified that is a VC-stationary point of (). Therefore, there exist andsuch thatFurthermore, and and are LU-convex and convex at respectively. Therefore, from Theorem 19, is a saddle point for the scalarized Lagrangian of (). 6. Conclusions and Future Research Directions
In this article, we have investigated KKT-type necessary optimality conditions, Lagrange-type duality, and saddle-point optimality conditions for NIMSIPVC. We have presented the VC-ACQ for NIMSIPVC and employed it to derive the KKT-type necessary optimality conditions. We have formulated interval-valued weak vector, interval-valued vector, and scalarized Lagrange-type dual problems corresponding to NIMSIPVC. Subsequently, we have derived the weak, strong, and converse duality results relating NIMSIPVC to its corresponding Lagrange-type dual problems. We have introduced the notion of saddle points for the interval-valued vector Lagrangian and scalarized Lagrangian of NIMSIPVC and derived the saddle-point optimality conditions for NIMSIPVC.
The results derived in this paper extend and generalize several well-known results existing in the literature. In particular, we have extended the corresponding results presented in [
1] from smooth to nonsmooth MPVC and generalized them for interval-valued multiobjective SIPVC. Moreover, the KKT-type necessary optimality conditions established in this paper extend and generalize the corresponding results derived in [
18,
19] from multiobjective SIPVC to interval-valued multiobjective SIPVC involving nonsmooth locally Lipschitz functions. Furthermore, we have extended and generalized the corresponding results developed by Tung et al. [
47] to a broader class of optimization problems, namely NIMSIPVC. Several non-trivial examples have been provided to illustrate the significance of the established results.
The results derived in this paper are applicable to various real-life problems, such as portfolio optimization [
32], machine learning [
31], and energy systems [
56]. Moreover, it is worth noting that topology optimization of truss structures relies on deterministic scenarios, such as fixed external loads and structural parameters (see [
1]). However, several engineering problems involve uncertainty in loads and manufacturing errors, which makes it essential to incorporate uncertainty into truss topology design problems. Consequently, in view of the work of Achtziger and Kanzow [
1], the truss topology design problem can be modeled as NIMSIPVC to address uncertainty in external loads. Due to unmodeled or unpredictable external forces, as well as noisy or incomplete sensor measurements, uncertainty may arise in robot motion-planning problems (see [
57]). Therefore, to address uncertainty in robot motion-planning problems, we can formulate these problems as NIMSIPVC.
It is significant to observe that all the functions involved in the various results derived in this paper are assumed to be convex functions. However, in several real-life problems, non-convex functions are often encountered (see, for instance, [
25,
58]). In view of this, several results related to Lagrange duality and saddle-point optimality conditions for NIMSIPVC may not be applicable to nonsmooth interval-valued multiobjective semi-infinite programming problems involving non-convex functions. Moreover, the Clarke subdifferential of a locally Lipschitz function may be too large for many significant applications, especially for necessary optimality conditions. For instance, minimizing
over
illustrates that the Clarke subdifferential of this function is a very large set that does not contain the minimizer of the function (see [
50]). We intend to address these limitations in our future studies.
In future work, investigating Lagrange duality for nonsmooth interval-valued multiobjective semi-infinite programming problems with switching constraints would be an interesting problem. In view of the fact that the limiting subdifferential is the smallest among all robust subdifferentials and is contained in the Clarke subdifferential (see, for instance, [
50,
51]), following the research work of Kanzi [
59], the results of this paper could be further refined by employing the limiting subdifferential rather than the Clarke subdifferential. Furthermore, it would be interesting to establish the weak, strong, and converse duality results for NIMSIPVC using the limiting subdifferential. Saddle-point optimality criteria for NIMSIPVC could be further extended by establishing interrelations between the solutions of NIMSIPVC and the saddle points of corresponding Lagrangians in terms of limiting subdifferentials. In addition, the findings established in the present article can be generalized from the setting of Euclidean spaces to more general frameworks, particularly Riemannian manifolds.