Abstract

In this paper, the generic uniqueness of Pareto weakly efficient solutions, especially Pareto-efficient solutions, of vector optimization problems is studied by using the nonlinear and linear scalarization methods, and some further results on the generic uniqueness are proved. These results present that, for most of the vector optimization problems in the sense of the Baire category, the Pareto weakly efficient solution, especially the Pareto-efficient solution, is unique. Furthermore, based on these results, the generic Tykhonov well-posedness of vector optimization problems is given.

1. Introduction

In optimization theory, the uniqueness of the solution is critical to the stability and calculation of the solution, but it is difficult to guarantee the uniqueness of solutions, even for the optimal solution of scalar optimization problems. For this reason, some researchers focus on the generic uniqueness problems, that is, when most of the optimization problems (in the sense of Baire category) have a unique solution (see, e.g., [1] and references therein). Kenderov [1] proved the generic uniqueness of the solution for scalar optimization problems. Beer [2] extended the generic uniqueness to constrained optimization problems in the Čech complete space. The generic uniqueness of optimal solutions was proved for some classes of infinite dimensional linear programming problems (see, e.g., [3, 4]), and some generic uniqueness results were proposed in linear optimization problems (see, e.g., [5, 6]). Ioffe and Lucchetti [7] presented several types of concepts of generic uniqueness and Tykhonov well-posedness for various classes of optimization problems. Based on the method of genericity, the generic uniqueness of solution was generalized to zero-sum games, variational inequalities, equilibrium problems, and so on (see, e.g., [815]).

Tykhonov well-posedness plays a very important role in solving optimization problems by the iterative method (see, e.g., [16]). In vector optimization theory, there are a lot of approaches which give rise to various well-posedness notions (see, e.g., [1725]). The Pareto-efficient solutions of vector optimization problems are based on partial order, so they are not generally unique and even not generically unique (see Example 1). In view of the multiplicity of Pareto-efficient solutions, the generalization of Tykhonov well-posedness for the vector case is less developed. There are two interesting problems that deserve attention. (1) Can some results about the generic uniqueness of the solutions in vector optimization problems be given under certain conditions? (2) Based on the generic uniqueness, what can be given about the generic results of Tykhonov well-posedness under given conditions?

This paper studies the two problems above by the scalarization method, mainly by means of the generic uniqueness and pointwise method of vector optimization problems, and presents the generic uniqueness of Pareto weakly efficient solutions, especially Pareto-efficient solutions. Based on the generic uniqueness results above, the generic Tykhonov well-posedness of vector optimization problems is given.

The outline of the paper is as follows. In Section 2, the authors introduce some preliminaries, especially review the nonlinear and linear scalarization method. In Section 3, using nonlinear and linear scalarization methods, we present that, in the sense of the Baire category, for most of the vector optimization problems, the Pareto weakly efficient solution, especially the Pareto-efficient solution, is unique. It follows that the vector optimization problem is generic Tykhonov well-posed at the corresponding value. In Section 4, some conclusions are given.

2. Preliminaries

Throughout this paper, unless stated otherwise, we always assume that the feasible domain of optimization problem is a metric space, while denotes the open ball with center and radius , and denotes -dimensional Euclidean space. For convenience, we first recall some definitions and conclusions.

Definition 1. Let be Hausdorff topological spaces and be a set-valued mapping.(i) is said to be upper semicontinuous at , iff for each open set in with , there exists an open neighborhood of such that for all .(ii) is said to be lower semicontinuous at , iff for each open set in with , there exists an open neighborhood of such that for all .(iii) is said to be continuous at , iff is both upper semicontinuous and lower semicontinuous at .(iv) is said to be an usco mapping, iff for each , is compact and is upper semicontinuous at .

First of all, consider the following scalar optimization problem:where .

The definitions of Tykhonov well-posedness and generalized Tykhonov well-posedness of scalar optimization problem are introduced (for more details and results, see [17, 26]).

Definition 2. Let be a Hausdorff topological space and be a function.(i)The optimization problem is called Tykhonov well-posed, iff has a unique optimal solution on , and for any sequence with , it holds that .(ii)The optimization problem is called generalized Tykhonov well-posed, iff the set of solutions of is nonempty, and for every sequence with , there exists a subsequence of converging to an optimal solution of .

In what follows, we will investigate the vector optimization problem as below:where , , and , .

Definition 3. Let be a Hausdorff topological space, , and ; then,(i) is said to be a Pareto weakly efficient point of , iff there exists no , such that for all . Denote the set of all Pareto weakly efficient points of by . is called a Pareto weakly efficient solution of , iff ; denote the set of all Pareto weakly efficient solutions of by .(ii) is said to be a Pareto-efficient point of , iff there is no , such that for all , and at least one strict inequality holds. Denote the set of all Pareto-efficient points of by . is called a Pareto-efficient solution of , iff ; denote the set of all Pareto-efficient solutions of by .

