SciELO - Scientific Electronic Library Online

 
vol.22 número2EditorialA Generalization of the Averaged Hausdorff Distance índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

Links relacionados

  • No hay artículos similaresSimilares en SciELO

Compartir


Computación y Sistemas

versión On-line ISSN 2007-9737versión impresa ISSN 1405-5546

Comp. y Sist. vol.22 no.2 Ciudad de México abr./jun. 2018  Epub 21-Ene-2021

https://doi.org/10.13053/cys-22-2-2943 

Articles of the Thematic Issue

Solvability and Primal-dual Partitions of the Space of Continuous Linear Semi-infinite Optimization Problems

Abraham Barragán1 

Lidia Hernández1 

Maxim Todorov2 

1 BUAP, Puebla, Mexico.

2 UDLAP, Puebla, Mexico.


Abstract:

Different partitions of the parameter space of all linear semi-infinite programming problems with a fixed compact set of indices and continuous right and left hand side coefficients have been considered in this paper. The optimization problems are classified in a different manner, e.g., consistent and inconsistent, solvable (with bounded optimal value and nonempty optimal set), unsolvable (with bounded optimal value and empty optimal set) and unbounded (with infinite optimal value). The classification we propose generates a partition of the parameter space, called second general primal-dual partition. We characterize each cell of the partition by means of necessary and sufficient, and in some cases only necessary or sufficient conditions, assuring that the pair of problems (primal and dual), belongs to that cell. In addition, we show non emptiness of each cell of the partition and with plenty of examples we demonstrate that some of the conditions are only necessary or sufficient. Finally, we investigate various questions of stability of the presented partition.

Keywords: Linear semi-infinite programming; parameter space of continuous problems; primal-dual partition; stability properties

1 Introduction

For a given infinite compact Hausdorff topological space T and n, we associate with each triple π=(a,b,c)Π:=C(T)n×C(T)×n, where C(T) is the Banach space of all continuous functions over the compact T, a continuous linear semi-infinite programming problem:

P:minxncx,s.t.atxbt,tT,

and its corresponding Haar’s dual problem:

D:maxλ+(T)tTλtbts.t.tTλtat=c,

where +(T) is the set of nonnegative functions λ, and λ:T+ such that λt0 for at most a finite number of indices belonging to T.

Among the recent applications of continuous linear semi-infinite programming (LSIP), let us mention that the primal problem P arises in functional approximation [5, 6], finance [12], Bayesian statistics [14], and the design of telecommunications networks [4, 13, 16], whereas the dual D has been used in robust Bayesian analysis [3] and optimization under uncertainty [1].

We denote the feasible (optimal) set of P and D by F(F*) and Λ(Λ*), respectively. In the space of parameters Π we consider the topology of the uniform convergence generated by the following extended distance: for given πi=(ai,bi,ci)Π, i=1,2, the distance between π1 and π2 is:

d(π1,π2):=max{c1c2,maxtT(at1bt1)(at2bt2)}.

By ΠCP, ΠICP, ΠBP and ΠUBP, (ΠCD, ΠICD, ΠBD and ΠUBD) we denote the sets of parameters providing primal (dual) consistent, inconsistent, bounded, (with finite optimal value), and unbounded, (with unbounded optimal value) problem, respectively.

In ordinary linear programming (LP), if the primal problem is solvable then the dual problem is also solvable and the optimal values of both problems coincide. In LSIP these properties fail in general. The continuity property of π=(a,b,c) ensures nice theoretical properties (e.g., in the duality context) and has computational implications (for instance, continuity guarantees the convergence of LSIP discretization algorithms). In particular, Goberna, Lopez, Todorov, Ochoa and Vera de Serio, among others, have investigated conditions under which the primal-dual pair in LSIP satisfies some of the above mentioned properties (see [7, 10, 11, 15]).

In [11], Goberna and Todorov have considered the consistency of the primal and dual problems, and have presented a characterization of the sets of the primal partition {ΠICP, ΠBP, ΠUBP} the sets of the dual partition {ΠICD, ΠBD, ΠUBD} and the sets (or states) of the primal-dual partition, formed by the intersections of the corresponding states of the primal and dual partitions. The stability properties of the different states have been studied, as well.

In [10], Goberna and Todorov divided the set of parameters with bounded primal (dual) problem ΠBP (ΠBD) into sets of parameters that have solvable primal (dual), problem with bounded optimal set ΠSP (ΠSD) and a set of parameters that have unsolvable primal (dual), problem or unbounded optimal set ΠNP (ΠND). This generates what we call a first general primal partition {ΠICP, ΠSP, ΠNP, ΠUBP}, a first general dual partition {ΠICD, ΠSD, ΠND, ΠUBD}, and a first general primal-dual partition. In the same article, Goberna and Todorov characterized, by means of necessary and sufficient conditions, when a given parameter belongs to a certain state of the above partitions.

They have also studied several topological and stability properties of each cell of the partitions. Later on, Ochoa and Vera de Serio reconsidered the characterizations presented in [11], and investigated the stability of the states in the general case [15], i.e., without continuity properties of the functions involved in LSIP problems.

