Расхождение суммы обратных простых чисел - Divergence of the sum of the reciprocals of the primes

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

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

${\displaystyle \sum _{p{\text{ prime}}}{\frac {1}{p}}={\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{5}}+{\frac {1}{7}}+{\frac {1}{11}}+{\frac {1}{13}}+{\frac {1}{17}}+\cdots =\infty }$

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

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

${\displaystyle \sum _{\scriptstyle p{\text{ prime}} \atop \scriptstyle p\leq n}{\frac {1}{p}}\geq \log \log(n+1)-\log {\frac {\pi ^{2}}{6}}}$

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

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

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

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n}}=1+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{4}}+\cdots =\infty }$

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

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n}}=\prod _{p}\left(1+{\frac {1}{p}}+{\frac {1}{p^{2}}}+\cdots \right)=\prod _{p}{\frac {1}{1-p^{-1}}}}$

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

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

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

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

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

${\displaystyle {\begin{aligned}\log \left(\sum _{n=1}^{\infty }{\frac {1}{n}}\right)&{}=\log \left(\prod _{p}{\frac {1}{1-p^{-1}}}\right)=-\sum _{p}\log \left(1-{\frac {1}{p}}\right)\\[5pt]&=\sum _{p}\left({\frac {1}{p}}+{\frac {1}{2p^{2}}}+{\frac {1}{3p^{3}}}+\cdots \right)\\[5pt]&=\sum _{p}{\frac {1}{p}}+{\frac {1}{2}}\sum _{p}{\frac {1}{p^{2}}}+{\frac {1}{3}}\sum _{p}{\frac {1}{p^{3}}}+{\frac {1}{4}}\sum _{p}{\frac {1}{p^{4}}}+\cdots \\[5pt]&=A+{\frac {1}{2}}B+{\frac {1}{3}}C+{\frac {1}{4}}D+\cdots \\[5pt]&=A+K\end{aligned}}}$

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

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n}}=\log \infty ,}$

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

${\displaystyle \log \left({\frac {1}{1-x}}\right)=\sum _{n=1}^{\infty }{\frac {x^{n}}{n}}.}$

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

${\displaystyle A={\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{5}}+{\frac {1}{7}}+{\frac {1}{11}}+\cdots =\log \log \infty .}$

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

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

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

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

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

${\displaystyle \sum _{i=k+1}^{\infty }{\frac {1}{p_{i}}}<{\frac {1}{2}}\qquad (1)}$

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

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

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

${\displaystyle |M_{x}|\leq 2^{k}{\sqrt {x}}\qquad (2)}$

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

Остальные Икс − |M_Икс| числа в установить разницу {1, 2, …, Икс} \ M_Икс все делятся на простое число больше п_k. Позволять N_я,Икс обозначим множество тех п в {1, 2, …, Икс} которые делятся на яй прайм п_я. потом

${\displaystyle \{1,2,\ldots ,x\}\smallsetminus M_{x}=\bigcup _{i=k+1}^{\infty }N_{i,x}}$

Поскольку количество целых чисел в N_я,Икс самое большее Икс/п_я (фактически ноль для п_я > Икс), мы получили

${\displaystyle x-|M_{x}|\leq \sum _{i=k+1}^{\infty }|N_{i,x}|<\sum _{i=k+1}^{\infty }{\frac {x}{p_{i}}}}$

Используя (1), это означает

${\displaystyle {\frac {x}{2}}<|M_{x}|\qquad (3)}$

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

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

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

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

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

${\displaystyle i=q_{1}^{2{\alpha }_{1}+{\beta }_{1}}\cdot q_{2}^{2{\alpha }_{2}+{\beta }_{2}}\cdot \ldots \cdot q_{r}^{2{\alpha }_{r}+{\beta }_{r}},}$

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

${\displaystyle i=(p_{1}p_{2}\ldots p_{s})\cdot b^{2},}$

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

${\displaystyle \sum _{i=1}^{n}{\frac {1}{i}}\leq \left(\prod _{p\leq n}\left(1+{\frac {1}{p}}\right)\right)\cdot \left(\sum _{k=1}^{n}{\frac {1}{k^{2}}}\right)=A\cdot B.}$

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

${\displaystyle {\frac {1}{i}}={\frac {1}{p_{1}p_{2}\ldots p_{s}}}\cdot {\frac {1}{b^{2}}},}$

куда

${\displaystyle {\begin{aligned}\left(1+{\frac {1}{p}}_{1}\right)\left(1+{\frac {1}{p}}_{2}\right)\ldots \left(1+{\frac {1}{p}}_{s}\right)&=\left({\frac {1}{p}}_{1}\right)\left({\frac {1}{p}}_{2}\right)\ldots \left({\frac {1}{p}}_{s}\right)+\ldots \\&={\frac {1}{p_{1}p_{2}\ldots p_{s}}}+\ldots .\end{aligned}}}$

То есть, ${\displaystyle 1/(p_{1}p_{2}\ldots p_{s})}$ одно из слагаемых в расширенном продукте А. И с тех пор ${\displaystyle 1/b^{2}}$ одно из слагаемых B, каждый я представлен в одном из условий AB при умножении. Следующее неравенство.

