Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Математика.-1

.pdf
Скачиваний:
5
Добавлен:
05.02.2023
Размер:
2 Mб
Скачать

1

Доказательство очевидно: они эквивалентны интегралам 1 x a dx , про

 

 

 

 

 

 

 

 

 

 

 

 

 

 

которые известно, что при a 1 есть сходимость. Итак,

 

1

,

1

,

2

3

 

 

 

 

 

 

 

 

 

 

n 1 n

n 1 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

сходятся, а вот

1

,

1

 

расходятся, здесь степень

 

 

3

 

 

 

 

 

 

 

n 1 n

2

n 1 n

n 1

 

n

 

 

 

 

 

 

 

меньше или равна 1.

Но не всегда удаѐтся подобрать такую функцию, чтобы применить интегральный признак Коши. Например, в ряде может содержаться n! Поэтому нужны и другие признаки.

Если исследовать внутреннюю структуру ряда, а именно отношение следующего слагаемого к предыдущему, то например, для геометрической прогресмсии это число всегда одно и то же q

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

Теорема 3. Признак Даламбера в конечной (не-предельной) форме. Если при всех n n0 (то есть начиная с некоторого номера)

выполняется условие

| an 1 |

q 1 , то ряд абсолютно сходится.

| an |

 

 

Доказательство. Во-первых, сходимость ряда равносильная сходимости его остатка, т.е. можем рассмотреть остаток ряда и заново перенумеровать члены ряда, начиная с n0 , поэтому можно доказывать

даже при том условии, что

| an 1 |

q 1

верно, даже начиная с

 

| an |

 

 

 

 

 

 

 

первого номера. Обратите внимание, что условие

| an 1 |

q 1

это не

| an |

 

 

 

 

 

 

111

то же самое что

| an 1 |

1 . В нашем случае все они меньше q ,

| an |

 

 

которое само меньше 1, т.е. отделено от 1 некоторым расстоянимем на числовой прямой, т.е. предел этих величин не может быть равен 1, от любой из них до 1 остаѐтся некоторое расстояние (1 q) !

 

| a2 |

q

| a2

| q | a1 | ,

 

 

 

 

 

 

| a1 |

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| a3 |

q | a

 

| q | a

 

|

| a | q2 | a | .

 

 

 

 

 

 

 

 

3

2

 

 

 

 

 

| a2 |

 

 

 

 

 

 

 

 

 

3

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Продолжая таким образом, можно модуль каждого члена ряда

 

оценить с помощью |

a1 |

и какой-то степени числа q .

 

 

Итак, | a

| | a

2

| | a

3

| ... | a

| q | a | q2

| a | ... =

 

 

 

 

 

 

1

 

 

 

 

 

1

1

1

 

 

 

| a | 1 q q 2 ... получилось, что ряд, состоящий из модулей,

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

меньше некоторой убывающей геометрической прогрессии.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| a1 | 1 q q 2 ... | a1 |

 

1

 

 

 

an

 

= | a1 | | a2 | | a3

| ...

 

.

 

 

 

 

 

 

 

 

 

 

q

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак, сумма меньше некоторого конечного числа, т.е. ряд an

n 1

сходится, а значит, исходный ряд сходится абсолютно.

Теорема 4. Признак Даламбера в предельной форме.

Если lim

| an 1

|

q 1 то ряд абсолютно сходится, если при этом

 

 

n

| a

n

|

 

 

 

 

 

q 1 то ряд расходится.

Доказательство. Следует из предыдущей теоремы таким образом. Если предел равен q и оно строго меньше 1, то для всякого 0 ,

112

начиная с некоторого номера, все отношения вида

| an 1

|

входят в

| an |

 

 

 

 

окрестность (q , q ) , а если заранее возьмѐм 1 q , то все эти элементы окажутся левее, чем q2 q , при этом q2 1.

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

1

Пример. Исследовать сходимость ряда n .

n 1 3

Поделим n+1 й член ряда на n-й. На практике лучше пользоваться предельным признаком, т.е. сразу перейти к пределу и получить q .

 

| a

n 1

|

 

1

 

1

 

 

3n

 

