Positive circuits and maximal number of fixed points in discrete dynamical systems

We consider a product X of n finite intervals of integers, a map F from X to itself, the asynchronous state transition graph Γ(F) on X that Thomas proposed as a model for the dynamics of a network of n genes, and the interaction graph G(F) that describes the topology of the system in terms of positive and negative interactions between its n components. Then, we establish an upper bound on the number of fixed points for F, and more generally on the number of attractors in Γ(F), which only depends on X and on the topology of the positive circuits of G(F). This result generalizes the following discrete version of Thomas’ conjecture recently proved by Richard and Comet: If G(F) has no positive circuit, then Γ(F) has a unique attractor. This result also generalizes a result on the maximal number of fixed points in Boolean networks obtained by Aracena, Demongeot and Goles. The interest of this work in the context of gene network modeling is briefly discussed.     

A kind of nonnegative matrices and its application on the stability of discrete dynamical systems

In this paper we introduce a new kind of nonnegative matrices which is called (sp) matrices. We show that the zero solutions of a class of linear discrete dynamical systems are asymptotically stable if and only if the coefficient matrices are (sp) matrices. To determine that a matrix is (sp) matrix or not is very simple, we need only to verify that some elements of the coefficient matrices are zero or not. According to the result above, we obtain the conditions for the stability of several classes of discrete dynamical systems.     

Affine-periodic solutions for discrete dynamical systems

The paper concerns the existence of affine-periodic solutions for discrete dynamicalsystems. This kind of solutions might be periodic, harmonic, quasi-periodic, even non-periodic.We prove the existence of affine-periodic solutions for discrete dynamical systems by using thetheory of Brouwer degree. As applications, another existence theorem is given via Lyapnovfunction.     

Weak shadowing for discrete dynamical systems on nonsmooth manifolds

In J. Math. Anal. Appl. 189 (1995) 409-423, Corless and Pilyugin proved that weak shadowing is a C⁰ generic property in the space of discrete dynamical systems on a compact smooth manifold M. In our paper we give another proof of this theorem which does not assume that M has a differential structure. Moreover, our method also works for systems on some compact metric spaces that are not manifolds, such as a Hilbert cube (or generally, a countably infinite Cartesian product of manifolds with boundary) and a Cantor set.     

Local negative circuits and fixed points in non-expansive Boolean networks

Given a Boolean function F:{0,1}ⁿ→{0,1}ⁿ, and a point x in {0,1}ⁿ, we represent the discrete Jacobian matrix of F at point x by a signed directed graph G_F(x). We then focus on the following open problem: Is the absence of a negative circuit in G_F(x) for every x in {0,1}ⁿ a sufficient condition for F to have at least one fixed point? As result, we give a positive answer to this question under the additional condition that F is non-expansive with respect to the Hamming distance.     

Necessary conditions for the invertibility of linear discrete dynamical systems

We study conditions under which the inversion problem for a linear discrete dynamical system is well posed, i.e., its solution exists and is unique.     

Generalized synchronization of two bidirectionally coupled discrete dynamical systems

Based on the modified system approach the generalized synchronization (GS) in two bidirectionally coupled discrete dynamical systems is classified into several types, and under some conditions, the existence, Lipschitz smoothness and Hölder continuity of two kinds of GS therein are derived and theoretically proved. In addition, numerical simulations validate the present theory.     

Structural properties of universal minimal dynamical systems for discrete semigroups

We show that for a discrete semigroup there exists a uniquely determined complete Boolean algebra - the algebra of clopen subsets of . is the phase space of the universal minimal dynamical system for and it is an extremally disconnected compact Hausdorff space. We deal with this connection of semigroups and complete Boolean algebras focusing on structural properties of these algebras. We show that is either atomic or atomless; that is weakly homogenous provided has a minimal left ideal; and that for countable semigroups is semi-Cohen. We also present a class of what we call group-like semigroups that includes commutative semigroups, inverse semigroups, and right groups. The group reflection of a group-like semigroup can be constructed via universal minimal dynamical system for and, moreover, and are the same.

     

Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework

To each Boolean function and each x{0,1}ⁿ, we associate a signed directed graph G(x), and we show that the existence of a positive circuit in G(x) for some x is a necessary condition for the existence of several fixed points in the dynamics (the sign of a circuit being defined as the product of the signs of its edges), and that the existence of a negative circuit is a necessary condition for the existence of an attractive cycle. These two results are inspired by rules for discrete models of genetic regulatory networks proposed by the biologist R. Thomas. The proof of the first result is modelled after a recent proof of the discrete Jacobian conjecture.     

On the global periodicity of discrete dynamical systems and application to rational difference equations

A new necessary condition for global periodicity of discrete dynamical systems and of difference equations is obtained here. This condition will be applied to contribute to solving the problem of global periodicity for second order rational difference equations.     

A discrete dynamical system as a model of a neural network with generalized Hebbian synapses

We study the dynamical behavior of a discrete time dynamical system which can serve as a model of a learning process. We determine fixed points of this system and basins of attraction of attracting points. This system was studied by Fernanda Botelho and James J. Jamison in [A learning rule with generalized Hebbian synapses, J. Math. Anal. Appl. 273 (2002) 529-547] but authors used its continuous counterpart to describe basins of attraction.     

Necessary conditions for optimization in multiparameter discrete systems

A general first-order dynamic representation for discrete systems with several independent variables is proposed, based on the Dieudonné-Rashevsky form for partial differential equations. This representation does not restrict consideration to causal systems. A minimum principle for such systems is proved, thus extending results known for discrete-time systems to the case of several independent variables. The proof requires only the classical implicit function theorem.     

Spectral decomposition theorem in equicontinuous nonautonomous discrete dynamical systems

In this paper, we define the notion of weak chain recurrence and study properties of weak chain recurrent sets in a nonautonomous discrete dynamical system induced by a sequence of homeomorphisms on a compact metric space. Our main result is the Smale’s spectral decomposition theorem in an equicontinuous nonautonomous discrete dynamical system.     

Necessary conditions of asymptotic stability for unilateral dynamical systems

In this paper, we develop a mathematical tool that can be used to state necessary conditions of asymptotic stability of isolated stationary solutions of a class of unilateral dynamical systems. More precisely, nonlinear evolution variational inequalities are considered. Instability criteria are also given. Applications can be found in mechanics or electrical circuits.     

Necessary and sufficient conditions for discrete and differential inclusions of elliptic type

This paper deals for the first time with the Dirichlet problem for discrete (PD), discrete approximation problem on a uniform grid and differential (PC) inclusions of elliptic type. In the form of Euler-Lagrange inclusion necessary and sufficient conditions for optimality are derived for the problems under consideration on the basis of new concepts of locally adjoint mappings. The results obtained are generalized to the multidimensional case with a second order elliptic operator.