Теоремы Мертенса

Теоремы Мертенса — это три результата 1874 года, связанные с плотностью простых чисел, доказанные Францем Мертенсом[1]. Название «теорема Мертенса» может относиться также к его теореме в анализе.

В теории чиселПравить

Ниже   означает все простые числа, не превосходящие n.

Первая теорема Мертенса:

 

не превосходит 2 по абсолютной величине для любого  . (последовательность A083343 в OEIS)

Вторая теорема Мертенса:

 

где Mконстанта Майсселя — Мертенса (последовательность A077761 в OEIS). Более точно, Мертенс[1] доказал, что выражение в скобках не превосходит по абсолютному значению

 

для любого  .

Третья теорема Мертенса:

 

где γ — постоянная Эйлера — Маскерони (последовательность A001620 в OEIS).

Изменение знакаПравить

В работе Робина[2] о степени роста функции суммы делителей, опубликованной в 1983, Гай Робин доказал, что во второй теореме Мертенса разность

 

меняет знак бесконечно много раз, а в третьей теореме Мертенса разность

 

также меняет знак бесконечно много раз. Результаты Робина аналогичны знаменитой теореме Литлвуда, что разность   меняет знак бесконечно много раз. Никакого аналога числу Скьюза (верхней границе для первого натурального числа x, для которого  ) не известны для 2-ой и 3-ей теорем Мертенса.

Вторая теорема Мертенса и теорема о простых числахПравить

Относительно асимптотической формулы Мертенс указывает в своей статье на «две любопытные формулы Лежандра»[1], первая является прототипом второй теоремы Мертенса (а вторая является прототипом третьей теоремы Мертенса — см. первые строки статьи). Он указывает, что формула содержится в третьем издании книги Лежандра «Théorie des nombres» (1830; Фактически, он упоминал её во втором издании, 1808), а также что более тщательно проработанную версию доказал Чебышёв в 1851[3]. Заметим, что уже в 1737, Эйлер знал асимптотическое поведение этой суммы [4].

Мертенс дипломатично описывает своё доказательство как более точное и строгое. В действительности, ни одно из предыдущих доказательств неприемлемо по современным стандартам — вычисления Эйлера вовлекают бесконечность (гиперболический логарифм бесконечности и логарифм логарифма бесконечности!), аргументы Лежандра эвристичны, а доказательство Чебышева, хотя безупречное, опирается на гипотезу Лежандра — Гаусса, которая была доказана лишь в 1896 и после этого стала известна как теорема о распределении простых чисел.

Доказательство Мертенса не обращается к какой-либо недоказанной гипотезе (в 1874) и использует элементарный вещественный анализ. Доказательство опубликовано на 22 года раньше первого доказательства теоремы о распределении простых чисел, которая, в отличие от доказательства Мертенса, опирается на тщательный анализ поведения дзета-функции Римана как функции комплексного переменного. Доказательство Мертенса в этом отношении замечательно. Более того, в современных обозначениях из него получается

 

с учётом того, что можно показать эквивалентность теоремы о распределении простых чисел (в её простейшей форме без оценки ошибки) формуле[5]

 

В 1909 Ландау с помощью более совершенной версии теоремы о распределении простых чисел доказал[6], что выполняется

 .

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

 

для некоторого  .

В теории суммируемостиПравить

В теории суммирования теорема Мертенса утверждает, что если вещественный или комплексный бесконечный ряд

 

сходится к A, а другой ряд

 

сходится абсолютно к B, то их произведение Коши[en] сходится к AB.

ПримечанияПравить

  1. 1 2 3 Mertens, 1874, с. 46–62.
  2. Robin, 1983, с. 233–244.
  3. Tchebychev, 1851, с. 141–157.
  4. Euler, 1737, с. 160–188.
  5. Хотя эта эквивалентность здесь не упомянута явно, её, например, можно легко вывести из материла в главе I.3 книги Г. Тененбаума (Tenenbaum 1995)
  6. Landau, 1909.

ЛитератураПравить

Литература для дальнейшего чтенияПравить

  • Прахар К. Распределение простых чисел. — М.,: Мир, 1967.
  • Яглом А.М., Яглом И.М. Неэлементарные задачи в элементарном изложении. — М.,: Гостехиздат, 1954. Задачи 167, 169, 170

СсылкиПравить