1

 

 

 

lim

 

 

lim

 

:

 

=

lim

 

=

 

 

1

. Ответ: ряд сходится.

 

 

 

 

 

 

 

 

n

| an |

 

n 3n 1

 

3n

n 3n 1

 

3

 

 

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

1

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

n 1 n!

 

 

| a

n 1

|

 

1

 

 

1

 

 

n!

 

 

 

1 2 ... n

 

lim

 

 

lim

 

 

:

 

 

=

lim

 

 

=

lim

 

 

=

n | an |

 

 

(n 1)!

 

 

 

 

n (n 1)!

 

n 1 2

... n (n 1)

 

 

n

 

n!

 

 

 

lim

 

1

 

0 . Итак, q 0

1, ряд сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание. Если было бы знакочередование, для признака Даламбера всѐ равно надо было бы рассмотреть по модулю, т.е. отбросить ( 1) n .

 

( 1)n

 

n!

n 1

 

тоже сходится абсолютно. Знакочередование - вовсе не

 

 

значит, что сходимость условная. Если исследовать здесь ряд даже без знакочередования, то он сходится.

113

Теорема 5. Радикальный признак Коши в конечной форме.

 

 

 

 

 

 

 

 

 

 

Если при всех n n

0

выполнено условие

n | a

n

| q 1, то ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| qn . Таким образом,

Доказательство. Если n | a

n

| q , то

| a

n

 

 

 

 

 

 

 

 

 

 

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

| a | | a

 

| | a

 

 

| ...

q q 2 q3 ...

 

q

. Эта сумма конечна, то

2

3

 

 

 

 

1

 

 

 

 

 

 

1

q

 

 

 

 

 

 

 

 

 

 

 

 

есть ряд абсолютно сходится.

 

 

Теорема 6. Радикальный признак Коши в предельной форме.

 

 

 

 

 

 

 

Если

lim n | a

n

| q 1

то ряд абсолютно сходится, если q 1

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

расходится.

Доказательство следует из предыдущей теоремы, аналогично тому, как Т.4 из Т.3.

 

 

 

 

 

 

 

 

 

 

 

1

n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример. Выяснить сходимость ряда 1

 

 

.

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

n

 

 

 

 

 

 

 

 

 

 

n2

 

 

 

 

 

 

n

 

 

 

 

 

 

1

n

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

Рассмотрим lim

n | an | lim 1

 

 

 

= lim 1

 

 

e 1

 

 

n

 

 

n

 

n

n

 

 

n

 

 

(использовали 2-й замеч. предел) ряд расходится.

Замечание. При q 1 признак Даламбера и радикальный признак

Коши не дают никакого ответа, в этом случае надо применять какиелибо другие признаки.

114

ЛЕКЦИЯ № 11. 25. 04. 2017

Далее следует серия признаков, основанных не на внутренней структуре ряда, а на сравнении с каким-то внешним, «эталонным» рядом.

Теорема 7. Признак сравнения в конечной форме.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Даны 2 ряда,

an

и

bn , причѐм,

начиная с какого-то номера n0

 

n 1

 

 

n 1

 

 

 

 

 

 

 

 

 

 

верно an bn . Тогда:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) Из сходимости bn следует сходимость an ,

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Из расходимости an

следует расходимость bn .

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

Пример. Выяснить сходимость

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

n 3 2

 

ln n

Заметим, что

1

 

 

1

при n 3 ,

так как ln n ln e 1.

 

 

 

2n

 

 

2n ln n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

В то же время ряд

, с помощью которого мы ограничили сверху,

n

 

 

 

n 3

2

 

 

 

 

 

 

 

 

 

 

 

это сходящаяся геометрическая прогрессия, поэтому тот исходный

ряд тоже сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 8. Признак сравнения в предельной форме.

 

 

 

 

 

 

 

 

 

 

 

an

 

 

Даны 2 ряда,

an

и

bn , причѐм lim

 

C , где C константа,

 

 

 

n 1

 

 

n 1

 

n b

n

 

 

 

 

 

 

 

 

 

C 0, , т.е. an , bn - бесконечно малые одного порядка, тогда ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an сходится тогда и только тогда,

