Localizing sets for invariant compact sets of discrete dynamical systems with perturbation and control

We consider the localization problem for the invariant compact sets of a discrete dynamical system with perturbation and control, that is, the problem of constructing domains in the system state space that contain all invariant compact sets of the system. The problem is solved on the basis of a functional method used earlier in localization problems for time-invariant continuous and discrete systems and also for control systems. The properties of the corresponding localizing sets are described.     

Localization of invariant compact sets in uncertain discrete systems

A functional method for the localization of invariant compact sets in discrete autonomous systems is generalized to discrete systems with uncertainty. We describe the properties of the corresponding localizing sets. By using this method, we construct localizing sets for positively invariant compact sets of the discrete Henon system with uncertainty.     

Functional method for the localization of invariant compact sets in discrete systems

We suggest a method for the localization of invariant compact sets in discrete autonomous systems. We describe the properties of the corresponding localizing sets. By using this method, we construct localizing sets for invariant compact sets of the discrete Henon system.     

Global asymptotic stability analysis by the localization method of invariant compact sets

We study the asymptotic stability and the global asymptotic stability of equilibria of autonomous systems of differential equations. We prove necessary and sufficient conditions for the global asymptotic stability of an equilibrium in terms of invariant compact sets and positively invariant sets. To verify these conditions, we use some results of the localization method for invariant compact sets of autonomous systems. These results are related to finding sets that contain all invariant compact sets of the system (localizing sets) and to the behavior of trajectories of the system with respect to localizing sets. We consider an example of a system whose equilibrium belongs to the critical case.     

Construction of Lyapunov functions by the method of localization of invariant compact sets

We suggest a new method for constructing Lyapunov functions for autonomous systems of differential equations. The method is based on the construction of a family of sets whose boundaries have the properties typical of the level surfaces of Lyapunov functions. These sets are found by the method of localization of invariant compact sets. For the resulting Lyapunov function and its derivative, we find analytical expressions via the localizing functions occurring in the specification of the above-mentioned sets. An example of a system with a degenerate equilibrium is considered.     

Localization of invariant compact sets of nonautonomous systems

We generalize the localization method for invariant compact sets of an autonomous dynamical system to the case of a nonautonomous system of differential equations. By using this method, we solve the localization problem for the Vallis third-order dynamical system governing some processes in atmosphere dynamics over the Pacific Ocean. For this system, we construct a one-parameter family of localizing sets bounded by second-order surfaces and find the intersection of all sets of the family.     

Localization of invariant compact sets of families of discrete-time systems

The functional method of localization of invariant compact sets developed for continuous- and discrete-time dynamical systems is extended to families of discrete-time systems. Positively invariant compact sets are considered. As an example, the method is applied to the Hénon system with uncertain parameters.     

Asymptotic stability analysis of autonomous systems by applying the method of localization of compact invariant sets

The asymptotic stability and global asymptotic stability of equilibria in autonomous systems of differential equations are analyzed. Conditions for asymptotic stability and global asymptotic stability in terms of compact invariant sets and positively invariant sets are proved. The functional method of localization of compact invariant sets is proposed for verifying the fulfillment of these conditions. Illustrative examples are given.     

Global random attractors are uniquely determined by attracting deterministic compact sets

It is shown that for continuous dynamical systems an analogue of the Poincaré recurrence theorem holds for Ω-limit sets. A similar result is proved for Ω-limit sets of random dynamical systems (RDS) on Polish spaces. This is used to derive that a random set which attracts every (deterministic) compact set has full measure with respect to every invariant probability measure for theRDS. Then we show that a random attractor coincides with the Ω-limit set of a (nonrandom) compact set with probability arbitrarily close to one, and even almost surely in case the base flow is ergodic. This is used to derive uniqueness of attractors, even in case the base flow is not ergodic. Entrata in Redazione il 10 marzo 1997.     

On the possibility of globally stabilizing invariant sets

In this paper we study the possibility of globally stabilizinginvariant sets of autonomous continuous nonlinear systems bythe state (output) feedback control law. We show that the topologicalstructure of invariant sets can give rise to obstruction tothe existence of a continuous control law for global stabilizationof invariant sets.     

Stability of Equilibria of Discrete-Time Systems and Localization of Invariant Compact Sets

The stability (or asymptotic stability) of equilibria of an time-invariant discrete-time system can be verified with the use of stability and asymptotic stability criteria stated in terms of invariant sets. An earlier proposed method reduces the verification of these criteria to some set operations. However, the method is analytical and hard to implement. We propose another approach to the verification of these criteria based on the functional method for localizing invariant compact sets.     

Behavior of Trajectories of Time-Invariant Systems

