- Research
- Open access
- Published:
Min–sup-type zero duality gap properties for DC composite optimization problem
Journal of Inequalities and Applications volume 2019, Article number: 190 (2019)
Abstract
In this paper, we present min–sup-type zero duality gap properties for DC composite optimization problem with conic constraints. Using properties of the subdifferentials of involved functions, we introduce some new constraint qualifications. Under these new constraint qualifications, we provide necessary and/or sufficient conditions for the min–sup-type stable zero duality to hold.
1 Introduction
Let X, Y and Z be real locally convex Hausdorff topological vector spaces with their duals \(X^{\ast }\), \(Y^{\ast }\), and \(Z^{\ast }\), respectively. Let Y and Z be partially ordered by closed convex cones \(S \subseteq Y\) and \(K \subseteq Z\), respectively. Denote \(Y^{\bullet }:=Y\cup {\{\infty _{Y}\}}\) and \(Z^{\bullet }:=Z\cup {\{ \infty _{Z}\}}\), where \(\{\infty _{Y}\}\) and \(\{\infty _{Z}\}\) are the greatest elements with respect to the partial orders \(\le _{S}\) and \(\le _{K}\), respectively. The following operations are defined on \(Y^{\bullet }\) (resp., \(Z^{\bullet }\)): for any \(y\in Y\) (resp., Z), \(y+\infty =\infty +y=\infty \) and \(t\infty =\infty \) for any \(t\ge 0\). In this paper, we consider the following DC composite optimization problem:

where \(C\subseteq X\) is a nonempty convex set, \(\varphi :X\rightarrow Z^{\bullet }\) is a proper K-convex mapping, \(f:Z^{\bullet }\rightarrow \overline{\mathbb{R}}:=\mathbb{R}\cup \{+\infty \}\) is a proper convex K-increasing function with \(f(\infty _{Z})=+\infty \), \(g:X\rightarrow \overline{\mathbb{R}}\) is a proper convex function, and \(h:X\rightarrow Y^{\bullet }\) is a proper S-convex mapping.
Problem (P) includes several kinds of optimization problems as particular cases. For example, in the case where \(X=Z\) and \(\varphi = \mathrm{Id}_{X}\) (the identity operator on X) the problem (P) is reduced to the DC optimization problem (see [4,5,6, 8, 10, 17] and the references therein)

whereas if \(g=0\), then problem (P) is reduced to the convex composite optimization problem (see [2, 7, 9, 14] and the references therein)

In particular, if \(X=Z\), \(\varphi =\mathrm{Id}_{X}\), and \(g=0\), then problem (P) is reduced to the classic convex optimization problem (see [1, 3, 11,12,13] and the references therein)

Following [18], we define the Lagrange dual problem of (P) by

