On the existence of invariant,absolutely continuous measures

Let (, , ) be a measure space with normalized measure,f: a nonsingular transformation. We prove: there exists anf-invariant normalized measure which is absolutely continuous with respect to if and only if there exist >0, and , 0<<1, such that (E)< implies (f ^–k(E))< for allk0.     

The projection method for computing multidimensional absolutely continuous invariant measures

We present an algorithm for numerically computing an absolutely continuous invariant measure associated with a piecewiseC ² expanding mappingS: on a bounded region R ^N. The method is based on the Galerkin projection principle for solving an operator equation in a Banach space. With the help of the modern notion of functions of bounded variation in multidimension, we prove the convergence of the algorithm.     

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     

Existence of many ergodic absolutely continuous invariant measures for piecewise-expandingC 2 chaotic transformations in ℝ2 on a fixed number of partitions

Let Ω be a region in ℝⁿ and letp = P_i ) _i ^1m , be a partition ofΩ into a finite number of closed subsets having piecewise C² boundaries of finite(n - 1 )dimensional measure. Let τ:Ω→Ω be piecewise C² onP where, τ_i = τ|p_i is aC ² diffeomorphism onto its image, and expanding in the sense that there exists α > 1 such that for anyi = 1, 2,...,m ‖Dτ_i ^-1 ‖ < α^-1, where Dτ_i ^-1 is the derivative matrixτ _i ^- 1 and |‖·‖ is the Euclidean matrix norm. By means of an example, we will show that the simple bound of one-dimensional dynamics cannot be generalized to higher dimensions. In fact, we will construct a piecewise expanding C² transformation on a fixed partition with a finite number of elements in ℝ², but which has an arbitrarily large number of ergodic, absolutely continuous invariant measures     

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].     

Symmetries and invariant solutions of absolutely unstable media equations

An algorithm for constructing fundamental solutions by using symmetries is proposed. The symmetries and the periodic invariant solutions of absolutely unstable media equations are found.     

Exploring invariant sets and invariant measures

We propose a method to explore invariant measures of dynamical systems. The method is based on numerical tools which directly compute invariant sets using a subdivision technique, and invariant measures by a discretization of the Frobenius-Perron operator. Appropriate visualization tools help to analyze the numerical results and to understand important aspects of the underlying dynamics. This will be illustrated for examples provided by the Lorenz system. (c) 1997 American Institute of Physics.     

Purely absolutely continuous spectrum for almost Mathieu operators

Using a recent result of Sinai, we prove that the almost Mathieu operators acting onl ²(), (l _Y, )(n) = (l+1)+(l–)+ cos(n+) (n) have a purely absolutely continuous spectrum for almost all a provided that is a good irrational and is sufficiently small. Furthermore, the generalized eigen-functions are quasiperiodic.     

A-entropy for spectrally absolutely continuous observables

In this paper the notion of entropy of a density operator with respect to spectrally absolutely continuous observable is investigated. The concept of such an entropy is introduced and various possibilities of defining it are discussed. These entropies are examined with regard to their usual properties. We show that this kind of entropy increases after measurement of an observable with a continuous spectrum in the sense of von Neumann and assumes its maximum on a Gaussian state.     

Trace class perturbations and the absence of absolutely continuous spectra

We show that various Hamiltonians and Jacobi matrices have no absolutely continuous spectrum by showing that under a trace class perturbation they become a direct sum of finite matrices.Research partially funded under NSF grant number DMS-8801918Dedicated to Roland Dobrushin     

Absence of absolutely continuous spectrum of Floquet operators

The spectrum of the Floquet operator associated with time-periodic perturbations of discrete Hamiltonians is considered. If the gap between successive eigenvalues _j of the unperturbed Hamiltonian grows as _j - _j-1 j and the multiplicity of _j grows asj with >0 asj tends to infinity, then the corresponding Floquet operator possesses no absolutely continuous spectrum provided the perturbation is smooth enough.     

On the approximation of invariant measures

Given a discrete dynamical system defined by the map :X X, the density of the absolutely continuous (a.c.) invariant measure (if it exists) is the fixed point of the Frobenius-Perron operator defined on L¹(X). Ulam proposed a numerical method for approximating such densities based on the computation of a fixed point of a matrix approximation of the operator. T. Y. Li proved the convergence of the scheme for expanding maps of the interval. G. Keller and M. Blank extended this result to piecewise expanding maps of the cube in ⁿ. We show convergence of a variation of Ulam's scheme for maps of the cube for which the Frobenius-Perron operator is quasicompact. We also give sufficient conditions on for the existence of a unique fixed point of the matrix approximation, and if the fixed point of the operator is a function of bounded variation, we estimate the convergence rate.     

