Здавалка
Главная | Обратная связь

Функциональные последовательности и ряды

Числовые ряды.

1º. Основные понятия.

Пусть {z k} - некоторая последовательность чисел, вообще говоря, комп- лексных . Рассмотрим последовательность {S n}, где S 1 = z 1 , а при любом натуральном n > 1 S n = z 1 + z 2 + … + z n . Последовательность {S n} мо -жет оказаться либо сходящейся, либо расходящейся.

Пусть последовательность {S n} сходится, а S есть ее предел: lim S n = S . Будем говорить в этом случае, что числовой ряд

z 1 + z 2 + … + z k + … ( 1 )

сходится, а число S назовем суммой этого ряда. Члены последовательности {z k} назовем членами ряда (1) ; S n назовем его n – ой частичной суммой .

Замечание. Хотя число S и называют суммой, на самом деле оно не явля- ется суммой в привычном понимании этого термина, согласно которому сумма - это результат сложения некоторого конечного количества слагаемых. Суммой является. например, всякий член последовательности {S n}, начиная с S 2 . Но сложить бесконечное множество членов ряда невозможно, и число S представляет собой результат другого математического действия – преде- льного перехода, примененного к последовательности сумм {S n}.

Для обозначения ряда (1) мы обычно будем пользоваться символом , а также упрощенным символом . В этих символах z k называют общим членом ряда. Если ряд сходится, а S является его суммой, т.е. если lim Sn = S, будем записывать: = S.

В случае, когда последовательность {S n} расходится, будем говорить, что ряд (1) расходится; суммы такой ряд не имеет. Однако, если S n → + ∞ или S n → - ∞ , принято говорить. что сумма расходящегося ряда (1) равна + ∞ или - ∞ соответственно.

Пример 1. Пусть q – некоторое комплексное число; положим при вском натуральном k z k = q и рассмотрим ряд = 1 + q + q +…+ q + ... ( его члены образуют геометрическую прогрессию). Имеем: S n = 1 + q + q + … + q = . Если |q| < 1, то → 0 и, значит, S n ; если же |q | > 1, то q → ∞ и , следовательно, S n . Итак, при |q| < 1 рассматриваемый

 

ряд сходится, его сумма равна ; при |q | > 1 ряд расходится.

Пример 2. Рассмотрим ряд . Здесь z k = , Sn = = = ln2 + ( ln3 – ln2) + (ln4 – ln3) + … + ( ln n – ln(n-1)) + + ( ln(n+1) – ln n ) = ln (n+1). Очевидно, S n→ +∞ . Значит, ряд расходится, его сумма равна + ∞.

Пример 3. Пусть z k =(-1) , S n = 1 – 1 + … …+ (-1) . При четных n эта сумма равна нулю, а при нечетных – единице ; значит, последовательность {S n} частичных сумм ряда не имеет предела, ни конечного, ни бесконечного. Ряд расходится.

 

2˚. Общие свойства числовых рядов

1. ( Критерий сходимости Коши) Для того, чтобы числовой ряд сходился, необходимо и достаточно, чтобы для всякого положительного ε можно было указать натуральное n ε такое,что при всех натуральных n > n ε и любых натуральных р справедливо неравенство .

► Сходимость числового ряда означает сходимость последовательности {S n} его частичных сумм. Напомним формулировку критерия Коши сходимости последовательности : для того, чтобы последовательность {S n} сходилась, необходимо и достаточно, чтобы

.

Не ограничивая общности можно считать, что m > n , т.е. что m = n + p , где р - некоторое натуральное число. Если n > n ε, то подавно n + p > n ε , поэтому написанную выше строчку можно заменить следующей, ей равно- сильной :

.

Заметим : ; Таким образом, из критерия Коши для последовательности {S n} вытекает: ряд сходится тогда и только тогда, когда

,

что и требовалось доказать. ◄

Приведем пример применения критерия Коши.