As is shown in [18, Remark 4.3], if g is lower semicontinuous (l.s.c.), then the optimal values \(v(P)\) and \(v(D)\) of problem (P) and (D), respectively, satisfy the so-called weak Lagrange duality, that is, \(v(P)\ge v(D)\), but a duality gap may occur, that is, we may have \(v(P)>v(D)\). One of the most interesting and challenging problems in convex and nonconvex analysis was giving sufficient conditions that guarantee the zero duality gap property (i.e., \(v(P)= v(D)\)). Over the years, various criteria have been developed ensuring the zero duality gap property for convex and nonconvex programming problems (see, e.g., [1, 6, 7, 11,12,13, 18, 20] and the references therein); here let us especially mention some recent papers [1, 11,12,13] regarding problem (\(\mathcal {P}\)), [6] regarding problem (\(\mathbb {P}\)), and [7] regarding problem (P). In particular, the authors in [18] established the inf–sup-type stable zero duality gap property for problem (P) by using the epigraph properties of the infimal convolution of conjugate functions.
Another related and interesting problem is the min–sup-type zero duality property, which corresponds to the situation in which \(v(P)= v(D)\) and problem (P) has at least an optimal solution. This problem was considered in [7] for the case where \(g=0\) and in [11] in the case where \(\varphi =\mathrm{Id}_{X}\) and \(g=0\). However, to the best of our knowledge, not many results are known to provide the min–sup-type zero duality property for the DC composite optimization problem (P).
Our main aim in this paper is to give new conditions that completely characterize the min–sup-type zero duality gap properties for problem (P). In general, we do not impose any topological assumption on C, f, φ, and h, that is, we only need to assume that C is convex, f and φ are proper convex, and h is S-convex. Moreover, the results obtained in this paper are either new or proper extensions of some known results in [7, 11].
This paper is organized as follows. The next section contains some necessary notations and preliminary results. In Sect. 3, we provide some new constraint qualifications and give several relationships among them. Using the new constraint qualifications, we establish the min–sup-type zero duality gap properties. In Sect. 4, we give applications to problems (\(\mathbb {P}\)), (P), and (\(\mathcal {P}\)).
2 Notations and preliminary results
The notations used in the present paper are standard (cf.[19]). In particular, we assume that X is a real locally convex Hausdorff topological vector space, \(X^{\ast }\) denotes the dual space of X, endowed with the weak∗-topology \(w^{\ast }(X^{\ast },X)\). By \(\langle x^{\ast },x\rangle \) we denote the value of the functional \(x^{\ast }\in X^{\ast }\) at \(x\in X\), that os, \(\langle x^{\ast },x \rangle =x^{\ast }(x)\). We endow \(X^{\ast }\times \mathbb{R}\) with the product topology of \(w^{\ast }(X^{\ast },X)\) and the usual Euclidean topology. Let D be a nonempty subset of X. The closure of D is denoted by clD. If \(D\subseteq X^{\ast }\), then clD denotes the weak∗-closure of D. The positive dual cone \(D^{\oplus }\) and the indicator function \(\delta _{D}\) of D are defined, respectively, by
and
Let \(f:X\rightarrow \overline{\mathbb{R}}\) be a proper function. The effective domain, the conjugate function, and the epigraph of f are denoted by domf, \(f^{*}\), and epif, respectively; they are defined respectively by \(\operatorname{dom} f:=\{x \in X: f(x)<+\infty \}\), \(f^{*}(x^{*}):=\sup \{\langle x^{*},x\rangle -f(x): x\in X\}\) for \(x^{*}\in X^{*}\), and \(\operatorname{epi} f:=\{(x,r) \in X\times \mathbb{R}: f(x)\le r\}\). It is well known and easy to verify that \(\operatorname{epi} f^{\ast }\) is weak∗-closed. The l.s.c. hull of f, denoted by clf, is defined by
By [19, Theorem 2.3.1(iv)] we have
We can easily see that the following Young–Fenchel inequality holds:
The subdifferential of f at \(x\in \operatorname{dom} f\) is defined by
and for any \(\epsilon \geq 0\), the ϵ-subdifferential of f at \(x\in \operatorname{dom} f\) is defined by
Then, for all \(\epsilon \geq 0\) and \(x\in \operatorname{dom} f\),
In particular, we have the following Young’s equality:
Moreover, by definition we have the following implication:
3 Min–sup-type zero duality gap property
Recall that a function \(\psi : Z \to \overline{\mathbb{R}}\) is said to be K-increasing if for any \(x, y \in Z\) such that \(y \le _{K} x\), we have \(\psi (y) \le \psi (x)\). A function \(\phi : X \to Y^{\bullet }\) is said to be S-convex if for all \(x,y \in \operatorname{dom} \phi := \{ x \in X : \phi (x) \in Y\}\) and all \(t \in [0,1]\),
Throughout this paper, unless otherwise specified, \(C \subseteq X\) is a nonempty convex set, \(f:Z\rightarrow \overline{\mathbb{R}}\) is a proper convex K-increasing function, \(\varphi :X\rightarrow Z\) is a proper K-convex mapping, and \(h:X\rightarrow Y^{\bullet }\) is a proper S-convex mapping. Set
Then \(f\circ \varphi \) is a proper convex function. For convenience, we write, for each \(\lambda \in S^{\oplus }\),
It is easy to see that h is S-convex if and only if λh is convex for each \(\lambda \in S^{\oplus }\). Let \({A:=\{x\in C:h(x) \in -S\}}\). We always assume that \(A\cap \operatorname{dom}(f\circ \varphi -g)\neq \emptyset \). Let \(p\in X^{\ast }\). Consider the following primal problem with linear perturbation:

