при каком наибольшем значении параметра ряд расходится

При каком наибольшем значении параметра ряд расходится

Числовым рядом (или просто рядом) называется бесконечная сумма ви да

где – действительные или комплексные числа, называемые членами ряда, u_n – общим членом ряда.

Если известен общий член ряда как функция его номера n : u_n = f ( n ), то ряд считают заданным.

Рассмотрим последовательность частичных сумм ряда (9.1):

Сформулируем некоторые свойства числовых рядов.

3. Если к ряду (9.1) прибавить или отбросить конечное число членов, то полученный ряд и ряд (9.1) сходятся или расходятся одновременно.

Следствие (достаточное условие расходимости ряда). Если или этот предел не существует, то ряд расходится

Решение. Вычислим предел общего члена ряда:

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

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

Теорема 9.2 (признак сравнения числовых знакоположительных рядов). Пусть даны два знакоположительных ряда

В этом случае ряд (9.4) называется минорантным, а ряд (9.5) – мажорантным рядом.

Теорема 9.3. (признак сравнения в предельной форме)

Примечание. Если l =1, то ряд (9.1) может быть как сходящимся, так и расходящимся

Признак Даламбера целесообразно применять, когда общий член ряда содержит факториалы и показательные выражения.

Теорема 9.5 (радикальный признак Коши). Если для ряда (9.1) с положительными членами существует конечный или бесконечный предел , то при при l 1 ряд сходится и расходится при l > 1

Решение. Учитывая теорему 9.5 и второй замечательный предел (3.13), вычисляем:

Теорема 9.6 (интегральный признак Коши). Если члены знакоположительного числового ряда могут быть представлены как числовые значения некоторой непрерывной монотонно убывающей на промежутке [1;∞) функции f ( x ) так, что u ₁ = f (1), u ₂ = f (2), …, u_n = f ( n ), …, то если сходится, то сходится и ряд (9.1); если расходится, то расходится также и ряд (9.1)

Так как несобственный интеграл от общего члена ряда сходится, то и исходный ряд также сходится (согласно теореме 9.6)

Особое значение в теории числовых рядов (в частности, при их сравнении) имеет обобщенный гармонический ряд

где p > 0 – действительное число. Для исследования ряда (9.6) применим теорему 9.6 (интегральный признак Коши).

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

Теорема 9.7 (общий достаточный признак сходимости). Пусть дан знакопеременный ряд

составленный из модулей членов данного ряда, то сходится и сам знакопеременный ряд (9.7)

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

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

Сформулируем основные свойства абсолютно сходящихся рядов.

2. Абсолютно сходящиеся ряды с суммами S ₁ и S ₂ можно почленно складывать (вычитать). В результате получается абсолютно сходящийся ряд, сумма которого равна S ₁ + S ₂ ( S ₁ – S ₂ ).

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

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

Частным случаем знакопеременных рядов являются знакочередующиеся ряды, члены которых имеют строго чередующиеся знаки:

Для знакочередующихся рядов имеет место следующий достаточный признак сходимости.

Ряд, членами которого являются функции от переменной x, называется функциональным:

В области сходимости функционального ряда его сумма является некоторой функцией от x : S = S ( x ), которая определяется равенством:

Частным случаем функционального ряда является степенной ряд, члены которого представляют собой степенные функции аргумента x:

Действительные (или комплексные) числа называются коэффициентами ряда (9.11), – действительная переменная.

где x ₀ – некоторое постоянное число.

Рассмотрим вопрос о нахождении области сходимости степенного ряда.

На практике радиус сходимости степенного ряда (9.11) отыскивают с помощью признака Даламбера. Для этого составляют ряд из модулей членов ряда:

и применим к нему признак Даламбера. Допустим, что существует предел

С помощью радикального признака Коши (теоремы 9.5) можно показать, что радиус сходимости также вычисляется по формуле:

Примечание. Интервал сходимости степенного ряда (9.12) находят из неравенства | x – x ₀ | R ; он имеет вид ( x ₀ – R ; x ₀ + R )

Следовательно, данный ряд абсолютно сходится в единственной точке х = 0.

Для нахождения области сходимости ряда применим признак Даламбера:

Данный ряд сходится абсолютно при тех значениях x , которые удовлетворяют неравенству

Исследуем сходимость ряда на концах полученного интервала.

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

Таким образом, – область сходимости заданного по условию ряда

Источник

Суммирование расходящихся рядов методами Абеля, Бореля, Чезаро и Дирихле

Перевод поста Давендра Кападия (Devendra Kapadia) «The ABCD of Divergent Series.»
Выражаю благодарность за помощь в переводе Андрею Дудину.

Какова сумма всех натуральных чисел? Интуиция подсказывает, что ответ — бесконечность. В математическом анализе сумма натуральных чисел является простым примером расходящегося ряда. Тем не менее, математики и физики сочли полезным придать дробные, отрицательные и даже нулевые значения суммам таких рядов. Цель моей статьи — желание отодвинуть завесу тайны, окружающую результаты суммирования расходящихся рядов. В частности, я буду использовать функцию Sum (функция поиска частичных сумм, рядов и т. п. в Mathematica), а так же другие функции в Wolfram Language для того, чтобы объяснить в каком смысле стоит рассматривать следующие утверждения:

