Continuity of the Solution Set to Parametric Weak Vector Equilibrium Problems

In this paper, we obtain some stability results for parametric weak vector equilibrium problems in topological vector spaces. We provide sufficient conditions for the continuity of the solution set mapping in parametric weak monotone vector equilibrium problems. This research was partially supported by the National Natural Science Foundation of China (Grant 10561007) and the Natural Science Foundation of Jiangxi Province, China.     

双扰动多目标规划的锥次微分稳定性

关于多目标规划解的稳定性问题，一些学者在半连续意义下曾得到比较系统的结果．以后，在锥次微分意义下又获得了更深入的描述．近年，则进一步对目标和约束，以及确定目标空间序的控制锥均受扰动的多目标规划研究其解的稳定性问题，并在Ｂａｎａｃｈ空间和半连续的意义下，得到了很好的刻划．本文则对这类双扰动多目标规划问题，在局部凸拓扑向量空间和锥次微分的意义下，获得了相应的稳定性结论。     

The Set-Valued Dynamic System and Its Applications to Pareto Optima

In this paper, we first study the existence of endpoints for set-valued dynamic systems which are either upper or lower semicontinuous in metric spaces. Then the existence, uniqueness and algorithms of endpoints for set-valued dynamic systems which are either generalized contractions (defined in metric spaces) or topological contractions (defined in topological spaces which do not necessarily have any metric). These results are then applied to derive the existence of Pareto optima for mappings which take values in ordered Banach spaces. Finally, the stability of (generalized) nucleolus sets is also established.     

On the connectedness of the solution set to nonlinear complementarity systems

This paper establishes sufficient conditions for the connectedness of nontrivial subsets of the solution set to nonlinear complementarity systems with twice continuously differentiable operators. In geometrical terms, the intersection of a Riemannian manifold, a pointed cone, and the level sets determined by nonlinear inequalities are studied.In the case of variational and quasivariational inequalities, sufficient conditions ensure the geodesic connectedness of a nontrivial solution set. The image representation of the results shows the close connections between these three topics.This paper was prepared mainly while the author was visiting the Department of Mathematics at the University of Pisa. This research was partially supported by the Hungarian National Research Foundation, Grant No. OTKA-2568.     

On the stable containment of two sets

This paper studies the stability of the set containment problem. Given two non-empty sets in the Euclidean space which are the solution sets of two systems of (possibly infinite) inequalities, the Farkas type results allow to decide whether one of the two sets is contained or not in the other one (which constitutes the so-called containment problem). In those situations where the data (i.e., the constraints) can be affected by some kind of perturbations, the problem consists of determining whether the relative position of the two sets is preserved by sufficiently small perturbations or not. This paper deals with this stability problem as a particular case of the maintaining of the relative position of the images of two set-valued mappings; first for general set-valued mappings and second for solution sets mappings of convex and linear systems. Thus the results in this paper could be useful in the postoptimal analysis of optimization problems with inclusion constraints.      

Stability of Linear Inequality Systems in a Parametric Setting

In this paper, we propose a parametric approach to the stability theory for the solution set of a semi-infinite linear inequality system in the n-dimensional Euclidean space . The main feature of this approach is that the coefficient perturbations are modeled through the so-called mapping of parametrized systems, which assigns to each parameter, ranging in a metric space, a subset of . Each vector of this image set provides the coefficients of an inequality in and the whole image set defines the inequality system associated with the parameter. Thus, systems associated with different parameters are not required to have the same number (cardinality) of inequalities. The paper is focused mainly on the structural stability of the feasible set mapping, providing a characterization of the Berge lower-semicontinuity property. The role played by the strong Slater qualification is analyzed in detail.This research has been partially supported by Grant PB98-0975 from DGES (Spain), Grant BFM2002-04114-C02 (01–02) from MCYT (Spain), FEDER (European Union), and Bancaja-UMH (Spain).     

Projection and restriction methods in geometric programming and related problems

Mathematical programming problems with unattained infima or unbounded optimal solution sets are dual to problems which lackinterior points, e.g., problems for which the Slater condition fails to hold or for which the hypothesis of Fenchel's theorem fails to hold. In such cases, it is possible to project the unbounded problem onto a subspace and to restrict the dual problem to an affine set so that the infima are not altered. After a finite sequence of such projections and restrictions, dual problems are obtained which have bounded optimal solution sets andinterior points. Although results of this kind have occasionally been used in other contexts, it is in geometric programming (both in the original psynomial form and the generalized form) where such methods appear most useful. In this paper, we present a treatment of dual projection and restriction methods developed in terms of dual generalized geometric programming problems. Analogous results are given for Fenchel and ordinary dual problems.This research was supported in part by Grant No. AFOSR-73-2516 from the Air Force Office of Scientific Research and by Grant No. NSF-ENG-76-10260 from the National Science Foundation.The authors wish to express their appreciation to the referees for several helpful comments.     

