誰首先確定$ \ frac {n} {\ ln(n)} $為素數計數函數的近似值?


7

Gauss在1849年給Encke的信中提到,他注意到素數的密度約為 $ \ frac {1} {\ ln(n)} $

在那封信中,他還提到了一個用於近似素數計數函數 $ \ pi(n)$ 的積分函數。他的表示法有點不合常規,他寫了 $ \ int \ frac {{\ rm d} n} {\ log(n)} $ ,今天我們將其視為對數積分近似

$$ \ int ^ n_2 \ frac {1} {\ ln(x)} {\ rm d} x $$

如果高斯提出對數積分近似,誰提出了更離散的 $ \ frac {n} {\ ln(n)} $

今天,似乎密度發生了明顯的飛躍,但這是數學歷史的問題-誰,何時何地。

8

Gauss also came up with the more discrete $n/\ln (n)$- in volume 10 of his collected works appears a short (5-6 pages) fragment entitled "asymptotic laws of arithmetics", which is dated to the year 1791. In [1] of this fragment Gauss states this approximation of the primes counting function, as well as additional conjecture on the asymptotics of k-prime numbers. By examination of tables of prime numbers up to very large numbers, he stated the prime numbers theorem (that the average density of primes between $1$ and $n$ is $1/\log (n)$) as an empirical law, and on this basis derived his more general conjecture on k-prime numbers. Only later (it seems that in his 1849 letter to Encke) he refined his conjecture so that primes have a density $1/\log (n)$ "around" the number $n$, what leads directly to the (better) logarithmic integral approximation $\pi(n)\propto \int_{2}^{n}\frac{dx}{\ln x}$.

For an expanded discussion of the relation of Gauss's asymptotics for k-prime numbers to the prime numbers theorem, you might look at https://math.stackexchange.com/questions/2587733/what-was-the-heuristics-behind-gausss-guess-on-the-asymptotic-distribution-of-k .

As for online sources, Gauss's collected works can be read freely at the digital library of the goettingen university. Here is a link for Gauss's collected works: https://gdz.sub.uni-goettingen.de/id/PPN235957348. Specifically, what you are looking for (the prime numbers theorem) is in the begining of volume 10-1


5

With all due credit to Gauß, see the other answer, it seems to have been Adrien-Marie Legendre who first published this conjecturally. More precisely, on the last page of the introduction (p. 19) of the first edition of his Essai sur la théorie des nombres (1798), he says in a footnote:

Au reste, il est vraisemblable que la formule rigoureouse qui donne la valeur de $b$ [primes $\le a$] lorsque $a$ est tres-grand, est de la forme $b = \dfrac{a}{A \,log. a +B}$, $A$ et $B$ étant des coefficiens constans, et $log.a$ désignant un logarithme hyperbolique [i.e. $ln(a)$]. La détermination exacte de ces coefficiens seroit un problême curieux et digne d'exercer la sagacité des Analystes.

[My translation: "Besides, it is likely that the rigorous formula that gives the value of $b$ [primes $\le a$] when $a$ is very large, is of the form $b = \dfrac{a}{A \,log. a +B}$, where $A$ and $B$ are constant coefficients, and $log.a$ denotes a hyperbolic logarithm [i.e. $ln(a)$]. The exact determination of these coefficients is a curious problem, worthy for Analysts to exercise their sagacity."]

So in modern notation he conjectures that $\pi(x) \approx \dfrac{x}{A \ln(x) +B}$ with some constants $A, B$.

In the second edition of the same work (1808), he turned this into an entire section (§VIII) in the fourth part, starting on p. 394. He now claims that

$$\dfrac{x}{\ln(x)-1.08366}$$

is the best approximation, i.e. some time between 1798 and 1808 he made up his mind that of his constants, $A=1$, and $B\approx -1.08366$. In volume 2 of the extended third edition (1830), the last published in Legendre's life time, he sticks with this claim (fourth part, §VIII, p. 65).

The somewhat curious number $(\pm)1.08366$ has, somewhat unfairly, become known as Legendre's constant. According to the Wikipedia article, Chebyshev proved in 1849 that if the formula is valid for any $B$ at all, then the value must be $B=(-)1$, and according to the prime number theorem, it really is. So Legendre was actually right on his first account, just that one of his constants turned out to be much simpler than he thought.

It seems likely that Legendre came up with this independently from Gauß (if only because it seems Gauß conjectured the right constants rightaway).

It would actually be interesting to know where Legendre got his confidence from that those five decimals $.08366$ were right; because even though they are not that far off in the range for which prime number tables were available at that time, neither would have been some other numbers. Cf. https://www.mathpages.com/home/kmath032.htm. (E.g. sure, if we look at https://en.wikipedia.org/wiki/Legendre%27s_constant#/media/File:Legendre%27s_constant.svg, the blue line matches somewhat, but if we moved it up or down by $\pm 0.01$, it still would look reasonable; let alone going to $1.08361$ or $1.08379$ or ...) Likely there is something about that to be found in that §VIII of the fourth part of the later editions, which to be honest I did not read thoroughly now (and would lack understanding for anyway); maybe someone with better knowledge of number theory could help here.