Теоремы Л. Чебышева о распределении простых чисел и некоторые проблемы, связанные с ними

Размещено на http://www.allbest.ru/

УДК 519.642.8 UDC 519.642.8

01.00.00 Физико-математические науки

Physics and Math

ТЕОРЕМЫ П.Л. ЧЕБЫШЕВА О РАСПРЕДЕЛЕНИИ ПРОСТЫХ ЧИСЕЛ И НЕКОТОРЫЕ ПРОБЛЕМЫ, СВЯЗАННЫЕ С НИМИ

THE THEOREMS OF CHEBYSHEV ABOUT THE DISTRIBUTION OF PRIME NUMBERS AND SOME PROBLEMS, CONNECTED WITH PRIME NUMBERS

Лаптев Владимир Николаевич к.т.н., доцент

Кубанский государственный аграрный университет, Краснодар, Россия

Сергеев Александр Эдуардович к.ф.-м.н, доцент

Сергеев Эдуард Александрович к.ф.-м.н, доцент

Кубанский государственный университет, Краснодар, Россия



В статье приводятся теоремы Чебышева о распределении простых чисел, рассматриваются функции, приближающие простые числа, а также вводится новая функция, достаточно хорошо приближающая простые числа. Приводится обзор известных результатов по распределению простых чисел

Ключевые слова: ПРОСТЫЕ ЧИСЛА, РАСПРЕДЕЛЕНИЕ ПРОСТЫХ ЧИСЕЛ

простой число чебышев распределение



The article presents the theorem of Chebyshev on the distribution of primes, considering functions that approximated prime numbers. We have also considered a new function, which is quite good for approximation of prime numbers. A review of the known results on distribution of prime numbers is given as well

Keywords: PRIME NUMBERS, DISTRIBUTION OF PRIME NUMBERS



Натуральные числа, отличные от единицы, подразделяются на два класса: простые числа 2, 3, 5, 7, 11, 13, 17, … , имеющие только два натуральных делителя - единицу и самого себя, и составные числа 4, 6, 8, 9, 10, 12, 14, 15, 16, … , имеющие больше двух различных натуральных делителей.

Эвклид еще во II веке до нашей эры [1] доказал, что не существует наибольшего простого числа, т.е. в натуральном ряде имеется бесконечно много простых чисел.

Обозначая число простых чисел, меньших ил равных натурального числа x через , можно теорему Эвклида записать в виде если .

Изучая таблицы простых чисел, можно заметить, что с увеличением x отношение (так называемая «средняя плотность» простых чисел на отрезке натуральных чисел от 1 до x) все время убывает. Эйлер впервые, но не совсем строго, доказал что позднее Лежандр в 1798 году доказал этот факт строго.

Основная проблема теории распределения простых чисел состоит в исследовании функции , значения которой при изменении x могут быть очень нерегулярны.

Перед математиками XVIII и XIX веков возникла проблема нахождения аналитической функции приближающей со сколь угодно малой относительной погрешностью при достаточно больших значениях x, т.е. должно выполняться соотношение:

Последнее соотношение равносильно такому: Две положительные функции и , определенные для действительных положительных значений , называются асимптотически равными, если при этом пишут .

Первая проблема распределения простых чисел состоит в том, чтобы найти достаточно простую аналитическую функцию , асимптотически равную.

Вторая проблема: среди аналитических функций определенного класса, асимптотически равных найти функцию, наилучшим образом приближающую на всем ряде натуральных чисел, или на каком то достаточно большом его начальном отрезке.

Третья проблема: исследовать свойства самой функции .

Первая проблема решена еще в XIX веке, по второй и третьей проблемам результатов немного.

Пусть положительная постоянная, и функции, положительная функция и для всех достаточно больших выполняется неравенство в этом случае пишут и говорят, что приближает с точностью до величины порядка .

