A FAMILY OF PIECEWISE EXPANDING MAPS HAVING SINGULAR MEASURE AS A LIMIT OF ACIM S

Size: px

Start display at page:

Download "A FAMILY OF PIECEWISE EXPANDING MAPS HAVING SINGULAR MEASURE AS A LIMIT OF ACIM S"

Derrick Cross
5 years ago
Views:

1 A FAMILY OF PIECEWISE EXPANDING MAPS HAVING SINGULAR MEASURE AS A LIMIT OF ACIM S ZHENYANG LI, PAWE L GÓ, ABRAHAM BOYARSKY, HARALD PROPPE, AND PEYMAN ESLAMI Abstract Keller [9] introduced families of W shaped maps that can have a great variety of behavior As a family approaches a limit W map, he observed behavior that was either described by a probabilty density function (pdf or by a singular point measure Based on this, Keller conjectured that instability of the absolutely continuous invariant measure (acim can result only from the existence of small invariant neighbourhoods of the fixed critical point of the limit map In this note we show that the conjecture is not true We construct a very simple family of W maps with acim s supported on the whole interval, whose limiting dynamical behavior is captured by a singular measure Key to the analysis is the use of a general formula for invariant densities of piecewise linear and expanding maps [6] Introduction Usually, the absolutely continuous invariant measure of a piecewise expanding map of an interval is stable under deterministic or even random perturbations This means that if we consider a family of piecewise expanding maps τ a, a > 0 with acims µ a, converging to a piecewise expanding map τ 0 with acim µ 0, then under general assumptions µ a s converge to µ 0 One such assumption is that for some positive ε, τ a > + ε for all a 0 Actually, much more is proven in [0] and [] This stability property is often useful, for example, in establishing results about metastable systems [4] Keller [9] introduced the family of W -maps that are piecewise expanding and exhibit a wide variety of behaviour This was done to understand whether in dimension one the expanding constant ensuring stability is really rather than as for zero-dimensional systems [7] This regularity was later confirmed in [8] by showing that this constant for a piecewise expanding n-dimensional system with rectangular partition is n + Key to the complexity of Keller s families is the fact that, as the parameter approaches 0, say, the behavior near a folded critical point plays a crucial role This critical point has slope on one side and on the other Thus, the entire family is uniformly piecewise expanding and each member has a unique absolutely continuous invariant measure However, the stability of probability density functions that one might expect in families of uniformly piecewise expanding maps does not occur Keller provided an example of a family for which the limit of acims is a singular measure This occurred because of the existence of diminishing invariant neighbourhoods of the critical point Keller conjectured that this is the only mechanism which can cause such limiting behaviour In this paper we construct a family of simple W -maps which disproves Keller s conjecture All our maps are piecewise expanding with slopes strictly greater than in magnitude and are exact with their acim s supported on all of [0, ] Standard bounded variation methods cannot be applied in this setting as the slopes of maps in our family are not uniformly bounded away from The Lasota-Yorke BV inequality

2 ZHENYANG LI, PAWE L GÓ, ABRAHAM BOYARSKY, HARALD PROPPE, AND PEYMAN ESLAMI [] cannot be invoked for families of maps whose slopes are not bounded away from in magnitude Other research related to the objectives of this note can be found in [3], [3] and [] However, none of the methods used in these papers apply to the family of maps we consider In a recent paper [5], a 3-parameter countable family of transitive maps was constructed which converges to the W -map for which the acim s approach any given convex combination of the point measure at / and the W -map acim All maps in this family are Markov, which makes the analysis easier In this note we shall utilize the main result of [6] which proves that the invariant pdf for any piecewise linear map which is eventually expanding has a convenient infinite series expansion The estimates on the family of pdfs derived from this representation allows us to prove our main result, that the acim s of the family of W -maps approach a combination of an absolutely continuous and a singular measure rather than the acim of the limit map In Section we introduce our family and state the main theorem, which is proved in Section 3 In Section 4, we show computational results for some pdfs of the W a maps when a is small Family of W a maps and the main result We consider the family {W a : 0 a} of maps of [0, ] onto itself defined by 4x, for 0 x < /4 ; ( + a(x /4, for /4 x < / ; ( W a (x / + a/4 ( + a(x /, for / x < 3/4 ; 4(x 3/4, for 3/4 x Figure a map W 0, b map W a, a > 0, with a few first points of the trajectory of / The map W 0 is Keller s W -map [9] We consider only small a > 0 as we are interested in the limiting behaviour of the W a s as a 0 Fig shows the graphs of W a for a 0 and

3 A FAMILY OF PIECEWISE EXPANDING MAPS 3 a > 0 Every W a is a piecewise linear, piecewise expanding map with minimal modulus of the slope equal to +a Every W a has a unique acim µ a supported on [0, ] and is exact with respect to this measure The transitivity of such maps is proven in [5], and the uniqueness of acim and exactness follow directly from the Li-Yorke paper [] Let h a denote the normalized density of µ a, a 0 It is easy to check that for W 0, µ 0 has density ( h 0 { 3 Our goal is to prove the following theorem:, for 0 x < / ;, for / x Theorem As a 0 the measures µ a converge -weakly to the measure 3 µ δ (, where δ ( is the Dirac measure at point / The proof relies on the general formula for invariant densities of piecewise linear maps [6] and direct calculations The calculations depend on the parameter a, but we suppress it whenever there is no confusion 3 Proofs This section contains the proof of Theorem, divided into a number of steps 3 Formula for non-normalized invariant density of W a We adapt the general formulas of [6] to our case and obtain the following formula for f a : Lemma 3 For small a > 0 there exists A < such that ( χ s (β(/, n, Wa n (/ (3 f a + A β(/, n n is a W a -invariant non-normalized density Here, χ s (t, y { χ [0,y] for t > 0 ; χ [y,] for t < 0, and β(/, n is the cumulative slope along the n steps of the trajectory of / defined by: β(/, + a, and β(/, n ( + a W a(w a (/ W a(w a (/ W a(w a n (/, for n The detailed justification of formula (3 is in Subsection 3 For small positive a, the first image of / is W a (/ / + a/4 and the next image lands just below the fixed point slightly less than / The following forward images of / form a decreasing sequence until they go below /4 Let k be the first iterate j when Wa j (/ is less than /4 That is, k min{j : Wa j (/ /4} Then, the consecutive cumulative slopes of /, namely β(/, j, j k, are ( + a, ( + a, ( + a 3,, ( + a k,

4 4 ZHENYANG LI, PAWE L GÓ, ABRAHAM BOYARSKY, HARALD PROPPE, AND PEYMAN ESLAMI and (3 f a + A ( χ[0,wa(/] ( + a + k j χ [W j a (/,] ( + a j + 3 Justification of the formula for f a Using the notation of [6], we have the following lemma: Lemma 3 (a N4, K, L0; (b α (, / + a/4, / + a/4,, β ( 4, + a, ( + a, 4, γ (0, 0, 0, 0; (c The digits A (a, a, a 3, a 4, where a, a /+a/4, a 3 3/ 3a/4, a 4 3; (d There are two c i s, which are c (/, and c (/, 3, and j(c, j(c 3 Then, W u {c, c },W l, U l {c },U r {c } (e β(c, + a since j(c, then β(c, ( + a and β(c, k ( + a k up to k defined in Subsection 3, k min{j : Wa j (/ /4}; (f β(c, ( + a since j(c 3, then β(c, ( + a and β(c, k ( + a k up to the same k in part (e, Wa n (c Wa n (c for all n; (g Based on (f, we have the following for the matrix S S i,j,i, j, : For c U r S, S, n n For c U l S, S, n n δ(β((c, n > 0δ(Wa n (c > / + δ(β((c, n < 0δ(Wa n (c < /, β(c, n δ(β((c, n > 0δ(Wa n (c > / + δ(β((c, n < 0δ(Wa n (c < / β(c, n δ(β((c, n < 0δ(Wa n (c > / + δ(β((c, n > 0δ(Wa n (c < /, β(c, n δ(β((c, n < 0δ(Wa n (c > / + δ(β((c, n > 0δ(Wa n (c < /, β(c, n where δ( condition is equal to if the condition holds and to 0 if it does not Remark: It follows from (e, f of Lemma 3 that S i,j are equal for i, j, Let Id be the identity matrix, V [, ] Then, for the solution, D [D, D ], of the following system : ( (33 S T + Id D T V T, we have D D Let us denote them by A Let I, I, I 3, I 4 be the partition of I [0, ], where I [0, /4, I (/4, /, I 3 (/, 3/4 and I 4 (3/4, ] Let β 4, β + a, β 3 ( + a, and β 4 4We define the following index: j(x j for x I j, j,, 3, 4, and j(c, j(c 3 Already defined for Lemma 3 we have cumulative slopes for iterates of points: β(x, β j(x, and β(x, n β(x, n β j(w n a (x, n,

5 and A FAMILY OF PIECEWISE EXPANDING MAPS 5 χ s (t, y { χ [0,y] for t > 0 ; χ [y,] for t < 0 Using Theorem in [6] directly, we obtain Lemma 3 Now, we can prove Lemma 3: Proof: First, by part (g of Lemma 3, since the first and fourth branches of W a have slope of modulus 4 > + a, On the other hand, for small a S i,j n ( + a n + a < S i,j + a + ( + a > / Now, the solution of the system (33 will be D D S, < By Theorem in [6], it follows from (d, e, f of Lemma 3 that: χ s (β(c, n, Wa n (c f a + D + D β(c n, n n χ s (β(c, n, Wa n (/ + A + A β(c n, n n ( χ s (β(/, n, Wa n (/ + A, β(/, n which completes the proof n χ s ( β(c, n, W n a (c β(c, n χ s ( β(c, n, W n a (/ β(c, n 33 Estimates on f a Recall that k min{j : W j a (/ /4} Clearly, k > Furthermore, we have the following lemma: Lemma 33 (I for m k, Wa m (/ a a(+am + + ; 4 +a (II lim ak 0; (III lim 0 a(+a k Moreover, if we let k [ k] (integer part of k/3, we have 3 (IV lim 0; a(+a k (V lim a ( + a k 0; (V I lim W k a ( Proof: Suppose (I is true By the definition of k, 0 Wa k (/ /4 That is, ( aa( + ak + + a The first inequality of (34 implies (35 a ( + a k, + 4

6 6 ZHENYANG LI, PAWE L GÓ, ABRAHAM BOYARSKY, HARALD PROPPE, AND PEYMAN ESLAMI and the second implies (36 a ( + a k, and so lim inf a ( + a k lim sup a ( + a k 4 Assertions (II, (III and (V follow immediately To prove (IV we have from (35 and so using also (36: a( + a k a ( + ak k a( + a k + a ( + a k/, a( + ak k + a + a ( + a k/ + a ( + ak k ( + a k k/ 0 Finally (VI follows from (I and (V Now, let us prove (I For m, it is easy to check that Wa (/ a a which is the 4 same as a a(+a+ + Suppose (I holds for m i < k, that is 4 +a Then for m i +, This completes the proof W i a(/ 4 aa( + ai + + a + Wa i+ (/ ( + a( 4 aa( + ai a 4 4 aa( + ai + + a + a 4 aa( + ai + + a a 4 Let δ( condition be equal to if the condition holds and to 0 if it does not Lemma 3 implies that δ(β((/, n > 0δ(Wa n (/ > / + δ(β((/, n < 0δ(Wa n (/ < / S, β(/, n n Also, it was shown there that A S, Since and S, k n S, ( + a n n +a (+a k +, +a ( + a n + a,

7 we have (37 A l A FAMILY OF PIECEWISE EXPANDING MAPS 7 + a a + (+a k A + a a A h Note that, for small a, both estimates A l and A h are smaller that Let us define, and g h g l + g l χ [0,W a(/] ( + a jk + + k j χ [W j a (/,] ( + a j, ( + a g j l + ( + a( + a k Let us further define f l + A l g h and f h + A h g l It follows from (3 and (37 that (38 f l f a f h Let χ χ [0,/+a/4], χ j χ [W j a (/,/+a/4], j, 3,, k, χ c χ (/+a/4,] Now we will represent the functions f l and f h as combinations of functions χ j, j,, k and χ c After some calculations, we obtain: ( f l + a A k χ n l + χ + A l ( + a + n f h + (A l +a (+a k + a n + n [ ] ( A h + a + k χ n χ + A h ( + a + n χ c + A l ( + a( + a k ; +a (+a k a Note that (37 implies that both A l, A h are smaller than ( + a Using this we can show that all coefficients in the representation of f l and f h are negative for sufficiently small a 34 Normalization Let us define J [0, W k a (/], J (W k a (/, / + a/4], J 3 (/ + a/4, ] We will calculate integrals of f h over each of these intervals and use them to normalize f h We have + χ c C f h dλ J [ ( + a J a + a [ ( ] + a + a + a ] + χ dλ W k a ( a + 3a (a ( + a W k a ( C Using Lemma 33, we have lim a 3 In the same way we can see that for any 0 < α < /, 4 we obtain α (39 lim f h dλ 3 a α 0

8 8 ZHENYANG LI, PAWE L GÓ, ABRAHAM BOYARSKY, HARALD PROPPE, AND PEYMAN ESLAMI On the interval J, the integral of f h is: [ ( + a C f h dλ J a + a Using Lemma 33, we have J a + 3a (a ( + a [ + + a a ] + χ dλ + + a a ( + a 4 W k a ( (k a 4( + a( + a + a 4( + a C (30 lim a On the interval J 3, the integral of f h is: ( C 3 f h dλ J 3 J 3 a ( Using Lemma 33, we have +a (+a k +a (+a k a + + C 3 lim a 4 In the same way we can see that for any 0 < α < /, we obtain (3 lim a If we define B C + C + C 3, then f h B /+αf h dλ lim ( α k j J ] (+a k + a χ c dλ ( a 4 is a normalized density We see that B a 3 χ j ( + a j dλ 35 Conclusion of the proof Now, we will use our foregoing calculations to show that the normalized measures (f h /B λ converge -weakly to the measure µ δ 3 (, as a 0 For any interval [0, α], 0 < α < / as a 0, formula (39 implies α f h (3 lim 0 B dλ 3α 3 α For J, which converges to the point /, formula (30 implies f h (33 lim J B dλ 3 3 For any interval [/ + α, ], 0 < α < /, formula (3 implies f h (34 lim /+α B dλ ( α ( 3 α 3

9 A FAMILY OF PIECEWISE EXPANDING MAPS 9 Formulas (3, (33 and (34 together show that measures (f h /B λ converge -weakly to the sum of the measure with density χ [0,/] + χ 3 [/,] and of a unit point mass at /, 3 ie, to the measure µ δ 3 ( Now, we will show the same for the normalized measure defined using f l To this end, let us note that f h f l A h g l A l g h (A h A l g l A l ( + a( + a k + a /( + a k a a + /( + a g k l A l ( + a( + a, k where g l and lim A l Using Lemma 33 once again, we can show that, for any subinterval J [0, ], we have lim (f h f l dλ 0 a J For J [0, ] this means that the normalizations of f l and f h are asymptotically the same Thus, the limit for a general J implies that the -weak limit of normalized measures defined using f l is the same as for those defined using f h Together with inequality (38 this proves Theorem 4 Computational Results We present in Fig graphs of W a normalized invariant densities for a: a 0, b: a 005 and c: a 00 They were obtained using Maple 3 Note that the vertical scales of the graphs are very different Figure W a -invariant pdf s for a: a 0, b: a 005 and c: a 00 References [] V Baladi and D Smania, Alternative proofs of linear response for piecewise expanding unimodal maps, Ergodic Th Dynamical Systems 30 (00, -0, doi:007/s [] A Boyarsky and P Góra, Laws of Chaos Invariant Measures and Dynamical Systems in One Dimension, Probability and its Applications, Birkhäuser, Boston, MA, 997 [3] M Dellnitz, G Froyland, and S Seertl, On the isolated spectrum of the Perron-Frobenius operator, Nonlinearaity 3 (

10 0 ZHENYANG LI, PAWE L GÓ, ABRAHAM BOYARSKY, HARALD PROPPE, AND PEYMAN ESLAMI [4] Dunford, N, and Schwartz, JT, Linear Operators, Part I: General Theory, Interscience Publ Inc, NY, 964 [5] P Eslami and M Misiurewicz, Singular limits of absolutely continuous invariant measures for families of transitive maps, preprint [6] P Góra, Invariant densities for piecewise linear maps of interval, Ergodic Th and Dynamical Systems 9, Issue 05 (October 009, [7] P Góra, On small stochastic perturbations of one-sided subshift of finite type, Bull Acad Polon Sci 7 (979, 47 5 [8] P Góra and A Boyarsky, Absolutely continuous invariant measures for piecewise expanding C transformations in R N, Israel Jour Math 67 (989, 7 86 [9] G Keller, Stochastic stability in some chaotic dynamical systems, Monatshefte für Mathematik 94 (4 ( [0] G Keller and C Liverani, Stability of the spectrum for transfer operators, Ann Scuola Norm Sup Pisa Cl Sci (4, 8 ((999, 4 5 [] Z S Kowalski, Invariant measures for piecewise monotonic transformation has a positive lower bound on its support, Bull Acad Polon Sci, Series des sciences mathematiques, 7, No (979, [] T-Y Li and J A Yorke, Ergodic transformations from an interval into itself, Trans Amer Math Soc 35 (978, 83-9 [3] R Murray, Approximation of invariant measures for a class of maps with indifferent fixed points, University of Waikato, Mathematics Research Report Series II No 06 (005, rmurray/files/ulamifpnumpdf [4] C G Tokman, B R Hunt and P Wright, Approximating invariant densities of metastable systems, arxiv:090503v [mathds] To appear in Ergodic Th and Dynamical Systems (DOI:007/S Department of Mathematics and Statistics, Concordia University, 455 de Maisonneuve Blvd West, Montreal, Quebec H3G M8, Canada address: zhenyang @gmailcom address: pgora@mathstatconcordiaca address: boyar@alcorconcordiaca address: proppe@alcorconcordiaca address: peyman eslami@yahoocom

A Family of Piecewise Expanding Maps having Singular Measure as a limit of ACIM s

Ergod. Th. & Dynam. Sys. (,, Printed in the United Kingdom c Cambridge University Press A Family of Piecewise Expanding Maps having Singular Measure as a it of ACIM s Zhenyang Li,Pawe l Góra, Abraham Boyarsky,