Finitely many embedded localizing sets are constructed for invariant compact sets of a time-invariant differential system. These localizing sets are used to divide the state space into three subsets, the least localizing set and two sets called sets of the first kind and the second kind. We prove that the trajectory passing through a point of the set of the first kind remains in this set and tends to infinity. For a trajectory passing through a point of the set of the second kind, there are three possible types of behavior: it either goes to infinity or, at some finite time, enters the least localizing set, or has a nonempty ω-limit set contained in the intersection of the boundary of one of the constructed localizing sets with the universal section of the corresponding localizing function.     

Localization analysis of compact invariant sets of multi-dimensional nonlinear systems and symmetrical prolongations

In our paper we study the localization problem of compact invariant sets of nonlinear systems. Methods of a solution of this problem are discussed and a new method is proposed which is based on using symmetrical prolongations and the first-order extremum condition. Our approach is applied to the system modeling the Rayleigh–Bénard convection for which the symmetrical prolongation with the Lorenz system has been constructed.     

Weakly invariant sets of hybrid systems

We consider a mathematical model of a hybrid system in which the continuous dynamics generated at any point in time by one of a given finite family of continuous systems alternates with discrete operations commanding either an instantaneous switching from one system to another, or an instantaneous passage from current coordinates to some other coordinates, or both operations simultaneously. As a special case, we consider a model of a linear switching system. For a hybrid system, we introduce the notion of a weakly invariant set and analyze its structure. We obtain a representation of a weakly invariant set as a union of sets of simpler structure. For the latter sets, we introduce special value functions, for which we obtain expressions by methods of convex analysis. For the same functions, we derive equations of the Hamilton-Jacobi-Bellman type, which permit one to pass from the problem of constructing weakly invariant sets to the control synthesis problem for a hybrid system.     

On the Euler characteristic of finite unions of convex sets

The Euler characteristic plays an important role in many subjects of discrete and continuous mathematics. For noncompact spaces, its homological definition, being a homotopy invariant, seems not as important as its role for compact spaces. However, its combinatorial definition, as a finitely additive measure, proves to be more applicable in the study of singular spaces such as semialgebraic sets, finitely subanalytic sets, etc. We introduce an interesting integral by means of which the combinatorial Euler characteristic can be defined without the necessity of decomposition and extension as in the traditional treatment for polyhedra and finite unions of compact convex sets. Since finite unions of closed convex sets cannot be obtained by cutting convex sets as in the polyhedral case, a separate treatment of the Euler characteristic for functions generated by indicator functions of closed convex sets and relatively open convex sets is necessary, and this forms the content of this paper.     

Bounds for a domain containing all compact invariant sets of the system describing the laser–plasma interaction

In this paper we consider the localization problem of compact invariant sets of the system describing the laser–plasma interaction. We establish that this system has an ellipsoidal localization for simple restrictions imposed on its parameters. Then we improve this localization by applying other localizing functions. In addition, we give sufficient conditions under which the origin is the unique compact invariant set.     

Bounding a domain containing all compact invariant sets of the permanent-magnet motor system

In this paper we characterize a locus of compact invariant sets of the system describing dynamics of the permanent-magnet synchronous motor (PMSM). We establish that all compact invariant sets of this system are contained in the intersection of one-parameter set of ellipsoids and compute its parameters. In addition, localizations by using a parabolic cylinder, an elliptic paraboloid and a hyperbolic cylinder are obtained. Simple polytopic bounds are derived with help of these localizations. Most of localizations mentioned above remain valid for more specific motor systems; namely, for the interior magnet PMSM and for the surface magnet PMSM. Yet another localization set for the interior magnet PMSM is described. Examples of localization of chaotic attractors existing for some values of parameters of PMSMs are presented as well.     

Localization of invariant compacta of autonomous systems

A class of problems that may be characterized as localization problems are becoming increasingly popular in qualitative theory of differential equations [1–15]. The specific formulations differ, but geometrically all search for phase space subsets with desired properties, e.g., contain certain solutions of the system of differential equations. Such problems include construction of positive invariant sets that contain certain separatrices of the Lorenz system [1], analysis of asymptotic behavior of solutions of the Lorenz system and determination of sets that contain the Lorenz attractor [2–5, 14], as well as determination of sets containing all periodic trajectories [6–13], separatrices, and other trajectories [10, 11]. Such sets may be naturally called localizing sets and it is obviously interesting to study methods and results that produce exact or nearly exact localizing sets for each phase space structure. In this article we focus on localization of the invariant compact sets in the phase space of a differential equation system, specifically the problem of finding phase space subsets that contain all the invariant compacta of the system. Invariant compact sets are equilibria, periodic trajectories, separatrices, limit cycles, invariant tori, and other sets and their finite unions. These sets and their properties largely determine the phase space structure and the qualitative behavior of solutions of the differential equation system.     

Haar ambivalent sets in the space of continuous functions

It is a well-known result of Solecki that every nonlocally compact Polish group with a two-sided invariant metric contains continuum many pairwise disjoint sets which are Haar ambivalent. Inspired by a recent result of Zajíček, we give such an explicit and natural collection in the space of continuous functions on the interval. Our collection involves functions which have infinite derivatives and knot points.