On the invariant measures for the two-dimensional euler flow

It is proven that the canonical Gibbs measure associated with a gas of vortices of intensity ± converges, in the limitN, 0,Nconst, to a Gaussian measure, which is invariant for the two-dimensional Euler equation.On leave from Dipartimento di Matematica Università di Roma Tor Vergata Roma, Italy.On leave from Dipartimento di Matematica Università di Roma La Sapienza, Roma, Italy.     

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.     

On the number of invariant measures for higher-dimensional chaotic transformations

LetS be a bounded region inR ^N and letP={S _l } _i=1 ^m be a partition ofS into a finite number of closed subsets having piecewiseC ² boundaries of finite (N–1)-dimensional measure. Let :SS be piecewiseC ² onP and expanding in the sense that there exists 0<<1 such that for anyi=1,2,...,m, DT _i ^–1<, whereDT _i ^–1 is the derivative matrix ofT _i ^–1 and · is the Euclidean matrix norm. We prove that for some classes of such mappings, for example, Jabtonski transformations or convexity-preserving transformations, the number of crossing points constitutes a bound for the number of ergodic absolutely continuous -invariant measures. We give examples showing that in general the simple bound of one-dimensional dynamics cannot be generalized to higher dimensions. In fact, we show that it is possible to construct piecewise expandingC ² transformations on a fixed partition with a finite number of elements but which have an arbitrarily large number of ergodic, absolutely continuous invariant measures.     

On a theorem of Titchmarsh-Neumark-Walter concerning absolutely continuous operators

We state and prove an extended version of a theorem of Titchmarsh-Neumark-Walter concerning absolutely continuous operators. Our proof is different, in fact, first we state a set of abstract criteria for absolute continuity. Then we illustrate how the JWKB-approximation method can be applied to verify this set of abstract criteria. This verification depends on detailed estimates that we shall prove in the second half of this paper.     

Scaling laws for invariant measures on hyperbolic and nonhyperbolic atractors

The analysis of dynamical systems in terms of spectra of singularities is extended to higher dimensions and to nonhyperbolic systems. Prominent roles in our approach are played by the generalized partial dimensions of the invariant measure and by the distribution of effective Liapunov exponents. For hyperbolic attractors, the latter determines the metric entropies and provides one constraint on the partial dimensions. For nonhyperbolic attractors, there are important modifications. We discuss them for the examples of the logistic and Hénon map. We show, in particular, that the generalized dimensions have singularities with noncontinuous derivative, similar to first-order phase transitions in statistical mechanics.     

Hyperbolicity and invariant measures for generalC 2 interval maps satisfying the Misiurewicz condition

In this paper we will show that piecewiseC ² mappingsf on [0,1] orS ¹ satisfying the so-called Misiurewicz conditions are globally expanding (in the sense defined below) and have absolute continuous invariant probability measures of positive entropy. We do not need assumptions on the Schwarzian derivative of these maps. Instead we need the conditions thatf is piecewiseC ², that all critical points off are non-flat, and thatf has no periodic attractors. Our proof gives an algorithm to verify this last condition. Our result implies the result of Misiurewicz in [Mi] (where only maps with negative Schwarzian derivatives are considered). Moreover, as a byproduct, the present paper implies (and simplifies the proof of) the results of Mañé in [Ma], who considers generalC ² maps (without conditions on the Schwarzian derivative), and restricts attention to points whose forward orbit stay away from the critical points. One of the main complications will be that in this paper we want to prove the existence of invariant measures and therefore have to consider points whose iterations come arbitrarily close to critical points. Misiurewicz deals with this problem using an assumption on the Schwarzian derivative of the map. This assumption implies very good control of the non-linearity off ⁿ, even for highn. In order to deal with this non-linearity, without an assumption on the Schwarzian derivative, we use the tools of [M.S.]. It will turn out that the estimates we obtain are so precise that the existence of invariant measures can be proved in a very simple way (in some sense much simpler than in [Mi]). The existence of these invariant measures under such general conditions was already conjectured a decade ago.     

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.