Пример 4, Ряд называют гармоническим рядом. Покажем, что это расходящийся ряд. Пусть n - некоторое натуральное число; а p = n +2 . Рассмотрим В этой сумме n +2 слагаемых, причем - наименьшее из них ; поэтому Здесь n - любое натуральное число. Зададим ε, удовлетворяющее неравенствам 0 < ε < ½ . Тогда при всяком натуральном n и p = n +2 будет выполнено , а это означает, что для такого ε нельзя указать n ε , которое удовлетвори- ло бы требованию критерия сходимости Коши . Значит, ряд расходится. ◄

2. ( Необходимое условие сходимости ) Если ряд .сходится, то его общий член стремится к нулю : z k → 0 .

► Пусть S n = . Обозначим сумму ряда через S : S n → S. При всяком n ≥2 , очевидно, z n = S n - S n -1 . Перейдем в этом равенстве к пределу ; так как последовательности имеют один и тот же предел S , получим : z n → 0. ◄

Замечание. Обратное утверждение (если z k → 0 , то сходится ) неверно. Действительно, для гармонического ряда имеем z k → 0 , однако ряд расходится. Можно указать еще и на ряд , рассмотренный выше (см. пример 2 ): его общий член,очевидно, стремится к нулю, но ряд расходится.

3. ( Достаточное условие расходимости ) Если общий член ряда не стремится к нулю, то ряд расходится.

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

Пример 5. Выше ( см. пример 1) мы показали, что ряд сходится, если |q| < 1 и расходится, если |q| > 1. Рассмотрим случай |q| = 1. Имеем : при всяком натуральном k, поэтому последовательность заведомо не стремится к нулю; значит. при любом комплексном q, |q| = 1, рассматриваемый ряд расходится.

4. ( Умножение числа на ряд) Пусть заданы ряд и некоторое отличное от нуля число λ , вообще говоря , комплексное. Произведением числа λ на ряд называют ряд , где wk = λzk . Справаедливы утверждения: 1) ряды и либо оба сходятся, либо оба расходятся ; 2) если = S, то = λ S.

► Пусть n - некоторое натуральное число. Обозначим : . Очевидно, .Отсюда и из теоремы об арифметических действиях со сходящимися последовательностями ( [3], п. 3.5) вытекает : 1) последовательности частичных сумм либо обе сходятся, либо обе расходятся ; 2 ) если

5. ( Сложение рядав ) Ряд называют суммой рядов и . Справедливы утверждения: 1) пусть ряды сходятся, причем ; тогда сходится и , причем = ; 2) если один из рядов сходится, а другой расходится, то ряд расходится.

► Обозначим : Очевидно, . Из теоремы об арифметических действиях со сходящимися последовательностями следует : 1) если последовательности частичных сумм сходятся, то сходится и их сумма - последовательность , причем Sn → →S’+S”; 2) если одна из последовательностей сходится , а другая расходится, то не может быть сходящейся последовательностью, значит, ряд расходится. ◄

Замечание. Если оба ряда расходятся, то их сумма, т.е. ряд может оказаться как сходящимся, так и расходящимся рядом. На- пример, положим Тогда ряды расходятся ( см. пример 4) , а ряд сходится, так как каждый его член равен нулю.

6. Пусть задан ряд , а m - некоторое натуральное число . Ряд , где wl = = zm+l , т.е. ряд zm+1+zm+2+ …+ zm+l + … = , называют остатком ряда . Справедливо утверждение: ряд и его остаток либо оба сходятся, либо оба расходятся.

► Очевидно, при любом натуральном p т.е. где А = = . Ввиду такой связи между последовательностями частичных сумм очевидно, что если сходится одна из них, то сходится и другая; если одна из них расходится, то другая не может быть сходящейся. ◄

7. Пусть и - последовательности вещественных чисел . Обозначим : zk = xk + i yk , Sn= . Если ряды , сходятся, то их суммы обозначаем через S , и соответственно. Справедливы утверждения: 1) ряд сходится тогда и только тогда, когда сходятся оба ряда ; 2) если сходится, то S = + i .

