<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>Kyiv-Uzhhorod, Ukraine
EMAIL: nvsemenova @meta.ua (N.V.Semenova); mariia.lomaha@uzhnu.edu.ua (M.M. Lomaha)
ORCID:</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Vector Convex Optimization Problems: Lexicographic Optimality and Solvability, Method of Solving</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Natalya Semenova</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Mariia Lomaha</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Uzhhorod National University</institution>
          ,
          <addr-line>3, Narodna Square, Uzhhorod, 88000,Transcarpathian region</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>V.M. Glushkov Institute of Cybernetics of NAS of Ukraine</institution>
          ,
          <addr-line>40, Akademika Glushkova Avenue, Kyiv, 03187</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2021</year>
      </pub-date>
      <volume>000</volume>
      <fpage>0</fpage>
      <lpage>0001</lpage>
      <abstract>
        <p>We have revealed conditions of existence and optimality of solutions of multicriterion problems of lexicographic optimization with an unbounded set of feasible solutions on the basis of applying properties of a recession cone of a convex feasible set, the cone which lexicographically puts in order a feasible set with respect to optimization criteria and local large tents, built at the frontier points of feasible set. Obtained conditions may be successfully used while developing algorithms for finding optimal solutions of mentioned problems of lexicographic optimization. A method for finding lexicographically optimal solutions of convex lexicographic problems has been constructed and substantiated on the basis of ideas of method of linearization and Kelley's cutting-plane method.</p>
      </abstract>
      <kwd-group>
        <kwd>1 Vector criterion</kwd>
        <kwd>lexicographic optimization</kwd>
        <kwd>solvability</kwd>
        <kwd>lexicographic optimality conditions</kwd>
        <kwd>Pareto-optimal solutions</kwd>
        <kwd>Slater's set</kwd>
        <kwd>Kelly's cutting-plane method</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        Many problems of making multipurpose decisions in management, planning, design are
formulated as multicriterion (vector) optimization problems. Among vector problems, lexicographic
problems form a fairly wide and important class of optimization problems. Lexicographic ordering is
used to establish rules of subordination and priority. Therefore, a significant number of problems,
including the problems of optimization of complex systems, modeling of hierarchical structures,
stochastic programming problems under risk conditions, problems of a dynamic nature, etc., can be
represented in the form of lexicographic optimization problems [
        <xref ref-type="bibr" rid="ref1 ref10 ref11 ref12 ref2 ref3 ref4 ref5 ref6 ref7 ref8 ref9">1-12</xref>
        ]. The lexicographic approach to
solving multicriterion problems consists in a strict ranking of criteria in terms of relative importance
allowing optimizing a more important criterion at the expense of any losses for all other, less
important criteria. Most often, such multicriterion problems arise when additional criteria are
successively introduced into ordinary scalar optimization problems, which may not have a unique
solution.
      </p>
      <p>
        Possible methods for solving such problems include the use of a scalarization scheme or a
convolution of a vector criterion for a one-stage solution [
        <xref ref-type="bibr" rid="ref1 ref2">1-2</xref>
        ]. In [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] it is proposed to use the
simplex-method to find the lexicographic optimum of linear multicriterion optimization problems, in
[
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] − for linear maxmin problem. In [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ], the problem of lexicographic optimization with convex
criterial functions and linear constraints is reduced to a sequence of linear lexicographic problems by
approximating the criteria functions. In single-criterion optimization, a number of extremum search
algorithms are based on the use of the apparatus of duality theory. This issue is also of interest for
multicriterion optimization problems. The article [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ] investigates convex quadratic problems of
lexicographic optimization on a set given by a system of linear inequalities, and questions of
constructing problems that are dual to them. Dual problems to the original one are constructed using
the Lagrange map, where the Lagrange multipliers are vector variables, the set of values of each of
them is a set of vectors in the space, the dimension of which is equal to the number of particular
criteria with the lexicographic order introduced on it. An algorithm allowing reducing the solving of
the initial lexicographic optimization problem by approximating a feasible set to solving a sequence
of lexicographic problems of the linear programming is presented in this paper.
      </p>
      <p>
        The present paper continues researches, presented in works [
        <xref ref-type="bibr" rid="ref13 ref14 ref15 ref16 ref17">13-17</xref>
        ]. The aim of the research
