Знакопеременные ряды. Разграничение на абсолютную и условную сходимости рядов

Страницы работы

Фрагмент текста работы

                          

Определение1.   

Ряд   a1 + a2 +...+ an +... = ∑an        

n=1

знакопеременным, если среди его членов положительные, так и отрицательные числа.

(1)

называется есть как действительные

Сходимость и сумма ряда (1) определяются как и ранее.  

Рассмотрим ряд, составленный из абсолютных величин

a1

+

a2

+...+

an

+... =

членов ряда:     ∑| an |               (2)

n=1

Определение 2.

Если сходится ряд (2), то ряд (1) абсолютно сходящимся.  сходится, а (2) – расходится, то ряд (1)  условно сходящимся

называется           

Если ряд (1)

называется           

Замечание.

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

знаков их признак

Теорема 1 (Коши)(достаточный признак )

.   Если

абсолютных  сходится и

знакопеременный ряд, составленный из величин членов данного ряда, сходится, то данный ряд.  

Или короче:

 Если знакопеременный ряд сходится  он сходится.

абсолютно, то

an

n=1

и 

bn

n=1

Док-во. Пусть  an =| an | +an ≥ 0   и   bn =| an | −an ≥ 0   Ряды     —  знакоположительны    и так

как an < 2anbn < 2an(!), то по признаку сравнения они

an bn  и по свойству суммы сходятся. Но  an =

2  ∞

сходящихся рядов получаем, что ряд ∑an  сходиться

n=1 cosα cos2α  cosnα

Пример. Исследовать              +           +...   +...

3  3        3

                                                                                           1            2                n

Решение. Данный ряд является знакопеременным.

Составим ряд из абсолютных величин данного ряда:

                                                 cosα     cos2α        cosnα

                                                                     +                  ...++…   .

                                                         3                   3                        3

                                                      1             2                 n


Члены этого ряда не превосходят соответствующих

                                                   1      1             1

членов ряда        +     +...+            +..., который сходится, как

                                                 13      23               n3

обобщенный гармонический ряд  ,  где  p >1.

p

n=1n

Значит, по теореме Коши, исходный ряд сходится. 

Контрпример

(достаточное условие Коши не необходимым!)  Исследовать ряд

1      1     1                 n+1 1

−        +  −...+ (−1)     +...

1     2      3                       n

Данный ряд сходится (см. ниже признак однако ряд из абсолютных величин (это —  ряд !) является расходящимся

является

Решение. Лейбница), гармонический

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

Некоторые свойства абсолютно сходящихся рядов:

1) Любая перестановка членов абсолютно сходящегося ряда приводит к  абсолютно сходящемуся ряду с той же суммой; перестановкой же  членов условно сходящегося ряда можно получить любую наперед заданную сумму

(теорема Римана).

Пример.   Рассмотрим условно сходящийся ряд

1− 1 + 1 − 1 + 1 − 1 + 1 − 1...+(−1)n+1 1 +...  (А)

                                    2      3    4    5    6    7    8                    n

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

1−  −......

Сложим каждый положительный член с одним отрицательным:             ...+...

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

                                                                                               ∞                ∞

2) Рассмотрим два ряда ∑an и ∑bn . Произведением

                                                                                              n=1              n=1

рядов называется ряд из всевозможных попарных

произведений, взятых в  некотором порядке ∑apk bqk .

k=1

Если ряд из произведений сходится, то его сумма не

                                                                                                                                                                ∞              ∞

зависит от порядка слагаемых. Если ряды ∑an и ∑bn

                                                                                                                                                              n=1           n=1

сходятся абсолютно, то их произведение также сходится абсолютно к сумме, равной произведению сумм указанных рядов S = S1 S2

Знакочередующиеся ряды. Признак Лейбница

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

Определение 3.

Если числовой ряд имеет вид a3 −...(−1)n−1+… , an > 0                    (3)

a3 +...+ (−1)nan +...,  an > 0 ,             (3’)              знакочередующимся.

         a1 a2 +

или

         − a1 + a2 − то он называется

Укажем простой достаточный признак сходимости знакочередующегося ряда.

Теорема                (признак Лейбница).    Если для  знакочередующегося ряда 

a1 a2 + a3 −...(−1)n−1+… , an > 0 выполняются условия: 1) a1 >a2 > ... >an > ...;  2) lim an = 0, 

n→∞

то ряд сходится и его сумма  не превосходит первого члена ряда 0 < S < a1, а остаток ряда rn  не превышает по абсолютной величине первого отбрасываемого члена:    rn <an+1.

(Ряды, удовлетворяющие условиям теоремы, иногда называют рядами Лейбница)

Док-во. Запишем частичную сумму S2m четного числа членов ряда в виде 

(В)

S2m = (a1 − a2 )+ (a3 − a4 )+...+(a2m−1 − a2m)    

Так как    (a1 a2 ) > 0,....,(a2m−1 a2m) > 0, то S2m > 0 для любого m.  Кроме того, эта частичная сумма монотонно возрастает с ростом m. С другой стороны частичную сумму (В)    можно переписать в виде        S2m = −a1 −(a2 a3) −(a4 a5)−...− a2m)

Очевидно, сумма     S2m < a1 и  убывает с ростом m.

Объединяя два неравенства, получим 0 < S2m < a1

Итак, имеем последовательность, которая монотонно возрастает и ограничена сверху⇒она сходится  limS2m = S.

Так как S2m+1 = S2m + a2m+1, то для частичных сумм с нечетным числом членов ряда имеем

lim S2m+1 = lim S2m + lim a2m+1   S .

m→∞                      m→∞               m→∞

Замечание.

   Для ряда вида 

3 +...+ (−1)nan +...,     an > 0 ,               ряда имеет вид            a1 < S < 0 .  видеть, если данный ряд умножить на (-1) ).

иногда эту оценку записывают в общем виде

a1 + a2 a оценка суммы

(Это легко Поэтому как  | S |< a1

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

Оценим теперь остаток ряда, который запишем в виде

rn = (−1)n(an+1 −an+2 + an+3 +......)

Это опять знакочередующийся ряд. Значит для него верны доказанные выше оценки. 

Значит | rn|< an+1.    Терема доказана.

Пример

Исследовать ряд           1

Решение. Данный ряд – знакочередующийся. Члены его

1  1

убывают по абсолютной величине : 1>    > ... >                                                              > ....   

n

1

и предел общего члена lim    = 0. 

n→∞ n

Следовательно, этот ряд сходится и его сумма S ≤1.

Однако ряд, составленный из абсолютных величин

1+  +... (гармонический ряд)

является расходящимся, т.е. исходный ряд является условно (неабсолютно) сходящимся.

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

Понятие функционального ряда и его области сходимости.

Определение 4 

              Ряд вида 

f                                                                   ),

n=1

         (4)

где fn(x), n =1,2,...,n, функции, определенные на множестве X , называется функциональным рядом

Сумма Sn(x) = f1(x) + f2(x) +...+ fn(x)n частичной суммой   ряда, а ряд 

rn(x) = fn+1(x) + fn+2(x) +...

называется остатком ряда (4).

называется

При        каждом конкретном значении      x0 X функциональный ряд (4) превращается в обычный числовой ряд

f1(x0 ) + f2 (x0 ) + fn (x0 ) + ... = ∑ fn (x0 ),

n=1

который может оказаться как сходящимся, так и расходящимся.

Определение 5

. Совокупность D  всех значений xX , функциональный ряд (4) сходится

Похожие материалы

Информация о работе

Тип:
Конспекты лекций
Размер файла:
380 Kb
Скачали:
0