Расходящаяся серия - Divergent series

Les séries divergentes sont en général
quelque выбрал de bien fatal et c'est une honte qu'on ose y fonder aucune démonstration. («Расходящиеся серии в целом являются чем-то фатальным, и постыдно основывать на них какие-либо доказательства». Часто переводится как «расходящиеся серии изобретение дьявола… »)

Н. Х. Абель, письмо Холмбоу, январь 1826 г., перепечатанное во 2 томе его собрания статей.

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

Если ряд сходится, отдельные члены ряда должны стремиться к нулю. Таким образом, любой ряд, в котором отдельные члены не приближаются к нулю, расходится. Однако сходимость - более сильное условие: не все ряды, члены которых стремятся к нулю, сходятся. Контрпримером является гармонический ряд

Расходимость гармонического ряда было доказано средневековым математиком Николь Орем.

В специализированных математических контекстах значения могут быть объективно присвоены определенным рядам, последовательности частичных сумм которых расходятся, чтобы придать смысл расхождению ряда. А метод суммирования или же метод суммирования это частичная функция от набора серий к значениям. Например, Чезаро суммирование назначает Расходящийся ряд Гранди.

Значение 1/2. Суммирование Чезаро - это усреднение метод, поскольку он полагается на среднее арифметическое последовательности частичных сумм. Другие методы включают аналитические продолжения родственных серий. В физика существует множество методов суммирования; они обсуждаются более подробно в статье о регуляризация.

История

... но в целом верно сказать, что математики до Коши не спрашивали: `` Как нам определять 1 - 1 + 1 ...? ' но что является 1 - 1 + 1 ...? ', И что эта привычка ума приводила их к ненужным недоумениям и спорам, которые зачастую были действительно словесными.

Г. Х. Харди, Дивергентная серия, стр. 6

До XIX века расходящиеся ряды широко использовались Леонард Эйлер и другие, но часто приводили к запутанным и противоречивым результатам. Основная проблема заключалась в идее Эйлера о том, что любой расходящийся ряд должен иметь естественную сумму, без предварительного определения того, что имеется в виду под суммой расходящегося ряда. Огюстен-Луи Коши в конце концов дал строгое определение суммы (сходящегося) ряда, и в течение некоторого времени после этого расходящиеся ряды в основном исключались из математики. Они вновь появились в 1886 г. Анри Пуанкаре работа над асимптотическими рядами. В 1890 г. Эрнесто Сезаро понял, что можно дать строгое определение суммы некоторых расходящихся рядов, и определил Чезаро суммирование. (Это было не первое использование суммирования Чезаро, которое неявно использовалось Фердинанд Георг Фробениус в 1880 г .; Ключевым вкладом Чезаро было не открытие этого метода, а его идея о том, что нужно дать явное определение суммы расходящегося ряда.) В годы, прошедшие после статьи Чезаро, несколько других математиков дали другие определения суммы расходящегося ряда. , хотя они не всегда совместимы: разные определения могут давать разные ответы для суммы одного и того же расходящегося ряда; поэтому, говоря о сумме расходящегося ряда, необходимо указать, какой метод суммирования используется.

Теоремы о методах суммирования расходящихся рядов

Метод суммирования M является обычный если он соответствует фактическому лимиту на все сходящийся ряд. Такой результат называется Абелева теорема за M, из прототипа Теорема Абеля. Более интересными и в целом более тонкими являются частичные обратные результаты, называемые Тауберовы теоремы, от прототипа, проверенного Альфред Таубер. Здесь частичное обращение означает, что если M подводит итог серии Σ, и выполняется некоторое побочное условие, то Σ был конвергентным в первую очередь; без каких-либо побочных условий такой результат сказал бы, что M только суммированный сходящийся ряд (что делает его бесполезным в качестве метода суммирования расходящихся рядов).

Функция, дающая сумму сходящегося ряда, есть линейный, а это следует из Теорема Хана – Банаха что его можно распространить на метод суммирования, суммирующий любой ряд с ограниченными частичными суммами. Это называется Предел Банаха. На практике этот факт не очень полезен, так как таких расширений много, непоследовательный друг с другом, а также поскольку доказательство существования таких операторов требует вызова аксиома выбора или его эквиваленты, такие как Лемма Цорна. Следовательно, они неконструктивны.

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

