Константа Лежандра

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

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

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

π ( x ) = x ln ⁡ ( x ) − B ( x ) {displaystyle pi (x)={frac {x}{ln(x)-B(x)}}} ,

где lim x → ∞ B ( x ) = 1 , 08366 {displaystyle lim _{x o infty }B(x)=1,08366} ….(A228211).

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

lim n → ∞ ( ln ⁡ ( n ) − n π ( n ) ) = B {displaystyle lim _{n o infty }left(ln(n)-{n over pi (n)} ight)=B} ,

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

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

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

π ( x ) = L i ( x ) + O ( x e − a ln ⁡ x ) {displaystyle pi (x)={ m {Li}}(x)+Oleft(xe^{-a{sqrt {ln x}}} ight)} при x → ∞ {displaystyle x o infty }

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

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

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

x ln ⁡ x − 1 < π ( x ) {displaystyle {frac {x}{ln x-1}}<pi (x)} для x ⩾ 5393 {displaystyle xgeqslant 5393} , и π ( x ) < x ln ⁡ x − 1.1 {displaystyle pi (x)<{frac {x}{ln x-1.1}}} для x ⩾ 60184 {displaystyle xgeqslant 60184} . Это можно переписать как π ( x ) = x ln ⁡ ( x ) − B ( x ) {displaystyle pi (x)={frac {x}{ln(x)-B(x)}}} with 1 < B ( x ) < 1.1 {displaystyle 1<B(x)<1.1} .