Define its dual Lagrange problem by

In the case where \(p=0\), problem (\(P_{p}\)) and its dual problem (\(D_{p}\)) reduce to problem (P) and problem (D), respectively. Let \(v(P_{p})\) and \(v(D_{p})\) denote optimal values of problems (\(P_{p}\)) and (\(D_{p}\)), respectively. As usual, we denote by \(S(P_{p})\) the solution set of problem (\(P_{p}\)), that is,
As before, we use \(S(P)\) to denote \(S(P_{0})\). As is shown in [6, Example 3.2], the weak duality between (P) and (D) does not necessarily hold in general even in the case φ is an identity operator. To establish the weak duality and the stable weak duality between (P) and (D), the authors in [18] introduce the following condition:
We will further need the following lemma, taken from [18, Proposition 4.2].
Lemma 3.1
Suppose that (9) holds. Then, for each \(p\in X^{\ast }\), we have
that is, the stable weak duality holds between (P) and (D).
In particular, if (10) holds for \(p=0\), then we say that the weak duality holds between (P) and (D). Following [18], if (10) becomes an equality, then we say that the inf–sup-type stable zero duality gap property holds, and if \(v(P)=v(D)\), then we say the inf–sup-type zero duality gap property holds. In this section, we mainly study the min–sup-type zero duality gap property, that is, when does the inf–sup-type zero duality gap property holds between (P) and (D) (assuming that \(S(P)\neq \emptyset \)). We also study the min–sup-type stable zero duality gap property, that is, when does the following implication hold for any \(p\in X^{\ast }\):
To study the min–sup zero duality gap property of problem (P), we introduce some new constraint qualifications. For this purpose, we make use of the subdifferential \(\partial \varphi (x)\) for a general proper function (not necessarily convex) \(\varphi : X\rightarrow \overline{ \mathbb{R}}\); see (4). For simplicity, we denote
and
where \(x_{0}\in \operatorname{dom} (f\circ \varphi -g)\cap A\). By definitions we have \(\varLambda (x_{0})\subseteq \varLambda _{0}(x_{0})\).
Definition 3.2
We say that the family \(\{f,\varphi ,g;\delta _{A}\}\) satisfies
-
(i)
strong-\((ABCQ)\) at \(x_{0}\in \operatorname{dom}(f \circ \varphi -g)\cap A\) if
$$ \partial (f\circ \varphi -g+\delta _{A}) (x_{0})\subseteq {\varLambda }(x _{0}). $$(11) -
(ii)
\((ABCQ)\) at \(x_{0}\in \operatorname{dom}(f\circ \varphi -g)\cap A\) if
$$ {\partial }(f\circ \varphi -g+\delta _{A}) (x_{0})\subseteq {\varLambda } _{0}(x_{0}). $$(12)
Moreover, we say the family \(\{f,\varphi ,g;\delta _{A}\}\) satisfies strong-\((ABCQ)\) (resp., the \((ABCQ)\)) if strong-\((ABCQ)\) (resp., \((ABCQ)\)) holds at each point \(x \in \operatorname{dom}(f\circ \varphi -g) \cap A\).
Remark 3.3
-
(a)
We have the following implication:
$$ \mbox{strong-}(ABCQ) \quad \Rightarrow \quad (ABCQ). $$ -
(b)
Note that, in the particular case \(g=0\), \(\operatorname{dom} g ^{\ast }=\partial g(x_{0})=\{0\}\), and hence strong-\((ABCQ)\) and \((ABCQ)\) turn into the following qualification condition:
$$ \partial (f\circ \varphi +\delta _{A}) (x)\subseteq \bigcap_{ \epsilon >0 } \biggl(\bigcup _{ \substack{ \lambda \in S^{\oplus },\beta \in \partial _{\epsilon }(f(\varphi (x))) \\ (\lambda h)(x)\in [-\epsilon ,0]} } \bigl\{ \partial _{\epsilon }(\beta \varphi +\delta _{C}+\lambda h) (x)\bigr\} \biggr), $$(13)which was introduced in [7] to study the zero duality gap property for problem (P).
-
(c)
In the case where \(\varphi =\mathrm{Id}_{X}\) and \(g=0\), strong-\((ABCQ)\) and \((ABCQ)\) collapse into
$$ \overline{(ABCQ)}\mbox{:}\quad \partial (f+\delta _{A}) (x) \subseteq \bigcap_{\epsilon >0} \biggl( \partial f(x) + \bigcup _{ \substack{ \lambda \in S^{\oplus } \\ (\lambda h)(x)\in [-\epsilon ,0]} } \bigl\{ \partial _{\epsilon }(\delta _{C} + \lambda h) (x) \bigr\} \biggr), $$which was introduced in [7].
Given two proper functions \(h_{1}, h_{2}:X\rightarrow \overline{ \mathbb{R}}\), their infimal convolution is
Recall that the authors in [18] introduced the qualification condition \((DCCQ)\)
to study the inf–sup-type zero duality gap property for problem (P), where the functions \(h^{\diamond }:X^{\ast }\rightarrow \overline{ \mathbb{R}}\) and \(\digamma :X^{\ast }\rightarrow \overline{\mathbb{R}}\) are defined respectively by
and
The following proposition on relationship between \((DCCQ)\) and \((ABCQ)\) is an extension of [7, Proposition 3.8] from \(g=0\) to the general g.
Proposition 3.4
We have the following implication:
Proof
Suppose that condition \((DCCQ)\) holds. Let \(x_{0}\in \operatorname{dom}(f \circ \varphi -g)\cap A\) and \(p\in {\partial }(f\circ \varphi -g+ \delta _{A})(x_{0})\). By (6) we have
Let \(u^{\ast }\in \partial g(x_{0})\). Then
It follows that
where the last equality holds by (7). This implies that
Let \(\epsilon >0\). Then by (15) there exist \(\overline{x}^{ \ast }_{1},\overline{x}^{\ast }_{2}\in X^{\ast }\) such that
whereas by definitions there exist \(\overline{\beta }\in \operatorname{dom}f ^{\ast }\) and \(\overline{\lambda }\in S^{\oplus }\) such that
and
Combining this with (16) and (17), we have
Noting \(\delta _{C}(x_{0})=0\) and \((\overline{\lambda }h)(x_{0})\leq 0\), it follows from (18) and the Young–Fenchel inequality (3) that
This, together with (6), implies that \(\overline{\beta } \in \partial _{\epsilon }f(\varphi (x_{0}))\) and \((\overline{\lambda }h)(x _{0})\in [-\epsilon ,0]\). Moreover, by (18) and (3) we get that, for each \(x\in X\),
This yields \(p+u^{\ast }\in \partial _{\epsilon }(\overline{\beta } \varphi +\delta _{C}+\overline{\lambda }h)(x_{0})\), and hence \(p\in {\varLambda }_{0}(x_{0})\). Therefore the result holds, and the proof is complete. □
The following theorem gives a sufficient condition and a necessary condition to ensure the min–sup-type stable zero duality gap property for problem (P).
Theorem 3.5
Suppose that (9) holds. Let \(x_{0}\in \operatorname{dom}(f\circ \varphi -g)\cap A\). Consider the following statements:
-
(i)
The family \(\{ f,\varphi ,g;\delta _{A}\}\) satisfies strong-\((ABCQ)\) at \(x_{0}\).
-
(ii)
For each \(p\in X^{\ast }\) such that \(x_{0} \in S(P_{p})\), \(v(P_{p})=v(D_{p})\).
-
(iii)
The family \(\{ f,\varphi ,g;\delta _{A}\}\) satisfies \((ABCQ)\) at \(x_{0}\).
Then \((\mathrm{i})\Rightarrow (\mathrm{ii})\Rightarrow (\mathrm{iii})\).
Proof
\((\mathrm{i})\Rightarrow (\mathrm{ii})\). Suppose that (i) holds. Let \(p\in X^{\ast }\) be such that \(x_{0} \in S(P_{p})\), that is,
Then by (8) \(p\in {\partial }(f\circ \varphi -g+\delta _{A})(x _{0})\), and hence \(p\in {\varLambda }(x_{0})\) by strong-\((ABCQ)\). Let \(\epsilon >0\) and \(u^{\ast }\in \operatorname{dom} g^{\ast }\). Then there exist \(\overline{\beta }\in \partial _{\epsilon }(f(\varphi (x_{0})))\) and \(\overline{\lambda }\in S^{\oplus }\) with \((\overline{\lambda }h)(x _{0})\in [-\epsilon ,0]\) such that \(p+u^{\ast }\in \partial _{\epsilon }(\overline{\beta }\varphi +\delta _{C}+\overline{\lambda }h)(x_{0})\). This implies that, for each \(x\in X\),
where the inequality holds since \(g^{\ast }(u^{\ast })+g(x_{0})\geq \langle u^{\ast }, x_{0}\rangle \) by (3). Thus, for each \(x\in C\),
Noting that \(\overline{\beta }\in \partial _{\epsilon }(f(\varphi (x _{0})))\), it follows from (6) that
This, together with (19) and the fact \((\overline{\lambda }h)(x _{0})\in [-\epsilon ,0]\), implies that, for each \(x\in C\),
Consequently, we get that
This means that
Letting \(\epsilon \rightarrow 0\), we have that
This, together with Lemma 3.1, implies that \(v(D_{p})=v(P_{p})\).
\((\mathrm{ii})\Rightarrow (\mathrm{iii})\). Suppose that (ii) holds. Let \(p\in \partial (f\circ \varphi -g+\delta _{A})(x_{0})\). Then by (8) we see that \(x_{0}\in S(P_{p})\). This implies that
and hence, by (ii),
We will further show that \(p\in \varLambda _{0}(x_{0})\). For this purpose, let \(\epsilon >0\) and \({u^{\ast }} \in \partial g(x_{0})\). It follows from (21) that there exists \((\overline{\lambda },\overline{ \beta }) \in S^{\oplus }\times \operatorname{dom} f^{\ast }\) such that, for each \(x\in X\),
where the last inequality holds by (3). Note that \({u^{\ast }} \in \partial g(x_{0})\). It follows that \(g^{\ast }(u^{\ast })+g(x_{0})= \langle u^{\ast },x_{0}\rangle \). Combining this with (22), we have that, for each \(x\in C\),
that is,
Letting \(x=x_{0}\) and noting that \((\overline{\lambda }h)(x_{0}) \leq 0\), we see from (23) and (3) that
This implies that \((\overline{\lambda }h)(x_{0})\in [-\epsilon ,0]\) and
Thus by (6) \(\overline{\beta }\in \partial _{\epsilon }f( \varphi (x_{0}))\). Moreover, by (23) and (3) we can see that, for each \(x\in C\),
This, together with (6), implies that \(p+{u^{\ast }}\in \partial _{\epsilon }(\overline{\beta }\varphi +\delta _{C}+\overline{ \lambda }h)(x_{0}) \), and hence \(p\in {\varLambda }_{0}(x_{0})\). Therefore (12) holds, and the proof is complete. □
In [18, Theorem 4.5] the authors showed that condition \((DCCQ)\) implies that the inf–sup-type stable zero duality gap property holds for problem (P). Thus by definition we easily to see that the following corollary holds.
Corollary 3.6
Suppose that (9) holds. If the family \(\{ f,\varphi ,g;\delta _{A}\}\) satisfies condition \((DCCQ)\), then for each \(p\in X^{\ast }\) such that \(x_{0} \in S(P_{p})\), \(v(P_{p})=v(D_{p})\).
Remark 3.7
Let \(\phi :X\rightarrow [-\infty ,+\infty ]\) be an extended real-valued function. Recall from [16] (see also [15, p. 90]) that the Fréchet subdifferential of ϕ at a point \(x_{0}\) with \(|\phi (x_{0})|<\infty \) is defined by
By using Fréchet subdifferential properties we can give a new constraint qualification
where \(x_{0}\in \operatorname{dom}(f\circ \varphi -g)\cap A\). Similarly to the proof of implication \((\mathrm{i})\Rightarrow (\mathrm{ii})\) in Theorem 3.5, we see the min–sup-type stable zero duality gap property also holds under condition (24).
Taking \(p=0\) in Theorem 3.5(ii), we get the following corollary.
Corollary 3.8
Suppose that (9) holds. Let \(x_{0} \in \operatorname{dom} (f \circ \varphi -g)\cap A \cap S(P)\). If the family \(\{ f,\varphi ,g; \delta _{A}\}\) satisfies strong-\((ABCQ)\) at \(x_{0}\), then
4 Applications
4.1 Application to DC programming
Let \(X=Z\) and \(\varphi =\mathrm{Id}_{X}\). Then problem (\(P_{p}\)) turns into the problem