In this paper we present a more natural primal-dual partition in continuous LSIP than the one given in [10]. The new partition is generated by dividing the set of bounded primal (dual) problems ΠBP (ΠBD) in two: the set of parameters that have solvable primal (dual) problem ΠSP (ΠSD), and the set of parameters that have unsolvable primal (dual) problem ΠnP (ΠnD). Formally, we consider the partitions {ΠICP, ΠsP, ΠnP, ΠUBP} ({ΠICD, ΠsD, ΠnD, ΠUBD}) of Π from the primal (dual) perspective, and the primal-dual {ΠsPΠsD, ΠnPΠsD, ΠsPΠnD, ΠnPΠnD} of the set of parameters with primal and dual bounded problems.

We have obtained some necessary and some sufficient conditions showing that a certain element of the space of parameters belongs to certain subset generated by the second general primal-dual partition. Intersecting the nonempty pairs of the new general primal and dual partitions we obtain the second general primal-dual partition. By means of suitable examples we demonstrate that each subset of the second general primal-dual partition is nonempty. Only in a few cases we have succeeded to find necessary and sufficient conditions. If it is not the case, we provide counterexamples showing that given conditions are only necessary or sufficient. Finally, we investigate several topological and stability properties of the cells in the second general primal-dual partition.

This paper is organized as follows. In Section 2, we introduce the necessary notations, recall the basic results on LSIP which are frequently used throughout this article, and summarize the conditions presented in [10] and [11] that characterize the states of the primal-dual partition and the first general primal-dual partition. Section 2.1 provides new conditions which are either necessary of sufficient guaranteeing that a given parameter belongs to a certain element of the second general primal-dual partition. Finally, we study some topological properties of the states of the second general primal-dual partition in Section 2.1.1. More precisely, we prove that the interior of certain cells is nonempty and provide some density results.

The results of this paper are partially announced without proofs in [2].

2 Preliminaries

Let us introduce the necessary notations for this paper. The symbol 0n denotes the null-vector in n, the j-th element of the canonical basis of n is ej. Given a nonempty set Xn, convX and coneX are the convex and the canonical hull of X, respectively (cone={0n}). If X is a convex set, dimX(dim=1) denotes its dimension. From the topological side, if X is a subset of any topological space, intX, clX and bdX represent the interior, the closure and the boundary of X, respectively.

We recall some concepts and basic results on LSIP, we shall use (all the proofs and references can be found in [9] and [17]). We associate with each triple π=(a,b,c) the first and second moment cones of π:

M=cone{at:tT},

and

N=cone{(atbt):tT},

as well as its characteristic cone

K=cone{(atbt):tT;(0n1)}.

The Existence Theorem establishes that P is consistent if and only if (0n,1)clN. In such a case, the non-homogeneous Farkas Lemma establishes that the inequality cxd holds for all xF, if and only if (c,d)clK. For the dual problem, D is consistent if and only if cM.

When various triples are simultaneously considered, they and their associated feasible, optimal, etc. sets will be distinguished by means of superscripts or subscripts: πi, Pi, Di, Fi, Fi*, Λi, Λi*, Mi, Ni, Ki.

We denote by υP(π) and υD(π) the optimal value of P and D, defining as usual:

υP(π)=+andυD(π)=

respectively, when the corresponding problem is inconsistent.

If we consider different primal-dual states of the LSIP problems, since P and D can be either inconsistent (IC), bounded (B), or unbounded (UB), crossing both criteria, we get nine possible duality states, which are reduced to six by the Weak Duality Theorem: υD(π)υP(π). The primal-dual partition is presented in Table 1 (according to the Duality Theorem, the duality states 5 and 6 are impossible in LP [8], Proposition 4.2):

Table 1 Primal-dual partition 

D\P IC B UB
IC Π4 Π5 Π2
B Π6 Π1
UB Π3

where Π1=ΠBPΠBD, Π2=ΠUBPΠICD, Π3=ΠICPΠUBD, Π4=ΠICPΠICD, Π5=ΠBPΠICD, and Π6=ΠICPΠBD.

The next Lemma describes the characterization of the duality states Πi, i=1,,6 in terms of M, N, and K. This characterization appears in [11].

Lemma 2.1. The following assertions hold:

(i)πΠ1if and only if(0n,1)clNandcM.

(ii)πΠ2if and only if(0n,1)clNand({c}×)clN=.

(iii)πΠ3if and only if{c}×K.

(iv)πΠ4if and only if(0n,1)clNandcM.

(v)πΠ5if and only ifcM, (0n,1)clNand({c}×)clN.

(vi)πΠ6if and only if(0n,1)clN, cMand{c}×K.

Corollary 2.2. [[9], Corollary 9.3.1] Given a consistent problemPin LSIP, the next statements are equivalent.

(i)F*is nonempty and bounded;

(ii)cintM.

The next results are valid in continuous LSIP, where the Slater Condition plays a crucial role. Recall that π=(a,b,c) satisfies the Slater Condition if there exists x¯n such that atx¯>bt, for all tT. π satisfies the Slater Condition if and only if πintΠCP (This result can be found in [9]).

Theorem 2.3. [[9], Theorem 9.8] IfPis a consistent LSIP problem with consistent dual problemD, then the next statements are equivalent.

(i)Λ*is nonempty and bounded;

(ii)πsatisfies the Slater Condition.

We will use the next characterization of ΠSP and ΠSD.

Lemma 2.4. [[10], Lemma 2.2]

