Loading AI tools
сумма, составленная из членов, обратных последовательным числам натурального ряда Из Википедии, свободной энциклопедии
Гармони́ческий ряд — сумма, составленная из бесконечного количества членов, обратных последовательным числам натурального ряда:
Ряд назван гармоническим, так как складывается из «гармоник»: -я гармоника, извлекаемая из скрипичной струны, — это основной тон, производимый струной длиной от длины исходной струны[1]. Кроме того, каждый член ряда, начиная со второго, представляет собой среднее гармоническое двух соседних членов.
Отдельные члены ряда стремятся к нулю, но его сумма бесконечна (ряд расходится). Частичная сумма n первых членов гармонического ряда называется n-м гармоническим числом:
Разница между -м гармоническим числом и натуральным логарифмом сходится к постоянной Эйлера — Маскерони .
Разница между различными гармоническими числами никогда не равна целому числу и никакое гармоническое число, кроме , не является целым: [2].
В 1740 году Эйлером было получено асимптотическое выражение для суммы первых членов ряда:
где — постоянная Эйлера — Маскерони, а — натуральный логарифм.
При значение следовательно, для больших
, (%) | |||
10 | 2,93 | 2,88 | 1,7 |
25 | 3,82 | 3,80 | 0,5 |
Более точная асимптотическая формула для частичной суммы гармонического ряда:
Данный ряд расходится, однако ошибка вычислений по нему никогда не превышает половины первого отброшенного члена[источник не указан 2214 дней].
Гармонический ряд расходится: при однако очень медленно (для того, чтобы частичная сумма превысила 100, необходимо около 1.5*1043 элементов ряда).
Расходимость гармонического ряда можно продемонстрировать, сравнив его со следующим телескопическим рядом, который получается из логарифмирования :
Частичная сумма этого ряда, очевидно, равна Последовательность таких частичных сумм расходится; следовательно, по определению телескопический ряд расходится, но тогда из признака сравнения рядов следует, что гармонический ряд тоже расходится.
Рассмотрим последовательность Покажем, что эта последовательность не является фундаментальной, то есть, что Оценим разность Пусть Тогда Следовательно, данная последовательность не является фундаментальной и по критерию Коши расходится. Тогда по определению ряд также расходится.
Доказательство расходимости можно построить, если сравнить гармонический ряд с другим расходящимся рядом, в котором знаменатели дополнены до степени двойки. Этот ряд группируется, и получается третий ряд, который расходится:
(Группировка сходящихся рядов всегда дает сходящийся ряд, а значит если после группировки получился ряд расходящийся, то и исходный тоже расходится.)
Это доказательство принадлежит средневековому учёному Николаю Орему (ок. 1350).
Обобщённым гармоническим рядом (частный случай ряда Дирихле) называют ряд[4]
Этот ряд расходится при и сходится при [4].
Сумма обобщённого гармонического ряда порядка равна значению дзета-функции Римана:
Для целых чётных показателей это значение явно выражается через число пи — например, сумма ряда обратных квадратов . Но уже для α=3 его значение (константа Апери) аналитически неизвестно.
Другой иллюстрацией расходимости гармонического ряда может служить соотношение
В отличие от гармонического ряда, у которого все слагаемые берутся со знаком «+», ряд
сходится по признаку Лейбница. Поэтому говорят, что такой ряд обладает условной сходимостью. Его сумма равна натуральному логарифму 2:
Эта формула — частный случай ряда Меркатора, то есть ряда Тейлора для натурального логарифма.
Похожий ряд может быть получен из ряда Тейлора для арктангенса:
Это соотношение известно как ряд Лейбница.
В 2003 году изучены[5][6] свойства случайного ряда
где — независимые, одинаково распределённые случайные величины, которые принимают значения +1 и −1 с одинаковой вероятностью ½. Показано, что этот ряд сходится с вероятностью 1, и сумма ряда есть случайная величина с интересными свойствами. Например, функция плотности вероятности, вычисленная в точках +2 или −2, имеет значение:
отличаясь от ⅛ на менее чем 10−42.
Если рассмотреть гармонический ряд, в котором оставлены только слагаемые, знаменатели которых не содержат цифры 9, то окажется, что оставшийся ряд сходится, и его сумма меньше 80[7]. Позже была найдена более точная оценка, ряд Кемпнера сходится к (последовательность A082838 в OEIS). Более того, доказано, что если оставить слагаемые, не содержащие любой заранее выбранной последовательности цифр, то полученный ряд будет сходиться. Из этого можно сделать ошибочное заключение о сходимости исходного гармонического ряда, что не верно, поскольку с ростом разрядов в числе всё меньше слагаемых берётся для суммы «истончённого» ряда. То есть, в конечном счёте отбрасывается подавляющее большинство членов, образующих сумму гармонического ряда, чтобы не превзойти ограничивающую сверху геометрическую прогрессию.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.