Fourier coefficients of cusp forms

66 Views Asked by At

Given $$\left| \sum_{1\leq n \leq N} a_f (n)e^{2\pi i n \alpha}\right| \leq c_f N^{k\over 2}\log N$$ for any $f\in S_k$ where $f(\tau) = \sum\limits_{n=1}^\infty a_f (n)q^n$, any real $\alpha$, and any $N\geq 10$.

Show that $$\left| \sum_{1 \leq n \leq N , n \equiv a \pmod q} a_f (n)\right| \leq c_f N^{k \over 2} \log N $$ for any positive integers $q$ and $a$.

1

There are 1 best solutions below

2
On BEST ANSWER

$$\sum_{n \equiv b \bmod q} a_n(f) e^{2i \pi n z}= \frac1q\sum_{m=1}^q e^{-2i \pi bm/q} f(z+m/q)$$