Disguised toric dynamical systems

We study families of polynomial dynamical systems inspired by biochemical reaction networks. We focus on complex balanced mass-action systems, which have also been called toric. They are known or conjectured to enjoy very strong dynamical properties, such as existence and uniqueness of positive steady states, local and global stability, persistence, and permanence. We consider the class of disguised toric dynamical systems, which contains toric dynamical systems, and to which all dynamical properties mentioned above extend naturally. By means of (real) algebraic geometry we show that some reaction networks have an empty toric locus or a toric locus of Lebesgue measure zero in parameter space, while their disguised toric locus is of positive measure. We also propose some algorithms one can use to detect the disguised toric locus.     

Symmetry breaking, bifurcations, periodicity and chaos in the Euler method for a class of delay differential equations

A discrete model is proposed to explore the rich dynamics of nonlinear delayed systems under Euler discretization, such as multiple steady states, multiple bifurcations, complex periodic oscillations, and chaos.     

Sufficient conditions for robust stability of large-scale dynamical systems including delayed states and parameter perturbations in interconnections

The problem of the robust stability of large-scale dynamical systems including delayed states and parameter perturbations in interconnections is considered. By using algebraic Riccati equations and some analytical methods, some sufficient conditions on linear decentralized state feedback controllers are derived so that the systems remain stable in the presence of delayed states and parameter perturbations. Such conditions give some bounds on the perturbations of interconnections with delayed states and uncertain parameters, and result in a quantitative measures of robustness for large-scale dynamical systems including delayed states and uncertain parameters in interconnections. The results obtained in this paper are applicable not only to large-scale systems with multiple time-varying delays, but also to large-scale systems without exact knowledge of the delays, i.e., large-scale systems with uncertain delays.     

Designing torus-doubling solutions to discrete time systems by hybrid projective synchronization

Doubling of torus occurs in high dimensional nonlinear systems, which is related to a certain kind of typical second bifurcations. It is a nontrivial task to create a torus-doubling solution with desired dynamical properties based on the classical bifurcation theories. In this paper, dead-beat hybrid projective synchronization is employed to build a novel method for designing stable torus-doubling solutions into discrete time systems with proper properties to achieve the purpose of utilizing bifurcation solutions as well as avoiding the possible conflict of physical meaning of the created solution. Although anti-controls of bifurcation and chaos synchronizations are two different topics in nonlinear dynamics and control, the results imply that it is possible to develop some new interdisciplinary methods between chaos synchronization and anti-controls of bifurcations.     

On stability and stabilization of some discrete dynamical systems

The paper formulates effective and nonimprovable stability conditions for a linear difference system involving 2 integer delays. The used technique combines algorithm of the discrete D‐decomposition method with some procedures of the polynomial theory. Contrary to the related existing results, the derived conditions are fully explicit with respect to both delays, which enables their simple applicability in various scientific and engineering areas. As an illustration, we show their importance in delayed feedback controls of discrete dynamical systems, with a particular emphasis put on stabilization of unstable steady states of the discrete logistic map.     

Sigma map dynamics and bifurcations

Some interesting variants of walking droplet based discrete dynamical bifurcations arising from diffeomorphisms are analyzed in detail. A notable feature of these new bifurcations is that, like Smale horseshoes, they can be represented by simple geometric paradigms, which markedly simplify their analysis. The two-dimensional diffeomorphisms that produce these bifurcations are called sigma maps or double sigma maps for reasons that are made manifest in this investigation. Several examples are presented along with their dynamical simulations.     

Algebraic approach for the exploration of the onset of chaos in discrete nonlinear dynamical systems

An algebraic approach based on the rank of a sequence is proposed for the exploration of the onset of chaos in discrete nonlinear dynamical systems. The rank of the partial solution is identified and a special technique based on Hankel matrices is used to decompose the solution into algebraic primitives comprising roots of the modified characteristic equation. The distribution of roots describes the dynamical complexity of a solution and is used to explore properties of the nonlinear system and the onset of chaos.     

On the bifurcation analysis of a food web of four species

