where β = β(β−1)−1, M ∈ N∪{∞}, and l0, l1, . . . is a uniquely determined (finite or infinite) sequence of non-negative integers (cf. [2]). Analogously to other types of expansions we may ask for bases β such that the set of numbers with periodic or even finite representation is as large as possible. In particular, we say that Tβ satisfies the periodicity property (P) if the orbit (T β (x))n≥1 ...

We study some dynamical properties of skew products of Hénon maps of C2 that are fibered over a compact metric space M . The problem reduces to understanding the dynamical behavior of the composition of a pseudorandom sequence of Hénon mappings. In analogy with the dynamics of the iterates of a single Hénon map, it is possible to construct fibered Green functions that satisfy suitable invarianc...

Studies on the dynamical properties of the σ meson are reviewed and discussed. The important role of fundamental principles such as analyticity, unitarity and crossing symmetry played in the studies are stressed.

We investigate the dynamical properties of an associative memory network consisting of stochastic neurons and dynamic synapses that show short-term depression and facilitation. In the stochastic neuron model used in this study, the efficacy of the synaptic transmission changes according to the short-term depression or facilitation mechanism. We derive a macroscopic mean field model that capture...

Basic results in the rigorous theory of weighted dynamical zeta functions or dynamically defined generalized Fredholm determinants are presented. Analytic properties of the zeta functions or determinants are related to statistical properties of the dynamics via spectral properties of dynamical transfer operators, acting on Banach spaces of observables.

Lyapunov exponents represent important quantities to characterize the properties of dynamical systems. We show that the Lyapunov exponents of two di€erent dynamical systems that can be converted to each other by a transformation of variables are identical. Moreover, we derive sucient conditions on the transformation for this invariance property to hold. In particular, it turns out that the tra...

We study the dynamical behavior of the discontinuous Galerkin finite element method for initial value problems in ordinary differential equations. We make two different assumptions which guarantee that the continuous problem defines a dissipative dynamical system. We show that, under certain conditions, the discontinuous Galerkin approximation also defines a dissipative dynamical system and we ...

In this paper we introduce the concept of Box Invariance for dynamical systems. The notion has been inspired by experience with models drawn from Biology; in fact, we claim that Box Invariance is a characteristic of many biologically-inspired dynamical models. Moreover, Box Invariance property turns out to be quite useful for formally verifying safety properties of dynamical systems. Effective ...

We define a generic algorithmic framework to prove pure discrete spectrum for the substitutive symbolic dynamical systems associated with some infinite families of Pisot substitutions. We focus on the families obtained as finite products of the three-letter substitutions associated with the multidimensional continued fraction algorithms of Brun and Jacobi-Perron. Our tools consist in a reformul...

Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has often been claimed that hybrid systems are more challenging than continuous dynamical systems and than discrete systems. We now show that, proof-theoretically, this is not the case. We present a complete proof-theoretical al...