► Заметим : Sn = S + i S . Утверждения 1) и 2) вытекают непосредственно из свойств последовательностей комплексных чисел. ◄

 

3º. Признаки сходимости рядов с неотрицательными членами.

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

В этом пункте мы рассматриваем числовые ряды члены которых неотрицательны. Обозначим через Sn частичную сумму такого ряда.: S n = = .Так как a k ≥ 0, то S n ≤ S n +1, т.е. {S n } - монотонная неубывающая последовательность. Если эта последовательность ограничена сверху, она сходится, в противном случае она стремится к + ∞ ([3], п.3.6 ). Таким образом, справедлива следующая теорема.

Теорема 1.( Критерий сходимости ряда с неотрицательными членами) Для того, чтобы ряд a k ≥ 0, сходился, необходимо и достаточно, что- бы последовательность его частичных сумм {S n } была ограничена сверху .

Пусть f - некоторая функция, определенная на промежутке [ 1, +∞). Обозначим : a k= f(k) , где k , и рассмотрим числовой ряд . Будем называть f производящей функцией для числового ряда . Например, f (x) = является производящей функцией для гармонического ряда , так как при всех натуральных k f (k) = . Если производящая функция неотрицательна на [1, +∞), то - ряд с неотрицатеьными членами.

Теорема 2.(Интегральный признак Коши) Пусть производящая функция f числового ряда непрерывна, неотрицательна и монотонно не возрастает на промежутке [1;+∞). Для того, чтобы ряд был сходящимся, необходимо и достаточно, чтобы сходился несобственный интеграл .

► Напомним: по определению = , где F(x) = ; интеграл сходится, если предел конечен, и расходится в противном случае, т.е. если этот предел равен ∞ или не существует ( [4], п. 2.1). По условию теоремы f (x) неотрицательна на [1, +∞) , поэтому F(x) моно -тонно не убывает [ 1,∞) ; следовательно, конечен тогда и только тог- да, когда F(x) ограничена на [ 1, +∞) сверху. Отметим еще, что если интег- рал сходится, то F(x) ≤ при всех х 1.

Пусть k – натуральное число. Так как f (x) - монотонная невозрастающая функция, то т.е. при Интегрируя последние неравенства, получим: , т.е. . Отсюда: , т.е.

N Snan ≥ Sna1 (2)

Необходимость. Пусть сходится, а S – его сумма : lim Sn = S, где . Так как , то {Sn} – неубывающая последовательность, и при всяком натуральном n Sn ≤ Sn+1 ≤ S. Из (2) имеем: N ≤ Sn –- an , и так как Sn ≤ S , то при всех натуральных n справедливо F(n) ≤ S. Отсюда вытекает: функция F ограничена на [1;+∞) cверху числом S; следователь- но (см. выше), интеграл сходится.

Достаточность. Пусть интеграл сходится. Так как F(x) ≤ , то из (2) имеем: при всех натуральных n : ≥ F(n) = ≥ Sna1 . Отсюда : NSn + а1 , т.е. последовательность {S n } ограниче- на сверху; значит ( см. теорему 1) , ряд сходится. ◄

Пример 6. Пусть λ – некоторое вещественное число.Рассмотрим ряд . Этот ряд называют обобщенным гармоническим рядом ( в частном случае λ =1 получим гармонический ряд, см. пример 4). Если λ ≤ 0 , то не стремится к нулю; значит (см. достаточное условие расходимости, 2˚), при λ≤0 обобщенный гармонический ряд расходится. Пусть λ>0. Функция f (x) = = , очевидно, является производящей функцией для ряда ; она положительна и убывает на [1;+∞) . Таким образом, f (x) удовлетворяет тре- бованиям интегрального признака Коши.

Имеем: при λ≠ 1 , при λ = 1 . Из этих равенств нетрудно вывести, что расходится при 0 < λ ≤ 1 и сходится при λ > 1. По интегральному признаку Коши обобщенный гармонический ряд ведет себя так же.

