Abstract

By using the formula of the ε-subdifferential for the sum of a convex function with a composition of convex functions, some necessary and sufficient optimality conditions for a DC programming problem involving a composite function are obtained. As applications, a composed convex optimization problem, a DC optimization problem, and a convex optimization problem with a linear operator are examined at the end of this paper.

1. Introduction

Let and be two real locally convex Hausdorff topology vector spaces with their dual spaces and , endowed with the topologies and , respectively. Let be a nonempty closed convex cone which defined the partial order “” of ; namely, We attach an element which is the greatest element with respect to ” and let . Then, for any , one has and we define the following operations on : Let , and be proper, convex, and lower semicontinuous functions, and let be a proper, -convex, and star -lower semicontinuous function such that . Moreover, we assume that is a -increasing function; that is, In this paper, we deal with a new class of DC programming involving a composite function given in the following form: The problem is very general in the sense that it includes, as particular cases, many different problems as, for example, a composed convex optimization problem, a DC optimization problem, and a convex optimization problem with a linear operator; see [112] and the references therein. The interest of such a general problem is that it unifies all these particular problems in a convenient way. Moreover, many results obtained for one of these problems can be extended with suitable modifications to the problem .

Recently, optimality conditions for global or local minimizers of some special kinds of the problem have been studied by many researchers; see [1325] and the references therein. Here, we specially mention the works on optimality defined via subdifferential calculus due to [18, 24, 25]. By using a formula for the -subdifferential of the sum of a convex function with a composition of convex functions, Boţ et al. [18] have obtained necessary and sufficient conditions for the -optimal solutions of composed convex optimization problems. By using some suitable conditions and the notions of strong subdifferential and epsilon-subdifferential, Guo and Li [24] obtained necessary and sufficient optimality conditions for an epsilon-weak Pareto minimal point and an epsilon-proper Pareto minimal point of a DC vector optimization problem. Fang and Zhao [25] introduced the local and global KKT type conditions for a DC optimization problem. Then, by using properties of the subdifferentials of the involved functions, they obtained some sufficient and/or necessary conditions for these two types of optimality conditions. The purpose of this paper is to establish optimality conditions for this optimization problem . To do that, by using the properties of the epigraph of the conjugate functions, we first introduce some closedness conditions and investigate some characterizations of these closedness conditions via the formula of the -subdifferential. Then, we obtain some necessary and sufficient optimality conditions. Moreover, at the end of this paper, we examine a composed convex optimization problem, a DC optimization problem, and a convex optimization problem with a linear operator.

The paper is organized as follows. In Section 2, we recall some notions and give some preliminary results. In Section 3, we obtain some optimality conditions for the problem in terms of the subdifferentials and the -subdifferentials of the functions. In Section 4, we give some special cases of our general results, which have been treated in the previous papers.

2. Mathematical Preliminaries

Throughout this paper, let and be two real locally convex Hausdorff topology vector spaces. Let be a set in ; the interior (resp., closure, convex hull, and convex cone hull) of is denoted by (resp., , , and ). Thus, if , then denotes the closure of . We shall adopt the convention that when is an empty set. Let be the dual cone of . The indicator function of is defined by The support function of is defined by

Let be an extended real valued function. The effective domain and the epigraph are defined by respectively. is said to be proper if and only if its effective domain is nonempty and . The conjugate function of is defined by Let . For any , the -subdifferential of at is the convex set defined by When , we define that . If , the set is the classical subdifferential of convex analysis. It is easy to prove that, for any and ,

Let be a convex set of . The -normal cone to at a point is defined by . If , is the normal cone of convex analysis. Moreover, it is easy to see that .

Let be a linear continuous mapping. The adjoint mapping of is defined by The infimal function of through is defined by

Let be an extended vector valued function. The domain and the -epigraph of are defined by respectively. is said to be proper if and only if . is said to be a -convex function if and only if, for any and , we have For any subset , we denote Moreover, let . The function is defined by We say that is star -lower semicontinuous if and only if is lower semicontinuous, for any .

Now, let us recall the following result which will be used in the following section.

Lemma 1 (see [26]). Let , be proper, convex, and lower semicontinuous functions. Then (i) is a global optimal solution of   if and only if, for any , .(ii)If is a local optimal solution of  , then .