Важность обозначений формул буквами A, B, C, и D вскоре станет вам понятна.

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

Общий член ряда, начиная с n = 0, определяется по формуле:

Теперь зададим сумму членов ряда от i = 0 до некоторого конечного значения i = n.

Эта конечная сумма называется частичной суммой ряда.

График значений таких частичных сумм показывает, что их значения приближаются к числу 2 с ростом n:

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

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

Мы говорим, что данный ряд (сумма данной бесконечно убывающей геометрической прогрессии) сходится и что его сумма равна 2.

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

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

Теперь мы рассмотрим пример A из вступления.

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

Для того чтобы применить метод Абеля, заметим, что общий член данного ряда имеет вид:

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

Как можно увидеть на графике ниже, частичные суммы ряда принимают значения, равные 1 или 0 в зависимости от того, четное n или нечетное.

Естественно, что функция Sum выдает сообщение, о том что ряд расходится.

Регуляризация Абеля может быть применена к этому ряду в два шага. Сначала мы строим соответствующий степенной ряд.

Затем мы берем предел этой суммы при x стремящемся к 1, заметим при этом, что соответствующий ряд сходится для значений x меньших, но не равных 1.

Эти два шага можно объединить, сформировав, по сути, определение суммы расходящегося ряда по Абелю.

Мы можем получить тот же ответ используя опцию Regularization для функции Sum следующим образом.

Значение 1/2 представляется разумным, так как оно является средней величиной из двух значений, 1 и 0, принимаемых частичной суммой данного ряда. Кроме того, используемый в данном методе предельный переход интуитивно понятен, т. к. при x = 1 степенной ряд совпадает с нашим расходящимся рядом. Однако, Абель был сильно обеспокоен отсутствием строгости, которое было присуще математическому анализу того времени, и выражал свою обеспокоенность об этом:

«Расходящиеся ряды — изобретение дьявола, и это стыдно на них ссылаться при каких бы то ни было доказательствах. С их помощью, можно сделать любой вывод, какой ему будет угоден, и именно поэтому эти ряды производят столько ошибок и столько парадоксов.» (Н. Х. Абель в письме к своему бывшему учителю Берндту Хольмбою, Январь 1826)

Обратимся теперь к примеру B, в котором утверждается, что:

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

Для того чтобы применить метод Бореля заметим, что общий член данного ряда имеет вид:

Регуляризация Бореля может быть применена к быстро расходящимся рядам в два шага. На первом шаге мы вычисляем экспоненциальную производящую функцию для последовательности членов данного ряда. Стоящий в знаменателе факториал обеспечивает сходимость данного ряд при всех значениях параметра t.

Затем мы производим преобразование Лапласа нашей экспоненциальной производящей функции и ищем его значение в точке s=1.

Эти шаги можно объединить, в итоге мы получим, по сути, определение суммы расходящегося ряда по Борелю.

Также мы можем использовать специализированные функции Wolfram Language для поиска экспоненциальной производящей функции и преобразования Лапласа:

При этом, ответ можно получить непосредственно с помощью Sum следующим образом.

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

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

Суммирование по Борелю представляет собой универсальный метод суммирования расходящихся рядов, который применяется, скажем, в квантовой теории поля. О применении суммирования по Борелю существует огромная коллекция литературы.

Пример C утверждает что:

“C” обозначает Чезаро (на англ. языке его фамилия пишется как Cesaro), итальянского математика, который внес значительный вклад в дифференциальную геометрию, теорию чисел и математическую физику. Чезаро был очень продуктивным математиком и написал около 80 работ в период с 1884 по 1886 г., до того, как получил степень PhD в 1887!

Для начала заметим, что общий член ряда, начиная с n = 0, имеет вид:

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

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

Сумма по Чезаро может быть получена непосредственно, если мы в функции Sum используем данный тип регуляризации, указав соответствующее значение опции Regularization.

Метод суммирования по Чезаро играет важную роль в теории рядов Фурье, в которых ряды на основе тригонометрических функций используются для представления периодических функций. Ряд Фурье для непрерывной функции может и не сходится, но соответствующая сумма по Чезаро (или чезаровское среднее, как её обычно называют) всегда будет сходиться к функции. Этот красивый результат называется теоремой Фейера.

“D” означает Дирихле, немецкого математика, который совершил огромный вклад в теорию чисел и ряд других областей математики. О широте вкладов Дирихле можно судить, просто введя в Mathematica 10 следующий код.

Регуляризация по Дирихле получила свое название от понятия “ряд Дирихле”, который определяется следующим образом:

Специальным случаем данного ряда является дзета-функция Римана, которую можно определить так:

Функция SumConvergence говорит нам, что этот ряд сходится в том случае, если действительная часть параметра s будет больше 1.

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

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

В этом случае в соответствующем разложении отсутствуют члены, не зависящие от параметра ε, в результате мы получаем 0.

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

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

Источник