Материал: Кратные и криволинейные интегралы

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

 

 

 

 

 

 

 

 

 

46

 

 

 

 

 

 

 

 

n

 

Достаточность.

Если интеграл

сходится,

то

Sn a1 f (x)dx a1 f (x)dx,

поэтому последовательность Sn

 

 

 

 

 

1

1

ограничена сверху. Так

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

 

 

 

 

 

 

 

 

 

 

убывает, то по теореме Вейерштрасса limn Sn

S . Поэтому ряд an сходится.

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

Необходимость. Если ряд

an сходится,

то

limn Sn S ,

а по необходимому

 

 

 

n 1

 

 

 

 

 

признаку

сходимости

ряда

an

0

при

n .

Поэтому

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

n

 

 

 

 

 

 

 

 

 

f (x)dx (неубывающая, так как

f (x) 0) ограничена сверху. Следовательно, по теореме

1

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

Вейерштрасса limn f (x)dx f (x)dx, т.е. несобственный интеграл сходится.

 

 

1

1

 

 

 

 

 

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

Поэтому говорят, что несобственный интеграл и ряд сходятся или расходятся «одновременно», т.е. если один из них сходится, то и другой сходится, если один расходится, то и другой расходится. Это понятие часто употребляют при сравнении рядов.

Пример. Применим интегральный признак к гармоническому ряду.

 

b

1

 

 

 

 

 

 

1

1

dx limb 1

dx limb lnb ln1

-

интеграл

расходится,

поэтому

и

x

x

гармонический ряд расходится.

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример.

Рассмотрим «ряды Дирихле»

. Название

взято в

кавычки,

так

p

 

 

 

 

 

т 1 n

 

 

 

 

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

dx

1 xp limb b1 p 1 p 1 . Ясно, что интеграл сходится при p>1 и расходится при

p<1. Случай p=1 рассмотрен выше (расходящийся гармонический ряд). Отсюда следует вывод

 

 

1

 

сходится при p 1

 

 

 

 

 

 

 

 

.

 

p

 

 

 

т 1 n

расходится при p 1

 

 

 

 

 

 

 

1

 

 

 

Интересно, что

ряд

 

сходится при q 1и расходится при q 1, интегралы

 

q

 

 

 

 

 

 

 

n 1

nln

n

 

1

 

 

1

 

 

 

 

 

 

,

расходятся (проверьте по интегральному признаку).

 

 

nlnnlnlnn

n 2

nlnn n 3

 

 

 

 

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

 

 

47

Признаки сравнения рядов.

 

Первый признак сравнения рядов.

 

 

 

 

 

Пусть выполнено неравенство an bn

n. Тогда из сходимости ряда

bn следует

 

 

n 1

 

 

 

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

n 1

n 1

n 1

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

некоторого n». Поэтому эту фразу часто можно встретить в теоремах о рядах. Иногда ее просто опускают, но ее всегда надо иметь в виду.

 

 

 

Доказательство. 1) Пусть ряд bn сходится. Тогда

выполнено неравенство

 

n 1

Sa n ограничена сверху

Sa n Sb n Sb

n. Поэтому последовательность частичных сумм

числом Sb . Но эта последовательность не убывает. Следовательно, по теореме Вейерштрасса

limn Sa n

Sa Sb .

 

Последнее неравенство справедливо в силу теоремы о предельном

переходе в неравенстве.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Пусть ряд an расходится. Если

ряд bn сходится, то по п.1 доказательства и ряд

 

n 1

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

ряд bn расходится.

 

 

n 1

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

1

 

 

1

 

Пример. Ряд

расходится,

так

как

 

, а

ряд

(гармонический)

 

 

 

 

 

n

расходится.

n 2

 

lnn

 

 

 

ln n n

 

n 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Второй признак сравнения.

 

 

 

 

 

 

 

 

 

 

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

limn

 

C 0. Тогда

ряды

an

и

bn

сходятся

или расходятся

bn

 

 

 

 

 

 

 

 

n 1

 

 

n 1

 

 

 

«одновременно», т.е. если один из них сходится, то и другой сходится, если один расходится, то и другой расходится.

Доказательство. Раскроем определение предела. 0 N , n N

an

C

.

bn

 

 

 

 

 

 

 

 

С

an

C ,

b (C ) a

n

b (C ).

 

 

 

 

 

 

bn

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если ряд an сходится, то по

1

признаку сравнения ряд bn (C ) сходится

 

 

n 1

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

(C 0, так как мало) , ряд bn сходится (свойство сходящихся рядов).

n 1

48

 

 

Если ряд bn сходится, то ряд bn (C ) сходится (свойство сходящихся рядов),

n 1

n 1

тогда по 1 признаку сравнения ряд an сходится.

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

ряд

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

Если

ряд

bn сходится,

то

по

предыдущему

ряд

 

 

n 1

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an сходится (противоречие).

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

ряд

bn расходится.

Если

ряд

an сходится,

то

по

предыдущему

ряд

 

 

n 1

 

 

n 1

 

 

 

 

bn сходится (противоречие).

n 1

Пример.

 

 

 

 

a

 

 

n2

4n 2

 

 

 

 

Ряд с

