Let χ and ψ be nonprincipal
characters mod p. Let f be a polynomial mod p and let a1,⋯,ap be complex
constants. We will assume aj = ak for j ≡ k(p), and thus have an defined for all n.
Define
| (1) |
and
| (2) |
where the variables of summation run through a complete system of residues
mod p.
The averages in question are
| (3) |
and
| (4) |
where the sum in (4) is over the coefficients mod p of certain fixed powers of the
variables in f. Exact formulae for A1 will be obtained in all cases, and for A2 in an
extensive class of cases.
Specifically, the following theorems are true.
|