Interested Article - Константа Лежандра

Первые 100,000 элементов последовательности *a _n* = ln( n ) − n / π ( n ) (красная линия) как представляется, сходится к значению около 1,08366 (синяя линия).

Константа Лежандра — это математическая константа , появляющаяся в гипотетической формуле, предложенной Адриеном Мари Лежандром для функции распределения простых чисел $\pi (x)$ $\pi (x)$ . Сейчас известно, что это число в точности равно 1 .

Изучение доступных численных данных для простых чисел привели Лежандра к предположению, что $\pi (x)$ $\pi (x)$ удовлетворяет аппроксимационной формуле.

Лежандр в 1808 предположил, что

\pi (x)={\frac {x}{\ln(x)-B(x)}}

\pi (x)={\frac {x}{\ln(x)-B(x)}}

,

где $\lim _{x\to \infty }B(x)=1,08366$ $\lim _{x\to \infty }B(x)=1,08366$ ….() .

Или, аналогично

\lim _{n\to \infty }\left(\ln(n)-{n \over \pi (n)}\right)=B

\lim _{n\to \infty }\left(\ln(n)-{n \over \pi (n)}\right)=B

,

где B — константа Лежандра. Он высказал предположение, что B равно примерно 1,08366, но, независимо от его точного значения, из существования B следует теорема о распределении простых чисел .

Пафнутий Львович Чебышёв доказал в 1849 , что если предел B существует, он должен быть в точности равен 1. Более простое доказательство дал в 1980 Пинтц .

Из теоремы о распределении простых чисел немедленно следует формула с точным остаточным членом

\pi (x)={\rm {Li}}(x)+O\left(xe^{-a{\sqrt {\ln x}}}\right)

\pi (x)={\rm {Li}}(x)+O\left(xe^{-a{\sqrt {\ln x}}}\right)

при

x\to \infty

x\to \infty

(с некоторой положительной константой a , а O (…) — O большое ). В 1899 Шарль де ла Валле-Пуссен доказал, что B равно 1. (Теорема о распределении простых чисел была доказана в 1896 независимо Жаком Адамаром и ла Валле-Пуссеном , но без оценки ошибки).

Когда оказалось, что константа Лежандра является столь элементарным числом, понятие константы Лежандра стало иметь, большей частью, лишь историческое значение, но часто (неверно) константа упоминается как имеющая значение 1,08366… .

Пьер Дюзар доказал в 2010

{\frac {x}{\ln x-1}}<\pi (x)

{\frac {x}{\ln x-1}}<\pi (x)

для

x\geqslant 5393

x\geqslant 5393

, и

\pi (x)<{\frac {x}{\ln x-1.1}}

\pi (x)<{\frac {x}{\ln x-1.1}}

для

x\geqslant 60184

x\geqslant 60184

. Это можно переписать как

\pi (x)={\frac {x}{\ln(x)-B(x)}}

\pi (x)={\frac {x}{\ln(x)-B(x)}}

with

1<B(x)<1.1

1<B(x)<1.1

.

Примечания

, с. 188.
, с. 17.
, с. 733—735.
, с. 1—74.
, с. 199–220.
, с. 183—256, 281-361.
Dusart, Pierre (неопр.) arxiv.org. Дата обращения: 22 апреля 2014. 6 мая 2021 года.

Литература

Paulo Ribenboim. The Little Book of Bigger Primes. — New York: Springer-Verlag, 2004. — ISBN 0-387-20169-6 .
Edmund Landau. Handbuch der Lehre von der Verteilung der Primzahlen. — Third (corrected) edition, two volumes in one. — Chelsea, 1974.
Pintz J. On Legendre's prime number formula // Amer. Math. Monthly. — 1980. — Т. 87 .
La Vallée Poussin, C. Mém. // Couronnés Acad. Roy. — Belgique, 1899. — Т. 59 . — С. 1—74 .
Jacques Hadamard. // Bulletin de la Société Mathématique de France. — 1896. — Т. 24 . — С. 199–220 . 17 июля 2012 года.
La Vallée Poussin. Recherches analytiques sur la théorie des nombres premiers // Annales de la société scientifique de Bruxelles. — 1896. — Т. 20 .