Stability of the intersection of solution sets of semi-infinite systems

Many mathematical programming models arising in practice present a block structure in their constraint systems. Consequently, the feasibility of these problems depends on whether the intersection of the solution sets of each of those blocks is empty or not. The existence theorems allow to decide when the intersection of non-empty sets in the Euclidean space, which are the solution sets of systems of (possibly infinite) inequalities, is empty or not. In those situations where the data (i.e., the constraints) can be affected by some kind of perturbations, the problem consists of determining whether the relative position of the sets is preserved by sufficiently small perturbations or not. This paper focuses on the stability of the non-empty (empty) intersection of the solutions of some given systems, which can be seen as the images of set-valued mappings. We give sufficient conditions for the stability, and necessary ones as well; in particular we consider (semi-infinite) convex systems and also linear systems. In this last case we discuss the distance to ill-posedness.     

Conley index condition for asymptotic stability

In this paper, we use Conley index theory to develop necessary conditions for stability of equilibrium and periodic solutions of nonlinear continuous-time systems. The Conley index is a topological generalization of the Morse theory which has been developed to analyze dynamical systems using topological methods. In particular, the Conley index of an invariant set with respect to a dynamical system is defined as the relative homology of an index pair for the invariant set. The Conley index can then be used to examine the structure of the system invariant set as well as the system dynamics within the invariant set, including system stability properties. Efficient numerical algorithms using homology theory have been developed in the literature to compute the Conley index and can be used to deduce the stability properties of nonlinear dynamical systems.     

On the connectedness of the solution set to linear complementarity systems

This paper establishes sufficient conditions for the connectedness of nontrivial subsets of the solution set to linear complementarity systems with special structure. Connectedness may be important to investigate stability and sensitivity questions, parametric problems, and for extending a Lemke-type method to a new class of problems. Such a property may help in analyzing the structure of the feasible region by checking the explicitly given matrices of the resulting conditions. From the point of view of geometry, the question is how to analyze the combined geometrical object consisting of a Riemannian manifold, a pointed cone, and level sets determined by linear inequalities.This paper has been mainly prepared while the author was visiting the Department of Mathematics at the University of Pisa. This research was partialy supported by the Hungarian National Research Foundation, Grant No. OTKA-2568.     

Orthogonal separable Hamiltonian systems on <Emphasis Type="Italic">T</Emphasis><Superscript>2</Superscript>

In this paper we characterize the Liouvillian integrable orthogonal separable Hamiltonian systems on T ² for a given metric, and prove that the Hamiltonian flow on any compact level hypersurface has zero topological entropy. Furthermore, by examples we show that the integrable Hamiltonian systems on T ² can have complicated dynamical phenomena. For instance they can have several families of invariant tori, each family is bounded by the homoclinic-loop-like cylinders and heteroclinic-loop-like cylinders. As we know, it is the first concrete example to present the families of invariant tori at the same time appearing in such a complicated way. This work is partially supported by the National Natural Science Foundation of China (Grant Nos. 10671123, 10231020), “Dawn” Program of Shanghai Education Comission of China (Grant No. 03SG10) and Program for New Century Excellent Tatents in University of China (Grant No. 050391)     

On affine groups admitting invariant two-point sets

A two-point set is a subset of the plane which meets every line in exactly two points. We discuss previous work on the topological symmetries of a two-point set, and show that there exist subgroups of S¹ which do not leave any two-point set invariant. Further, we show that two-point sets may be chosen to be topological groups, in which case they are also homogeneous.     

On Topological Derivatives for Elastic Solids with Uncertain Input Data

In this paper, a new approach to the derivation of the worst scenario and the maximum range scenario methods is proposed. The derivation is based on the topological derivative concept for the boundary-value problems of elasticity in two and three spatial dimensions. It is shown that the topological derivatives can be applied to the shape and topology optimization problems within a certain range of input data including the Lamé coefficients and the boundary tractions. In other words, the topological derivatives are stable functions and the concept of topological sensitivity is robust with respect to the imperfections caused by uncertain data. Two classes of integral shape functionals are considered, the first for the displacement field and the second for the stresses. For such classes, the form of the topological derivatives is given and, for the second class, some restrictions on the shape functionals are introduced in order to assure the existence of topological derivatives. The results on topological derivatives are used for the mathematical analysis of the worst scenario and the maximum range scenario methods. The presented results can be extended to more realistic methods for some uncertain material parameters and with the optimality criteria including the shape and topological derivatives for a broad class of shape functionals. This research is partially supported by the Brazilian Agency CNPq under Grant 472182/2007-2, FAPERJ under Grant E-26/171.099/2006 (Rio de Janeiro) and Brazilian-French Research Program CAPES/COFECUB under Grant 604/08 between LNCC in Petrópolis and IECN in Nancy, and by the Research Grant CNRS-CSAV between Institut Elie Cartan in Nancy and the Institut of Mathematics in Prague. The support is gratefully acknowledged.     

