ilin2 (947409), страница 10
Текст из файла (страница 10)
Другой повторный ряд О О ) ~ ~ ам) (1. 128) получится, если сначала просуммировать отдельно каждый столбец матрицы (1.125), а затем взять сумму элементов полученной при этом последовательности. О п р е д е л е н и е 1. Повторный ряд (1.127) называется сходя и( ил! ся, если сходится каждый из рядов (1.126) и если сходится ряд Я Ам з=! в котором А» обозначает сумму й-го ряда (1.126). Определение 2. Повторньзй ряд (1.128) называется сходяи1 им ся, если сходится каждый из рядов (Первый индекс у чисел ам обозначает номер рассматриваемой последовательности, а второй — номер ее элемента.) По другому можно сказать, что мы рассматриваем матрицу (1.125), содержащую бесконечное число строк и бесконечное число столбцов, Производя формальное суммирование элементов этой матрицы, можно составить из нее различные ряды.
Если сначала просуммировать каждую строку матрицы (1.125)отдельно, то получится бесконечная последовательность рядов вида 61 $8. Элементарная теория двойных и новторных рядов л ~„аа! (1=1, 2, ...) а 1 (1.129) и если сходится ряд ЕА), (=! в котором нт! обозначает сумл(у 1-го ряда (1.129). С матрицей (1.125) кроме повторных рядов (1.127) и (1.123) связывают еще так называемый д в о й и о й р я д л аы.
а,! 1 (1.130) т л л так называемых прямоугольных частичных сумм т л 5 „=~) ац. а=()=! (1.132) При этом указанный предел (1.131) называют с ум мой двойного ряда (1.130). Из этого определения сразу следует, что если двойной ряд (1.130) получен посредством перемножения членов двух сходящихся «одинарных» рядов Ю ~)„ба и 2 с(, А=! (=! (1,133) т. е. если члены двойного ряда (1.130) равны аы=Ь„с(, то этот двойной ряд сходится, а его сумма равна произведению сумм рядов (1.133). Далее заметим, что из (1.132) следует, что для любых тп)2, и' 2 атл=5тл 5т(л-!) — [5(т-!)л 5(т-!)(л-!)[ ° Последнее равенство означает Утверждение. Необходимым условием сходимости двойного ряда (1.130) является стремление к нулю его общего члена, т.
е. существование равного нулю предела Определение 3. Двойной ряд (1.130) называется сходящимся, если при независимом стремлении двух индексов и и и к бесконечности существует конечный предел 1(п) 5 „ (1.131) б2 Гл. !. Числовые ряды 1!ша „ 1!гп5 „= ) А„. пФ. ьг (1.134) Из соотношения (1.134) ясно, что сумма повторного ряда (1.127), которая определяется как предел при т — оо правой части (1.134), есть не что иное, как повторный предел 1!гп (!пп5,). Е < Л е Остается доказать существование указанного повторного предела в предположении существуюгцего предела (1.131) и сушествования для любого т предела (1.134), а также доказать, что указанный повторный предел равен пределу (1.131). Из существования равного 5 предела (1.131) вытекает, что для любого г>0 найдутся номера т, и пр такие, что при ггг)то, п>по справедливо неравенство !5 — 5(<е, Используя факт существования для любого номера т предела (1.134), из последнего неравенства получаем, что для любого т)то справедливо неравенство ! !пи 5„,„— 5)( е, а это и означает, что повторный предел 1пп(1гш5 „) существ я л-и вует и равен 5.
Теорема доказана. Как и для обычного ряда с неотрицательными членами справедливо следующее утверждение. Теорема 1.22. Если все элементы матрицы (1.125) неотрицательны, то для сходимости составленного из этой матрицы двойного ряда (1.130) необходимо и достаточно, чтобы его частичные суммьг (1.132) были ограничены. при независимом стремлении гп и и к бесконечности.
Докажем следующее утверждение о связи между сходимостью двойного и повторного рядов. Теорема 1.21. Если сходится двойной ряд (1.130) и если сходятся все рядьг по строкам (1.126), то сходится и повторный ряд (1.127), причем к этой же сумме, к которой сходится двойной ряд (1.130). Д о к а з а т е л ь с т в о.
Переходя при фиксированном т к пределу при и- оо в равенстве (1,132) и учитывая сходимость ряда (1.126) к сумме Аы получим $8. Элементарная теория двойных и повторных рядов Доказательство. Необходимость очевидна. Для доказательства достаточности заметим, что из ограниченности множества частичных сумм (5 „) вытекает существование точной верхней грани этого множества, которую мы обозначим через 5т 5 = зир 5»мо !<а<с !<»< По определению точной верхней грани для любого е)0 найдется частичная сумма 5„,„, такая, что 5 — н ~ 5~«», < 5.
(1.135) Для всех номеров пт и и, удовлетворяющих условиям пт)пто, п)пе, в силу неотрицательности элементов справедливо неравенство 5 „ ) 5 Из этого неравенства н из (1.135) вытекает, что 5 — е(5, 5 для всех тп и и прн т)т„п)по. Это и означает существование равного 5 предела (1.131), т. е. сходимость двойного ряда (1.130) . Определение 4. Двойной ряд (1.130) называется аб сол ю т н о с х о д я и4 и м с я, если сходится двойной ряд (1.130') составленный из модулей элементов матрицы (1.125).
Теор ем а 1.23. Если сходится двойной ряд из модулей (1.130'), то сходится и двойной ряд (1.130). Доказательство. Положим рм —— 1ам! + нм Ч«! = 2 Тогда 2 ам=рм — дм. (1.136) Здесь рм и ды неотрицательны и оба не превосходят (а«!~, Кроме того, в силу теоремы 1,22 из сходнмости двойного ряда (1.130') вытекает ограниченность его частичных сумм, поэтому и частичные суммы каждого из двойных рядов ~,р«!и Уд«! «,!=! «,1=1 ограничены. Но тогда в силу теоремы 1.22 эти ряды сходятся. Обозначим их суммы соответственно через Р н Я. В силу (!.136) двойной ряд (1.!30) сходится к Р— Я. Гл. 1. Числовые ряды Рассмотрим теперь обычный ряд 5' а„ г=! (1.137) (1.127') Тогда при любых зп и и т в 2 !а„~!чь Б.
и ш ! (1.138) Если 5,*= /а,/+ )аз~+...+!а,~ — пРоизвольнаЯ сумма ряда О 1а,1, частичная (1.137') с=! членами которого являются занумерованные в каком угодно порядке элементы матрицы (1.125). Теорем а 1.24. Рассмотрим четыре ряда: два повторных ряда (1.127) и (1.128), двойной ряд (1.130) и ряд вида (1.137).
Если хотя бы один из указанных четырех рядов сходится при замене его членов их абсолютными величинами, то все четыре указанных ряда сходятся и имеют одну и ту же сумму. Доказательство. Сначала докажем, что если один из указанных четырех рядов сходится при замене его членов их модулями, то и остальные три ряда сходятся при замене членов нх модулями. Так как для повторных рядов (1.127) и (1.128) рассуждения совершенно аналогичны (нужно только поменять ролями первый и второй индексы у членов), то в дальнейшем мы будем рассматривать только повторный ряд (1.127). Достаточно доказать три утверждения: 1) сходимость повторного ряда (1.127), у которого все члены заменены их модулями, влечет абсолютную сходимость ряда (1.137); 11) абсолютная сходимость ряда (1.137) влечет абсолютную сходимость двойного ряда (1.130); 111) абсолютная сходимость ряда (1.130) влечет сходимость повторного ряда (1.127), у которого все члены заменены их модулями.
Для доказательства утверждения 1 обозначим через Вв сумму повторного ряда (1.127), у которого все члены заменены их модулями, т. е, ряда 65 $8. Элементарная теория двойных и повторных рядов получающегося прн замене членов ряда (1.137) их модулями, то заведомо можно найти столь большие номера т и и, что все члены ряда (1.137), входящие в его частичную сумму с номером г, будут содержаться в первых пт строках и первых л столбцах матрицы (1.125).
Но тогда в силу (1.138) будет справедливо неравенство 5 е< 5а Это неравенство означает, что последовательность частичных сумы ряда с неотрицательными членами (1.137') ограничена. Следовательно, этот ряд сходится (в силу теоремы 1.2). Для доказательства утверждения 11 предположим, что ряд (!.137') сходится. Тогда в силу теоремы 1.2 последовательность его частичных сумм (5,") ограничена. Фиксируем произвольную частичную сумму 5 лв двойного ряда из модулей (1.130'). Заведомо найдется номер г настолько большой, что г-я частичная сумма ряда (1.137) будет содержать все члены, входящие в частичную сумму 5 „ряда (1.130).
Но тогда частичная сумма 5,,' ряда (1.130') не превосходит частичной суммы 5,* ряда (1.137'). Поэтому множество всех частичных сумм двойного ряда (1.130') ограничено. Таким образом, по теореме 1.22 этот ряд сходится. Остается доказать утверждение П!. Пусть сходится двойной ряд из модулей (1.130'). Для доказательства сходимостн повторного ряда из модулей (1.127') в силу теоремы 1.21 достаточно доказать сходимость каждого из рядов г )аа1 (, й =- 1, 2, (! .
139) Для этого в силу теоремы 1.2 достаточно доказать, что каждый из рядов (1.139) имеет ограниченную последовательность частичных сумм, но это последнее очевидно, ибо при любом й и любом номере и сумма и )', )ам( 1 1 ограничена суммой двойного ряда из модулей (1.130'). Теперь нам остается доказать, что суммы всех трех рядов (1.127), (1.130) и (1.137) совпадают з11. Обозначим через 5 сумму двойного ряда (1.130). Очевидно, что и сумма ряда (1.137) равна 5, так как в силу абсолютной сходимости этого ряда его сумма не меняется при изменении порядка следования "1 Аналогичные рассуждения позволяют заключить, что и сумма повторного ряда (!328) совпадает с суммаин указюшых трех рядов.
3 зак. 26 66 Гл. П Числовые рвлы его членов и этот порядок можно изменить так, что частичные суммы после изменения порядка будут содержать в качестве подмножества частичные суммы 3 „двойного ряда (1.130). Чтобы убедиться в том, что и сумма повторного ряда (1.127) также равна 5, достаточно заметить, что из сходимости рядов (1.139) вытекает сходимость рядов (1.126), и сослаться на теорему 1.21. Теорема 1.24 полностью доказана. Глава 2 ФУНКЦИОНАЛЬНЫЕ ПОСЛЕДОВАТЕЛЬНОСТИ И РЯДЫ Для представления различных функций в математическом ана.лизе широко используются ряды и последовательности, членами которых являются не числа, а функции, определенные на некото.ром фиксированном множестве. Такие ряды н последовательности, называемые ф у н к ц и о:пал ьн ы и и, всесторонне изучаются в настоящей главе.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