Суммирование расходящихся рядов также связано с экстраполяция методы и преобразования последовательности как числовые методы. Примеры таких методов: Аппроксимации Паде, Преобразования последовательности Левина и отображения, зависящие от порядка, связанные с перенормировка техники для крупного заказа теория возмущений в квантовая механика.

Свойства методов суммирования

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

  1. Регулярность. Метод суммирования обычный если всякий раз, когда последовательность s сходится к Икс, А(s) = Икс. Эквивалентно, соответствующий метод суммирования рядов оценивает АΣ(а) = Икс.
  2. Линейность. А является линейный если это линейный функционал на последовательностях, где он определен, так что А(k р + s) = k А(р) + А(s) для последовательностей р, s и действительный или комплексный скаляр k. Поскольку условия ап+1 = sп+1sп из серии а являются линейными функционалами от последовательности s и наоборот, это эквивалентно АΣ являющийся линейным функционалом на членах ряда.
  3. Стабильность (также называемый транслятивность). Если s последовательность, начинающаяся с s0 и s′ - это последовательность, полученная путем исключения первого значения и вычитания его из остальных, так что sп = sп+1s0, тогда А(s) определена тогда и только тогда, когда А(s′) Определено, и А(s) = s0 + А(s′). Эквивалентно, когда ап = ап+1 для всех п, тогда АΣ(а) = а0 + АΣ(а′).[1][2] Другой способ сказать это: правило смены должно быть действительным для серий, суммируемых этим методом.

Третье условие менее важно, и некоторые важные методы, такие как Борелевское суммирование, не владейте им.[3]

Можно также дать более слабую альтернативу последнему условию.

  1. Конечная переиндексируемость. Если а и а′ - две серии такие, что существует биекция такой, что ая = аж(я) для всех я, а если есть такой, что ая = ая для всех я > N, тогда АΣ(а) = АΣ(а′). (Другими словами, а′ - та же серия, что и а, с переиндексированием только конечного числа членов.) Обратите внимание, что это более слабое условие, чем стабильность, потому что любой метод суммирования, показывающий стабильность также экспонаты конечная переиндексируемость, но обратное неверно.

Желаемое свойство для двух различных методов суммирования А и B поделиться последовательность: А и B находятся последовательный если для каждой последовательности s которому оба присваивают значение, А(s) = B(s). Если два метода согласованы, и один суммирует больше рядов, чем другой, то один суммирует больше рядов: сильнее.

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

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

Например, когда р ≠ 1, в геометрическая серия

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

Классические методы суммирования

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

Абсолютная конвергенция

Абсолютная сходимость определяет сумму последовательности (или набора) чисел как предел сети всех частичных сумм. аk1 + ... + аkп, если он существует. Это не зависит от порядка элементов последовательности, и классическая теорема утверждает, что последовательность абсолютно сходится тогда и только тогда, когда последовательность абсолютных значений сходится в стандартном смысле.

Сумма серии

Классическое определение Коши суммы ряда а0 + а1 + ... определяет сумму как предел последовательности частичных сумм а0 + ... + ап. Это определение сходимости последовательности по умолчанию.

Норлунд означает

Предполагать пп последовательность положительных слагаемых, начиная с п0. Предположим также, что

Если теперь мы преобразуем последовательность s, используя п дать взвешенные средства, установив

тогда предел тп в качестве п уходит в бесконечность, среднее значение называется Nørlund иметь в виду Nп(s).

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

Чезаро суммирование

Самым значительным из средств Норлунда являются суммы Чезаро. Здесь, если мы определим последовательность пk к

тогда сумма Чезаро Ck определяется Ck(s) = N(пk)(s). Суммы Чезаро равны Нёрлунду, если k ≥ 0, а значит, регулярны, линейны, стабильны и непротиворечивы. C0 обычное суммирование, а C1 обычный Чезаро суммирование. Суммы Чезаро обладают тем свойством, что если час > k, тогда Cчас сильнее чем Ck.

Абелев означает

