Mathematical symbols |
|
ix | |
|
1 Number-theoretical dynamical systems |
|
|
1 | (63) |
|
1.1 Continued fractions and Diophantine approximation |
|
|
1 | (11) |
|
1.1.1 Continued fractions |
|
|
1 | (6) |
|
1.1.2 Elementary Diophantine approximation: Hurwitz's Theorem and badly approximable numbers |
|
|
7 | (5) |
|
1.2 Topological Dynamical Systems |
|
|
12 | (18) |
|
|
15 | (1) |
|
|
16 | (3) |
|
1.2.3 A return to the Gauss map |
|
|
19 | (2) |
|
1.2.4 Elementary metrical Diophantine analysis |
|
|
21 | (5) |
|
1.2.5 Markov partitions for interval maps |
|
|
26 | (4) |
|
1.3 The Farey map: definition and topological properties |
|
|
30 | (10) |
|
|
30 | (4) |
|
1.3.2 Topological properties of the Farey map |
|
|
34 | (6) |
|
|
40 | (18) |
|
|
40 | (4) |
|
|
44 | (4) |
|
1.4.3 Topological properties of Fα |
|
|
48 | (3) |
|
1.4.4 Expanding and expansive partitions |
|
|
51 | (2) |
|
1.4.5 Metrical Diophantine-like results for the α-Luroth expansion |
|
|
53 | (5) |
|
1.5 Notes and historical remarks |
|
|
58 | (3) |
|
|
58 | (1) |
|
1.5.2 The classical Luroth series |
|
|
59 | (2) |
|
|
61 | (3) |
|
|
64 | (58) |
|
|
64 | (5) |
|
2.1.1 Invariant measures for the Gauss and α-Luroth system |
|
|
66 | (3) |
|
2.2 Recurrence and conservativity |
|
|
69 | (6) |
|
2.3 The transfer operator |
|
|
75 | (13) |
|
2.3.1 Jacobians and the change of variable formula |
|
|
75 | (1) |
|
2.3.2 Obtaining invariant measures via the transfer operator |
|
|
76 | (3) |
|
2.3.3 The Ruelle operator |
|
|
79 | (3) |
|
2.3.4 Invariant measures for F, Fα, G and Lα |
|
|
82 | (4) |
|
2.3.5 Invariant measures via the jump transformation |
|
|
86 | (2) |
|
2.4 Ergodicity and exactness |
|
|
88 | (27) |
|
2.4.1 Ergodicity of the systems G and Lα |
|
|
92 | (4) |
|
2.4.2 Ergodic theorems for probability spaces and consequences for the Gauss and α-Luroth systems |
|
|
96 | (7) |
|
2.4.3 Ergodic theorems for infinite measures |
|
|
103 | (2) |
|
|
105 | (4) |
|
2.4.5 Uniqueness of the invariant measures for F and Fα |
|
|
109 | (3) |
|
2.4.6 Proof of Hopf's Ratio Ergodic Theorem |
|
|
112 | (3) |
|
|
115 | (5) |
|
|
120 | (2) |
|
3 Renewal theory and α-sum-level sets |
|
|
122 | (15) |
|
|
122 | (1) |
|
3.2 Sum-level sets for the α-Luroth expansion |
|
|
123 | (12) |
|
3.2.1 Classical renewal results |
|
|
124 | (8) |
|
3.2.2 Renewal theory applied to the α-sum-level sets |
|
|
132 | (3) |
|
|
135 | (2) |
|
4 Infinite ergodic theory |
|
|
137 | (22) |
|
4.1 The functional analytic perspective and the Chacon--Ornstein Ergodic Theorem |
|
|
137 | (10) |
|
4.2 Pointwise dual ergodicity |
|
|
147 | (4) |
|
4.3 ψ-mixing, Darling--Kac sets and pointwise dual ergodicity |
|
|
151 | (6) |
|
|
157 | (2) |
|
5 Applications of infinite ergodic theory |
|
|
159 | (24) |
|
5.1 Sum-level sets for the continued fraction expansion, first investigations |
|
|
159 | (2) |
|
5.2 ψ-mixing for the Gauss map and the Gauss problem |
|
|
161 | (6) |
|
5.3 Pointwise dual ergodicity for the Farey map |
|
|
167 | (1) |
|
5.4 Uniform and uniformly returning sets |
|
|
168 | (5) |
|
5.5 Finer asymptotics of Lebesgue measure of sum-level sets |
|
|
173 | (4) |
|
5.6 Uniform distribution of the even Stern--Brocot sequence |
|
|
177 | (4) |
|
|
181 | (2) |
Bibliography |
|
183 | (5) |
Index |
|
188 | |