🔢Analytic Number Theory Unit 8 – Zeta Function & Prime Number Theorem

The Zeta Function and Prime Number Theorem are cornerstones of analytic number theory. They provide powerful tools for studying the distribution of prime numbers using complex analysis. The Riemann zeta function, defined as an infinite series, connects to primes through its Euler product formula. The Prime Number Theorem, proven in 1896, describes how primes thin out among integers. It's closely linked to properties of the zeta function, especially its zeros. The Riemann Hypothesis, a major unsolved problem, conjectures about these zeros and would imply stronger results about prime distribution.

Key Concepts and Definitions

  • Analytic number theory studies arithmetic properties of integers using tools from mathematical analysis
  • Zeta function ζ(s)\zeta(s) is a complex-valued function defined as an infinite series or product over primes
  • Prime number theorem describes the asymptotic distribution of prime numbers
  • Riemann hypothesis conjectures that all non-trivial zeros of ζ(s)\zeta(s) have real part 12\frac{1}{2}
  • Dirichlet series n=1anns\sum_{n=1}^{\infty} \frac{a_n}{n^s} generalizes the zeta function
  • Euler product formula expresses ζ(s)\zeta(s) as a product over primes: p(1ps)1\prod_{p} (1 - p^{-s})^{-1}
  • Analytic continuation extends ζ(s)\zeta(s) to a meromorphic function on the complex plane
  • Non-trivial zeros of ζ(s)\zeta(s) are complex numbers ρ\rho with ζ(ρ)=0\zeta(\rho) = 0 and 0<(ρ)<10 < \Re(\rho) < 1

Historical Background

  • Euler studied the zeta function in the 18th century, proving its Euler product formula
  • Riemann's 1859 paper "On the Number of Primes Less Than a Given Magnitude" introduced the Riemann hypothesis
  • Riemann used complex analysis to study ζ(s)\zeta(s) and relate its zeros to the distribution of primes
  • Hadamard and de la Vallée Poussin independently proved the prime number theorem in 1896
    • They used complex analysis and properties of ζ(s)\zeta(s) in their proofs
  • Hardy proved in 1914 that ζ(s)\zeta(s) has infinitely many zeros on the critical line (s)=12\Re(s) = \frac{1}{2}
  • Significant progress on the Riemann hypothesis was made in the 20th century (Lindelöf, Littlewood, Selberg, etc.)
    • However, the Riemann hypothesis remains unproven

The Riemann Zeta Function

  • The Riemann zeta function is defined for (s)>1\Re(s) > 1 by the series ζ(s)=n=11ns\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s}
  • It satisfies the Euler product formula ζ(s)=p(1ps)1\zeta(s) = \prod_{p} (1 - p^{-s})^{-1} where pp ranges over prime numbers
  • ζ(s)\zeta(s) has a simple pole at s=1s=1 with residue 1
  • The functional equation relates ζ(s)\zeta(s) and ζ(1s)\zeta(1-s): ζ(s)=2sπs1sin(πs2)Γ(1s)ζ(1s)\zeta(s) = 2^s \pi^{s-1} \sin(\frac{\pi s}{2}) \Gamma(1-s) \zeta(1-s)
  • Trivial zeros of ζ(s)\zeta(s) occur at negative even integers s=2,4,6,s = -2, -4, -6, \ldots
  • Non-trivial zeros ρ\rho satisfy 0<(ρ)<10 < \Re(\rho) < 1; the Riemann hypothesis states they all have (ρ)=12\Re(\rho) = \frac{1}{2}
  • The zero-free region (s)1\Re(s) \geq 1 is crucial in proving the prime number theorem

Properties and Extensions of the Zeta Function

  • Analytic continuation extends ζ(s)\zeta(s) to a meromorphic function on the complex plane
  • The Dirichlet eta function η(s)=n=1(1)n1ns\eta(s) = \sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n^s} is related to ζ(s)\zeta(s) by η(s)=(121s)ζ(s)\eta(s) = (1 - 2^{1-s}) \zeta(s)
  • Dirichlet L-functions generalize ζ(s)\zeta(s) using Dirichlet characters χ\chi: L(s,χ)=n=1χ(n)nsL(s, \chi) = \sum_{n=1}^{\infty} \frac{\chi(n)}{n^s}
    • They satisfy similar functional equations and are used to study primes in arithmetic progressions
  • The Dedekind zeta function ζK(s)\zeta_K(s) generalizes ζ(s)\zeta(s) to number fields KK
  • Epstein zeta functions generalize ζ(s)\zeta(s) to quadratic forms
  • The Selberg zeta function is defined using the lengths of closed geodesics on hyperbolic surfaces

