TOPICS in ANALYTIC NUMBER THEORY 1. Arithmetic Functions an Arithmetic Function Is a Function F

TOPICS in ANALYTIC NUMBER THEORY 1. Arithmetic Functions an Arithmetic Function Is a Function F

TOPICS IN ANALYTIC NUMBER THEORY TOM SANDERS 1. Arithmetic functions An arithmetic function is a function f : N ! C; there are many interesting and natural examples in analytic number theory. To begin with we consider what is perhaps the best known X π(n) := 1P(x); x6n: the usual counting function of the primes. Various heuristic arguments suggest that one should expect x to be prime with probability 1= log x, and coupled with a body of numerical evidence this prompted Gauss to conjecture that Z n 1 n π(n) ∼ Li(n) := dx ∼ : 1 log x log n It is the purpose of the first section of the course to prove this result. As it stands π can be a little difficult to evaluate because the indicator function of the primes is not very smooth. To deal with this we introduce the von Mangoldt function Λ defined by ( log p if n = pk Λ(n) = 0 otherwise. It will turn out that Λ is smoother than the indicator function of the primes and while the von Mangoldt function is supported on a larger set (namely all powers of primes), in applications this difference will be negligible. For now we note that our interest lies in the sum of the von Mangoldt function, defined to be X (n) := Λ(x); x6n and which is closely related to π as the next proposition shows. The key idea in the proof of the proposition is a technique called partial summation or, sometimes, Abel transformation. This is the observation that X X f(x)(g(x) − g(x − 1)) = f(n)g(n) − g(x)(f(x + 1) − f(x)); x6n x6n−1 and may be thought of as a discrete analogue of integration by parts. Proposition 1.1. (n) ∼ n if and only if π(n) ∼ n= log n. Last updated: 28th April, 2012. 1 2 TOM SANDERS Proof. First note that power of primes larger than 1 make a negligible contribution to (n): X X p (n) = Λ(x) = log p + O( n log n): x6n p6n On the other hand by partial summation we have X X log p = (π(x) − π(x − 1)) log x p6n x6n X = π(n) log n + π(x)(log(x + 1) − log x) x6n−1 X π(x) = π(n) log n + + O(log n); x x6n−1 whence X π(x) p (1.1) (n) = π(n) log n + + O( n log n): x x6n Now, if π(x) ∼ x= log x for all x 6 n, then X (n) ∼ n + o(1) ∼ n: x6n Conversely, if (x) ∼ x for all x 6 n then 1 x (π(x) − π(x1=2)) log x1=2 = (π(x) − O(x1=2)) log x: & 2 It follows that π(x)=x = o(1) which can be inserted into (1.1) again to get that X n ∼ (n) ∼ π(n) log n + o(1) ∼ π(n) log n: x6n It follows that π(n) ∼ n= log n. In fact this argument leads to explicit error terms { not just asymptotic results { but this will not concern us since it turns out that the main contribution to the error term jπ(n) − n= log nj comes from approximating Li(n) by n= log n. There is a natural convolution operation on arithmetic functions. Given two arithmetic functions f and g we define their convolution f ∗ g point-wise by X f ∗ g(x) = f(z)g(y): zy=x This convolution has an identity δ and it turns out that 1, the function that takes the value 1 everywhere, has an inverse: we define the M¨obius µ-function by ( (−1)k if x = p : : : p for distinct primes p ; : : : ; p µ(x) := 1 k 1 k 0 otherwise, with the usual convention that 1 has a representation as the empty product. TOPICS IN ANALYTIC NUMBER THEORY 3 Theorem 1.2 (M¨obiusinversion). We have the identity µ ∗ 1 = δ = 1 ∗ µ. Proof. Suppose that n is a natural number so that by the fundamental theorem of arith- e1 el metic there are primes p1; : : : ; pl and naturals e1; : : : ; el such that n = p1 : : : pl . Since µ is only supported on square-free integers, if µ(d) 6= 0 then djp1 : : : pl. It follows that X X X 1 ∗ µ(n) = µ(d) = µ(d) = (−1)jSj = (1 − 1)l = δ(n): djn djp1:::pl S⊂[l] The results follows by symmetry of convolution. Convolution has the effect of smoothing or concentrating in Fourier space which is de- sirable because it means that the function is easier to estimate. As an example of this we shall estimate the average value of the divisor function τ(n) (sometimes denoted d(n)) defined by X τ(n) := 1 = 1 ∗ 1(n); djn that is the number of divisors of n. Before we begin we recall that the Euler constant is Z 1 fxg γ := dx; 1 xbxc where bxc is the integer part of x and fxg := x − bxc. There are many open questions about the Euler constant, although they will not concern us. For our work it is significant only as the constant in the following elementary proposition. Proposition 1.3. We have the estimate X 1 = log n + γ + O(1=n) x x6n Proof. Given the definition of γ this is essentially immediate: X 1 X 1 Z n+1 1 − log n = − dx + O(1=n) x x 1 x x6n x6n Z n+1 1 1 = − dx + O(1=n) 1 bxc x Z n+1 fxg = dx + O(1=n) 1 xbxc Z 1 = γ + O(1=x2)dx + O(1=n) = γ + O(1=n): n+1 The result is proved. We shall now use Dirichlet's hyperbola method to estimate the average value of the divisor function. 4 TOM SANDERS Proposition 1.4. We have the estimate X p τ(x) = n log n + (2γ − 1)n + O( n): x6n Proof. An obvious start is to note that X X X n X n τ(x) = 1 = b c = + O(1) = n log n + O(n) a a x6n ab6n a6n a6n by Proposition 1.3. The weakness of this argument is that the approximation n n b c = + O(1) a a is not a strong statement when a is close to n { the error term is of comparable size to the main term.p However, since ab 6 n we certainly have that at least one of a and b is always at most n. It follows from the inclusion-exclusion principle that X X n X 1 = 2 b c − 1: p a p ab6n a6 n a;b6 n This is called the hyperbola method because it is a way of counting lattice points below the hyperbola xy = n. Now, as before we have that X X n p τ(x) = 2 + O(1) − ( n + O(1))2: p a x6n a6 n On the other hand by Proposition 1.3 we have that X n 1 = n log n + γn + O(1); p a 2 a6 n and the result follows on rearranging. Recalling Stirling's formula (or directly) we have that X log x = log n! = n log n − n + O(log n); x6n thus if we put X ∆(n) := (τ(x) − log x − 2γ); x6np then we showed above that ∆(n) = O( n). With additional ideas of a rather different nature Voroni showed that ∆(n) = O(n1=3 log n) and this has since been improved to O(nα) for some α < 1=3. In the other directly Hardy and Landau showed that ∆(n) = Ω(n1=4), but the true order of the error term is not known. We now return to the von Mangoldt function. By the Fundamental Theorem of Arith- e1 el metic if n 2 N then n = p1 : : : pl for some primes p1; : : : ; pl and naturals e1; : : : ; el. Now, l X X X 1 ∗ Λ(n) = Λ(n) = log p = ei log pi = log n: djn pkjn i=1 TOPICS IN ANALYTIC NUMBER THEORY 5 Applying M¨obiusinversion then gives us an expression for Λ as a convolution: Λ = µ ∗ 1 ∗ Λ = µ ∗ log : This expression will allow us to relate to the function M defined by X M(n) := µ(x): x6n The M¨obius µ-function takes the values −1 and 1 (and 0) and so we have the trivial upper bound jM(n)j 6 n. Since µ does not display any obvious additive patterns we might hope that µ takes the values 1 and −1 in a random way. If it did it would follow from the central limit theorem that we would have square-root cancellation: 1=2+" M(n) = O"(n ) for all " > 0: The Riemann hypothesis is the conjecture that this is the case and it is far from being know. On the other hand we shall be able to show that there is some cancellation so that M(n) = o(n) and this already implies the prime number theorem. Proposition 1.5. If M(n) = o(n) then (n) ∼ n. Proof. We use the hyperbola method again: let B be a parameter to be optimised later, and then note that X (n) − n + 2γ = (Λ(x) − 1(x) + 2γδ(x)) x6n X = µ(a)(log b − τ(b) + 2γ) ab6n X = M(n=b)(log b − τ(b) + 2γ) b6B X X + µ(a) (log b − τ(b) + 2γ): a6n=B B<b6n=a By hypothesis we have that X M(n=b)(log b − τ(b) + 2γ) = o(n):O(B:(log B + τ(B) + 2γ)) = o(B2n) b6B which covers the first term.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    37 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us