Trace maps as 3D reversible dynamical systems with an invariant

One link between the theory of quasicrystals and the theory of nonlinear dynamics is provided by the study of so-called trace maps. A subclass of them are mappings on a one-parameter family of 2D surfaces that foliate ³ (and also ³). They are derived from transfer matrix approaches to properties of 1D quasicrystals. In this article, we consider various dynamical properties of trace maps. We first discuss the Fibonacci trace map and give new results concerning boundedness of orbits on certain subfamilies of its invariant 2D surfaces. We highlight a particular surface where the motion is integrable and semiconjugate to an Anosov system (i.e., the mapping acts as a pseudo-Anosov map). We identify properties of symmetry and reversibility (time-reversal symmetry) in the Fibonacci trace map dynamics and discuss the consequences for the structure of periodic orbits. We show that a conservative period-boubling sequence can be identified when moving through the one-parameter family of 2D surfaces. By using generator trace maps, in terms of which all trace maps obtained from invertible two-letter substitution rules can be expressed, we show that many features of the Fibonacci trace map hold in general. The role of the Fricke character , its symmetry group, and reversibility for the Nielsen trace maps are described algebraically. Finally, we outline possible higher-dimensional generalizations.     

Hierarchy of rational order families of chaotic maps with an invariant measure

We introduce an interesting hierarchy of rational order chaotic maps that possess an invariant measure. In contrast to the previously introduced hierarchy of chaotic maps [1–5], with merely entropy production, the rational order chaotic maps can simultaneously produce and consume entropy. We compute the Kolmogorov-Sinai entropy of these maps analytically and also their Lyapunov exponent numerically, where the obtained numerical results support the analytical calculations.     

Synthesizing chaotic maps with prescribed invariant densities

The Inverse Frobenius–Perron Problem (IFPP) concerns the creation of discrete chaotic mappings with arbitrary invariant densities. In this Letter, we present a new and elegant solution to the IFPP, based on positive matrix theory. Our method allows chaotic maps with arbitrary piecewise-constant invariant densities, and with arbitrary mixing properties, to be synthesized.     

Algorithmic information for interval maps with an indifferent fixed point and infinite invariant measure

Measuring the average information that is necessary to describe the behavior of a dynamical system leads to a generalization of the Kolmogorov-Sinai entropy. This is particularly interesting when the system has null entropy and the information increases less than linearly with respect to time. We consider a class of maps of the interval with an indifferent fixed point at the origin and an infinite natural invariant measure. We show that the average information that is necessary to describe the behavior of the orbits increases with time n approximately as nalpha, where alpha < 1 depends only on the asymptotic behavior of the map near the origin.     

The invariant densities for maps modeling intermittency

For a one-parameter family of maps modeling intermittency the explicit formula of the invariant density is presented.     

Dimensions of invariant sets of expanding maps

We consider a compact invariant set of an expanding map of a manifoldM and give upper and lowerbounds for the Hausdorff Dimension dim _H (), and box dimensionsdim _B () and dim _B (). These bounds are given in terms of the topological entropy, topological pressure, and uniform Lyapunov exponents of the map.A measure-theoretic version of these results is also included.Part of this work was done when I was in the Department of Mathematics, University of Arizona.     

Lyapunov exponent for chaotic 1D maps with uniform invariant distribution

Some properties of iterative functions of 1D chaotic maps that provide uniform invariant distribution are formulated. A method for synthesizing strictly nonlinear maps with uniform invariant distribution is demonstrated. The Lyapunov exponents for such maps are analyzed and it is shown that, among the maps with a specified number of full branches, piecewise linear maps with branches characterized by equal moduli of angular coefficients have the maximum Lyapunov exponent.     

Computing the invariant density of bistable noisy maps

A numerical method is presented allowing the computation of the invariant density of a time-discrete bi- or multistable map perturbed by weak noise. It permits the examination of noise-induced transitions between different stable states in the limit of weak but not amplitude-limited noise. The method is tested by comparing the results with computer experiments. For this purpose a new one-parameter family of bistable maps is introduced. It turns out that the numerics are in good agreement with the experiments. The results suggest the conjecture that in the limit of weak but transition-inducing noise the probability of being in one basin of attraction approaches one. A simple example which can be solved in closed form and which illustrates these findings is discussed.     

