Ref: http://link.springer.com/article/10.1007%2FBF02399204

My question is about the proof of Theorem 0(b). On p.213, we see the expression

$\Delta_{\alpha\ast\beta}(x;q,a)=\frac{1}{\varphi(q)}\sum_{\chi\neq\chi_0}\bar{\chi}(a)\left(\sum_m\alpha_m\chi(m)\right)\left(\sum_n\beta_n\chi(n)\right).$

I suppose I know how to get this: \begin{eqnarray*} \Delta_{\alpha\ast\beta}(x;q,a) &=& \sum_{n\leq x, n\equiv a(q)}\alpha\ast\beta(n)-\frac{1}{\varphi(q)}\sum_{n\leq x,(n,q)=1}\alpha\ast\beta(n)\\ &=& \sum_n\alpha\ast\beta(n)\frac{1}{\varphi(q)}\sum_{\chi}\chi(n)\bar{\chi}(a)-\frac{1}{\varphi(q)}\sum_{n\leq x,(n,q)=1}\alpha\ast\beta(n)\\ &=& \frac{1}{\varphi(q)}\sum_{\chi\neq\chi_0}\bar{\chi}(a)\sum_n\alpha\ast\beta(n)\chi(n), \end{eqnarray*}

and then we split the innermost sum into a product of two sum, by the definition of convolution $\alpha\ast\beta$.

My question is that, the supports of $\alpha$ and $\beta$ is $(M,2M]$ and $(N,2N]$ respectively, where $NM=x$. But the range $\Delta_{\alpha\ast\beta}$ considers is just $n\leq x$. Even using the usual practice $x<n\leq 2x$ when we define $\Delta_{\alpha\ast\beta}$, it cannot cover $(x,4x]=(NM,4NM]$. Therefore the aforementioned innermost sum may not be split.

I then try to assume the supports of $\alpha$ and $\beta$ is $(0,M]$ and $(0,N]$. This makes everything fine, but when I try to use this result obtained to recover Theorem 0(b) I just fail.

Can someone help me? Thanks a lot.