On a generalized Cochrane sum and its hybrid mean value formula (Q2490446): Difference between revisions

Generalized Cochrane sums are defined in terms of Bernoulli periodic functions \(\overline B_n(\cdot)\) by \[ C(h,q;m,n)= \mathop{{\sum}'}^q_{a=1}\overline B_n\left(\frac{ah}{q}\right), \] where \(a\overline a\equiv 1\pmod q\). Kloosterman sums are defined by \[ K(m,n;q)=\mathop{{\sum}'}^q_{b=1}e^{2\pi i(mb+n\overline b}/q. \] For odd \(m,n\) and squarefull \(q\), it is shown that \[ \mathop{{\sum}'}^q_{h=1}K(h,1;q)C(h,q;m,n)=\frac{2m!n!}{(2\pi i)^{m+n}}q\varphi(q)+O\left(q\exp\left(\frac{4\log q}{\log\log q} \right)\right). \]