3. Optimality Conditions for

In this section, we will employ the closedness qualification condition to derive necessary optimality conditions as well as necessary and sufficient optimality conditions for local and global minimizers in DC programs of type . Now, we first recall the closedness qualification condition .

Definition 2 (see [3]). The problem is said to satisfy the closedness qualification condition if the set is closed in the space .

The next lemma provides several characterizations of the closedness qualification condition . Moreover, the condition will be crucial in the sequel and it also deserves some attention for its independent interest.

Lemma 3 (see [3]). The closedness qualification condition holds if and only if, for any and any ,

Taking in Lemma 3, we can easily obtain the following subdifferential sum rule.

Corollary 4. If the closedness qualification condition holds, then, for any ,

Now, by using the closedness qualification condition and the -subdifferential sum rule, we establish necessary and sufficient optimality conditions for global optimal solution of .

Theorem 5. Let . Suppose that the closedness qualification condition holds. Then, is a global optimal solution of if and only if, for any , there exist and such that

Proof. It is clear that can be rewritten as Then, by Lemma 1, is a global optimal solution of if and only if, for any , Moreover, by Lemma 3, this is further equivalent to This means that, for any , there exist and such that and . This completes the proof.

The following result establishes necessary optimality conditions for local optimal solution of .

Corollary 6. Let . Suppose that the closedness qualification condition holds. If is a local optimal solution of , then there exists such that

Proof. If is a local optimal solution of , then, by Lemma 1, By Corollary 4, which means that there exists such that This completes the proof.

4. The Special Cases

In this section, we will give some special cases of our general results, which have been treated in the previous papers.

4.1. A Composed Convex Optimization Problem

When , becomes the following composed convex optimization problem:

As some consequences of the results which have been treated in Section 3, we obtain the following results for which was established in [18].

Theorem 7. Let . Suppose that the closedness qualification condition holds. Then, is an -optimal solution of if and only if, for any , there exist and such that

Corollary 8. Let . Suppose that the closedness qualification condition holds. Then, is a global optimal solution of if and only if there exists such that

4.2. A Constrained DC Optimization Problem

In this subsection, we consider the following DC optimization problem: Let . Obviously, is a proper, convex, lower semicontinuous, and -increasing function. Then can be seen as a particular case of the problem , since it can be rewritten as Since , we obtain that . Then, condition becomes Moreover, by (10), we obtain that, for any , if and only if and . Then, by Lemma 3, we get the following result.

Lemma 9. The closedness qualification condition holds if and only if, for any and any ,

Taking in Lemma 9, we can easily obtain the following subdifferential sum rule.

Corollary 10. If the closedness qualification condition holds, then, for any ,

Similarly, by using Lemma 9 and Corollary 10, we obtain the following results.

Theorem 11. Let . Suppose that the closedness qualification condition holds. Then, is a global optimal solution of if and only if, for any , there exist , and such that

Corollary 12. Let . Suppose that the closedness qualification condition holds. If is a local optimal solution of then there exists such that

4.3. A Convex Optimization Problem with a Linear Operator

Let and , for any , where is a linear continuous mapping. Taking , one has that is a -convex function and . So, the problem becomes Since we get Then Thus, the condition becomes in this special case Moreover, for any , it is easy to see that . Then, by Lemma 3, we get the following result.

Lemma 13. The closedness qualification condition holds if and only if, for any and any ,

Taking in Lemma 13, we can easily obtain the following subdifferential sum rule.

Corollary 14. If the closedness qualification condition holds, then, for any ,

Similarly, by using Lemma 13 and Corollary 14, we obtain the following results.

Theorem 15. Let . Suppose that the closedness qualification condition holds. Then, is a -optimal solution of if and only if, for any , there exist , such that

Corollary 16. Let . Suppose that the closedness qualification condition holds. Then, is a global optimal solution of if and only if there exists such that

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This research was partially supported by the National Natural Science Foundation of China (Grant no. 11301570), the Basic and Advanced Research Project of CQ CSTC (Grant no. cstc2013jcyjA00003), and the China Postdoctoral Science Foundation funded project (Grant no. 2013M540697).