Polynomial invariant measures for maps on the unit interval

A class of polynomial solutions is found for a functional equation which certain invariant measures must satisfy. These solutions exist only for specific values of the parameter of the triangular map on the unit interval. Using this fact, a method is proposed for approximating the invariant measures for the standard quadratic map.     

Intersection properties of invariant manifolds in certain twist maps

We consider the spaceN ofC ² twist maps that satisfy the following requirements. The action is the sum of a purely quadratic term and a periodic potential times a constantk (hereafter called the nonlinearity). The potential restricted to the unit circle is bimodal, i.e. has one local minimum and one local maximum. The following statements are proven for maps inN with nonlinearityk large enough. The intersection of the unstable and stable invariant manifolds to the hyperbolic minimizing periodic points contains minimizing homoclinic points. Consider two finite pieces of these manifolds that connect two adjacent homoclinic minimizing points (hereafter called fundamental domains). We prove that all such fundamental domains have precisely one point in their intersection (the Single Intersection theorem). In addition, we show that limit points of minimizing points are recurrent, which implies that Aubry Mather sets (with irrational rotation number) are contained in diamonds formed by local stable and unstable manifolds of nearby minimizing periodic orbits (the Diamond Configuration theorem). Another corollary concerns the intersection of the minimax orbits with certain symmetry lines of the map.     

Subexponential instability in one-dimensional maps implies infinite invariant measure

We characterize dynamical instability of weak chaos as subexponential instability. We show that a one-dimensional, conservative, ergodic measure preserving map with subexponential instability has an infinite invariant measure, and then we present a generalized Lyapunov exponent to characterize subexponential instability.     

Quasi-genericity of bifurcations to high dimensional invariant tori for maps

We consider a family of maps in a Banach spaceE near the situation when the derivative at the fixed point has two pairs of complex eigenvalues lying on the unit circle, the other part of the spectrum being strictly inside the unit disc. We focus our attention on the region of the parameter space where the truncated normal form of the maps shows a bifurcation of a family of invariantT ¹-circles into a family of invariantT ²-tori. We show that this problem needs a 3 dimensional parameter unfolding and that, for the complete maps, bifurcation occurs at points _,, where is the rotation number on the non-normally hyperbolicT ¹-circle, ande ^±2i are the eigenvalues of the constant matrix conjugated to the non-contracting part of the linearization on the normal fiber bundle overT ¹. Making some non-resonance and diophantine assumptions on (, ) leading to a positive measure Cantor set inT ², we show that in paraboloïdal regions of the 3 dim. parameter space we have clean bifurcations as for the truncated normal form. The complement of these regions forms a set of bubbles such as the ones obtained by Chenciner in [Chen] for a codimension 2 problem for maps in ². The main tool here is a generalization for a matrix function onT ¹, close to a constant, of the quasi-conjugacy to a constant, modulo a minimum of additional parameters (moved quasi-conjugacy). For the infinite dimensional case we use aC decoupling result on the angular dependent linear parts into a contraction, still angular dependent, and another part quasi-conjugated to a constant matrix. This type of analysis applies for a wide range of problems, where truncated normal forms of the maps give bifurcations fromT ⁿ toT ⁿ⁺¹ tori, and this needs a (n+1)-dimensional parameter unfolding.We gratefully acknowledge the DRET (contrat 86/1445) who supported one of the authors (J.L.) during this work. This research has been also supported by the E.E.C. contract No. ST 2J-0316-C (EDB) on Mathematical problems in nonlinear Mechanics     

On the invariant sets of a family of quadratic maps