presented in this article is to establish conditions for the lexicographic solvability of vector
optimization problems with an unbounded feasible set and conditions for lexicographic optimality of
solutions based on the use of the properties of a recessive cone of a convex feasible set [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ], a cone
lexicographically ordering the feasible set with respect to optimization criteria [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] and local tents [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ],
built at the boundary points of the admissible set, also to develop and substantiate a method for
finding lexicographically optimal solutions to lexicographic problems of convex optimization based
on the ideas of linearization methods and Kelly’s cutting-planes [20].
      </p>
    </sec>
    <sec id="sec-2">
      <title>2. Formulation of the problem</title>
      <p>In the criterion space R , we introduce a binary relation of the lexicographic order between
vectors z   z1, z2,
, z  and z   z1, z2,</p>
      <p>, z  such that:
z L z   z  z  j  N : i  N j1  z j  zj , zi  zi , where N0  
Consider a lexicographic optimization problem of the following type:
ZL  F , X  :</p>
      <p>max L F  x  x  X  ,
where F  x    f1  x  ,
, f  x  ,
 2, fk  x  ck , x ,
ck  Rn ,
k  N
 1, 2,..., ,
X  x  Rn g i  x  0 , x  0, i  Nm, X  , gi  x , i  Nm , − convex functions.</p>
      <p>In the problem of lexicographic optimization, particular criteria are ordered by importance. This
gives rise to the concept of the lexicographic optimum.</p>
      <p>Definition 1. A vector x is lexicographically preferable to a vector x if one of the following
conditions is met:
1) f1  x  f1  x ;
2) f1  x  f1  x , f2  x  f2  x ;
………………………………………..</p>
      <p>) f j  x  f j  x , j  1,..., 1, f  x  f  x .</p>
      <p>Definition 2. A vector x is equivalent to a vector x if for each criterion the vectors have the same
estimates, while x  x.</p>
      <p>By solving the problem ZL  F, X  we mean the search for elements of the set L  F, X  of
lexicographic optimal solutions, which we define in this way:</p>
      <p>L  F , X   x  X |  x, F , X    , where
  x, F , X   x  X | j  N : f j ( x)  f j ( x)  j  min i  N : fi ( x)  fi ( x). It follows
