Applying the Steinhaus theorem to regularly varying functions (Q5929635)

Given a positive measurable function \(R(t)\) on \(\mathbb{R}_+\), denote the set of points \(x\in \mathbb{R}_+\) for which \(\lim_{t\to\infty} R(xt)/R(t)= \phi(x)\), \(0< \phi(x)< \infty\), by \(E_R\). A consequenc of a classical theorem of Steinhaus is that if \(m(E_R)> 0\), where \(m\) is Lebesgue measure, then \(E_R= \mathbb{R}_+\): that is, \(R(t)\) is regularly varying. The author proves several theorems where regular variation of \(R(t)\) is deduced from convergence for all \(x\) on some subset of \(\mathbb{R}_+\). For example: If \(R(t)\) is monotone, and if the above limit exists for all \(x\in A\), where \(A\) is an everywhere dense set in \(S\in \mathbb{R}_+\), where \(m(S)> 0\), and \(\underline\phi(x_0)> 0\) and \(\overline\phi(x_0)< \infty\) for some \(x_0> 0\), \(x_0\neq 1\), then \(R(t)\) is regularly varying. Here \(\underline\phi(x)= \liminf_{t\to\infty} R(xt)/R(t)\) and \(\overline\phi(x)= \limsup_{t\to\infty} R(xt)/R(t)\).