PRIME NUMBER THEOREM
|
|
- Clement Burns
- 6 years ago
- Views:
Transcription
1 PRIME NUMBER THEOREM RYAN LIU Abstract. Prime numbers have always been seen as the building blocks of all integers, but their behavior and distribution are often puzzling. The prime number theorem gives an estimate for how many prime numbers there are under any given positive number. By using complex analysis, we are able to find a function π(x) that for any input will give us approximately the number of prime numbers less than the input. Contents. The Prime Number Theorem 2. The Zeta Function 2 3. The Main Lemma and its Application 5 4. Proof of the Main Lemma 8 5. Acknowledgements 6. References. The Prime Number Theorem A prime number is an interger 2 which is divisible only by itself and. Thus the prime numbers start with the sequence 2,3,5,7,,3,7,9,... Since these numbers are indivisible but anything other than itself and, we can see them as the building blocks of all other numbers. In fact, the Fundamental Theorem of Arithmetic tells us that every natural number can be factored into a unique set of primes. It would therefore be beneficial for us to find out these prime numbers, or how they are distributed amongst the natural numbers. By looking at the first few prime numbers, it is hard to believe that there could be any pattern among the prime numbers, but using complex analysis, we are able to come out with a very simple representation of the distribution of prime numbers. In order to do so, we must first define a function π(x) which will output the number of primes x. The prime number theorem then describes how π(x) behaves for real numbers x. Theorem.. (Prime Number Theorem) We have π(x) x log x. Date: July 2, 22.
2 2 RYAN LIU Somehow, we are able to relate the distribution of prime numbers to a simple x fraction, logx. To understand how this makes sense, we will need to start from a more basic function, the zeta function. 2. The Zeta Function Let s be a complex variable. For Re(s) > the series n s, n= converges absolutely, and uniformly for Re(s) + δ, with any δ >. This series is called the zeta function. One sees this convergence by estimating n s n +δ, and by using the integral test on the real series /n +δ, which has positive terms. The Reimann Zeta Function has been used in algebraic number theory because of its usefulness in dealing with prime numbers. We will see its power in the next proposition. Proposition 2.. The product p ( p s ), converges absolutely for Re(s) >, and uniformly for Re(s) + δ with δ >, and we have ζ(s) = ( ) p s. p Proof. The product converges since each term is less than and thus In the same region Re(s) + δ, we can use the geometric series estimate to conclude that ( ) p s = + p s + p 2s + p 3s +... = E p(s). Using a basic fact from elementary number theory that every positive integer has unique factorization into primes, up to the order of the factors, we conclude that in the product of the terms E p (s) for all primes p, the expression /(n s ) will occur exactly once, thus giving the series for the zeta functino in the region Re(s) >. This concludes (Euler s) proof. The product p ( p s ), is called the Euler product. The representation of the zeta function as such a product shows that ζ(s) for Re(s) >. Since this product relates all primes
3 PRIME NUMBER THEOREM 3 to all natural numbers, if we are able to study this function, we can conclude the distribution of primes amongst the natural numbers. In order to make this function more usable, we want to extend it to all Re(s) >, however we also have to make sure that the resulting function behaves in a way we want it to so we can analyze it further. Theorem 2.2. The function ζ(s) s, extends to a holomorphic function on the region Re(s) > Proof. For Re(s) >, we have ζ(s) s = = n s n= n+ n= n x s dx ( n s x s We estimate each term in the sum by using the relations f(b) f(a) = b a therefore each term is estimated as follows: n+ ( n s ) x s dx max n ) dx. f (t)dt and so f(b) f(a) max f (t) b a, a t b n x n+ n s x s max s x s+ s n Re(s)+. Thus the sum of the terms coverge absolutely and uniformly for Re(s) > δ. This concludes the proof of the theorem We note that the zeta function has a certain symmetry about the x-axis, namely ζ(s) = ζ(s). This is immediate from the Euler product and the series expansion of Theorem 2.2. It follows that if s is a complex number where ζ has a zero of order m (which may be a pole, in which case m is negative), then the complex conjugate s is a complex number where ζ has a zero of the same order m. We now define ϕ(x) = p x log p and Φ(s) = p log p p s for Re(s) >. We will now try to use log because it allows us to turn the Euler product into sums which may be more manageable. The sum defining Φ(s) converges uniformly and absolutely for Re(s) + δ,
4 4 RYAN LIU by the same argument as for the sum defining the zeta function. We merely use the fact that given ɛ > log n n ɛ for all n n (ɛ) Theorem 2.3. The function Φ is meromorphic for Re(s) > 2. Furthermore, for Re(s), we have ζ(s) and has no poles for Re(s) Φ(s) s, Proof. For Re(s) >, The Euler product shows that ζ(s). derivative of log ζ(s) we get ζ ζ(s) = p log p p s. Using the geometric series we get the expansion so p s = p s /p s = p s (2.4) ζ ζ(s) = Φ(s) + p ( + p s + p 2s + = p s + p 2s +, ) h p (s) where h p (s) C log p p 2s, By taking the for some constant C. But the series (log n)/n 2s converges absolutely and uniformly for Re(s) 2 + δ with δ >, so Theorem 2.2 and Equation 2.4 imply that Φ is meromorphic for Re(s) > 2, and has a pole at s = and at the zeros of ζ, but no other poles in this region. There remains only to be proved that ζ has no zero on the line Re(s) =. Suppose ζ has a zero of order m at s = + ib with b. Let n be the order of the zero at s = + 2ib. Then m, n by Theorem 2.2. From Equation 2.4 we get lim ɛφ( + iɛ) =, lim ɛ ɛφ( + ɛ ± ib) = m, ɛ ɛφ( + ɛ ± 2ib) = n. lim ɛ Indeed, if a meromorphic function f(z) has the factorization then f(z) = (z z ) k h(z) with h(z ), f f(z) = k + holomorphic terms at z, z z whence our three limits follow immediatley from the definitions and the pole of the zeta function at, with residue.
5 PRIME NUMBER THEOREM 5 Now the following identity is trivially verified: Φ(s + 2ib) + Φ(s 2ib) + 4Φ(s + ib) + 4Φ(s ib) + 6Φ(s) = p log p p 2s (pib/2 + p ib/2 ) 4 For s = + ɛ > we see that the above expression is. using our limits, we conclude that 2n 8m + 6, whence m =. This concludes the proof of Theorem.4. Proposition 2.5. For Re(s) > we have Φ(s) = s ϕ(x) dx xs+ Proof. To prove this, compute the integral on the right between successive prime numbers, where ϕ is constant. Then sum by parts. 3. The Main Lemma and its Application Theorem 3.. (Chebyshev) We have ϕ(x) = O(x). Proof. Let n be a positive integer. Then 2 2n = ( + ) 2n = ( ) ( ) 2n 2n j n j hence we get the equality n<p 2n ϕ(2n) ϕ(n) 2n log 2. p = e ϕ(2n) ϕ(n), But if x increases by, then ϕ(x) increases by at most log(x + ), which is O(log x). Hence there is a constant C > log 2 such that for all x x (C) we have ϕ(x) ϕ(x/2) Cx. We apply this inequality in succession to x, x/2, x/2 2,, x/2 r and sum. This yields which proves the theorem. ϕ(x) 2Cx + O(),
6 6 RYAN LIU We shall now state the main lemma, which constitutes the delicate part of the proof. Let f be a function defined on the real numbers, and assume for simplicity that f is bounded, and piecewise continuous. What we prove will hold under much less restrictive condition: instead of piecewise continuous, it would suffice to assume that the integral b a f(t) dt, exists for every pair of numbers a, b. transform g defined by g(z) = We shall associate to f the Laplace f(t)e zt dt for Re(z) >. Lemma 3.2. (Main Lemma) Let f be bounded, piecewise continuous on the reals. Let g(z) be defined by g(z) = f(t)e zt dt for Re(z) > If g extends to an analytic function for Re(z), then exists and is equal to g() f(t) dt The main lemma will be proved in the next section, for now we will apply the main lemma to prove Lemma 3.3 Lemma 3.3. The integral converges Proof. Let ϕ(x) x) x 2 f(t) = ϕ(e t )e t = ϕ(et ) e t e t. f is certainly piecewise continuous, and is bounded by Theorem 2.. Making the substitution x = e t in the desired integral, dx = e t dt, we see that ϕ(x) x x 2 dx = f(t) dt. It suffices to prove that the integral on the right converges. By the main lemma, it suffices to prove that the Laplace transform of f is analytic for Re(z), so we have to compute this Laplace transform. We claim that in this case, Φ(z + ) g(z) = z + z. Once we have proved this formula, we can apply Theorem.3 to conclude that g is analytic for Re(z), thus concluding the proof of Lemma 2.3. Now to compute g(z), we use the integral formula of Proposition.4. By this formula, we obtain Φ(s) s s = dx, ϕ(x) x x s+ dx.
7 PRIME NUMBER THEOREM 7 By substituting z + for s we get Φ(z + q) z + z = = = ϕ(x) x x s+ dx ϕ(e t ) e t e zt e t dt e 2t f(t)e zt dt. This gives us the Laplace transform of f, and concludes the proof of Lemma 2.3. Let f and f 2 be functions defined for all x x, for some x. We say that f is asymptotic to f 2, and write Theorem 3.4. We have ϕ(x) x f f 2 if and only if lim x f (x)/f 2 (x) = Proof. The assertion of the theorem is logically equivalent to the comibnation of teh following two assertions: Given λ >, the set of x such that ϕ(x)/x λ x is bounded; Given < λ <, the set of x such that ϕ(x) λ x is bounded. Let us prove the first. Suppose the first assertion is false. Then there is some λ > such that for arbitrarily large x we have ϕ(x)/x λ. Since ϕ is monotone and increasing, we get for such x: λx x ϕ(t) t t 2 dt λx x λx t λ λ t t 2 dt = t 2 dt >. The number on the far right is independent of x. Since there are arbitrarily large x satisfying the above inequality, it follows that the integral of Lemma 2.3 does not converge, a contradiction. So the first assertion is proved. The second assertion is proved in the same way. Theorem 3.5. (Prime Number Theorem) We have π(x) x log x. Proof. We have and given ɛ >, ϕ(x) ϕ(x) = p x x ɛ p x log p p x log p x ɛ p x log x = π(x) log x; ( ɛ) log x = ( ɛ) log x π(x) + O(x ɛ ). Using Theorem 2.4 that ϕ(x) x concludes the proof of the prime number theorem
8 8 RYAN LIU 4. Proof of the Main Lemma We recall the main lemma Let f be bounded, piecewise continuous on the reals. Let g(z) = f(t)e zt dt for Re(z) > If g extends to an analytic function for Re(z), then Proof. For T > define f(t) dt exists and is equal to g() g T (z) = T f(t)e zt dt. g T is an entire function, as follows at once by differentiating under the integral sign. We have to show that lim g T () = g(). T Let δ > and let C be the path consisting of the line segment Re(z) = δ and the arc of circle z = R and Re(z) δ, By our assumption that g extends to an analytic function for Re(z), we can take δ small enough so that g is analytic on the region bounded by C, and on its boundary. Then g() g T () = (g(z) g T (z))e T z ( + z2 2πi C R 2 )dz z = H T (z) dz, 2πi C where H T (z) abbreviates the expression under the integral sign. Let B be a bound for f, that is f(t) B for all t. In order to prove g() g T () < ɛ, we will split up the path C into C and C + Let C + be the semicircle z = R and Re(z). Then we can prove (4.) H T (z) dz 2πi 2B C R + by first noting that for Re(z) > we have g(z) g T (z) = f(t)e zt dt B e zt dt T T = B Re(z) e Re(z)T and for z = R, ( ) et z + z2 R 2 z = R ere(z)t z + z 2 Re(z) R = ere(z)t R R 2.
9 PRIME NUMBER THEOREM 9 Taking the product of the last two estimates and multiplying by the length of the semicircles gives the bound for the integral over the semicircle, and proves the claim Now let C be the part of the path C with Re(z) <. We wish to estimate ( ) (g(z) g T (z)) e T z + z2 dz 2πi R 2 z C Now we estimate separately the expression under the integral with g and g T. We want to show that ) (4.2) g T (z)e ( T z + z2 dz 2πi C R 2 z B R. we do this by letting S be the semicircle with z = R and Re(z) <. Since g T is entire, we can replace C by S in the integral without changing the value of the integral, because the integrand has no pole to the left of the y-axis. Now we estimate the expression under the integral sign on S. We have g T (z) = T f(t)e zt dt B T B e Re(z)T Re(z) e Re(z)T dt For the other factor we use the same estimate as previously. We take the product of the two estimates, and multiply by the length of the semicircle to give the desired bound in (3.2). Third, we claim that ) (4.3) g(z)e ( T z + z2 dz C R 2 z as T We can write the expression under the integral sign as ( ) g(z)e T z + z2 R 2 z = h(z)et z where h(z) is independent of T. Given any compact subset K of the region defined by Re(z) <, we note that e T z rapidly uniformly for z K, as T The word rapidly means that the expression divided y any power T N also tends to uniformly for z in K, as T. From this our claim (3.3) follows easily We may now prove the main lemma. We have f(t) dt = lim T g T () if this limit exists. But given ɛ, pick R so large that 2B/R < ɛ. Then by (3.3), pick T so large that
10 RYAN LIU ) g(z)e ( T z + z2 dz C R 2 z < ɛ Then by (3.), (3.2), and (3.3) we get g() g T () < 3ɛ. This means that the equation converges, proving the main lemma. This concludes the proof of the prime number theorem. 5. Acknowledgements I would like to thank my mentor, Mohammad Abbas Rezaei, for introducing me to and helping me read through Lang s book, as well providing comments and suggestions on the initial drafts of this manuscript. I would like to thank Peter May for reading through the manuscript, as well as for his role in putting on the VIGRE program at the University of Chicago, which allowed me to pursue my interest in number theory. 6. References [] Serge Lang, Complex Analysis, Springer-Verlag, New York, 993
1 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 informationShowing How to Imply Proving The Riemann Hypothesis
EUROPEAN JOURNAL OF MATHEMATICAL SCIENCES Vol., No., 3, 6-39 ISSN 47-55 www.ejmathsci.com Showing How to Imly Proving The Riemann Hyothesis Hao-cong Wu A Member of China Maths On Line, P.R. China Abstract.
More informationComplex Analysis for F2
Institutionen för Matematik KTH Stanislav Smirnov stas@math.kth.se Complex Analysis for F2 Projects September 2002 Suggested projects ask you to prove a few important and difficult theorems in complex
More informationSynopsis of Complex Analysis. Ryan D. Reece
Synopsis of Complex Analysis Ryan D. Reece December 7, 2006 Chapter Complex Numbers. The Parts of a Complex Number A complex number, z, is an ordered pair of real numbers similar to the points in the real
More informationMORE CONSEQUENCES OF CAUCHY S THEOREM
MOE CONSEQUENCES OF CAUCHY S THEOEM Contents. The Mean Value Property and the Maximum-Modulus Principle 2. Morera s Theorem and some applications 3 3. The Schwarz eflection Principle 6 We have stated Cauchy
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on
More informationNotes on the Riemann Zeta Function
Notes on the Riemann Zeta Function March 9, 5 The Zeta Function. Definition and Analyticity The Riemann zeta function is defined for Re(s) > as follows: ζ(s) = n n s. The fact that this function is analytic
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 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 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 informationThe Prime Number Theorem
The Prime Number Theorem We study the distribution of primes via the function π(x) = the number of primes x 6 5 4 3 2 2 3 4 5 6 7 8 9 0 2 3 4 5 2 It s easier to draw this way: π(x) = the number of primes
More information1, for s = σ + it where σ, t R and σ > 1
DIRICHLET L-FUNCTIONS AND DEDEKIND ζ-functions FRIMPONG A. BAIDOO Abstract. We begin by introducing Dirichlet L-functions which we use to prove Dirichlet s theorem on arithmetic progressions. From there,
More informationRiemann sphere and rational maps
Chapter 3 Riemann sphere and rational maps 3.1 Riemann sphere It is sometimes convenient, and fruitful, to work with holomorphic (or in general continuous) functions on a compact space. However, we wish
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 informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
More informationPart IB Complex Analysis
Part IB Complex Analysis Theorems Based on lectures by I. Smith Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
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 informationNOTES ON RIEMANN S ZETA FUNCTION. Γ(z) = t z 1 e t dt
NOTES ON RIEMANN S ZETA FUNCTION DRAGAN MILIČIĆ. Gamma function.. Definition of the Gamma function. The integral Γz = t z e t dt is well-defined and defines a holomorphic function in the right half-plane
More informationTHE WEIERSTRASS PREPARATION THEOREM AND SOME APPLICATIONS
THE WEIERSTRASS PREPARATION THEOREM AND SOME APPLICATIONS XUAN LI Abstract. In this paper we revisit the Weierstrass preparation theorem, which describes how to represent a holomorphic function of several
More informationTOPICS IN NUMBER THEORY - EXERCISE SHEET I. École Polytechnique Fédérale de Lausanne
TOPICS IN NUMBER THEORY - EXERCISE SHEET I École Polytechnique Fédérale de Lausanne Exercise Non-vanishing of Dirichlet L-functions on the line Rs) = ) Let q and let χ be a Dirichlet character modulo q.
More informationSOLUTIONS OF VARIATIONS, PRACTICE TEST 4
SOLUTIONS OF VARIATIONS, PRATIE TEST 4 5-. onsider the following system of linear equations over the real numbers, where x, y and z are variables and b is a real constant. x + y + z = 0 x + 4y + 3z = 0
More informationLECTURES ON ANALYTIC NUMBER THEORY
LECTURES ON ANALYTIC NUBER THEORY J. R. QUINE Contents. What is Analytic Number Theory? 2.. Generating functions 2.2. Operations on series 3.3. Some interesting series 5 2. The Zeta Function 6 2.. Some
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 INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationThe American Mathematical Monthly, Vol. 104, No. 8. (Oct., 1997), pp
Newman's Short Proof of the Prime Number Theorem D. Zagier The American Mathematical Monthly, Vol. 14, No. 8. (Oct., 1997), pp. 75-78. Stable URL: http://links.jstor.org/sici?sici=2-989%2819971%2914%3a8%3c75%3anspotp%3e2..co%3b2-c
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 informationMathematical Association of America
Mathematical Association of America http://www.jstor.org/stable/2975232. Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at. http://www.jstor.org/page/info/about/policies/terms.jsp
More informationFunctions of a Complex Variable
MIT OenCourseWare htt://ocw.mit.edu 8. Functions of a Comle Variable Fall 8 For information about citing these materials or our Terms of Use, visit: htt://ocw.mit.edu/terms. Lecture and : The Prime Number
More informationAnalysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both
Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both real and complex analysis. You have 3 hours. Real
More informationMath 141: Lecture 19
Math 141: Lecture 19 Convergence of infinite series Bob Hough November 16, 2016 Bob Hough Math 141: Lecture 19 November 16, 2016 1 / 44 Series of positive terms Recall that, given a sequence {a n } n=1,
More informationMASTERS EXAMINATION IN MATHEMATICS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION FALL 2007 Full points can be obtained for correct answers to 8 questions. Each numbered question (which may have several parts) is worth the same
More informationRiemann Zeta Function and Prime Number Distribution
Riemann Zeta Function and Prime Number Distribution Mingrui Xu June 2, 24 Contents Introduction 2 2 Definition of zeta function and Functional Equation 2 2. Definition and Euler Product....................
More informationWEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS
WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References
More informationPrimes in arithmetic progressions
(September 26, 205) Primes in arithmetic progressions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/mfms/notes 205-6/06 Dirichlet.pdf].
More informationThe Riemann Zeta Function
The Riemann Zeta Function David Jekel June 6, 23 In 859, Bernhard Riemann published an eight-page paper, in which he estimated the number of prime numbers less than a given magnitude using a certain meromorphic
More informationDirichlet s Theorem. Calvin Lin Zhiwei. August 18, 2007
Dirichlet s Theorem Calvin Lin Zhiwei August 8, 2007 Abstract This paper provides a proof of Dirichlet s theorem, which states that when (m, a) =, there are infinitely many primes uch that p a (mod m).
More informationSolutions to Complex Analysis Prelims Ben Strasser
Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,
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 informationTHE RESIDUE THEOREM. f(z) dz = 2πi res z=z0 f(z). C
THE RESIDUE THEOREM ontents 1. The Residue Formula 1 2. Applications and corollaries of the residue formula 2 3. ontour integration over more general curves 5 4. Defining the logarithm 7 Now that we have
More informationMath 220A Homework 4 Solutions
Math 220A Homework 4 Solutions Jim Agler 26. (# pg. 73 Conway). Prove the assertion made in Proposition 2. (pg. 68) that g is continuous. Solution. We wish to show that if g : [a, b] [c, d] C is a continuous
More informationMath Final Exam.
Math 106 - Final Exam. This is a closed book exam. No calculators are allowed. The exam consists of 8 questions worth 100 points. Good luck! Name: Acknowledgment and acceptance of honor code: Signature:
More informationComplex Variables Notes for Math 703. Updated Fall Anton R. Schep
Complex Variables Notes for Math 703. Updated Fall 20 Anton R. Schep CHAPTER Holomorphic (or Analytic) Functions. Definitions and elementary properties In complex analysis we study functions f : S C,
More information2 Write down the range of values of α (real) or β (complex) for which the following integrals converge. (i) e z2 dz where {γ : z = se iα, < s < }
Mathematical Tripos Part II Michaelmas term 2007 Further Complex Methods, Examples sheet Dr S.T.C. Siklos Comments and corrections: e-mail to stcs@cam. Sheet with commentary available for supervisors.
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 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 informationF (z) =f(z). f(z) = a n (z z 0 ) n. F (z) = a n (z z 0 ) n
6 Chapter 2. CAUCHY S THEOREM AND ITS APPLICATIONS Theorem 5.6 (Schwarz reflection principle) Suppose that f is a holomorphic function in Ω + that extends continuously to I and such that f is real-valued
More informationHartogs Theorem: separate analyticity implies joint Paul Garrett garrett/
(February 9, 25) Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ (The present proof of this old result roughly follows the proof
More informationLecture 9. = 1+z + 2! + z3. 1 = 0, it follows that the radius of convergence of (1) is.
The Exponential Function Lecture 9 The exponential function 1 plays a central role in analysis, more so in the case of complex analysis and is going to be our first example using the power series method.
More informationMath 220A - Fall Final Exam Solutions
Math 22A - Fall 216 - Final Exam Solutions Problem 1. Let f be an entire function and let n 2. Show that there exists an entire function g with g n = f if and only if the orders of all zeroes of f are
More informationChapter 4: Open mapping theorem, removable singularities
Chapter 4: Open mapping theorem, removable singularities Course 44, 2003 04 February 9, 2004 Theorem 4. (Laurent expansion) Let f : G C be analytic on an open G C be open that contains a nonempty annulus
More informationINTEGRATION WORKSHOP 2004 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 2004 COMPLEX ANALYSIS EXERCISES PHILIP FOTH 1. Cauchy s Formula and Cauchy s Theorem 1. Suppose that γ is a piecewise smooth positively ( counterclockwise ) oriented simple closed
More information2019 Spring MATH2060A Mathematical Analysis II 1
2019 Spring MATH2060A Mathematical Analysis II 1 Notes 1. CONVEX FUNCTIONS First we define what a convex function is. Let f be a function on an interval I. For x < y in I, the straight line connecting
More informationUnderstanding the Prime Number Theorem
Understanding the Prime Number Theorem Misunderstood Monster or Beautiful Theorem? Liam Fowl September 5, 2014 Liam Fowl Understanding the Prime Number Theorem 1/20 Outline 1 Introduction 2 Complex Plane
More informationRiemann s Zeta Function and the Prime Number Theorem
Riemann s Zeta Function and the Prime Number Theorem Dan Nichols nichols@math.umass.edu University of Massachusetts Dec. 7, 2016 Let s begin with the Basel problem, first posed in 1644 by Mengoli. Find
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 informationComplex Analysis Problems
Complex Analysis Problems transcribed from the originals by William J. DeMeo October 2, 2008 Contents 99 November 2 2 2 200 November 26 4 3 2006 November 3 6 4 2007 April 6 7 5 2007 November 6 8 99 NOVEMBER
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014 1. Please write your 1- or 2-digit exam number on
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationProblem 1A. Calculus. Problem 3A. Real analysis. f(x) = 0 x = 0.
Problem A. Calculus Find the length of the spiral given in polar coordinates by r = e θ, < θ 0. Solution: The length is 0 θ= ds where by Pythagoras ds = dr 2 + (rdθ) 2 = dθ 2e θ, so the length is 0 2e
More informationTHE DENSITY OF PRIMES OF THE FORM a + km
THE DENSITY OF PRIMES OF THE FORM a + km HYUNG KYU JUN Abstract. The Dirichlet s theorem on arithmetic progressions states that the number of prime numbers less than of the form a + km is approimately
More informationIV. Conformal Maps. 1. Geometric interpretation of differentiability. 2. Automorphisms of the Riemann sphere: Möbius transformations
MTH6111 Complex Analysis 2009-10 Lecture Notes c Shaun Bullett 2009 IV. Conformal Maps 1. Geometric interpretation of differentiability We saw from the definition of complex differentiability that if f
More informationFourth Week: Lectures 10-12
Fourth Week: Lectures 10-12 Lecture 10 The fact that a power series p of positive radius of convergence defines a function inside its disc of convergence via substitution is something that we cannot ignore
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 information17 The functional equation
18.785 Number theory I Fall 16 Lecture #17 11/8/16 17 The functional equation In the previous lecture we proved that the iemann zeta function ζ(s) has an Euler product and an analytic continuation to the
More informationThe Residue Theorem. Integration Methods over Closed Curves for Functions with Singularities
The Residue Theorem Integration Methods over losed urves for Functions with Singularities We have shown that if f(z) is analytic inside and on a closed curve, then f(z)dz = 0. We have also seen examples
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
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 informationMASTERS EXAMINATION IN MATHEMATICS
MASTERS EXAMINATION IN MATHEMATICS PURE MATH OPTION, Spring 018 Full points can be obtained for correct answers to 8 questions. Each numbered question (which may have several parts) is worth 0 points.
More informationPart IB. Complex Analysis. Year
Part IB Complex Analysis Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section I 2A Complex Analysis or Complex Methods 7 (a) Show that w = log(z) is a conformal
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 informationComplex Analysis Math 205A, Winter 2014 Final: Solutions
Part I: Short Questions Complex Analysis Math 205A, Winter 2014 Final: Solutions I.1 [5%] State the Cauchy-Riemann equations for a holomorphic function f(z) = u(x,y)+iv(x,y). The Cauchy-Riemann equations
More information1 Introduction. or equivalently f(z) =
Introduction In this unit on elliptic functions, we ll see how two very natural lines of questions interact. The first, as we have met several times in Berndt s book, involves elliptic integrals. In particular,
More informationFusing o-minimal structures
Fusing o-minimal structures A.J. Wilkie Mathematical Institute University of Oxford 24-29 St Giles Oxford OX1 3LB UK May 3, 2004 Abstract In this note I construct a proper o-minimal expansion of the ordered
More informationFINAL EXAM MATH 220A, UCSD, AUTUMN 14. You have three hours.
FINAL EXAM MATH 220A, UCSD, AUTUMN 4 You have three hours. Problem Points Score There are 6 problems, and the total number of points is 00. Show all your work. Please make your work as clear and easy to
More informationQualifying Exams I, 2014 Spring
Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that
More informationQualifying Exam Complex Analysis (Math 530) January 2019
Qualifying Exam Complex Analysis (Math 53) January 219 1. Let D be a domain. A function f : D C is antiholomorphic if for every z D the limit f(z + h) f(z) lim h h exists. Write f(z) = f(x + iy) = u(x,
More informationarxiv: v22 [math.gm] 20 Sep 2018
O RIEMA HYPOTHESIS arxiv:96.464v [math.gm] Sep 8 RUIMIG ZHAG Abstract. In this work we present a proof to the celebrated Riemann hypothesis. In it we first apply the Plancherel theorem properties of the
More informationVII.8. The Riemann Zeta Function.
VII.8. The Riemann Zeta Function VII.8. The Riemann Zeta Function. Note. In this section, we define the Riemann zeta function and discuss its history. We relate this meromorphic function with a simple
More informationMoment Inequalities for Equilibrium Measures in the Plane
Pure and Applied Mathematics Quarterly Volume 7, Number 1 (Special Issue: In honor of Frederick W. Gehring) 47 82, 2011 Moment Inequalities for Equilibrium Measures in the Plane A. Baernstein II, R. S.
More informationLecture 7 Local properties of analytic functions Part 1 MATH-GA Complex Variables
Lecture 7 Local properties of analytic functions Part 1 MATH-GA 2451.001 omplex Variables 1 Removable singularities 1.1 Riemann s removable singularity theorem We have said that auchy s integral formula
More informationProperties of Entire Functions
Properties of Entire Functions Generalizing Results to Entire Functions Our main goal is still to show that every entire function can be represented as an everywhere convergent power series in z. So far
More informationComplex Analysis Qualifying Exam Solutions
Complex Analysis Qualifying Exam Solutions May, 04 Part.. Let log z be the principal branch of the logarithm defined on G = {z C z (, 0]}. Show that if t > 0, then the equation log z = t has exactly one
More informationPOWER SERIES AND ANALYTIC CONTINUATION
POWER SERIES AND ANALYTIC CONTINUATION 1. Analytic functions Definition 1.1. A function f : Ω C C is complex-analytic if for each z 0 Ω there exists a power series f z0 (z) := a n (z z 0 ) n which converges
More informationCourse 214 Basic Properties of Holomorphic Functions Second Semester 2008
Course 214 Basic Properties of Holomorphic Functions Second Semester 2008 David R. Wilkins Copyright c David R. Wilkins 1989 2008 Contents 7 Basic Properties of Holomorphic Functions 72 7.1 Taylor s Theorem
More information18 The analytic class number formula
18.785 Number theory I Lecture #18 Fall 2015 11/12/2015 18 The analytic class number formula The following theorem is usually attributed to Dirichlet, although he originally proved it only for quadratic
More informationELEMENTARY PROOF OF DIRICHLET THEOREM
ELEMENTARY PROOF OF DIRICHLET THEOREM ZIJIAN WANG Abstract. In this expository paper, we present the Dirichlet Theorem on primes in arithmetic progressions along with an elementary proof. We first show
More informationPrime Number Theory and the Riemann Zeta-Function
5262589 - Recent Perspectives in Random Matrix Theory and Number Theory Prime Number Theory and the Riemann Zeta-Function D.R. Heath-Brown Primes An integer p N is said to be prime if p and there is no
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a
More informationEXTENDED RECIPROCAL ZETA FUNCTION AND AN ALTERNATE FORMULATION OF THE RIEMANN HYPOTHESIS. M. Aslam Chaudhry. Received May 18, 2007
Scientiae Mathematicae Japonicae Online, e-2009, 05 05 EXTENDED RECIPROCAL ZETA FUNCTION AND AN ALTERNATE FORMULATION OF THE RIEMANN HYPOTHESIS M. Aslam Chaudhry Received May 8, 2007 Abstract. We define
More informationMath 411, Complex Analysis Definitions, Formulas and Theorems Winter y = sinα
Math 411, Complex Analysis Definitions, Formulas and Theorems Winter 014 Trigonometric Functions of Special Angles α, degrees α, radians sin α cos α tan α 0 0 0 1 0 30 π 6 45 π 4 1 3 1 3 1 y = sinα π 90,
More informationMath 213br HW 1 solutions
Math 213br HW 1 solutions February 26, 2014 Problem 1 Let P (x) be a polynomial of degree d > 1 with P (x) > 0 for all x 0. For what values of α R does the integral I(α) = 0 x α P (x) dx converge? Give
More informationLECTURE-13 : GENERALIZED CAUCHY S THEOREM
LECTURE-3 : GENERALIZED CAUCHY S THEOREM VED V. DATAR The aim of this lecture to prove a general form of Cauchy s theorem applicable to multiply connected domains. We end with computations of some real
More information1. The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions.
Complex Analysis Qualifying Examination 1 The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions 2 ANALYTIC FUNCTIONS:
More informationSelected Texts. Contents. Pierre-Yves Gaillard. Monday 26 th June, 2017, 10:36. I put together three short texts I have written.
Selected Texts Pierre-Yves Gaillard Monday 26 th June, 2017, 10:36 I put together three short texts I have written. Contents 1 The Fundamental Theorem of Galois Theory 2 2 Function of a Matrix 4 3 Zorn
More informationTheorem [Mean Value Theorem for Harmonic Functions] Let u be harmonic on D(z 0, R). Then for any r (0, R), u(z 0 ) = 1 z z 0 r
2. A harmonic conjugate always exists locally: if u is a harmonic function in an open set U, then for any disk D(z 0, r) U, there is f, which is analytic in D(z 0, r) and satisfies that Re f u. Since such
More informationMATH FINAL SOLUTION
MATH 185-4 FINAL SOLUTION 1. (8 points) Determine whether the following statements are true of false, no justification is required. (1) (1 point) Let D be a domain and let u,v : D R be two harmonic functions,
More informationKey to Complex Analysis Homework 1 Spring 2012 (Thanks to Da Zheng for providing the tex-file)
Key to Complex Analysis Homework 1 Spring 212 (Thanks to Da Zheng for providing the tex-file) February 9, 212 16. Prove: If u is a complex-valued harmonic function, then the real and the imaginary parts
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationAn Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010
An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 John P. D Angelo, Univ. of Illinois, Urbana IL 61801.
More information