Итак, ряд расходится при λ ≤ 1 и сходится при λ > 1.

Следующие теоремы дают достаточные условия сходимости или расходимости ряда с неотрицательными членами.

Теорема 3.( Первый признак сравнения ) Пусть {ak} и{bk} - две последовательности неотрицательных чисел, причем . Тогда :

1) если сходится, то сходится и ряд ;

2) если ряд расходится, то расходится и ряд .

► Обозначим : 1) Очевидно, Пусть сходится, а - его сумма : . Так как последовательность частичных сумм монотонно не убывает, то . Значит, при всех натуральных n , т.е. последовательность { } ограничена свер- ху числом , и поэтому она сходится. 2) Пусть расходится; тогда Так как , то и → +∞, т.е. ряд расходится.◄

Пример 7. Рассмотрим ряд . При всяком натуральном k k! ≥ Следовательно, при всех натуральных k Ряд сходится (пример 1, q = = ½), значит,сходится и рассматриваемый ряд.

 

Теорема 3.( Второй признак сравнения ) Пусть {ak} – последовательность неотрицательных чисел, а {bk} – последовательность положительных чисел. Пусть, далее, где q - либо неотрицательное число, либо символ +∞. Тогда :

1) если 0 < q < + ∞, то ряды и ведут себя одинаково – либо

оба сходятся, либо оба расходятся ;

2) если q = 0, а ряд сходится, то сходится и ряд ;

3) если q = + ∞, а ряд расходится, то расходится и ряд .

► 1) Достаточно показать, что из сходимости вытекает сходи –

мость , а из расходимости следует расходимость . Зададим

ε, 0 < ε < q . Найдется натуральное kε , такое, что при всех k > kε справедливо неравенство , т.е.

(3)

Пусть сходится . Тогда сходится и его остаток . Из неравенств

( см.(3) ) и первого признака сравнения вытекает сходимость ряда ( заметим, что q – ε > 0 ). Этот ряд представляет собой остаток ряда , который, следовательно, является сходящимся. Значит (см. свойство 4, п. 2º ), сходится.

Пусть расходится. Чтобы вывести отсюда расходимость ряда ,

следует воспользоваться неравенствами , справедливыми при k > > kε ( см. (3) ). Рассуждения аналогичны изложенным выше.

2) Пусть сходится. Зададим некоторое ε > 0. Так как най- дется kε , такое, что при всех k > kε справедливо неравенство , т.е. Так как сходится, то сходится и его остаток . По свойству 4, п. 2º, сходится ряд . Отсюда и из первого признака сравнения вытекает сходимость ряда , который представляет собой остаток ряда . Значит, сходится.

3) Пусть расходится. Так как найдется натуральное k1 та

кое, что при всех k > k1 справедливо По первому признаку сравнения из вытекает расходимость ряда , который представляет собой остаток ряда . Значит, расходится. ◄

Замечание. Доказанная теорема производит сравнение двух рядов по “ско- рости” убывания их общих членов. Если общие члены рядов и являются бесконечно малыми одинакового порядка ( , q ≠ 0, +∞ ), то ряды ведут себя одинаково; в частности, ряды ведут себя одинаково, когда их общие члены эквивалентны ( случай q = 1 ). Если общий член ряда является бесконечно малой более высокого порядка по сравнению с об- щим членом сходящегося ряда (ak =o( bk) ), то также сходится; если общий член ak убывает “медленнее“ общего члена расходящегося ряда , то ряд также расходится.

Чтобы эффективно применять признаки сравнения, нужно располагать набором рядов, относительно которых уже известно, сходятся они или расходятся, и чем больше различных рядов в этом наборе, тем больше шансов най- ти среди них такой, сравнение с которым позволит выяснить, сходится ли интересующий нас ряд. Мы уже можем включить в этот набор различные ря- ды вида , где a и q положительные числа – такой ряд сходится, если 0 < q < 1, и расходится, если q ≥ 1 (cм.примеры 1 и 5). В этот набор можем включить также обобщенный гармонический ряд при всевозможных вещественных λ (пример 6). Вообще, каждый ряд, сходимость которого исследована, пополняет указанный набор рядов.

