On the Equilibria of Generalized Dynamical Systems

This research work presents original properties of the equilibrium critical (ideal) points sets for an important class of generalized dynamical systems. The existence and significant results regarding such points are specified. Strong connections with the Vector Optimization by the Efficiency and the Potential Theory together with its applications following Choquet’s boundaries are provided.


Introduction
In this research work we present properties of critical points for an important class of generalized dynamical systems through the connections with the efficiency and Choquet's boundaries.Section 2 is therefore devoted to the study of the existence and the properties of the critical point sets.In Section 3, two important coincidence results between the (approximate) critical point sets and the Choquet's boundaries are given.The last section contains a new approximate modality for this kind of equilibrium point sets.All the elements of ordered topological vector spaces used in this work are in accordance with [1].

Existence of the Equilibrium Points under Completeness
In this section we study the existence of the critical points for a class of generalized dynamical systems in separated locally convex spaces ordered by the (weak) supernormal cones introduced by G. Isac in [2] and published in [3], using the (weak) completeness.We note that the weakly complete cones are very important in the functional analysis [4,5] and in the potential theory, including their applications [6][7][8][9][10].

OPEN ACCESS
Let X be a real Hausdorff locally convex space with the topology induced by a family    of seminorms, ordered by a convex cone K, its topological dual space X* and the origin denoted by θ.

Definition 2.1 [3]
K is called an Isac's (nuclear or supernormal) cone if for every pP   there exists 1 We have named cones such as these "Isac's cone" in memory of my friend, Professor Isac as described in [2,3,11].Many examples of such convex cones, their importance for efficiency and the last extension by the full nuclearity are described in [2,3,[11][12][13][14][15][16][17][18][19][20] and elsewhere.Thus, in a normed linear space a convex cone is an Isac's cone iff it is well based, that is, generated by a non-empty, convex and bounded set which does not contain the origin in its closure.A convex cone is an Isac's cone in a nuclear space [21] if and only if it is a normal cone.Both these properties are not valid in general Hausdorff locally convex spaces.We also note that this concept is not a simple generalization of the corresponding notion defined in the normed linear spaces by M. A. Krasnoselski [22], being specific to the ordered Hausdorff locally convex spaces [23].
Let A be a non-empty set in a Hausdorff locally convex space X ordered by a convex cone K.

Definition 2.2 A set valued map
be the generalized dynamical system defined by ( )

Definition 2.3
We say that a 0 is a critical point for  or an efficient (minimum) point for A with respect to K, in notation, ) if it satisfies one of the following equivalent conditions; It is clear that the finite dimensional version of this concept is represented by the Pareto optimality [20,24,25] and references therein.We recall that every Isac's cone is pointed, that is, and in any such case as this A projection in vector optimization by the super efficiency was given in [26].The largest class of convex cones ensuring the existence of the efficient points in non-empty, compact subsets of the linear topological vector spaces was presented in [27], completed by the subsequent studies described in [28,29] as was the last extension of the ordering convex cones to investigate the efficiency in Hausdorff locally convex spaces under completeness instead of compactness which is performed by Isac's cones; also used in the study of the geometrical aspects for Ekeland's principle [30].Taking into account Corollary 3 of Theorem 1 in [3], we obtain:  is a separated locally convex space with the topology generated by a family P of seminorms and A is a non-empty complete set in X such that for every pP   there exists a lower semicontinuous function The importance of Isac's cones concerning the existence and the domination property of the critical points sets for the corresponding dynamical systems is also illustrated by the following results.

Theorem 2.2 [18]
is bounded and complete for some non-empty set 0 AA  , then If K is a weak Isac's cone and is bounded and weakly complete for some non-empty set 0 AA  , then Since in every separated locally convex space any normal cone is a weak Isac's cone (Proposition 2 of [14]), the conclusion of the above corollary remains valid whenever K is a normal cone.Using this remark, one obtains the next existence results for the efficient points.[14] it is clear that all the above results remain valid if one replaces the hypothesis of normality on K with the usual weak normality.

Corollary 2.2.3
If A is a non-empty, bounded and closed subset of X and K is well based (that is, generated by a non-empty convex, bounded set which does not contain the origin of the space in its closure) by a complete set, then 3 Since in a normed linear space a convex cone is an Isac's cone if it is well based, the above last theorem and its immediate corollaries offers useful conclusions for the efficiency whenever K is an Isac's cone.Moreover, the existence results given in this section show also the possibility to use the (weakly) complete cones for the study of the existence and the properties of the solutions for the vector optimization problems in Hausdorff locally convex spaces, with appropriate numerical methods and they generalize similar conclusions to those indicated in [24].