• Верхняя оценка натуральный логарифм

${\displaystyle {\begin{aligned}\log(n+1)&=\int _{1}^{n+1}{\frac {dx}{x}}\\&=\sum _{i=1}^{n}\underbrace {\int _{i}^{i+1}{\frac {dx}{x}}} _{{}\,<\,{\frac {1}{i}}}\\&<\sum _{i=1}^{n}{\frac {1}{i}}\end{aligned}}}$

• Нижняя оценка 1 + Икс <ехр (Икс) для экспоненциальная функция, что справедливо для всех Икс > 0.
• Позволять п ≥ 2. Верхняя граница (с использованием телескопическая сумма ) для частичных сумм (сходимость - это все, что нам действительно нужно)

${\displaystyle {\begin{aligned}\sum _{k=1}^{n}{\frac {1}{k^{2}}}&<1+\sum _{k=2}^{n}\underbrace {\left({\frac {1}{k-{\frac {1}{2}}}}-{\frac {1}{k+{\frac {1}{2}}}}\right)} _{=\,{\frac {1}{k^{2}-{\frac {1}{4}}}}\,>\,{\frac {1}{k^{2}}}}\\&=1+{\frac {2}{3}}-{\frac {1}{n+{\frac {1}{2}}}}<{\frac {5}{3}}\end{aligned}}}$

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

${\displaystyle {\begin{aligned}\log(n+1)&<\sum _{i=1}^{n}{\frac {1}{i}}\\&\leq \prod _{p\leq n}\left(1+{\frac {1}{p}}\right)\sum _{k=1}^{n}{\frac {1}{k^{2}}}\\&<{\frac {5}{3}}\prod _{p\leq n}\exp \left({\frac {1}{p}}\right)\\&={\frac {5}{3}}\exp \left(\sum _{p\leq n}{\frac {1}{p}}\right)\end{aligned}}}$

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

${\displaystyle \log \log(n+1)-\log {\frac {5}{3}}<\sum _{p\leq n}{\frac {1}{p}}}$

по желанию.∎

С помощью

${\displaystyle \sum _{k=1}^{\infty }{\frac {1}{k^{2}}}={\frac {\pi ^{2}}{6}}}$

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

${\displaystyle \lim _{n\to \infty }\left(\sum _{p\leq n}{\frac {1}{p}}-\log \log n\right)=M}$

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

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

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

${\displaystyle p_{n}<n\log n+n\log \log n\quad {\mbox{for }}n\geq 6}$

потом

${\displaystyle {\begin{aligned}\sum _{n=1}^{\infty }{\frac {1}{p_{n}}}&\geq \sum _{n=6}^{\infty }{\frac {1}{p_{n}}}\\&\geq \sum _{n=6}^{\infty }{\frac {1}{n\log n+n\log \log n}}\\&\geq \sum _{n=6}^{\infty }{\frac {1}{2n\log n}}=\infty \end{aligned}}}$

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

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

Предположим от противного, что сумма сошлась. Тогда существует ${\displaystyle n}$ такой, что ${\displaystyle \sum _{i\geq n+1}{\frac {1}{p_{i}}}<1}$. Назовите эту сумму ${\displaystyle x}$.

Теперь рассмотрим сходящийся геометрический ряд ${\displaystyle x+x^{2}+x^{3}+\cdots }$.

Этот геометрический ряд содержит сумму обратных чисел всех чисел, разложение на простые множители которых содержит только простые числа из множества ${\displaystyle \{p_{n+1},p_{n+2},\cdots \}}$.

Рассмотрим подсерии ${\displaystyle \sum _{i\geq 1}{\frac {1}{1+i(p_{1}p_{2}\cdots p_{n})}}}$. Это подсерия, потому что ${\displaystyle 1+i(p_{1}p_{2}\cdots p_{n})}$ не делится ни на что ${\displaystyle p_{j},j\leq n}$.

Однако по Предел сравнительного теста, эта подсерия расходится при сравнении с гармоническим рядом. В самом деле, ${\displaystyle \lim _{i\to \infty }{\frac {1+i(p_{1}p_{2}\cdots p_{n})}{i}}=p_{1}p_{2}\cdots p_{n}}$.

Таким образом, мы нашли расходящиеся подсерии исходного сходящегося ряда, и поскольку все члены положительны, это дает противоречие. Мы можем сделать вывод ${\displaystyle \sum _{i\geq 1}{\frac {1}{p_{i}}}}$ расходится. ${\displaystyle \blacksquare }$

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

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

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

${\displaystyle {\frac {\text{odd}}{\text{even}}}+{\frac {1}{p_{n+1}}}={\frac {{\text{odd}}\cdot p_{n+1}+{\text{even}}}{{\text{even}}\cdot p_{n+1}}}={\frac {{\text{odd}}+{\text{even}}}{\text{even}}}={\frac {\text{odd}}{\text{even}}}}$

как (п + 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.

Источники

• Данэм, Уильям (1999). Эйлер - хозяин всех нас. MAA. стр.61–79. ISBN  0-88385-328-0.

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

• Колдуэлл, Крис К. «Простых чисел бесконечно много, но насколько велико из бесконечности?».