На второй признак сравнения опирается метод выделения главной части в иследовании рядов на сходимость. Пусть f (x) есть производящая функция ряда : ak = f (k) . Пусть, далее, С , где С > 0 и λ > 0 , - главная часть f (x) при х → +∞ , т.е. f (x) эквивалентна С при х → +∞. Из второго признака сравнения следует, что ряд ведет себя так же, как ряд : он расходится, если λ ≤ 1, и сходится, если λ > 1.

Пример 8. Исследуем на сходимость ряд . Запишем его производящую функцию : . Выделим ее главную часть при х→ +∞ :

~

= ~ , х→ +∞.

Итак, С = 1 , λ = 1, поэтому рассматриваемый ряд ведет себя так же, как гармонический ряд , т.е. расходится.

Теорема 4 .(Признак Даламбера) Пусть {ak} – последовательность положительных чисел, и пусть , где q – либо неотрицательное число, либо + ∞. Тогда : 1) если 0≤ q < 1, то ряд сходится; 2) если q > 1 или q =+ ∞ , то ряд расходится.

► 1) Пусть р – число, удовлетворяющее неравенствам q < p < 1. По теореме о стабилизации знака неравенства ( [3], п. 3.3 ) найдется натуральное kр такое, что при всех k > kр справедливо , т.е. аk+1 < p ak. Отсюда при k = kp+1 получим при k = kp+2 получим , при k= kp+3 будет и т.д. Вообще, при всяком натуральном m справедливо неравенство . Рассмотрим два ряда : и . Для их общих членов справедливо неравенство , причем ряд с бóльшим общим членом сходится, ибо его члены образуют геометрическую прогрессию, знаменатель р которой меньше единицы. По первому признаку сравнения сходится ряд , который представляет собой остаток ряда ; значит, этот последний ряд сходится.

2) И в случае q > 1, и в случае q = + ∞ найдется натуральное k0 такое, что при всех k > k0 справедливо , т.е. начиная с номера k0 члены пос- ледовательности { ak } возрастают, поэтому эта последовотельность не стремится к нулю. Значит, ряд расходится. ◄

Замечание. В случае q = 1 признак Даламбера не дает ответа на вопрос о сходимости ряда: если , ряд может оказаться сходящимся , но может окзаться и расходящимся.

Пример 9. Применим признак Даламбера к ряду : ak = ,

.

Значит, ряд сходится.

Теорема 5.( Радикальный признак Коши ) Пусть {ak} – последовательность неотрицательных чисел, и пусть , где q – либо неотрицательное число, либо +∞. Тогда : 1) если 0 ≤ q < 1, то ряд сходится , 2) если q > 1 или q = + ∞, то ряд расходится.

► 1) Пусть р – число, удовлетворяющее неравенствам q < р < 1. Най- дется натуральное kр такое, что при всех k > kр справедливо , т.е. ak< < . По первому признаку сравнения отсюда следует, что ряд (остаток ряда ) сходится, так как его члены меньше соответствующих членов бесконечно убывающей геометрической прогрессии. Поскольку сходится остаток, то сходится и сам ряд.

2) И в случае q > 1, и в случае q =+ ∞ найдется натуральное k0 такое, что при всех k > k0 справедливо ; поэтому при указанных k Значит, последовательность {ak} не может стремиться к нулю; ряд расходится.◄

Замечание. При q = 1 радикальный признак Коши не не дает ответа на вопрос о сходимости ряда : в этом случае ряд может оказаться сходящимся, но может и расходиться.

Пример 10. Применим радикальный признак Коши к ряду : =

Следовательно, ряд расходится.

 

 

4°. Признаки сходимости произвольных рядов

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

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

Теорема 7.( Признак Лейбница ) Пусть последовательность {ak} строго убывает и стремится к нулю. Тогда ряд сходится; а его сумма S удовлетворяет неравенствам 0 < S ≤ a1.