А.М. Лежандр в 1798 году в книге «Теория чисел» предположил, исходя из вычислений, что выражение довольно точно приближает , если не превышает Позднее в 1808 году Лежандр предположил, что функция асимптотически приближает . Приблизительно в эти годы К.Ф. Гаусс, составляя таблицы простых чисел, пришел к выводу, что интегральный логарифм лучше приближает чем , и это впоследствии подтвердилось. Легко заметить, что , поэтому если то и Эти соотношения составляют асимптотический закон распределения простых чисел, справедливость которого предполагали, но не доказали Гаусс и Лежандр.

Хотя функция Лежандра хорошо приближает приблизительно до , однако с увеличением ее точность падает и как показал П.Л. Чебышев в 1848 году, среди функций вида на всем ряде натуральных чисел функция наиболее точно приближает .

Первый существенный вклад в решение проблем, связанных с распределением простых чисел, внес П.Л. Чебышев. Из его двух знаменитых мемуаров 1848 и 1852 годов берут своё начало «элементарные методы» теории распределения простых чисел, т.е. методы, не использующие теорию функций комплексного переменного и др.

В первом мемуаре [2] П.Л. Чебышев доказал пять замечательных теорем, три из которых следующие (в его нумерации).

Теорема II. От до функция , означающая число простых чисел, меньших , удовлетворяет бесконечное число раз и неравенству и неравенству , как бы , оставаясь количеством положительным, ни было мало, а ни было велико.

Из этой теоремы Чебышева следует, что если существует, то он должен быть равен единице, что и было в 1896 году доказано Ж. Адамаром и независимо от него Валле - Пуссеном.

Из теоремы II выводим также факт колебания около , что в более точной формулировке было доказано Литтльвудом в 1914 году: разность бесконечное число раз меняет знак и выполняется условие с некоторой положительной константой

Теорема IV. Если выражение при имеет пределом количество конечное или бесконечность, то не может представлять до количеств порядка включительно.

Из теоремы II вытекает справедливость теоремы III.

Теорема III. Выражение при не может иметь пределом количество, отличное от

Из теоремы III следует что формула Лежандра для нахождения значений при неверна, а вот функция могла бы выразить верно до количеств порядка включительно.

Что же касается до выбора функции, наиболее точно выражающей , то относительно ее П.Л. Чебышев доказывает такую теорему:

Теорема V. Если функция , определяющая число простых чисел, меньших x, может быть выражена верно до количеств порядка включительно алгебраически в , , , то такое выражение есть

.

Если принять во внимание равенство

то из теоремы V следует, что функция аппроксимирует на всем ряде натуральных чисел с точностью до при любом фиксированном натуральном для всех достаточно больших , но этим свойством обладают и многие другие функции. Например, из теоремы IV следует, что таким свойством обладает функция :

.

Будем в дальнейшем использовать для аппроксимации функцию .

Так как функция , в среднем (на основании теоремы IV) на всем ряде натуральных чисел аппроксимирует с тем же порядком точности, что и , то можно сформулировать гипотезу.

Гипотеза 1. Разность при бесконечное число раз меняет знак.

Новые идеи в теорию распределения простых чисел внес Б. Риман в 1850 году в мемуаре [3], где была рассмотрена дзета-функция с комплексными и была установлена связь между нулями и функцией . Заметим, что для доказательства своих теорем Чебышев первый рассмотрел поведение дзета-функции вещественного переменного , вблизи ее единственного полюса и пользовался производными от и .

Риман ввел в рассмотрение функцию :

(1)

что позволило, используя формулу обращения Мебиуса, представить в форме:



(2)

где функция Мебиуса. Заменяя в равенстве (2) функцию на (это, конечно гипотетическая замена, основанная на уверенности Римана, что всегда больше ! Однако сейчас, в настоящее время, мы знаем, что это не так!) получаем известную функцию Римана :

, (3)

хорошо аппроксимирующую в пределах существующих таблиц. Очень удобное выражение для вычисления , получен Гремом в 1884 году:

(4)

где сумма ряда .

Риман дал следующую точную формулу для в терминах своей функции

(5)

где суммирование распространено на все нетривиальные нули дзета-функции с учетом их кратности.