n

 

 

 

 

расходится

по второму признаку

сравнения

(ряд

n3

 

 

 

 

 

 

 

 

 

n 5

 

 

 

 

сравнения – гармонический ряд).

 

 

 

 

 

 

sin

1

 

n 1

 

 

1

 

1

 

 

 

 

n2

 

 

 

 

n , arctgn -

 

 

Ряд

 

 

 

 

 

 

 

 

сходится. sin

~

ограничена.

Ряд

narctgn

2

2

 

n 2

 

 

n

n

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сравнения

 

- сходящийся ряд Дирихле.

 

 

 

 

2

 

 

 

 

 

n 2

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Признак Даламбера.

Конечная форма признака Даламбера.

 

 

 

 

 

 

 

an 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть n N

 

 

q 1,

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

 

 

 

 

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

an 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть n N

 

 

q 1,

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

 

 

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

Доказательство. Пусть n N

 

an 1

q 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an

 

 

 

 

 

 

Тогда a

n 1

qa

n

q

2a

n 1

q3a

n 2

... qna .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

S

n

a a

2

... a

n

 

a

a q ... a qn 1

a (1 q q2

... qn 1)

a1

,

и

ряд

 

 

 

1

 

 

 

 

 

 

1

1

 

 

1

 

1

1 q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an сходится.

Можно

 

было, не оценивая

частичную сумму ряда, заключить,

что

ряд

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

49

Пусть n N

an 1

q 1, Тогда a

2

qa

a , a

3

qa

2

q2a

a ...a

n

qn 1a

a .

 

 

an

 

1

1

 

1

1

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому an не стремится к нулю при n , необходимый признак сходимости ряда не

выполнен, ряд an расходится.

n 1

Предельная форма признака Даламбера.

 

 

 

 

 

 

an 1

 

 

 

 

 

 

 

 

 

 

 

 

an 1

 

 

 

 

 

 

 

Пусть limn

 

 

q 1,

 

тогда ряд an сходится. Пусть limn

 

q 1, тогда ряд

 

 

 

an

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an 1

 

 

 

 

 

 

 

 

 

 

 

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

Если

 

limn

q 1, то признак не позволяет

сделать вывод о

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

сходимости или расходимости ряда.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an 1

 

 

 

 

 

 

an 1

 

 

Доказательство. Пусть lim

n

 

 

q 1. Тогда 0 N ,что n N

q

.

 

 

 

 

 

 

 

 

 

 

 

 

 

an

 

 

 

 

 

 

 

 

an

 

 

 

При малом

 

 

 

0 q

an 1

 

q 1. По конечной форме признака Даламбера ряд

 

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an 1

 

 

 

an 1

 

 

 

 

 

Пусть lim

n

 

 

q 1. Тогда

0 N ,что n N

 

q

. При

малом

 

 

an

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 q

an 1

,

то есть n N

 

an 1

an . Поэтому an не стремится к нулю при

n ,

 

 

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

n 1

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

Правда, если общий член ряда содержит факториал, то его можно заменить по формуле

n n

Стирлинга n!~ 2 n при n и применять второй признак сравнения.

e

n!

Пример. n 1 nn .

 

 

a

n 1

 

 

(n 1)!nn

 

nn

 

 

 

1

 

 

1

1. Ряд сходится по

lim

 

 

lim

 

 

lim

 

 

lim

 

 

 

 

 

 

 

n an

n

 

n (n 1)n

n

1

n

 

 

 

(n 1)n 1 n!

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

признаку Даламбера.

enn!

Пример. n 1 nn

. Рассмотрим

a

n 1

 

en 1 n 1!nn

e n 1 nn

 

 

 

 

 

 

 

 

an

(n 1)n 1

 

n 1 n 1 n

 

 

enn!

 

 

 

 

 

50

 

e

 

1, так

 

1

n

 

1

 

 

 

 

 

n

 

1 n

 

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

 

, монотонно возрастая, стремится к e

при n , то

 

n

n N

an 1

1

. Следовательно, n N

an 1 an . Поэтому an не стремится к нулю

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

n 1

Заметим, что

lim

n

an 1

 

e

 

 

 

1. Поэтому признак Даламбера в

 

 

1 n

 

 

 

 

 

an

 

 

 

 

 

 

 

 

 

 

limn 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

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

Радикальный признак Коши.

Конечная форма радикального признака Коши.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть n N

n

 

 

 

 

 

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

 

 

 

 

 

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть n N

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

n

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство.

 

 

Пусть n N n

an

 

q 1. Тогда

an

qn , q 1,

ряд an

сходится

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть n N

 

 

n

an

q 1.

Тогда

 

an qn 1,

ряд

an расходится,

так как

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

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

Предельная форма радикального признака Коши.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть limn

 

 

 

q 1,

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

 

 

 

 

 

 

 

 

n

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть limn

n

an

 

q 1,

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

Доказательство. Пусть limn

 

 

q 1, тогда 0

 

 

 

 

.

 

n

an

N, n N

n

an

 

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

an

q 1

при малом

.

Ряд an сходится по конечной форме радикального

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

признака Коши.

Источник: https://studfile.net/preview/16441682/