ANNALES POLONICI MATHEMATICI LXIX.(998) Invariant measures and the compactness of the domain by Marian Jab loński (Kraków) and Pawe l Góra (Montreal) Abstract. We consider piecewise monotonic and expanding transformations τ of a real interval(not necessarily bounded) into itself with countable number of points of discontinuityofτ andwithsomeconditionsonthevariationv [0,x] (/ τ )whichneednotbe a bounded function(although it is bounded on any compact interval). We prove that such transformations have absolutely continuous invariant measures. This result generalizes all previous bounded variation existence theorems.. Introduction. One of the most important problems in ergodic theory is the existence of an invariant measure for a dynamical system. The topic of this paper is the existence of an absolutely continuous invariant measure for dynamical systems generated by a piecewise expanding transformation of an interval (not necessarily bounded). There are many results in this direction. The first one is Rényi s existence theorem ([Re]) for τ : [0,] [0,] given by τ(x) = φ(x) (mod ), where φ(x) : [0,] onto [0,n] for some n N, φ C 2, φ > λ >. The next significant step was made by Lasota and Yorke [LY] as well as Kosyakin and Sandler [KS], who proved the existence theorem for τ : [0,] [0,] piecewise C 2 and φ > λ >. The Lasota Yorke theorem has many generalizations. One of them was given by Wong [Wo], who assumed that τ is piecewise C and V [0,] (/ τ ) <. Rychlik [Ry] extended Wong s theorem to a class of transformations with countable partition on a bounded interval. Another generalization of the Lasota Yorke theorem was given by Keller [Ke] using a kind of generalized variation. An extension of the Lasota Yorke theorem in another direction was given by Lasota and Jab loński [JL] who assumed that τ is a transformation of R onto R. 99 Mathematics Subject Classification: Primary 28D05; Secondary 58F. TheresearchofP.G.hasbeensupportedbyanNSERCgrant. [3]
4 M. Jab loński and P. Góra It seemed that the Lasota Yorke, Rychlik and Lasota Jab loński theorems differ essentially from one another, namely in the countability and finiteness conditions for the corresponding partitions and the compactness conditions for the interval in question, and the questions were: (a) Is it possible to state in a natural way a theorem which will imply the Lasota Yorke, Wong, Rychlik and Lasota Jab loński theorems? (b) A very old question: is it possible to weaken the assumptions concerning τ without loosing the existence of an absolutely continuous invariant measure? In 986 Schmitt [Sch] introduced the following global oscillation condition. Let τ : A A be a transformation of an interval into itself and let J A be a subinterval; then we define the oscillation of τ over J as osc J τ = max J τ min J τ min J τ. Now, let {I j } j= = P(0) be a partition corresponding to τ such that a) I j, j =,2,..., are open intervals, b) I j =, i j, c) m(a \ i= ) = 0 (the union of is almost equal to A), d) τ Ii is of class C, i =,2,... The global oscillation of τ is n= d n, where d n = sup osc J τ, J P and (n) n { n } P (n) = τ i (P (0) ) = τ i (I j(i) ) : I j(i) P (0), j (i) N n i=0 i=0 For piecewise C transformations with bounded global oscillation and finite partition corresponding to τ Góra [Gó] proved the existence of an absolutely continuous invariant measure. Later Jab loński, Góra and Boyarsky [JGB] proved the following theorem which is a generalization of the results of Góra s and Jab loński Lasota as well as an extension of the result of Rychlik. Theorem. Let τ : A A, where A is an interval, satisfy the following conditions: (i) There is a family of intervals {I j } j= such that (a) I j is open and I j A, (b) I j = for i j, (c) sup i m( ) <, (d) m(a \ i= ) = 0, (ii) τ i = τ Ii is of class C,
Invariant measures 5 (iii) τ i λ > 2,i, (iv) the global oscillation is bounded, (v) sup i ψ (x) is integrable on A where ψ i = τ i, (vi) sup x A sup i ψ i (x) /m() = k <, (vii) sup i x >u ψ i (x) m( ) = k(u) 0 as u. Then there is an absolutely continuous τ-invariant finite measure. The statement of the above theorem is independent of the finiteness of the corresponding partitions and the compactness of A and implies the Góra and Jab loński Lasota theorems as well as an analogue of the Rychlik theorem. However, there are transformations with unbounded oscillation which have finite absolutely continuous invariant measures. The following example provide us with such a transformation. Example. Let x 0 be such that ( x x 0 0 2 + ln t ) dt =, and let ( 2 + ) dt 0 x x 0, τ(x) = ln t 0 A(x x 0 ) (mod ) x [x 0,], A > 2, where > 0. Then τ : [0,] [0,], / τ is of bounded variation and the global oscillation is /n and thus unbounded. By the Lasota Yorke theorem τ has an absolutely continuous invariant probability measure. In this paper we prove an analogue of the Jab loński Góra Boyarsky theorem under some assumptions on the variation V [0,x] (/ τ ) instead of the boundedness of the oscillation. In particular, these assumptions imply that V I (/ τ ) is bounded for any compact interval I. In Section 3, modifying τ from Example, we will construct a transformation which satisfies assumptions of Theorem of Section 2 but does not satisfy the assumptions of any other existence theorem. This means that Theorem of [JGB] and the result of this paper are not equivalent and that Theorem is an essential generalization of all previous bounded variation existence theorems. Let us recall here the definition of the space BV(A), which will be used below: BV(A) = {f L (A) : g L (A), g = f a.e., V A g < }.
6 M. Jab loński and P. Góra 2. Main result. Let τ : i= A be a transformation satisfying the following conditions: (), i =,2,..., are open intervals, A, (2) I j = for i j, (3) sup i m( ) = L <, where m is the Lebesgue measure on R, (4) A is an interval, not necessarily bounded, and m(a \ i= ) = 0, (5) τ i = τ Ii is of class C,i =,2,..., (6) τ i λ > 2, i =,2,..., (7) There exist constants M,,γ,γ 2,γ 3 such that 2/λ +γ + γ 2 + γ 3 < and (a) for any i J, where J = {i N : V Ii (/ τ ) Mm( )}, and for any points x,x with x x <, we have V [x,x ] τ < γ ; (b) 2 i J 2 V Ii (/τ ) < γ 2, where J 2 = N \ J, (c) i J 3 ( ψ i (τ(a i)) + ψ i (τ(b i)) ) < γ 3, where J 3 = {i N : ψ i(τ(a i )) > M m( ) or ψ i(τ(b i )) > M m( )}, and ψ i = τ i. (8) There exist W,W 2 N, W W 2 =, W W 2 = N, such that the functions sup k W ψ k (x) /m(i k) and k W 2 ψ k (x) are integrable. Theorem. Let τ : i= A be a transformation satisfying conditions () (8). Then there exists a finite absolutely continuous measure µ on A invariant with respect to τ. Remark. The theorem remains true if an iterate τ k of τ satisfies conditions () (8). In particular, it is enough to assume λ > in condition (6) if the iterate τ k satisfies (7) and (8). Lemma. Let τ satisfy conditions () (8). Then there exist constants 0 < α < and C > 0 such that (9) V A P τ f αv A f + C f. P r o o f. For f BV(A) the series below are convergent and we have V A P τ f = V A f(ψ i (x)) ψ i (x) i= V τ(ii )(f ψ i (x)) ψ i(x) i= + ( f(a i ) ψ i(τ(a i )) + f(b i ) ψ i(τ(b i )) ) = S + S 2, i=
Invariant measures 7 where = (a i,b i ). Since V τ(ii ) ψ i = V (/ τ ) < we can assume ψ i (τ(a i)) = 0 (ψ i (τ(b i)) = 0) if τ(a i ) = ± (τ(b i ) = ± ). For every h : [a,b] R with V [a,b] h < there is c [a,b] such that For such c, h(c) m([a,b]) b a h dm. h(a) h(c) + V [a,c] h and h(b) h(c) + V [c,b] h. Therefore, for each i and appropriate c i [a i,b i ], we have (0) f(a i ) ψ i(τ(a i )) + f(b i ) ψ i(τ(b i )) ( f(c i ) + V [ai,c i ]f) ψ i (τ(a i)) + ( f(c i ) + V [ci,b i ]f) ψ i (τ(b i)) ψ i (τ(a i)) m([a i,b i ]) b i b i f dm + ψ i (τ(b i)) f dm + m([a a i,b i ]) λ V [a i,b i ]f. i a i Let J 4 = N \ J 3. By (0) and (7)(c) we obtain () S 2 = ( f(a i ) ψ i (τ(a i)) + f(b i ) ψ i (b i)) ) i= i J 4 ( ψ i (τ(a i )) m([a i,b i ]) f + ψ i (τ(b i)) f + ) m([a a i,b i ]) λ V f i a i b i b i + (sup f ( ψ i (τ(a i)) + ψ i (τ(b i)) )) A i J 3 2M f + ( ) λ V f Af + m(a) + V Af γ 3 = ( λ + γ 3 ) V A f + ( 2M + γ 3 m(a) ) f. We have used the inequality sup A f f /m(a)+v A f (with f /m(a) = 0 if m(a) = ) which holds for functions in BV(A). Now we estimate S. Let be as in (7) and y k = τ i (x k ), where x k. If m( ), we have (2) V τ(ii )(f ψ i ) ψ i n = sup (f ψ i )(y k ) ψ i(y k ) (f ψ i )(y k ) ψ i(y k ) τ( ) k= sup τ( ) k= n (f ψ i )(y k ) ψ i(y k ) (f ψ i )(y k ) ψ i(y k )
8 M. Jab loński and P. Góra + sup τ( ) k= λ V f + sup λ V f + (sup n (f ψ i )(y k ) ψ i (y k) (f ψ i )(y k ) ψ i (y k ) n f(x k ) τ (x k ) τ (x k ) k= f )sup n τ (x k ) τ (x k ), k= where sup τ(ii ) and sup Ii indicate the suprema over all finite partitions of τ( ) and respectively. We now consider separately i J and i J 2. If i J, then by assumption (7)(a), we can estimate the left hand side of (2) as follows: (3) V τ(ii )(f ψ i ) ψ i λ V f + (inf f + V Ii f)v Ii τ ( ) λ V f + f V Ii m( ) τ + V f V Ii τ ( ) λ + γ V Ii f + M f. If i J 2, then in a standard way, we have (4) V τ(ii )(f ψ i ) ψ i λ V f + sup f V Ii A τ. If m( ) >, then there is a partition a i = c 0 < c <... < c ni = b i such that (5) We have 2 c j c j < for j =,...,n i. n i V τ(ii )(f ψ i ) ψ i = V τ(cj,c j ) (f ψ i ) ψ i. j= In the same way as in (2) we obtain (6) V τ(cj,c j )(f ψ i ) ψ i λ V [c j,c j ]f + ( sup f )V [cj,c j ] [c j,c j ] τ = R ij. Once again we consider separately i J and i J 2. If i J, then similarly
Invariant measures 9 to (3) we have R ij ( c λ V j ) (7) [c j,c j ]f + f m([c j,c j ]) c j + V [cj,c j ]f V [cj,c j ] τ λ V [c j,c j ]f + 2V /τ c j ( ) λ + γ V [cj,c j ]f + 2ML V [cj,c j ] c j f + V [cj,c j ]f γ c j c j f τ (the last inequality is a consequence of (5)). Summing up over j s we get ( ) (8) V τ(ii )(f ψ i ) ψ i λ + γ V Ii f + 2ML f. If i J 2, then similarly to (4) we have (9) R ij λ V [c j,c j ]f + sup A Summing up over j s we obtain f V [cj,c j ] τ (20) V τ(ii )(f ψ i ) ψ i λ V f + sup f V Ii A τ. Summing up (3) over all i J such that m( ), (4) over all i J 2 such that m( ), (8) over i J with m( ) > and (20) over i J 2 with m( ) >, and using assumption (7)(b) we obtain ( ) ( ) 2ML (2) S V A f + sup f γ 2 + max,m f λ + γ ( λ + γ + γ 2 A ) V A f + Finally, by () and (2), we get ( 2 V A P τ f λ + γ + γ 2 + γ 3 + ( γ2 m(a) + max ) V A f ( 2M + γ 3 m(a) + γ 2 m(a) + max ( 2ML,M ( 2ML )) f. )),M f. Setting α = 2/λ + γ + γ 2 + γ 3 < and C = 2M + γ 3 /m(a) + γ 2 /m(a) + max(2ml/,m) we obtain the assertion of the lemma.
20 M. Jab loński and P. Góra Lemma 2. If τ satisfies () (8) and B L (A) is such that V A f + f D for some D, then P τ B is weakly compact. P r o o f. For given f B we can choose points z k I k such that m(i k ) f(z k ) f(x) dx. We have k P τ f P τ f = f(ψ k (x)) ψ k (x) = k k = k (x) m(i k ) m(i k) f(ψ k (x)) + k W ψ ψ k sup (x) k W m(i k ) Moreover, by assumption (3), k W m(i k ) f(ψ k (x)) m(i k ) f(ψ k (x)) + sup A k W A ψ k (x) m(i k ) m(i k) f(ψ k (x)) k W 2 ψ k(x) f(ψ k (x)) f k W 2 ψ k(x). k W m(i k )( f(ψ k (x)) f(z k ) + f(z k ) ) LV A f + f (L + )D, and sup f f ( ) A m(a) + V Af D m(a) +. Hence, assumption (8) implies uniform integrability of the set P τ B. Proof of Theorem. For every f of bounded variation with f < we have, by Lemma, V A P n τ f α n V A f + (α n + α n 2 +... + ) C f. Thus for every n, V A P n τ f C α f, and P n τ f f. So, by Lemma 2, the set P τ {P n τ f} n=0 = {Pn τ f} n= is weakly compact in L (A). Since the set of functions of bounded variation is dense in L (A), using the Kakutani Yosida Theorem we conclude that for every f L (A) the sequence n n j=0 Pj τf converges in L (A) to a function Qf L (A), and Qf is invariant under P τ. This completes the proof of Theorem.
Invariant measures 2 3. Comparison with Jab loński Lasota s and Rychlik s theorems. For the convenience of the reader we restate the Jab loński Lasota theorem. Theorem (Jab loński Lasota). Let { } i= be a partition of R and τ : R R be a transformation such that: (i) is an open set for each i N; (ii) I j = for j i; (iii) R \ is a countable set; (iv) sup i m( ) = L < (the partition must actually be infinite); (v) for any i, τ i is differentiable and its derivative τ i is locally Lipschitz; (vi) τ i (x) λ >, x ; (vii) τ i ( ) = R (a piecewise onto condition); (viii) τ i (x) /(τ i (x))2 M < (requires the existence of τ on each ); (ix) w(x) = sup i ψ i (x) /m() is integrable on R. Then the transformation τ has a finite absolutely continuous invariant measure. We will need the following lemma. Lemma 3. If τ satisfies conditions (i) (ix) of the last theorem, then any iteration τ k of τ also satisfies these conditions. P r o o f. We give the proof for k = 2. The general case follows by induction. The transformation τ 2 satisfies conditions (i) (vii) trivially. It is easy to see that {j = τ i (I j )} i,j= is the partition corresponding to τ 2. Since (τ 2 ) ((τ 2 ) ) 2 = τ τ (τ ) 2 (τ τ) 2 (τ ) 2 + τ τ τ (τ τ) 2 (τ ) 2 = τ τ (τ τ) 2 + τ τ τ (τ ) 2 M + M = 2M for x j, τ 2 also satisfies (viii). Thus it remains to prove that τ 2 satisfies (ix). First, recall that for any i we have sup x Ii ψ i (x) inf x Ii ψ i (x) K for some constant K > 0 (see [JGB], Section 3). The transformation τ 2 restricted to j is equal to τ j τ i. Its inverse ψ ij : R j is given by ψ ij = (τ j τ i ) = τ i τ j = ψ i ψ j.
22 M. Jab loński and P. Góra We have m(j ) = ψ i dm = ψ i (ξ) m(i j), I j for some ξ I j. Thus, for any x R, and, consequently, ψ ij (x) m(j ) = ψ i (ψ j(x)) ψ j (x) ψ i (ξ) m(i K ψ j (x) j) m(i j ), sup i,j ψ ij (x) m(j ) is an integrable function. This completes the proof of the lemma. Now, we prove that the assumptions of the Jab loński Lasota theorem [JL] imply the assumptions of Theorem, i.e. that Theorem is a generalization of [JL]. Let τ satisfy conditions (i) (ix) of the Jab loński Lasota theorem. By Lemma 3, for every k, τ k also satisfies (i) (ix) and there is k such that (τ k ) λ > 2 for x Ii k, where {Ik i } i= is the partition corresponding to τ k. Therefore, in view of the Remark, we can assume that τ λ > 2. Now, most of the conditions of Theorem follow trivially from (i) (ix). We only have to prove condition (7). Notice that if τ exists on the intervals, i =,2,..., then for any t,s we have τ (t) τ (s) = τ (ξ) (τ t s (ξ)) 2 for some ξ between t and s. By assumption (viii), this implies that (22) V [x,x ] τ M x x, for any interval [x,x ], i. By inequality (22), τ satisfies conditions (7)(a) and (7)(b) with M = M, J 2 =, γ 2 = 0, γ arbitrarily small, and = γ /M. Fix an i for a moment. Using (4) again we obtain V Ii ψ i M m( ). Hence, since τ i ( ) = R (see (vii)), both the numbers ψ i (τ(a i)), ψ i (τ(b i)) are equal to 0. Thus, J 3 = and condition (7)(c) is satisfied trivially. Now, we discuss the relationship between our result and that of Rychlik ([Ry]). Rychlik s result is formulated in a very general way, but in the interval case, the transformation τ : A A is such that m(a) <, supg < and V A g <, where, g S = 0, g = / τ on i=, S = R \ i= and { } i= is the partition corresponding to τ.
Invariant measures 23 Similarly to the previous considerations we can assume that Rychlik s transformation satisfies τ λ > 2 (an analogue of Lemma 3 is contained in Corollary of [Ry] and can easily be proved directly.) Since conditions () (6) are simple consequences of Rychlik s assumptions we only have to prove (7) and (8). Rychlik s assumption V A (/ τ ) < implies that V Ii τ < and i ( ψ i (τ(a i)) + ψ i (τ(b i)) ) <. i For arbitrarily small γ 2 and γ 3 we can find i 0 such that the i 0 -tails of the above series are less than γ 2 and γ 3 respectively. For the finite family { } i 0 i= we can easily find M, and γ such that condition (7) is satisfied. To prove (8) we use Rychlik s assumption m(a)<. Let W 2 = N. Then we have ψ k (x) dm(x) ψ k (x) dm(x) = k ) = m(a), A k k A k m(i hence the condition (8) is satisfied. On the other hand, it is not too difficult to show that our conditions imply Rychlik s. So, in fact, for the bounded interval case, both sets of conditions are equivalent. The following simple example provides us with a transformation which satisfies the assumptions of Theorem but does not satisfy the assumptions of any other theorem mentioned above. Example 2. Let τ : R R be defined as follows. Let, as in Example 2, x 0 be such that x 0 ( 2 + ) dt =, ln t and let where > 0. x 0 ( 2 + ) dt, 0 x x 0, ln t 0 τ(x) = A(x x 0 ), x [x 0,], A > 2, ( ) π τ(x) = 2tan 2 x, x R \ (Z [0,]),
24 M. Jab loński and P. Góra References [Gó] P. G ó r a, Properties of invariant measures for piecewise expanding transformations with summable oscillation of the derivative, Ergodic Theory Dynam. Systems 4(994), 475 492. [JGB] M.Jab loński,p.góraanda.boyarsky,ageneralexistencetheoremfor absolutely continuous invariant measures on bounded and unbounded intervals, Nonlinear World 2(995), 83 200. [JL] M.Jab lońskianda.lasota,absolutelycontinuousinvariantmeasuresfor transformations on the real line, Zeszyty Nauk. Uniw. Jagiell. Prace Mat. 22 (98), 7 3. [KS] A.A.KosyakinandE.A.Sandler,Ergodicpropertiesofacertainclassof piecewise smooth transformations of a segment, Izv. Vyssh. Uchebn. Zaved. Mat. 972, no. 3, 32 40(in Russian). [LY] A.LasotaandJ.A.Yorke,Ontheexistenceofinvariantmeasuresforpiecewise monotonic transformations, Trans. Amer. Math. Soc. 86(973), 48 488. [Re] A.Rényi,Representationsforrealnumbersandtheirergodicproperties,Acta Math. Acad. Sci. Hungar. 8(957), 477 493. [Ry] M.R.Rychlik,Boundedvariationandinvariantmeasures,StudiaMath.76 (983), 69 80. [Sch] B.Schmitt,Contributionsàl étudedesystèmesdynamiquesunidimensionnels en théorie ergodique, Ph.D. Thesis, University of Bourgogne, 986. [Wo] S.Wong,Somemetricpropertiesofpiecewisemonotonicmappingsoftheunit interval, Trans. Amer. Math. Soc. 246(978), 493 500. Institute of Computer Science 74 Sherbrooke Street West Jagiellonian University Montreal, Quebec Nawojki, Canada H4B R6 30-072 Kraków, Poland E-mail: pgora@vax2.concordia.ca E-mail: jablonski@softlab.ii.uj.edu.pl Reçu par la Rédaction le 20.0.995 Révisé le 29.9.997