Русская Википедия:Константа Лежандра

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Файл:Legendre's constant.svg

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

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

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

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

<math> \pi(x) = \frac{x}{\ln(x) - B(x)} </math>,

где <math>\lim_{x \to \infty} B(x) = 1,08366 </math>….(Шаблон:OEIS2C)Шаблон:Sfn.

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

<math>\lim_{n \to \infty } \left( \ln(n) - {n \over \pi(n)} \right)= B</math>,

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

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

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

<math> \pi(x)={\rm Li} (x) + O \left(x e^{-a\sqrt{\ln x}}\right)</math> при <math>x \to \infty</math>

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

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

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

<math> \frac {x} {\ln x - 1} < \pi(x)</math> для <math>x \geqslant 5393</math>, и

<math> \pi(x) < \frac {x} {\ln x - 1.1}</math> для <math>x \geqslant 60184</math>. Это можно переписать как

<math> \pi(x) = \frac{x}{\ln(x) - B(x)} </math> with <math>1 < B(x) < 1.1</math>.

Литература

• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Статья

Ссылки

• Шаблон:Mathworld