Главная Математика, химия, физика
ВВЕДЕНИЕ В ТЕОРИЮ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО
|
|
||||||
Сложение и вычитание рядов.Пусть нам даны два ряда с комплексными членами:
Складывая (или вычитая) соответствующие члены этих рядов, мы образуем новый ряд: ![]() называемый суммой (или разностью) двух данных рядов. Если данные ряды сходятся и имеют, соответственно, суммы 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). Обозначая через п произвольное натуральное число, выберем т столь большим, чтобы все индексы у1э v2, ... были больше п. В этом случае, очевидно, имеем: s — (st -+- s2 -f- • • • + sm) I ^
ГДе ? — сколь угодно малое положительное число. Итак, мы видим, что, начиная с достаточно большого т, выполняется неравенство:
что доказывает сходимость ряда (29) к сумме s. 1) Теорема о том, что модуль суммы не больше суммы модулей слагаемых, легко распространяется на случай абсолютно сходящихся рядов. Действительно, полагая имеем:
и с тем большим основанием
при любом п, откуда |« К |»1 | +1 v21 +...+1 va | +1 vn+11 +... |
<< | СОДЕРЖАНИЕ | ПОСМОТРЕТЬ ОРИГИНАЛ | >> |
---|