Полная версия

Главная arrow Математика, химия, физика arrow ВВЕДЕНИЕ В ТЕОРИЮ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО

  • Увеличить шрифт
  • Уменьшить шрифт


<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>

Сложение и вычитание рядов.

Пусть нам даны два ряда с комплексными членами:

Складывая (или вычитая) соответствующие члены этих рядов, мы образуем новый ряд:

называемый суммой (или разностью) двух данных рядов. Если данные ряды сходятся и имеют, соответственно, суммы s и s', то ряд (27) сходится и имеет своей суммой S = s -h s'. В самом деле, обозначая через sn и s' суммы первых п членов рядов (22) и (26),

имеем:

откуда следует

Последнее равенство убеждает нас в справедливости вышесказанного утверждения, так как

является суммой первых п членов ряда (27).

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

Теорема о двойных рядах.

Из данного бесконечного ряда

возможно образовать — и притом бесконечным множеством различных способов — бесконечное множество рядов таких, что каждый член ип первоначального ряда входит в один и только в один из новых рядов. Например, таким разложением ряда (22) на бесконечное множество рядов будет:

В общем случае такое разложение ряда (22) на бесконечное множество рядов обозначим в виде таблицы:

Докажем следующее предложение: если рнд (22) абсолютно сходится и имеет своей, суммой s, то каждый из рядов (28) также абсолютно сходится если суммы рядов (28) обозначим соответственно через $lt s2, s3, ..., то ряд

абсолютно сходится и имеет своей суммой s.

, Замечание. Свойство, выражаемое этой теоремой, верно для бесконечного ряда лишь при условии его абсолютной сходимости. Для условно сходящегося ряда, вообще говоря, нельзя утверждать, что его часть сходится. Например, ряд 1 — ~-|-у — . сходшся; однако, ряды

, . 1 , 1 , , 1 1 1

1+3 + 5+---> 1 - 2 — "4 — ь-Рас-™Дятся.

Докажем, что ряд иг | + |иа ! + ••• есть сходящийся. Действительно, его частичные суммы (суммы любого числа первых членов) остаются меньше конечного числа

Следовательно, первый из рядов (28) абсолютно сходится; аналогично докажем, что каждый из рядов (28) абсолютно сходится. Обнаружим теперь, что ряд (29) абсолютно сходится. Складывая неравенства:

получим:

так как последнее неравенство верно при любом ту то отсюда сле- дуег абсолютная сходимость ряда (29).

Остаётся показать, что сумма абсолютно сходящегося ряда (29) совпадает с суммой 5 первоначального ряда (22). Для этого достаточно показать, что разность 5 — (st -f- s2 sm) стремится к ну

лю при неограниченном возрастании т. Оценим модуль этой разности. Так как ^ есть сумма данного ряда (22), a sl9 s2, ..., sm —суммы первых т рядов таблицы (28), то мы можем утверждать, что

где индексы vlf v2, ... суть номера всех тех членов данного ряда, которые не входят ни в один из т первых рядов таблицы (28). Обозначая через п произвольное натуральное число, выберем т столь большим, чтобы все индексы у v2, ... были больше п.

В этом случае, очевидно, имеем: s(st -+- s2 -f- • • • + sm) I ^ tf/i+2l+-•-I так как Данный ряд абсолютно сходится, то, считая п достаточно большим, мы вправе утверждать:

ГДе ? — сколь угодно малое положительное число. Итак, мы видим, что, начиная с достаточно большого т, выполняется неравенство:

что доказывает сходимость ряда (29) к сумме s.

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

имеем:

и с тем большим основанием

при любом п, откуда |« К |»1 | +1 v21 +...+1 va | +1 vn+11 +...

 
<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>