A new elementary proof of the Prime Number Theorem
Florian K. Richter
备注:
13 pages; to appear in Bulletin of the London Mathematical Society; corrected a small mistake in the proof of Proposition 2.2, see footnote 2 at the bottom of page 10
发表信息:
Bulletin of the London Mathematical Society, Volume 53 (2021), Issue 5, pp. 1365-1375
Let $Ω(n)$ denote the number of prime factors of $n$. We show that for any bounded $f\colon\mathbb{N}\to\mathbb{C}$ one has \[ \frac{1}{N}\sum_{n=1}^N\, f(Ω(n)+1)=\frac{1}{N}\sum_{n=1}^N\, f(Ω(n))+\mathrm{o}_{N\to\infty}(1). \] This yields a new elementary proof of the Prime Number Theorem.
We present a very elementary proof of the uniqueness of Markoff numbers which are prime powers or twice prime powers, in the sense that it uses neither algebraic number theory nor hyperbolic geometry.
We give an outline of a generalization of the Gelfond-Schnirelmann method in elementary number theory. It is related to an integral of Selberg (1944) generalizing the Euler beta integral. The result we explain was obtained by Nair and Chudnovsky independently in the early eighties.
Let $p$ be an odd prime. Using I. M. Vinogradov's bilinear estimate, we present an elementary approach to estimate nontrivially the character sum $$ \sum_{x\in H}χ(x+a),\qquad a\in\Bbb F_p^*, $$ where $H<\Bbb F_p^*$ is a multiplicative subgroup in finite prime field $\Bbb F_p$. Some interesting mean-value estimates are also provided.
We present many novel results in number theory, including a double series formula for the natural logarithm and a proof concerning the Hölder mean based on the functional equation for the Riemann zeta function. We find a harmonic mean analogue of Chebyshev's inequality for the prime counting function involving the Euler-Mascheroni constant. Furthermore, we define a function taking the Hölder mean of all positive integers up to a given number and investigate its asymptotic behavior, finding two different patterns which are separated by the harmonic mean. Additionally, we discuss the behavior of…
In 1930, A.A.K. Ayyangar allegedly produced the missing proof that the ancient Indian Chakravala algorithm, designed to solve Pell's equation, always halts. Refining his own elementary arguments, we give a correct and shorter proof.
Two number fields are called arithmetically equivalent if they have the same Dedekind zeta function. In the 1970's Perlis showed that this is equivalent to the condition that for almost every rational prime $\ell$ the arithmetic type of $\ell$ is the same in each field. In the 1990's Perlis and Stuart gave an unexpected characterization for arithmetic equivalence; they showed that to be arithmetically equivalent it is enough for almost every prime $\ell$ to have the same number of prime factors in each field. Here, using an $\ell-p$ switch trick, we provide an elementary proof of that fact bas…
This is an exposition, in 12 pages including all prerequisites and a generalization, of Karamata's little known elementary proof of the Landau-Ingham Tauberian theorem, a result in real analysis from which the Prime Number Theorem follows in a few lines. We believe this to be the most transparent of the elementary proofs of the PNT.
The main goal of this article is to present an elementary proof of Ramanujan's identity for odd zeta values. Our proof solely relies on a Mittag-Leffler type expansion for hyperbolic cotangent function and Euler's identity for even zeta values.
We announce a number of conjectures associated with and arising from a study of primes and irrationals in $\mathbb{R}$. All are supported by numerical verification to the extent possible.
In this paper we study elementary extensions of differential fields in prime characteristic. In particular, we show that, in contrast to Liouville's result in characteristic zero, all elements of an elementary extension admit an antiderivative in some logarithmic extension.
By an elementary observation about the computation of the difference of squares for large in- tegers, deterministic quadratic Frobenius probable prime tests are given with running times of approximately 2 selfridges.
We describe an algorithm for arbitrary-precision computation of the elementary functions (exp, log, sin, atan, etc.) which, after a cheap precomputation, gives roughly a factor-two speedup over previous state-of-the-art algorithms at precision from a few thousand bits up to millions of bits. Following an idea of Sch{ö}nhage, we perform argument reduction using Diophantine combinations of logarithms of primes; our contribution is to use a large set of primes instead of a single pair, aided by a fast algorithm to solve the associated integer relation problem. We also list new, optimized Machin-l…
We provide an elementary proof of an asymptotic formula for prime counting functions. As a minor application we give a new reduction of the proof of Chebotarëv's density theorem to the cyclic case.
We give a short proof of the following known congruence: for every odd prime $p$ $$\sum_{k=0}^{p-1}{2k\choose k}^2 16^{-k}\equiv (-1)^{p-1\over 2}\pmod{p^2}.$$ Moreover, we provide some new results connected with the above congruence.
Mordell in 1958 gave a new proof of the three squares theorem. Those techniques were generalized by Blackwell, et al., in 2016 to characterize the integers represented by the remaining six "Ramanujan-Dickson ternaries". We continue the generalization of these techniques to four additional forms.
In this short paper we present an elementary proof of the infinitude of primes. Our proof is similar in spirit to Euler's proof that the reciprocals of primes diverges and only uses tools from elementary number theory and calculus. In addition, our proof highlights an interesting use of generating functions.
For the old question whether there is always a prime in the interval [kn, (k+1)n] or not, the famous Bertrand's postulate gave an affirmative answer for k=1. It was first proved by P.L. Chebyshev in 1850, and an elegant elementary proof was given by P. Erdos in 1932. M. El Bachraoui used elementary techniques to prove the case k=2 in 2006. This paper gives a proof of the case k=3, again without using the prime number theorem or any deep analytic result. In addition we give a lower bound for the number of primes in the interval [3n, 4n], which shows that as n tends to infinity, the number of pr…
Let $ψ$ be a generic Drinfeld module of rank $r \geq 2$. We study the first elementary divisor $d_{1, \wp}(ψ)$ of the reduction of $ψ$ modulo a prime $\wp$, as $\wp$ varies. In particular, we prove the existence of the density of the primes $\wp$ for which $d_{1, \wp} (ψ)$ is fixed. For $r = 2$, we also study the second elementary divisor (the exponent) of the reduction of $ψ$ modulo $\wp$ and prove that, on average, it has a large norm. Our work is motivated by the study of J.-P. Serre of an elliptic curve analogue of Artin's Primitive Root Conjecture, and, moreover, by refinements to Serre's…
This paper examines with elementary proofs some interesting properties of numbers in the binary quadratic form $a^2+ab+b^2$, where $a$ and $b$ are non-negative integers. Key findings of this paper are (i) a prime number $p$ can be represented as $a^2+ab+b^2$ if and only if $p$ is of the form $6k+1$, with the only exception of 3, (ii) any positive integer can be represented as $a^2+ab+b^2$ if and only if its all prime factors that are not in the same form have even exponents in the standard factorization, and (iii) all the factors of an integer in the form $a^2+ab+b^2$, where $a$ and $b$ are po…
For n>1, let G(n)=σ(n)/(n log log n), where σ(n) is the sum of the divisors of n. We prove that the Riemann Hypothesis is true if and only if 4 is the only composite number N satisfying G(N) \ge \max(G(N/p),G(aN)), for all prime factors p of N and all multiples aN of N. The proof uses Robin's and Gronwall's theorems on G(n). An alternate proof of one step depends on two properties of superabundant numbers proved using Alaoglu and Erdős's results.
We present a new `elementary' proof of the irrationality of $ζ(3)$ based on some recent `hypergeometric' ideas of Yu.Nesterenko, T.Rivoal, and K.Ball, and on Zeilberger's algorithm of creative telescoping.
We present a new proof of the irrationality of values of the series $T_q(z)=\sum_{n=0}^\infty z^nq^{-n(n-1)/2}$ in both qualitative and quantitative forms. The proof is based on a hypergeometric construction of rational approximations to $T_q(z)$.
We illustrate how elementary information-theoretic ideas may be employed to provide proofs for well-known, nontrivial results in number theory. Specifically, we give an elementary and fairly short proof of the following asymptotic result: The sum of (log p)/p, taken over all primes p not exceeding n, is asymptotic to log n as n tends to infinity. We also give finite-n bounds refining the above limit. This result, originally proved by Chebyshev in 1852, is closely related to the celebrated prime number theorem.