Предполагать λ = {λ0, λ1, λ2,...} - это строго возрастающая последовательность, стремящаяся к бесконечности, и что λ0 ≥ 0. Предполагать

сходится для всех действительных чисел Икс > 0. Тогда Абелево среднее Аλ определяется как

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

Серия такого типа называется обобщенной Серия Дирихле; в приложениях к физике это известно как метод регуляризация теплового ядра.

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

Суммирование Абеля

Если λп = п, то получаем метод Суммирование Абеля. Здесь

куда z = ехр (-Икс). Тогда предел ж(Икс) в качестве Икс приближается к 0 через положительные реалы предел степенного ряда для ж(z) в качестве z приближается к 1 снизу через положительные действительные числа, и сумма Абеля А(s) определяется как

Суммирование Абеля интересно отчасти потому, что оно согласуется с, но более мощным, чем Чезаро суммирование: А(s) = Ck(s) всякий раз, когда последний определен. Таким образом, сумма Абеля является регулярной, линейной, стабильной и согласованной с суммированием Чезаро.

Суммирование Линделёфа

Если λп = п бревно(п), то (индексация с единицы) имеем

потом L(s), Сумма Линделёфа (Волков 2001 ), это предел ж(Икс) в качестве Икс переходит в положительный ноль. Сумма Линделёфа - мощный метод, когда он применяется к степенным рядам среди других приложений, суммируя степенные ряды в Звезда Mittag-Leffler.

Если грамм(z) аналитична в круге вокруг нуля и, следовательно, имеет Серия Маклорена грамм(z) с положительным радиусом сходимости, то L(грамм(z)) = грамм(z) в звезде Mittag-Leffler. Более того, сходимость к грамм(z) равномерно на компактных подмножествах звезды.

Аналитическое продолжение

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

Аналитическое продолжение степенного ряда

Если ΣапИксп сходится для небольшого комплекса Икс и может быть аналитически продолжена по некоторому пути от Икс = 0 в точку Икс = 1, то сумма ряда может быть определена как значение при Икс = 1. Это значение может зависеть от выбора пути.

Суммирование Эйлера

Суммирование Эйлера - это, по сути, явная форма аналитического продолжения. Если степенной ряд сходится для небольшого комплекса z и аналитически продолжается до открытого диска диаметром от −1/q + 1 до 1 и непрерывно в 1, то его значение в называется эйлеровым или (E,q) сумма ряда а0 + .... Эйлер использовал его до того, как аналитическое продолжение было определено в целом, и дал явные формулы для степенных рядов аналитического продолжения.

Операция суммирования Эйлера может повторяться несколько раз, и это по существу эквивалентно аналитическому продолжению степенного ряда до точкиz = 1.

Аналитическое продолжение ряда Дирихле.

Этот метод определяет сумму ряда как значение аналитического продолжения ряда Дирихле.

в s = 0, если он существует и уникален. Этот метод иногда путают с регуляризацией дзета-функции.

Если s = 0 - изолированная особенность, сумма определяется постоянным членом разложения в ряд Лорана.

Регуляризация дзета-функции

Если сериал

(для положительных значений ап) сходится для больших вещественных s и может быть аналитически продолжение вдоль реальной линии s = −1, то его значение при s = −1 называется дзета регуляризованный сумма ряда а1 + а2 + ... Дзета-функция регуляризация нелинейна. В приложениях цифры ая иногда являются собственными значениями самосопряженного оператора А с компактной резольвентой и ж(s) тогда является следом Аs. Например, если А имеет собственные значения 1, 2, 3, ... то ж(s) это Дзета-функция Римана, ζ(s), значение которой при s = −1 - это -1/12, присвоив значение расходящемуся ряду 1 + 2 + 3 + 4 + .... Другие значения s также может использоваться для присвоения значений расходящимся суммам ζ(0) = 1 + 1 + 1 + ... = −1/2, ζ(−2) = 1 + 4 + 9 + ... = 0 и вообще

куда Bk это Число Бернулли.[4]

Интегральная функция означает

Если J(Икс) = ΣппИксп является интегральной функцией, то J сумма ряда а0 + ... определяется как

если этот предел существует.

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