(i)πΠSPif and only if(0n1)clNandcintM.

(ii)πΠSDif and only ifcMandπsatisfies the Slater Condition.

If we consider the parameter space Π, P and D can be either consistent, inconsistent, bounded or unbounded. Now, if in addition to the boundedness we consider the solvability, the bounded problems can be either solvable with optimal set nonempty and bounded (S) or unsolvable (N). In the latter case we include the problems that have optimal set unbounded. With this classification we obtain the first general primal partition {ΠICP, ΠSP, ΠNP, ΠUBP} and the first general dual partition {ΠICD, ΠSD, ΠND, ΠUBD} of the optimization problems space. Crossing both partitions, we get the first general primal-dual partition, which is presented in Table 2:

Table 2 First general primal-dual partition 

D\P IC UB
B
S N
IC Π4 Π5 Π2
B S Π11 Π13
N Π6 Π12 Π14
UB Π3

where Π11=ΠSPΠSD, Π12=ΠSPΠND, Π13=ΠNPΠSD and Π14=ΠNPΠND.

In [10], Goberna and Todorov showed that ΠSPΠICD and ΠICPΠSD are empty sets, for this reason the corresponding boxes do not appear numbered. The next Theorem confirms that Π1i, i=1,,4 are nonempty.

Theorem 2.5. [[10], Theorem 3.1]Π1i,i=1,,4.

The states Π1i, i=1,,4, in continuous LSIP, are characterized by Goberna and Todorov in the next Theorem.

Theorem 2.6. [[10], Theorem 3.3]

(i)πΠ11if and only ifcintMandπsatisfies the Slater Condition.

(ii)πΠ12if and only if(0n1)clN,cintMandπdoes not satisfy the Slater Condition.

(iii)πΠ13if and only ifcM\intMandπsatisfies the Slater Condition.

(iv)πΠ14if and only if(0n1)clN,cM\intMandπdoes not satisfy the Slater Condition.

2.1 Second Refined Primal-dual Partition

In this section we present a refinement of Table 1, different to the refinement of Goberna and Todorov, presented in Table 2. To do this, we separate the parameter set with bounded primal problem ΠBP, into two parameter sets. The first one, with solvable primal problem ΠsP and the other with unsolvable primal problem ΠnP. The same classification is made with respect to the dual problem. Having in mind the new notations, we get the second general primal partition {ΠICP, ΠsP, ΠnP, ΠUBP} and the second general dual partition {ΠICD, ΠsD, ΠnD, ΠUBD} of the parameter space. Crossing both partitions we obtain the second general primal-dual partition. The possible duality states in continuous linear optimization are enumerated in Table 3:

Table 3 Possible duality states in continuous linear optimization 

D\P IC UB
B
s n
IC Π4 Π^51 Π^52 Π2
B s Π^61 Π^11 Π^13
n Π^62 Π^12 Π^14
UB Π3

where Π^11=ΠsPΠsD, Π^12=ΠsPΠnD, Π^13=ΠnPΠsD, Π^14=ΠnPΠnD, Π^51=ΠsPΠICD, Π^52=ΠnPΠICD, Π^61=ΠICPΠsD and Π^62=ΠICPΠnD.

Lemma 2.7. Π^11Π11 and Π^14Π14.

Theorem 2.8. LetπΠwith primal and dual problems be consistent and bounded. The following assertions are true:

(i) IfcintMandπsatisfies Slater Condition, thenπΠ^11;

(ii)πΠ^12, thenπdoes not satisfy the Slater Condition;

(iii) IfπΠ^13, thencM\intM;

(iv) IfπΠ^14, thencM\intMandπdoes not satisfy the Slater Condition.

Proof. i) Suppose that cintM and π satisfies the Slater Condition. First, if cintM, then F* and F* is bounded [Corollary 2.2]. On the other hand, if π satisfies the Slater Condition, then Λ* and Λ* is bounded [Theorem 2.3]. Therefore, if cintM and π satisfies the Slater Condition, then πΠ^11.

ii) if πΠ^12, then Λ*=, by Theorem 2.3 π does not satisfy the Slater condition.

iii) If πΠ^13, then F*=, by Corollary 2.2 cintM, in addition from hypothesis cM. So, we conclude that cM\intM.

iv) If πΠ^14, then F*= and Λ*= this implies cM\intM and π does not satisfy the Slater Condition.

With the following examples, we show that the above conditions, are only sufficient or necessary, respectively. The examples also show that Π^1i for i=1,2,3,4, which justifies the previous partition and Theorem. In ordinary linear programming we have Π^12=Π^13=Π^14=, according to the Duality Theorem [[8], Theorem 4.4].

In the Example 2.9, π1Π^12 and π1 does not satisfy the Slater Condition, while in the Example 2.10, 2 does not satisfy the Slater Condition and π2Π^12. This shows that the condition (ii), stated in Theorem 2.8, is not a sufficient one.

Example 2.9. Consider the optimization problem in2

P1:minx2x2s.t.x1+rx2r2,r[0,1],x1+sx2s2,s[0,1].

Ifr=0=s, thenx10andx10, we conclude thatx1=0. Now, asx1=0, ifr,s(0,1]thenrx2r2ysx2s2, i.e.,x2ryx2s, it follows thatx20. Therefore:

F1={(0x2)2:x20},υP(π1)=0,

andF1*={(00)}. AsdimF1=1,F12andπ1is continuous, we have thatπ1does not satisfy the Slater Condition. InFigure 1, we showF1:

The dual problem ofP1is:

D1:maxλ,γ([0,1])(r[0,1]λrr2+s[0,1]γss2),

Fig. 1 Feasible set of P1  

s.t.r[0,1]λr(1r)+s[0,1]γs(1s)=(01),

which is equivalent to:

(minλ,γ+([0,1])(r[0,1]λrr2+s[0,1]γss2)),s.t.r[0,1]λr(1r)+s[0,1]γs(1s)=(01).

If:

υ1:minλ,γ+([0,1]){r[0,1]λrr2+s[0,1]γss2|,r[0,1]λr(1r)+s[0,1]γs(1s)=(01)},

we have0υ1. Now, ift0(0,1], thenθ¯0=(λ0;γ0)is inΛ1, if and only if:

λt00(1t0)+λt00(1t0)=(01),

whereλt00=γt00andλr0=0=γs0for allr,s[0,1]\{t0}. l.e.,λt00has to satisfy the equality:

1=λt00t0+λt00t0.

So, we conclude thatθ¯0Λ1, if and only ifλt00=12t0. Then:

υ1r[0,1]λr0r2+s[0,1]γs0s2=t022t0+t022t0=t0. (1)

Ift0approaches to zero in(1), we haveυ10. ThereforeυD(π1)=0. On the other hand,υD(π1)=0, if and only ifλrr2=0=λss2, for all(r,s)[0,1]×[0,1]. Then, the only possible optimal solutions have the formθ¯1=(λ1;γ1), whereλ01,γ01+andλr1=0=γs1for allr,s(0,1], butθ¯1Λ1, because:

λ01(10)+γ01(10)=(01),

is impossible. ThereforeΛ1*=. All these show thatπ1Π^12andΠ^12.

Example 2.10. We consider, the following problem:

P2:minx2x2s.t.x10,x10,x20.

InFigure 2, we show the feasible set ofP2.

Fig. 2 Feasible set of P2  

We observe thatP2is consistent,υP(π2)=0andF2*={(00)}. In addition, asdimF2=1andF22, we have thatπ2does not satisfy the Slater Condition.

The dual problem ofP2is:

D2:maxλ1,λ2,λ30(λ10+λ20+λ30),s.t.λ1(01)+λ2(01)+λ3(10)=(10).

From the problem it follows thatυD(π2)=0. Now,λ¯=(λ1,λ2,λ3)withλ1,λ2,λ30is inΛ2=Λ2*, if and only if:

λ1(10)+λ2(10)+λ3(01)=(01),

i.e.,0=λ1λ2and1=λ3, or equivalentlyλ1=λ2and1=λ3. Then:

Λ2=Λ2*={(λ1,λ1,1)3:λ10}.

Therefore,π2Π^12..

In the Example 2.11, π3Π^13 and c3M3\intM3. While, in the Example 2.12, π4Π^13 and c4M4\intM4. This shows that the condition (iii), stated in Theorem 2.8, is not a sufficient condition.

Example 2.11. Consider in2the problem:

P3:minx2x1,s.t.x1+t2x22t,t[0,1].

InFigure 3, we show the feasible set ofP3:

Fig. 3 Feasible set of P3  

π3satisfies the Slater Condition and(22)is a Slater point. In fact1+t2>tfor allt[0,1]if and only if2+2t2>2tfor allt[0,1], so,P3is consistent. InFigure 3, we observe thatυP(π3)=0butF3*=, i.e.,P3is not solvable. Moreover, inFigure 4, we show thatc3M3\intM3.

Fig. 4 First moment cone of P3  

The dual problem ofP3is:

D3:maxλ([0,1])t[0,1]λt2t,s.t.t[0,1]λt(1t2)=(10).

The functionλ+([0,1])defined as:

λt:={1,ift=0,0,ift(0,1],

is a feasible solution for the problemD3withυD(π3)=0. It follows thatD3is solvable. Therefore,π3Π^13andΠ^13.

Example 2.12. The primal problemP4is formulated as follows:

P4:minx2x1,s.t.x1+t2x20,t[0,1].

InFigure 5, we show the feasible set ofP4.

Fig. 5 Feasible set of P4  

Sinceπ4satisfies the Slater Condition, thenP4is consistent. We observe thatυP(π4)=0andF4*={0}×+, thereforeP4is solvable. On the other hand, as in the above example,c4M4\intM4.

The dual problem ofP4is now:

D4:maxλ([0,1])t[0,1]λt0,s.t.t[0,1]λt(1t2)=(10).

Again, we have that the functionλ([0,1])defined as:

λt:={1,ift=0,0,ift(0,1],

is a feasible solution of the problemD4withυD(π4)=0. Thus, we conclude thatD4is solvable.

Observation 2.13. With the previous example we also show thatΠ^11. In the same exampleπ4Π^11andc4intM. On the other hand, in the Example 2.10π2Π^11andπ2does not satisfy the Slater Condition. This means that bothcintMand the Slater Condition are not necessary conditions forπΠ^11.

In the next Example 2.14, π5Π^14, c5M5\intM5 and π5 does not satisfy the Slater Condition. Later on, in the Example 2.15, π6Π^11, (0n1)clN6, c6M6\intM6 and π6 does not satisfy Slater Condition. This shows two things. First the condition (i) in Theorem 2.8 is not a necessary condition, and second the condition (iv), stated in Theorem 2.8, is not a sufficient one.

Example 2.14. Consider in3the primal problem, withα>0:

P5:minx3(x1+αx3),s.t.x1+t2x22t,t[0,1],sx3s2,s[0,1],rx3r2,r[0,1].

Ifs,r(0,1]thenx3sandx3r, which means thatx3=0. So,dimF52. We can look atF5in2, as the feasible set ofP3. Therefore,υP(π5)=0andF5*=. In addition, asF5=2andF53, we have thatπ5does not satisfy the Slater condition. On the other hand,c5M5\intM5. In fact:

(10α)=1(100)+α(001),

and, for allε>0:

(1ε2α)M5,

and:

10α1ε2α2=ε2<ε.

Therefore,c5M5\intM5.

The dual problemP5is:

D5:maxλ,β,γ+([0,1])(t[0,1]λt2t+s[0,1]βs(s2)+r[0,1]γr(r2)),s.t.t[0,1]λt(1t20)+s[0,1]βs(00s)+r[0,1]γr(00r)=(10α).

This is equivalent to:

(minγ,β,γ+([0,1])((t[0,1]λt2t)+s[0,1]βss2+r[0,1]γrr2)),s.t.t[0,1]λt(1t20)+s[0,1]βs(00s)+r[0,1]γr(00r)=(10α).

From the above equality system, we have that:

(10)=t[0,1]λt(1t2)whereλ+([0,1]).

The only solution of the equation above isλ0+([0,1])withλ00=1andλt0=0, for allt(0,1]. Then, feasible points ofD5have the form:

θ¯=(λ0;β;γ),

whereβ,γ+([0,1]). If we evaluate the objective function of the last problem at the points that have the above form, the problem will be reduced to:

(minβ,γ+([0,1])(s[0,1]βss2+r[0,1]γrr2)),s.t.s[0,1]βssr[0,1]γrr=α. (2)

From(2)it follows that:

υ5:minβ,γ+([0,1]){s[0,1]βss2+r[0,1]γrr2|,s[0,1]βssr[0,1]γrr=α}0.

Note that for eachi(0,1]:

θ0:=(β0;γ0),

whereβ0,γ0+([0,1]),βi0=αi,βs0=0for alls[0,1]\{i}andγr0=0for allr[0,1], is a feasible point of(2). Moreover, if we evaluates[0,1]βss2+r[0,1]γrr2inθ0, we have that:

υ5s[0,1]βs0s2+r[0,1]γr0r2=αi. (3)

Ifi0in(3), we have thatυ50. ThereforeυD(π5)=0. On the other hand, if a feasible point of the problemD5is an optimal solution, the objective function evaluated at this point must satisfy:

s[0,1]βss2+r[0,1]γrr2=0.

Then, the possible optimal solutions of problemD5have the following form:θ¯0=(λ0;β1;γ1), whereλ0,β1,γ1+([0,1]),λ00=1,λt0=0for allt(0,1],β01+,βs1=0for alls(0,1],γ01+andγr1=0for allr(0,1]. Butθ¯0Λ5, because it impliesα=0, which is a contradiction with the hypothesisα>0. Therefore,Λ5*=.

Example 2.15. Consider the following problem in:2

P6:minx1,x2s.t.x10,x10,x20.

The feasible set ofP6is the same as the feasible set of the Example 2.10. ThenυP(π6)=0andF6*={0}×+in addition, sincedimF6=1andF62, we have thatπ6does not satisfy the Slater Condition. On the other hand, inFigure 6, we show thatc6M6\intM6.

Fig. 6 First moment cone of P6  

The dual problem ofP6is:

D6:maxλ1,λ2,λ30(λ10+λ20+λ30),s.t.(10)=λ1(10)+λ2(10)+λ3(01).

From the problem it follows that,υD(π6)=0. Now:

λ¯=(λ1λ2λ3)Λ6=Λ6*,

if and only if:

(10)=λ1(10)+λ2(10)+λ3(01),

i.e.,1=λ1λ2and0=λ3, or equivalently,λ1=1+λ2andλ3=0. Then:

Λ6=Λ6*={(1+λ2λ20)3:λ20},

which implies thatΛ6*. Therefore,π6Π^14.

Remember that in the first refined primal-dual partition, the sets ΠSPΠICD and ΠICPΠSP are empty. However, we will show that the sets ΠsPΠICD=Π^51 and ΠICPΠsD=Π^61, in the second general primal-dual partition, are nonempty. We shall present some necessary conditions for the fact that a given parameter π belongs to the state Π^52=ΠnPΠICD and Π^62=ΠICPΠnD, respectively. Using also the definitions of the states, we shall characterize the cells Π^51 and Π^61.

Proposition 2.16. πΠ^51, if and only ifcMandF*is not bounded.

Proof. Suppose that πΠ^51 and cM or F* is bounded. First, if cM, we have the contradiction Λ. Second, if F* is bounded, then πΠSPΠICD and again we get to a contradiction. On the other hand, if cM and F* is not bounded, then Λ= and F*. Therefore, πΠ^51.

Now, Π^5iΠ5 for i=1,2. Then, for the Lemma 2.1:

cM,(0n,1)clNand({c}×)clN,

is a necessary condition for π belongs to Π^5i for i=1,2, respectively.

Proposition 2.17. πΠ^61, if and only if(0n1)clNandΛ*is not bounded.

Proof. Suppose that πΠ^61 and (0n1)clN or Λ* is bounded. First, if (0n1)clN, we have the contradiction F. Second, if Λ* is bounded, then πΠICPΠSD and also we get again to a contradiction. On the other hand, if (0n1)clN and Λ* is not bounded, then F= and Λ*. Therefore, πΠ^61.

Again, Π^6iΠ6 for i=1,2. Then, by the Lemma 2.1:

(0n,1)clN,cMand{c}×K,

is a necessary condition for π belongs to Π^6i for i=1,2, respectively.

With the following examples, we will show that the conditions (v) and (vi), presented in Lemma 2.1, are only necessary. We will also show that in continuous LSIP Π^ji≠∅ for i=1,2 and j=5,6. However, in ordinary linear programming all these sets are empty [[8], Proposition 4.2].

Example 2.18. Consider, in2, the optimization problem:

P7:minx2x2,s.t.t2x1+tx2t,t[0,1]

The feasible set ofP7is presented in theFigure 7.

Fig. 7 Feasible set of P7  

Figure 7, shows thatP7is consistent and bounded, with an optimal valueυP(π7)=1, and an optimal set:

F7*={(x1x2)2:x10andx2=1}.

From the previous equality it follows thatF7*is unbounded. The coneM7ofP7, is shown in theFigure 8.

Asc7=(01), we have thatc7clM7\M7, then the dual problemD7is inconsistent. We conclude thatπ7Π^51, thereforeΠ^51.

Fig. 8 First moment cone of P7  

Example 2.19. Consider now, the next problem in2:

P8:minx2x1,s.t.tx1+t3x2t2,t[0,1].

The feasible set ofP8is shown in theFigure 9.

Fig. 9 Feasible set of P8  

Figure 9, shows thatP8is consistent and bounded, with optimal valueυP(π8)=0, howeverF*=, i.e.,P8is unsolvable. The coneM8ofP8, is presented in theFigure 10:

Asc8=(10), we have thatc8clM8\M8, whereby the dual problemD8is inconsistent. So, whe observe thatπ8Π^52, thereforeΠ^52.

Fig. 10 First moment cone of P8  

Observation 2.20. In the Example 2.19,c8M8,(0n,1)clN8(P8is consistent), also({c8}×)clN8(P8is bounded), butπ8Π^51. It shows thatcM,(0n,1)clNand({c}×)clNis not a sufficient condition forπΠ^51. On the other hand, in the Example 2.18,c7M7,(0n,1)clN7, and({c7}×)clN7, butπ7Π^52. It shows thatcM,(0n,1)clNand({c}×)clNis not a sufficient condition forπΠ^52, as well.

Example 2.21. We now study the following problem in2:

P9:minx2x1,s.t.x1+t2x22t,t[0,1],x10.

We observe that for eacht(0,1]:

[12t(1t22t)+12t(100)]=(0t21), (4)

is an element ofN9. Ift0in(4), we have that(02,1)clN9. ThereforeP9is inconsistent.

The dual problem ofP9is:

D9:maxλ+([0,1]),γ+t[0,1]λt2t,s.t.t[0,1]λt(1t2)+γ(10)=(10).

we have thatθ¯=(λ0;γ), whereγ+andλ0+([0,1])defined as:

λt0:={1+γ,ift=0,0,ift(0,1],

is a feasible point ofD9. ThenυD(π9)=0andΛ*is unbounded. This means thatπ9Π^61. ThereforeΠ^61.

Example 2.22. Consider, in2, the following problem:

P10:minx2x2,s.t.t2x1t,t[0,1]sx2s2,s[0,1]

We observed that for eacht(0,1]:

[1t(t20t)]=(t01), (5)

is an element ofN10. Ift0in(5), we observe that(02,1)clN10. Therefore,P10is inconsistent.

The dual problem ofP10is:

D10:maxλ,γ+([0,1])(t[0,1]λtt+s[0,1]γs(s2)),s.t.t[0,1]λt(t20)+s[0,1]γs(0s)=(01).

From the system above, we have that:

0=t[0,1]λtt2conλ+([0,1]),

whose solutions have the formλ0+([0,1])withλ00+andλt0=0for allt(0,1]. Then, the feasible points ofD10look like:

θ¯10=(λ0;γ),

whereγ+([0,1]). If we evaluate the objective function of dual problem in points that have the above form, the problem is reduced to:

maxγ+([0,1])s[0,1]γs(s2),s.t.s[0,1]γss=1,

which is equivalent to:

minγ+([0,1])s[0,1]γss2,s.t.s[0,1]γss=1.

we have that:

υ10:=minγ+([0,1]){s[0,1]γss2|s[0,1]γss=1}0.

Now, ifs0(0,1], thenγ0+([0,1])satisfies:

s[0,1]γs0s=1,

whereγs00=1s0andγs0=0for alls[0,1]\{s0}. Hence:

υ10s[0,1]γs0s2=1s0s02=s0. (6)

Ifs00in(6), we haveυ100. Therefore,υD(π10)=0. On the other hand,υD(π10)=0, if and only if:

t[0,1]λt0t=s[0,1]γss2,for allθ¯10=(λ0;γ)Λ10,

but, ifθ¯10Λ10,

0=t[0,1]λt0t,

it follows that:

0=s[0,1]γss2forallθ¯10=(λ0;γ)Λ10.

So, the possible optimal solutions ofD10, have the formθ¯100=(λ0;γ1), whereλ0,γ1+([0,1]),λ00,γ01+andλt0=0=γs1for allt,s(0,1]. Ifθ¯100Λ10, then:

(01)=λ00(00)+γ01(00),

which is impossible. Therefore,θ¯100Λ10, wherebyΛ10*=. So, we conclude thatπ10Π^62, and thusΠ^62.

Observation 2.23. We see in Example 2.22 that(0n,1)clN10(P10is inconsistent),c10M10(θ¯10=(λ0;γ0)Λ10, i.e,D10is consistent) and{c10}×K10(υD(π10)=0, i.e,D10is bounded), butπ10Π^61. This shows that(0n,1)clN,cMand{c}×Kis not a sufficient condition forπΠ^61. On the other hand, in the Example 2.21,(0n,1)clN9,c9M9and{c9}×K9, butπ9Π^62. It demonstrates that(0n,1)clN,cMand{c}×Kis not a sufficient condition for the following statementπΠ^62.

2.1.1 Some Topological Properties of the Sets Generated by the Second General Primal-dual Partition

In [11], Goberna and Todorov presented the characterization of the interior of the sets Π2, Π3 and Π4. They also studied the density properties and the interior of these and other sets of the first general primal-dual partition. In this section, we shall study some topological properties of the sets Π^11, Π^12, Π^13, Π^14, Π^51, Π^52, Π^61 and Π^62. In particular, we investigate the interior and some density properties of the mentioned sets of the new second general primal-dual partition.

Theorem 2.24. Π^11is dense inΠ1.

Proof. Since Π11Π^11 and Π11 is dense in Π1 [[10], Theorem 3.3], hence Π^11 is dense in Π1.

Theorem 2.25. The setsΠ^1i,i=1,2,3,4are neither closed nor open.

Proof. Since these sets are cones with the null triplet belonging to Π^11, only Π^11 could be closed:

Π^11 is not closed. In fact, consider the sequence {πr} in Π^11, where πr:=(1re1,1,e1), obviously:

limrπr=(0n,1,e1),

but (0n,1,e1)Π4. Therefore, Π^11 is not closed.

Π^11 is not open. Indeed, consider π:=(0n,0,0n) in Π^11. Let r>0, we define πr:=(0n,0,r2e1). It is easy to see that, for all r>0, 0,πrΠ2 and d(π,πr)=r2<r. This implies that Π^11 is not open.

We shall prove that the sets Π^1i, i=2,3,4 are not open. Since Π^1iΠ1, then intΠ^1iintΠ1, but intΠ1=Π11 [[10], Theorem 2], as Π11Π^11, so it follows that intΠ^1iΠ^11. However Π^1iΠ^11=, and, the above inclusion is only possible if intΠ^1i=. Since Π^1i it follows that Π^1i is not open for every i=2,3,4.

Corollary 2.26. intΠ^1i,i=2,3,4are empty.

Theorem 2.27. intΠ^11.

Proof. Since Π11Π^11 then intΠ11intΠ^11.

but:

intΠ11=Π11

and:

Π11

we conclude that intΠ^11.

Theorem 2.28. intΠ^11is dense inΠ1.

Proof. Since Π11Π^11Π1, then:

intΠ11intΠ^11intΠ1

it follows:

intΠ11¯intΠ^11¯intΠ1¯.

As intΠ11 is dense on Π1 [[10], Theorem 3.3] and intΠ1 is dense on Π1 [[11], Theorem 2], we have that intΠ^11¯=Π1. Therefore, intΠ^11 is dense in Π1.

Theorem 2.29. intΠ^11=Π11.

Proof. Since Π11 is open [[10], Theorem 3.3], it follows Π11intΠ^11. We will only show that intΠ^11\Π11=. Suppose the contrary, i.e., intΠ^11(Π11)c. Then, there exists πintΠ^11, such that πΠ11, so it follows that cintM or π does not satisfy the Slater Condition [Theorem 2.6].

First, cintM implies that cM\intM because, by hypothesis πintΠ^11, but:

intΠ^11Π^11Π1.

In addition, cintM implies Mn. From the above two implications, we conclude that, there exists a sequence {cr} from n\M such that:

limrcr=c.

We define πr:=(a,b,cr). The sequence {πr} is in ΠICD and satisfies:

limrπr=π.

This is a contradiction, because, by hypothesis, πintΠ^11.

Second, if π does not satisfy the Slater Condition, then πintΠCP. Now, by hypothesis πintΠ^11, we have πΠCP. So, if π does not satisfy the Slater Condition and the hypothesis is true, πbdΠCP. Therefore there exists a sequence {πr} on ΠICP such that:

limrπr=π.

This is a contradiction, because πintΠ^11.

It follows that intΠ^11\Π11=, or equivalently intΠ^11=Π11.

Observation 2.30. SinceintΠ5=andintΠ6=[[11], Theorem 2], we conclude thatintΠ^ji=fori=1,2andj=5,6.

We have proved that all parameters in Π1 can be approached by parameters in Π^11. In addition, we have shown that the sets Π^11, Π^12, Π^13 and Π^14 are neither closed nor open, and that the interior of the sets Π^12, Π^13 and Π^14 are empty. The characterization of Π^11 follows from the equality Π^11=Π11 which was also proved in this section.

3 Conclusion and Future Work

To conclude, we would like to mention that the lack of necessary and sufficient conditions, characterizing the majority of the states of the second general primal-dual partition has, in some sense, its justification. Namely, there are no necessary and sufficient conditions for the solvability, neither for the primal nor for the dual linear semi-infinite optimization problems. On the contrary, for the solvability, considered in the first general primal-dual partition, the conditions could be found in lemma 2.4. Anyway, finding such necessary and sufficient conditions is still a challenging problem. Another open question is how will apply the developed theory in this article removing the continuity in the LSIP.

Acknowledgements

The authors are grateful to the referees and the editor for their constructive comments and helpful suggestions which have contributed to the final preparation of the paper. This research was supported by CONACYT, Mexico, Sistema Nacional de Investigadores, Mexico, and partially supported by MINECO of Spain and ERDF of EU, Grant MTM2014-59179-C2-1-P.

References

1 . Amaya, J., & Gómez, J. A. (2001). Strong duality for inexact linear programming problems. Optimization, Vol. 49, pp. 243-269. [ Links ]

2 . Barragán, A. B., Hernández, L. A., & Todorov, M. I. (2016). New primal-dual partition of the space of linear semi-infinite continuous optimization problems. Comptes rendus, Vol. 69, pp. 1263-1274. [ Links ]

3 . Betro, B., & Guglielmi, A. (2000). Methods for global prior robustness under generalized moment conditions. Ríos, D. & Ruggeri, F., editors, Robust Bayesian Analysis, Springer-Verlag, N.Y, pp. 273-293. [ Links ]

4 . Dahl, M., Claesson, I., Nordebo, S., & Nordholm, S. (2001). Chebyshev optimization of circular arrays. Yang, X. et al., editors, Optimization Methods and Applications, Kluwer, Dordrecht, pp. 309-319. [ Links ]

5 . Dolgin, Y., & Zeheb, E. (2004). Model reduction of uncertain FIR discrete-time systems. IEEE Trans. Circuits and Systems, Vol. 51, pp. 406-411. [ Links ]

6 . Dolgin, Y., & Zeheb, E. (2005). Model reduction of uncertain systems retaining the uncertainty structure. Systems and Control Letters, Vol. 54, pp. 771-779. [ Links ]

7 . Duer, M., Jargalsaikhan, B., & Still, G. (2018). Genericity results in linear conic programming - a tour d’horizon. Mathematics of Operations Research, Vol. to appear. [ Links ]

8 . Goberna, M. A., Jornet, V., & Puente, R. (2004). Optimización Lineal. Teoría, Métodos y Modelos. Mc Graw Hill, Madrid. [ Links ]

9 . Goberna, M. A., & López, M. (1998). Linear Semi-infinite Optimization. Wiley, Chichester. [ Links ]

10 . Goberna, M. A., & Todorov, M. I. (2008). Generic Primal-dual solvability in continuous linear semi-infinite optimization. Optimization, Vol. 57, pp. 239-248. [ Links ]

11 . Goberna, M. A., & Todorov, M. I. (2009). Primal-dual stability in continuous linear optimization. Mathematical Programming, Vol. 116B, pp. 129-147. [ Links ]

12 . Kortanek, K. O., & Medvedev, V. G. (2001). Building and Using Dynamic Interest Rate Models, J. Wiley, Chichester. [ Links ]

13 . Nordholm, S., Nordberg, J., Claesson, I., & Nordebo, S. (2001). Beamforming and interference cancellation for capacity gain in mobile networks. Ann. Oper. Res, Vol. 98, pp. 235-253. [ Links ]

14 . Noubiap, R. F., & Seidel, W. (2001). An algorithm for calculating Gamma-minimax decision rules under generalized moment conditions. Ann. Stat, Vol. 29, pp. 1094-1116. [ Links ]

15 . Ochoa, P. D., & Vera de Serio, V. N. (2012). Stability of the primal-dual partition in linear semi-infinite programming. Optimization, Vol. 61, pp. 1449-1465. [ Links ]

16 . Sabharwal, A., Avidor, D., & Potter, L. (2000). Sector beam synthesis for cellular systems using phased antenna arrays. IEEE Trans. on Vehicular Tech, Vol. 49, pp. 1784-1792. [ Links ]

17 . Todorov, M. I (2010). Linear Inequality Systems: Qualitative Stability and New Concepts of Active Constraints, volume 54 of Monografías del IMCA. Hozlo, S.R.L. [ Links ]

Received: January 30, 2017; Accepted: April 21, 2017

Corresponding author is Abraham Barragán. ab_beni211@hotmail.com, lhernan@fcfm.buap.mx, maxim.todorov@udlap.mx.

Creative Commons License This is an open-access article distributed under the terms of the Creative Commons Attribution License