Stability of a Hamiltonian system in a limiting case

We give a fairly simple geometric proof that an equilibrium point of a Hamiltonian system of two degrees of freedom is Liapunov stable in a degenerate case. That is the 1: −1 resonance case where the linearized system has double pure imaginary eigenvalues ±iω, ω ≠ 0 and the Hamiltonian is indefinite. The linear system is weakly unstable, but if a particular coefficient in the normalized Hamiltonian is of the correct sign then Moser’s invariant curve theorem can be applied to show that the equilibrium point is encased in invariant tori and thus it is stable.     

Invariant measures of minimal post-critical sets of logistic maps

We construct logistic maps whose restriction to the ω-limit set of its critical point is a minimal Cantor system having a prescribed number of distinct ergodic and invariant probability measures. In fact, we show that every metrizable Choquet simplex whose set of extreme points is compact and totally disconnected can be realized as the set of invariant probability measures of a minimal Cantor system corresponding to the restriction of a logistic map to the ω-limit set of its critical point. Furthermore, we show that such a logistic map f can be taken so that each such invariant measure has zero Lyapunov exponent and is an equilibrium state of f for the potential −ln |f′|.     

Aging of spherical spin glasses

Sompolinski and Zippelius (1981) propose the study of dynamical systems whose invariant measures are the Gibbs measures for (hard to analyze) statistical physics models of interest. In the course of doing so, physicists often report of an “aging” phenomenon. For example, aging is expected to happen for the Sherrington-Kirkpatrick model, a disordered mean-field model with a very complex phase transition in equilibrium at low temperature. We shall study the Langevin dynamics for a simplified spherical version of this model. The induced rotational symmetry of the spherical model reduces the dynamics in question to an N-dimensional coupled system of Ornstein-Uhlenbeck processes whose random drift parameters are the eigenvalues of certain random matrices. We obtain the limiting dynamics for N approaching infinity and by analyzing its long time behavior, explain what is aging (mathematically speaking), what causes this phenomenon, and what is its relationship with the phase transition of the corresponding equilibrium invariant measures. Received: 8 July 1999 / Revised version: 2 June 2000 / Published online: 6 April 2001     

The necessary conditions of the preservation of an invariant manifold of an autonomous system near an equilibrium point

Let a smooth autonomous system of ordinary differential equations have a smooth locally invariant manifold passing through its equilibrium point. The sufficient conditions are known under which each perturbed system has at least one smooth invariant manifoldC ¹ close to the original one. In the paper we prove the necessity of these conditions.     

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.     

Local characterization of invariant sets of an autonomous differential inclusion

Summary An application in robotics motivates us to characterize the evolution of a subset in state space due to a compact neighborhood of an arbitrary dynamical system—an instance of a differential inclusion. Earlier results of Blagodat·skikh and Filippov (1986) and Butkovskii (1982) characterize the boundary of theattainable set and theforward projection operator of a state. Our first result is a local characterization of the boundary of the forward projection ofa compact regular subset of the state space. Let the collection of states such that the differential inclusion contains an equilibrium point be called asingular invariant set. We show that the fields at the boundary of the forward projection of a singular invariant set are degenerate under some regularity assumptions when the state-wise boundary of the differential inclusion is smooth. Consider instead those differential inclusions such that the state-wise boundary of the problem is a regular convex polytope—a piecewise smooth boundary rather than smooth. Our second result gives conditions for theuniqueness andexistence of the boundary of the forward projection of a singular invariant set. They characterize the bundle of unstable and stable manifolds of such a differential inclusion.     

Symmetry and <Emphasis Type="Italic">p</Emphasis>-Stability

A symmetry of a game is a permutation of the player set and their strategy sets that leaves the payoff functions invariant. In this paper we introduce and discuss two relatively mild symmetry properties for set-valued solution concepts (that are equivalent when the solution concepts are single-valued) and show using examples that stable sets satisfy neither version. These examples also show that for every integer q, there exists a game with an equilibrium component of index q.Received February 2002/Revised November 2003Supported by an EPSRC doctoral grant.     

Extension of E.A. Barbashin’s and N.N. Krasovskii’s stability theorems to controlled dynamical systems

The known theorems by E.A. Barbashin and N.N. Krasovskii (1952) about the asymptotic and global stability of an equilibrium state for an autonomous system of differential equations are extended to nonautonomous differential inclusions with closed-valued (but not necessarily compact-valued) right-hand sides, where the equilibrium state is a weakly invariant (with respect to solutions of the inclusion) set. The statements are formulated in terms of the Hausdorff-Bebutov metric, the dynamical system of translations corresponding to the right-hand side of the differential inclusion, and the weakly invariant set corresponding to the inclusion.     

Slow-fast hamiltonian dynamics near a ghost separatix loop

We study the behavior of a slow-fast (singularly perturbed) Hamiltonian system with two degrees of freedom, losing one degree of freedom at the singular limit = 0, near its ghost separatrix loop, i.e., a homoclinic orbit to a saddle equilibrium of the slow (one degree of freedom) system. We show that, for small > 0, the system has an equilibrium of the saddle-center type and prove, using the method of Delatte, that the Moser normal form exists in an O()-neighborhood of the equilibrium. Then we show that one-dimensional separatrices of the equilibria are generically split with exponentially small splitting. Also, we demonstrate that out of some exponentially thin neighborhood of the ghost separatrix loop in the level of a Hamiltonian containing a saddle-center, the major part of the phase space is foliated into Diophantine invariant tori.Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 8 , Suzdal Conference—2, 2003.This revised version was published online in April 2005 with a corrected cover date.     

Minimal models for noninvertible and not uniquely ergodic systems

