WikiDer > Расхождение суммы обратных простых чисел

Divergence of the sum of the reciprocals of the primes

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

В сумма взаимные из всех простые числа расходится; то есть:

Это было доказано Леонард Эйлер в 1737 г.,[1] и укрепляет (т.е. дает больше информации, чем) Евклидрезультат III века до нашей эры, что есть бесконечно много простых чисел.

Существует множество доказательств результата Эйлера, в том числе нижняя граница для частичных сумм, утверждающих, что

для всех натуральных чисел п. Двойной натуральный логарифм (журнал журнала) указывает, что расхождение может быть очень медленным, что действительно так. Видеть Константа Мейселя – Мертенса.

Гармонический ряд

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

Он уже использовал следующее "формула продукта"показать существование бесконечного множества простых чисел.

Здесь произведение берется по множеству всех простых чисел.

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

Доказательства

Доказательство Эйлера

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

для фиксированной постоянной K < 1. Затем он воспользовался соотношением

который он объяснил, например, в более поздней работе 1748 года,[2] установив Икс = 1 в разложении в ряд Тейлора

Это позволило ему сделать вывод, что

Почти наверняка Эйлер имел в виду, что сумма обратных простых чисел меньше п асимптотичен журнал журнал п в качестве п приближается к бесконечности. Оказывается, это действительно так, и более точная версия этого факта была строго доказана Франц Мертенс в 1874 г.[3] Таким образом, Эйлер сомнительным образом получил правильный результат.

Доказательство Эрдеша верхними и нижними оценками

Следующее доказательство от противного связано с Пол Эрдёш.

Позволять пя обозначить яое простое число. Предположим, что сумма обратных простых чисел сходится

Тогда существует наименьшее положительный целое число k такой, что

Для положительного целого числа Икс, позволять MИкс обозначим множество тех п в {1, 2, …, Икс} которые не делимый на любое простое число больше, чем пk (или, что эквивалентно, все пИкс которые являются произведением степеней простых чисел пяпk). Теперь мы получим верхнюю и нижнюю оценки для |MИкс|, то количество элементов в MИкс. Для большихИкс, эти оценки окажутся противоречивыми.

Верхняя оценка:

Каждый п в MИкс можно записать как п = м2р с положительными целыми числами м и р, куда р является без квадратов. Поскольку только k простые числа п1, …, пk может появиться (с показателем 1) в простые множители изр, есть не более 2k разные возможности дляр. Кроме того, есть не более Икс возможные значения длям. Это дает нам оценку сверху

Нижняя оценка:

Остальные Икс − |MИкс| числа в установить разницу {1, 2, …, Икс} \ MИкс все делятся на простое число больше пk. Позволять Nя,Икс обозначим множество тех п в {1, 2, …, Икс} которые делятся на яй прайм пя. потом
Поскольку количество целых чисел в Nя,Икс самое большее Икс/пя (фактически ноль для пя > Икс), мы получили
Используя (1), это означает

Возникает противоречие: когда Икс ≥ 22k + 2, оценки (2) и (3) не могут выполняться одновременно, поскольку Икс/2 ≥ 2kИкс.

Доказательство того, что в серии наблюдается логарифмический рост

Вот еще одно доказательство, которое на самом деле дает нижнюю оценку частичных сумм; в частности, это показывает, что эти суммы растут как минимум так быстро, как журнал журнал п. Доказательство принадлежит Ивану Нивену,[4] адаптировано из идеи расширения продукта Эйлер. Далее сумма или продукт, принимаемый п всегда представляет собой сумму или произведение, взятое на указанный набор простых чисел.

Доказательство опирается на следующие четыре неравенства:

  • Каждое положительное целое число я может быть однозначно выражена как произведение целого числа без квадратов и квадрата как следствие основная теорема арифметики. Начнем с:

где βs равны 0 (соответствующая степень простого q четно) или 1 (соответствующая степень простого q нечетно). Выносим за скобки одну копию всех простых чисел, у которых β равно 1, оставляя произведение простых чисел на четные степени, само по себе квадрат. Переназначение:

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

Чтобы увидеть это, обратите внимание, что

куда

То есть, одно из слагаемых в расширенном продукте А. И с тех пор одно из слагаемых B, каждый я представлен в одном из условий AB при умножении. Следующее неравенство.

Комбинируя все эти неравенства, мы видим, что

Разделение на 5/3 и натуральный логарифм обеих частей дает

по желанию.

С помощью

(см. Базельская проблема) указанная выше постоянная бревно 5/3 = 0.51082… можно улучшить до бревно π2/6 = 0.4977…; на самом деле оказывается, что

куда M = 0.261497… это Константа Мейселя – Мертенса (в некотором роде аналогично более известному Константа Эйлера – Маскерони).

Доказательство из неравенства Дюзарта

Из Неравенство Дюзарта, мы получили

потом

посредством интегральный критерий сходимости. Это показывает, что ряд слева расходится.

Доказательство геометрических и гармонических рядов

Предположим от противного, что сумма сошлась. Тогда существует такой, что . Назовите эту сумму .

Теперь рассмотрим сходящийся геометрический ряд .

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

Рассмотрим подсерии . Это подсерия, потому что не делится ни на что .

Однако по Предел сравнительного теста, эта подсерия расходится при сравнении с гармоническим рядом. В самом деле, .

Таким образом, мы нашли расходящиеся подсерии исходного сходящегося ряда, и поскольку все члены положительны, это дает противоречие. Мы можем сделать вывод расходится.

Частичные суммы

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

Одно доказательство[5] по индукции: первая частичная сумма равна 1/2, имеющий вид странный/четное. Если п-я частичная сумма (для п ≥ 1) имеет вид странный/четное, то (п + 1)сумма

как (п + 1)St Prime пп + 1 нечетный; поскольку эта сумма также имеет странный/четное Эта частичная сумма не может быть целым числом (потому что 2 делит знаменатель, но не числитель), и индукция продолжается.

Другое доказательство переписывает выражение для суммы первых п обратные числам (или действительно сумма обратных чисел любой набор простых чисел) в терминах наименьший общий знаменатель, который является произведением всех этих простых чисел. Тогда каждое из этих простых чисел делит все члены числителя, кроме одного, и, следовательно, не делит сам числитель; но каждый прайм делает делим знаменатель. Таким образом, выражение неприводимо и не является целым.

Смотрите также

Рекомендации

  1. ^ Эйлер, Леонард (1737). «Наблюдения вариаций около бесконечных серий» [Различные наблюдения относительно бесконечных серий]. Commentarii Academiae Scientiarum Petropolitanae. 9: 160–188.
  2. ^ Эйлер, Леонард (1748). Введение в анализин бесконечный. Томус Примус [Введение в бесконечный анализ. Том I]. Лозанна: Буске. п. 228, пр. 1.
  3. ^ Мертенс, Ф. (1874 г.). "Ein Beitrag zur analytischer Zahlentheorie". J. Reine Angew. Математика. 78: 46–62.
  4. ^ Нивен, Иван, "Доказательство расходимости Σ 1 /п", Американский математический ежемесячник, Vol. 78, No. 3 (март 1971 г.), стр. 272-273. Доказательство на полстраницы расширено Уильямом Данхэмом в Эйлер: Мастер всех насС. 74-76.
  5. ^ Лорд, Ник (2015). «Быстрые доказательства того, что некоторые суммы дробей не являются целыми числами». Математический вестник. 99: 128–130. Дои:10.1017 / mag.2014.16.
Источники

внешняя ссылка