directly from the definition of lexicographically optimal solutions that the set L  F, X  can also be
pecified using recurrence relations. Thus,</p>
      <p>Li  F, X   Arg max{ fi ( x) : x  Li1  F, X  , i  N , (1)
where Arg max{} − is a set of all optimal solutions to the corresponding maximization problem,
L  F, X   X , L  F, X   L  F, X  .</p>
      <p>0</p>
      <p>Reasonable inclusions of the sequence of sets follows from relations (1)</p>
      <p>X  L  F, X   L  F, X   ...  L  F, X   L  F, X  ,
1 2
that is, each next particular criterion narrows the set of solutions obtained taking into account all the
previous particular criteria.</p>
      <p>
        It is known [
        <xref ref-type="bibr" rid="ref1 ref2">1, 2</xref>
        ], a set L  F, X  can be defined as the result of solving a sequence
of scalar
convex programming problems ZLi  F, X  , i  N , . So, the problem ZL  F, X  can be viewed as a
sequential optimization problem.
      </p>
      <p>
        Let us note the important properties of problems ZLi  F, X  , i  N , [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ]: any local minimum
(maximum) is a global minimum (maximum).
      </p>
      <p>
        The definition of the lexicographically optimal solution to the problem implies the validity of such
properties [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ].
      </p>
      <p>1. If for a feasible solution x0  X</p>
      <p>and x  X \ x0 the inequality f1( x)  f1( x0 ) is carried
out, then x0  L  F, X  .</p>
      <p>
        2. If for a feasible solution x  X x  X \ x is such that f1( x)  f1( x), then x  L  F, X  .
According to [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], we introduce a definition.
      </p>
      <p>Definition 3. A vector z  R is called lexicographically positive if its first nonzero component in
ascending order of the component indices is positive.</p>
      <p>We will denote the lexicographic positivity of the vector z  R
as: z L 0 , here L  − the sign
of the relation is lexicographically larger.</p>
      <p>A vector z  R</p>
      <p>is lexicographically larger than a vector y  R z L y if the vector  z  y is
lexicographically positive. With this ordering, any two vectors of the same dimension are comparable
with each other.</p>
      <p>So, for any vectors a, b  R a L b , if and only if 1  i 
so that ai  bi and if i  1 , then,
the ak  b , k  1, 2,...,i  1. Vector a is lexicographically not less than the vector b , a L b , if
k
a L b or, a  b , L  - the sign of the relation is lexicographically not less.</p>
      <p>Definition 4. A solution x  X to a problem ZL  F, X  will be called lexicographically optimal
if it is not worse than any other admissible solution y  X in understanding the relation L , that is,
if F  x   F  y  L 0 .</p>
      <p>So, for an arbitrary x  X , the assertion is true</p>
      <p>x  L  F , X   y  X | F  y  L F  x    .</p>
      <p>In terms of a lexicographic optimization problem, an arbitrarily small increase in a more important
criterion is achieved at the expense of any losses according to other less important criteria.</p>
    </sec>
    <sec id="sec-3">
      <title>3. Existence of lexicographically optimal solutions</title>
      <p>
        The solvability of the problem of finding lexicographically optimal solutions on a feasible set Х
and the structure of the set of optimal solutions depend on the properties of the order of the preference
relation, the structure of the feasible domain Х , the nature of its elements, properties of the vector
function F  x , etc. According to [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], the finiteness of the set X is a sufficient condition for the
existence of optimal solutions to the lexicographic problem of optimization. Also, the set L  F, X  is
not empty if the set of vector estimates Y  F( x) | x  X  is bounded and closed. However, in the
Х
case of an infinite feasible region X, the set of lexicographically optimal solutions may be empty.
      </p>
      <p>
        It is relevant to study the issues of solvability of lexicographic vector optimization problems in
which the set of feasible solutions is not bounded and convex. The unboundedness of a convex set
means that 0 Х \ 0   , where 0 Х  y  Rn | x  X : x  ty  X , t  0 is the recessive
cone of the set Х .
0 Х [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ] and the cone K L  x  Rn Cx L 0 lexicographically ordering the feasible set with
respect to the optimization criteria, which we will also call the cone of perspective [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ] lexicographic
directions of the problem ZL  F, X  , since the transition from any point
х1  Rn to the point
x2  x1  y , where y belongs to the cone K L , leads to the inequality Cx2 L Cx1 , that is, to the
lexicographic increase in the values of the vector criterion of the problem.
      </p>
      <p>The cone K L determining the lexicographic order in space R is a convex cone of directions of
lexicographically positive vectors and can be represented as a union of disjoint sets:
K L  K1</p>
      <p>K2
...</p>
      <p>K ,
where K1  x  Rn | c1x  0 ,</p>
      <p>K2  x  Rn | c1x  0, c2 x  0 ,</p>
      <p>…,</p>
      <p>K  x  Rn | c1x  0, c2 x  0,..., c 1x  0, c x  0.</p>
      <p>
        For an arbitrary, the statement [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] is true:
x  L  F , X    x  K L 
      </p>
      <p>
        Continuing the study of the existence of various types of optimal solutions for vector optimization
problems [
        <xref ref-type="bibr" rid="ref14 ref15 ref16 ref17">14-17</xref>
        ], started in work [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] for lexicographic problems, we will consider the necessary and
sufficient conditions for the existence of lexicographically optimal solutions to the problem
ZL  F, X  . In the case of a convex closed unbounded feasible set X of the problem ZL  F, X  , the
theorem is valid.
      </p>
      <p>Theorem 1. A necessary condition for the existence of lexicographically optimal solutions to the
problem ZL  F, X  is the empty intersection of the cone K L of promising lexicographic directions
and the recessive cone 0 Х , that is,</p>
      <p>K L</p>
      <p>0 X   .</p>
      <p>Proof. Let us suppose by contradiction that the set L(F , X )   , but condition (3) is not
satisfied, that is, the intersection of the cones K L and 0 X is not empty:. Then the following
relations are true:
 x  K L </p>
      <p>X   x  K L   x  0 X   x   K L
0 X    .</p>
      <p>Taking into account formula (2), we can conclude that the set L(F , X )   . But this contradicts
the condition of the theorem and thereby proves its validity.</p>
      <p>The converse statement of the theorem is generally not true. In the monograph [2, p. 113] an
example is given in which condition (3) is satisfied for an admissible set X , but the set of its extreme
points is unbounded, and as a result, the set L(F , X )   . The direction of the lexicographically
positive vector will be called the lexicographically positive direction. The theorem is true [2, p. 113].</p>
      <p>Theorem 2. Let V be a non-empty set of extreme points of a convex closed set X . If set V is a
bounded, then the set X has a lexicographic maximum if and only if it is bounded in all
lexicographically positive directions.</p>
      <p>In our notation, under the conditions of Theorem 2, the set L(F , X ) is not empty if and only if
condition (3) is satisfied. In the case of a convex, unbounded and polyhedral set, the corollary to
Theorem 2 [2, p. 114] is true.</p>
      <p>Corollary. A closed convex polyhedral set X has a lexicographic maximum if and only if it is
bounded in all lexicographically positive directions.</p>
      <p>Theorem 1 and the corollary to Theorem 2 imply the following theorem.</p>
      <p>(2)
(3)
A necessary and sufficient condition for the existence of lexicographically optimal solutions to this
problem is the fulfillment of equality (3).</p>
      <p>It should be noted that the multifaceted condition of a convex closed unbounded set X is essential
for the statement of the fact that condition (3) is a necessary and sufficient condition for the existence
of lexicographically optimal solutions to the problem ZL  F, X  .</p>
    </sec>
    <sec id="sec-4">
      <title>4. Optimality conditions for solutions</title>
      <p>Optimality conditions are an essential component of the mathematical theory of optimization,
including vector optimization. Establishing the necessary and sufficient conditions for the optimality
of solutions to vector problems is an urgent problem, since the knowledge of such conditions provides
the basis for developing methods for testing the optimality of one or another chosen solution, as well
as for constructing and developing effective optimization methods in order to find various sets of
optimal solutions.</p>
      <p>
        As is well known [
        <xref ref-type="bibr" rid="ref13 ref14 ref15 ref16 ref17 ref3">3,13-17</xref>
        ], if the criteria of a vector problem are equally important, then the
solution of a vector problem is usually understood as finding a subset of one of such sets: P  F, X 
all Pareto-optimal (effective) solutions, S  F, X  Slater-optimal solutions. The following
statements  x  X are true:
x  P  F , X   y  X | F  y   F  x  , F  y   F  x   ,
x  S  F , X   y  X | F  y   F  x   ,
      </p>
      <p>It's obvious that L  F, X   P  F, X   S  F, X  .
gi ( x)
y  0 X  X  X ( y)  Q( y).
the relation</p>
      <p>According to Theorem 1 [3, p. 163], due to the linearity of the criterion functions of the problem
ZL  F, X  and regardless of the structure of the feasible set X , Pareto-optimal and Slater-optimal
solutions can constitute the entire feasible set, or be located only on its boundary. Therefore, taking
into account the inclusions L(F , X )  P(F , X )  S (F , X ) in establishing necessary and
sufficient conditions for the lexicographic optimality of solutions to the problem, we will consider
only the boundary points of the set X . We will denote a subset FrB of boundary points of some set.
Let us introduce the following sets for consideration:</p>
      <p>N ( y)  {i  Nm  gi ( y)  0}, X ( y)  x  Rn  gi ( x)  0, i  N ( y) .</p>
      <p>Moreover, if, gi ( x), i  N ( y), – are continuously differentiable functions in space Rn , we can
define the set Q( y)  {x  Rn  gi ( y), x  y  0, i  N ( y)} , where gi ( y) – function gradient
at
the
point
y, i  N ( y) .</p>
      <p>It's
obvious
that
 y  Fr X : N ( y)   ,
Theorem 4. Let y  Fr X . If gi (x), i  N ( y) , – are continuously differentiable functions, then
K L</p>
      <p>Q( y)  y  
K1</p>
      <p>Q( y)  y  
is a sufficient condition for the inclusion y  L(C, X ) . Moreover, if gi ( y)  i  N ( y) –is a
system of linearly independent vectors, then the relation
is a necessary condition for the inclusion y  L(C, X ) .</p>
      <p>Proof. The sufficiency of condition (4) of the theorem becomes obvious, taking into account the
inclusion X  Q( y) , as well as formula (2).
(4)
(5)</p>
      <p>
        Necessity. The requirement of linear independence of vectors gi ( y)  i  N ( y) leads to the
fulfillment of the relations: int Q( y)   , int Q( y)  ri Q( y) , where ri B is the relative interior of
some set B . Let y  L(C, X ) , that is, according to formula (2)
 y  K L 
whence, by Corollary 6.3.2 with [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ] K1
the conditions of this theorem the sum of the linear hulls of the cones K1 and Q( y)  y coincides
Q( y)  y   ,
with Rn , and according to Theorem 3.4 [21, p. 31], we conclude that the cones K1 {0} and
int Q( y)  y are inseparable, which are local tents [
        <xref ref-type="bibr" rid="ref19">19, 21</xref>
        ] at the point y of the sets
 y  K  {y}and X , respectively. Moreover, each of these local tents is not a linear subspace in
1
Rn , since the point 0 Rn does not belong to their interiors, as well as taking into account
Theorems 1.1 and 6.1 from [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ]. Then, according to Theorem 1.3 from [21, p. 204]
( y  K1) {y} X \ {y}   , which contradicts condition (6) and thus it proves the necessity of
satisfying relation (5) for any lexicographically optimal boundary point y  X under the conditions
of the theorem. The proof of the theorem is finished.
      </p>
    </sec>
    <sec id="sec-5">
      <title>5. Cutting plane method for solving lexicographic vector convex optimization problems</title>
      <p>The search for solutions to the problem ZL  F, X  can be reduced to solving a sequence of
lexicographic linear programming problems</p>
      <p>ZL  F , X p  : max L F  x x  X p on a polyhedral set
X p  x  Rn</p>
      <p>gi  x j  , x  x j  gi  x j   0, x  0, i  Nm, j  0,1,..., p,
x j  Rn , Rn  x  Rn xi  0, i  Nn , containing the feasible domain X
of the original
problem.</p>
      <p>Statement 1. The including X  X p is just.</p>
      <p>Proof. The including follows directly from the construction of a polyhedral set X p . Using the
properties of a convex continuously differentiable function h  x for any x, y  Rn , the inequality
h  y  , x  y  h  y   h  x  .</p>
      <p>According to (7), for some number p  0 and any x j  Rn , j  1,..., p , we can write down
gi  x j  , x  x j  gi  x j   gi  x  , i  Nm , j  0,1,..., p .</p>
      <p>Since the inequalities, gi  x  0 , i  Nm, are satisfied for arbitrary x  X , then relation (8)
implies the fulfillment of the inequalities
gi  x j  , x  x j  gi  x j   0 , i  Nm , j  0,1,..., p, (9)
(7)
(8)
that is x  X p , as required to be proved.</p>
      <p>Theorem 4. [2, p. 190]. If a vector function F reaches a lexicographic maximum on a set X p ,
then among the points of this maximum there is an extreme point of the set X p .</p>
      <p>From Theorem 4 it follows that a simplex algorithm can be used as an algorithm for directed
enumeration of the extreme points of the set X p to solve the problem ZL  F , X p  .</p>
      <p>
        Finding lexicographically optimal solutions to the problem ZL  F , X p  will be carried out by
direct (lexicographic) search [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], which is reduced to solving maximization problems
Z  fs , X p  : max f s  x x  X p, s  N , in each of which the corresponding function of the
lexicographically ordered vector criterion is maximized. The main idea of the proposed method is as
follows. If the optimal solution to the problem Z  fs , X p  is inadmissible in the problem
ZL  F, X  , then it is excluded from further consideration by adding a new linear constraint to the
constraints of the problem Z  fs , X p  . Thus, this restriction cuts off the invalid solution, as well as
part of the invalid problem domain, ZL  F, X  from all subsequent considerations. All the added
constraints are correct cutting planes, that is, those that do not cut off any part of the feasible region of
the convex problem ZL  F, X  . If the optimal solution to a problem Z  fs , X p  belongs to a set
X , and it is the only optimal solution on this set, then the found solution is lexicographically optimal
for the problem ZL  F, X  .
      </p>
    </sec>
    <sec id="sec-6">
      <title>6. Algorithm for solving the problem</title>
      <p>ZL  F, X </p>
      <p>Initial step. Let s  1, k  0. First we select an arbitrary point xk  Fr G .</p>
      <p>Ten we build a polyhedron X k  x  Rn
gi  xk  , x  xk
 gi  xk   0, x  0, i  Nm.
1. We will solve the problem</p>
      <p>
        max f s  x x  X k  .
by the dual simplex algorithm [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. Let xk 1  arg max fs  x x  X k  . If xk 1  X , and xk 1 −
is the only optimal solution on the feasible set X , then xk 1  arg max L F  x x  X  , insofar as
X  X k . The problem ZL  F, X  is solved.
      </p>
      <p>2. If xk 1  X and xk 1 − is not the only optimal solution on the feasible set X , we believe
fs  fs  xk 1 , s  s 1,</p>
      <p>X k 1  x  X k | fi ( x)  fi , i  1, 2,..., s  1  and pass over to step 1.</p>
      <p>If xk 1  X we go to step 3.</p>
      <p>3. We define the set Ik 1  i gi  xk 1  0 of constraint indices of problem
ZL  F, X  ,
which are violated at the point xk 1 . We will build a polyhedron X k 1 , adding to the constraints
describing the set X k , the inequality
(10)
get
a
new
multifaceted
set
We go to step 1, believing k  k  1.</p>
      <p>
        To solve auxiliary problems of linear optimization of the form (10) it is advisable to apply the dual
simplex method [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], which allows using the solution obtained at the previous step as a basis for the
updated feasible domain.
      </p>
      <p>The convergence of the algorithm is established by the following theorem.</p>
      <p>Theorem 5. If the functions gi  x , i  Nm, are convex, continuously differentiable and the
problem ZL  F, X  has a finite optimal solution, then the sequence of points generated by this
algorithm converges to the lexicographically optimal solution to the problem ZL  F, X  .</p>
      <p>Proof. If the problem ZL  F, X  has a finite lexicographically optimal solution, then, starting
from some number p0 , the sequence of points is contained in a bounded set x p . Let xk  be a
subsequence of a sequence x p that converges to a point x* . We will consider a subsequencext 
of points for which the cutting hyperplane is generated with respect to the i-constraint of the form (9).
If at each iteration a hyperplane is added with respect to the strongest (most violated) constraint, then,
starting from some number k  k0 , the constraint is fulfilled gi  xk   0 , that is, xk it belongs to
the set of feasible solutions or the subsequence xt  is infinite. In the case when the subsequence
xt  is infinite, the inequality holds for each t  t , whence
gi  xt  , xt  xt  gi  xt   0 ,
following Cauchy-Bunyakovsky inequality, we obtain gi  xt   gi  xt 
xt  xt . Considering
that
xt  xt
 0 ,
gi  xt   gi  x* ,
from
the
last inequality
it
follows
gi  xt   gi  x*  0 , that x* is a feasible solution to the problem ZL  F, X  . On the other hand,
if x is the optimal solution to the problem ZL  F, X  , then at each iteration of the algorithm the
inequality F  xt  L F  x  is valid, whence we obtain F  x* L F  x  at the passage to the limit.
Hence x* is the lexicographically optimal solution to the problem ZL  F, X  . The theorem is
proved.</p>
      <p>The construction of the sequence xk  in the proposed method is carried out in such a way that
each of the points x k is an no feasible point for the original problem. Therefore, the calculation
process cannot be stopped even at rather large values s , this is possible only when we get an
admissible point. Convergence to a lexicographically optimal solution is guaranteed by the algorithm
in the case when the admissible set is convex.</p>
    </sec>
    <sec id="sec-7">
      <title>7. Conclusions</title>
      <p>The issues of existence and lexicographic optimality of solutions of vector convex optimization
problems with linear functions of criteria and an unbounded feasible set have been investigated.
Based on the analysis of these problems, taking into account the properties of the cones of perspective
lexicographic directions, of recessive directions and local tents at the boundary points of the feasible
set, necessary and sufficient conditions for the existence and lexicographic optimality of solutions of
the problems under study have been established. The obtained conditions can be successfully used in
the development of algorithms for finding optimal solutions to these lexicographic optimization
problems. Based on the ideas of linearization methods and Kelly’s cutting planes, a method for
finding lexicographically optimal solutions of convex lexicographic problems has been constructed
and substantiated.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>V.V.</given-names>
            <surname>Podinovskyi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.M.</given-names>
            <surname>Gavrilov</surname>
          </string-name>
          , Optimization by sequentially applied criteria, Moscow: Sov. Radio,
          <year>1975</year>
          (in Russian).
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <surname>Yu</surname>
          </string-name>
          . Yu. Chervak, Optimization. Unimprovable choice, Uzhgorod: National University, Uzhgorod,
          <year>2002</year>
          (in Ukrainian).
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>V.V.</given-names>
            <surname>Podinovskyi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.D.</given-names>
            <surname>Nogin</surname>
          </string-name>
          ,
          <article-title>Pareto-optimal solutions of multicriteria problems, 2-th publ</article-title>
          . Moscow: Fizmatlit,
          <year>2007</year>
          (in Russian).
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>Matthias</given-names>
            <surname>Ehrgott</surname>
          </string-name>
          , Multicriteria optimization,
          <source>Second Edition</source>
          . Springer. Berlin-Heidelberg,
          <year>2005</year>
          . doi.org/10.1007/3-540-27659-9.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <surname>I.I. Eremin</surname>
          </string-name>
          , Linear Optimization Theory, Yekaterinburg: Ross. Akad. Nauk,
          <year>1998</year>
          (in Russian).
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>M.</given-names>
            <surname>Cococcioni</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Pappalardo</surname>
          </string-name>
          and
          <string-name>
            <given-names>Y.D.</given-names>
            <surname>Sergeev</surname>
          </string-name>
          ,
          <article-title>Lexicographic multi-objective linear programming using grossone methodology: Theory and algorithm</article-title>
          ,
          <source>Applied Mathematics and Computation</source>
          ,
          <volume>318</volume>
          (
          <year>2018</year>
          ),
          <source>N 1</source>
          , pp.
          <fpage>298</fpage>
          -
          <lpage>311</lpage>
          . doi.org/10.1016/j.amc.
          <year>2017</year>
          .
          <volume>05</volume>
          .058
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>F.A.</given-names>
            <surname>Behringer</surname>
          </string-name>
          ,
          <article-title>A simplex based algorithm for the lexicographically extended linear maxmin problem</article-title>
          .
          <source>Eur. J. Oper. Res.</source>
          ,
          <volume>7</volume>
          (
          <year>1981</year>
          ), pp.
          <fpage>274</fpage>
          -
          <lpage>283</lpage>
          . doi.org/10.1007/11751595_
          <fpage>85</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>V.A.</given-names>
            <surname>Emelichev</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E.E.</given-names>
            <surname>Gurevsky</surname>
          </string-name>
          ,
          <article-title>On stability of some lexicographic multicriteria Boolean problem</article-title>
          .
          <source>Control and Cybernetics</source>
          ,
          <volume>36</volume>
          (
          <year>2007</year>
          ),
          <source>N 2</source>
          , pp.
          <fpage>333</fpage>
          −
          <lpage>346</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>V.A.</given-names>
            <surname>Emelichev</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E.E.</given-names>
            <surname>Gurevsky</surname>
          </string-name>
          and
          <string-name>
            <given-names>K.G.</given-names>
            <surname>Kuzmin</surname>
          </string-name>
          ,
          <article-title>On stability of some lexicographic integer optimization problem</article-title>
          <source>Control and Cybernetics</source>
          ,
          <volume>39</volume>
          (
          <year>2010</year>
          ),
          <source>N 3</source>
          , pp.
          <fpage>811</fpage>
          −
          <lpage>826</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <surname>Yager</surname>
            ,
            <given-names>R.R.</given-names>
          </string-name>
          :
          <article-title>On the analytic representation of the Leximin ordering and its application to flexible constraint propagation</article-title>
          .
          <source>Eur. J. Opnl. Res</source>
          .
          <volume>102</volume>
          (
          <year>1997</year>
          ),
          <fpage>176</fpage>
          -
          <lpage>192</lpage>
          .
          <string-name>
            <surname>M.M. Lomaha</surname>
            ,
            <given-names>N.V.</given-names>
          </string-name>
          <string-name>
            <surname>Semenova</surname>
          </string-name>
          ,
          <article-title>Quadratic lexicographic problems of optimization and Lagrange's reflection</article-title>
          . Uzhgorod University Scientific Bulletin.
          <source>Series: Mathematics and Informatics</source>
          .
          <volume>35</volume>
          (
          <year>2019</year>
          ).
          <source>N. 2</source>
          ,
          <fpage>127</fpage>
          −
          <lpage>133</lpage>
          . (in Ukrainian).
          <source>doi.org/10</source>
          .24144/
          <fpage>2616</fpage>
          -
          <lpage>7700</lpage>
          .
          <year>2019</year>
          .
          <volume>2</volume>
          (
          <issue>35</issue>
          ).
          <fpage>127</fpage>
          -
          <lpage>133</lpage>
          . https://dspace.uzhnu.edu.ua/jspui/handle/lib/28584.
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <surname>Ogryczak</surname>
            <given-names>W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Śliwiński</surname>
            <given-names>T</given-names>
          </string-name>
          .
          <article-title>On Direct Methods for Lexicographic Min-Max Optimization</article-title>
          . In: Gavrilova M. et al.
          <source>(eds) Computational Science and Its Applications - ICCSA 2006. Lecture Notes in Computer Science</source>
          , vol.
          <volume>3982</volume>
          . (
          <year>2006</year>
          ) Springer, Berlin, Heidelberg. https://doi.org/10.1007/11751595_
          <fpage>85</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>N.V.</given-names>
            <surname>Semenova</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.M. Lomaha</surname>
          </string-name>
          ,
          <article-title>On existence and optimality of solutions of a vector lexicographic convex optimization problem with linear criteria functions</article-title>
          . Uzhgorod University Scientific Bulletin.
          <source>Series: Mathematics and Informatics</source>
          .
          <volume>37</volume>
          (
          <year>2020</year>
          ).
          <source>N 2</source>
          , pp.
          <fpage>168</fpage>
          -
          <lpage>175</lpage>
          (in Ukrainian).
          <source>doi.org/10</source>
          .24144/
          <fpage>2616</fpage>
          -
          <lpage>7700</lpage>
          .
          <year>2020</year>
          .
          <volume>2</volume>
          (
          <issue>37</issue>
          ).
          <fpage>168</fpage>
          -
          <lpage>175</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>I.V.</given-names>
            <surname>Sergienko</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.N.</given-names>
            <surname>Kozeratskaya</surname>
          </string-name>
          and T.T. Lebedeva,
          <article-title>Investigation of stability and parametric analysis of discrete optimization problems</article-title>
          , Kyiv: Nauk. Dumka,
          <year>1995</year>
          . (in Russian).
          <volume>171</volume>
          с.
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>I.V.</given-names>
            <surname>Sergienko</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.N.</given-names>
            <surname>Kozeratskaya</surname>
          </string-name>
          and
          <string-name>
            <given-names>A.A.</given-names>
            <surname>Kononova</surname>
          </string-name>
          ,
          <article-title>Stability and unboundedness of vector optimization problems, Cybernetics and Systems Analysis</article-title>
          .
          <volume>33</volume>
          (
          <year>1997</year>
          ).
          <source>N 1</source>
          , pp.
          <fpage>1</fpage>
          −
          <lpage>7</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>I.V.</given-names>
            <surname>Sergienko</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.T.</given-names>
            <surname>Lebedeva</surname>
          </string-name>
          and
          <string-name>
            <given-names>N.V.</given-names>
            <surname>Semenova</surname>
          </string-name>
          ,
          <article-title>Existence of solutions in vector optimization problems</article-title>
          ,
          <source>Cybernetics and Systems Analysis</source>
          ,
          <volume>36</volume>
          (
          <year>2000</year>
          ).
          <source>N 6</source>
          , pp.
          <fpage>823</fpage>
          −
          <lpage>828</lpage>
          . doi.org/10.1023/A:1009401209157
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <given-names>Т.</given-names>
            <surname>Т. Lebedeva</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.V.</given-names>
            <surname>Semenova</surname>
          </string-name>
          and
          <string-name>
            <surname>Т.I. Sergienko</surname>
          </string-name>
          ,
          <article-title>Optimality and solvability conditions in linear vector optimization problems with convex feasible region</article-title>
          .
          <source>Dopov. Nac. akad. nauk. Ukr</source>
          . (
          <year>2003</year>
          ).
          <source>N 10</source>
          , pp.
          <fpage>80</fpage>
          −
          <lpage>85</lpage>
          (in Ukrainian).
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <given-names>R.</given-names>
            <surname>Rockafellar</surname>
          </string-name>
          ,
          <article-title>Convex analysis</article-title>
          , Princeton University Press: Princeton,
          <string-name>
            <surname>N.J.</surname>
          </string-name>
          <year>1970</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [18]
          <string-name>
            <given-names>V.H.</given-names>
            <surname>Boltyanskyy</surname>
          </string-name>
          ,
          <article-title>Tent method in the theory of extreme problems</article-title>
          .
          <source>Uspekhi Matematicheskikh Nauk</source>
          .
          <volume>30</volume>
          (
          <year>1975</year>
          ).
          <source>N</source>
          <volume>3</volume>
          (
          <issue>183</issue>
          .), pp.
          <fpage>3</fpage>
          -
          <lpage>55</lpage>
          (in Russian).
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [19]
          <string-name>
            <surname>I.E. Kelley,</surname>
          </string-name>
          <article-title>The cutting plane method for solving convex programs</article-title>
          .
          <source>SIAM J</source>
          .
          <year>1960</year>
          . 8. pp.
          <fpage>703</fpage>
          -
          <lpage>712</lpage>
          .
          <string-name>
            <surname>B.N.</surname>
          </string-name>
          <article-title>Pshenichny Convex analysis and extremal problems</article-title>
          . Moscow: Nauka1980, 320 p.
          <article-title>(in Russian)</article-title>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>