Some results of existence of Pareto-efficient solutions for vector optimization problems are restated as follows (see, e.g., [27, 28]).

Lemma 1. If is nonempty and compact, then , and thus .

Lemma 2. If is nonempty and compact, is continuous; then, , and thus .

The scalarization method is a powerful tool for studying vector optimization problems. Two cases, nonlinear scalarization and linear scalarization, are considered in this paper. The nonlinear scalarization function plays an important role in vector optimization problems, and it was first proposed by Gerstewitz [29] and further investigated by Luc [30] and Chen et al. [28].

Definition 4. Let be a Hausdorff topological linear space, be a closed convex cone of , and . For given and , the nonlinear scalarization function is defined byfor any .

Clearly, for any , there exists a unique , such that . In particular, when , , and ; for the sake of argument, an equivalent definition of the nonlinear scalarization function is given as follows:

Specifically, for , denote . It is easy to check that is continuous and convex. Moreover, is strictly monotone, i.e.,

The another typical scalarization method is linear scalarization, that is, the weight method. Letwhere is called a weight vector. For the vector optimization problem (2), consider the following weighted optimization problem:

For any , denote . For , if holds, then is called a weighted solution of vector optimization problem (2) with respect to . Denotethe set of all weighted solution of the vector optimization problem (2) with respect to . In fact, for each and , .

3. Main Results

In this section, let be a nonempty compact set, , and . Let

The norm on is defined by

It is easy to verify that is a complete metric space.

For any fixed , , and , define the nonlinear scalarization function :

From the continuity of and , we get that is continuous on . Next, we will present some properties of nonlinear scalarization function .

Lemma 3. For ,(i) has a minimum value on .(ii).

Proof. (i)By the continuity of and compactness of , it is easy to verify that has a minimum value on .(ii)” Suppose by contradiction that ; then, there exists , such that , and by the strict monotony of , we havewhich is in contradiction with the minimal point of on , and thus .
” For every , firstly, by the definition of and , let , and we have . In what follows, we will show that . Suppose by contradiction that there exists , such that ; by the definition of , there exists such that ; hence, , which is in contradiction with .

For every and , denote ; then, the result is as follows.

Lemma 4. is a continuous mapping.

Proof. Assume by contradiction that there exists a sequence with such that do not converge to ; it means that there exist and a subsequence of , without loss of generality, still denoted by , and exist corresponding , such thatWithout loss of generality, let ; otherwise, consider .
By , . From , we haveLet ; then,Therefore,Hence,Note that and from that as is large enough, thenas is large enough, which is in contradiction with .

For each , let . By Lemma 2, ; therefore, is a set-valued mapping with nonempty values. For each fixed and every , there exists a corresponding nonlinear scalarization function . Denote all minimal points of by ; by Lemma 3, , and thus we define

Moreover, if , then

We introduce the Fort theorem and some results of continuity of Pareto-efficient solutions (for more details and results, see [31, 32]).

Lemma 5. (Fort theorem) Let be a complete metric space and be an usco mapping; then, there exists a dense residual subset of , such that is continuous at each .

It is easy to see that the following result holds (see [32]).

Lemma 6. is an usco mapping.

Remark 1. From Fort theorem and Lemma 6, it is easy to observe that the usco mapping is generic continuous on ; in other words, it is continuous at most of the points of in the sense of Baire category.

Lemma 7. For each fixed point , is an usco mapping.

Proof. By the definition of , and , for , we haveSince is usco on and is continuous on , we get that is usco on .

We introduce the following results (see Theorem 3.1 of [32]).

Proposition 1. Let be an Pareto-efficient solution of . If there is some such that is the unique weighted solution of problem (7) with weight vector , then is essential, that is, for given , there exist some such that whenever .

The following example shows that Pareto-efficient solutions of vector optimization problems do not have the generic uniqueness in general; that is, the set of functionals for which there is a unique Pareto-efficient solution to problem (2) is not always a dense residual subset of .

Example 1. Let and be defined byThen, is continuous and quasiconvex on compact convex set (see Figure 1).
In this case, we haveThen, and are the unique weighted solutions of subject to weight vectors and , respectively, so that they are essential. The concept of essential solution implies that for given , there exist some such that and whenever . Let and . Then, and for all , which suggests that the set of functions for which there is a unique Pareto-efficient solution is not dense in .
Based on Lemmas 5 and 7, the generic uniqueness result of Pareto weakly efficient solution of vector optimization problems can be obtained as follows.

