Localizing sets for invariant compact sets of continuous dynamical systems with a perturbation

A functional method of localization of invariant compact sets, which was earlier developed for autonomous continuous and discrete systems, is generalized to continuous dynamical systems with perturbations. We describe properties of the corresponding localizing sets. By using that method, we construct localizing sets for positively invariant compact sets of the Lorenz system with a perturbation.     

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.     

Bounds for compact invariant sets of the system describing dynamics of the nuclear spin generator

This paper is concerned with the localization problem of compact invariant sets of the system describing dynamics of the nuclear spin generator. We establish that all compact invariant sets of this system are located in the intersection of a ball with two frusta and compute its parameters. In addition, localization by using the two-parameter set of parabolic cylinders is described. Our results are obtained with help of the iteration theorem concerning a localization of compact invariant sets. One numerical example illustrating a localization of a chaotic attractor is presented as well.     

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.     

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.     

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.     

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.     

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.     

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.     

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.     

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 periodic orbits of the Rössler system under variation of its parameters

The localization problem of compact invariant sets of the Rössler system is considered in this paper. The main interest is attracted to a localization of periodic orbits. We establish a number of algebraic conditions imposed on parameters under which the Rössler system has no compact invariant sets contained in half-spaces z > 0; z < 0 and in some others. We prove that if parameters (a, b, c) of the Rössler system are such that this system has no equilibrium points then it has no periodic orbits as well. In addition, we give localization conditions of compact invariant sets by using linear functions and one quadratic function.     

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.     

Bounds for a new chaotic system and its application in chaos synchronization

This paper has investigated the localization problem of compact invariant sets of a new chaotic system with the help of the iteration theorem and the first order extremum theorem. If there are more iterations, then the estimation for the bound of the system will be more accurate, because the shape of the chaotic attractor is irregular. We establish that all compact invariant sets of this system are located in the intersection of a ball with two frusta and we also compute its parameters. It is a great advantage that we can attain a smaller bound of the chaotic attractor compared with the classical method. One numerical example illustrating a localization of a chaotic attractor is 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.     

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.     

Negatively Invariant Sets and Entire Trajectories of Set-Valued Dynamical Systems

Strongly negatively invariant compact sets of set-valued autonomous and nonautonomous dynamical systems on a complete metric space, the latter formulated in terms of processes, are shown to contain a weakly positively invariant family and hence entire solutions. For completeness the strongly positively invariant case is also considered, where the obtained invariant family is strongly invariant. Both discrete and continuous time systems are treated. In the nonautonomous case, the various types of invariant families are in fact composed of subsets of the state space that are mapped onto each other by the set-valued process. A simple example shows the usefulness of the result for showing the occurrence of a bifurcation in a set-valued dynamical system.