and problem (\(D_{p}\)) reduces to the problem

where \(p\in X^{\ast }\). Moreover, we see that the conditions strong-\((ABCQ)\) and \((ABCQ)\) are recast into
and
respectively. As before, we use \(S(\mathbb{P}_{p})\) to denote the solution set of problem (\(\mathbb {P}_{p}\)), that is,
Thus by Theorem 3.5 we get the following result.
Theorem 4.1
Let \(x_{0}\in \operatorname{dom}(f-g)\cap A\). Suppose that
Consider the following statements.
-
(i)
Inclusion (25) holds.
-
(ii)
For each \(p\in X^{\ast }\) such that \(x_{0} \in S( \mathbb{P}_{p})\), we have the following equality:
$$ \min_{x\in A} \bigl\{ f(x)-g(x)-\langle p,x\rangle \bigr\} = \inf_{ u^{\ast }\in \operatorname{dom}g^{\ast }} \sup_{ (\lambda ,x^{\ast })\in S^{\oplus }\times X^{\ast } } \bigl\{ g^{\ast }\bigl(u^{\ast }\bigr)-f^{\ast }\bigl(x^{\ast } \bigr)-(\delta _{C}+\lambda h)^{ \ast }\bigl(p+u^{\ast }-x^{\ast } \bigr)\bigr\} . $$ -
(iii)
Inclusion (26) holds.
Then \((\mathrm{i})\Rightarrow (\mathrm{ii})\Rightarrow (\mathrm{iii})\).
The proof of the following theorem is almost similar to that of Theorem 3.5, so we omit it here.
Theorem 4.2
Let \(x_{0}\in \operatorname{dom}(f-g)\cap A\). Suppose that (27) holds. Consider the following statements.
-
(i)
The following inclusion holds:
$$ {\partial }(f-g+\delta _{A}) (x_{0}) \subseteq \bigcap_{ \substack{ \epsilon >0 \\ u^{\ast }\in \operatorname{dom} g^{\ast }} } \biggl(\bigcup _{ \substack{ \lambda \in S^{\oplus } \\ (\lambda h)(x_{0})\in [-\epsilon ,0]} } \bigl\{ \partial _{\epsilon }(f+\delta _{C}+\lambda h) (x_{0})-u^{\ast }\bigr\} \biggr). $$ -
(ii)
For each \(p\in X^{\ast }\) such that \(x_{0} \in S( \mathbb{P}_{p})\), we have the following equality:
$$ \min_{x\in A} \bigl\{ f(x)-g(x)-\langle p,x\rangle \bigr\} = \inf_{ u^{\ast }\in \operatorname{dom}g^{\ast }} \sup_{ \lambda \in S^{\oplus }} \bigl\{ g^{\ast }\bigl(u^{\ast }\bigr)-(f+\delta _{C}+\lambda h)^{\ast }\bigl(p+u^{ \ast }\bigr)\bigr\} . $$ -
(iii)
The following inclusion holds:
$$ {\partial }(f-g+\delta _{A}) (x_{0}) \subseteq \bigcap_{ \substack{ \epsilon >0 \\ u^{\ast }\in \partial g(x_{0})} } \biggl(\bigcup _{ \substack{ \lambda \in S^{\oplus } \\ (\lambda h)(x_{0})\in [-\epsilon ,0]} } \bigl\{ \partial _{\epsilon }(f+\delta _{C}+\lambda h) (x_{0})-u^{\ast }\bigr\} \biggr). $$
Then \((\mathrm{i})\Rightarrow (\mathrm{ii})\Rightarrow (\mathrm{iii})\).
4.2 Application to composite optimization problem
In the case where \(g=0\), problem (\(P_{p}\)) is reduced to the composite optimization problem

