Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In Iwaniec's book, Topics in Classical Automorphic Forms, pg. 4, he gives the statement:

$$\{x\}=\frac{1}{2}-\sum_{n=1}^N\frac{\sin 2\pi nx}{\pi n}+O((1+||x||N)^{-1})$$ where $\{x\}$ denotes the fractional part of $x\in\mathbb R$, and $||x||$ denotes the distance from $x$ to the nearest integer, and the implied constant is "absolute" (which I take to mean that it is independent of $x$ and $N$).

I haven't been able to prove this bound for the error. Does anyone have any ideas how to proceed?

share|improve this question
    
Hi. I think I finally got this. It's somewhat lengthy but I'll try to write it up just in case anyone is interested. –  John M Aug 12 '11 at 15:49

1 Answer 1

up vote 3 down vote accepted

It suffices to prove this for $0 \leq x \leq 1/2$. Let $$g_N(x)=\sum_{n=1}^N\frac{\sin 2\pi nx}{\pi n}+x-\frac{1}{2}$$ To show $g_N(x)=O(\frac{1}{1+xN})$, it suffices to show $g_N(x)$ is $O(\frac{1}{xN})$ and also $O(1)$. But it's hard to show $O(1)$ directly so I'll actually show it is $1/2+O(\log(1+xN))$, which together with $O(\frac{1}{xN})$ implies $O(1)$.

Let $$D_N(t)=1+2\sum_{n=1}^N\cos2 \pi nt=\frac{\sin2\pi(N+1/2)t}{\sin\pi t}$$ be the Dirichlet kernel. Observe that $g_N'(x)=D_N(x)$. Thus: $$g_N(x)=\int_0^xD_N(t)dt - \frac{1}{2}$$

The Dirichlet kernel satisfies the inequalities $|D_n(t)| \leq 2N+1$ and $|D_N(t)|\leq \frac{1}{2|t|}$ for $0<|t|<1/2$. We combine these to get $|D_N(t)| \leq \frac{7}{2}\frac{N}{1+N|t|}$. Then we have: $$\int_0^x|D_n(t)|dt \leq \frac{7}{2}\int_0^x\frac{N}{1+Nt}dt=\frac{7}{2}\log(1+xN)$$ Thus we get $g_N(x)=1/2+O(\log(1+xN))$.

It remains to show that $g_N(x)=O(\frac{1}{xN})$. To get that kind of bound, we need to use the trick of integrating by parts, but we can't do that on $\int_0^xD_N(t)dt$ because the boundary terms will blow up. So we use the fact that $D_N(1-t)=D_N(t)$ and $\int_0^1D_N(t)dt=1$ to rewrite $g_N(x)$ as: $$g_N(x)=-\frac{1}{2}\int_x^{1-x}D_N(t)dt$$ for $0 \leq x \leq 1/2$. Now we can integrate by parts to get:$$\int_x^{1-x}D_n(t)dt=\frac{1}{\pi(N+\frac{1}{2})}\frac{\cos 2\pi(N+\frac{1}{2})x}{\sin\pi x}-\frac{1}{2(N+\frac{1}{2})}\int_x^{1-x}\frac{\cos 2\pi(N+\frac{1}{2})tdt}{\sin^2\pi t}$$

Using the fact that $\sin\pi t \geq 2t$ for $0 \leq t \leq 1/2$, the first term above is bounded by $\frac{1}{2\pi}\frac{1}{(N+1/2)x}$. A similar calculation for the second term gives a bound of $\frac{1}{8}\frac{1}{(N+1/2)x}$. Putting this together, we get: $$|g_N(x)|\leq\left(\frac{1}{4\pi}+\frac{1}{16}\right)\frac{1}{(N+\frac{1}{2})x}$$

Thus, $g_N(x)=O(\frac{1}{xN})$ and so also $O(1)$, thus $g_N(x)=O(\frac{1}{1+xN})$, and we are done.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.