点集拓扑学之杨忠道定理的一个机械化证明

本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.     

DATA PREORDERING IN GENERALIZED PAV ALGORITHM FOR MONOTONIC REGRESSION

Monotonic regression （MR） is a least distance problem with monotonicity constraints induced by a partiaily ordered data set of observations. In our recent publication [In Ser. Nonconvex Optimization and Its Applications, Springer-Verlag, （2006） 83, pp. 25-33], the Pool-Adjazent-Violators algorithm （PAV） was generalized from completely to partially ordered data sets （posets）. The new algorithm, called CPAV, is characterized by the very low computational complexity, which is of second order in the number of observations. It treats the observations in a consecutive order, and it can follow any arbitrarily chosen topological order of the poset of observations. The CPAV algorithm produces a sufficiently accurate solution to the MR problem, but the accuracy depends on the chosen topological order. Here we prove that there exists a topological order for which the resulted CPAV solution is optimal. Furthermore, we present results of extensive numerical experiments, from which we draw conclusions about the most and the least preferable topological orders.     

Central sets and substitutive dynamical systems

In this paper we establish a new connection between central sets and the strong coincidence conjecture   for fixed points of irreducible primitive substitutions of Pisot type. Central sets, first introduced by Furstenberg using notions from topological dynamics, constitute a special class of subsets of N$\mathbb{N}$ possessing strong combinatorial properties: Each central set contains arbitrarily long arithmetic progressions, and solutions to all partition regular systems of homogeneous linear equations. We give an equivalent reformulation of the strong coincidence condition in terms of central sets and minimal idempotent ultrafilters in the Stone–?ech compactification βN$\beta \mathbb{N}$. This provides a new arithmetical approach to an outstanding conjecture in tiling theory, the Pisot substitution conjecture  . The results in this paper rely on interactions between different areas of mathematics, some of which had not previously been directly linked: They include the general theory of combinatorics on words, abstract numeration systems, tilings, topological dynamics and the algebraic/topological properties of Stone–?ech compactification of N$\mathbb{N}$.     

Existence of Efficient Points in Vector Optimization and Generalized Bishop–Phelps Theorem

In a set without linear structure equipped with a preorder, we give a general existence result for efficient points. In a topological vector space equipped with a partial order induced by a closed convex cone with a bounded base, we prove another kind of existence result for efficient points; this result does not depend on the Zorn lemma. As applications, we study a solution problem in vector optimization and generalize the Bishop–Phelps theorem to a topological vector space setting by showing that the B-support points of any sequentially complete closed subset A of a topological vector space E is dense in A, where B is any bounded convex subset of E.     

Two New Recurrent Levels for <Emphasis Type="Italic">C</Emphasis><Superscript>0</Superscript>-Flows

The central problem in dynamical systems is the asymptotic behavior or topological structure of the orbits. Nevertheless only orbits of points with certain recurrence and form a set of full measure are truly of importance. Of course, such a set is desired to be as small (in the sense of set inclusion) as possible. In this paper we discuss such two sets: the set of weakly almost periodic points and the set of quasi-weakly almost periodic points. While the two sets are different from each other by definitions, we prove that their closures both coincide with the measure center (or the minimal center of attraction) of the dynamical systems. Generally, a point may have three levels of orbit-structure: the support of an invariant measure generated by the point, its minimal center of attraction and its ω-limit set. We study the three levels of orbit-structure for weakly almost periodic points and quasi-weakly almost periodic points. We prove that quasi-weakly almost periodic points possess especially rich topological orbit-structures. We also present a necessary and sufficient condition for a point to belong to its own minimal center of attraction.     

Topological conjugation and asymptotic stability in impulsive semidynamical systems

We prove several results concerning topological conjugation of two impulsive semidynamical systems. In particular, we prove that the homeomorphism which defines the topological conjugation takes impulsive points to impulsive points; it also preserves limit sets, prolongational limit sets and properties as the minimality of positive impulsive orbits as well as stability and invariance with respect to the impulsive system. We also present the concepts of attraction and asymptotic stability in this setting and prove some related results.     

On the stability of closed-convex-valued mappings and the associated boundaries

This paper deals with the stability properties of those set-valued mappings from locally metrizable spaces to Euclidean spaces for which the images are the convex hull of their boundaries (i.e., they are closed convex sets not containing a halfspace). Examples of this class of mappings are the feasible set and the optimal set of convex optimization problems, and the solution set of convex systems, when the data are subject to perturbations. More in detail, we associate with the given set-valued mapping its corresponding boundary mapping and we analyze the transmission of the stability properties (lower and upper semicontinuity, continuity and closedness) from the given mapping to its boundary and vice versa.