No label defined (Q3977550)

[For the entire collection see Zbl 0686.00015.] We consider mappings \(f\) of a compact interval into itself which are piecewise differentiable and expanding; we consider also \(f\)-invariant probability measures. Such measures always exist; but if we wish to study the statistical behavior of almost every \(f\)-orbit, with respect to the Lebesgue measure on \([0,1]\) (the compact interval under consideration) one type of them is of particular interest: probability measures \(\mu\) which satisfy \[ \lim_{n\to+\infty}(1/n)\sum^{n-1}_{i=0}g(f^ i(x))=\int^ 1_ 0g(y)d\mu(y) \] for \(x\) belonging to an open set in \([0,1]\). These measures, called S-R-B (Sinai-Ruelle-Bowen), when they exist, provide some visualization of the attractors of the dynamics of \(f\). We are also interested in another type of invariant measures: absolutely continuous invariant probability measures, abbreviated a.c.i.p.m. The existence of an a.c.i.p.m. tells us that the dynamics of \(f\) is ``chaotic''. Moreover, if an a.c.i.p.m. \(\mu\) is ergodic --- i.e. if the \(\mu\)-measure of each \(f\)-invariant set is zero or one --- then it is an S-R-B measure. We are going to discuss the existence of an a.c.i.p.m. for piecewise differentiable expanding maps of the interval. We give a condition on the modulus of continuity of \(f'\) which ensures the existence of an a.c.i.p.m.; we prove that it is ergodic and Bernoulli in one particular case. Then we construct a piecewise continuous map differentiable except on a countable set of points, which does not fulfil this condition and has no a.c.i.p.m.