Let (Y, S) be a (not necessarilly invertible) topological dynamical system on a zero-dimensional metric spaceY without periodic points. Then there exists a minimal system (X, T) with the same simplex of invariant measures as (Y, S). More precisely, there exists a Borel isomorphism between full sets inY andX such that the adjoint map on measures is a homeomorphism between the corresponding sets of invariant measures in the weak topology. As an application we construct a minimal system carrying isomorphic copies of all nonatomic invariant measures.     

Attracting current and equilibrium measure for attractors on ℙ<Superscript><Emphasis Type="Italic">k</Emphasis></Superscript>

Let f be a holomorphic endomorphism of ℙ ^k having an attracting setA. We construct an attracting current and an equilibrium measure associated toA. The attracting current is weakly laminar and extremal in the cone of invariant currents. The equilibrium measure is mixing and has maximal entropy onA.     

Ergodicity and Lyapunov Functions for Langevin Dynamics with Singular Potentials

We study Langevin dynamics of N particles on ℝ^d interacting through a singular repulsive potential, e.g., the well-known Lennard-Jones type, and show that the system converges to the unique invariant Gibbs measure exponentially fast in a weighted total variation distance. The proof of the main result relies on an explicit construction of a Lyapunov function. In contrast to previous results for such systems, our result implies geometric convergence to equilibrium starting from an essentially optimal family of initial distributions. © 2019 Wiley Periodicals, Inc.     

On the local topological conjugacy of essentially nonlinear systems in the neighborhood of invariant surfaces which consist of equilibrium points

A nonlinear system having an invariant surface is considered. This invariant surface consists of equilibrium points and it is preserved under system perturbations. It is demonstrated that this system is locally topologically conjugate with its perturbation in the neighborhood of the invariant surface considered.     

KAM theorem of symplectic algorithms for Hamiltonian systems

Summary. In this paper we prove that an analog of the celebrated KAM theorem holds for symplectic algorithms, which Channel and Scovel (1990), Feng Kang (1991) and Sanz-Serna and Calvo (1994) suggested a few years ago. The main results consist of the existence of invariant tori, with a smooth foliation structure, of a symplectic numerical algorithm when it applies to a generic integrable Hamiltonian system if the system is analytic and the time-step size of the algorithm is s ufficiently small. This existence result also implies that the algorithm, when it is applied to a generic integrable system, possesses n independent smooth invariant functions which are in involution and well-defined on the set filled by the invariant tori in the sense of Whitney. The invariant tori are just the level sets of these functions. Some quantitative results about the numerical invariant tori of the algorithm approximating the exact ones of the system are also given. Received December 27, 1997 / Revised version received July 15, 1998 / Published online: July 7, 1999     

An invariant‐region‐preserving limiter for DG schemes to isentropic Euler equations

In this article, we introduce an invariant‐region‐preserving (IRP) limiter for the p‐system and the corresponding viscous p‐system, both of which share the same invariant region. Rigorous analysis is presented to show that for smooth solutions the order of approximation accuracy is not destroyed by the IRP limiter, provided the cell average stays away from the boundary of invariant region. Moreover, this limiter is explicit, and easy for computer implementation. A generic algorithm incorporating the IRP limiter is presented for high order finite volume type schemes as long as the evolved cell average of the underlying scheme stays strictly within the invariant region. For high order discontinuous Galerkin (DG) schemes to the p‐system, sufficient conditions are obtained for cell averages to stay in the invariant region. For the viscous p‐system, we design both second and third order IRP DG schemes. Numerical experiments are provided to test the proven properties of the IRP limiter and the performance of IRP DG schemes.     

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.     

The Brouwer Fixed Point Theorem applied to rumour transmission

The results of the Brouwer Fixed Point Theorem are extended to continuous dynamical systems. It is shown that if there exists a compact convex positive invariant set for the dynamical system, then this convex positive invariant set contains an equilibrium point. The existence of an interior equilibrium is shown for a general model of rumour transmission.     

非线性系统双模鲁棒预测控制: 不变集切换方法

提出了一种基于不变集切换的非线性系统鲁棒预测控制算法.采用分段蕴含方法将非线性系统动态用一组线性变参数(LPV)系统动态包裹;计算出非线性系统的平衡面,对于每个LPV蕴含模型,针对相应的平衡点构造多面体不变集,得到覆盖非线性系统平衡面的一组相互重叠的不变集;在线根据系统当前状态所处的不变集和LPV区间切换控制律,最终保证闭环系统的稳定性.与传统的非线性预测控制相比,这种方法在构造不变集和确定控制律的计算都是离线进行,而在线只需根据当前状态切换控制律即可,从而避免了求解复杂的非凸非线性规划,在很大程度上降低了在线计算量.     

Separatrix splitting from the point of view of symplectic geometry

Generally, the invariant Lagrangian manifolds (stable and unstable separatrices) asymptotic with respect to a hyperbolic torus of a Hamiltonian system do not coincide. This phenomenon is called separatrix splitting. In this paper, a symplectic invariant qualitatively describing separatrix splitting for hyperbolic tori of maximum (smaller by one than the number of degrees of freedom) dimension is constructed. The construction resembles that of the homoclinic invariant found by lazutkin for two-dimensional symplectic maps and of Bolotin's invariant for splitting of asymptotic manifolds of a fixed point of a symplectic diffeomorphism. Translated fromMatematicheskie Zametki, Vol. 61, No. 6, pp. 890–906, June, 1997. Translated by O. V. Sipacheva     

Families of stable manifolds for one-dimensional parabolic equations

We prove that to any invariant subset of the dynamical system generated by a one-dimensional quasilinear parabolic equation there corresponds an invariant family of stable manifolds of finite codimension. Translated fromMatematicheskie Zametki, Vol. 60, No. 1, pp. 11–23, July, 1996.