Риман утверждал, что комплексные нули дзета-функции , отличные от так называемых «тривиальных» нулей содержатся на комплексной плоскости в бесконечной полосе и симметрично расположены относительно ее центральной прямой . Впоследствии это утверждение было доказано Адамаром.

Кроме того, Риман предположил, что нетривиальные комплексные нули дзета-функции все имеют вещественную часть находящуюся на прямой Это предположение есть знаменитая гипотеза Римана, не доказанная до сих пор, хотя она подтверждается вычислениями более 10 миллиардами нулей дзета-функции.

В 1896 году Ж. Адамар и независимо от него Валле-Пуссен с помощью теории функций комплексного переменного доказали, что на прямой комплексной плоскости нет нулей дзета-функции, что позволило установить справедливость асимптотического закона распределения простых чисел в форме:

.

Валле-Пуссен доказал даже больше:

с некоторой положительной константой Впоследствии этот результат улучшался Литтльвудом, И. М. Виноградовым [6], Н.Г. Чудаковым [5], А.А. Карацубой [8].

Известно, что если верхний предел вещественной части нулей дзета-функции Римана, то . Таким образом, если гипотеза Римана верна, то и

(6)

Однако, как показывают таблицы, вполне возможна и лучшая оценка:

. (7)

Сформулируем еще одну правдоподобную гипотезу.

Гипотеза 2. Если аналитическая непрерывная функция аппроксимирует функцию верно до количеств порядка для любого фиксированного натурального числа при любом достаточно большом , зависящем от , то разность при бесконечное число раз меняет знак.

Введем в рассмотрение еще одну интересную функцию [13] для аппроксимации :

,

где . Составим таблицу разностей

Функции одинаково хорошо в среднем аппроксимируют на всем ряде натуральных чисел, ввиду теоремы IV Чебышева, но на определенном конечном отрезке чисел натурального ряда они с разной точностью аппроксимируют как показывает таблица. И хотя функция Римана в пределах современных существующих таблиц лучше аппроксимирует чем , но с ростом ее колебания относительно становятся все больше и в результате ее преимущество в аппроксимации над становятся иллюзорными, как отметим Ингам [7].

Таблица

x
102	+5	+8	+2	+1	25
103	+10	+7	+5	0	168
104	+17	+15	+6	2	1226
105	+38	+25	+11	5	9592
106	+130	+130	+47	+29	78498
107	+339	+704	+154	+88	664579
108	+754	+1335	+240	+97	5761455
109	+1701	+263	+247	79	50847534
1010	+3104	1604	1079	1828	455052511
1011	+11588	+4737	611	2318	4118054813
1012	+38263	+47692	+2357	1476	37607912018

Отметим теперь некоторые свойства самой функции : П. Л. Чебышев в 1850 году доказал неравенство [2]:

где , . В 1882 году Сильвестр усовершенствовал метод Чебышева и получил , при достаточно больших

В 1845 году Бертран высказал следующее предположение: между и при находится по крайней мере одно простое число, т.е. при .

Чебышев доказал в 1852 году этот постулат Бертрана как следствие найденных им оценок функции

Более точная современная оценка разности при выглядит так:



Ишикава в 1934 году, используя результаты Чебышева, доказал, что:

при и

Доказана также справедливость таких неравенств (при ):

Однако неизвестно, будет ли всегда справедливо неравенство:

,

И хотя предыдущее неравенство выглядит вполне правдоподобно, но причудливое, иррегулярное поведение функции ставит справедливость этого неравенства под сомнение.

Подводя итог мы видим насколько значимы приведенные теоремы Чебышева. Отметим, что в 1949 году А. Сельберг дополнив идеи Чебышева собственными принципиальными соображениями нашел доказательство асимптотического закона распределения простых чисел, не используя, подобно Адамару и Валле-Пуссену, теорию функций комплексного переменного. Это было Мировой сенсацией в математике так как многие известные математики считали, что это невозможно!