► Пусть n – некоторое четное число: n = 2l , l N.В сумме S2l сгруппируем слагаемые :

S2l = = (а1 –a2) + ( a3 – a4) + … +(a2l-3 –a2l-2 ) + (a2l-1 –a2l )

Так как {ak} строго убывает,то разность в каждой из скобок положительна; значит, S2l > 0 и S2(l+1) > S2l , т.е. последовательность {S2l } - это строго возрастающая последовательность положительных чисел. Сгруппируем теперь слагаемые в сумме S2l иначе :

S2l = a1 ( a2 –a3 ) – ( a4 –a5 ) - … - ( a2l-2 –a 2l-1 ) – a2l .

Отсюда ясно, что S2l < a1. Таким образом, строго возрастающая последова- тельность { S2l} ограничена сверху числом a1; значит, она сходится. Обозна- чим ее предел через S. Из свойств { S2l } следует: 0 < S ≤ a1

Покажем, что S есть сумма ряда , т.е., что S = lim Sn , где Sn = = . Пусть n – некоторое нечетное число: n = 2l –1 , l N. Заметим : S2l-1 = = S2l - a2l → S, так как S2l → S, а a2l → 0. Таким образом, обе подпосле- довательности {S2l} частичных сумм с четными номерами и {S2l-1} частичных сумм с нечетными номерами сходятся к S; значит, вся последовательность {Sn} имеет тот же предел

Итак, ряд сходится, а его сумма S удовлетворяет неравенствам 0< S ≤ a1. ◄

Пример 10. Рассмотрим ряд , где λ – некоторое вещественное число. Это знакочередующийся ряд; здесь ak = . Если λ ≤0 , последователь- ность {ak}, очевидно, не стремится к нулю, и поэтому при таких λ ряд расхо- дится. При λ > 0 последовательность {ak} строго убывает и стремится к ну- лю; значит, по признаку Лейбница ряд сходится.

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

Теорема 8.Если сходится ряд , то сходится и ряд .

► Зададим некоторое ε > 0. Так как сходится, в силу критерия Коши (свойство 1, 2˚ ) существует натуральное nε такое, что при всех n > nε и любых натуральных р справедливо . Ho при этих n и p , т.е., для ряда выполнены требования критерия Коши:

N N N ( n > nε ) ,

поэтому ряд сходится . ◄

Пример 11. Рассмотрим ряд , где φ и λ – вещественные числа. Так как │exp(ikφ)│= 1, то . Отсюда ясно, что при λ ≤ 0 общий член рассматриваемого ряда не стремится к нулю, поэтому ряд расходится, а при λ > 1 ряд сходится ( см. пример 6), значит, сходится и рассматриваемый ряд. Его поведение при будет выяснено ниже с помощью признака Дирихле.

Лемма Абеля.Пусть и - наборы комплексных чисел Обозначим: Vq= ; V = max { |V1| , |V2| , … , |Vp| } . Тогда :

1)

2)2) если u1 ≥ u2 ≥ … ≥ up > 0 , то .

► Заметим : V1 = v1, а при j = 2,3, …, p vj = Vj – Vj-1. Значит,

Раскрыв здесь скобки и приведя затем подобные, получим равенство 1).

Теорема 9.( Признак Дирихле ) Пусть - монотонная невозрастающая последовательность положительных чисел, а - последовательность комплексных чисел. Обозначим: Вр = . Если 1) и 2) существует М > 0 такое, что М при всех р N, то ряд сходится.

► Покажем, что ряд удовлетворяет требованиям критерия Коши N N N( n > nε )

