The distribution of Jager pairs for continued fraction like mappings of the interval (Q1775493)

For a real number \(k\neq 0\) consider the Möbius transformations \(A_{(k,0)}(z)=\frac{k(1-z)}{z}\) and \(A_{(k,1)}(z)=\frac{kz}{1-z}\). For \(u\in \Psi=\Psi_0\cup \Psi_1\), where \(\Psi_0=((-\infty , -1) \cup (0,\infty))\times \{0\}\) and \(\Psi_1=((-\infty , 0) \cup (1,\infty))\times \{1\}\), define \(T_u(x)=\langle A_u(x) \rangle\), \(x\in [0,1]\), where \(\langle a \rangle\) denotes the fractional part of \(a\). The piecewise Möbius transformation \(T_u(x)\) generalizes the classical Gauss map and the Rényi map. For \(x\in (0, 1)\), the sequence of integers \(a_i=[A_u(T_u^{i-1}(x))]\), \(i=1, 2, \ldots\), determines a continued fraction expansion for \(x\) with respect to \(A_u\). The \(u-\)irrational number \(x=[a_1, a_2, \ldots ]_u\) has convergents \(p_n/q_n=[a_1, a_2, \ldots, a_n]_u\). The authors study the metric theory of the sequences \(\theta_n(x)=| q_n| | q_n x-p_n| \), \(n=1, 2, \ldots\). In the following theorem they describe the distribution of pairs \((\theta_n, \theta_{n+1})\) that \textit{H. Jager} [Indag. Math. 48, 61--69 (1986; Zbl 0588.10061)] originally studied. Theorem 2: For \(u\in \Psi\) and for almost all \(x\in[0,1]\) the sequence \((\theta_n, \theta_{n+1})\), \(n=1,2,\ldots\) is distributed in the interior of a certain region \(\Omega_u\) according to the density function \(\lambda_u(w,z)\) that is written explicitly in the paper. As an application of this theorem they get the following generalization of the Lenstra conjecture, originally proved by \textit{W. Bosma, H. Jager} and \textit{F. Wiedijk} [Indag. Math. 45, 281--299 (1983; Zbl 0519.10043)]. Theorem 4: For \(u\in \Psi\) and for almost all \(u\)-irrational \(x\in(0,1)\) the sequence \(\theta_n\), \(n=1,2,\ldots\) is distributed in a certain interval \(I_u\) according to the density function \(\beta_u(w)\) that is written explicitly in the paper.