Prime Number Distribution

  • Let π(x)\pi(x) denote the number of primes less than or equal to xx
  • The prime number theorem states that π(x)xlogx\pi(x) \sim \frac{x}{\log x}, i.e., limxπ(x)x/logx=1\lim_{x \to \infty} \frac{\pi(x)}{x / \log x} = 1
    • Equivalently, the nn-th prime number pnp_n satisfies pnnlognp_n \sim n \log n
  • More precise estimates for π(x)\pi(x) are given by the logarithmic integral Li(x)=2xdtlogt\mathrm{Li}(x) = \int_2^x \frac{dt}{\log t}
    • The Riemann hypothesis is equivalent to π(x)Li(x)=O(xlogx)|\pi(x) - \mathrm{Li}(x)| = O(\sqrt{x} \log x)
  • Chebyshev functions ϑ(x)=pxlogp\vartheta(x) = \sum_{p \leq x} \log p and ψ(x)=pkxlogp\psi(x) = \sum_{p^k \leq x} \log p are related to π(x)\pi(x)
  • Brun's theorem states that the sum of reciprocals of twin primes converges
  • The Goldbach conjecture and twin prime conjecture are open problems related to the distribution of primes

The Prime Number Theorem

  • The prime number theorem (PNT) states that π(x)xlogx\pi(x) \sim \frac{x}{\log x} as xx \to \infty
  • Hadamard and de la Vallée Poussin independently proved the PNT in 1896 using complex analysis
    • Their proofs relied on the zero-free region (s)1\Re(s) \geq 1 for ζ(s)\zeta(s)
  • Elementary proofs of the PNT were later given by Selberg and Erdős in 1949
    • These proofs avoid complex analysis and use sieve methods and tauberian theorems
  • The PNT is equivalent to the statement pxlogpx\sum_{p \leq x} \log p \sim x
  • The error term in the PNT is related to the zeros of ζ(s)\zeta(s)
    • The Riemann hypothesis implies the optimal error term π(x)=Li(x)+O(xlogx)\pi(x) = \mathrm{Li}(x) + O(\sqrt{x} \log x)
  • The PNT has been generalized to primes in arithmetic progressions and number fields

Proof Techniques and Approaches

  • Complex analysis is a key tool in analytic number theory, especially in studying ζ(s)\zeta(s) and proving the PNT
    • Contour integration, residue theorem, and the argument principle are commonly used techniques
  • Tauberian theorems relate asymptotics of series and integrals, and are used in elementary proofs of the PNT
  • Sieve methods (Brun's sieve, Selberg's sieve, etc.) are used to estimate the density of sets of integers with certain properties
    • They are used in elementary proofs of the PNT and in studying the distribution of primes
  • The large sieve inequality provides upper bounds for sums over characters and is used in studying primes in arithmetic progressions
  • Exponential sums nxe2πif(n)\sum_{n \leq x} e^{2\pi i f(n)} are used to detect irregularities in the distribution of sequences
  • The circle method is used to estimate the number of representations of integers by certain forms
  • Modular forms and automorphic forms are used in studying L-functions and generalizations of ζ(s)\zeta(s)

Applications and Connections

  • The prime number theorem has applications in cryptography, where large prime numbers are used in encryption algorithms (RSA)
  • The Riemann hypothesis has implications for the distribution of prime numbers and the error term in the prime number theorem
  • Analytic number theory has connections to algebraic number theory, where zeta functions of number fields are studied
  • The Langlands program seeks to unify various areas of mathematics, including analytic number theory and automorphic forms
  • Sieve methods have applications in computational number theory and the study of prime gaps
  • Techniques from analytic number theory are used in the study of L-functions and their applications to elliptic curves and modular forms
  • The Riemann zeta function has connections to physics, such as in the study of critical phenomena and quantum chaos
  • Analytic number theory has applications in additive combinatorics, where techniques like exponential sums and the circle method are used


© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.

© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.