когда bn сходится.

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

Пример. Выяснить, сходится ли ряд

 

 

.

n3 2

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

115

Пусть a

 

 

 

 

n 1

,

тогда возьмѐм b

n

 

 

 

 

 

 

 

 

n3 2

 

 

 

n

 

 

 

 

 

 

 

 

 

 

этих величин равен 1.

 

 

 

n 1

 

 

1

 

 

(n 1)n

2

 

lim

 

 

 

 

:

 

=

lim

 

 

= lim

 

 

 

 

 

 

 

n n3 2

 

 

n2

 

n n3 2

 

n

n

 

1

. Предел отношения

n3

n2

 

 

n3 n 2 1. n3 2

 

 

 

 

 

 

 

 

 

1

Поэтому для исследования сходимости, можно рассматривать

2

 

 

 

 

 

 

 

 

n 1 n

 

 

 

 

n 1

 

вместо

 

 

 

, они эквивалентны в смысле сходимости. В то же

n3

2

 

 

n 1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

время

 

 

уже легко сравнить с несобственным интегралом

 

 

2

 

 

 

 

n 1 n

 

 

 

 

1

 

 

 

 

 

 

 

 

 

dx , который в свою очередь сходится. Ответ: ряд сходится

 

2

 

1

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(абсолютно, т.к. слагаемые все положительны).

Теорема 9. Признак Лейбница. Если выполнены 2 условия: 1) Ряд знакочередующийся, 2) an монотонно убывает к нулю.

 

 

 

Тогда ряд an сходится.

 

 

n 1

 

 

Идея доказательства. У нас есть ряд вида a1 a2

a3 a4

...

Сначала объединим так: (a1 a2 ) (a3 a4 ) ... в каждой скобке положительное число, так как вычитаемое меньше по модулю, из-за

монотонности.

Получается,

что

подпоследовательность

в

последовательности частичных сумм возрастает.

 

 

А теперь перегруппируем так:

 

a1 (a2 a3 ) (a4

a5 ) ...

из

элемента a1 вычитаются какие-то положительные числа, то есть частичный суммы меньше, чем a1 . Итак, последовательность

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

116

 

1

 

1

 

 

1

 

1

 

( 1)

n 1

Пример. 1

 

 

 

 

... =

 

условно сходится.

2

3

4

5

n

 

 

 

 

 

n 1

 

 

§2. Функциональные ряды.

Ряд вида fn (x) называется функциональным рядом.

n 1

Для функций комплексного переменного fn (z) .

n 1

Если фиксировать ту или иную точку из области определения, будет получать различные числовые ряды. Фактически, здесь имеется бесконечное множество числовых рядов, так как бесконечное множество точек в области определения.

Например, рассмотрим ряд x x2 x3 ... мы можем зафиксировать различные точки, и будем получать различные числовые ряды:

x 0

 

0 0 0 ... сходится, сумма равна 0.

x 1

1 1 1 ... расходится, сумма .

x

1

 

1

 

1

 

1

... сходится, это геометрическая прогрессия,

 

 

 

 

 

2

 

2

4

8

 

сумма равна 1.

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

Определение. Множество D называется областью сходимости, если

для каждой точки z0 D соответствующий числовой ряд f n (z0 )

n 1

сходится.

Если ряды из комплексных функций, то D это область в плоскости, например круг, а если действительные функции, то D какой-либо интервал или объединение интервалов на действительной прямой.

Метод нахождения области сходимости. применять те же самые признаки (Даламбера, Коши) но только для «произвольного» x .

117

То есть, в пределе так до конца и остаѐтся переменная. а затем решить неравентво.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

Пример. Найти область сходимости ряда

x

.

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

2

 

 

 

x

 

n 1

 

 

x

 

n

 

 

 

x

 

n 1

2

n

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

:

 

 

 

 

=

lim

 

 

 

 

 

 

=

 

 

 

 

q(x) < 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

2n 1

 

 

2n

 

n

2

n 1

 

x

 

n

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если раньше, в теме «числовые ряды» мы просто получали в пределе какое-то число q и могли сказать, что оно больше либо меньше 1, то

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