Noting that \(g^{\ast }=\delta _{\{0\}}\), it follows that problem (\(D_{p}\)) reduces to the problem

Thus by Theorem 3.5 and Remark 3.3(b) we straightforwardly get the following corollary, which was given in [7, Theorem 4.5].
Theorem 4.3
Let \(x_{0}\in \operatorname{dom}f(\varphi (x))\cap A\). Then (13) holds at \(x_{0}\) if and only if for each \(p\in X^{\ast }\) with \(x_{0} \in S(\mathbf{P}_{p})\), problem (P) has a stable zero duality gap property, that is,
where \(S(\mathbf{P}_{p}) := \{ x_{0} \in A : f(\varphi (x_{0})) - \langle p,x_{0} \rangle = \min_{x\in A} \{ f(\varphi (x))-\langle p,x \rangle \} \} \).
4.3 Application to conic programming
Let \(X=Z\), \(\varphi =\mathrm{Id}_{X}\), and \(g=0\). Then problem (\(P_{p}\)) is reduced to the classical convex conical programming problem

and problem (\(D_{p}\)) reduces to the following Fenchel–Lagrange dual problem

As mentioned in Remark 3.3(c), the conditions strong-\((ABCQ)\) and \((ABCQ)\) are collapsed into condition \(\overline{(ABCQ)}\). Thus by Theorem 3.5 we straightforwardly get the following corollary, which was given in [7, Theorem 5.3].
Theorem 4.4
Let \(x_{0}\in \operatorname{dom}f\cap A\). The condition \(\overline{(ABCQ)}\) holds at \(x_{0}\) if and only if for each \(p\in X^{\ast }\) with \(x_{0}\in S(\mathcal{P}_{p})\), problem (\(\mathcal {P}\)) has a stable zero gap property, that is,
where \({S}(\mathcal{P}_{p}) = \{ x_{0} \in A : f(x_{0})-\langle p,x_{0}\rangle = \min_{x\in A} \{f(x)-\langle p,x\rangle \} \}\).
References
Boţ, R.I., Csetnek, E.R.: On a zero duality gap result in extended monotropic programming. J. Optim. Theory Appl. 147, 473–482 (2010)
Boţ, R.I., Grad, S.M., Wanka, G.: A new constraint qualification for the formula of the subdifferential of composed convex functions in infinite dimensional spaces. Math. Nachr. 281, 1088–1107 (2008)
Boţ, R.I., Grad, S.M., Wanka, G.: Duality in Vector Optimization. Springer, New York (2009)
Dinh, N., Nghia, T.T.A., Vallet, G.: A closedness condition and its applications to DC programs with convex constraints. Optim. 59, 541–560 (2010)
Dinh, N., Vallet, G., Nghia, T.T.A.: Farkas-type results and duality for DC programs with convex constraints. J. Convex Anal. 2, 235–262 (2008)
Fang, D.H.: Stable zero Lagrange duality for DC conic programming. J. Appl. Math. 2012, 1–17 (2012)
Fang, D.H., Ansari, Q.H., Zhao, X.: Constraint qualifications and zero duality gap properties in conical programming involving composite functions. J. Nonlinear Convex Anal. 1, 53–69 (2018)
Fang, D.H., Chen, Z.: Total Lagrange duality for DC infinite optimization problems. Fixed Point Theory Appl. 2013, 269 (2013)
Fang, D.H., Zhang, Y.: Extended Farkas’s lemmas and strong dualities for conic programming involving composite functions. J. Optim. Theory Appl. 176, 351–376 (2018)
Fang, D.H., Zhao, X.P.: Local and global optimality conditions for DC infinite optimization problems. Taiwan. J. Math. 18, 817–834 (2014)
Jeyakumar, V., Li, G.Y.: New dual constraint qualifications characterizing zero duality gaps of convex programs and semidefinite programs. Nonlinear Anal. 71, 2239–2249 (2009)
Jeyakumar, V., Li, G.Y.: Stable zero duality gaps in convex programming: complete dual characterizations with applications to semidefinite programs. J. Math. Anal. Appl. 360, 156–167 (2009)
Jeyalumar, V., Wolkowicz, H.: Zero duality gaps in infinite dimensional programming. J. Optim. Theory Appl. 67, 87–108 (1990)
Li, G., Zhou, Y.Y.: The stable Farkas lemma for composite convex functions in infinite dimensional spaces. Acta Math. Appl. Sin. 31, 677–692 (2015)
Mordukhovich, B.S.: Variational Analysis and Generalized Didderention, I: Basic Theory. Springer, Berlin (2006)
Mordukhovich, B.S., Nam, N.M., Yen, N.D.: Fréchet subdifferential calculus and optimality conditions in nondifferentiable programming. Optim. 55, 685–708 (2006)
Sun, X.K., Li, S.J., Zhao, D.: Duality and Farkas-type results for DC infinite programming with inequality constraints. Taiwan. J. Math. 17, 1227–1244 (2013)
Tian, L.P., Wang, M.D., Fang, D.H.: Zero duality gap properties for DC composite optimization problem. J. Nonlinear Convex Anal. 20, 513–525 (2019)
Zǎlinescu, C.: Convex Analysis in General Vector Spaces. World Scientific, River Edge (2002)
Zǎlinescu, C.: On zero duality gap and the Farkas lemma for conic programming. Math. Oper. Res. 34, 991–1001 (2008)
Availability of data and materials
Not applicable.
Funding
The first author was supported by the Graduate science and technology innovation project of Hunan Provincial Education Department of China (grant CX2018B702), and the Scientific Research Fund of Jishou University of China (grant Jdy 04), the second author was supported by the National Natural Science Foundation of China (grant 11861033) and the Scientific Research Fund of Hunan Provincial Education Department of China (grant 17A172).
Author information
Authors and Affiliations
Contributions
This work was carried out in collaboration between the authors. Both authors read and approved the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Tian, L.P., Fang, D.H. Min–sup-type zero duality gap properties for DC composite optimization problem. J Inequal Appl 2019, 190 (2019). https://doi.org/10.1186/s13660-019-2141-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2141-4