Skip to main content
3 of 5
update
Charles Matthews
  • 12.6k
  • 35
  • 64

I can't help thinking that the answer ought to come out of a combination of standard techniques. First, indeed, reduce to fractional parts: but with a caveat, that it would be sensible to do some manipulation first. I'm thinking about "summation by parts". Then we know the fractional parts are uniformly distributed mod 1. On the face of it, though, this won't be enough, i.e. the average fractional part will therefore be 0.5. But the problem is set up so that this "main term" contribution drops out? Otherwise why should the error term be small?

So the next recourse should be to exploit the Fourier series of the sawtooth function (not just its constant term). The Fourier series should be truncated at around n terms, and the error estimated away. Then there are geometric progressions to sum. This is what brings in the diophantine approximation properties of $\tau$, in the denominators, which basically can be small at Fibonacci numbers. We do know how small. We do know how many Fibonacci numbers are involved for the terms under consideration.

Forgive me if I'm not writing down the many summations and estimates here. I don't find MO well adapted to talking about analytic number theory. We're basically talking here about the technology of Weyl's equidistribution theorem being applied to a particular case, to say more than simply that the fractional parts are spread uniformly on [0, 1], but to dig down a bit further using exponential sums.

Edit: So I want to rely on the ability to estimate sums like

$\sum_{j=1}^{M} exp(2\pi i\tau rj)/j$

as bounded by

$|cosec(\pi \tau r)|$

and the corresponding

$\sum_{j=M+1}^{infinity}$

by log M.

Charles Matthews
  • 12.6k
  • 35
  • 64