This paper is concerned with bifurcations of equilibria and the chaotic dynamics of a food web containing a bottom prey X, two competing predators Y and Z on X, and a super-predator W only on Y. Conditions for the existence of all equilibria and the stability properties of most equilibria are derived. A two-dimensional bifurcation diagram with the aid of a numerical method for identifying bifurcation curves is constructed to show the bifurcations of equilibria. We prove that the dynamical system possesses a line segment of degenerate steady states for the parameter values on a bifurcation line in the bifurcation diagram. Numerical simulations show that these degenerate steady states can help to switch the stabilities between two far away equilibria when the system crosses this bifurcation line. Some observations concerned with chaotic dynamics are also made via numerical simulations. Different routes to chaos are found in the system. Relevant calculations of Lyapunov exponents and power spectra are included to support the chaotic properties.     

Observability of the discrete state for dynamical piecewise hybrid systems

In this paper, we deal with the observability of piecewise-affine hybrid systems. Our aim is to give sufficient conditions to observe the discrete and continuous states, in terms of algebraic and geometrical conditions. Firstly, we will give the algebraic conditions to observe the discrete state based on the switch function reconstruction for linear hybrid systems. Secondly, we will give a geometrical condition based on the transversality concept for nonlinear hybrid systems. Throughout this paper, we illustrate our propositions with examples and simulations.     

Convergence of approximate attractors for a fully discrete system for reaction-diffusion equations

The reaction-diffusion equations are approximated by a fully discrete system: a Legendre-Galerkin approximation for the space variables and a semi-implicit scheme for the time integration. The stability and the convergence of the fully discrete system are established. It is also shown that, under a restriction on the space dimension and the growth rate of the nonlinear term, the approximate attractors of the discrete finite dimensional dynamical systems converge to the attractor of the original infinite dimensional dynamical systems. An error estimate of optimal order is derived as well without any further regularity assumption.     

A thermodynamically consistent numerical method for a phase field model of solidification

A discretization is presented for the initial boundary value problem of solidification as described in the phase-field model developed by Penrose and Fife (1990) [1] and Wang et al. (1993) [2]. These are models that are completely derived from the laws of thermodynamics, and the algorithms that we propose are formulated to strictly preserve them. Hence, the discrete solutions obtained can be understood as discrete dynamical systems satisfying discrete versions of the first and second laws of thermodynamics. The proposed methods are based on a finite element discretization in space and a midpoint-type finite-difference discretization in time. By using so-called discrete gradient operators, the conservation/entropic character of the continuum model is inherited in the numerical solution, as well as its Lyapunov stability in pure solid/liquid equilibria.     

Box dimension of Neimark–Sacker bifurcation

In this article we show how a change of a box dimension of orbits of two-dimensional discrete dynamical systems is connected to their bifurcations in a non-hyperbolic fixed point. This connection is already shown in the case of one-dimensional discrete dynamical systems and Hopf bifurcation for continuous systems. Namely, at the bifurcation point the box dimension changes from zero to a certain positive value which is connected to the appropriate bifurcation. We study a two-dimensional discrete dynamical system with only one multiplier on the unit circle, and show a result for the box dimension of an orbit on the centre manifold. We also consider a planar discrete system undergoing a Neimark–Sacker bifurcation. It is shown that box dimension depends on the order of non-degeneracy at the non-hyperbolic fixed point and on the angle–displacement map. As it was expected, we prove that the box dimension is different in the rational and irrational case.     

Recurrence and symmetry of time series: Application to transition detection

The study of transitions in low dimensional, nonlinear dynamical systems is a complex problem for which there is not yet a simple, global numerical method able to detect chaos–chaos, chaos–periodic bifurcations and symmetry-breaking, symmetry-increasing bifurcations. We present here for the first time a general framework focusing on the symmetry concept of time series that at the same time reveals new kinds of recurrence. We propose several numerical tools based on the symmetry concept allowing both the qualification and quantification of different kinds of possible symmetry. By using several examples based on periodic symmetrical time series and on logistic and cubic maps, we show that it is possible with simple numerical tools to detect a large number of bifurcations of chaos–chaos, chaos–periodic, broken symmetry and increased symmetry types.     

Attractivity,multistability, and bifurcation in delayed Hopfieldʼs model with non-monotonic feedback