Theorem 1. There exists a dense residual subset , such that for every , if , then the Pareto weakly efficient solution of vector optimization problem corresponding to is unique, that is, is a singleton.

Proof. By Lemmas 5 and 7, for each fixed , there exists a dense residual subset , such that is continuous at each . In what follows, we will prove that for each and , is a singleton.
Assume by contradiction that there are with , satisfying .
It follows from that there exists , such that . Since and by Lemma 3, we have .
Define the function byLet be a sequence of positive numbers satisfying ; define the vector-valued functions byThen, is a sequence of vector-valued functions; obviously, . Sinceit means that . For every , we haveIn what follows, we only need to show thatIf it is not true, assume that ; then,Therefore,By the definition of , we haveHence,That is,Therefore,From the foregoing, we haveHence, , that is, , which is in contradiction withTherefore, for every , we have , and thus , this is a contradiction with that is continuous at .

The following corollary is an immediate consequence of Theorem 1.

Corollary 1. There exists a dense residual subset , such that for every , if , then the Pareto-efficient solution of vector optimization problem corresponding to is unique, that is, is a singleton.

Next, we consider weighted optimization problem (7). For every and each , it is clear that , and then is a set-valued mapping with nonempty values. We recall a result on the continuity of weighted solutions (see, e.g., [32]).

Lemma 8. is an usco mapping.

It follows from Lemmas 5 and 8 that the generic uniqueness result of Pareto weakly efficient solutions of vector optimization problems can be given as follows.

Theorem 2. There exists a dense residual subset , such that for every , if , then the vector corresponds to the unique Pareto weakly efficient solution of vector optimization problem , that is, is a singleton.

Proof. By Lemmas 5 and 8, there exists a dense residual , such that is continuous at each . Next, we will prove that for every , if , then the vector corresponds to a unique Pareto weakly efficient solution of vector optimization problem (7).
Suppose by contradiction that there exist with , satisfying . On the other hand, since , there exists , satisfying . Since and , we haveIt means thatMoreover, it follows from that there exists , such thatDefine the mapping byLet be a sequence of positive numbers satisfying . For every , define the vector-valued function byThen, we obtain the vector-valued function sequence ; it is easy to check .
Sincethen .
Take ; as is continuous at and , there exists , such that . From , we haveSince , there exists , such that for all . Next, we prove that when , . If it is not true, then for some , there exists satisfying , that is,Note thatThen,Hence,It is in contradiction with .
Hence, when , it is in contradiction with the continuity of at . Therefore, corresponds to the unique Pareto weakly efficient solution.

Based on Theorem 1, we obtain a result about pointwise Tykhonov well-posedness in vector optimization problems as below.

Definition 5. The vector optimization problem (2) is called Tykhonov well-posed at , if there exists a unique in , such that ; then, for any satisfying , we have that .

Remark 2. If the vector optimization problem (2) is a scalar optimization, then Definition 5 is Tykhonov well-posed for the scalar case.

Theorem 3. There exists a dense residual subset , such that for every , if , the vector optimization problem (2) is Tykhonov well-posedness at .

Proof. By Theorem 1, there exists a dense residual subset , such that for every , if , then the vector corresponds to a unique Pareto weakly efficient solution of . As , there exist some , such that . Assume that with ; since is compact, has a convergent subsequence , and let . Since and , it is easy to see that for all subsequences of converging to , we have that . Therefore, the vector optimization problem (2) is Tykhonov well-posedness at .

4. Conclusion

In this paper, the authors solve the problems mentioned in the introduction. By use of nonlinear scalarization method, in the sense of Baire category, for most points constituting a dense residual subset of the product space , if the vector is a Pareto weakly efficient point of the function , then is the unique Pareto weakly efficient solution of vector optimization problem corresponding to . Obviously, if the vector is a Pareto-efficient point of the function , the result still holds. As applications of the uniqueness, in the sense of Baire category, for most , if the vector is a Pareto weakly efficient point, the authors show that vector optimization problem (2) is Tykhonov well-posed at the vector . By means of the weighting method which is a linear scalarization method, similar uniqueness result is obtained.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This study was supported by the National Natural Science Foundation of China (grant nos. 11861025, 11761023, and 71961003), the Doctoral Program Fund of Ministry of Education of the People’s Republic of China (20115201110002), the Program for the Outstanding Science and Technology Innovative Talents of Higher Education of Guizhou (Qian Jiao He KY Zhi 2017[081]), and the Natural Science Foundation of Guizhou Province ([2018]5769, [2017]5788, and LH [2017]7223).