Coincidence Results between Equilibrium Point Sets and Choquet's Boundaries under Related Topics
In our further considerations we suppose that (E, τ) is a Hausdorff locally convex space having its origin θ and τ its topology, K is a closed, convex pointed cone in E and ε is an arbitrary element of K\{θ}.On the vector space E we consider the usual order relation ≤ K associated with K as follows: for , x y E  one defines Clearly, this order relation on E is topologically closed, that is, the set G K given by The ε-critical points set of A with respect to K will be denoted by ε- following the analogy with [31][32][33].
Remark 3.1 It is clear that the concept of the ε-efficient element does not include the notion of the efficient point, but the immediate connection between them is represented by the relations Remark 3.2 A very interesting and important generalization of the approximate efficiency given by Definition 3.1 was considered in [33] by replacing  with a non-empty subset of K  In this way, it was shown that the existence of this new type of efficient points for the lower bounded sets characterizes the semi-Archimedian ordered vector spaces and the regular ordered locally convex spaces.In [32] we also find many pertinent examples and comments inside the usual Euclidean spaces.

Definition 3.2 A real function
For a non-empty and compact subset X of E we recall some basic considerations in Potential Theory concerning the Choquet boundary of X with respect to a convex cone of continuous functions on X.Thus, we remember that if S is a convex cone of real continuous functions on X such that the constant function on X belong to S, it is min-stable (i.e., for every 12 , and it separates the points of X, then on the set   MX  of all positive Radon measures on X one associates the following order relation: is minimal with respect to the above order relation if for any continuous function : The set of all points x X  such that x  is minimal measure with respect to s  is named the Choquet boundary of X with respect to S and it is denoted by .s X  Hence, if   CX is the usual Banach space of all real continuous functions on X, then  of the topology on X in which the closed sets coincide with X or with the absorbent subsets of X contained in such a set as {:  .
An important connection between the Vector Optimization and the Potential Theory is the next coincidence result on the efficient points sets and Choquet's boundaries in Hausdorff separated locally convex spaces, which cannot be obtained as a consequence of the Axiomatic Potential Theory, with significant details in [8][9][10]34], respectively.

Theorem 3.1 [8]
  K MIN X coincides with the Choquet boundary of X with respect to the convex cone of all real continuous functions which are increasing with respect to the order relation Taking into account Theorem 2.11 and Theorem 2.12 respectively in [5] we obtain

Remark 3.4
As we have seen in [8] under the hypotheses of Theorem 3.1, the set

 
, eff X K coincides with the Choquet boundary of X only with respect to the convex cone of all real, continuous and K-increasing functions on X.Thus, for example, if X is a non-empty, compact and convex subset of E, then, taking into account the Theorem 2.2 in the first paragraph of Chapter 2 [5], the Choquet boundary of X with respect to the convex cone of all real, continuous and concave functions on X coincides with the set of all extreme points for A, that is, with the set of elements xX  such that if But, it is clear that, even in infinite dimensional cases, an extreme point for a compact convex set is not necessarily an efficient point.
The following result extends Theorem 3.1 for ε-efficiency.

Theorem 3.2 [35] If X is a non-empty subset of E, then the
coincides with the Choquet boundary of X with respect to the convex cone all K   -increasing real continuous functions on X.
Consequently, the set   , eff X K   endowed with the trace topology is a Baire space and if  

A Generalized Modality for the Equilibrium Points Sets
Let X be a vector space with its origin denoted by θ ordered by a convex cone K,K 1 a non-void subset of K and A a non-empty subset of X.The following definition introduces a new concept of approximate efficiency in Hausdorff locally convex spaces which particularly leads to the well-known notion of Pareto type efficiency in the usual Euclidean spaces.

Definition 4.1 We say that
if it satisfies one of the following equivalent conditions: In a similar manner one defines the maximal efficient points by replacing , if it is a fixed point for the multifunction : In [33] it was shown that whenever the existence of this new type of efficient points for the lower bounded sets characterizes the semi-Archimedian ordered vector spaces and the regular ordered locally convex spaces.
Whenever K is pointed and   , that is, satisfying the next equivalent properties: and we notice that , , , , ,   In all these cases, the set as in [11]) and it is obvious that Remark 4. 3 The following theorem offers the first important connection between the strong optimization and the approximate efficiency in the environment of the ordered vector spaces, described initially in the previous Definition 4.1.

Theorem 4.1 If we denote by
The above theorem shows that, for any non-empty subset of an arbitrary vector space, the set of all strong minimal elements with respect to any convex cone, through the agency of every non-void subset of it, coincides with the corresponding set of the efficient (minimal) points whenever there is at least a strong minimal element, the result remaining obviously valid for the strong maximal elements and the maximal efficient points, respectively.Using this result and our abstract construction given in [36] for the H-locally convex spaces introduced by Th.
Precupanu in [37], as separated locally convex spaces with any seminorms satisfying the parallelogram law, we established in [16] that the only simultaneous and vectorial approximation for each element, in the direct sum of a (closed) linear subspace and its orthogonal with respect to a linear (continuous) operator between two H-locally convex spaces, is its spline function.We also note that it is possible to have endowed with the separated H-locally convex topology generated by the semi-norms : In all our further considerations we suppose that X is a Hausdorff locally convex space having the topology induced by family    of seminorms, ordered by a convex cone K and its topological dual space * X .In this framework, the next theorem contains a significant criterion for the existence of the approximate Pareto (minimal) efficient points, in particular, for the usual Pareto (minimal) efficient points, taking into account that the dual cone of K is defined by and its attached polar cone is 0* .

KK 
The version for the approximate maximal efficient points is straightforward.
that is, there exists aA  so that Then, 0 0 aa  and, because X is separated in Hausdorff's sense, there exists pP   such that   Remark 4. 5 The above theorem represents an immediate extension of Precupanu's result given in Proposition 1.2 of [38].In general, the converse of this theorem is not valid at least in (partially) ordered separated locally convex spaces as we can see from the example considered in Remark 4.4.Indeed, if one assumes the contrary in the corresponding, mathematical calculation's background, then, The content of Section 4 in [17] motivated us to consider for each function and to give the next generalization of Theorem 7 [17] in a more general context, which represents also a new important link between strong optimization and the approximate vector optimization together with its usual particular variant, respectively., , , for any non-empty subset K 1 of K.
is an arbitrary element, then, in accordance with point (i) of the Definition 4.1 and the hypothesis of the above theorem, we have , , , , .eff A a K K K K eff A K K    Indeed, for any Remark 4.7 Clearly, the announced theorem represents a significant result concerning the possibilities of scalarization for the study of the above efficiency in separated locally convex spaces, so for the particular cases of Hausdorff locally convex spaces ordered by closed, pointed and normal cones.The coincidence between the equilibrium points sets and Choquet's boundaries together with its immediate corollaries remains valid if one replaces ε by K 1 .

Conclusions
The main goal of this paper was to exhibit some pertinent results on the equilibrium point sets for the generalized dynamical systems with respect to Isac's cones.The relations between this kind of equilibria, the efficiency in the infinite dimensional ordered vector spaces and Choquet's boundaries were also examined.


When the boundedness and weak completeness properties hold for every, aA  then we have the following domination property:

Remark 3 . 3
In the conditions of Theorem 3.1, let us consider   K MIN X endowed with the trace topology also denoted by X  , the following game between partners A and B. each partner successively chooses a non-empty set belonging to X  such that the player A makes the first choice and each player must choose a set in X  which should be included in the previously chosen set of the other player.by B. One says that player B wins regardless of the way A plays, he is able to make an option so that * 1 together with Choquet's results (see, for examples, Chapter 2 of[5]) concerning the properties of the Choquet boundary shows that the above game on   K MIN X is won by player B.
1, one obtains the well-known notion of the efficient (minimal, optimal or admissible) point, abbreviated proof is complete.

Theorem 4 . 3
If there exists

Remark 4 . 6 Corollary 4 . 3 . 1
The hypothesis KK   imposed upon the convex cone K is automatically satisfied whenever K is an Isac's cone and it was used only to prove the inclusion When K is any pointed convex cone, A is a non-empty subset of X and For every non-empty subset A of any Hausdorff locally convex space ordered by an arbitrary, pointed convex cone K with its dual cone K* we have

Remark 2.2 Taking into account Corollary of Proposition 2 in
Proof Let us suppose that, under the above hypotheses,