Math 259: Introduction to Analytic Number Theory Exponential sums II: the Kuzmin and Montgomery-Vaughan estimates
|
|
- Eustace Gray
- 5 years ago
- Views:
Transcription
1 Math 59: Introduction to Analytic Number Theory Exponential sums II: the Kuzmin and Montgomery-Vaughan estimates [Blurb on algebraic vs. analytical bounds on exponential sums goes here] While proving that an arithmetic progression with irrational step size is equidistributed mod, we encountered the estimate N e(cn) e(c) = / sin πc c, n= where c is the distance from c to the nearest integer. Kuzmin (97) obtained a much more general estimate of this kind: Proposition. Let c n (0 n N) be a sequence of real numbers whose sequence of differences δ n := c n c n ( n N) is monotonic and contained in [k + λ, k + λ] for some k Z and λ > 0. Then N e(c n ) cot πλ λ. Proof : Let ζ n = Note that the ζ n are collinear: e(δ n ) = e(c n ) e(c n ) e(c n ). ζ n = ( + i cot πδ n )/; since the sequence {δ n } is monotonic and contained in (k, k + ), the ζ n are positioned consecutively on the vertical line Re(ζ) = /. Now our exponential sum is N N e(c n ) = e(c N ) + (e(c n ) e(c n ))ζ n Thus N e(c n ) ζ + n= = ( ζ N )e(c N ) + ζ e(c 0 ) + N n= N n= e(c n )(ζ n+ ζ n ). ζ n+ ζ n + ζ N = ζ + ζ N ζ + ζ N, where in the last step we used the monotonicity of Im(ζ n ) and the fact that Re(ζ n ) = /. The conclusion of the proof, ζ + ζ N ζ + ζ N sin πλ + πλ = cot tan πλ,
2 is an exercise in trigonometry. For instance, for t/π < N < N we have N n=n n it N /t, since we are dealing with c n = (t log n)/π and thus δ n t/nπ. By partial summation it follows that and thus N n=n n / it t ζ(/ + it) = N N n 3/ n dn t N /, N n / it + O(), n= uniformly for all N, t with t /π < N t. With some more work, we can (and soon will) push the upper limit of the sum further down, but not (yet?) all the way to t ɛ ; as n decreases, the phase e((t log n)/π) varies more erratically, making the sum harder to control. Still, if we sum random complex numbers of norm c n, the variance of the sum is n c n, so we expect the sum to grow as the square root of that, which for ζ(/ + it) would make it log / t on average. We shall prove this as an application of one of a series of general mean-square results of this kind, in which the summands are not independent variables but complex exponentials with different frequencies: f(t) = c µ e(µt) for some finite set A R and coefficients c µ C. For example, to estimate T ζ(σ + it) dt for some nonnegative T, T, we shall take A = {(π) log n : πn < T } and c µ = n σ for each µ = (π) log n A. To begin with, if we fix A and c µ then clearly T f(t) dt = (T T ) c µ + O(). How does the O() depend on A, c µ, T, T? Consider first the special case that A is contained in an arithmetic progression {µ 0 +nδ : n Z} with common difference δ > 0. Then e( µ 0 t)f(t) is a periodic function of period δ, and T f(t) dt = (T T ) c µ holds exactly if T T δ Z. It follows that for any T, T we have f(t) dt (T T ) c µ < δ c µ. () T
3 Remarkably the same inequality can be proved under the much weaker hypothesis that µ ν δ for all distinct µ, ν A. We follow [Vaaler 985], who attributes the argument to Selberg in 974. Lemma. Let χ I be the characteristic function of the interval I = [T, T ]. Suppose β, β + : R R are functions such that: i) β (z) χ I (z) β + (z) for all real z; ii) β (z) dz and β +(z) dz converge, say to B and B + respectively; iii) The Fourier transforms ˆβ (r) = β (z) e(rz) dz, ˆβ+ (r) = β + (z) e(rz) dz vanish for all real r with r δ. Then for every finite set A R such that µ ν δ for all distinct µ, ν A, and any c µ C, we have B c µ where f(t) = c µe(µt). Proof : By (i) we have f(t) β (t) dt T T f(t) dt B + c µ f(t) dt f(t) β + (t) dt. We expand f(t) as µ,ν A c µ c ν e((µ ν)t), and find that the lower and upper bounds are µ,ν A c µ c ν ˆβ± (µ ν). By (ii), the main terms (with µ = ν) sum to B ± c µ ; by (iii), the cross terms (with µ ν) vanish. It is not at all obvious that any functions β ± can be found that satisfy all three conditions of the Lemma. Note that we must have β ± (z) = δ ˆβ δ ± (r) e( rz) dr by condition (iii) and the inversion formula for Fourier transforms, so in particular the β ± (z) must extend to entire functions of z = x + iy with β ± (x + iy) exp πδ y. We construct suitable β ± as follows. The Beurling function B(z) is defined by ( ) [ sin πz B(z) := π z + (n z) m= ] (m + z). () This is an entire function of z, because the double zeros of sin πz at z Z cancel the double poles of /(n z) and /(m + z). Beurling [938] proved: Proposition. i) 0 B(z) sgn(z) < /(πz) for all z R, with B(z) = sgn(z) if and only if z is a nonzero integer. ii) (B(z) sgn(z)) dz =. 3
4 iii) For z = x + iy C we have B(z) sgn(x) ( + z ) exp π y ; in particular, B(z) exp π Im(z) for all z C. Here sgn(z) is the sign (a.k.a. signum) of the real number z, equal to,, or 0 according as z is positive, negative, or zero. Assuming this Proposition, consider the functions β ± defined by β (z) = [ B ( δ(t z) ) + B ( δ(z T ) )], β + (z) = + [ B ( δ(z T ) ) + B ( δ(t z) )]. By (i), together with the observation that χ I (z) = ( sgn(z T )+sgn(t z) ) / for z T i, we have β (z) χ I (z) β + (z) for all real z. The same observation together with (ii) yields β ± (z) dz = ± δ + χ I (z) dz = T T ± δ. Finally, by (iii) the β ± (z) are analytic with β ± (z) z exp πδ Im(z). Thus for r δ we can prove β ±(z) e(rz) dz = 0 by contour integration, moving the path of integration up if r δ and down if r δ. This together with the preceding Lemma establishes the inequality () whenever µ ν δ for all distinct µ, ν A. It remains to prove the Proposition on Beurling s function. Proof : We use the well-known partial-fraction decomposition (π/ sin πz) = n= /(z n), which we shall write as ( π ) = sin πz (n z) + m= i) We have B(0) = > sgn(0). For z > 0 we use (3) to write ( ) [ ] sin πz B(z) = π z (m + z). m= Since /(t + z) is a decreasing function of t on [0, ), we have dt (t + z) < m= (m + z) < 0 (m + z). (3) dt (t + z). Thus m= (/(z + ), /z), so B(z) with equality if and only if z Z, and B(z) (sin πz/πz) /(πz). Likewise, for z < 0 we use ( ) [ ] sin πz B(z) + = π z + (n z). 4
5 Since /(t z) is a decreasing function of t on [0, ), we have (n z) > dt (t z) = z, so B(z), again with equality if and only if z Z. On the other hand, (n z) = z + (n z) < z + dt (t z) = z + z, n= 0 from which B(z) + (sin πz/πz) /(πz). We have proved the claimed inequality whether z is zero, positive, or negative. ii) By part (i), the integral converges, and thus equals (B(z)+B( z)) dz. But (B(z) + B( z))/ is simply ((sin πz)/πz), and it is well-known that ( ) sin πz dz =. πz (For instance, one may calculate that ((sin πz)/πz) = ( r ) e(rz) dz, and then use Fourier inversion.) Hence (B(z) sgn(z)) dz = as claimed. iii) We may assume z >. Again we use our formulas for B(z) or B(z) + according as x 0 or x 0. In the former case, z m= (m + z) = m= m= m m ( 0 (t + z) (m + z) m + z 3 z. ) dt Likewise if x 0 we have z + (n z) /z. Since sin πz exp π y, the claimed inequality follows. The inequality () is not quite enough for us to prove directly that T 0 ζ( + it) dt T log T, (4) because so far we must approximate ζ( +it) by a partial sum of length N t to assure an O() error, and thus must take δ /N /T and get an error term in () proportional to the main term T log T. We can nevertheless obtain (4) in two ways, by improving our estimates on exponential sums either individually or in mean square. (See also the Exercises.) For now we continue with the mean-square approach. Again we set f(t) = c µe(µt), and integrate f(t) termwise. This time we write the result as T f(t) dt (T T ) c µ = Q A ( c ) Q A ( c ), 5
6 where Q A is the sesquilinear form on C A defined by Q A ( x) = x µ x ν πi µ ν µ,ν A µ ν and c j C A (j =, ) are the vectors with µ coordinate c µ e(µt j ). The termwise estimate Q A ( x) π µ>ν x µx ν /(µ ν) is already sufficient to prove T T 0 ζ(/ + it) dt log T. But remarkably a tighter estimate holds in this general setting. Let δ(µ) = min ν µ, ν the minimum taken over all ν A other than µ itself. We shall show: Theorem (Montgomery-Vaughan Hilbert Inequality). For any finite set A R and any c C A we have Q A ( c) c µ δ(µ), and thus T c µ e(µt) dt = [ T T + θ ] c µ δ(µ) with θ. Why Hilbert Inequality and not simply Inequality? Because this is a grand generalization of the original Hilbert inequality, which is the special case A = {µ Z : µ < M}. In that case our function f(t) is Z-periodic, and as Schur observed the inequality Q A ( c) < (/) µ c µ follows from the integral formula Q A ( c) = i 0 (t ) f(t) dt (though as we ve seen in the periodic case the resulting estimate on T T f(t) dt is even easier than the upper bound on Q A ( c) ). The Montgomery-Vaughan inequality does not have as precise an error bound as (), but it has the advantage that the coefficient of c µ is smaller when the distance from µ to the rest of A greatly exceeds δ = min δ(µ). For example, the formula (4) for the second moment of ζ( + it) follows quickly from Montgomery-Vaughan: take A = {log n/π : n =,, 3,..., N} to find that N N c n n it dt = (T T + O(n)) c n T n= n= for any T, T, c n ; then choose (T, T ) = ( T, T/) and c n = n / to find T N T/ n= n / it dt = T log N + O(T + N), 6
7 and conclude that T T/ from which (4) follows. ζ(/ + it) dt = T log T + O(T log T ), Proof of the Montgomery-Vaughan Hilbert inequality: Consider C A as a finitedimensional complex Hilbert space with inner product c, c := c µ c µ/δ(µ). Then Q A ( x) = x, L x where L is the Hermitian operator taking x to the vector with µ coordinate (πi) δ(µ) ν µ x ν/(µ ν), and we want to show that c, L c c, c for all c C A. But this is equivalent to the condition that L have norm O() as an operator on that Hilbert space, and since the operator is Hermitian it is enough to check that [ Q A ( c) =] c, L c holds when c is a normalized eigenvector. Thus it is enough to prove that Q A ( c) for all A, c such that c µ /δ(µ) = and there exists some λ R such that δ(µ) ν µ c ν /(µ ν) = iλc µ for each µ A, in which case λ = πq A ( c). Now for any c we have πq( c) = c µ c ν ( c ν )( c µ ). µ ν µ ν ν ν ν µ ν µ ν By assumption ν c ν / =. For the other factor, we expand c µ = c µ µ ν µ ν + c µ c µ (µ ν)(µ ν). µ ν µ ν µ µ The single sum contributes c µ (µ ν) µ ν µ to ν µ ν c µ/(µ ν) ; let T µ be the inner sum ν µ /(µ ν), so the above contribution is µ c µ T µ. The double sum contributes µ µ c µ c µ ν µ,µ 7 (µ ν)(µ ν).
8 The key trick is now to use the partial fraction decomposition ( (µ ν)(µ ν) = µ µ µ ν ) µ ν to rewrite this last triple sum as c µ c [ ( µ µ µ µ µ ν µ,µ (µ ν) (µ ν) The point is that the first part of the inner sum is almost independent of µ, while the second half is almost independent of µ : the other µ enters only as a single excluded ν. That is, the triple sum is where c µ c µ µ µ µ µ [( S(µ ) δ(µ ) µ µ S(µ) := ν µ )]. ) ( S(µ ) δ(µ )] ) µ µ µ ν. And now we get to use the eigenvalue hypothesis to show that the S(µ j ) terms cancel each other. Indeed we have c µ c µ S(µ ) = c µ S(µ ) µ µ µ µ µ µ µ and the inner sum is just iλ c µ /δ(µ ), so c µ c µ S(µ ) = iλ µ µ µ µ µ The same computation shows that c µ c µ S(µ ) = iλ µ µ µ µ µ µ µ c µ S(µ) c µ δ(µ). S(µ) c µ δ(µ), so the S(µ j ) terms indeed drop out! Collecting the surviving terms, we are thus left with πq( c) c µ T µ + δ(µ ) + δ(µ ) c µ c µ (µ µ ). (5) µ µ By now all the coefficients are positive, so we will have no further magic cancellations and will have to just estimate how big things can get. We ll need some lemmas (which are the only place we actually use the definition of δ(µ)!): first, for each k =, 3,..., µ A ν µ (µ ν) k k δ(µ) k ; (6) 8
9 second, µ, µ A ν µ,µ Now the first sum in (5) is O() because (µ ν) (µ ν) [δ(µ ) ] + [δ(µ ) ] (µ µ ). (7) T µ = ν µ (µ ν) δ(µ) by the case k = of (6). The second sum will be bounded by Cauchy-Schwarz. That sum is bounded by twice B := δ(µ ) c µ c µ (µ µ ) = δ(µ) c µ c ν (µ ν). µ µ µ ν Since µ c µ /δ(µ) =, we have B ν ( c µ δ(µ) ). (µ ν) µ ν Expanding and switching s we rewrite this as B ( c µ c µ δ(µ )δ(µ ) µ,µ ν µ,µ ) (µ ν) (µ ν). When µ = µ, the inner sum is δ(µ) 3 (by (6) with k = 4), so the contribution of those terms is µ c µ /δ(µ) =. When µ µ we apply (7), and the resulting estimate on the sum of the cross-terms is twice the double sum defining B! So, we ve shown (modulo the proofs of (6, 7)) that B + B. Thus B and we re finally done. Exercises On the Kuzmin inequality:. Prove (4) in yet another way as follows. Write T 0 N n / it N dt = T n + n= n= 0<n<n N (nn ) / Im (n /n) it log(n /n). For each j =,, 3,... use Kuzmin to obtain nontrivial bounds on (nn ) / (n /n) it / log(n /n). n =n+j (This is closely related to the van der Corput bounds that will be our next topic.) 9
10 On the Beurling function:. Show that B(z) = B(z ) π sin πz/(z 3 z ). Explain how this can be used to efficiently compute B(z) to high accuracy. (There are at least two approaches, one of which works also for large and/or complex z.) 3. Prove that the constant δ in () is best possible. Use this to show that the Beurling function minimizes (f(z) sgn(z)) dz over all entire functions f satisfying f(z) sgn(z) for z R and f(z) exp π Im(z) for all z C. Beurling showed that in fact B(z) is the unique minimizing function. The same argument shows that if T T is a positive integer then our β ± are optimal; but they are not unique: see [GV 98, p.89] for Selberg s description of all the optimal β ±. When T T / Z, the best β ± are slightly better than those constructed from Beurling s function; Logan [977] found the optimal β ± in this case and proved their uniqueness. 4. (A further application of β + to mean-square bounds on exponential sums; look up Large Sieve in [Selberg 969] for the context) i) Suppose T, T Zδ. Prove that there exists an entire function f such that β + (z) = f(z) for all z R and f(z) z exp πδ Im(z) for all z C, and thus that f R is an L function with ˆf supported on r δ/. [Hint: a polynomial P R[x] is nonnegative for all real x if and only if P = Q for some Q C[x]. According to [Vaaler 985], the result holds even without the hypothesis that T T Zδ, using a theorem of Fejér.] ii) Now let S(x) be a trigonometric polynomial of the form T n=t c n e(nx) for some complex numbers c n (T n T ), and set S (x) = T T f(n) c n e(nx). Then S is the convolution of S with ˆf, so ( ) ( δ/ ) δ/ S(x) ˆf(u) du δ/ = (T T + δ ) δ/ δ/ S (x + u) du δ/ S (x + u) du. Conclude that if (δ and) A R/Z is any finite set such that x x δ for all distinct x, x A then T S(x) < (T T + δ ) c n. x A n=t Explain why this is elementary when A x 0 + (ZR /Z) for some integer R. On the generalized Hilbert inequality: 5. Prove that the constant π in the original Hilbert inequality is best possible, and show that it holds even if c µ is allowed to be nonzero for every integer µ (this is in fact what Hilbert originally proved). 0
11 6. More generally, prove that the norm of Q A relative to the standard inner product ( c, c ) = c µ c µ is less than (δ). 7. Deduce the second-moment estimate (), albeit with a slightly worse error bound than we proved using Montgomery-Vaughan, from the generalized Hilbert inequality (), as follows: write N n= n / it = f (t) + f (t), where f (t) = A n= n / it and f (t) = N n=a+ n / it ; use () to estimate T T/ f (t) dt and T T/ f (t) dt; and then use f + f = f + O( f ) (triangle inequality in L (T/, T )). On the Montgomery-Vaughan inequality: 8. Complete the proof by verifying the inequalities (6,7). 9. Let χ be a character (primitive or not) mod q. Obtain an asymptotic formula for T 0 L(/ + it, χ) dt. How does the error term depend on q? (It is conjectured that L(/ + it, χ) ɛ (q t ) ɛ ; naturally this problem is still wide open: it has the Lindelöf conjecture as a special case.) References [Beurling 938] Beurling, A.: Sur les intégrales de Fourier absolument convergentes et leur application à fonctionelle, Neuvième Congrès des Mathématiciens Scandinaves, Helsinfgors, 938. [GV 98] Graham, S.W., Vaaler, J.D.: A class of extremal functions for the Fourier transform, Trans. Amer. Math. Soc. 65 (98), [HLP] Hardy, H.G., Littlewood, J.E., Pólya, G.: Inequalities. Cambridge Univ. Press, 967 (nd ed.). [Logan 977] Logan, B.F.: Bandlimited functions bounded below over an interval, Notices Amer. Math. Soc. 4 (977), A-33. [MV 974] Montgomery, H.L., Vaughan, R.C.: Hilbert s Inequality, J. London Math. Soc. () 8 (974), [Vaaler 985] Vaaler, J.D.: Some extremal functions in Fourier analysis, Bull. Amer. Math. Soc. (N.S.) (985) #, 83 6.
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance
More informationMath 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance
More informationFINITE FOURIER ANALYSIS. 1. The group Z N
FIITE FOURIER AALYSIS EIL LYALL 1. The group Z Let be a positive integer. A complex number z is an th root of unity if z = 1. It is then easy to verify that the set of th roots of unity is precisely {
More informationMath 229: Introduction to Analytic Number Theory The product formula for ξ(s) and ζ(s); vertical distribution of zeros
Math 9: Introduction to Analytic Number Theory The product formula for ξs) and ζs); vertical distribution of zeros Behavior on vertical lines. We next show that s s)ξs) is an entire function of order ;
More informationTHE ZERO-DISTRIBUTION AND THE ASYMPTOTIC BEHAVIOR OF A FOURIER INTEGRAL. Haseo Ki and Young One Kim
THE ZERO-DISTRIBUTION AND THE ASYMPTOTIC BEHAVIOR OF A FOURIER INTEGRAL Haseo Ki Young One Kim Abstract. The zero-distribution of the Fourier integral Q(u)eP (u)+izu du, where P is a polynomial with leading
More information1 Euler s idea: revisiting the infinitude of primes
8.785: Analytic Number Theory, MIT, spring 27 (K.S. Kedlaya) The prime number theorem Most of my handouts will come with exercises attached; see the web site for the due dates. (For example, these are
More informationA Smorgasbord of Applications of Fourier Analysis to Number Theory
A Smorgasbord of Applications of Fourier Analysis to Number Theory by Daniel Baczkowski Uniform Distribution modulo Definition. Let {x} denote the fractional part of a real number x. A sequence (u n R
More informationMATH CSE20 Homework 5 Due Monday November 4
MATH CSE20 Homework 5 Due Monday November 4 Assigned reading: NT Section 1 (1) Prove the statement if true, otherwise find a counterexample. (a) For all natural numbers x and y, x + y is odd if one of
More informationNORMAL NUMBERS AND UNIFORM DISTRIBUTION (WEEKS 1-3) OPEN PROBLEMS IN NUMBER THEORY SPRING 2018, TEL AVIV UNIVERSITY
ORMAL UMBERS AD UIFORM DISTRIBUTIO WEEKS -3 OPE PROBLEMS I UMBER THEORY SPRIG 28, TEL AVIV UIVERSITY Contents.. ormal numbers.2. Un-natural examples 2.3. ormality and uniform distribution 2.4. Weyl s criterion
More informationMathematics 324 Riemann Zeta Function August 5, 2005
Mathematics 324 Riemann Zeta Function August 5, 25 In this note we give an introduction to the Riemann zeta function, which connects the ideas of real analysis with the arithmetic of the integers. Define
More informationThe Circle Method. Basic ideas
The Circle Method Basic ideas 1 The method Some of the most famous problems in Number Theory are additive problems (Fermat s last theorem, Goldbach conjecture...). It is just asking whether a number can
More informationMEAN VALUE THEOREMS AND THE ZEROS OF THE ZETA FUNCTION. S.M. Gonek University of Rochester
MEAN VALUE THEOREMS AND THE ZEROS OF THE ZETA FUNCTION S.M. Gonek University of Rochester June 1, 29/Graduate Workshop on Zeta functions, L-functions and their Applications 1 2 OUTLINE I. What is a mean
More informationMath 229: Introduction to Analytic Number Theory Čebyšev (and von Mangoldt and Stirling)
ath 9: Introduction to Analytic Number Theory Čebyšev (and von angoldt and Stirling) Before investigating ζ(s) and L(s, χ) as functions of a complex variable, we give another elementary approach to estimating
More informationMath 259: Introduction to Analytic Number Theory More about the Gamma function
Math 59: Introduction to Analytic Number Theory More about the Gamma function We collect some more facts about Γs as a function of a complex variable that will figure in our treatment of ζs and Ls, χ.
More informationLecture 6 January 21, 2016
MATH 6/CME 37: Applied Fourier Analysis and Winter 06 Elements of Modern Signal Processing Lecture 6 January, 06 Prof. Emmanuel Candes Scribe: Carlos A. Sing-Long, Edited by E. Bates Outline Agenda: Fourier
More informationTaylor and Laurent Series
Chapter 4 Taylor and Laurent Series 4.. Taylor Series 4... Taylor Series for Holomorphic Functions. In Real Analysis, the Taylor series of a given function f : R R is given by: f (x + f (x (x x + f (x
More informationZeros of the Riemann Zeta-Function on the Critical Line
Zeros of the Riemann Zeta-Function on the Critical Line D.R. Heath-Brown Magdalen College, Oxford It was shown by Selberg [3] that the Riemann Zeta-function has at least c log zeros on the critical line
More informationChapter Four Gelfond s Solution of Hilbert s Seventh Problem (Revised January 2, 2011)
Chapter Four Gelfond s Solution of Hilbert s Seventh Problem (Revised January 2, 2011) Before we consider Gelfond s, and then Schneider s, complete solutions to Hilbert s seventh problem let s look back
More informationHilbert s Inequalities
Hilbert s Inequalities 1. Introduction. In 1971, as an off shoot of my research on the Davenport Halberstam inequality involving well spaced numbers, I took the numbers to be equally spaced and was led
More informationMATH 311: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE
MATH 3: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE Recall the Residue Theorem: Let be a simple closed loop, traversed counterclockwise. Let f be a function that is analytic on and meromorphic inside. Then
More informationON A WEIGHTED INTERPOLATION OF FUNCTIONS WITH CIRCULAR MAJORANT
ON A WEIGHTED INTERPOLATION OF FUNCTIONS WITH CIRCULAR MAJORANT Received: 31 July, 2008 Accepted: 06 February, 2009 Communicated by: SIMON J SMITH Department of Mathematics and Statistics La Trobe University,
More informationEstimates for sums over primes
8 Estimates for sums over primes Let 8 Principles of the method S = n N fnλn If f is monotonic, then we can estimate S by using the Prime Number Theorem and integration by parts If f is multiplicative,
More informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationMath 259: Introduction to Analytic Number Theory Exponential sums IV: The Davenport-Erdős and Burgess bounds on short character sums
Math 259: Introduction to Analytic Number Theory Exponential sums IV: The Davenport-Erdős and Burgess bounds on short character sums Finally, we consider upper bounds on exponential sum involving a character,
More informationRandom Bernstein-Markov factors
Random Bernstein-Markov factors Igor Pritsker and Koushik Ramachandran October 20, 208 Abstract For a polynomial P n of degree n, Bernstein s inequality states that P n n P n for all L p norms on the unit
More informationTopics in Fourier analysis - Lecture 2.
Topics in Fourier analysis - Lecture 2. Akos Magyar 1 Infinite Fourier series. In this section we develop the basic theory of Fourier series of periodic functions of one variable, but only to the extent
More informationBernstein-Szegö Inequalities in Reproducing Kernel Hilbert Spaces ABSTRACT 1. INTRODUCTION
Malaysian Journal of Mathematical Sciences 6(2): 25-36 (202) Bernstein-Szegö Inequalities in Reproducing Kernel Hilbert Spaces Noli N. Reyes and Rosalio G. Artes Institute of Mathematics, University of
More informationThe major arcs approximation of an exponential sum over primes
ACTA ARITHMETICA XCII.2 2 The major arcs approximation of an exponential sum over primes by D. A. Goldston an Jose, CA. Introduction. Let. α = Λnenα, eu = e 2πiu, where Λn is the von Mangoldt function
More informationConsidering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.
Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and
More informationAlan Turing and the Riemann hypothesis. Andrew Booker
Alan Turing and the Riemann hypothesis Andrew Booker Introduction to ζ(s) and the Riemann hypothesis The Riemann ζ-function is defined for a complex variable s with real part R(s) > 1 by ζ(s) := n=1 1
More informationHomework 27. Homework 28. Homework 29. Homework 30. Prof. Girardi, Math 703, Fall 2012 Homework: Define f : C C and u, v : R 2 R by
Homework 27 Define f : C C and u, v : R 2 R by f(z) := xy where x := Re z, y := Im z u(x, y) = Re f(x + iy) v(x, y) = Im f(x + iy). Show that 1. u and v satisfies the Cauchy Riemann equations at (x, y)
More informationA VERY BRIEF REVIEW OF MEASURE THEORY
A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and
More informationPiatetski-Shapiro primes from almost primes
Piatetski-Shapiro primes from almost primes Roger C. Baker Department of Mathematics, Brigham Young University Provo, UT 84602 USA baker@math.byu.edu William D. Banks Department of Mathematics, University
More informationENTIRE FUNCTIONS AND COMPLETENESS PROBLEMS. Lecture 3
ENTIRE FUNCTIONS AND COMPLETENESS PROBLEMS A. POLTORATSKI Lecture 3 A version of the Heisenberg Uncertainty Principle formulated in terms of Harmonic Analysis claims that a non-zero measure (distribution)
More informationMath 259: Introduction to Analytic Number Theory The Selberg (quadratic) sieve and some applications
Math 259: Introduction to Analytic Number Theory The Selberg (quadratic) sieve and some applications An elementary and indeed naïve approach to the distribution of primes is the following argument: an
More informationBernoulli Polynomials
Chapter 4 Bernoulli Polynomials 4. Bernoulli Numbers The generating function for the Bernoulli numbers is x e x = n= B n n! xn. (4.) That is, we are to expand the left-hand side of this equation in powers
More informationHarmonic Analysis Homework 5
Harmonic Analysis Homework 5 Bruno Poggi Department of Mathematics, University of Minnesota November 4, 6 Notation Throughout, B, r is the ball of radius r with center in the understood metric space usually
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationSolutions to practice problems for the final
Solutions to practice problems for the final Holomorphicity, Cauchy-Riemann equations, and Cauchy-Goursat theorem 1. (a) Show that there is a holomorphic function on Ω = {z z > 2} whose derivative is z
More informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More informationMOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS
MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS ABDUL HASSEN AND HIEU D. NGUYEN Abstract. This paper investigates a generalization the classical Hurwitz zeta function. It is shown that many of the properties
More informationMath Homework 2
Math 73 Homework Due: September 8, 6 Suppose that f is holomorphic in a region Ω, ie an open connected set Prove that in any of the following cases (a) R(f) is constant; (b) I(f) is constant; (c) f is
More informationThe zeros of the derivative of the Riemann zeta function near the critical line
arxiv:math/07076v [mathnt] 5 Jan 007 The zeros of the derivative of the Riemann zeta function near the critical line Haseo Ki Department of Mathematics, Yonsei University, Seoul 0 749, Korea haseoyonseiackr
More informationIMPROVED RESULTS ON THE OSCILLATION OF THE MODULUS OF THE RUDIN-SHAPIRO POLYNOMIALS ON THE UNIT CIRCLE. September 12, 2018
IMPROVED RESULTS ON THE OSCILLATION OF THE MODULUS OF THE RUDIN-SHAPIRO POLYNOMIALS ON THE UNIT CIRCLE Tamás Erdélyi September 12, 2018 Dedicated to Paul Nevai on the occasion of his 70th birthday Abstract.
More informationNotes on Equidistribution
otes on Equidistribution Jacques Verstraëte Department of Mathematics University of California, San Diego La Jolla, CA, 92093. E-mail: jacques@ucsd.edu. Introduction For a real number a we write {a} for
More informationBALANCING GAUSSIAN VECTORS. 1. Introduction
BALANCING GAUSSIAN VECTORS KEVIN P. COSTELLO Abstract. Let x 1,... x n be independent normally distributed vectors on R d. We determine the distribution function of the minimum norm of the 2 n vectors
More informationLes chiffres des nombres premiers. (Digits of prime numbers)
Les chiffres des nombres premiers (Digits of prime numbers) Joël RIVAT Institut de Mathématiques de Marseille, UMR 7373, Université d Aix-Marseille, France. joel.rivat@univ-amu.fr soutenu par le projet
More informationA note on a construction of J. F. Feinstein
STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform
More informationWe start with a simple result from Fourier analysis. Given a function f : [0, 1] C, we define the Fourier coefficients of f by
Chapter 9 The functional equation for the Riemann zeta function We will eventually deduce a functional equation, relating ζ(s to ζ( s. There are various methods to derive this functional equation, see
More information18.785: Analytic Number Theory, MIT, spring 2007 (K.S. Kedlaya) Brun s combinatorial sieve
18.785: Analytic Number Theory, MIT, spring 2007 (K.S. Kedlaya) Brun s combinatorial sieve In this unit, we describe a more intricate version of the sieve of Eratosthenes, introduced by Viggo Brun in order
More informationDirichlet s Theorem. Martin Orr. August 21, The aim of this article is to prove Dirichlet s theorem on primes in arithmetic progressions:
Dirichlet s Theorem Martin Orr August 1, 009 1 Introduction The aim of this article is to prove Dirichlet s theorem on primes in arithmetic progressions: Theorem 1.1. If m, a N are coprime, then there
More informationLINEAR EQUATIONS OVER F p AND MOMENTS OF EXPONENTIAL SUMS
LINEAR EQUATIONS OVER F p AND MOMENTS OF EXPONENTIAL SUMS VSEVOLOD F. LEV Abstract Two of our principal results in a simplified form are as follows. theorem For p prime, the number of solutions of the
More informationBURGESS INEQUALITY IN F p 2. Mei-Chu Chang
BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,
More informationClassical Fourier Analysis
Loukas Grafakos Classical Fourier Analysis Second Edition 4y Springer 1 IP Spaces and Interpolation 1 1.1 V and Weak IP 1 1.1.1 The Distribution Function 2 1.1.2 Convergence in Measure 5 1.1.3 A First
More informationExercises for Part 1
MATH200 Complex Analysis. Exercises for Part Exercises for Part The following exercises are provided for you to revise complex numbers. Exercise. Write the following expressions in the form x + iy, x,y
More informationMath 61CM - Solutions to homework 2
Math 61CM - Solutions to homework 2 Cédric De Groote October 5 th, 2018 Problem 1: Let V be the vector space of polynomials of degree at most 5, with coefficients in a field F Let U be the subspace of
More informationTopic 4 Notes Jeremy Orloff
Topic 4 Notes Jeremy Orloff 4 auchy s integral formula 4. Introduction auchy s theorem is a big theorem which we will use almost daily from here on out. Right away it will reveal a number of interesting
More information4 Uniform convergence
4 Uniform convergence In the last few sections we have seen several functions which have been defined via series or integrals. We now want to develop tools that will allow us to show that these functions
More informationThe Riemann Hypothesis
The Riemann Hypothesis Matilde N. Laĺın GAME Seminar, Special Series, History of Mathematics University of Alberta mlalin@math.ualberta.ca http://www.math.ualberta.ca/~mlalin March 5, 2008 Matilde N. Laĺın
More informationMATH Fundamental Concepts of Algebra
MATH 4001 Fundamental Concepts of Algebra Instructor: Darci L. Kracht Kent State University April, 015 0 Introduction We will begin our study of mathematics this semester with the familiar notion of even
More informationSUMS OF VALUES OF A RATIONAL FUNCTION. x k i
SUMS OF VALUES OF A RATIONAL FUNCTION BJORN POONEN Abstract. Let K be a number field, and let f K(x) be a nonconstant rational function. We study the sets { n } f(x i ) : x i K {poles of f} and { n f(x
More informationCONSECUTIVE PRIMES AND BEATTY SEQUENCES
CONSECUTIVE PRIMES AND BEATTY SEQUENCES WILLIAM D. BANKS AND VICTOR Z. GUO Abstract. Fix irrational numbers α, ˆα > 1 of finite type and real numbers β, ˆβ 0, and let B and ˆB be the Beatty sequences B.=
More informationA NOTE ON CHARACTER SUMS IN FINITE FIELDS. 1. Introduction
A NOTE ON CHARACTER SUMS IN FINITE FIELDS ABHISHEK BHOWMICK, THÁI HOÀNG LÊ, AND YU-RU LIU Abstract. We prove a character sum estimate in F q[t] and answer a question of Shparlinski. Shparlinski [5] asks
More informationCHAPTER VI APPLICATIONS TO ANALYSIS
CHAPTER VI APPLICATIONS TO ANALYSIS We include in this chapter several subjects from classical analysis to which the notions of functional analysis can be applied. Some of these subjects are essential
More information1 The functional equation for ζ
18.785: Analytic Number Theory, MIT, spring 27 (K.S. Kedlaya) The functional equation for the Riemann zeta function In this unit, we establish the functional equation property for the Riemann zeta function,
More informationArithmetic progressions in sumsets
ACTA ARITHMETICA LX.2 (1991) Arithmetic progressions in sumsets by Imre Z. Ruzsa* (Budapest) 1. Introduction. Let A, B [1, N] be sets of integers, A = B = cn. Bourgain [2] proved that A + B always contains
More information7: FOURIER SERIES STEVEN HEILMAN
7: FOURIER SERIES STEVE HEILMA Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier
More informationNORMS OF PRODUCTS OF SINES. A trigonometric polynomial of degree n is an expression of the form. c k e ikt, c k C.
L NORMS OF PRODUCTS OF SINES JORDAN BELL Abstract Product of sines Summary of paper and motivate it Partly a survey of L p norms of trigonometric polynomials and exponential sums There are no introductory
More informationHarmonic Analysis on the Cube and Parseval s Identity
Lecture 3 Harmonic Analysis on the Cube and Parseval s Identity Jan 28, 2005 Lecturer: Nati Linial Notes: Pete Couperus and Neva Cherniavsky 3. Where we can use this During the past weeks, we developed
More informationSOME CONGRUENCES ASSOCIATED WITH THE EQUATION X α = X β IN CERTAIN FINITE SEMIGROUPS
SOME CONGRUENCES ASSOCIATED WITH THE EQUATION X α = X β IN CERTAIN FINITE SEMIGROUPS THOMAS W. MÜLLER Abstract. Let H be a finite group, T n the symmetric semigroup of degree n, and let α, β be integers
More informationON THE RESIDUE CLASSES OF π(n) MODULO t
ON THE RESIDUE CLASSES OF πn MODULO t Ping Ngai Chung Department of Mathematics, Massachusetts Institute of Technology, Cambridge, Massachusetts briancpn@mit.edu Shiyu Li 1 Department of Mathematics, University
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationChapter 1, Exercise 22
Chapter, Exercise 22 Let N = {,2,3,...} denote the set of positive integers. A subset S N is said to be in arithmetic progression if S = {a,a+d,a+2d,a+3d,...} where a,d N. Here d is called the step of
More informationComplex Analysis, Stein and Shakarchi The Fourier Transform
Complex Analysis, Stein and Shakarchi Chapter 4 The Fourier Transform Yung-Hsiang Huang 2017.11.05 1 Exercises 1. Suppose f L 1 (), and f 0. Show that f 0. emark 1. This proof is observed by Newmann (published
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationUPPER BOUNDS FOR DOUBLE EXPONENTIAL SUMS ALONG A SUBSEQUENCE
uniform distribution theory DOI: 055/udt-207 002 Unif Distrib Theory 2 207), no2, 24 UPPER BOUNDS FOR DOUBLE EXPONENTIAL SUMS ALONG A SUBSEQUENCE Christopher J White ABSTRACT We consider a class of double
More informationChapter Five Schneider s Solution to Hilbert s Seventh Problem (and Beyond) (Revised January 2, 2011)
Chapter Five Schneider s Solution to Hilbert s Seventh Problem (and Beyond) (Revised January 2, 2011) In this lecture we will briefly examine Schneider s solution to Hilbert s Seventh Problem and then
More informationMath 259: Introduction to Analytic Number Theory Primes in arithmetic progressions: Dirichlet characters and L-functions
Math 259: Introduction to Analytic Number Theory Primes in arithmetic progressions: Dirichlet characters and L-functions Dirichlet extended Euler s analysis from π(x) to π(x, a mod q) := #{p x : p is a
More informationTitle Project Summary
Title Project Summary The aim of the project is an estimation theory of those special functions of analysis called zeta functions after the zeta function of Euler (1730). The desired estimates generalize
More informationDIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS
DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS JEREMY LOVEJOY Abstract. We study the generating function for (n), the number of partitions of a natural number n into distinct parts. Using
More informationINTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES
INTRODUCTION TO REAL ANALYSIS II MATH 433 BLECHER NOTES. As in earlier classnotes. As in earlier classnotes (Fourier series) 3. Fourier series (continued) (NOTE: UNDERGRADS IN THE CLASS ARE NOT RESPONSIBLE
More informationMATH5685 Assignment 3
MATH5685 Assignment 3 Due: Wednesday 3 October 1. The open unit disk is denoted D. Q1. Suppose that a n for all n. Show that (1 + a n) converges if and only if a n converges. [Hint: prove that ( N (1 +
More informationIII. Consequences of Cauchy s Theorem
MTH6 Complex Analysis 2009-0 Lecture Notes c Shaun Bullett 2009 III. Consequences of Cauchy s Theorem. Cauchy s formulae. Cauchy s Integral Formula Let f be holomorphic on and everywhere inside a simple
More informationTwo Diophantine Approaches to the Irreducibility of Certain Trinomials
Two Diophantine Approaches to the Irreducibility of Certain Trinomials M. Filaseta 1, F. Luca 2, P. Stănică 3, R.G. Underwood 3 1 Department of Mathematics, University of South Carolina Columbia, SC 29208;
More informationSOME IDENTITIES FOR THE RIEMANN ZETA-FUNCTION II. Aleksandar Ivić
FACTA UNIVERSITATIS (NIŠ Ser. Math. Inform. 2 (25, 8 SOME IDENTITIES FOR THE RIEMANN ZETA-FUNCTION II Aleksandar Ivić Abstract. Several identities for the Riemann zeta-function ζ(s are proved. For eample,
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationA PURELY COMBINATORIAL APPROACH TO SIMULTANEOUS POLYNOMIAL RECURRENCE MODULO Introduction
A PURELY COMBINATORIAL APPROACH TO SIMULTANEOUS POLYNOMIAL RECURRENCE MODULO 1 ERNIE CROOT NEIL LYALL ALEX RICE Abstract. Using purely combinatorial means we obtain results on simultaneous Diophantine
More informationON SUMS OF PRIMES FROM BEATTY SEQUENCES. Angel V. Kumchev 1 Department of Mathematics, Towson University, Towson, MD , U.S.A.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A08 ON SUMS OF PRIMES FROM BEATTY SEQUENCES Angel V. Kumchev 1 Department of Mathematics, Towson University, Towson, MD 21252-0001,
More informationA NEW PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS
A NEW PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS ERNIE CROOT AND OLOF SISASK Abstract. We present a proof of Roth s theorem that follows a slightly different structure to the usual proofs, in that
More informationOn the Density of Sequences of Integers the Sum of No Two of Which is a Square II. General Sequences
On the Density of Sequences of Integers the Sum of No Two of Which is a Square II. General Sequences J. C. Lagarias A.. Odlyzko J. B. Shearer* AT&T Labs - Research urray Hill, NJ 07974 1. Introduction
More informationThe Hilbert Transform and Fine Continuity
Irish Math. Soc. Bulletin 58 (2006), 8 9 8 The Hilbert Transform and Fine Continuity J. B. TWOMEY Abstract. It is shown that the Hilbert transform of a function having bounded variation in a finite interval
More informationFirst, let me recall the formula I want to prove. Again, ψ is the function. ψ(x) = n<x
8.785: Analytic Number heory, MI, spring 007 (K.S. Kedlaya) von Mangoldt s formula In this unit, we derive von Mangoldt s formula estimating ψ(x) x in terms of the critical zeroes of the Riemann zeta function.
More informationClassification: Mathematics. Title: Oscillation of functions with a spectral gap. Authors and author affiliation: A. Eremenko ( ) and D.
Classification: Mathematics. Title: Oscillation of functions with a spectral gap Authors and author affiliation: A. Eremenko ( ) and D. Novikov ( ) Department of Mathematics ( ) Purdue University West
More informationTopics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality
Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality Po-Lam Yung The Chinese University of Hong Kong Introduction While multiplier operators are very useful in studying
More informationComplex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm
Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are
More information4 Sums of Independent Random Variables
4 Sums of Independent Random Variables Standing Assumptions: Assume throughout this section that (,F,P) is a fixed probability space and that X 1, X 2, X 3,... are independent real-valued random variables
More informationMATH 452. SAMPLE 3 SOLUTIONS May 3, (10 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic.
MATH 45 SAMPLE 3 SOLUTIONS May 3, 06. (0 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic. Because f is holomorphic, u and v satisfy the Cauchy-Riemann equations:
More informationShifted symmetric functions I: the vanishing property, skew Young diagrams and symmetric group characters
I: the vanishing property, skew Young diagrams and symmetric group characters Valentin Féray Institut für Mathematik, Universität Zürich Séminaire Lotharingien de Combinatoire Bertinoro, Italy, Sept. 11th-12th-13th
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More information