Зададим ε > 0. По условию 1) , значит, найдется натуральное n ε такое, что из k > n ε следует . Пусть n и р – натуральные числа, причем n > n ε. Имеем: , где u j = an+j , v j = b n+j . Заметим: u1 ≥ u2 ≥ … ≥ up > 0 . Обозначим: Vq = , V = max { |V1| , |V2| , … , |Vp| }. Так как Vq = = Bn+q – Bq, то при любом натуральном q имеем : | Vq | ≤ ≤ | Bn+q| + |Bq| ≤ 2M . Значит, V ≤ 2M . В силу утверждения 2) леммы Абеля , т.е. | | ≤ 2М an+1. Отсюда и из неравенствa следует : | | < ε . Таким образом, для произвольно заданного ε>0 существует натуральное n ε , удовлетворяющее требованию критерия Коши ; поэтому ряд сходится. ◄

Пример 12. Вернемся к рассмотрению ряда . Пусть 0 < λ ≤ 1. Ввиду 2π – периодичности exp(ikφ), достаточно рассматривать . Если φ = 0, ряд превращается в , который при 0 < λ ≤ 1 расходится ( пример 6). Пусть φ . При всяком k Nположим где q . Заметим: при 0 < λ ≤ 1 последовательность убывает и стремится к нулю; далее, при φ q отлично от единицы, поэтому Bp = , и, значит, |Bp| , где М от р не зависит. Таким образом, последовательности и удовлетворяют требованиям признака Дирихле, значит, ряд , т.е. при 0 < λ ≤ 1 и φ сходится.

Теорема 10.( Признак Абеля) Пусть - невозрастающая последова- тельность положительных чисел, а - последовательность комплексных чисел. Если сходится ряд , то сходится и ряд .

► Обозначим: . Заметим: {ck} – невозрастающая бесконечно малая последовательность положительных чисел; {Bp} – последовательность частичных сумм сходящегося ряда, значит, это сходя- щаяся и потому ограниченная последовательность. По признаку Дирихле ряд , т.е. сходится. Но , а это означает, что ряд является суммой двух сходящихся рядов и . Следовательно ( свойство 5, 2˚ ), ряд сходится. ◄

5 ˚. Абсолютно сходящиеся ряды

Если сходится ряд , то ряд также сходится ( теорема 8 ). Если же расходится, то может оказаться как сходящимся, так и расхо- дящимся рядом. Ряд называют абсолютно сходящимся рядом, если сходится . Если сходится, а расходится, то говорят, что сходится неабсолютно или условно.

Пример 13. При λ ≤ 0 ряд расходится, а при λ > 0 он сходится ( пример 10) . Заметим: , а расходится при 0 < λ ≤ 1 и сходится при λ > 1. Значит, при 0 < λ ≤ 1 ряд сходится условно, а при λ > 1 его сходимость абсолютная.

Пример 14. Пусть φ . Ряд сходится при λ > 0 ( при- меры 11 и 12). Так как , то при 0 < λ ≤ 1 сходимость этого ряда условная, а при λ > 1 - абсолютная.

Абсолютно сходящиеся ряды представляют особый интерес, ибо они обладают свойствами, сближающими их с конечными суммами. Ниже эти свойства будут рассмотрены подробно; а пока отметим, что их наличие упрощает обращение с абсолютно сходящимися рядами; поэтому, имея дело со сходящимся рядом , важно выяснить, является ли он абсолютно схо- дящимся, для чего нужно исследовать сходимость ряда . Так как члены его неотрицательны, применимы теоремы, изложенные в 3˚. Кроме того, если z k- мнимые числа, часто оказывается полезной следующая теорема.

Теорема 11 .Пусть и - последовательности вещественных чисел . Обозначим : zk = xk + i yk. Для того чтобы ряд абсолютно сходился, необходимо и достаточно, чтобы абсолютно сходились оба ряда и .

Необходимость. Так как |x k| ≤ |z k|, то в силу первого признака сравнения из сходимости вытекает сходимость . Доказательство схо- димости аналогично.

Достаточность. Пусть и сходятся; тогда сходится и . Из неравенства |z k| ≤ |x k| + |yk| и первого признака сравне- ния вытекает сходимость . ◄

Пример 15. Рассмотрим ряды и




©2015 arhivinfo.ru Все права принадлежат авторам размещенных материалов.