The Julia setB for the mappingz (z–)² is considered, where is a complex parameter. For 2 a new upper bound for the Hausdorff dimension is given, and the monic polynomials orthogonal with respect to the equilibrium measure onB are introduced. A method for calculating all of the polynomials is provided, and certain identities which obtain among coefficients of the three-term recurrence relations are given. A unifying theme is the relationship betweenB and -chains ± (± (± ...), which is explored for –1/42 and for with ||1/4, with the aid of the Böttcher equation. ThenB is shown to be a Hölder continuous curve for ||<1/4.Supported by NSF Grant MCS-8104862Supported by NSF Grant MCS-8002731     

Absolutely continuous invariant measures for one-parameter families of one-dimensional maps

Given a one-parameter familyf (x) of maps of the interval [0, 1], we consider the set of parameter values for whichf has an invariant measure absolutely continuous with respect to Lebesgue measure. We show that this set has positive measure, for two classes of maps: i)f (x)=f(x) where 0<4 andf(x) is a functionC ³-near the quadratic mapx(1–x), and ii)f (x)=f(x) (mod 1) wheref isC ³,f(0)=f(1)=0 andf has a unique nondegenerate critical point in [0, 1].     

Lorentz invariance with an invariant energy scale

We propose a modification of special relativity in which a physical energy, which may be the Planck energy, joins the speed of light as an invariant, in spite of a complete relativity of inertial frames and agreement with Einstein's theory at low energies. This is accomplished by a nonlinear modification of the action of the Lorentz group on momentum space, generated by adding a dilatation to each boost in such a way that the Planck energy remains invariant. The associated algebra has unmodified structure constants. We also discuss the resulting modifications of field theory and suggest a modification of the equivalence principle which determines how the new theory is embedded in general relativity.     

Two-dimensional gravity with an invariant energy scale

We investigate the gauging of a two-dimensional deformation of the Poincaré algebra, which accounts for the existence of an invariant energy scale. The model describes 2D dilaton gravity with torsion. We obtain explicit solutions of the field equations and discuss their physical properties.     

Bifurcations from an invariant circle for two-parameter families of maps of the plane: A computer-assisted study

We consider a two-parameter family of maps of the plane to itself. Each map has a fixed point in the first quadrant and is a diffeomorphism in a neighborhood of this point. For certain parameter values there is a Hopf bifurcation to an invariant circle, which is smooth for parameter values in a neighborhood of the bifurcation point. However, computer simulations show that the corresponding invariant set fails to be even topologically a circle for parameter values far from the bifurcation point. This paper is an attempt to elucidate some of the mechanisms involved in this loss of smoothness and alteration of topological type.     

Global attractors and invariant measures for non-invertible planar piecewise isometric maps

The authors investigate dynamical behaviors of discrete systems defined by iterating non-invertible planar piecewise isometries, which are piecewisely defined maps that preserve Euclidean distance. After discussing subtleties for these kind of dynamical systems, they have characterized global attractors via invariant measures and via positive continuous functions on phase space. The main result of this Letter is that a compact set A is the global attractor for a piecewise isometry if and only if the Lebesgue measure restricted to A is invariant, while it is not invariant restricted to any measurable set B which contains A and whose Lebesgue measure is strictly larger than that of A.     

Perturbation series for calculation of invariant surface splitting in volume-preserving maps

The invariant surface splittings for small perturbation are described for two-dimensional and three-dimensional sample volume-preserving maps by explicit analytic expressions obtained from perturbation series for the self-adjoint operator related to the Frobenius-Perron operator.     

Induced maps,Markov extensions and invariant measures in one-dimensional dynamics

A way to study ergodic and measure theoretic aspects of interval maps is by means of the Markov extension. This tool, which ties interval maps to the theory of Markov chains, was introduced by Hofbauer and Keller. More generally known are induced maps, i.e. maps that, restricted to an element of an interval partition, coincide with an iterate of the original map.We will discuss the relation between the Markov extension and induced maps. The main idea is that an induced map of an interval map often appears as a first return map in the Markov extension. For S-unimodal maps, we derive a necessary condition for the existence of invariant probability measures which are absolutely continuous with respect to Lebesgue measure. Two corollaries are given.