Как было упомянуто раньше, Литтльвуд доказал в 1914 году, что разность при бесконечное число раз меняет знак. Тем не менее в пределах таблиц разность положительна и быстро увеличивается с ростом Каковы те натуральные числа , для которых Во времена Литтльвуда считали, что эти числа невообразимо большие, однако Леман в 1966 году доказал, что между и имеется интервал, содержащий по меньшей мере 10⁵⁰⁰ чисел, для которых и нет ни одного числа, меньшего 10²⁰ с таким свойством. Позже, в 1987 году Риел доказал, что уже между и существует более 10¹⁸⁰ таких различных целых чисел , что

Таким образом, функция по прежнему весьма загадочна, необычна и современным математикам и математикам будущего еще предстоит много работы по разгадыванию и доказательству ее замечательных свойств!



Литература

1. Прахар К. Распредение простых чисел. М. Мир. 1987.

2. Чебышев П.Л. Избранные труды. М. АН СССР 1956.

3. Риман Б. Сочинения. М.-Л. ОГИЗ. 1948.

4. Чудаков Н.Г. О нулях . // ДАН СССР. 1936. Т1, № 1, с. 187 - 201.

5. Виноградов И.М. Новая оценка функции // Изв. АН СССР. Матеем. 1958. Т.22, № 2. с. 161 - 164.

6. Карацуба А.А. Распределение простых чисел // Успехи матем. Наук. 1990. Т. 45. вып. 5. с. 81 - 140.

7. Ингам. А.Э. Распределение простых чисел. М.-Л. ОНГИ. 1936.

8. Трост Э. Простые числа. М. 1959.

9. Цагир Д. Первые 50 млн. простых чисел // Живые числа. Пять экскурсий. М. Мир. 1985. с. 42 - 71.

10. Воронин С.М. Простые числа. М. Знание. 1978.

11. Чубариков В.Н. Проблемы распределения простых чисел, связанные с классическими теоремами П.Л. Чебышева // Вестн. Моск. Ун-та. Матеем. 1991. № 5. с. 19 -24.

12. Рибенбойм М. Рекорды в исследованиях простых чисел. СПб. Изд-во СПбГУ. 2002. 284с.

13. Сергеев Э.А. Элементы теории чисел. КубГу. Краснодар. 1998.

14. Иванец Х., Ковалевский Э. Аналитическая теория чисел. Москва. МЦНМО. 2014.



References

1. Prahar K. Raspredenie prostyh chisel. M. Mir. 1987.

2. Chebyshev P.L. Izbrannye trudy. M. AN SSSR 1956.

3. Riman B. Sochinenija. M.-L. OGIZ. 1948.

4. Chudakov N.G. O nuljah . // DAN SSSR. 1936. T1, № 1, s. 187 - 201.

5. Vinogradov I.M. Novaja ocenka funkcii // Izv. AN SSSR. Mateem. 1958. T.22, № 2. s. 161 - 164.

6. Karacuba A.A. Raspredelenie prostyh chisel // Uspehi matem. Nauk. 1990. T. 45. vyp. 5. s. 81 - 140.

7. Ingam. A.Je. Raspredelenie prostyh chisel. M.-L. ONGI. 1936.

8. Trost Je. Prostye chisla. M. 1959.

9. Cagir D. Pervye 50 mln. prostyh chisel // Zhivye chisla. Pjat' jekskursij. M. Mir. 1985. s. 42 - 71.

10. Voronin S.M. Prostye chisla. M. Znanie. 1978.

11. Chubarikov V.N. Problemy raspredelenija prostyh chisel, svjazannye s klassicheskimi teoremami P.L. Chebysheva // Vestn. Mosk. Un-ta. Mateem. 1991. № 5. s. 19 -24.

12. Ribenbojm M. Rekordy v issledovanijah prostyh chisel. SPb. Izd-vo SPbGU. 2002. 284s.

13. Sergeev Je.A. Jelementy teorii chisel. KubGu. Krasnodar. 1998.

14. Ivanec H., Kovalevskij Je. Analiticheskaja teorija chisel. Moskva. MCNMO. 2014.

Размещено на Allbest.ru