In which we start in earnest.
- Definition of various pieces of notation.
- Lemma 1: We have
We saw that this follows either from a quick bit of Fourier analysis, or from just writing out the right-hand side.
- Definition of the major arcs and minor arcs.
- Lemma 2: Suppose that . Then the major arcs are disjoint. We noted that the major arcs have width and that the centres of two distinct major arcs are at distance at least .
- Theorem 3 (Weyl‘s inequality): Let
be a real polynomial of degree with leading coefficient . Suppose that has a rational approximation where is positive, and are coprime, and . Then, for any and any , we have
where and the implied constant depends only on and .
We noted that if for some fixed , then we get an improvement over the trivial bound of . We shall prove the result next time.
The same collection of books and notes as last time.
Gareth Taylor is typing up his lecture notes from this course, and has put them on his website.
Terry Tao has some notes about equidistribution and Weyl’s inequality on his blog, which give another perspective.
Preparation for Lecture 3
Next time, we’ll see how repeated squaring (to get `differentiation’) and the Cauchy-Schwarz inequality can be used to reduce Weyl’s inequality to a problem for linear polynomials, and then we’ll finish that off. We’ll also see how to use Weyl’s inequality to get a bound on for lying in the minor arcs.