The stable manifold theorem for non-linear stochastic systems with memory: II. The local stable manifold theorem

We state and prove a Local Stable Manifold Theorem (Theorem 4.1) for non-linear stochastic differential systems with finite memory (viz. stochastic functional differential equations (sfde's)). We introduce the notion of hyperbolicity for stationary trajectories of sfde's. We then establish the existence of smooth stable and unstable manifolds in a neighborhood of a hyperbolic stationary trajectory. The stable and unstable manifolds are stationary and asymptotically invariant under the stochastic semiflow. The proof uses infinite-dimensional multiplicative ergodic theory techniques developed by D. Ruelle, together with interpolation arguments.     

Existence of traveling waves in compressible Euler equations with viscosity and capillarity

Given any Lax shock of the compressible Euler dynamics equations, we show that there exists the corresponding traveling wave of the system when viscosity and capillarity are suitably added. For a traveling wave corresponding to a given Lax shock, the governing viscous–capillary system is reduced to a system of two differential equations of first-order, which admits an asymptotically stable equilibrium point and a saddle point. We then develop the method of estimating attraction domain of the asymptotically stable equilibrium point for the compressible Euler equations and show that the saddle point in fact lies on the boundary of this set. Then, we establish a saddle-to-stable connection by pointing out that there is a stable trajectory leaving the saddle point and entering the attraction domain of the asymptotically stable equilibrium point. This gives us a traveling wave of the viscous–capillary compressible Euler equations.     

Dynamical systems with multivalued integrals on a torus

Properties of the solutions to differential equations on the torus with a complete set of multivalued first integrals are considered, including the existence of an invariant measure, the averaging principle, and the infiniteness of the number of zeros for integrals of zero-mean functions along trajectories. The behavior of systems with closed trajectories of large period is studied. It is shown that a generic system acquires a limit mixing property as the periods tend to infinity.     

Linear-quadratic control and quadratic differential forms for multidimensional behaviors

This paper deals with systems described by constant coefficient linear partial differential equations (nD-systems) from a behavioral point of view. In this context we treat the linear quadratic control problem where the performance functional is the integral of a quadratic differential form. We look for characterizations of the set of stationary trajectories and of the set of local minimal trajectories with respect to compact support variations, turning out that they are equal if the system is dissipative. Finally we provide conditions for regular implementability of this set of trajectories and give an explicit representation of an optimal controller.     

Geometry of Optimal Paths around Focal Singular Surfaces in Differential Games

We investigate a special type of singularity in non-smooth solutions of first-order partial differential equations, with emphasis on Isaacs’ equation. This type, called focal manifold, is characterized by the incoming trajectory fields on the two sides and a discontinuous gradient. We provide a complete set of constructive equations under various hypotheses on the singularity, culminating with the case where no a priori hypothesis on its geometry is known, and where the extremal trajectory fields need not be collinear. We show two examples of differential games exhibiting non-collinear fields of extremal trajectories on the focal manifold, one with a transversal approach and one with a tangential approach.     

On large deviations of solutions of nonlinear stochastic equations

This paper proves the existence and uniqueness of a strong solution of quasilinear parabolic partial differential equations with white noise. It is proved that the solutions continuously depend on the trajectories of the Wiener process. The main result is exponential estimates for the probabilities of large deviations of the solutions of quasilinear parabolic equations with white noise. These probabilities are estimated via the action functional. Estimates of two types are established, a lower bound on the probability that the solution is in a neighborhood of a fixed trajectory and an upper bound on the probability of large deviation of the solution from the set of trajectories with bounded action. These results generalize the estimates established by Venttsel' and Freidlin for ordinary differential equations to the case of parabolic partial differential equations.Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 13, pp. 177–196, 1988.     

On the finite-dimensional dynamical systems with limited competition

The asymptotic behavior of dynamical systems with limited competition is investigated. We study index theory for fixed points, permanence, global stability, convergence everywhere and coexistence. It is shown that the system has a globally asymptotically stable fixed point if every fixed point is hyperbolic and locally asymptotically stable relative to the face it belongs to. A nice result is the necessary and sufficient conditions for the system to have a globally asymptotically stable positive fixed point. It can be used to establish the sufficient conditions for the system to persist uniformly and the convergence result for all orbits. Applications are made to time-periodic ordinary differential equations and reaction-diffusion equations.

     

A new approach for asymptotic stability system of the nonlinear ordinary differential equations

In this paper, we use measure theory for considering asymptotically stable of an autonomous system [1] of first order nonlinear ordinary differential equations(ODE’s). First, we define a nonlinear infinite-horizon optimal control problem related to the ODE. Then, by a suitable change of variable, we transform the problem to a finite-horizon nonlinear optimal control problem. Then, the problem is modified into one consisting of the minimization of a linear functional over a set of positive Radon measures. The optimal measure is approximated by a finite combination of atomic measures and the problem converted to a finite-dimensional linear programming problem. The solution to this linear programming problem is used to find a piecewise-constant control, and by using the approximated control signals, we obtain the approximate trajectories and the error functional related to it. Finally the approximated trajectories and error functional is used to for considering asymptotically stable of the original problem.     

Existence and global asymptotic stability of optimal trajectories for a class of infinite-horizon,nonconvex systems

Sufficient conditions for the existence of optimal trajectories and for the global asymptotic stability of these trajectories are given for a class of nonconvex and nonautonomous systems controlled over an infinite-time horizon. The concept ofG-supported trajectory is introduced. It is shown that, under some assumptions, aG-supported trajectory is overtaking and is globally asymptotically stable. The concept of overtaking trajectory has been previously defined as a notion of optimality on an infinite-time domain. For autonomous systems, under weaker conditions, one guarantees the existence of weakly overtaking trajectories. Finally, it is shown howG-supported trajectories can be obtained, and an application to the study of a pre-predator ecosystem optimally harvested is sketched.This research has been partially supported by the Canada Council, Grant No. S.741122X2, and by the Programme FCAC de la DGES, Ministère de l'Education du Québec, Québec, Canada.     

Collapse of attractors for ODEs under small random perturbations

This paper concerns comparisons between attractors for random dynamical systems and their corresponding noiseless systems. It is shown that if a random dynamical system has negative time trajectories that are transient or explode with probability one, then the random attractor cannot contain any open set. The result applies to any Polish space and when applied to autonomous stochastic differential equations with additive noise requires only a mild dissipation of the drift. Additionally, following observations from numerical simulations in a previous paper, analytical results are presented proving that the random global attractors for a class of gradient-like stochastic differential equations consist of a single random point. Comparison with the noiseless system reveals that arbitrarily small non-degenerate additive white noise causes the deterministic global attractor, which may have non-zero dimension, to ‘collapse’. Unlike existing results of this type, no order preserving property is necessary.      

On Reducibility of Systems of Linear Differential Equations with Quasiperiodic Skew-Adjoint Matrices

We prove that there exists an open set of irreducible systems in the space of systems of linear differential equations with quasiperiodic skew-adjoint matrices and fixed frequency module.     

The dynamics of a two-component fluid in the presence of capillary forces

In the present paper we study the qualitative behavior ast→∞ of the solution of the Cauchy problem for a system of equations describing a dynamics of a two-component viscous fluid. The model under consideration takes into account the mutual diffusion of the fluid components as well as their capillary interaction. We describe the ω-limit set of trajectories of the dynamical system generated by the problem. It is proved that the stationary solution of the problem, is a homogeneous stationary distribution of one of the components, is asymptotically stable. Any other stationary solution is not asymptotically stable and is even unstable if there are no close stationary solutions corresponding to a smaller energy level. Translated fromMatematicheskie Zametki, Vol. 62, No. 2, pp. 293–305, August, 1997. Translated by A. M. Chebotarev     

Tracking within a time interval on the basis of data supplied by finite observers

We solve the tracking control problem, in which one should bring a trajectory of a system of linear ordinary differential equations into a neighborhood of a trajectory of another system within a given time interval. After getting into this neighborhood, one should keep the trajectory of the first subsystem in it for a time interval of given duration. For the control synthesis, we use incomplete and imprecise information on the online deviation of one trajectory from the other, which is obtained in real time from linear equations of observation. We consider distinct structures of observers, which substantially affect the solution of control problems for such systems. The equations of dynamics and admissible measurements contain uncertainty for which one knows only some hard pointwise constraints. To solve the main problem, we use an approach that can be reduced to the construction of auxiliary information sets and weakly invariant sets with a subsequent “aiming” of one set at a tube. We suggest an efficient method for an approximate solution on the basis of ellipsoidal calculus techniques. The results of the algorithm operation are illustrated by an example of the solution of a tracking control problem for two fourth-order subsystems.     

Amplitude synchronization in a system of two coupled semiconductor lasers

We consider a system of ordinary differential equations used to describe the dynamics of two coupled single-mode semiconductor lasers. In particular, we study solutions corresponding to the amplitude synchronization. It is shown that the set of these solutions forms a three-dimensional invariant manifold in the phase space. We study the stability of trajectories on this manifold both in the tangential direction and in the transverse direction. We establish conditions for the existence of globally asymptotically stable solutions of equations on the manifold synchronized with respect to the amplitude. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 3, pp. 426–435, March, 2008.     

Estimates of solutions of some systems of differential equations with large retardation

The behavior of the solutions of differential equations with asymptotically large retardation is studied. In the case of linear systems with bounded coefficients and a class of nonlinear differential equations, estimates are derived which depend explicitly on the retardation.Translated from Matematicheskie Zametki, Vol. 6, No. 4, pp. 483–488, October, 1969.     

Numerical methods of stabilizer construction via guidance control

This work concerns guidance stabilization of non‐autonomous control systems. Global stabilization problem is usually quite complex and difficult to solve. To overcome this difficulty, guidance control is used. A guidance stabilizer uses a trajectory of a globally asymptotically stable auxiliary system as a guide. A local stabilizer keeps the trajectory of the system in a neighborhood of a solution of the auxiliary system. In this way, the trajectory of the system tends to the equilibrium position. The main idea of this method is to solve the global stabilization problem by applying local stabilization methods. The presented procedure also yields additional possibilities for the design of a stabilizer that eliminates the peak effect, that is, the large deviation of the solutions from the equilibrium position at the beginning of the stabilization process. This effect represents a serious obstacle to the design of cascade control systems and to guidance stabilization. The optimal control problem used in this paper eliminates this effect that we have when we apply known construction methods of local stabilizers to obtain a high speed of damping of the control systems trajectories. According to this approach and using ε‐strategies introduced by Pontryagin in the frame of differential games theory, the stabilizing control is constructed as a function of time defined in a small time interval and not as a feedback. An application to a mechanical stabilization problem is provided here. Copyright © 2012 John Wiley & Sons, Ltd.     

一个求解约束非线性优化问题的微分方程方法

本文构造的求解非线性优化问题的微分方程方法包括两个微分方程系统,第一个系统基于问题函数的一阶信息,第二个系统基于二阶信息．这两个系统具有性质:非线性优化问题的局部最优解是它们的渐近稳定的平衡点,并且初始点是可行点时,解轨迹都落于可行域中．我们证明了两个微分方程系统的离散迭代格式的收敛性定理和基于第二个系统的离散迭代格式的局部二次收敛性质．还给出了基于两个系统的离散迭代方法的数值算例,数值结果表明基于二阶信息的微分方程方法速度更快．     

On the representation of switched systems with inputs by perturbed control systems

This paper provides representations of switched systems described by controlled differential inclusions, in terms of perturbed control systems. The control systems have dynamics given by differential equations, and their inputs consist of the original controls together with disturbances that evolve in compact sets; their sets of maximal trajectories contain, as a dense subset, the set of maximal trajectories of the original system. Several applications to control theory, dealing with properties of stability with respect to inputs and of detectability, are derived as a consequence of the representation theorem.     

Asymptotic stability and other properties of trajectories and transfer sequences leading to the bargaining sets

The foundation of a dynamic theory for the bargaining sets started withStearns, when he constructed transfer sequences which always converge to appropriate bargaining sets. A continuous analogue was developed byBillera, where sequences where replaced by solutions of systems of differential equations. In this paper we show that the nucleolus is locally asymptotically stable both with respect toStearns' sequences andBillera's solutions if and only if it is an isolated point of the appropriate bargaining set. No other point of the bargaining set can be locally asymptotically stable. Furthermore, it is always stable in these processes. As by-products of the study we derive the results ofBillera andStearns in a different fashion. We also show that along the non-trivial trajectories and sequences, the vector of the excesses of the payoffs, arranged in a non-increasing order, always decreases lexicographically, thus each bargaining set can be viewed as resulting from a certain monotone process operating on the payoff vectors.