x

 

1

 

 

x

 

2

x ( 2,2) это интервал, где есть абсолютная

 

 

 

 

2

 

 

 

 

 

 

 

 

 

сходимость.

Там, где q(x) 1, то есть x ( , 2) (2, ) ряд расходится. При q(x) 1 признак Даламбера не даѐт ответа, надо проводить

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

 

 

n

 

 

 

Подставим x 2 . Получим ряд

2

1 он расходится.

 

n

n 1

2

n 1

 

 

 

( 2)

n

 

Подставим x 2 . Получим ряд

 

 

( 1)n он тоже

 

 

 

n 1

2n

 

 

n 1

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

уменьшаются к 0. Итак, граничные точки не добавятся к области сходимости, и ответ остаѐтся таким: x ( 2,2) .

Пример. Найти область сходимости ряда

 

 

 

x

 

n 1

 

 

x

 

n

 

 

 

 

 

x

 

n 1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

:

 

 

 

 

= lim

 

 

 

 

 

 

=

 

x

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n n

 

1

 

 

n

 

n

 

x

 

n

(n 1)

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

x

 

.

 

 

 

 

 

 

 

n 1 n

n

=

 

x

 

.

 

 

 

 

 

 

n 1

 

 

 

 

 

 

118

Теперь решим неравенство x 1. Это означает x ( 1,1) - вот

область абсолютной сходимости. Исследуем граничные точки.

 

 

 

 

 

 

 

 

При x 1: ряд

1

, он расходится (гармонический ряд, изучали

 

 

n 1 n

 

 

 

 

 

 

 

 

 

 

 

( 1)n

 

 

x 1: ряд

 

n

 

ранее). При

n 1

 

, знакочередующийся, сходится по

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

признаку Лейбница, но условно, так как

1

это и есть ряд из его

 

 

 

 

 

 

 

n 1 n

 

модулей а он расходится. итак, ответ: область сходимости x [ 1,1) .

 

 

 

 

 

 

 

(x 1)

n

 

 

 

 

 

 

 

Пример. Найти область сходимости

 

 

.

 

 

 

 

 

 

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

Решение. Извлечѐм корень n порядка из модуля. Получим

 

 

x 1

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

x 1

 

 

1 , т.е.

 

 

 

 

Решим неравенство

 

 

 

 

x 1

 

2 ,

что равносильно

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 x 1 2 , то есть

 

1 x 3 .

Решением

неравенства будет

множество ( 1,3) . Подставляя граничные точки, получаем расходимость:

 

 

2

n

 

2

n

 

При x 3:

 

 

 

 

1

(3 1)n

2n

 

n 1

n 1

n 1

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

 

 

2

n

 

2

n

 

При x 1:

 

 

 

 

( 1)n по той же причине ряд

( 1 1)n

( 2)n

 

n 1

n 1

n 1

расходится.

Ответ. область сходимости ( 1,3) .

119

§3. Степенные ряды.

 

 

Общий вид степенного ряда: an (z z0 )n , где an числовые

n

0

коэффициенты. В этом ряде только положительные степени одного и того же выражения (z z0 ) и константа (что получается при нулевой

степени). Возможно, что часть коэффициентов равна 0, то есть некоторые степени пропущены.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 1 (Абеля). 1) Если ряд an zn

 

сходится в точке z1 , то он

 

 

 

 

 

 

 

 

n 0

 

 

 

 

 

 

 

 

сходится в любой точке z , для которой

 

z

 

 

 

z1

 

, причѐм абсолютно.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Если ряд an zn

 

расходится в точке z1 то он расходится в любой

n 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

точке, для которой

 

z

 

 

 

z1

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Сходимость в точке z1

 

ряда an zn означает, что

n 0

an z1n С . Если этот ряд сходится, то согласно необходимому

n 0

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

совокупности, некоторой константой M , т.е.

a

z n

M .

 

 

n 1

 

 

 

 

 

Теперь рассмотрим ряд an zn в произвольной точке z , которая

n 0

 

 

 

ближе к началу координат на комплексной плоскости.

120