For a system of delayed neural networks of Hopfield type, we deal with the study of global attractivity, multistability, and bifurcations. In general, we do not assume monotonicity conditions in the activation functions. For some architectures of the network and for some families of activation functions, we get optimal results on global attractivity. Our approach relies on a link between a system of functional differential equations and a finite-dimensional discrete dynamical system. For it, we introduce the notion of strong attractor for a discrete dynamical system, which is more restrictive than the usual concept of attractor when the dimension of the system is higher than one. Our principal result shows that a strong attractor of a discrete map gives a globally attractive equilibrium of a corresponding system of delay differential equations. Our abstract setting is not limited to applications in systems of neural networks; we illustrate its use in an equation with distributed delay motivated by biological models. We also obtain some results for neural systems with variable coefficients.     

A non-standard finite difference scheme for a diffusive HBV infection model with capsids and time delay

In this paper, a non-standard finite difference (NSFD) scheme for a delayed diffusive hepatitis B virus (HBV) infection model with intracellular HBV DNA-containing capsids is proposed. Dynamic consistency of this NSFD scheme is achieved by showing that the scheme preserves the non-negativity and boundedness of the solutions and the global stability of the homogeneous steady states of the corresponding continuous model without any restriction on spatial and temporal grid sizes. We prove the global stability of the steady states by constructing suitable discrete Lyapunov functions.     

About the stochastic and continuous Petri nets equivalence in the long run

Reliability analysis is often based on stochastic discrete event models like stochastic Petri nets (SPNs). For large dynamical systems with numerous components, the analytical expression of the SPNs steady state is full of complexities because of the combinatory explosion with discrete models. Moreover, the estimation of mean markings thanks to simulations is time consuming in case of rare events. For these reasons, Petri net fluidification may be an interesting alternative to provide a reasonable estimate of the asymptotic behavior of stochastic processes. Unfortunately, the steady states of SPNs and timed continuous Petri nets (contPNs) with the same structure, same initial marking and same firing rates are mainly often different. The region of SPN steady states (when firing rates are defined in a polyhedral area) contrasts with that of contPN ones. The purpose of this paper is to illuminate this issue in taking advantage of the piecewise-affine hybrid structure of contPNs. Regions and critical regions are defined in the marking space in order to characterize this structure. Based on this characterization, the main contribution is to propose a transformation of the considered SPN into a contPN with the same structure, modified firing rates and homothetic initial marking so that the corrected contPN converges partially to the same mean marking than the SPN. Consequently, a global understanding of an SPN steady state can be obtained according to the corrected contPN.     

Symmetry-Breaking Bifurcations of Wreath Product Systems

Summary. Patterns formed through steady-state and Hopf bifurcations in wreath product systems depend on both the internal and global symmetries. In this paper we explore some features of this dependence related to general constraints on commuting matrices. We describe the stability of steady states and periodic solutions of wreath product systems obtained from the Equivariant Branching Lemma and the Equivariant Hopf Theorem. Received April 14, 1998; revised October 22, 1998; accepted November 16, 1998     

非线性时变离散系统的渐近稳定性

本文利用文[1]中的Gauss-Seidel迭代方法来研究非线性时变离散系统的渐近稳定性,得到了渐近稳定性的若干代数判据,为离散系统稳定性的研究提供了一种新的方法。     

Dynamics in numerics: on two different finite difference schemes for ODEs

We compare two finite difference schemes for Kolmogorov type of ordinary differential equations: Euler's scheme (a derivative approximation scheme) and an integral approximation (IA) scheme, from the view point of dynamical systems. Among the topics we investigate are equilibria and their stability, periodic orbits and their stability, and topological chaos of these two resulting nonlinear discrete dynamical systems.     

On spectral decompositions of solutions to discrete Lyapunov equations

A new approach to solving discrete Lyapunov matrix algebraic equations is based on methods for spectral decomposition of their solutions. Assuming that all eigenvalues of the matrices on the left-hand side of the equation lie inside the unit disk, it is shown that the matrix of the solution to the equation can be calculated as a finite sum of matrix bilinear quadratic forms made up by products of Faddeev matrices obtained by decomposing the resolvents of the matrices of the Lyapunov equation. For a linear autonomous stochastic discrete dynamic system, analytical expressions are obtained for the decomposition of the asymptotic variance matrix of system’s states.