Борелевское суммирование

В частном случае, когда J(Икс) = еИкс это дает одну (слабую) форму Борелевское суммирование.

Метод Валирона

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

куда ЧАС - вторая производная от грамм и c(п) = еграмм(п), и а0 + ... + ачас следует интерпретировать как 0, когдачас < 0.

Моментные методы

Предположим, что это такая мера на реальной прямой, что все моменты

конечны. Если а0 + а1 + ... такой ряд, что

сходится для всех Икс в поддержку μ, то () сумма ряда определяется как значение интеграла

если он определен. (Обратите внимание, что если числа μп увеличиваются слишком быстро, тогда они не определяют однозначно меру μ.)

Борелевское суммирование

Например, если  = еИкс dx для положительного Икс и 0 для отрицательного Икс тогда μп = п!, и это дает одну версию Борелевское суммирование, где значение суммы определяется выражением

Есть обобщение этого в зависимости от переменной α, называемый (B ′,α) sum, где сумма ряда а0 + ... определяется как

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

Разные методы

Преобразования Хаусдорфа

Харди (1949, глава 11).

Суммирование Гёльдера

Метод Хаттона

В 1812 году Хаттон представил метод суммирования расходящихся рядов, начиная с последовательности частичных сумм и неоднократно применяя операцию замены последовательностиs0s1, ... по последовательности средних s0 + s1/2, s1 + s2/2, ..., а затем переходя к пределу (Харди 1949, п. 21).

Суммируемость Ингама

Сериал а1 + ... называется суммируемым по Ингему s если

Альберт Ингхэм показал, что если δ - любое положительное число, то (C, -δ) (Чезаро) суммируемость влечет суммируемость Ингама, а суммируемость Ингама влечет (C,δ) суммируемость Харди (1949, Приложение II).

Суммируемость Ламберта

Сериал а1 + ... называется Суммируемый Ламберт к s если

Если серия (C,k) (Чезаро) суммируемый для любых k тогда он суммируется по Ламберту до того же значения, и если ряд суммируем по Ламберту, то он суммируется по Абелю до того же значения Харди (1949, Приложение II).

Суммирование по Ле Руа

Сериал а0 + ... называется суммируемым по Ле Руа s если

Харди (1949, 4.11)

Суммирование Миттаг-Леффлера

Сериал а0 + ... называется суммируемым по Миттаг-Леффлеру (M) s если

Харди (1949, 4.11)

Рамануджан суммирование

Суммирование Рамануджана - это метод присвоения значения расходящимся рядам, используемый Рамануджаном и основанный на Формула суммирования Эйлера – Маклорена. Рамануджанская сумма ряда ж(0) + ж(1) + ... зависит не только от значений ж при целых числах, но также и от значений функции ж в нецелых точках, поэтому на самом деле это не метод суммирования в смысле данной статьи.

Суммируемость по Риману

Сериал а1 + ... называется (R,k) (или Римана) суммируемые s если

Харди (1949, 4.17) Серия а1 + ... называется R2 суммируемый s если

Рисс означает

Если λп образуют возрастающую последовательность действительных чисел и

то Рисс (R,λ,κ) сумма ряда а0 + ... определяется как

Суммируемость Валле-Пуссена

Сериал а1 + ... называется VP (или Vallée-Poussin), суммируемым s если

куда это гамма-функция.Харди (1949, 4.17).

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

Примечания

  1. ^ «Методы суммирования». Numericana Мишона.
  2. ^ «Транслятивность». Энциклопедия математики. Springer.
  3. ^ Мураев, Э. Б. (1978), "Борелевское суммирование п-множественные серии и связанные с ними целые функции », Академия Наук СССР, 19 (6): 1332–1340, 1438, МИСТЕР  0515185. Мураев отмечает, что суммирование по Борелю является трансляционным в одном из двух направлений: увеличение ряда нулем, помещенным в его начало, не меняет суммируемости или ценности ряда. Однако он заявляет, что «обратное неверно».
  4. ^ Тао, Теренс (10 апреля 2010 г.). «Формула Эйлера-Маклорена, числа Бернулли, дзета-функция и аналитическое продолжение действительных переменных».

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