Professional Documents
Culture Documents
CBMS
Regional Conference Serie s in Mathematic s
Number 8 4
Ten Lecture s
on the Interfac e
Between Analytic
Number Theory
and Harmonic Analysis
Hugh L . Montgomer y
Published fo r th e
Conference Boar d o f the Mathematica l Science s
by th e
American Mathematica l Societ y
Providence, Rhod e Islan d
with suppor t fro m th e
National Scienc e Foundatio n
Expository Lecture s
from t h e N S F - C B M S Regiona l Conferenc e
held a t K a n s a s S t a t e University , M a n h a t t a n , K a n s a s
May 2 2 - 2 5 , 1 99 0
Research partiall y s u p p o r t e d b y
National Scienc e F o u n d a t i o n G r a n t D M S 891 291 7
10 9 8 7 6 5 4 3 2 9 9 98 97 96
Contents
Preface x i
Notation xii i
Chapter 11 . Unifor m Distributio n
1 1. Qualitativ e theor y
2. Quantitativ e relation s 3
3. Trigonometri
1 c approximatio n 0
4. Note s 3
References 5
Chapter12 . va n de r Corpu t Set s 7
Introduction 7
Extremal measure s 2 3
Relations betwee n a , /?oo > #2 2 5
Corollaries 2 8
A sufficien t conditio n 3 1
Intersective set s 3 4
Heilbronn set s 3 5
Notes 3 7
References 3 7
Chapter 3 . Exponentia l Sum s I :
The Method s o f Wey l an d va n de r Corpu t 3 9
1. Introductio n 3 9
2. WeyP s metho d 3 9
3. va n de r Corput' s metho d 4 6
4. Exponen t pair s 5 6
5. Note s 6 0
References 6 1
Chapter 4 . Exponentia l Sum s II :
Vinogradov's Metho d 6 5
1. Introductio n 6 5
2. Vinogradov' s Mea n Valu e Theore m 6 9
3. A boun d fo r Wey l sum s 7 6
CONTENTS
4. A n alternativ e derivatio n 7 9
5. Note s 8 1
References 8 2
Chapter 5 . A n Introductio n t o Turan' s Metho d 8 5
1. Introductio n 8 5
2. Turan' s Firs t Mai n Theore m 8 6
3. Fabry' s Ga p Theore m 8 9
4. Longe r range s o f v 9 1
5. Turan' s Secon d Mai n Theore m 9 3
6. Specia l coefficient s b n 9 7
7. Note s 0 2
References 0 5
Chapter 6 . Irregularitie s o1 f Distributio n 0 9
1. Introductio n 0 9
2. Square s 0
3. Disk s 1
4. Deca y o f 1th
1 e Fourie r Transfor m 4
5. Familie s allowin g translation , scalin g an d rotatio
1 1 n 9
6. Note s 2 0
References 2 2
Chapter 7 . Mea n an d Larg e Value s
1 of Dirichle t Polynomial s 2 5
1. Introductio n 2 5
2. Mea n value s vi a trigonometri c approximatio
1 n 2 7
13. Majo r ant principle s 3 1
4. Revie w o f Elementar y Operato
1 r Theor y 3 4
5. Mea n value s vi a Hilbert'
1 s inequalit y 3 7
16. Larg e valu e estimate s 4 0
7. Note s 4 3
References 4 6
Chapter 8 . Distributio n o f Reduce d
Residue Classe s 1 i n Shor t Interval s 5 1
1. Introductio n 5 1
12. A probabilisti c mode l 5 3
3. A n approac h b y 1Fourie r technique s 5 4
1
4. Th e fundamenta l lemm a 5 6
5. Note s 6 0
References 6 1
Chapter1 9 . Zero s o f L- functions 6 3
1. Introductio n 6 3
2. Leas t Characte
1 r Non-Residue s 6 4
CONTENTS IX
1
3. Clump s o f zero s 6 8
4. Th e Deuring-Heilbron1n Phenomeno n 7 2
5. Note s 7 6
References 7 7
Chapter 1 0 . Smal l Polynomial s
1 with Integra l Coefficient s 7 9
1 1. Introductio n 7 9
2. Th e Gorskov-Wirsin
1 g Polynomial s 8 3
3. Note s 8 8
References 9 0
Appendix: Som e Unsolve1 d Problem s 9 5
11. Unifor m Distributio n 9 5
12. va n de r Corpu t Set s 9 6
3. Wey l Sum s 9 6
4.
1 va n de r Corput' s Metho d 9 7
15. Turan' s Metho d 9 7
6. Irregularitie
1 s o f Distributio n 9 8
7. Mea n an d Larg e Value s o f Dirichle t Polynomial
1 s 9 8
8. Reduce d Residue s i n Shor t Interval s 20 0
9. Zero s o f L-Function s 20 1
10. Smal l Polynomial s wit h Integra l Coefficient s 20 1
11. Characte r Sum s 20 2
12. Diophantin e Approximatio n 20 2
13. Metri c Diophantin e Approximatio n 20 4
14. Algebrai c Integer s 20 5
15. Trigonometri c Polynomial s 20 6
16. Miscellaneou s 20 7
References 2 0
Index 215
This page intentionally left blank
Preface
Speaker Title
J. Bec k New Applications of the Roth-Haldsz Method in
(Rutgers U. ) Irregularities of Distribution
P. X . Gallaghe r Duality for long second Moments of
(Columbia U. ) Short Interval Densities
H. Iwanie c Estimates for coefficients of L-functions
(Rutgers U. )
T. W . Korne r Universal Fourier Series
(Cambridge U. )
J.-F. Mel a Remarkable Subgroups of the Circle
(U. Pari s XIII )
I. Z . Ruzs a Nouveaux sets of Trigonometric Polynomials:
(MTA, Budapest ) Halfway between Random and Regular
B. Saffar i An Account of extremal Problems on Polynomials
(U. Pari s XI ) with restricted Coefficients
G. Tenenbau m Fourier Transforms of Divisor Distributions:
(U. Nancy ) A Survey of Applications
R. C . Vaugha n The Upper Bound for G(k) in Waring's Problem
(Imperial College )
xii PREFAC E
Hugh L . Montgomer y
Ann Arbo r
13 May, 1 99 4
Notation
The harmoni c analysi s pursue d her e involve s th e rea l lin e K , th e circl e grou p
T = R/Z , o r the finite Fourie r transfor m (calle d "additiv e characters" b y numbe r
theorists). W e le t
e(x) = e 2nlx
denote th e comple x exponentia l wit h perio d 1 , s o tha t i f / £ L 1 (T) the n it s
Fourier coefficient s ar e give n b y th e formul a
/(*;)= [ f(x)e(-kx)dx.
fi(k) = / e(—kx)d/j,(x).
Xlll
This page intentionally left blank
http://dx.doi.org/10.1090/cbms/084/01
(1) li m ±Z(N;a) = a
N—>oo IS
for ever y a, 0 < a < 1 . Le t UN denote the measure that place s unit point-masse s
at th e point s u\,U2, ... ,UN< Th e Fourie r transfor m o f thi s measur e i s define d
to b e
UN(k)= f e{-ka)dU N
N
(2) =VJe(-A;u n ).
n=l
Here e(^) = e 2nie denote s the comple x exponential with perio d 1 . Wey l [1 3 , 1 4 ]
characterized uniforml y distribute d sequence s a s follows .
W E Y L ' S CRITERION . The following assertions concerning the sequence {u n}
are equivalent:
(a) The sequence {u n} is uniformly distributed;
(b) For each integer k ^ 0 , UN{k) = o(N) as N —> oo ;
(c) / / F is properly Riemann-integrable on T then
1N r
(3) K m T ; X > K ) = F(a)da.
D(N;a) = Z(N;a)-Na.
l
2 CHAPTER 1 . UNIFOR M DISTRIBUTIO N
Put
A(N;a) = D(N;a) - \ supD(N;/?) -\hdD(N;l3).
Thus sup a A(7V ; a) = ±D{N) an d inf a A(JV ; a) = -%D(N). Bu t A(AT ; a) differ s
from D(N\a) b y a constant , s o th e integra l o n th e righ t abov e i s
= [ F(a)dA{N-a).
JT
= - [ A(N;a)dF{a).
JT
This integra l ha s absolut e valu e no t exceedin g
That is ,
N
(13) J2F(un)~N J F(a)da < ^D(N)VM T(F).
T
n=l ^
2
(15) f;l^^=2» /Wa)ada.
Hence i n particular ,
K
Y,\UN(k)\2^K2D{N)\
fc=i
so that ther e ar e a t mos t boundedl y man y /c , 1 < fc< K for whic h |C/TV(/C) | i s of
the orde r o f KD(N). (I n th e abov e we have employed Vinogradov' s < C notation,
which is synonymous with the Big-0 notatio n popularize d b y Hardy and Landau .
Precisely, w e writ e / < C g o r / = O(g) i f ther e i s a n absolut e constan t A such
that | / | < Ag uniforml y fo r al l value s o f th e fre e variable s unde r consideration .
The constan t A is referre d t o a s th e implicit constant.) Th e relation s (1 4 ) an d
(15) provid e goo d quantitativ e passag e fro m (d ) t o (b) .
The usua l derivatio n o f (a ) fro m (b ) involve s th e existenc e o f trigonometri c
polynomials T~(x),T + (x) suc h tha t
T-(x)<xM{x)<T+{x)
2. QUANTITATIV E RELATION S 5
for al l x, an d
+
[T (x)~T'(x)dx<e.
(17) fc=i
sin27r
+ 2 (K -hi) (^+ 1
) 2 ; ~ — Ax-f-i(^)sin27rx .
1K
(18) V K(x) = — - J ^ / ( * / ( A ' + l))sin27rA a:
k=i
Here \\x\\ denotes th e natura l metri c o n T , namel y ||:r| | = min nG ^ \x — n\. Whil e
VK(X) i s presumably no t quit e th e bes t L 1 approximatio n t o s(x), i t lend s itsel f
to constructin g th e bes t majorant , whic h i s given b y th e Beurling polynomial
VAALER'S LEMMA . If 0 < x < 1 / 2 then s(x) < VK( X) < B K(x), while if
1/2 < x < 1 then VK(X) < s{x) < BK(X). IfT{x) is a trigonometric polynomial
W
of degree < K such that T(x) > s(x) for all x then f TT(x)dx > 2 (K+I) ^
equality if and only ifT(x) = B^(x).
and
n=l
NK
n = l -K
K
= Y,S^{k)U N{-k).
-K
0.6
0.4 +
0.2 +
-0.2
-0.4 +
XJ(k) = (e(ka)~e(kp))/(2wik).
Hence
lx,(*)l =
] sin 7r/c(/3 — a) i
irk ^ min ( /? - Q 'i)
when k ^ 0. O n combinin g thes e inequalitie s w e fin d tha t
Then every arc 3 = [a , /?] of T of length (3—a > - ^y contains at least \N(f3 — a)
of the points u n, I < n < N.
2. QUANTITATIV E RELATION S 9
PROOF. I t suffice s t o show tha t D(N', a , (3) < \N{(3 - a). Pro m th e Theore m
we see tha t
D{N a
' ' ® - YTi + 2 (^ T I + 0 ~a) £ I £e{kUl
k=\'n=l
which b y hypothesi s i s
<
GfTTn<*TT + "-<">) w -
Since -^ < (/? - a)/4 , thi s give s th e desire d bound .
Let E K{N) denot e the right han d sid e of (24) , and pu t E(N) = min*; E K(N).
Thus E'(iV ) i s th e bes t uppe r boun d fo r D*(N) tha t ca n b e derive d fro m th e
Erdos-Turan inequality . A n alternativ e uppe r boun d fo r D(N) ha s bee n give n
by LeVequ e [7] , namely
1 /3
/ fi ° ° \
2
(26) D(N)<(±Nj2\UN(k)f/k ).
Let -L(iV) denote the right hand side above. W e now show that E(N) < C L(N),
so tha t th e boun d provide d b y th e Erdos-Tura n inequalit y i s alway s th e bette r
of th e two , apar t fro m a constan t factor .
THEOREM 2 . Let E(N) and L(N) be the upper bounds for the discrepancy
D(N) provided by the Erdos-Turan and LeVeque inequalities. Then
1 /3
(27) D(N) < E(N) « L(N) « N D(N)2/3.
E{N)<^Y^\\UN{k)\.
0 ( m o d p )
&(*)! = ( ^ ^ '
{p k = 0 (mo d p) .
Consequently E(p) « p xl2 logp , so that th e Erdos-Turan inequalit y gives the esti-
mate D(p) < C pxl2 logp , whic h i s a special cas e of the Polya-Vinogrado v inequal -
ity fo r characte r sums . Moreover , fro m (1 5 ) w e deduc e tha t f T6(p,a)2 da « p,
which implie s tha t D(p) ^ > pll2. W e not e tha t als o i n thi s example , th e boun d
provided b y th e Erdos-Tura n inequalit y i s clos e t o bes t possible . O n th e othe r
hand, L(p) ^ p 2 / 3 , s o that LeVeque' s inequalit y i s agai n inferior .
see als o tha t V ^ ( ^ y ) = 1 for 1 < r < K. Le t 0 < x\ < x 2 < . . . < x L < 1
denote th e distinc t point s i n (0,1 ) fo r whic h
(29) Vk(x) = 1 .
(30) V K{KTI)>0
m = l k~0 (mo d M )
Hence i f th e degre e o f T(x) i s < K the n
K+l
(32) £T(J^)=(K + 1)T(0).
A:=0
12 CHAPTER 1 . UNIFOR M DISTRIBUTIO N
2 =1
for 1 < i < K. W e insert this , an d pai r i with K + l — z to see that th e expressio n
(33) i s
-•* £(.<££)+.<^))(-»3£ir-
i=l
Suppose no w tha t 0 < r < (K + l)/2 . The n th e linea r combinatio n o f th e
sawtooth functio n i s
f 0 fo r 0 < i < r,
1/2 fo r i = r ,
= < 1 fo r r < i < if + 1 -r ,
1/2 for i = A T + l - r ,
I 0 fo r if+ l - r < z < i f +1 .
-2
Since ( s i n - ^ j ) i s conve x f o r r < x < K + 1 — r , th e su m above , whic h
approximates a n integra l b y trapezoids , i s large r tha n th e integra l
rtf+l-r, _ x _2
7T2 / (si n — — -J dx = 2n(K + 1 ) cot
K + l'
Since thi s i s precisely th e secon d ter m i n (31 ) , w e hav e establishe d (30) .
We have prove d tha t VK{X) > s(x) fo r 0 < x < 1 /2 . Sinc e VK{X) an d s(x) ar e
odd functions , i t follow s tha t VK(X) < s(x) fo r 1 / 2 < x < 1 . Sinc e AK(X) > 0
for al l x , i t als o follow s tha t BK(X) > s(x) fo r 0 < x < 1 /2 . W e no w prov e tha t
BK{X) > s(x) fo r 1 / 2 < x < 1 . Arguin g a s w e di d fo r VK(X), w e fin d tha t th e
equation BK{X) — x — 1 / 2 ha s a t mos t K - f 1 roots i n (0,1 ] . Sinc e i t ha s th e
K + l root s 7^T[ , 1 < r < i f + 1 , i t follow s tha t ther e ar e n o others . Thu s i t
suffices t o prov e tha t
(34) B '^TTi^>{)
4. NOTE S 13
r-l . 9
= sm 27rcot
^(STT) - * £ ( FTl) - FTT
i—K+2 — r
= 2 ^cot____cot__j.
This quantit y i s positive, sinc e cot TO is decreasing fo r 0 < x < 1 . Thu s w e hav e
(34), s o the proo f tha t BK{X) > s(x) i s complete .
It remain s t o demonstrat e tha t BK{X) i s th e uniqu e extrema l polynomial .
Suppose tha t T(x) i s a trigonometric polynomia l o f degree not exceedin g K, an d
that T(x) > s(x) fo r al l x. Sinc e T(0 ) = T(0" ) > s(0" ) = 1 /2 , i t follow s tha t
fc=0 fc=l
Hence b y (32 ) w e se e tha t J TT(x)dx > 2 (K+I) • ^ equalit y hold s here , the n
equality hold s i n (35) , an d henc e T(j^) = s(j^) fo r 1 < k < K + 1 , an d
T(0) = 1 /2 . Moreover , sinc e T(x) > s(x) fo r x i n a neighborhoo d o f jAy , w e
must als o hav e T f{j^) = 1 . Sinc e B/f(a: ) als o ha s thes e properties , w e deduc e
that T(x) — BK{X) ha s zero s o f multiplicit y a t leas t 2 a t eac h o f th e K point s
-^q-p 1 < k < K, an d a furthe r zer o a t 0 . Thi s give s a tota l o f a t leas t 2K - f 1
zeros. Sinc e a non-trivial trigonometri c polynomia l o f degree at mos t K ca n hav e
at mos t 2K zeros , i t follow s tha t T{x) = BK{X).
References
14. , Uber die Gleichverteilung von Zahlen mod. Eins, Math . Ann . 7 7
(1916), 31 3-352 ; Gesammelt e Abhandlungen , Ban d I , Springer-Verlag , Ber -
lin-Heidelberg-New York , 1 968 , pp . 563-599 ; Select a Herman n Weyl , Birk -
hauser Verlag , Basel-Stuttgart , 1 956 , pp. 1 1 1 -1 47 .
http://dx.doi.org/10.1090/cbms/084/02
= EE e(k(P(n + h)-P(n))).
n=lh=l—n
N-l
=E E e(k(P(n + h)-P{n))).
h=-N+l l<n<N
l-h<n<N-h
This manipulatio n i s know n a s 'Wey l differencing. ' Sinc e P(x - f ft) — P(x) i s a
polynomial o f degre e on e les s tha n tha t o f P(x), th e possibilit y o f inductin g o n
deg P arises . WeyP s argumen t wa s mad e mor e complicate d b y th e fac t tha t th e
differencing paramete r ft run s al l th e wa y t o N. However , a fe w year s later , J .
G. va n de r Corpu t [6 ] found a way t o limi t th e siz e of ft. Hi s basi c result , whos e
proof involve s on e (clever ) applicatio n o f Cauchy' s inequality , i s a s follows .
17
18 CHAPTER 2 . VA N DE R C O R P U T SET S
(2)
n = l fc=l
that T{x) > 0 for all x, and that T(0 ) = 1 . Then for any complex numbers
2 / 1 , 2 / 2 , - - . ,VN,
N, 2/ N H N-h
yn+hyn
1
n=l ' \ n= l h=\ n=l
1. INTRODUCTIO N 19
n^ m ' ^ n ' m n
N
m+n-
n=-H+l m
ym+h+nym+n'
hm
Here th e valu e o f th e innermos t su m depend s onl y o n th e differenc e h betwee n
the indices . Thu s th e abov e i s
a
= Yl ( YL ™+hOLrn ) f ^ Vn + hVn J •
From (4 ) w e se e tha t
y ^ Q m - f ^ q m = T(ft) .
(5) 6 = 6(H) = in f a 0.
1'N
lim sup — y^e(kun) < y/a^-
Since we may choose T G T with a o arbitrarily small , thi s giv e the desire d result .
We observ e tha t fo r an y give n se t IK , th e se t T(JC ) i s convex . Tha t is , i f
T{ G 7 fo r i = 1 ,2 , the n tT x + ( 1 - t)T 2 G 7 fo r 0 < t < 1 . Wit h th e ide a o f
linear programmin g i n mind , i t i s no t surprisin g tha t th e extrema l proble m o f
determining 6 ca n b e associate d wit h a dua l extrema l problem . Thi s run s a s
follows.
Let / i b e a probabilit y measur e o n T . Fo r k G Z w e defin e th e Fourie r coeffi -
cients o f fi t o b e th e number s
fi(k) ~ I e(—kx)dfj,(x).
JT
(6) 7 = sup/i({0}) .
We sho w no w tha t
(7) 7< *
M{0})< / T{x)d^[x)
^2f(h)n(-h),
h
JC = { l , 2 , . . . , m - l } ,
and put
% = {f t G Z + : m\h}.
Then 6CH) = 7(W) = S(X) = 7 ^ ) = 1 /m .
Thus, usin g th e result s tha t wil l b e establishe d i n th e nex t tw o sections , th e
set o f prime s i s no t a va n de r Corpu t se t (becaus e i t contain s n o multipl e o f
4). Similarly , th e se t o f number s n 2 + 1 is no t a va n de r Corpu t se t (becaus e i t
contains n o multipl e o f 3) .
PROOF. W e prov e tha t
Thus \i £ M{%). A s ^({0}) = 1 /ra , i t follow s tha t 7(0C ) > 1 /m . Thi s i s the firs t
inequality i n (8) , an d als o i n (9) .
Since J< C X, w e see tha t T(W ) C T(3C), and tha t M(3C ) C M(JC), an d henc e
that 6(%) < <5(!K) and 7(3C ) < 7(^K) . Thi s gives the second inequalit y i n (8) , an d
the thir d i n (9) . Th e thir d inequalit y i n (8 ) an d th e secon d i n (9 ) ar e provide d
by (7) .
Take T{x) = £ A m ( x ) . The n T < E T(Jf). A s a 0 = 1 /m , w e deduc e tha t
<5(!K) < 1 /m . Thi s give s th e final inequalit y i n (8) , an d als o i n (9) . Th e proo f i s
complete.
Suppose tha t a se t % o f positiv e integer s i s given . Le t I X = M{Ji) denot e
the collectio n o f infinit e sequence s {u n} suc h tha t {ix n+h — u n} i s uniforml y
distributed (mo d 1 ) fo r ever y h G %. Pu t
1N
(11) linisu p — y2\y n? < 1 ,
and suc h tha t
JV
(13) $ 2 = su p limsu p —
1I N
(14) /?o o = su p li m sup — HP y n
2. EXTREMA L MEASURE S 23
In § 2 we show tha t
(15) Hi = 7 = 6,
and i n § 3 we show tha t
for an y rea l numbe r fc. Hence ther e i s a numbe r d such tha t L(co s 2nhx) = d fo r
all h G IK. Sinc e 6 4- (1 — S) cos 27rhx G Q, we see tha t
(18) 6+(l-6)d<0.
(19) M =^ + ^ 0 -
= ] T (iV-|n|)/I(n)e(nx) .
|n|<JV
Since T(x) > 0 for al l x, b y Fejer' s theore m ther e exis t z k suc h tha t
N
^zke{kx) T(z).
fc = l
*N
<k<N-h z kzk+h — 0 for al l h G Oi. Finally w e not e
that I Y^k=i zk\2 = T ( ° ) ^ ^ 7 ' s o t h a t I EfcL i z fc| ^ 7 1 / 2 ^ - B y multiplying th e
Zk by a unimodular factor , w e may assum e that Ylk=i z * ^ 7 1 ^2Ar. Thi s give s a n
arbitrarily lon g finite sequenc e of the desire d sort . T o obtain a n infinit e sequenc e
with th e desire d properties , w e not e tha t ever y natura l numbe r n i s uniquel y o f
the for m n = m 3 + k, I <k < 3m 2 + 3 m + 1 . W e take N = 3m 2 + 2 m + 1 in th e
above construction , an d pu t
THEOREM 5 . Let % be a fixed set of positive integers, and let @2 and Poo be
defined by (1 3 ) and (1 4) , respectively. Then P\ ^ Poo < /#2-
PROOF. Sinc e y^ C y 2> it i s trivial tha t P^ < /?2 - T o establish a n inequalit y
in th e opposit e direction , pu t Ji(m) = {h £ ! K : h < m}. Sinc e < K[m) i s finite,
the se t 7(Ji(m)) i s compact , an d henc e th e minimu m i n (5 ) i s attained , sa y
by T(x). W e le t <5 m denote thi s minimum . Firs t w e sho w tha t m a x x e i T(a; ) =
T(0) = 1 . Le t x 0 b e fixed, x 0 G T , an d pu t T\(x ) = (T( x + x 0 ) + T( x -
x0))/(2T(xo)). The n T i 6 T(M(m)) , an d henc e a 0 (Ti) > <5 m. Bu t a 0 (Ti) =
5 m /T(xo), s o i t follow s tha t T(xo ) < 1 .
By Theorem 3 there is an extremal measure \x £ M(Ji(m)) suc h that /x({0} ) =
7m = <5m - Sinc e
T(x) dfi(x) = 7 „
7T
it follow s tha t / / mus t hav e al l it s mas s a t zero s o f T(x) , apar t fro m it s mas s a t
0. Tha t is , / x is o f th e for m
M = 7m£o + ] ^ m A -
JV-+OC i V
W^El N
I
5^e(ftun) L
n=lI
Hence b y (22 ) w e deduce tha t
1
D(N)
lim sup —^ < — — - - f /?« , log 2K.
E(e(0u)) = / e(a; ) (l - f » y n c ( - x ) ) dx = J y n ,
and fo r / c > 1 ,
n=l n = l
28 CHAPTER 2 . VA N DE R CORPU T SET S
Moreover,
iynVn+h iff c = i ,
E(e(fc(»n-*n+fc)))={J
ifJfc > 1 ,
so tha t
TV
^e(fc(0n-0n+^)=o(AO a.s.
n=l
for eac h k ^ 0 . Henc e th e sequence s 0 n — # n+/i ar e almos t surel y uniforml y
distributed. B y takin g u n — 0n i n Koksma' s inequalit y (recal l (1 .1 4) ) w e find
that
N
Thus
AT
Thus
U(x) = a o + V ^ a/i cos 27r/ia:.
q\h
4. COROLLARIE S 29
Put V{x) = U(x)/U(0). The n V € 7(H q). Moreover , fro m (23 ) w e see tha t
1/(0) > T(0)/q = 1 /q. Henc e
ro. ^—'
This is an extremal measure in M(q (K). Sinc e distinct choice s of G give rise to dis-
tinct measures , ther e ar e man y suc h measures . No t al l thes e measure s ar e even ,
but severa l o f the m are . Onc e tw o extrema l measure s hav e bee n constructed ,
any conve x combinatio n o f them i s als o extremal , an d henc e ther e ar e infinitel y
many extrema l measures .
In contrast , th e extrema l measur e i n M(IK ) is unique . T o se e this , suppos e
that \x is extremal . W e kno w tha t T(x) = ^A m(x) i s a n extrema l membe r o f
T(IK). O n examinin g th e proo f o f (7) , w e realiz e tha t fo r equalit y t o occu r i n
(7) th e measur e \x must plac e al l it s mas s a t zero s o f T(x) , apar t fro m th e mas s
l / m a t 0 . Bu t (recal l (1 .1 6) ) th e zero s o f T(x) ar e th e point s a/ra , 0 < a < m.
Hence fi i s of th e for m
a=l
where w(Q) = l / m , w(a) > 0 for al l a , an d J2 aw(a) ~ * • Henc e
m j
and consequentl y
771 — 1 ,
m— i
'ak\
k=0
But /x(0 ) = 1 , an d /I(fc ) = 0 for 0 < k < m sinc e / x G M(IK). Henc e w(a) = l/m
for all a, 1 < a < m, an d \x is the measure already used in the proof of Theorem 2 .
Suppose that a set IK of positive integers is given, and that a cosine polynomia l
T G 7{%) an d a measur e / x G M(IK) ca n b e foun d s o that f (0 ) = /z({0}) . The n
this commo n valu e mus t b e 6(3i), a s w e see fro m th e proo f o f the inequalit y (7) .
We us e thi s approac h i n th e followin g example .
30 CHAPTER 2 . VA N DE R CORPU T SET S
is a member o f M(IK).
COROLLARY 3 . 7/IK i an d IK2 ar e sete of positive integers, and ifK = IKi U
IK2, i/ie n <5(IK ) > 6( iHi)8(<H2)' Hence ifK is a van der Corput set then at least
one ofH\, IK 2 is also a van der Corput set.
PROOF. Le t ^ G M(IK;) b e the extremal measure s whos e existenc e i s guar -
anteed b y Theore m 3 , and put \i = JJL\ * ^2- The n fj, G M(!K), an d /J<({0}) >
M1({0})M2({0}).
COROLLARY 4 . IfK\ and IK2 ar e disjoint subsets of { 1, 2 , . .. , N}, then
Hq = {heH:q\\h}.
If there are infinitely many positive integers q such that for each fixed irrational
real number x the sequence JiqX is uniformly distributed (mo d 1 ) , then I K is a
van der Corput set.
32 CHAPTER 2 . VA N DE R CORPU T SET S
Q = {q E Z + : IK^x u . d . V x E R \ Q}.
Furthermore, pu t
A(fr;9)= ^ l ,
l<h<if
heJiq
and se t
fH{x\q)= j / f f v ] T COS2TT/IX .
Jim f H{x]q) = 0
Hew
for al l rationa l number s Xj. (Thi s constructio n i s know n a s "Hell y selection." )
By settin g f q(x) = 0 if x i s irrational , w e find tha t
Jim f H{x',q) = f q(x)
0 = Ji m / f H(x;q)dfi= / Ji m f H{x\q)dfi
H—+OQ / T P /T F if—*0 0
po or
=f q(x)dfi = J2 £ f q{a/r)^{{a/r}).
j T
r=l a=l
(a,r)=l
l
±4- ;- b)h\ _ ,J 1
q £-J V q
[n
/ {
i f n = 6 (mo d g),
0 otherwise ,
it follow s tha t
53 e (Pkx) = - ]Te(p/cx) Se ( ~ )
p=b (mo d q)
^ h=l ^ p<x
d{A) = l i m s u p - - ^ .
(24) t = su p d(A).
A
Mn(A-A)=Q
We establish a n inequalit y betwee n t an d th e quantitie s alread y considered .
d(A)-^2 \ine A,
yn = I
= a o + 5^a h^7(fc)e(fcW).
hk
co s
= a o + Y ^ a>h Y^ fW 27rfc/i0 .
hk
>e.
Suppose tha t e > aQ. Then ther e mus t b e a t leas t on e h i n th e su m i n (29 ) fo r
which an > 0 an d f(h0) > 0 . Fo r suc h a n h w e se e tha t h £ ! H and \\hd\\ < e .
Since thi s hold s fo r ever y e > ao , i t follow s tha t inf/^ ^ \\h0\\ < ao- Sinc e thi s
holds fo r ever y T € T(9{) , i t follow s tha t infheJt \\h>0\\ < 6. Finally , sinc e thi s
holds fo r ever y rea l numbe r 0 , i t follow s tha t rj < 6, an d th e proo f i s complete .
To dismis s an y possibilit y o f a converse , w e construc t a se t tha t i s Heilbron n
but no t intersectiv e (an d henc e no t va n de r Corput) .
EXAMPLE 3 . Le t
A={aeZ+:\\aV2\\<±, | | a v 5 | | < ^ }.
Since 1 , >/2, \/3 are linearly independent ove r Q, we know by the stronger for m of
Kronecker's theore m tha t th e points (ny/2, ny/3) ar e uniformly distribute d i n T 2 .
Hence A ha s asymptoti c densit y d(A) — 1 /1 00 . Moreover , i f a G A an d a! E A
then ||( a - a')y/2\\ < 1 /1 0 an d \\(a - a')\/3| | < 1 /1 0 , s o tha t % D (A - A) = 0 .
Hence t(0i) > 1 /1 00 , an d w e see tha t 3i i s no t intersective .
References
(1) S=£>(P(n) )
71=1
fe(nQ) = £ ( ^ ± M ^
^v }
e(a) - 1
71=1V '
= e v( (iV + l)a/2)^^,
' si n ira
we see tha t i f P(x) — ax + / ? the n
Isin7ra| 2||a |
39
40 CHAPTER 3. WEYL AND VAN DER CORPUT
where ||a| | denote s th e distanc e fro m a t o th e neares t integer . I f ||a| | < 1 /(2N)
then th e abov e boun d i s wors e tha n th e trivia l boun d | 5 | < iV . I n eithe r cas e
we find tha t
(2) £ e ( a n + /?)|<min(AT,—) .
N-l i N-h
q-l
« A T + E m-
771=1
By applyin g thi s t o < 2N/q - f 1 blocks eac h o f lengt h < q, we deduc e tha t
2N
1 N
min N
^
h=i ( 'm^) (j +
<< l
)(N + qlogq
)
2
N
< + N lo g q + q log q.
2. WEYL' S METHO D 41
(6) '
V
Suppose tha t a satisfie s thi s constraint , an d tha t (a,q) = 1 . Le t M b e a fixed
integer, le t u b e a fixed real number , an d le t N(u) denot e th e numbe r o f integer s
n, M <n < M + q, such tha t \\na - u\\ < l/(2q). The n
1
V?• f,r \ ,r V ^ N(m/q) + N((q-m)/q)
(7) > m m i V , - -)<%:N + qy v IH}
— ^-^ .
We show tha t
for an y u. T o thi s en d w e writ e a = a/q - f 6, s o tha t \6\ < l/q 2. W e als o writ e
n = M + m, u = y + Mft, s o that th e assertio n ||n a — u\\ < l/(2q) i s equivalent t o
11ma — v\\ < l/(2q). Sinc e \\m6\\ < q6 < l/q, i t follow s b y the triangl e inequalit y
that \\ma/q — v\\ < 3/(2q). Ther e ar e a t mos t 3 numbers o f th e for m r/q i n th e
interval (v — ^- , v + y-) . Th e numbe r ma/q mus t coincid e (mo d 1 ) wit h on e of
these numbers . Thu s m mus t fal l i n on e o f a t mos t thre e residu e classe s (mo d
q). Sinc e 0 < m < q, it follow s tha t ther e ar e a t mos t 3 admissible value s o f m ,
and w e have (8) .
By insertin g (8 ) i n (7) , w e se e tha t th e estimat e (5 ) stil l applies . B y consid -
ering < (H/q + 1 ) block s o f lengt h < q, we deduce tha t
TT
m[n N
(9) y2 ( 'jri\) « +#logc / + A r + <zlog< ?
^V \\ha\\J q
provided tha t a satisfie s (6) .
By applyin g (9 ) t o (4) , w e obtain th e followin g fundamenta l result .
THEOREM 1 . (Weyl ) Suppose that P{x) — ax 2 + f3x + 7 where a satisfies (6 )
for some relatively prime integers a and q. Then
N„
e
(10) Yl ( P ( n ) ) « "7 = + y/Nlogq + y/qlogq.
THEOREM 2 . Suppose that P{x) — Ylj=:O ajx^ ^at \a — a/q\ < l/q 2, and
that (a , q) = 1 . Then
42 CHAPTER 3 . WEY L AN D VA N DE R CORPU T
where 6 = 2 i-k
hi ,h,2 TL
r2r-l
hi,... ,h r ' n
|5| 2 <*iV2 +N 2
E
l l , . . . ,Alfc_ !
min N.
\\k\hih2 • • - h k-iak\
h=i
and b y (9 ) thi s i s
-fc + e
^N^-i+N^+'q-i+N21"1- 1+e log<7 + 7V 2 glogg.
h=l'n=l h=l'r=l
<?I>(r)i2-
r=l
>(X>(r)) 2 =iV 2 .
in)
71=1^
To se e this , writ e n = mp kl
+ r . The n an k = akmp k l rk x -f ar k (mo d p k),
so th e su m i s
A^ \ p k J Z^ \ p kJ
44 CHAPTER 3. WEYL AND VAN DER CORPUT
PXH^-HV-2^-1.
r=l
p\r
m~\ m=l n= l
iV p *
^TTl + n ) *
n = l 771 = 1
By (1 1 ) thi s i s
N
diYJpk~l = N k
P -\
n=\
Thus
(a(mJrn)K\
E
n=lF
e
{—pk— >N/p
M(a2>...,afc)«M(/32,...,/3fc).
£ e ( P ( n ) + an) = £ / ( ^ ) e ( Q ( n ) + an )
n=l n = l
= X>(Q(n) + an)£/>)e(^)
n = l 77 i
= £/(™)X>(<K») + ( « + ^ ) 4
m n= l
This ha s absolut e valu e
n=a
in whic h / i s smooth i n a n appropriat e sense , bu t no t necessaril y a polynomial .
van de r Corpu t propose d tw o processe s b y whic h th e proble m o f estimatin g a
given exponentia l su m i s reduced t o tha t o f estimating som e other su m o r famil y
of sums. Proces s A proceeds b y an applicatio n o f van de r Corput' s Lemma ; her e
the simple r Wey l shif t doe s no t suffice .
THEOREM 7 . (Proces s A ) Let fh(x) = f(x + h) — f(x) where f(x) is a real-
valued function on [a , b]. Let H be an integer, H < b — a, such that
e
(13) E (/H)«^7?-
n=a
N
^ e ( / ( n ) ) « ( t - a ) r ^ + [ ^ f | 2 e ( / h ( n ) ) '
a \ h=l 'n=a
This give s th e state d result .
As Proces s B i s mor e involved , w e firs t sketc h th e approach . Le t r(x) =
e-(/(x)) fo r a < x < 6 , r(x) = 0 otherwise , wher e a an d b are integers , a < b.
Then b y th e Poisso n summatio n formula ,
b
Ee(^)) = Er ( n ) = EF(j/)-
3. VAN DER CORPUT'S M E T H O D 47
^iv) = / e
(f(x) ~ vx
) dx
Ja
has a stationar y phas e a t x — xu, an d w e find tha t
e{f{xv)-vxv + l/&)
r{v) = — - , + erro r terms .
Suppose tha t 0 < A 2 < f"{x) < AX2 fo r a < x < b. The n b y partial summation ,
the su m abov e i s
1
«C —7= ma x 5>(*("))
As th e erro r term s ar e generall y smal l enoug h t o b e ignored , w e find tha t a n es -
timate fo r th e su m ]> Z e(#(z/)) yield s a n estimat e fo r th e origina l su m ^ e ( / ( n ) ) .
If w e appl y Proces s B t o th e ne w su m X^ e (#(^)) the n w e a r e take n bac k
to ^ e ( / ( n ) ) - Thu s ther e i s n o poin t i n applyin g thi s proces s twic e i n succes -
sion. Also , an y boun d fo r ^ e ( / ( n ) ) * s equivalent t o a correspondin g boun d fo r
J2e{9(u))- Fo r example , w e hav e th e trivia l boun d
(14) £ e ( 0 ( i / ) ) « / ? - a+ l.
Le t g(x) = r(x)/6'(x). W
PROOF. e ma y expres s th e integra l abov e a s a
Riemann-Stieltjes integral ,
±-.J g(x)de(6(x)).
sjf*<"
9(a) + 9(b)
/ r(x)e(0(x)) dx
2T T 2T T
Ja
Since g(x) i s monotonicall y decreasing , thi s las t integra l ha s valu e g(a) ! > ( » ) •
1/
rb I A
e(f(x))dx\ <
IJ a
In Theore m 9 we see that a more precis e estimate ca n b e give n fo r a n integra l
of thi s kind , i f additiona l hypothese s ar e introduced . Th e prototypica l integra l
of thi s kin d arise s whe n f(x) = x 2. I n Figur e 1 we se e tha t th e curv e Z(t) =
2
/ e(x ) dx spiral s tightly , excep t nea r th e inflectio n poin t a t t = 0 .
P R O O F . Le t 6 > 0 b e a paramete r t o b e determine d later , an d le t 3 be tha t
portion o f th e interva l [a , b] fo r whic h l / ' ^ ) ! ^ ^ - Thu s 3 is a n interva l whos e
length i s < 26 /A2. W e estimat e th e contributio n o f thi s interva l trivially :
2
FIGURE 1 . Fresnel' s Integra l Z(t) = f ^ e(x ) dx, fo r - 2 < t < 2.
ux dx
(16) £ e(/(n) ) = J2 [ a
<f^ ~ ) + °( 1 0 S( 2 + /?-<*)) •
a<n<6 a-l<i/</3+ l
n - K
If k > /? then (f' — k)/f i s increasing, so by Lemma 1 this integral i s <C (3/(k—/3).
Hence th e su m o f th e contribution s mad e b y thes e integral s i s
k£[a-l,P+l] fcg[a-l,/3+l]
0<|A:|<K 0<\k\<K
Since \a + /? | < 1 , we may pai r eac h k i n these sum s wit h —A; , except fo r a t mos t
one /c , whose contributio n i s bounded . Henc e th e abov e i s
f
J —c
V0 fro)
3. VAN DER CORPUT'S METHOD 51
[ e(q(x)) dx <C
X2(b~x0)'
If xo i s nea r b then thi s estimat e i s weak , an d w e us e Lemm a 2 instea d t o se e
that
1 f°°
/ e(q(x)) dx < C -7==.
Jb vA 2
We ma y trea t J^ • • • similarly, an d thu s w e find tha t
(19) /V^iM^tVfi+OW )
where
(20) R x = mi n ( — - , - = ) + mi n ( — - - , -=).
a ) ' y/X^J) VA
\2(XQ - J\
\\2\x0-a) VA 2(6 - X 0 )'vAo
(6-xo) y/A 2''
2 2
In th e genera l situation , g(x) i s no t a quadratic polynomial , bu t i f th e highe r
derivatives o f g ar e no t to o larg e the n th e expressio n abov e provide s a good
approximation t o th e integra l i n question .
THEOREM 9 . (Stationar y Phase ) Let g(x) be a real-valued function on [a,b],
and suppose that g f(xo) = 0 for some XQ e [a,b]. We suppose that (1 8 ) holds
throughout this interval, and in addition that \g^(x)\ < A3 and that \g^(x)\ <
A4 for all x G [a, 6]. Then
b
(21) f e(g(x)) dx = <^Xf^S) + 0 (Rl) + 0(R 2)
J a V9 (Xo)
where R\ is given by (20 ) and
(22) R 2 = {b- a)\2 2\4 + (b - a)A^ 3A§.
If instea d o f (1 8 ) w e hav e
(23) g"{x)<-\ 2<0
m e(g(x 0) - 1 /8 )
In mos t applications ,
(3)
(28) r'(x) '• [ (l-u)g (xu)du.
Jo
In vie w o f (1 9) , i t suffice s t o sho w tha t
e{q{xj)(e(r{x))-l)
(30)
27rig"(0)x
e(r(x))r'(x) e(r(x) )— 1
mf.w>
Here th e uppe r endpoin t contribute s a n amoun t
x 2-xix2
dx.
1
< g"(0)b « i * i ,
h(x)e(g(x)) _ f° d d ,h(x)\
fh(x)\e(g(x))
dx.
j(x)2iri Ja dx\j(x)J 2m
E ( 7 ) - T - £ « W + *,-'.
dx \j
3. VA N DE R C O R P U T ' S METHO D 53
so tha t
Ti < C A^A3 + A 4AJ1 (6 - a) 4 - A§A^2(6 - a) .
To boun d T2 , le t J — [c , d] denote tha t portio n o f th e interva l [a , 6] for whic h
|x| < <5 , where< 5 i s a parameter t o b e determine d later , an d le t 3 be th e comple -
ment, 3 = [a , b] \ 3. Pu t k(x) = r(x)/x 3. Fro m (27 ) w e se e tha t /c(x ) < C A3, and
that fc'(a;) < A 4. Se t ra(x) = (e(x) - l)/x. The n ra(x) < 1 , an d m'(x ) < 1 .
The contributio n o f 3 to T 2 i s
e(g(s))
m{r(x))k{x)\
2^(0)
\c
1
/ e(g(x))fm / (r(x))r / (x)/c(x) - f m(r(x))k'(x) J dx
2TT^"(0)
<A 2 % + A^ 1 / A 2 2
x + A 4 dx
Here th e secon d erro r ter m i s the sam e siz e a s tha t o f an y particula r ter m i n
the su m o n th e right , whil e th e firs t erro r ter m i s onl y slightl y large r tha n th e
size o f th e term s i n th e su m o n th e left .
200 0
FIGURE 2 . Partia l sum s o f ^ 71=1001
e(80001ogn).
occurs whe n n i s nea r 1 067 , nea r 1 231 , nea r 1 455 , an d nea r 1 778 . Indeed , i n
each o f th e range s 1 06 7 < n < 1 231 , 1 23 1 < n < 1 455 , 1 45 5 < n < 1 77 8 th e
partial sum s resembl e a scaled an d rotate d cop y of the grap h o f Presnel's integra l
(recall Figure 1 ) . I n Theorem 1 0 we see that suc h a way of thinking ca n b e mad e
rigorous.
In general , th e fractiona l part s o f th e number s f(x v) — vx v ar e widel y dis -
persed, s o tha t th e righ t han d sid e o f (31 ) involve s a n exponentia l su m i n whic h
the degre e o f cancellatio n remain s t o b e determined . However , w e ca n contriv e
examples t o th e contrary . I f f(x) = (x/3) 3^2 the n f(x v) — vx v = — 4v3 G Z, an d
there i s no cancellation o n the righ t han d sid e in (31 ) . B y applyin g Theore m 1 0 ,
one ma y sho w tha t
N
^ e ( ( n / 3 ) 3 / 2 ) = 2 1 / 4 3 - 3 / 2 7 V 3 / 4 + 0(7V 1 / 4 ).
2 04-
15+
10+
-fe 1 1 I I —
5 1 0 1 5 2 0 2 5
N
^e((2n/3)3/2)«.¥1/4.
n=l
56 CHAPTER 3. WEYL AND VAN DER CORPUT
FIGURE 4 . Th e su m £ n = i e((2n/3) 3 / 2 ).
Since
A(x) = - 2 ^ ((x/n)) + O(l )
n<yfx
where
this lead s u s to see k bounds fo r sum s o f the for m J ^ e(c/ri). Similarly , i n connec-
tion wit h th e distributio n o f squarefre e number s w e wis h t o boun d J2 e(c/n<2)-
In al l thes e case s th e functio n / tha t arise s ha s th e propert y tha t f'{x) = T/x a
for som e T > 0 , a > 0 . (Thi s las t inequalit y i s critical , a s i t eliminate s fro m
consideration th e bizarr e situation s displaye d i n Figure s 3 an d 4. ) I f w e pu t
fh(x) = f(x + h) — f(x) the n fh i s n o longe r o f thi s form , thoug h i t i s approxi -
mately o f thi s form . W e no w describ e th e clas s o f function s tha t w e ar e willin g
to consider .
4. EXPONEN T PAIR S 57
(35) 0<k<^<l<l.
!>(/(»))< (IT)*"'
uniformly for all f G &(N, <r , T; i?, 6). ( The implicit constant may depend only
on k, I, a.)
By usin g Proces s A w e discove r tha t i f (fc , /) i s a n exponen t pai r the n s o als o
is (2FP2 ' fc2fc+21) •^ a PPty m g Proces s B we find that i f (/c , /) i s an exponen t pai r
then s o also is (/ —1/2, fc-f 1 /2) . I n view of the trivial boun d | J2a<n<be(f(n))\ -
N, w e se e tha t (0,1 ) i s a n exponen t pair . Henc e b y Proces s B , (1 /2,1 /2 ) i s a n
exponent pair . B y applyin g Proces s A t o thi s pai r w e obtain th e exponen t pai r
(1/6,2/3). Som e furthe r exponen t pair s ar e exhibite d i n Tabl e 1 .
Suppose tha t (/c , I) i s an exponen t pair . I f k < k l < 1 / 2 an d I < V < 1 / 2 the n
(k',l') i s clearl y a n exponen t pair , becaus e th e associate d estimat e i s weaker .
Suppose tha t (fci , Zi) an d (^2,^2 ) ar e exponen t pairs , an d choos e t € [0,1 ] . The n
k I OPERATION
0/1 1/1
1/254 247/254 AAAAAAB
1/126 20/21 AAAAAB
1/86 161/172 AAAABAAB
1/62 57/62 AAAAB
1/50 181/200 AAABABAAB
1/42 25/28 AAABAAB
2/53 181/212 AABABAAAB
1/24 27/32 AABABAAB
1/22 101/121 AABABABAAB
1/20 33/40 AABAAB
13/238 97/119 AABAABAAB
11/186 25/31 AABAAAB
4/49 75/98 ABABAAAB
11/128 97/128 ABABAABAAB
1/11 3/4 ABABAAB
1/10 81/110 ABABABAAB
13/106 75/106 ABAABAAB
11/86 181/258 ABAABABAAB
11/78 161/234 ABAAABAAB
22/117 25/39 BABAAABAAB
26/129 27/43 BABAABABAAB
11/53 33/53 BABAABAAB
13/55 3/5 BABABABAAB
1/4 13/22 BABABAAB
33/128 75/128 BABABAABAAB
13/49 57/98 BABABAAAB
19/62 52/93 BAABAAAB
75/238 66/119 BAABAABAAB
13/40 11/20 BAABAAB
81/242 6/11 BAABABABAAB
11/32 13/24 BAABABAAB
75/212 57/106 BAABABAAAB
11/28 11/21 BAAABAAB
81/200 13/25 BAAABABAAB
13/31 16/31 BAAAAB
75/172 22/43 BAAAABAAB
19/42 32/63 BAAAAAB
60/127 64/127 BAAAAAAB
1/2 1/2 B
4. EXPONEN T PAIR S 59
0.9 +
0.8|
0.7 +
0.6+ \ ^
0,9-
0.8
0.7
0.6
° ' 5 ' 6 0^ 1
1 0 2 0l 3 0.' 4 O'.b
k
FIGURE 6 . Boundar y o f th e se t o f Exponen t Pair s derive d fro m th e
pair (9/56- f e,37/56-fe) .
References
30. H . Iwaniec and C. J. Mozzochi , On the divisor and circle problems, J . Numbe r
Theory 2 9 (1 988) , 60-93 .
31. J . H . Loxton, The distribution of exponential sums, Mathematik a 3 2 (1 985) ,
16-25.
32. J . H . Loxto n an d R . C . Vaughan , The estimation of complete exponential
sums, Canadia n Math . Bull . 2 8 (1 985) , 440-454 .
33. M . Mendes-France , Entropy of curves and uniform distribution, Topic s i n
Classical Numbe r Theor y (Budapest , 1 981 ) , North-Holland , Amsterdam ,
1984, pp . 1 051 -1 067 .
34. , Entropie, dimension et thermodynamique des courbes planes, Semi -
nar d e Theori e d u Nombre s (Paris , 1 981 -1 982) , Semina r Delange-Pisot -
Poitou, Birkhause r Verlag , Boston , 1 983 , pp. 1 53-1 77 .
35. , Folding paper and thermodynamics, Phys . Rep. 1 0 3 (1 984) , 161-172.
36. R . R . Moor e an d A . J . va n de r Poorten , On the Thermodynamics of curves
and other curlicues, Miniconferenc e o n Geometr y an d Physic s (Canberra ,
1989), Proc . Cente r Math . Anal . Australia n Nat . Univ . 22 , 1 989 , pp . 82 -
109.
37. L . W . Nieland , Zum Kreisproblem, Math . Ann . 9 8 (1 928) , 71 7-736 .
38. E . Phillips , The zeta-function of Riemann; further developments of van der
CorpuVs method, Quart . J . Math . 4 (1 933) , 209-225 .
39. R . A . Rankin , van der CorpuVs method and the method of exponent pairs,
Quart. J . Math . (2 ) 6 (1 955) , 1 47-1 53 .
40. E . C . Titchmarsh , On van der CorpuVs method and the zeta-function of
Riemann, II, Quart . J . Math . 2 (1 931 ) , 31 3-320 .
41. , On Epstein's zeta-function, Proc . London Math . Soc . (2 ) 3 6 (1 934) ,
485-500.
42. , The lattice-points in a circle, Proc. London Math. Soc . (2) 3 8 (1 935) ,
96-115; Corrigendum, 555 .
43. , On the order of C( | + it), Quart . J . Math . 1 3 (1 942) , 1 1 -1 7 .
44. , The Theory of the Riemann Zeta-Function, Second Edition (D . R .
Heath-Brown, ed.) , Oxfor d Universit y Press , Oxford , 1 986 .
45. R . C . Vaughan , The Hardy-Littlewood Method, Cambridg e Trac t 80 , Cam -
bridge Universit y Press , Cambridge , 1 981 .
46. , Some remarks on Weyl sums, Topic s i n classica l numbe r theor y
(Budapest, 1 981 ) , North-Holland , Amsterdam , 1 984 , pp. 1 585-1 602 .
47. A . Walfisz , Zur Abschdtzung von C( ^ + ^) > Nachr . Akad . Wiss . Gottinge n
(1924), 1 55-1 58 .
48. , Weylsche Exponentialsummen in der neueren Zahlentheorie, Deut -
cher Verla g Wiss. , Berlin , 1 963 .
49. N . Watt , Exponential sums and the Riemann zeta-function II, J . Londo n
Math. Soc . (2 ) 3 9 (1 989) , 385-404 .
50. H . Weyl , liber ein Problem, a.us dem, Cebiete der diophantisr.hen Approx-
imationen, Nachr . Ges . Wiss . Gottingen , Math.-phys . Kl . (1 91 4) , 234-244 ;
64 CHAPTER 3. WEYL AND VAN DER CORPUT
£>(^)«^-".
The polynomia l P(x) considere d abov e ha s constan t ter m 0 . Thi s occasion s
no los s o f generality , sinc e a non-zer o constan t ter m woul d merel y multipl y th e
exponential su m b y a unimodula r constant .
PROOF. Writ e a = ( a i ; . . . , a^), pu t P(x, a ) = Ylj=\ j '> an< ^ se ^
a xJ
5(a) = X ) c ( P ( n , a ) / p ) .
71=1
'(gj(m)-gj(n))flj
The su m ove r a 3 vanishe s unles s Sj(m) = Sj(n) (mo d p). Thu s th e abov e i s
k L
(3) P J2
m,n
Sj(m)=Sj(n)(p)
(l<j<k)
65
66 CHAPTER 4. VINOGRADOV'S METHOD
for 1 < j < k. (Fo r convenienc e w e se t <7Q = 1 . ) Sinc e p > k, thes e identitie s
allow us to show , b y induction o n j , tha t i f Sj(m) = Sj(n) (mo d p) fo r 1 < j < /c
then cTj(m ) = <7j(n ) (mo d p ) fo r 1 < j < k. Bu t the n th e tw o polynomial s
Y[(x ~ m i)> Yl( x ~~ n i) a r e identicall y th e sam e (mo d p) , s o tha t th e m % and th e
Hi ar e th e same , u p t o permutations . Henc e fo r an y choic e o f m ther e ar e a t
most A: ! choices o f th e n fo r whic h Sj(m ) — Sj(n) (mo d p) fo r 1 < j < k. A s
there ar e p k choice s o f m i n (3) , we have (1 ) . Sinc e 5(0 ) = p , i t i s clear tha t th e
sum i n (1 ) i s a t leas t a s larg e a s p 2k.
Suppose tha t r , s are integer s wit h p\r. Pu t F r s ( x ) = P(rx + s) — P(s). Sinc e
the ma p x H ^ rx -f - s merel y permute s th e residu e classe s (mo d p), w e se e tha t
1
(4) E K ^ T ) =e{-P(s)/p)J2e(P{n)/p).
n=l ^ n= l
2fc 2k
(5) |5(c)| < ^p .
ckrk = b k (mo d p)
ckkrk-1s + c k^irk~1 ~ 6 fc_x (mo d p) .
and le t
In § 2 we shal l prov e
THEOREM 2 . (Vinogradov' s Mea n Valu e Theorem ) Let k and b be arbitrary
positive integers. In the notation (6)-(8 ) above, we have
2
(9) J k(N;b) < k<b N^-V-WW
where 6 = e~ 6///c .
If w e expan d th e powe r i n (8 ) an d exchang e th e orde r o f summatio n an d
integration, w e find tha t
fi={aeTfc:K||<^-}.
2
I q\ q
2. VINOGRADOV' S MEA N VALU E THEORE M 69
£e(P(n))«^-(I + !^ + ^ ) ^,
71=1 ^ '
r{\)= [ T(a)e(-A-a)da .
26
J fc (iV;6)= / |S(a)| da-y>(A)2,
v
A /x=l7
M
A M= 1
M
= Af£>(S M ).
7V(S;/x) = £ r ( A ) r ( A - M )
A
2
AT(S; M )= / | T ( a ) | e(-Ai-a)da,
JT fc
2
< / \T(a)\ dct = N(S).
fc
7T
2. VINOGRADOV' S MEA N VALU E THEORE M 71
3=1 3 =1
if an d onl y i f (m , n) i s a solution .
With thes e observation s i n hand , w e establish th e simples t estimate s fo r th e
mean valu e J k(N;b).
LEMMA 2 . Let J k(N;b) be defined as in (8) . Then
(a) J k{N- b) < k\N 2b-k for b>k.
(b) Jk(N-b) <b\N b forb<k.
(c) Jfc(iV;6)>7V6.
(d) J k{N-b) > (2 6 + l)- fc iV 26 - fe ( fc + 1 )/ 2 .
£ > ( S ; M ) = JV26.
Since w e may suppos e tha t |/x^ | < bN h, w e see by Lemm a 1 (c ) tha t th e abov e
sum i s
< JV(S ) J2 X = N($)(2b + l) fcW*<*+1 >/2.
LEMMA 3 . (Linnik' s Lemma ) Suppose that p > k, and let M(X) denote the
number of solutions of the system of congruences
where the rrij are distinct (mo d p) and 1 < m 3 < pk. Then for any X,
M(\)<k\pk^-^/2.
JkiN^^^N^N^-l^fj^N'-^b-k).
Let T* consist of those members of T for which the first k coordinates mi,... , mk
are distinct . T o each poin t m G T we associate a point m * E T* b y moving th e
first k distinct coordinate s o f m int o the first k positions. Th e equations (1 6 ) are
invariant unde r suc h permutation s o f coordinates, s o the pair (m , n) i s counte d
2. VINOGRADOV' S MEA N VALU E THEORE M 7 3
(21) \jT(p) = T.
(22) nHn^-™*) -
pE? i<3
But
l[p>(2N^kf >N k(^i)/2m
p£?
Since thi s i s inconsisten t wit h (22) , w e deduc e tha t ther e i s a p G 7 fo r whic h
the first k coordinate s m i , m 2 , . . . rrik are distinc t (mo d p). Henc e w e have (21 ) .
By Lemm a 1 (b ) i t follow s tha t
3
(23) AT(T*)<fc ^iV(T*(p)).
pey
Now le t T*(p , I) denot e th e se t o f thos e member s o f 7*{p) fo r whic h rrik+i =
m/c_(_2 = • • • = rrib = I (mo d p) . Th e nex t ste p o f ou r proo f i s to establis h tha t
26 2fc
(24) N(T(p)) <p - max7V(T*(p,0).
To thi s end , le t
where M(p ) = {(mi , m2 . . . , m^) : m* distinct (mo d p) , 1 < ra; < TV} . Writin g
T(a)5(a)6-fc = ^ r ( A ) e ( A - a ) ,
A
S(«) = E E e(P(n,a))=5>(<*) ,
i=0 n = l f= 0
n=/ (p )
so tha t
N(T(p))<p2b-2k-1S2 f \T(a)\ 2
\Si(cx)\2b-'2k dot
/=0 '
2
2b 2k
<p - m<ix [ |T(a)| |5,(a)|26-2/cda.
m\ + • • • + m\ = n hx + • • • + n\
h
(25) +p (tf + • • • + tf_fc -rfi ritk) 1( < h < k)
where the m3 ar e distinct (modp) , l — l < m3 < N—l, the n3 ar e distinct (modp) ,
l — l<n3<N — l, and the £j, ^ ar e integers in the interval [( 1 — Z)/p, (iV — J)/P]-
To estimate th e number o f solutions of the system (25) , suppose that th e n3 hav e
been chosen ; ther e ar e < N k possibilities . Pu t ^ = n\ + • • • + n\. Fo r there t o
be a solution o f (25) , the m 3 mus t satisf y th e congruence s
By Linnik' s Lemm a th e numbe r o f solution s o f thi s (mo d pk) i s < k\p k^1k
~ ^2.
k
But p > N fo r all p G P, and thus eac h m 3 i s uniquely determine d b y its residue
class (mo d pk). Wit h th e n3 an d m3 determined , t o obtain a solution o f (25) the
£j an d 7)j mus t satisf y a syste m o f the for m
|S(a)|<min(A^),
iiail
so tha t
Ji(N;b)< [ mi n (7V2 M|a||- 2 6 ) da < 4N 2b~\
Jo
which suffices . Assum e no w that k > 2 . Suppos e firs t tha t 1 < b < k. The n
Jk(N\b) < b\N b b y Lemma 2(b) . Thi s suffices , sinc e th e inequality e x > 1 4- x
gives
(1 - 6)k(k + l ) / 2 < 6( 1 + l/fc)/ 2 < 6.
Assume nex t tha t k < b < 2k - 1 . The n J k{N;b) < k\N 2b~k b y Lemma 2(a).
To sho w tha t thi s suffices , w e demonstrate tha t
/2 x- i v- ^1 /2 N r2 2 2k-
(/c + 1 ) 2 k 2
so tha t
2
e-(2k-l)/k > 1
*+ l
which give s (27).
It remain s t o consider th e situation b > 2k, k > 2 . W e may also assum e tha t
TV > (ci/c) 4/c, for otherwis e
A(TV;6)<7V26«fc)6l.
We induc t o n b. B y the inductive hypothesis ,
JkHN'-^^b-k) ^ kjbN(^-k)-(l-6b^)k(k+l)/2)(l-l/k)^
1V1
e(P(u,(3)-P(u,ct))df(u),
/
71=1
/Njdu= \s*(cx).
2k - "7 =1
2b
[ S*{cx) d<x < (logeN) 2b [ \S{ct)\ 2b
d<x.
for arbitrar y comple x number s c\ ,... c^ . T o see thi s w e first not e tha t
^1Cn = / [Yl c
ne{na)) ( V ] e(-na) ) da.
(31) | S ( a ( 0 ) | > | S ( a ) | - 2 | J | .
In particular , i f | S ( a ) | i s larg e the n \S(OL(1 ))\ i s als o large , provide d tha t |Z | <
15(a) |/4. Pro m Lemm a 5 we see that i f | 5 ( a ) | i s large, then 5 * i s large through -
out th e neighborhoo d
number o f them, the n thei r tota l effect, combine d wit h Vinogradov' s Mea n Valu e
Theorem, allow s u s t o deriv e a non-trivia l uppe r boun d fo r 1 5(a)! .
In orde r t o sho w tha t a larg e numbe r o f th e neighborhood s fl(ct(l)) ar e dis -
joint, w e use our hypothesis concerning the rational approximatio n t o the leadin g
coefficient o^ . Fro m th e definitio n (32 ) o f thes e neighborhood s w e se e tha t i f
fi(a(Zi)) an d fi(a(/2)) hav e non-empt y intersectio n the n
K-i('i)-« f c -i(fe)ll<^n.
By takin g j = k — 1 i n (30 ) w e se e tha t a ^ - i ( 0 = &k-i + kctkl. Thu s th e
inequality displaye d abov e assert s tha t
H(Ii-l2)fca fc ||<^rr.
By th e triangl e inequality , th e lef t han d sid e abov e i s
I (ii - l2)ka\\ \h - h\k
>
Q q2
Suppose w e tak e L = [AT 23/24] + 1 , an d restric t I t o th e rang e 1 < I < L. I f
1 < h < h < L the n \h - l 2\ < TV 23/24. Henc e (h - l 2)k ^ 0 (mo d q), sinc e
q> N an d w e ma y assum e tha t N > (2k) 24. Thu s th e abov e i s
23 24
1 JV / A;
2
~q q
23 24
Since q>N> 2/cAT / , th e abov e i s
1
1 _ 1
~q ~ Yq ~ Yq
Finally, sinc e q < N k~l, th e abov e i s
1
> 2Nk~1'
We ma y assum e tha t k > 3 , sinc e otherwis e a stronge r estimat e i s give n b y
Theorem 2 o f Chapte r 3 . Henc e w e se e tha t th e las t ter m i n th e chai n o f in -
equalities displaye d abov e i s large r tha n th e first . Thi s give s a contradiction , s o
we conclude tha t th e neighborhood s fi(a(/)) ar e disjoin t fo r 1 < / < L.
We ma y assum e tha t | 5 ( a ) | > 4L , fo r otherwis e w e ar e done . Fro m (31 ) w e
deduce tha t |5(a(Z)) | > \ \S{a)\ fo r 1 < I < L. B y Lemm a 5 i t follow s tha t
^(Z 3 ) ^ 2 0 ^ ) l 5 ( a ) l ^ l 5 ( a ) l / 9 uniforml y fo r (3 e «(a(J)) , 1 < I < L. Sinc e
measO(a(0) = k^N'^^ 1 ^2, w e deduc e tha t
L\S(cx)\™ ^ f c ^ 2 2b,
< / 5*(/3) d/3.
hk$2bNk(k+l)/2
^^(logeiV)26^26-^-*)^^1)/2.
4. A N ALTERNATIVE DERIVATIO N 7 9
Hence
5(a) « M A T I - ^ + ^ ( / C + I ) / ( 4 6 ) lQgeN
2
We tak e b = [3k log A;]. The n
s<ES ! neX(s)
m,n
sj(m)=sj(n)
l<7'<&-2
r
(36) Sj (u) - ] T ( m 2 - m) > - £ M fir(m)(-ro)>- ,
80 CHAPTER 4. VINOGRADOV'S METHOD
and similarl y
Hence th e relation s Sj(m) — Sj(n ) fo r 1 < j < k — 2 imply tha t Sj(u ) = Sj(v)
for 1 < j < k — 2. I n addition , w e observe fro m (36 ) an d (37 ) tha t
and tha t
l<j<k-2
Here the U{ an d ^ li e in the set {—TV,.. . , TV}, and m is subject t o the constraint s
1 < m < N,
l-Ui<m<N-Ui (2<i<b),
l-vl<m<N-vi (l<i<b).
« mi n (N, T— rr )
in integra l variable s fo r whic h \ui\ < AT , 1^1 < AT. Then th e expressio n (38 ) i s
References
n=l
Here th e b n ar e arbitrary , bu t th e resul t i s a littl e unsatisfactory , sinc e w e d o
not kno w ho w larg e w e must tak e ^ , a s a functio n o f e . (An y quantitativ e resul t
in thi s directio n mus t depen d o n a measur e o f th e linea r independenc e o f th e
numbers argz n .)
As our problem i s very broadly defined , w e narrow the focu s somewhat . I n th e
first instanc e w e seek a lower boun d fo r ma x Isj,I wher e u runs ove r a n interva l of
the typ e M + 1 < v < M + JV. Her e M > 0. Th e lowe r boun d i s to b e expresse d
in terms o f |so | and mi n \z n\. (Afte r normalization , thi s i s equivalent t o assumin g
that \z n\ > 1 for al l n.) Eac h aspec t o f thi s i s subjec t t o som e variation : W e
85
86 CHAPTER 5. TURAN'S METHOD
(3) M > c ( M , J V ) | s 0|
where
(4)
k=0
N- 1 1
*-
(5)
2e(M + N) ,
znys*-"zcn
k=0 fc=0
(N-l)\
2. TURAN' S FIRS T MAI N THEORE M 8 7
(6)
The su m o n th e lef t i s
I / = 0 fc=0
k=0 n=l
Cfc
Theorem w e may replac e the contour o f integration by a circle \z\ = r with r < 1.
Since p(z)/ Yl^^z — zn) i s regular on and within thi s ne w contour, w e conclude
that
-M-l
k+
2™ . L_ n \(z - Zn )
k 1
(-l) r ^L
z\ • • • z k+\2-Ki
/ n(i-- ) n=l
z~M-Uz
fc
(-i) r
Zlmm' z k+l
where
k+1
-1
lib-j-Y = E <W
n=ln m= 0
for |z | < 1 . Sinc e the power serie s
oo
l Z Z
~ l - m=0
has coefficient s o f modulus < 1 , and since
OO v fc+1 O Oj
1771=0 '
(
77 =0
Pi * • -Zfc+ll
On on e hand w e have
N-l k N-l
z= ck z Zn
p( ) Yl T[( ~ ">= J2 a »zU'
k=0 n = l u=0
Correspondingly, w e pu t
N 1 N x
~ JUT . u '
z+1 )k
p^)=YK t Y = ^ A^-
k=0 i/= 0
Ew<X>-p<i)-£(";*)*.
!/=0 i/=0 /c=0
This i s (8), so the proof i s complete.
To see that th e constant i s best possible , observe that i f all the z n ar e very close
to — 1 then C m^ i s approximately (-l) T n ( / c "^ m ), an d hence Ck i s approximatel y
(-l) m + 1 ( m A )" ; c ). Consequentl y th e respective coefficient s o f (—l)M+lp(z) an d of
P(z) ar e approximately equal , an d hence Y2 \av\ is approximately P ( l ) . Finally ,
3. FABRY' S GA P THEORE M 89
The strikin g featur e o f this boun d i s that i t doe s not depen d o n the siz e of th e
An. Th e constan t o n th e righ t han d sid e i s not bes t possible , bu t b y considerin g
the case T(x) — (l — e(x)) , I = [-L/2, L/2] w e see that th e inequalit y woul d
be fals e i f the facto r wer e replace d b y ( ^ L ) ^ - 1 .
PROOF. B y translating we may assume that T(x) take s its maximum modulu s
at x = 0 . I f 0 £ I the n th e resul t i s trivial , s o w e ma y assum e tha t / = [a , /?]
with 0 < a < f3 < 1 . Pu t 6 = (p - a)/N, M = [a/6]. The n v6 < E I fo r
M + 1 < v < M + N. Tak e z n = e(X n6). Wit h s v define d b y (1 ) , w e se e tha t
sv = T(v6). Thu s b y th e Firs t Mai n Theore m wit h th e smalle r facto r (5 ) i t
follows tha t
N l
N- ~
max|r(cc)l > ma x \sJ > —77 7 TT 1
T ^(0)
1 .
But
a aN
M< -
6 (3-a
so tha t
M+ N<
P-a
and henc e
N P-a n
M+ N~ P
Thus w e have th e state d resul t
90 CHAPTER 5. TURAN'S M E T H O D
(9) f(z) = J2 a^
n=l
where 0 < A i < A 2 < • • •. Th e Fabr y ga p theore m assert s tha t th e circl e o f
convergence o f / i s it s natura l boundary , i f \ n/n — > 00 a s n — > 00. T o prov e
this, w e shall appl y Lemm a 1 to th e powe r serie s expansio n o f f^ k\z). However ,
this latte r expansio n ha s infinitel y man y terms , wherea s Lemm a 1 applies onl y
to finite sums . Consequentl y w e must first truncat e th e expansion , s o as to mak e
Lemma 1 applicable. W e accomplis h thi s a s follows .
LEMMA 2 . / / / is regular for \z\ < 1 , and ifO < r < 1 , then there is a positive
number C ~ C(r) such that
C)
/(n)(0)
-k < x
n>Ck n\
for all sufficiently large k, say k > ko(f,r).
PROOF. Clearl y (£ ) < n k/k\ < (en/k) k. B y th e Cauch y inequalitie s w e
also se e tha t | / ^ ( 0 ) / n ! | < r~ n / 2 fo r al l n > no(f,r). Thu s th e su m abov e i s
majorized b y
n>Ck
-1
The rati o betwee n consecutiv e term s i s ( n~) r lj/2
< e
k n1 2
/r^1 whic h is < r /3
if n > Ck an d C > 6/ log £. Henc e th e su m i s
c 2
« r (eCr( - )/ 2 ) f c .
<
1
n=0
Hence b y (1 0) , (1 1 ) ,
\fW(re(a)) /2e\N(Ck)
max + 1 +
fc! ~ \TJ [ {l-r + S'/3)kJ'
By hypothesis , N(X) = o(X) a s l - K » . Henc e
fW(re(a))
<
kl ( l - r + (5V4) fc
for al l large A; , uniformly i n a. Tha t is , the powe r serie s expansion o f / abou t th e
point re(a) ha s radiu s o f convergenc e > 1 — r + <5'/4 , for ever y a . Consequentl y
/ i s regular i n th e dis k \z\ < 1 -f 5 y /4. Sinc e this contradict s th e hypothesi s tha t
the powe r serie s (9 ) ha s radiu s o f convergenc e 1 , the proo f i s complete .
£O(«(JTD)-'+I
k~0
since the constan t ter m o f Q(z) i s 1 . Sinc e Q(l ) = 0 , th e above sum has absolut e
value a t mos t d m a x ^ } ^ |Q(z)| , an d henc e m a x ^ ^ |Q(z) | > 1 + l/d.
92 CHAPTER 5. TURAN'S METHOD
0 ( 2 )
-1-fi(l)
n
> d+l-(d-l)z d + l ^ \d + lJ
£ M 2 > e- 8"2/"|So|2.
IfH>N2 then
H
Y^K\2»HN-2\s0\2.
We not e i n particula r tha t i f \z n\ > 1 for al l n the n
max > — —
Ki/<iV 2 T V
5. TURAN' S SECON D MAI N THEORE M 93
The su m o n th e lef t i s
HN NH N
b Z bn auZ = b
]Pa u ] P ™ n = Yl E " E nP(Zn)
v—\ n—\ n=l v—\ n=l
f>„|2=/b(e(0))|2d0
N
p(z) = l-l[Q(z/z n).
71=1
H N
2 2\2N
i + £ M = yT n wv*> ) ^ < (i + 5)
since \z n\ > 1 for al l n. Sinc e d > ^iJTV -1 , i t follow s tha t
N-l N N-l N
b Z 1
+ a
^2 a uSM+l+v = Yl * n ^2 »Z™ = Yl b 1Z +
n n p(Zn)
v=0 n=l v=0 n= l
where p(z) = ^2u=o a vZv. Suppos e tha t p(z n) — z~M~l fo r 1 < n < j, an d that
p(zn) = 0 for j < n < N. Fo r any given j , ther e exist s a unique suc h p(z). The n
3I 1
,N- v
max s ^.
n-l ' ^ i/= 0 ' M+l<n<M+JV
Write
= i Vc- lf c
^) H fc-0 n =
n^ -^-
l
If J Z > 1 then
1
/ P(^ )
2mflz^RU^Jl{z-Zn)
Suppose tha t r < 1 , and that \ZJ\ < r < |ZJ+I| . Sinc e th e integrand i s regular in
the annulu s r <\z\ < R, the integral abov e is
M
1 l P( Z)-z- -\dz.
^J^rXt^iz-Zn)
We choose r late r a s a functio n o f |^21 , • • • , \ZN\- Thi s choic e the n determine s
the valu e o f j. Sinc e p(z n) = 0 when \z n\ < r, we deduce tha t
5. TURAN' S SECON D MAI N THEORE M 95
Hence
M
Uni\\r-\Zn\
But 0 < r < 1 and \z n\ < 1 for al l n , s o tha t \r — |z n || < 1 for al l n . Thu s th e
above i s
1
< M
r ULi\r-\zn\\'
We wish t o find a n r fo r whic h th e produc t i n th e denominato r i s not to o small .
To thi s en d w e recal l a theore m o f Chebyshe v (se e p . 1 4 9 o f Korneichu k [1 7] ,
Theorem 7. 3 of Powell [27] , p. 3 1 of Rivlin [30] , or pp . 41 -4 2 o f Szego [34] ) tha t
asserts tha t i f F(z) i s a moni c polynomia l o f degre e d an d i f / i s a n interva l i n
R o f lengt h L the n
/L\N
max\F(z)\>2{1) .
Take F(z) = Il^LiO *~~ \zn\) a n d P u t I = [ ro, 1 ] where 0 < r 0 < 1 . The n ther e
is a n r , r o < r < 1 , such tha t |-F(r) | > 2(^-j Ifl ) . Fo r suc h a n r w e see tha t
w^k"(i^)'
for al l k. Tak e r 0 = M/{M + N). Sinc e r^ M = ( 1 + N/M) M < e N, w e see tha t
c/c| < C fo r al l k wher e
l/4e{M + N)\*
2\ N ) '
Put
N-l N-l
distinct z n the n
N
" ' 0 fo r v = 0 , . .. , N - 2 ,
when v = i V — 1 .
96 CHAPTER 5 . TURAN' S METHO D
f(Z\- u (* -, \-(-ir-Hn-mN-ny.
NN-l
J \Z"n) — J ^ \Z n Z, m) —
1 ATN— '
l<m<N
so tha t
ZnJ \Z n) -
NN
Hence
1
t^h-^V-ih&Ml:!)-
71=1 7 = 1
and w e se e tha t
NN e»_
mm
3 1
E^
n=l
N\ > ~W'
Thus w e conclud e tha t th e constan t o n th e righ t han d sid e i n th e Secon d Mai n
Theorem ca n no t b e large r tha n N/e N whe n M = 0 .
We nex t conside r a n exampl e tha t i s instructive whe n M i s large .
n=l
JV+1
Hence i f w e tak e b n = 2 - f ^ r i 1 ) an d * n = e((2 n - 1 - N)0) the n s u =
jV 1
(cos27ri/(9) - . W e t a k e 0 = l/(2(2 M + AT + l ) ) , s o t h a t | i / 0 - l / 4 | < 4(2 M + ^ +1 )
(15) * , = £< •
n=l
For thi s su m w e obtai n muc h bette r lowe r bounds .
T H E O R E M 5 . If s v is given by (1 5) , and if \z n\ > 1 for all n, then there is a
v, 1 < v < N, such that \s u\ > 1 .
PROOF. Fo r 1 < j < TV, let Gj denote th e j th elementar y symmetri c functio n
of th e number s z n. I t i s als o convenien t t o se t cr 0 = 1 . Th e Newton-Girar d
identities asser t tha t
r
(16) ra r = ^(-l^-V-i/ ^
Hence w e must hav e |s^ | > 1 for a t leas t on e v i n th e rang e 1 < v < r.
EXAMPLE 5 . Suppos e tha t z n = e(n/(N+1 ) ) fo r 1 < n < N. The n s u = - 1
for 1 < n < N wher e s„ is denned b y (1 5) . Thu s Theore m 5 is best possible .
THEOREM 6 . Let s v be defined by (1 5) . If s u is real for all positive integers
v, then s„ > 0 for some integer u in the range 1 < v < N - f 1 .
PROOF. B y (1 6 ) an d inductio n w e deduce tha t Oj is real fo r al l j , an d henc e
we see that th e hypothesi s tha t th e s v ar e real i s equivalent t o th e assertio n tha t
the z n occu r i n complex-conjugat e pairs . Suppos e tha t s I / < 0 f o r l < i / < i V .
By inductin g i n (1 6 ) w e deduce tha t (—l)- 7^ > 0 for 1 < j < N. I n additio n t o
the identitie s (1 6) , a secon d se t o f Newton-Girar d identitie s asser t tha t
By th e precedin g theore m w e se e tha t t v > 0 for some v, 1 < v < 27V — 1. But
$tsy = 1 -f £„/2, an d henc e \s u\ >SRs^ > 1.
We no w tur n t o a family o f results tha t depen d o n the properties o f Fejer's
kernel.
THEOREM 8 . Let su be given by (1) where b n > 0 and \zn\ = 1 for all n.
Then
= X ] b m 6 n ( - A K + 1 ( 6 > m -6> n ) - - )
ra,n
*—£#-2(5>)-
nn
6. SPECIA L COEFFICIENT S bn 99
n= — N
Since th e su m o n th e righ t i s monotonically increasin g i n TV , we deduce tha t th e
Fourier expansio n o f / converge s absolutel y t o f(x). Thu s th e lef t han d sid e o f
(18) is
n k=-K
= £/(n)(±A*+1 (n*)-±)
n
nn
2 l m ) * ~2*
f m ° ) a*--(V( m X 2
K + 1 v^ -
2 ^
m
' ' " •'
V) .
Here th e secon d su m i s 7V m, b y th e multinomia l theorem . T o deriv e a lowe r
bound fo r th e firs t sum , w e restrict ou r attentio n t o thos e m whos e coordinate s
are al l 0 or l . Ther e ar e precisel y (^ ) suc h m , an d fo r suc h m th e multinomia l
coefficient ism! . Thu s th e expressio n abov e i s
~2 \mJ 2
2rn
> zjsi
~2
since e < 3 and m > 1 . Tha t is , / x > yJmN/ '1 2, whic h suffices .
6. SPECIA L COEFFICIENT S b n 101
>j « o
- 4( 4 + c)
102 CHAPTER 5. TURAN'S METHOD
>- E E ('-^I)('-T^T)|E^- )
|fci|<X! |/c 2 |<K 2 ^ ' n= l
(20) * , = £&»(")<
71=1
References
(2) d s(a) = D( S + a ) .
Then d§(a) G L1(T 2 ), an d b y direc t calculatio n w e see tha t it s Fourie r coeffi -
cients
ds(k) = / d§(a)e(— k • a.) da.
JT2
are give n b y th e formula e
where £/(k ) = Yl ^N
n=i
e
( ~ k • u n ) . (Thi s notatio n wa s use d alread y i n Chapte r 1 . )
Hence b y ParsevaT s identity ,
2
(4) / d §(a) da = ^ l ^ ( k ) | 2 | ^ k ) | 2 -
109
110 CHAPTER 6 . IRREGULARITIE S O F DISTRIBUTIO N
/ lx 2 |6|
(5) s (t)| dt 2
t\>P "
J\t\>R 27T i?
sin7rA:is sin7r/c2 S
X, s (k) 7r/Ci 7r/C 2
2
/ \x sS(k)\ ds= 47r4/c 2fc2 / (l-cos27r/ci5)(l-cos27r/c 2 5)d5
1
- 4^p|-
3. DISK S 111
If k\ 7 ^ 0 an d /C 2 = 0 the n
2 2
/ lX 5 g(k)| <fe = ^ 2fe2 / s (l-cos2?r/c^ds
r 22fc 2 V3 2TT
2TT 2
A: 2 /
1
> 47T 4 fc 2 '
I Wk >
ef „ , dx
6(k) = 4 2 V
2 T T X ./ 1 ^ ^
6(k)= 2 l0g +
2^X Vmax(l,|fc 1 |)max(l,|fc 2 |)/
+
where log u = max(0,log?i) . Sinc e lo g it < ^u 2 fo r al l u > 1 , w e se e tha t
6(k) < a(k) fo r al l k G Z2 . O n combinin g (9 ) an d (1 0) , an d takin g X = 2iV , we
obtain (8) , so the proo f i s complete .
6 0: 2 0. 4 0." 6 0." 8
\D(V)\>cN^4.
it follow s tha t
1TX _1
(Ji(x)2 + Ji(2x) 2) = I - | s i n 2 x - isin4x- f 0(x ).
0.8 +
Sx 2 1 0 x 3 ~ WK } ~ Sx
Hence \P(x) - 1 | < 1 2 1 85a.2 an d \Q(x)\ < ^ fo r x > 1 . Defin e r(x) b y th e relatio n
Jx(x) = (^) 1 / 2 (cos(x-fx)-hr(x)),andput J R(o:) = l/(2x) . Thu s \r(x)\ < R{x)
for x > 1 . Sinc e
7TX 2
J\{x)2 = cos( x - \x) 2
+ 2r(x)cos(x - \x) + r ( x ) > cos( x - \x) 2
- 2R(x),
114 CHAPTER 6 . IRREGULARITIE S O F DISTRIBUTIO N
it follow s tha t
for x > 1 . Her e th e mai n ter m i s > | ( 1 — —•), s o th e righ t han d sid e abov e i s
> 1 /2 5 uniforml y fo r x > 25.
To treat th e remainin g interva l 1 < x < 25 , it suffice s t o not e tha t ther e i s n o
x i n thi s rang e fo r whic h J\(x) = J\(2x) = 0 (th e zero s j ' l j S o f J i ar e recorde d
in Tabl e 9. 5 o n p . 40 9 o f Abramowit z an d Stegu n [3]) . Alternatively , on e ma y
consult a grap h o f x[J\(x) 2 + Ji(2x) 2 ), a s i n Figur e 2 . I n an y case , we conclud e
that (1 2 ) hold s uniforml y fo r al l x > 1 .
By (4 ) an d (1 1 ) w e deduce tha t
2
/ d (a) -fdlc(a)2da»X:^^(k)|2.
55 |k|
k^o
»iV-3/2 ^ |f/(k)| 2
!k!|<\/2iV
\k2\<V2N
and b y Theore m 5.1 2 thi s i s ^> N 1 /2. Thi s give s th e desire d lowe r bound .
X8(t)= / e ( - t - x ) d x
./s
when |t | i s large . Le t
e ( - t • x)
/(x) = -
47r2|tl2 '
so tha t
and
™-£^
V2/(x) = e ( - t - x ) .
We suppos e tha t th e boundar y o f S i s th e smoot h curv e C . The n b y Green' s
theorem,
2
,(t)= / v / d x -f Vf-Nds
4. DECA Y O F TH E FOURIE R TRANSFOR M 115
where N i s the outwar d uni t norma l t o C ; if T = (co s a, sin a) i s the uni t tangen t
to C then N = (si n a) — cos a). Writin g t = ( r cos 0, r sin 0) i n polar coordinates ,
we see tha t
e _ t X
T - r r TV T ( " )• /
V/ • N = - — — - sm a
Consequently
(13) x 8 (t)=2^f/ee(-t.x)8in(a-^)d».
— (t • x ) = t • — = t • T = rcos( a - 0) .
ax as
Thus th e integra l (1 3 ) ha s a stationar y phas e a t point s o n C where t _ L T. Le t
X(0) = { x £ C : a = 0= L IT/2}. Th e magnitud e o f th e contributio n o f th e
stationary phas e i s governed b y th e secon d derivative ,
— ( t • X) = t • — = t • (-KN) = ±KT
dsz as
where K denotes th e curvatur e o f C at x . Thu s w e expect tha t
where
|c(x)| = -— y=, A(x ) = x - (cos0,sin0) .
Ll\ y hi
In th e approximate relatio n (1 4 ) w e have ignored th e error term s that woul d aris e
from th e stationar y phas e analysis . I f w e conside r 0 t o b e fixed, an d r — > o o
then th e righ t han d sid e o f (1 4 ) i s a n almos t periodi c polynomial . Fo r mos t 0
the frequencie s A(x ) ar e distinct , s o we expec t tha t
R2
2
J2 c(x)e(A(x)r) | dr ~ (R 2 - R,) £ | C (x)|
/ .Hi xGX(0)
~|£|c(*)i2
116 CHAPTER 6 . IRREGULARITIE S O F DISTRIBUTIO N
/ \x §(t)\
2
dt= / |x s(t) | 2 rdrd4>,
J\t\>R JO JR
4
1(18) 67r iT 4 / | x s|
2
|t|4e-2^H"2dt.
Xs * V2 / ( x ) = J V 2
/ ( x - y ) dy = J | £ ( x - y ) ds
4. DECA Y O F THE FOURIE R1
TRANSFOR
1 M 7
^ ( x - y ) = -2 7ri?2/(x-y)((x-y)-n).
= 47r 2i?4 / / / ( x - y ) ( ( x - y ) . n ) d s dx .
JR 2 I Je I
On expandin g an d takin g th e integra l d x inside , w e see tha t thi s is
^(yi,y2)= / / ( x - y i ) / ( x - y 2 ) ( ( x - y1 ) - n i ) ( ( x - y 2 ) - n 2 ) d x .
JR2
/(x - yi ) / ( x - y 2 ) = / ( d / V 2 ) / ( V 2 (x - I ( yi + y 2 ))).
(x - y ^ • n , = w • n , + ( - l ) l | d • n *
2 2r
/(yi,y2) = f(d/V2) / e~ ^ \/ T l+ -- + T 4dedr.
Jo Jo
On writin g n ^ = (cos0 z , shi(/>2) fo r i = 1, 2, w e se e tha t
/»2T T
/T i dO = nr 2 c o s ^ - 0 2 ).
= d
~o f( /^) cos(0 i - <j> 2) dsi ds 2
f/ / ( d / v / 2 ) / ( d / v / 2 ) ( d • m ) ( d • n 2 ) ds x ds 2 « 6R~\
JT> Je
I/o
Jo
as R — > oc. I f w e pu t r 2 = u, 2TTR~ 2 — 8, thi s take s th e for m
/"OO
/ g{^u)u 2
e-6u du ~ 7r-^ 2
2-2\e\S- • 3 / 2
Jo
as 8 — » 0. B y th e Hardy-Littlewoo d Tauberia n Theore m (tak e a = 3/2 , a(i) =
JQ g(y/u)u 2 du i n Theore m 1 0 8 o f Hard y [24] ) i t follow s t h a t
2
/ g(yfti)u du~±7r-2\£\U3/2
Jo
as U — > oo. P u t t i n g r = y/u, w e se e t h a t thi s ca n b e rewritte n a s
5 2
/ g{r)r dr~ ±7r- \e\R3
Jo
as R — > oo. B y integratin g b y part s w e obtai n (5) , an d th e proo f i s complete .
5. F a m i l i e s a l l o w i n g t r a n s l a t i o n , s c a l i n g a n d r o t a t i o n . W e no w appl y
the informatio n gaine d i n th e precedin g sectio n t o deriv e a genera l theore m
relating t o irregularitie s o f distribution .
2
(22) / / / D{sS 0(6) + ot) 2d(xd6ds = Vc(k)|[/(k)|
Jo Jo JT 2
k _^0
where
pi P2T T
c(k) =
I JT'WJMI 2 ^*
= l k l " 5 / ix So(t)j
2
jti3dt.
120 CHAPTER 6 . IRREGULARITIE S O F DISTRIBUTIO N
uniformly fo r |k | > k 0.
an
Without los s of generality, k$ is an integer. B y replacing u n b y fcoUn d Xi
by Xi/ko i n Theorem 5.1 2 , we find tha t
2
] T \U{k)\ 1 >NX X2k^2-N2
\ki\<Xi
k0\ki
Hence
2
] T \U{k)\ >NXrX2kv2-N2.
\ki\<Xl
|k|>fc 0
We tak e X l = X2 = 2k 0N^2. B y (23) we see that c(k) > k^N^' 2 uniforml y
for al l k i n the above sum . Thu s w e conclude tha t th e right han d sid e of (22) is
^> k^N 1 /2. Thi s give s the desired result .
(loglogAT)/(logloglogAT)
In 1 954 , Roth [30 ] gave the better lowe r boun d
limsup —=== > c > 0.
TV->OO ylogi V
Finally, i n 1 972 , Schmid t [35 ] showed tha t
This resolve d th e issue , sinc e Ostrowsk i [29 ] ha d lon g befor e observe d tha t
D(N) < lo gAT i f u n = nV2.
Roth [30 ] formulated th e irregularity proble m a s follows. Le t { u n } ^ = 1 b e a
sequence o f points o f Tfc, an d for simplicity suppos e tha t al l their coordinate s lie
in the interval [0,1 ) . le t a b e a point whos e coordinate s als o li e in this interval ,
6. NOTE S 121
and le t Z(ot) denote the number o f the u n tha t li e in the box [0, OL\] x • • • x [0, Q/c].
Finally, let
k
D(a) = Z(a)-NY[cti
be the difference betwee n the number of points counted and the expected number .
How smal l ca n this functio n be ? Rot h [30 ] proved tha t
||#||2>c f c (logA0 ( f c - 1 ) / 2 .
Schmidt [36 ] showed mor e generall y tha t
The mai n unsolve d proble m remainin g i n this are a i s to clos e th e gap betwee n
these bound s fo r ||D||o o whe n k > 2.
Suppose tha t {u n} i s an infinite sequenc e o f points i n T, and let D(N;a) b e
the associate d discrepanc y functio n introduce d i n Chapte r 1 (see p. 1 ) . Erdo s
[20] aske d whethe r ther e mus t exis t a n a fo r whic h th e sequence {D(N,a)} i s
unbounded. Schmid t [33 ] that suc h a mus t exist , an d later h e proved [34 ] the
set o f a fo r whic h {D(N;a)} i s bounde d i s a t mos t countable . I n addition ,
Tijdeman an d Wagner [37 ] showed tha t ther e i s a constan t c > 0 such tha t
D(N;a) ^
lim sup — : — - > c
JV-.OC lo g TV
§1. Antecedent s o f the approach develope d her e can be seen in the earlier wor k
of Kendal l [27 ] an d Her z [25 ] concernin g th e numbe r o f lattic e point s insid e a
convex curve , an d a lowe r boun d o f Rot h [31 ] fo r th e mea n squar e distributio n
of a se t o f integer s i n arithmeti c progressions .
§2. Theore m 1 is due t o Halas z [21 ] , who devise d a varian t o f Roth' s metho d
quite differen t fro m th e metho d w e hav e used . Theore m 1 implie s th e resul t
of Rot h [30] . Ruzs a [32 ] ha s show n tha t square s an d rectangle s hav e th e sam e
discrepancy, u p t o a constan t factor .
§3. Theore m 2 is due t o Montgomer y [28] . Bec k [5 ] obtained a simila r resul t
involving a n averag e ove r radii .
§4. Theore m 3 is due t o Montgomer y [28] . Her z [25 ] obtaine d simila r result s
in th e cas e tha t S is convex .
§5. Theore m 4 i s du e t o Montgomer y [28] . Bec k [5 ] independentl y obtaine d
the sam e resul t whe n § i s convex, usin g a simila r method .
For furthe r development s i n thi s area , se e Bec k [4-1 2 ] an d Bec k an d Che n
[13, 1 5 , 1 6] .
References
pa\\n
125
126 CHAPTER 7 . MEA N AN D LARG E VALUE S
NUMBER O F TERMS : N
GAP BETWEE N FREQUENCIES : 2n
m&xx\T(x)\ < N
IF a n = 1 FOR AL L n THE N T(0 ) - A ,
AND TH E WIDT H O F THI S PEA K I S « l/N
max, \T'(x)\ < Nmax x \T{x)\
deg(T 2 ) < 2 N
# term s (T 2 ) = 2 N - 1
||T|| 2 « iV 1 /2
3/4
||T|| 4 < iV
a
TABLE 2 . Propertie s o f D(it) = Yl\ nn~lt wit h \a n\ < 1
/4
ImiT^ ( ± £ \D(it)\Utf « N^ilogN)*'*
r
Thus ak ha s perio d K - f 1 , an d Xj( x) < a K(x) f° al l r e a l x - On combinin g
(1.16), (1 .1 8) , (1 .20) , an d (1 .21 +) , w e find tha t
2
(4) / \^Ta ne(\nt)\ dt=(T+^J2\a n\
^° ' n =l ' n= l
h
Suppose tha t \a n\ < 1 for al l n. B y applyin g thi s wit h D(s) replace d b y D(s) ,
we find tha t
rT
(6) / \D(it)\ 2k
dt<$:(T + N k)N fc+e
Jo
2. MEA N VALUE S VI A TRIGONOMETRI C APPROXIMATIO
1 N 2 9
for an y fixe d positiv e intege r k. I t i s tempting t o thin k tha t thi s estimat e hold s
for al l rea l exponent s > 2 .
CONJECTURE 1 . Let D(s) be defined by (1 ), and suppose that \a n\ < 1 for
all n. Then
q q/2
(7) / \D{it)\ dt<£(T + N )Nq/2+e
Jo
/o
uniformly for 2 < q < 4.
Estimates such as (5), (6), and (7 ) provide information concernin g the measur e
of the se t o f t fo r whic h \D(it)\ i s large . I fT V = T the n fro m (5 ) w e find tha t
2
meas{* G [0,T] : \D(ii)\ >V}<£ T /V2,
IN 2
< / /f(t ) V o n e ( A nt)
ctt.
^I n=l
(^)£KI2- n=l
rrTT \\ NN I, xi
44
/ y^^"- dt<^TN 2
(lo g TV)3.
Jo
;
0 '~ n = fl
1J^ r a+2lT dw
V n ^ = — / ({w + it)Nw — +0(NT- l
logT)
^ 2TT Z J a__2lT w
|T3|^<T(logT)2«.
Jo
On combinin g thes e estimate s w e obtain th e state d result .
l£ / v 2_^ m n
^ n
~ ^rnj-
m=l n= l
oo I N
dt
/
K{t)\Y,Ane{\nt)
-°° l n =i
dt.
<3 / \J2A ne{\nt)
We may similarl y rewrit e th e right han d sid e of (13), and o f the tw o expressions ,
the on e involvin g A n i s clearly th e larger . Thi s complete s th e proof .
We observ e tha t Conjectur e 1 could b e derive d fro m Theore m 2 if a suitable
majorant principl e coul d b e establishe d fo r qth powers. Suc h a principle, whic h
would suffice i n this connection, wa s proposed b y Hardy an d Littlewoo d [1 6 ] (se e
also p . 2 3 of Littlewood [43]) , wh o conjecture d tha t fo r any rea l numbe r q > 2
there i s a constant C q such tha t
q
(14) f\f(x)\*dx<C q( \F(x)\ dx.
for whic h \a n\ < A n fo r al l n. B y Parseval' s identit y w e see that thi s hold s whe n
q is an eve n integer , sa y q = 2/c, and tha t w e may tak e C ^ = 1 in this case . W e
now sho w tha t thes e ar e th e onl y q for whic h suc h a n inequality holds .
q
(15) f\f(re{6))\ d6> ( \F(re{6))\ q d6
r +o( 2/c+2 \
N M
(2) For all x G C and all y G C we have
M N
MN
<C
m=l
5>»i
Tn=l n=l
(3) For all x e CM m e have
N M M
2
E 771 = 1
^ E
4. REVIE W O F ELEMENTAR Y OPERATO R THEOR Y 135
and b y (2 ) thi s i s
1/2 / N 1/2
2
£M
m=l '
(X>
^n= l
n
/^ v 1/2
(17) P*i
for an y matri x A.
In th e cas e tha t A i s a squar e matrix , ther e ar e furthe r number s associate d
with it . Th e spectral radius o f A i s p{A) — max |A|, where th e maximu m i s over
all eigenvalue s A of A. Also , th e numerical radius o f A, denote d v{A), i s th e
optimal constan t c in th e inequalit y
NN N
/ J / ^ Q"mn%m2'n\ — C / v \%n\ •
771=1 71 = 1 n=l
Alternatively, v(A) = ma x |(Ax, x)| where the maximum is extended ove r all unit
vectors x G C^. O n comparin g th e definitio n o f th e numerica l radiu s wit h th e
more genera l inequalit y (2 ) o f Theore m 6 , we see that v(A) < \\A\\. Also , i f x i s
a uni t eigenvecto r associate d wit h th e eigenvalu e A , then |(>lx , x)| = |(Ax,x) | =
|A|, an d henc e w e se e tha t p(A) < v{A). Tha t is ,
1W<"( 4
On th e othe r hand , th e ga p betwee n th e spectra l radiu s an d th e operato r nor m
can b e enormous . Fo r example , i f A i s strictl y uppe r triangula r the n p(A) = 0
while ||A| | ma y b e large . I n genera l w e expect thes e inequalitie s t o b e strict , bu t
it i s easy to see that equalit y hold s throughout (1 8 ) when A i s a diagonal matrix .
We recall that a square matrix U is unitary i f its columns form a n orthonorma l
system, an d w e sa y tha t tw o squar e matrice s A an d B ar e unitarily similar i f
there i s a unitar y matri x U suc h tha t B = U*AU. Sinc e \\Ux\\ = ||x| | fo r
all x G C N, i t follow s tha t i f A an d B ar e unitaril y simila r the n \\A\\ = \\B\\,
v{A) — v(B), an d p(A) — p(B). (Thi s las t identit y hold s als o unde r th e les s
stringent assumptio n tha t A an d B ar e merel y similar. ) Schur' s Lemm a (whos e
proof w e omit ) assert s tha t ever y squar e matri x A i s unitaril y simila r t o a n
upper triangula r matri x T . I t i s easy to verif y tha t T commute s wit h it s adjoint ,
TT* = T*T, i f an d onl y i f T i s diagonal . Moreover , TT* = T*T i f an d onl y i f
A A" = A* A. A matri x wit h thi s propert y i s calle d normal, an d w e conclud e
that norma l matrice s ar e precisel y thos e matrice s tha t ar e unitaril y simila r t o a
diagonal matrix . Thu s w e see that i f A i s normal the n equalit y hold s throughou t
(18). Th e clas s o f norma l matrice s contain s tw o othe r noteworth y classe s o f
matrices, namel y th e Hermitian matrice s (thos e H fo r whic h H* = if) , an d th e
unitary matrice s U (characterize d b y th e propert y tha t U* = U" 1 ).
If A i s a squar e matri x the n (^4x , x) = (x , A*x). Henc e i f H i s Hermitian an d
x i s a n eigenvecto r associate d wit h th e eigenvecto r A , the n
A||x||2 = (Ax,x )
= (ffx,x )
= (x,fr*x )
= (x,Hx)
= (x , Ax)
= A||x|| 2 .
5. MEA N VALUE S VI A HILBERT' S INEQUALIT Y 137
R = s u p ^ |a m n |, C = s u p^ |a m n |.
mn
nm
By Cauchy' s inequalit y w e se e tha t
/2 /2
II / V (V
/ j Q"mn<Emyn\ — I / ^ | ^ m n | | 2 ' m | I I / ^ |^mn||2/n | I
' m, n ' ^m,n ' ^m }n '
/2 /2
(V (V
^m n ' ^ n m '
, \l/2 / xl/ 2
(19) < (i*C)W £|zm | 2 ) ( E l ^ l 2
)•
Thus a matri x A ha s finite operato r nor m wheneve r th e quantitie s R an d C ar e
finite. I n orde r t o giv e a n exampl e o f a bounde d operato r tha t i s no t triviall y
bounded i n thi s way , Hilber t (se e Wey l [58] ) prove d tha t ther e i s a constan t c
such tha t
12 /2 12 /2
(20) | E S | ^ ( E I ^ I ) (EW ) -
Later, Schu r [53 ] proved tha t on e can tak e c = n. Thi s constant i s best possible ,
but equalit y is attained onl y when x = y = 0 . Thi s inequality ca n b e generalize d
as follows .
138 CHAPTER 7 . MEA N AN D LARG E VALUE S
THEOREM 7 . Let Ai,.. . , A;v be distinct real numbers, and suppose that 6 > 0
is chosen so that |A m — A n| > 6 whenever m / n. Then
/N l2 1/2 , N x
2 l/2
(21)
Am A
^"mVn
n
< ^ '£w
l<m<N m—l n=l
\<n<N
N oN
Vn n
(22) V ^i i
Am A n
m = l ' \<n<N
NN
= YlY.y^ Y. \<7Tl<N
(Am — A n)(Am — X u)
J
(x — a)(x — b)
= J_p U
a)(x — b) a — b\x — a x — b/
to se e tha t ou r expressio n i s
N
1
n=l l<m<N [Am An}
1
y ^ VnVv sp (1 \
../ / A r A n — \ u ^ A m — An A m — \ v)
l<n,v<N \<m<N
= T!+T 2
2=
2 ^A -A 2 ^A - A
l < n , ^ < 7 V ^ n Au l<m<NArn AJI
_Y ^y ny^ v 1 ^
i / ^"^O - *r ^7 1 ~ Ai / A m — Xu
l<n,is<N l<m<N
(23) = £ 1 -£2+2£3,
say. Her e
Ara An
n=l V < m<^ 'S<i,<JVAn A '
m^n v^n
and
(25)
*-5>( E r-rr) ( E r ~ r
Since w e have n o eviden t mean s t o boun d thes e sums , w e see m t o b e stuck . T o
salvage th e argumen t w e appea l agai n t o th e idea s develope d i n th e precedin g
section. Le t A denot e the coefficien t matri x of the bilinea r for m unde r considera -
tion. The n A i s skew-Hermitian, A* — —A, which is to sa y that iA i s Hermitian .
Hence th e operato r nor m o f A i s equa l t o it s spectra l radius , an d thu s w e ma y
suppose tha t th e y n ar e th e coordinate s o f a n eigenvector . Sinc e th e eigenvalue s
of A ar e al l purel y imaginary , w e ma y assum e tha t
Hence altogethe r w e see that th e left han d sid e of (22) i s < 3Ti .
To boun d T\ we suppose, a s we may, tha t th e An are in increasing order , so
that |A n — \ v\ > 6\n — v\. Henc e th e inner su m in T\ is
where
6n= mi n |A m - An |.
l<m<N
In the same wa y that w e derived Theorem 1 from Theore m 6 , from (27 ) it follows
that
rT I N , 2 N N
(28) / ^a n e(A n t) dt = Tj2K\2 + 0(j2\ a
n\2/tn)
^° I n=l I n= l n= l
^) =n =E'
l
is a partial sum of the Dirichlet serie s for the zeta function ({s). Th e second ter m
in (31 ) i s a bilinea r for m whos e spectra l analysi s remain s obscure . T o estimat e
it w e tak e th e ver y crud e approac h offere d b y th e inequalit y (1 9) . Thu s w e se e
that th e expressio n (31 ) i s
and tha t \D(it r)\ > V fo r al l r . Pro m (25 ) w e deduc e (assumin g th e Lindelo f
Hypothesis) tha t R < C N 2/V2. B y comparison , i f w e use d instea d th e mea n
value estimate provide d by Theorem 1 , we would obtain th e bound R < C TN/V 2,
which i s muc h large r whe n N i s small compare d wit h T .
The condition (36 ) is disappointing, sinc e it leave open the question of whether
some simila r boun d migh t hol d whe n N xl2Te < V < N 3^4T€. Th e presume d
defect i n ou r argumen t lie s i n ou r appea l t o th e boun d (1 9) , sinc e th e bilinea r
form i n (31 ) migh t b e expecte d t o b e smaller . Indeed , i t woul d b e temptin g t o
conjecture tha t
RN
Y^\D(itr)\2<^(N + R)rJ2K\ 2
were i t no t fo r th e followin g
EXAMPLE. (Bourgain ) Suppos e tha t T x<2 < N < T. Pu t H = [cTV/T 1 /2],
and se t a n = 1 for N < n < N + H, wit h a n = 0 otherwise. Pu t J = [T/(2irN)],
K = [T 1 / 2 ], an d suppose that t — 2TTjN—k wher e j an d k are integers, 1 < j < J ,
1 < k < K. Thu s 0 < t < T, an d w e not e tha t
n
tlogn = t log N + t log (l + N )
t{n - N) 2
= tlog N + + 0(TH /N2)
N
k{n - N) 2
= tlogN + 27rj(n- N) + 0{TH /N2)
N
= tlogN + 27rj( n - N) + 0{c),
assuming tha t 0 < c < 1 . Henc e fo r suc h a t w e hav e
N+H
> #
2
/ |/i(i)| < f t « T1 +e
W, / If^dt^T'+'N 2
,
Jo Jo
[ \h{t)\ 2dt^T*N2, f \f 4
2(t)\Ut^rN .
Jo Jo
A possibl e strateg y fo r provin g Conjectur e 1 would involv e establishin g suc h a
decomposition fo r th e genera l su m D(it).
§3. Th e metho d o f proo f o f Theore m 3 gives, mor e generally ,
T N
pCT I A T
1 2P \
/ \J2a ne(Xnt)\ dt<(l- [-2C] )/ ^ A ne(Xnt) dt.
JCT I n=l ' J~ T
'n=l
In man y application s th e specia l cas e
rT +T iI
rT00+T N . 2 , TI N
/V A ne(Xnt) \ dt < 3 / V A ne{Xnt) dt
JT0-T l = I
n1 J-T\ 1 n=
144 CHAPTER 7 . MEA N AN D LARG E VALUE S
while
|1 + e(x) + e(3x)\ 6 dx - 6.39407877 9 . . . .
//o
In addition to the JO
literature on majorants, ther e is an extensive literature on rear -
rangements o f Fourie r coefficients . Le t / 6 L l(T) hav e Fourie r coefficient s f{k).
Suppose tha t th e number s |/(fc) | ar e permute d s o a s t o for m a monotonicall y
decreasing sequence , an d suppos e tha t thes e ar e th e Fourie r coefficient s o f som e
new function , F. The n ||/|| , < C q\\F\\q fo r ever y q > 2 , an d ||F|| P < C p ||/|| p
for 1 < p < 2 . Se e Montgomer y [47 ] fo r a simpl e proo f o f th e first part . I f
an analogu e o f thi s coul d b e constructe d fo r Dirichle t serie s the n presumabl y
Conjecture 1 would follow .
7. NOTE S 145
N x l/2
^"mVn
(39) E
l<ra, n<N
sin7r(A m - A n ) V
771 = 1 7 X
7l=l
\Vn|2
N 1/2 / N N l/2
^mVu
(40) E
l<m,n<N
siii7r(A m - A n )
< Ei
2
I6*
71=1
m=l
l<n,u<N [An Av
> n= l
rT I N , 2N
/ Va ne(Ant) <ft « V | a n | 2 ( r + 0 .
70
ln= lI n= l
146 CHAPTER 7 . MEA N AN D LARG E VALUE S
References
151
152 CHAPTE R 8 . REDUCE D RESIDU E CLASSE S
2
(7) M 2 (,; h) = , P » ^ Mr) ( II fel) i Wr } (1 - W r } )
r\q \ P\q ^ > J ^\ )
KF }
r|<? ^ ^ PW
2
r TJ(P- l)
p|q r| g p| r
p\q p\q
= qhP.
This i s (6 ) whe n k = 2. T o deduce a n estimat e o f th e for m (4 ) suppos e tha t 7 i s
fixed, an d tha tA ; i s a fixed rea l numbe r fo r whic h (6 ) holds . Le t
n(l) = card {a; : 0 < a ; < g , a ^ i — a; = /} ,
and
7V(0 = car d {a; : 0 < a * < g , a i+\ — a * > 1}
= n(Z ) + n( Z + l ) + -- - .
i=i i= i
1 =1
= £ N(l)P-'+ £ N(l)P-\
1
1<1<2/P >2/P
2. A PROBABILISTI C MODE L 153
1>2/P
If k/2 > 7 - 1 then thi s las t su m i s < C pi-7+k/2? w n i c h give s (4) . Thu s w e se e
that (6 ) implie s (4 ) fo r al l 7 < l + fc/2. I n particular, sinc e (6 ) holds when k = 2 ,
we see tha t (4 ) hold s fo r al l 7 < 2 .
To prove (6 ) whe n k > 2 involves considerabl y mor e effort . I n thi s chapte r w e
only outlin e th e argument , dwellin g o n som e o f its mor e intriguin g features . W e
have tw o distinc t methods . I n th e first o f these, discusse d i n §2 , we compare th e
situation t o a probabilisti c model ; thi s work s wel l whe n al l th e prim e factor s o f
q are large . I n th e secon d method , outline d i n §3 , we appl y Fourie r expansions .
This work s wel l whe n al l th e prim e factor s o f q ar e small . Fortunatel y w e ca n
decompose a general q into two part s s o that th e tw o method s ma y b e combine d
to provid e a proo f o f (6 ) fo r al l q and al l k > 0. Th e Fourie r metho d depend s o n
an interestin g inequalit y whos e proo f w e give i n §4 .
Before embarkin g o n th e mai n argument s w e mak e som e preliminar y reduc -
tions. I f q' i s th e larges t squarefre e diviso r o f q the n
Mk{q-h) = ^M k{q'-h),
P(Xm = 1 ) = P ,
P(Xm = 0 ) = 1 - P ,
EE i -
m i , . . . , m r \<n<q
\<mi<h ( m . + n j g ) = i
l<i<r
Let 3 = {mi, ... , ra r}, an d pu t 5 = card23 . Suppos e tha t h < y an d tha t p > y
for al l prime s p dividin g 9 . The n th e inne r su m abov e i s
(12) q Y[(i-±)' = q p:
p\q
It i s not har d t o show that i f we replac e the expression i n large parentheses in (1 0 )
by qP s the n th e resultin g expressio n i s exactly qfik. Thu s Mk{q\ h) differ s fro m
qHk by a n amoun t tha t depend s o n th e differenc e betwee n th e tw o expression s
(11) an d (1 2) . Precisely , i t ca n b e show n tha t i f y > h an d p > y fo r ever y prim e
divisor p o f q, the n
a
1q
f( /<l) = - Y\ f{n)e{-an/q),
^ 71 = 1
fH =^^T(a/q)e(an/q).
a=l
(15) / w = £ E fipWri-
r\q P eOl{q)
where
S{r)= £ fl/(ft)-
Pi£K(ri) i=l
l<i<k
(17)
E n G*(*) ^ n h E
PiGe(n)*=i
iG«(ft)i a)
KKJfc
EPi^Z
The final hypothesi s ma y a t firs t see m peculiar . T o appreciate it s importanc e
suppose tha t p\r\ an d tha t p\ri fo r i > 1 . The n th e condition s pi G C(n) ,
^ P i E Z impl y tha t pi G G(ri/p). Thu s al l mentio n o f p ca n b e remove d fro m
the lef t han d side , withou t affectin g th e valu e o f th e expression . O n th e othe r
hand, i f G\(p) — 0 for p G C(ri) \ C(ri/p) , the n th e righ t han d sid e is—a s fa r a s
its dependence on p is concerned—of th e form C/y/p. Sinc e p could be arbitraril y
large, thi s lead s t o obviou s nonsense . A s fo r th e degre e o f precisio n offere d b y
(17), w e ma y firs t not e tha t w e hav e equalit y i f th e Gi ar e al l constant . Mor e
significantly, w e hav e equalit y whe n k i s even, r<n-\ — ^2i, G2i-i{p) = G2i{—p),
156 CHAPTER 8 . REDUCE D RESIDU E CLASSE S
Then
2
£ \E{p)\ <rh.
PeQ(r)
M^hXKqh^P^1 £ ,r ^ ip{vi)
r\q Ti\r
Ki<k
=^'^n('^(^p4r)*)
p\q
k2 2k+k
^qh ' P~ .
When combined wit h the probabilistic method o f the preceding section, thi s gives
not (6) , bu t instea d th e weake r estimat e
k 2
Mk(q;h) « fc q{hP) / (l+Pk'\\oghf)
\<i<k
Y^pi=p ( m o d i )
k
(19) ^2c tpi = p (modi) .
and henc e th e boun d provide d b y the Fundamenta l Lemm a i s the sam e fo r thes e
terms a s for a diagonal term . I t woul d b e nice to hav e a form o f the Fundamenta l
Lemma tha t woul d giv e a bette r boun d fo r thes e non-diagona l terms , bu t th e
following exampl e suggest s tha t thi s ma y b e difficul t t o achieve .
P = ^ + ^+ - + Vi
where a G G(s) an d r/ G C(^) fo r 1 < i < k. Finally , fo r 1 < i < k pu t
&i — Pi + Ti — T[. Th e relation YlPi = p (mod 1 ) implie s tha t Oi G C(s;).
The conditio n Y^Pi ~ P ( m ° d 1 ) i s equivalent t o X^=i ^ ~ a ( m ° d 1 ) where
cr = a' — <Jk- Thu s th e lef t han d sid e of (18) is
fc-i
(20) J2G k(ak+rk) Yl HG^-n + rl).
\<i<k
* 7 l l ( * E G^-T j + r^) -
We inser t thi s i n (20) an d appl y Cauchy' s inequalit y t o see tha t th e expressio n
(20) is
< 7 ( E G ^ + ^ ) f 2 ( E n ^ E G^-Ti+T/) 2
4. TH E FUNDAMENTA L LEMM A 159
Pfc6e(rfc)
5. N o t e s . Le t
= (lo g p) (log log p) (log log log log p)
(log log logp)2
This is better tha n (1 8 ) if there is a prime that divide s at least 3 of the r;, bu t eve n
then th e improvemen t i s s o sligh t tha t i t ha s n o impac t i n th e argumen t o f §3.
What i s needed i s a varian t o f th e Fundamenta l Lemm a tha t provide s a greatl y
improved boun d whe n th e configuratio n i s far fro m diagonal . Montgomer y an d
Vaughan [1 2 , Lemma 8] have taken a first step in this direction, bu t thei r attemp t
is very elaborate an d th e improvemen t i s still rathe r small . Suppos e tha t k — 3 ,
p = 0 , an d tha t ever y prim e diviso r o f r divide s exactl y tw o o f the r*; . The n th e
sum o n th e lef t han d sid e o f (1 8 ) ca n b e writte n a s
1<2<3
REFERENCES 161
(25) nii^H^m -
1=1
(27) nitoii^m -
i=l
References
unless 7 = 0 and x i s a real character. Firs t prove d many years ago, this estimat e
has bee n improve d sinc e onl y i n restricte d cases . Fo r example , th e exponentia l
sum method s discusse d i n Chapter s 3 an d 4 hav e bee n applie d t o giv e bette r
upper bound s fo r |C(s) | whe n a i s near 1 , an d the n a wide r zero-fre e regio n ca n
be derive d fo r th e zet a function . Suc h reasonin g ca n b e applie d t o L-functions ,
but i t affect s onl y th e dependenc e o f th e zero-fre e regio n o n I7I , an d ha s n o
impact o n the dependenc e o n q. I n short, w e have no workable q- analogue o f ou r
exponential su m techniques , excep t whe n q is ver y highl y composite .
Suppose tha t w e coul d replac e th e constan t c in (1 ) b y a functio n o f g , tend -
ing t o infinit y wit h q. Suc h a n improvemen t woul d hav e immediat e arithmeti c
consequences. Fo r example , w e coul d deduc e Vinogradov's Hypothesis, whic h
asserts tha t i f x i s a non-principa l characte r modul o q the n ther e i s a n intege r
n, 0 < n < q e, suc h tha t x(^ ) ¥" 1 > x( n) ¥" 0- Th e derivatio n o f thi s fro m a n
improvement o f (1 ) i s provided i n §2 , where w e derive a precis e uppe r boun d fo r
the leas t characte r non-residu e fro m a hypothetica l zero-fre e region . I f suc h a n
improvement o f (1 ) coul d b e establishe d fo r al l x (mo d q), the n on e woul d als o
have a n improve d valu e o f Linnik' s constant : I f (a , q) = 1 then ther e i s a prim e
number p suc h tha t p = a (mo d q) an d p < q l2/5+e.
In § 3 we sho w tha t i f ther e i s a zer o o f L(s , x) nea r th e edg e o f th e classica l
zero-free regio n (1 ) , the n ther e mus t b e man y othe r zero s nearby . Ou r hope —
163
164 C H A P T E R 9 . ZERO S O F L-FUNCTION S
w
(5) w (n) = ^~ / rr [z- — ) dw
E«;(»)x(n)A(n)/n=-ye_ioo - ( .+ l , x ) ( _ - _ ) du, .
7 y
*—v /vp~x — r p~1 \2
< » =-z( —^-)-
Here th e su m i s ove r al l zero s o f L(s,x) - T o analyz e thes e zero s w e mus t not e
that x i s n ° t necessaril y a primitiv e character . Suppos e tha t x * (mo d q*) is th e
primitive characte r tha t induce s X - The n
X
(8) L(8,x) = L(s, X-) II ( -^)
The zero s of L(s, x*) ar e of two types: th e non-trivial zeros p = (3+ 17, which li e
in th e critical strip 0 < (3 < 1 , an d th e trivial zeros, whic h ar e — 1 , - 3 , - 5 , . . .
or 0 , —2, - 4 , . . ., accordin g a s x ( ~ l ) — —1 o r x ( - l ) = 1 - Eac h facto r o f th e
product i n (8 ) ha s a n arithmeti c progressio n o f zero s o n th e imaginar y axis ,
<C logp zero s i n an y interva l o f length 1 . Sinc e ^2 p\q log p < logg , i t follow s tha t
L(s, x) ha s < ^ logq zero s i n an y interva l o f lengt h 1 on th e imaginar y axis . Th e
summand i n (7 ) i s
2.-2(1-/3)
\P ~ 1 |
uniformly fo r / ? < 1 . Thu s w e see tha t th e su m (7 ) i s
V X
(9) =-E{ ,_ ') +o(^ -—-r)+0(X->logq).
j;(^x) = Y^-^—+0(\ogqT)
p
166 CHAPTER 9 . ZERO S O F L-FUNCTION S
y
it follow s tha t
«-^/
L_
1
< lo g qr.
^1 + r + it •
Here eac h ter m ha s positiv e rea l part , an d i f \p — ( 1 -f- it)\ < r the n th e rea l par t
is > l/(2r) . Thu s ther e ca n b e a t mos t < C rlog^T suc h zeros .
With (1 0 ) i n hand , w e now estimat e th e first erro r ter m i n (9) . Cu t th e stri p
1 — 26 < a < 1 — 6 int o square s o f sid e lengt h 6. B y (1 0 ) w e se e tha t th e
contribution t o (9 ) mad e b y zero s i n thi s stri p i s
logq{\j6\ + 2)
«x-2'c+1^-12-fclog<?.
On summin g ove r k = 0 , 1 , . . . , w e deduc e tha t th e contributio n t o th e su m
first erro r ter m i n (9 ) mad e b y zero s fo r whic h (3 < 1 — 6 i s < C x~ 268~l \ogq.
Now divid e th e stri p 1 — 8 < a < 1 int o squares . Th e zero s i n th e jth suc h
square contribut e a n amoun t < C (j6)~2. Assumin g tha t th e first J suc h square s
contain n o zero, we sum ove r j > J t o se e that thes e zero s contribute a n amoun t
^S^J^logq.
Since th e first ter m o n th e righ t han d sid e o f (9 ) i s negative , o n combinin g
our estimate s w e se e tha t
00
1
26 1
(11) &^w(n)x(n)A(n)/n<Cx- 6- logq + C6- J-llogq
n=l
Since 8logq > 1 and 1 — 1 /8 < 0 , we see that th e second ter m o n the right i s
<t: (log A)8~2. O n taking J = [£log#] , the last ter m o n the right i s of the sam e
order o f magnitude a s the first term o n the right, an d thus w e have
for 0 < k < K. Let C be any Kth root of unity. Then there is a prime number p
such that x(p) = C an&
1 /6
(13) p< (AK8logq) .
1 ^ v , , fc ,- fc f 1 ifx(n ) = C,
1
K f—
ln
f — ^ v
0 otherwise .
It the n suffice s t o apply the method use d to prove Theorem 1 , with x{ n) replace d
by thi s linea r combinatio n o f characters.
As in the case of Theorem 1 , we note ho w thi s woul d rea d unde r GRH .
COROLLARY 2 . Let x be a Dirichlet character (mo d q) of order K > 1 .
Suppose that all non-trivial zeros of L(s, xk) ^ e on the line o — 1/2, for 0 < k <
K. Let C be any Kth root of unity. Then there is a prime number p such that
x(p) = C and
2
(14) p<K (logq)2.
168 C H A P T E R 9 . ZERO S O F L-FUNCTION S
»£(*) = - » - ^ - »- + J log7T
Q 5— 1 s i
^ s-p 2 r V
p
—— co s t log n
(15) _ _ £ '-'
(<r-/9) ! + ( t - 7 ) 2
(T-/3c r
( a _ l ) 2+ < 2 a 2+ f 2
+ ^ Y r ( ( f f + t*)/2)-log7r .
|/M)|</(M) l < 7 -1
1-A)
log 70
then
Thus o n on e han d
-<5
G6{<r,t) = V - ^ ( l - n ) ( 3 + 4 c o s n o g n + cos2£logn )
n=l
(17) > 0
where
x 2 + y 2 (a : + d) 2 + y 2
The weight s wit h whic h th e zero s wer e formerl y counte d ha d th e advantag e o f
being non-negativ e (recal l th e derivatio n o f (1 0 ) i n th e precedin g section) ; th e
new weight s w& ar e sometime s negative , bu t the y ar e neve r very negativ e i f 8 is
large compare d wit h a ~ 1 , and the y deca y lik e a n invers e square . Tak e
3 ^ - l , 0 ) < ^ = ^ ,
which b y (20 ) i s
-1
< =7=
7 ( 1 - A^T
) ) 2+81( - A ) ) + 224(1 -A) )
63(1-A))"
Thus th e combine d contributio n o f thes e tw o term s i s
(26) - £ ^-A2*-7)<^^.
|p-(l+2i7o)|<r
- 4 Yl w 6{a-0,t->y)<&6 ] £ \p - ( 1 + 27o)|"2,
\p-(l+i-yo)\>r | p - ( l - M 7o)|>r
(27) <*ta.
r
Similarly,
(30) l
Cr
^ -logR/(l-0oy - n (|7-7o|,|7-27o|)<r.
The constant C depends only on the constants implicit in the relation (29) .
PROOF. Le t a = 1 + 1/log70. The n
cc
j(<r + *7o) + ^(o- + 2z7o ) < C log70,
172 CHAPTER 9 . ZERO S O F L-FUNCTION S
uniformly fo r >/J?( l — /?o) < r < R. I f p i s a zer o fo r whic h 1 — P > 6\^ — 701
then p contribute s a n amoun t ^ > 6/\p — (1 + 270) ! to th e lef t han d sid e o f (31 ) ,
and th e sam e applie s i f 1 — p > S\j — 2701. Henc e b y partia l summatio n th e lef t
hand sid e o f (31 ) i s
^2(^,70) + n 2 ( r , 270 ) « r l o g 7 0 .
(34) A
( l - A ) logger '
There is a {large) absolute constant C\ and a {small) absolute constant C2 such
that if A> C\ and x is primitive (mo d q) then L(s , x) 7 ^ 0 f or
c2logA
a> 1 -,
logger
except for the original exceptional zero (3\ of L{s,xi)-
Before embarkin g o n th e mai n bod y o f th e proof , w e establis h th e requisit e
power-sum lemmas .
4. T H E DEURING-HEILBRON N PHENOMENO N 173
LEMMA 1 . Let
K
p(r,e) = J2{i- 1 ~ykcoske.
IfO<r<l thenP{r,9) > - 1 / 2 for all 9. Also, P(1 ,0 ) = K/2, and\P{r,6)\ <
3r/2 forO<r < 1 /3 .
LEMMA 2 . Let s u = ^2 nbnz^ where the sum may have infinitely many sum-
mands. Suppose that sup n \z n\ = \zi\, and that b n > 0 for all those n for which
\Zn\ > N / 3 . Put
n
Then there is av, 1 < v < 2AL, such that
8 k , > Aftil^il" .
K
1
= X > "E i - ^Y)<(cos^ n ) ( H - c o s i / e1 )
n v—\
6 F r
= S " ( ( " ' ^ ) + \ P(rn,6n - * l ) + \P(r n,0n + «l)) .
The term s fo r whic h r n > 1 / 3 contribut e > — bn > —3r nbn each . I f r n < 1 / 3
then th e ter m i s > — 3rn |6 n |. Thu s
£ i 1 - K^I) J cos
+ : ( + ^o ^ ^ (^ °) = ^
and th e summand s ar e non-negative , s o i t follow s tha t ther e i s a v < K suc h
that $ls u > 6i/8. Thi s complete s th e proof .
P R O O F O F THEORE M 5 . I n thi s proo f w e emplo y a n unusua l convention :
All sum s an d product s ove r zero s ar e extende d ove r al l zero s o f th e functio n i n
question, including the trivial zeros.
Let x D e a characte r (mo d q), x ¥" Xo- W e differentiat e th e partia l fractio n
formula
£ ( s , x ) = B ( x ) + E ( _i_ + i)
k — 1 times t o obtai n th e formul a
1 1° °
( 3 5 ) T^TlY. £ x(n)A(n)(logn) f c1
- n- = - £ - — ^ ,
^' n= lp ^ " '
nasa
for a > 1 , A: > 2 . I f x = X o then L(s , x) P°^ e at 5 = 1 , and th e correspond -
ing formul a i s
1 1° ° 1
(36) ( * = ! ) ! £ Xo(n)A(n)(logn) f e1- n- = j — ^ - £ _ _
for a > 1 and k >2. W e now suppose tha t L(s , x) ha s a zero po = 00 + i~/o wit h
/?o near 1 . W e distinguis h severa l cases .
Case 1 . x / Xoi X ¥" Xi- W e tak e / c = 2i/ , a = 2 , / ; = 70 , an d for m a n
appropriate linea r combinatio n o f (35 ) an d (36 ) t o see tha t
1° °
( 37 ) (o IN IE A
( ^ " 2 ( ! + Xi(»))( ! + x W n - ^ J C l o g n ) 2 - 1
(21/ - 1 ) ra=l
1
r^-/?,^"
(2-/?: 2^ 6 " 2 "'
except for the zero f3\ of L(s, Xi)> whose contribution ha s been written separately .
The rea l par t o f th e lef t han d sid e o f (37 ) i s non-negative , s o tha t
ȣ<^2-^)- 2 l /
>gexp(-2Kl-/3o)).
n
exp(2,(l- / 3 o ))>I^r^»A
The ne t effec t i s that w e still hav e (38) , except tha t th e coefficien t 2 on th e righ t
must b e replace d b y 4 . Th e remainde r o f th e argumen t run s a s before .
176 CHAPTER 9 . ZERO S O F L-FUNCTION S
References
1. Introduction . Le t
N
a xn
(i) p(x) = j2 n
71 = 0
Let d,N denot e th e leas t commo n multipl e o f the integer s 1 ,2,.. . , N. The n I(P)
is a rationa l numbe r whos e denominato r divide s dw+i . Thu s J(P)djv + i i s a n
integer, an d henc e i f I(P) ^ 0 the n
(3) d N+!\I(P)\>l.
X
(4) >{N+l)>log
\I(P)\
Since
179
180 CHAPTER 1 0 . SMAL L POLYNOMIAL S
degP<AT
exists. T o this end, suppose that P is extremal of degree n. Writ e N = nq+r wit h
0 < r < n, by the division algorithm . The n P qxr i s an admissible polynomia l of
degree TV , and hence
(9) F W - b » - f a+ l - 5 ( * - ^ ( » - ^ ) .
K
F{x) = c KxK 4 - . . . + c o = c K Y[(x - fa).
fc=i
K
(10) c%Y[P(0 k)€Z.
fc=l
If P(X)JZ= UN Jln=i( x ~ a
n) the n th e expressio n abov e ma y b e writte n rrxor e
synam^rically a s
**<& n (&-<>•
l<fc<K
Kn<iV
This i s the resultant o f P an d P , denote d P(P , P) .
P R O O F . Th e product i n (1 0 ) is a symmetric polynomial in the fa wit h integra l
coefficients. Henc e by the fundamental theore m of symmetric functions i t ma y b e
182 CHAPTER 1 0 . SMAL L POLYNOMIAL S
(11) x ai
(x - l) a2
{2x - l) a3
(5x 2 - 5 x + l ) a 4 .
(13) r < 5.
and
, / l - V3 5 / " ^= x -40923-
11 77574^/2 9
M - ± - —VV 8 - V2 9 ) = — = -7.7498722 "6
V2 7 0 J 82354300000 0
Hence ||P| | < 7.74987 3 x 1 0~ 6 < 7.781 00 1 x 1 0~ 6 < (2.31 7)- 1 4 . Sinc e c ^ <
(2.317) 14K , i t follow s tha t th e expressio n (1 0 ) ha s absolut e valu e < 1 . Henc e i t
is 0, s o F i s one o f the polynomial s x — 1 , 2x — 1 , 5x 2 — bx + 1 . Consequentl y a
is on e o f th e number s 1 , 2 , or ( 5 ± y/E)/2.
We now present a furthe r sequenc e o f polynomials, b y mean s o f which i t ma y
be see n tha t s < 2.376842 . Thi s als o yield s th e bes t know n uppe r boun d fo r r .
0.6
0.4
0.2+
Then
fo(x)2~h(x)
u(x)
2f0(x¥-fl(Xy
k+1
Since u^ \x) = u(u^(x)), w e find b y a n eas y inductio n tha t
fk-i(x)2 -fk(x)
(17) 2<*>(a:) = (* > 1 ) .
2fk-1(xy - f k(x)
As u~ x{Q} = {0,1 } , th e zero s o f u^ k+2^ ar e precisel y th e zero s o f u^ k+l^
together wit h th e root s o f the equatio n u^ k+1 \x) = 1 . B y (1 7 ) w e see that thes e
x ar e th e zero s o f f k(x). Sinc e u( k+l\x) = 1 has 2 k distinc t solution s i n (0,1 ) ,
it follow s tha t f k(x) ha s a t leas t 2 k distinc t root s i n (0,1 ) . O n th e othe r hand ,
by (1 6 ) i t i s clea r tha t th e degre e o f f k i s a t mos t 2 k. O n combinin g thes e tw o
pieces o f information, w e deduce tha t f k(x) ha s degre e exactl y 2* , that i t ha s 2 k
simple zero s i n (0,1 ) , an d tha t i t ha s n o othe r zeros . Pro m (1 6 ) i t i s als o clea r
2. TH E GORSKOV-WIRSIN G POLYNOMIAL S 185
Here the numerator i s the same as in the initia l fraction ; henc e the correspondin g
denominators mus t b e equal , s o w e have (1 8) .
In orde r t o deriv e a n uppe r boun d fo r s , w e nee d t o determin e th e leadin g
coefficient o f fk- T o thi s end , w e first facto r th e numerato r o f u. Pro m (1 6 ) w e
see tha t
fo{x) = 2x-l,
9o(x) = 1 ,
(20)
fk+i(x) = fk(x) 2 - x(l - x)g k(x)
2
(fc>o),
gk+i{x) = fk(x)g k{x) (fc > 0).
o.iT
0.0 5 +
-0.0 5 +
-O.lJ-
*l + i>l ( 1
Cfc + l = . =C fe + — .
T/ien 5 < so -
Numerically, 5 0 = 2.376841 706263 9 = exp(0.86577259) .
P R O O F . W e argu e withou t usin g th e irreducibilit y o f th e f k. Choos e k > 0 .
We note tha t f k ha s degre e 2 k an d leadin g coefficien t a k < SQ . Henc e f k ha s a t
least on e irreducibl e facto r h whose leadin g coefficien t i s < s 0 e s . Amon g suc h
irreducible factor s o f fk choos e one , sa y h k. Clearl y hk € 3 ^ Also , th e h k ar e
distinct, becaus e (fj,f k) = 1 when j ^ k. Henc e 5 < so -
It i s usefu l t o kno w tha t fk E 7 fo r al l k. T o establish thi s i t remain s onl y t o
prove
THEOREM 4 . (Wirsing ) For k > 0 let f k{x) be defined as in (1 6) . Then f k{x)
is irreducible over Q.
2
(24) * -* + TTT0=°-
This polynomia l i s reducibl e ove r Q(/7) , sinc e otherwis e 7 woul d hav e degre e
2 fc+1 an d fa+\ woul d b e irreducible . Thu s 7 G Q(/?), an d henc e 7 = <?(/? ) fo r
some polynomia l q(z) G Q[z] . Le t th e conjugate s o f / ? b e denote d fa. The n
the conjugate s o f 7 ar e 7 ; = q(fa). Le t r(x ) b e th e minima l polynomia l o f
the 7J . I n additio n t o 7 , th e equatio n (24 ) ha s th e roo t 1 — 7 wit h conjugate s
1 — 7i = 1 — q(fa). Thes e number s hav e minima l polynomia l r ( l - x). Th e root s
of r(a;) an d o f r ( l — x ) ar e distinc t sinc e w e kno w tha t fa+i ha s 2 / c + 1 distinc t
roots. Henc e ove r Q w e hav e th e factorizatio n
fa+i(x) = cr(x)r(l-x).
The inequality (25 ) hold s for al l P G C[x ] with d e g P = TV , but i f the coefficient s
of P ar e integra l the n s o als o ar e th e coefficient s o f P^/Il. Henc e P^(0) i s
an integer . Thu s i f ||P||o o < PQ N the n b y inductin g o n / w e ma y deduc e tha t
p( 7 )(0) = P( J )(1 ) = 0 fo r al l / , an d henc e P = 0 . Consequently , r < fo. Thi s
is no t a ver y goo d uppe r boun d fo r r , sinc e Aparici o [1 0 ] ha d alread y give n a
simpler proo f tha t s < 1 + y/2, bu t i t raise s a possibilit y o f whethe r a sharpe r
upper boun d coul d b e derive d b y usin g th e fac t tha t P mus t als o vanis h t o hig h
multiplicity a t 1 /2 , a t ( 5 ± \/5)/1 0 , etc . I t ma y b e tha t th e Juli a se t o f u{x) i s
relevant t o furthe r advances , perhap s a s discusse d b y Barnsley , Geronimo , an d
Harrington [21 ] .
The bes t possibl e bas e i n Corollar y 1 i s 29 1 / 4 = 2.320596 . Indeed , on e ca n
take th e bas e t o b e 2.34 , provide d tha t th e fou r algebrai c integer s
V V
4 44 4 44
are adde d t o th e lis t o f exceptions. Thes e ar e th e root s o f th e polynomia l
x4 - l l x 3 + 40x 2 - 58: r + 2 9 = x 4
f4{l/x).
1 3 x 3 - 1 9a; 2 + 8x-1 ,
4 3 2
3Lr - 61 x 4 - 41x - l l x + 1 ,
190 CHAPTER 1 0 . SMAL L POLYNOMIAL S
(28) #(/,-,/* )= 1
whenever 0 < j < k.
References
11. , New bounds for uniform Diophantine deviation from zero in [0,1 ]
and [0,1 /4] , Rev . Univ . Santande r (1 979) , No. 2 , 289-291 .
12. , Diophantine approximations to zero of generalized complex polyno-
mials over an imaginary quadratic fields Publ . Sec . Mat . Univ . Autonom a
Barcelona (1 980) , No . 21 , 145-148.
13. , On a system of algebraic integers of D. S. Gorshkov and its appli-
cation, Rev . Mat . Hispano-Americ a 4 1 (1 981 ) , 3-1 7 .
14. , Generalization of a theorem of L. G. Shnirelman on the existence
of limits in minimal Diophantine deviations from zero, Proceeding s o f th e
twelfth annua l conferenc e o f Spanis h mathematician s (Malaga , 1 976) , Univ .
Malaga, Malaga , 1 983 , pp. 1 59-1 64 .
15. , Some results in the problem of Diophantine approximations of func-
tions by polynomials, Trud y Mat . Inst . Steklo v 1 6 3 (1 984) , 6-9 ; Englis h
transl. Proc . Steklo v Inst . 4 (1 985) , 7-1 0 .
16. , Generalization of the theorem of L. G. Schnirelman, J . Analys e
Math. 4 8 (1 987) , 21 7-224 .
17. , On the asymptotic structure of the polynomials of minimal diophan-
tic deviation from zero, J . Approx . Theor y 5 5 (1 988) , 270-278 .
18. , Diophantine approximations of functions by polynomials, Congres s
of Numbe r Theor y (Zarautz , 1 984) , Univ. Pai s Vasco , Bilbao , 1 989 , pp. 69 -
88.
19. , Generalization of a theorem of Fekete to the case of generalized
complex polynomials, Litovski i Mat . Sb . 3 0 (1 990) , 645-650 ; Englis h transl .
in Lithuania n Math . J . 3 0 (1 991 ) , 291 -295 .
20. , Polynomials of minimal Diophantic relative deviation from zero on
the interval [0,1 ] , Ne w trend s i n probabilit y an d statistics , Vol . 2 (Palanga ,
1991), VSP , Utrecht , 1 992 , pp. 3-7 .
21. M . F . Barnsley , J . S . Geronimo , A . N . Harrington , Orthogonal polynomials
associated with invariant measures on Julia sets, Bull . Amer . Math . Soc .
(N.S.) 7 (1 982) , 381 -384 .
22. P . L . Chebyshev , Collected Works, Vol. I, Theory of Numbers, Akad . Nau k
SSSR, Moscow , 1 944 .
23. H . Diamon d an d P . Erdos , On sharp elementary prime number estimates,
Enseign. Math . (2 ) 2 6 (1 980) , 31 3-321 .
24. M . Drmota , Abschatzungen ganzzahliger Polynome auf dem Intervall [0,1 ] ,
Elem. Math . 4 4 (1 989) , 57-63 .
25. L e Baro n O . Ferguson , Approximation by polynomials with integral coeffi-
cients, Math . Survey s 1 7 , Amer. Math . Soc , Providence , 1 980 .
26. A . O. Gelfond, On quasi-polynomials deviating least from zero on the segment
[0,1], Izv . Akad . Nau k SSSR . Ser . Mat . 1 5 (1 951 ) , 9-1 6 .
27. , On polynomials deviating least from zero along with their deriva-
tives, Dokl . Akad . Nau k SSS R (N.S. ) 9 6 (1 954) , 689-691 .
192 CHAPTER 1 0 . SMAL L POLYNOMIAL S
ness on the exterior of a segment and on a half-axis, Dokl . Akad. Nauk SSS R
132 (1 960) , 303-306 ; Englis h transl . Sovie t Math . Dokl . 1 (1 960) , 568-572 .
45. , Approximation of functions with a given modulus of smoothness on
the exterior of a segment and semi-axis, Studie s o f Moder n Problem s o f
Constructive Theor y o f Functions , Fizmatgiz , Moscow , 1 961 , pp. 47-51 .
46. , Approximation of functions by polynomials with integral coefficients,
Dokl. Akad . Nau k SSS R 1 4 0 (1 961 ) , 773-775 .
47. , Approximation of functions by polynomials with integer coefficients,
Izv. Akad . Nau k SSS R Ser . Mat . 2 6 (1 962) , 261 -280 .
48. , Approximation of functions with Diophantine conditions by polyno-
mials with integral coefficients, Metri c question s o f th e theor y o f function s
and mappings , No . 2 , Izdat . "Naukov a Dumka" , Kiev , 1 971 , pp. 267-333 .
49. , The approximation of functions by polynomials with special coeffi-
cients, Izv . Vyss . Ucebn . Zaved . Mat . 1 977 , no . 1 (1 76) , 93-99 ; Englis h
transl. Sovie t Math . Iz . VU Z 2 1 (1 977) , 77-82 .
This page intentionally left blank
http://dx.doi.org/10.1090/cbms/084/11
1. Unifor m Distribution .
1. (Solved ) Can one construct an upper bound for D(N) in terms of the £/#(& )
that is better than the Erdos-Turdn inequality! Alternatively, show that
is the best possible upper bound for D(N), using only upper bounds for |E/jv(fc)| .
As remarke d i n th e Note s a t th e en d o f Chapte r 1 , thi s wa s solve d b y Ruzs a
during o r shortl y afte r th e conference . Se e Ruzs a [54] . I n som e delicat e situ -
ations, suc h a s i n estimatin g th e discrepanc y o f th e sequenc e {nu} wher e UJ i s
badly approximabl e (i.e. , th e partia l quotient s i n th e continue d fractio n o f a; ar e
bounded), th e boun d E(N) i s large r tha n th e trut h b y on e logarithm . J . Bec k
(to appear ) ha s devise d a ne w metho d tha t start s wit h harmoni c analysis , bu t
saves tha t logarithm . Se e als o Vaale r [66] .
2. (Solved ) How much larger than D(N) can E(N) be? In particular, if D(N) =
0(1), how big can E(N) be? By Theorem 1 . 2 we can deduce that E(N) < C N 1 /3,
and it is not hard to construct examples in which E(N) ^> N 1 /4.
During th e conference , Ruzs a [55 ] showe d tha t on e ca n hav e D(N) « 1 an d
E(N) « N 1 / 3 .
195
196 APPENDI X SOM E UNSOLVE D PROBLEM S
2. va n de r Corpu t Sets .
4. (Solved ) Pu £
7?(:K)=siipinf ||M|| .
Qe^heJi
When % is the set of squares, we know that n{3i) = 0 , by Heilbronn's theorem,
and in general we call Oi a Heilbronn se t ifrj(3i) = 0 . In Theore m 2. 9 we proved
that rj(0-C) < 6(Ji). Thus any van der Corput set is a Heilbronn set. Is the
converse true?
No, th e convers e i s false ; see th e Note s a t th e en d o f Chapte r 2 .
5. Let r}{0i) be defined as above. Can one define a dual extremal quantity, and
prove that it has the same value?
7. (Fiirstenberg ) Letp andq be positive integers, not powers of the same number.
Suppose that x is a real number, and let § p be the set of fractional parts of the
numbers p nx. Similarly, let % q be the set of fractional parts of the numbers q nx.
Show that if x is irrational then the sum of the Hausdorff dimensions of the
closures of these sets is > 1 .
Prom thi s i t woul d follo w tha t 2 n ha s a 7 i n it s bas e 1 0 expansion , fo r al l
large n.
8. Show that for any real number 0 and any e > 0 there is an JVo(e ) such that if
N > N 0{e) then there is ann, 1 < n < N, such that \\n 20\\ < iV~ 1 +e .
Heilbronn [31 ] achieve d th e exponen t —1 /2- f e, and A . Zaharesc u (t o appear )
recently improve d thi s t o — 4/7 - b e.
3. Wey l Sums .
8. Show that if P(x) = YLj=i a k%k, \ct — a/q\ < l/q 2, {a,q) = I, then
r
JV 26
b
£>(P(n,a)) da « M N + ;v26-*(fc+i)/ 2
fc 1=1
JT
4. va n de r Corput' s Method .
11. Give a sensible description of the boundary of the set of exponent pairs
obtainable by using Processes A and B.
5. Turan' s Method .
12. Improve on Haldsz's variant of Turan's First Main Theorem: Show that if
s
» = J2n=i bnZ n> kn | > 1 for all 7i, then
forH>N2.
This woul d allo w on e to replac e th e resul t o f Halasz an d Montgomer y [30 ] b y
a bes t possibl e result .
13. Show that for any positive B there exist complex numbers z\, ... , z/v such
that \z n\ = 1 for all n, and s y <C # iV 1 /2 uniformly for 1 < v < N B.
For B < 2 thi s i s achieve d i n Exampl e 5.6 . Se e th e Note s a t th e en d o f
Chapter 5 .
14. Suppose that \z n\ > 1 /or a/ / n , and that b n > 0 /or aZ Z n. Prove that
N N N i/2
max |s„ | > I ( Y]\b |2
n\
or give a counter-example.
Under th e stronge r hypothesi s tha t \z n\ = 1 , this follow s fro m Theore m 5.8 .
198 APPENDIX SOM E UNSOLVE D PROBLEM S
6. Irregularitie s o f Distribution .
15. For any given positive integer k, show that there is a constant Ck > 0
such that if any N points are given in T h then their discrepancy must be >
CfcflogW)*-1.
This i s know n onl y fo r k — 2 ; see th e Note s a t th e en d o f Chapte r 6 .
16. Let N points be given in T k, and let D(a) denote the associated dis-
crepancy function. Show that there is a constant Ck > 0 such that \\D\\i >
c fc (logJV) (fc - 1)/2 .
This i s know n onl y fo r k = 2 ; see th e Note s a t th e en d o f Chapte r 6 .
18. (Danzer ) Let § be a discrete set in the plane such that every rectangle in
the plane of area 1 contains at least one point of the set. Let N(R) denote the
number of members of § in the disk of radius R centered at the origin. It is
possible to have N(R) « i ? 2 as R— > o o ?
It i s eas y t o construc t example s i n whic h N(R) < C R2 logR.
f
Jo
TI N
1
5>""""
n=l
2p
<ft < ( T + N p)Np+e
7. MEA N AN D LARG E VALUE S O F DIRICHLE T POLYNOMIAL
1 S 9 9
20. Show that ifO<t 1 <...<tR<T with t r+i - t r > 1 for 1 < r < R, and if
\0"n\ < 1 for a M n> then
Ri N
m
m,n * *n n=l
rriykn
22. Show that there exists an absolute constant C such that ify is any finite set
of prime numbers, and a p are arbitrary complex numbers, then
2
iy Hl
p,qG7 pG?
E ,r
\m. — n.\
\m — n,
> N lo g log AT.
m,n£Q ' '
d\n \d-s\
6\n
d^6
24. Determine the best constant C\{a) such that if a n > 0 for all n, and the A n
are real numbers, then
pa \ MN .| 22 f- 1 i\ i N
a
/ J^ n e ( ^ n ^ ) dx<Ci(a) y^a ne(Anx) dx.
25. Determine the best constant C2{p) such that if \b n\ < a n for all n, and the
Xn are real numbers, then
pa I JNv ,\* 2 „pi1 Ii J^ V
ne nX dx.
/ X^ (^ ) dx<Ci(a) y^g n e(A n
27. Let J{q) denote the maximum gap between consecutive reduced residue
classes (mo d q). Show that
J(q) < (lo g 9) log log ^,
and that
J(q) = ft ((lo g g) log log g).
The bes t know n uppe r boun d i s du e t o Iwaniec ; J(q) < C (logg) 2 . I n th e
opposite direction , i t i s know n tha t ther e exis t arbitraril y larg e q such tha t
j, \ > c (lo g q) (log log q) (log log log log q)
(log log log q)2
Erdos offer s $1 0,00 0 fo r a proo f tha t on e ca n replac e th e constan t c abov e b y a
function tendin g t o infinit y wit h q.
28. (Erdos ) Let 6 > 0 be given, and let J(q) denote the maximum gap between
consecutive reduced residue classes (mo d q). Is it true that J(q) <^$ uj{q) when
q is restricted to integers such that <fi(q)/q > 6 ?
10. SMAL L POLYNOMIAL S WIT H INTEGRA L COEFFICIENT S 20 1
29. (Erdos ) Let 1 = a\ < a2 < . .. be the positive integers that are relatively
prime to q, listed in increasing order. Put
o% = (^z+ i - en) .
Q
i=l
9. Zero s o f L-Functions .
33. Prove that there is a positive constant c such that if x is a quadratic character
(mod q) then L(s, x ) 7 ^ 0 for s > 1 — c / log q.
34. Show that there is a constant K < 1 / 2 such that i / x i s a quadratic character
(mod g) , q > qo, then L(s,x) ¥" 0 for s > 1 — q~ K. Here K and qo should be
effectively computable.
35. Show that there is a function f(q) with f(q) — • 0 0 as q—> 00 , such that if x
is a character (mo d q) then L(s , x) 7 ^ 0 /or 5 m tfie rectangle
l-f(q)/\ogq<tos<l, | 9 f s | < l .
P=£0
degP<^
Le£ ? denote the set of polynomials f G Z[x] that are irreducible over Q and
have all their roots in the interval [0,1 ] . Let s be the least limit point of the set
of numbers
|C/|l/deg/
11. C h a r a c t e r Sums .
37. Let D denote the set of fundamental quadratic discriminants. Show that
38. (Fa n Chung ) Let § be a set of Z residue classes (mo d p). Show that
'a + b\
E(^)-<*>
a,beS
when Z « yjp.
Friedlander an d Iwanie c [28 ] hav e mad e som e progres s o n this .
39. (Harve y Cohn ) If F is a finite field, f : F -> C, /(0 ) = 0 , \f(a)\ = 1 for all
a^O, / ( l ) = 1 , and
£/(a)7fa + 6) = -l
b£F
12. Diophantin e A p p r o x i m a t i o n .
40. (Solved ) Does there exist a real number x that is normal to one base, but
non-normal to another?
Yes. Cassel s [8 ] showe d tha t ther e exist s a rea l numbe r x suc h tha t x i s
normal bas e 3 , bu t x i s non-norma l t o al l base s tha t ar e no t power s o f 3 . Mor e
generally, Schmid t [58 ] prove d th e following : Suppos e tha t th e integer s b > 1
are partitione d int o tw o classe s 31 an d § , i n suc h a way tha t al l power s o f b lie in
the sam e clas s a s 6 . The n ther e exis t continuu m man y rea l number s x tha t ar e
normal t o al l base s 6 € 31 , and non-norma l t o al l base s b G S .
41. (Littlewood ) Let \\0\\ denote the distance from 6 to the nearest integer. Is it
true that
liminfn||n0||||n(/>|| = 0
71—+00
for any real numbers 0 , 0 ?
The lat e B . F . Skubenk o [59-61 ] mounte d a n attac k o n thi s problem ; som e
of hi s idea s ma y b e useful .
12. DIOPHANTIN E APPROXIMATIO N 203
43. (Wirsing ) Let k > 1 be given. Does there exist a constant Ck such that for
any real number 0 £ [0,1 ] there exists a real algebraic number a whose degree
over Q does not exceed k, such that
44. (Wills ) Show that if 1 < ri\ < n^ < . • • < n^ then
47. Show that there is a positive constant C such that for any positive integer
q there is a number a, 1 < a < q, (a , q) = 1 , such that the continued fraction
coefficients of a/q are all < C.
See Cusic k [1 1 , 1 2 , 1 4 ] an d Hensle y [31 , 32].
48. (Le o Moser(?) ) A weakening of the above: Show that there is a positive
constant C such that for any positive integer q there is a number a, 1 < a < q,
(a, q) = 1 , such that the sum of the continued fraction coefficients of a/q is
<Clogg.
The wor k o f Diamon d an d Vaale r [1 9 ] ma y b e useful .
14. ALGEBRAI C INTEGER S 205
Show that there is a constant c > 1 such that if P £ Z[x] and M(P) < c then P
is a vroduct of cyclotomic polynomials (i.e. , M(P) = 1 ) .
The leas t know n valu e o f M(P) > 1 was foun d b y Lehme r [43 ] lon g ago , i n
an exhaustiv e search . Lehmer' s polynomia l
P(x) = x 1 0 + x 9 - x 7 - x 6 - x 5 - x A - x 3 + x + 1
has arise n man y time s since ; i t achieves M(P) = 1 .1 762808 . Le t 0 > 1 satisf y
0 3 - 0 - 1 . Siege l prove d tha t 0 i s th e leas t P V number . Smyt h [62 ] prove d
that i f P i s irreducibl e an d M{P) < 0 then P i s a reciproca l polynomial . Tha t
is, P(x) = x nP(l/x). Mor e recen t numerica l studie s hav e bee n conducte d b y
Boyd [4] .
50. (Salem ) An algebraic integer a > 1 is called a Salem number if all conjugates
of a lie in the closed unit disk \z\ < 1 , with at least one conjugate on the unit
circle. Let S denote the set of all PV numbers, and T the set of all Salem
numbers. Salem proved that every member of S is a limit of members of T. Does
T have any other limit points? Prove that 1 is not a limit point of T. Prove
that S U T is closed.
For basi c propertie s o f P V an d Sale m numbers , se e Sale m [56 ] o r Bertin ,
Decomps-Guilloux, Grandet-Hugot , Pathiaux-Delefoss e an d Schreibe r [3] . Se e
also numerou s paper s o f Boyd , an d paper s cite d therein .
51. Show that there is a constant c > 0 such that if an algebraic integer a and
all its conjugates lie in the disk \z\ < 1 + c/n then a is a root of unity.
The bes t resul t i n thi s directio n thu s fa r i s du e t o Dobrowolsk i [20] , wh o
proved tha t ther e i s a c > 0 such tha t i f
3
•K,t \ - . /loglognx
M(a) < l + c( f
V lo g n J
then a i s a roo t o f unity . Th e valu e o f c ha s bee n improved , an d th e proo f
simplified, b y Canto r an d Strau s [6] , Rausch [53] , and Loubouti n [44] .
52. (Boyd ) Let a be an algebraic integer that is not a PV number. Give a lower
bound for the distance from a to the set S of PV numbers.
206 APPENDIX SOM E UNSOLVE D PROBLEM S
53. (Bohr ) Let A = A(iV ) be chosen so that if f(x) = ^2 n=l a"nz{k nx) where the
rik form an increasing sequence of integers, then
M
max 7 a ne(knx) <A|| |L°°-
Clearly lo gAT < A < N 1 /2. Boh r showe d tha t th e valu e o f T i s relate d t o a
question concernin g th e absciss a o f unifor m convergenc e o f generalize d Dirichle t
series.
be?
It i s know n tha t i t ca n b e a s smal l a s cN 2/3.
(2) y^ene(nx) N
n=l
uniformly in x 1
Kahane [36] , building o n work o f Korner [41 ] and Byrne s [5] , showed tha t fo r
any e > 0 there i s an iVo(e ) such tha t i f N > NQ then on e can choos e unimodula r
complex number s e i , . . . , e^r s o tha t
N
(i-e)VN< ^£ne{nx) <{l + e)VN
n=l
57. (Erdos ) Let P(x) = Yl n=i e ne(nx) with e n = ±1 for all n. Show that there
is an absolute constant c > 1 such that sup ^ |P(a;) | > cy/N.
16. MISCELLANEOU S 207
58. Suppose that P(z) = X] n_o e nzn where e n — ±1 for all n. Define numbers
cn by the relation \P(e(t))\ 2 = Y2n=—NCn
e(nt). Thus co = N + l. We call P(z)
a Barker polynomia l if \c n\ < 1 for all n.
Strong Conjecture . There is no Barker polynomial of degree TV > 1 2 .
Weak Conjecture . There are only finitely many Barker polynomials.
The Wea k Newma n Conjectur e implie s th e wea k conjectur e above .
59. (D . J . Newman ) Let eo,ei,.. . ,ej y be independent random variables with
P ( 6 n = 0 ) = P ( e n = 1 ) = 1 /2 . Put K(z) = Y^n=o €nZn. Show that there is an
absolute constant c > 0 such that
Does there exist a choice of the e n G {0,1} such that m i n ^ ^ i |lf(z) | > c > 0 ?
What if c is replaced by cy/N ?
60. (Saffari ) Suppose that f{x) — 5Z n = 1 e ne(nx) where \e n\ = 1 for all n. Write
f(%)2 = En= 2 d ne(nx). Is it true that £ * = 2 \d n\2 » N 2 ?
It i s obviou s tha t £ ^ ! 2 K | 2 » N 2 -
61. (Hardy-Littlewood ) Suppose that f G L2(T), and that /(& ) ^ 0 only when
k is a perfect square. Does it follow that f G LP(T) for all p < 4 ?
A. Cordob a (unpublishe d ? ) ha s show n tha t th e answe r i s in the affirmativ e i f
one assume s tha t th e number s f(k 2) ar e positiv e an d monotonicall y decreasing .
E e n x»
fc=i v IILMTT)
; I
\\y^e(k
fe=i
I ^v '
2
x)
L^T)
16. Miscellaneous .
63. (Erdos ) Can one walk to infinity on the Gaussian primes, taking steps of
bounded length?
It ma y b e that th e answe r i s no when th e nt h ste p ha s lengt h < C (logn)c wit h
c < 1 /2 , bu t ye s whe n c > 1 /2 .
208 APPENDIX SOM E UNSOLVE D PROBLEM S
65. (solved ) Let Y^=v anzn have radius of convergence 1 . The set of z, \z\ = 1 ,
for which the series diverges is a S§ a set. Given such a set of points on the
circle, is there a power series for which it is precisely the set of divergence?
Originally pose d b y Herzo g an d Piranian , thi s wa s solve d i n th e negativ e b y
Lukasenko [45] , following simila r wor k o f Korne r [40 ] concernin g Fourie r series .
For a genera l expositio n se e Korne r [42] , especiall y th e unsolve d problem s o n
the las t page .
66. (H . S . Shapiro ) Consider finite sums of the form ^2a neUJnZ. If two such
entire functions have infinitely many zeros in common, must there exist a third
such sum (with more than one terml) that divides them both?
67. (Gelfond ) Let w(n) denote the number ofl's in the binary expansion of n ;
this is called the binar y weigh t of n. Show that w(p) is odd for asymptotically
half of the primes.
Olivier [50 , 51 ] attacked thi s problem b y using Vinogradov's metho d o f prim e
number sums , bu t i t seem s tha t th e "Typ e II " sum s wer e neve r estimated .
are called coverin g congruence s if every integer satisfies at least one of these
congruences, provided that the moduli rrti are distinct positive integers. Show
that for any C > 0 there is a system of covering congruences with all moduli
>C.
Erdos offer s $1 ,00 0 fo r a proo f o f this .
72. Let C denote a simple closed curve in the plane. A point P is called equi-
chordal if every line through P meets the curve at two points that are a constant
distance apart. Can a curve have two distinct equichordal points?
Suppose tha t th e constan t distanc e i n questio n i s 1 an d tha t th e distanc e
between th e tw o equichorda l point s i s c. Thi s proble m i s no w essentiall y solve d
since i t ha s recentl y bee n show n tha t ther e ca n b e a t mos t finitel y man y c fo r
which suc h a curv e ca n exist . Se e Wirsing [70] , Michelacci an d Volci c [46] , an d
Schafke an d Volkme r [57] .
73. (Erdos ) Let A be an infinite set of positive integers, and let r(n) be the
number of ways of writing n as a sum of two members of A. If r(n) > 0 for all
n, does it follow that limsup n ^ 0 0 r(n) = +o o ?
74. (Veech ) Suppose that a is given, 0 < a < 1 /2 . Does there exist a function f,
not identically 0 , such that f has period 1 , is even, /(0 ) = 0 , YH=i f( a/Q) = 0
for every positive integer q, and f G Lip(a) ?
77. (Erdo s & Szekeres) Does there exist a function f(n) tending to infinity with
n such that if2<i<j<n-2 then gcd((™) , (")) > f(n) ?
Roughly twenty years ago, Erdos and Szekere s proved that i f l < z < j < r a — 1
then gcd((?),(;) ) > 1 . Th e proo f i s easy, since (?)('. ) = (?)(«-• ) an d (? ) > (') .
J. L . Selfridge ha s noted that i t is not alway s true that gcd(n(n— 1 ) , (^) , ( n )) > 1 ;
the tripl e (n,i,j) — (46,10, 23) i s a counter-example .
210 APPENDI X SOM E UNSOLVE D PROBLEM S
78. (Erdos ) Let P(n) denote the largest prime factor of n. Show that the set of
n such that P(n) > P(n + 1 ) has asymptotic density 1 /2 .
79. (Erdo s & Graham ) Suppose that the positive integers are partitioned into
finitely many sets S i , . . . , S j. Does there necessarily exist a j such that the
equation
K
1
References
2
216 INDEX
L Montgomery, H . L . 1 4 , 37 , 82 , 1 04 -
Lachance, M . M . 1 04 , 1 06 , 1 9 2 106, 1 20 , 1 22 , 1 23 , 143-148,
Lagarias, J . C . 1 76 , 1 7 7 148, 1 60 , 1 62 , 1 76-1 78 , 1 88 ,
Landau, E . 4 , 1 03 , 1 06 , 208 197, 1 99 , 202 , 21 1 , 21 2
Lang, S . 1 04 , 1 0 6 Moore, R . R . 61 , 63
height conjectur e 1 0 4 Mordell, L . J . 65 , 68, 71 , 77, 82, 8 3
lattice constan t 20 3 Moser, L . 20 4
least characte r non-residu e 1 64-1 67 , Motohashi, Y . 1 76 , 1 7 8
176 Mozzochi, C . J . 61 , 63
Lehmer, D . H . 205 , 21 2
LeVeque, W . J . 9 , 1 5 , 203, 21 1 N
inequality 9 , 1 0 , 1 4 Nair, M . 1 88 , 1 9 2
Levinson, N . 1 76 , 1 7 7 Nair, R . v i
Lindelof Hypothesi s 59 , 1 41 , 142 Newman, D . J . 206 , 20 7
linear programmin g 20 , 2 1 Newton-Girard identitie s 66^ 71 , 72,
Linnik, Ju . V . 81 -83 , 1 72 , 1 76 , 1 7 7 97
constant 1 6 3 Niederreiter, H . 1 4 , 1 5
lemma 71 -72 , 74 , 82 Nieland, L . W . 60 , 6 3
Littlewood, J . E . 1 02 , 1 03 , 1 04 , 1 06 , normal matri x 1 3 6
133, 1 44 , 1 45 , 1 47 , 1 48 , 1 76 , normal numbe r 202-20 4
178, 202 , 203, 206-20 8 numerical radiu s 1 35-1 3 7
Logan, B . F . 1 44 , 1 4 8
Lorch, L . 1 04 , 1 0 6 O
Lou, S . T . 1 60 , 1 6 2 Odlyzko, A . M . 1 76 , 1 77 , 208 , 21 2
Louboutin, R . 205 , 21 2 Olivier, M . 208 , 21 2
Loxton, J . H . 60 , 6 3 operator
Lukasenko, S . Ju . 208 , 21 2 norm 1 34-1 3 7
Luquin, F . 1 9 2 theory 1 34-1 4 0
Lyons, R . v i Ostrowski, A . 1 20 , 1 2 3
M P
Mack, J . 1 8 8 Paley, R . E . A . C . 1 03 , 1 0 7
Mahler measur e 20 5 Parseval's identit y 4 , 1 09 , 1 3 3
Maier, H . 1 60-1 6 2 approximate 1 1 5 , 1 26 , 1 2 8
majorant principle s 1 31 -1 34 , 1 43 , Pathiaux-Delefosse, M 205 , 21 0
144 Peres, Y . 37 , 3 8
Makai, E . 1 03 , 1 0 6 Perron's formul a 1 3 0
Markov inequalit y 1 81 , 188 Phillips, E . 61 , 63
Mela, J.-F . v Pintz, J . 1 76 , 1 7 8
Mendes-France, M . vi , 37 , 38 , 61 -63 , Piranian, G . 20 8
81, 8 2 Plancherel's theore m 1 1 6
Michelacci, G . 209 , 21 2 Poincare recurrenc e 3 7
Min, S . H . 6 1 Poisson summatio n formul a 1 4 , 39,
Minkowski's conve x bod y theore m 46, 4 9
105 truncated 49 , 60 , 61 , 141
moments 76 , 1 25 , 1 5 1 Pollington, A . D . vi , 204 , 21 2
INDEX 219
Polya, G . 1 45 , 1 4 7 S
-Vinogradov inequalit y 1 0 , 1 4 6 Saff, E . B . 1 04 , 1 06 , 1 9 2
Pomerance, C . 1 60 , 1 62 , 203 , 21 1 Saffari, B . v , vi , 20 7
Poorten, A . J . va n de r 61 , 63 Salem, R . 205 , 21 3
Postnikov, A . G . 1 76 , 1 7 8 numbers 20 5
Powell, M . J . D . 95 , 1 0 7 Sander, J . W . v i
power su m 85-1 07 , 1 64 , 1 7 2 Sanov, I . N . 1 9 2
Preissmann, E . 1 45 , 148 Schaefer, H . H . 24 , 3 8
prime numbe r theore m 1 8 0 Schaeffer, A . C . 1 88 , 1 92 , 204, 21 1
primes 33 , 1 5 1 Schafke, R . 209 , 21 3
Schinzel, A . v i
Gaussian 20 7
Schmeisser, G . 1 04 , 1 0 7
Proth, F . 20 8
Schmidt, W . M . 37 , 38 , 1 20 , 1 21 , 124,
PV numbe r 20 5 202, 203 , 211 , 21 3
Schreiber, J . P . 205 , 21 0
R Schur, I . 1 37 , 1 45 , 1 4 9
Selberg, A . 1 4 , 1 5 , 145
Rahman, Q . I . 1 04 , 1 0 7
functions 1 4 , 1 27-1 29 , 1 4 3
Ramachandra, K . 1 46 , 1 4 9
polynomials 6 , 1 4 , 1 2 7
random variable s 1 25 , 1 53 , 209
Selfridge, J . L . 20 9
Rankin, R . A . 61 , 63, 1 60 , 1 6 2 Serre, J.-P . vi , 1 7 6
Rauch, J . B . v i Shapiro, H . N . 1 60 , 1 6 1
Rausch, U . 205 , 21 2 Shapiro, H . S . 1 44 , 1 49 , 20 8
rearrangement o f Fourie r coefficient s Shnirelman, L . G . 1 8 8
144 Sidon se t 1 0 5
reduced residu e classe s 1 51 -1 62 , 200 , Siegel, C . L . 1 05 , 1 07 , 20 5
201 theorem 1 7 6
Renyi, A . 1 05 , 1 0 6 Silverman, J . 1 04 , 1 0 6
resultant 1 8 1 skew-Hermitian 1 3 9
Riemann, G . R . B . Skubenko, B . F . 202 , 21 3
Hypothesis 1 63 , 20 1 Smyth, C . J . 1 05 , 1 07 , 205 , 21 3
spectral radiu s 1 3 5
Generalized 1 63 , 1 64 , 1 67 , 20 1
Sprindzhuk, V . G . 204 , 21 3
zeta functio n 59 , 60, 82 , 1 41 , 161,
squarefree number s 5 6
168-172, 1 7 6
squares 21 , 31, 33, 1 96 , 20 7
Riesz produc t 2 3
sums o f tw o 20 8
Riesz representatio n theore m 2 4 stationary phas e 47 , 51 -53 , 61 , 11 5
Ringrose, C . 1 76 , 1 7 7 Stechkin, S . B . 82 , 8 3
Rivlin, T . J . 95 , 1 0 7 Stegun, I . 1 1 4 , 1 2 2
Rodosskii, K . A . 1 76 , 1 7 8 Stenger, F . 1 04 , 1 0 7
Roth, K . F . 1 5 , 83, 1 20-1 2 4 Stein, P . 1 0 4
Rozin, S . M . 1 76 , 1 7 8 Straus, E . G . 1 04 , 1 06 , 205 , 21 0
Russell, D . 1 04 , 1 0 6 Suranyi, J . 1 0 7
Ruzsa, I . Z . v, vi , 1 4 , 1 5 , 37, 38, 1 04 , Swinnertion-Dyer, H . P . F . 203 , 21 0
122, 1 24 , 1 95 , 1 98 , 1 99 , 212, Szalay, M . 1 0 7
213 Szego, G . 95 , 1 0 7
220 INDEX
Szekeres, G . 20 9 W
Wagner, G . 1 21 , 124
T Walfisz, A . 60 , 63, 81 , 83
Tenenbaum, G . v , vi , 200 , 21 3 Waring's proble m 8 2
Tijdeman, R . 1 03-1 05 , 1 07 , 1 21 , 124 Watson, G . N . 1 1 3 , 1 2 4
Watt, N . 60-6 3
Titchmarsh, E . C . 60 , 61 , 63, 81 , 83,
Weissbach, B . 203 , 21 3
131, 1 43 , 149, 1 76 , 1 7 8
Weyl, H . 1 , 1 5-1 7 , 41 , 60, 63 , 137,
Trigub, R . M . 1 92 , 1 9 3
149
Turan, P . 1 4 , 1 5 , 1 02-1 04 , 1 07 , 146,
Criterion 1 , 3 , 1 3-1 4 , 1 8 , 20, 27,
147
32, 33 , 34
First Mai n Theore m 86-89 , 91 , 96, differencing 1 7 , 40 , 42 , 4 6
103, 1 9 7 method 39-42 , 60 , 69 , 8 1
Second Mai n Theore m 86 , 93-9 7 sum 39-46 , 65-83 , 1 44 , 1 9 6
method 85-1 07 , 1 76 , 1 9 7 Theorem 1 7 , 1 8 , 3 3
Tyrina, O . V . 82 , 8 3 Wiener, N . 1 03 , 1 07 , 1 44 , 1 49 , 209
Wilker, J . B . 203 , 21 1
U Wills, J . M . 203 , 21 3
Uchiyama, S . 1 04 , 1 0 7 Wintner, A . 1 44 , 1 4 9
Ullman, J . L . 1 88 , 1 9 2 Wirsing, E . vi , 1 44 , 1 87 , 1 89 , 1 90 ,
203, 209 , 21 3
unitary similarit y 1 3 6
polynomials 1 83-1 9 0
unitary 1 36 , 1 3 7
Wooley, T . D . vi , 82 , 8 3
V Y
Vaaler, J . D . 1 4 , 1 5 , 1 43 , 1 45 , 148, Yao, Q . 1 60 , 1 6 2
149, 1 95 , 204, 21 1 , 21 3
function 1 5 Z
Lemma 6 , 1 0-1 4 Zaharescu, A . 37 , 1 9 6
polynomial 5 , 1 4 zero-free regio n 1 63 , 1 68 , 1 69 , 1 7 6
Vallee Poussin , Ch . d e l a 1 7 6 Zuckerman, H . S . 1 9 2
Varga, R . S . 1 04 , 1 06 , 1 9 2 Zygmund, A . 26 , 38 , 49, 6 4
Vaughan, R . C . v , vi , 60 , 63 , 81, 83,
143, 1 45 , 1 48 , 1 60 , 1 62 , 1 99 ,
202, 204 , 21 2
Veech, W . A . 20 9
VilcinskiT, V . T . 204 , 21 3
Vinogradov, I . M . 4 , 1 4 , 1 5 , 33, 46,
65, 81 , 83, 1 76 , 1 7 8
hypothesis 1 63 , 1 64 , 1 7 6
little glasse s 1 4
mean valu e theore m 67-78 , 1 9 7
method 46 , 65-83 , 1 7 6
Volcic, A . 209 , 21 2
Volkmer, H . 209 , 21 3
Voorhoeve, M . 1 03 , 1 0 7
Other Title s i n Thi s Serie s
(Continued from the front of this publication)