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

4797

.pdf
Скачиваний:
1
Добавлен:
21.11.2023
Размер:
509.39 Кб
Скачать

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n + 1

 

Согласно

второму

признаку

сравнения

получаем, что ряд

 

 

 

4n3 -1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для исследования рядов с положительными слагаемыми,

общий

член

которых

содержит либо

показательное выражение

 

вида

an , (a > 0, a ¹ 1),

 

 

либо факториал

 

 

n! удобно использовать признак

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

и пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

существует предел отношения

lim

an+1

 

= p . Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞ a

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

если

 

p < 1,

 

то данный ряд сходится;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

если

 

p > 1 или p = ∞ ,

 

то данный ряд расходится;

 

 

 

 

 

 

 

 

 

если

 

 

 

 

p = 1,

 

 

то признак Даламбера ответа не дает (ряд может

оказаться как сходящимся, так и расходящимся).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n + 1

Исследуем по

признаку Даламбера сходимость ряда

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

2n

Здесь

an

=

 

n + 1

 

;

 

an+1 =

n + 2

. Находим предел отношения

 

 

 

 

 

 

 

 

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p = lim

an+1

 

= lim

(n + 2)2n

 

 

=

1

lim

n + 2

=

1

lim

1 + 2 / n

=

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

an

 

 

n→∞ 2n × 2(n +1)

 

 

 

2 n→∞ n +1 2 n→∞ 1 +1/ n 2

 

 

 

1

 

 

 

 

 

 

 

 

 

 

n + 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как p =

 

 

 

 

< 1, то ряд

 

 

 

 

 

 

сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2n)!

 

 

 

 

 

 

 

 

 

Далее исследуем на сходимость ряд

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

n

 

 

 

 

 

 

 

 

 

Здесь

an

= (2

n)!;

an

= (2(

n + 1))!.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

n +1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= lim (2

(n +1))!×

 

= lim

(2n +

2)!×

 

 

=

 

 

 

 

 

 

 

 

Находим

p = lim

an+1

 

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

an

 

n→∞

 

n +1 ×(2n)!

n→∞

 

n +1 × (2n)!

 

 

 

 

 

 

 

 

 

30

= lim

1× 2 ×... × (2

n)× (

2n +1)× (2n + 2)×

 

 

= lim (2n +1)(2n +

2)

 

=

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

n +1 ×1× 2 ×... × 2n

 

 

n→∞

 

n

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= lim

 

 

 

n

× lim(2n +1)(2n + 2) = 1× ¥ = ¥.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n +1

 

 

 

 

 

 

 

 

 

n→∞

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2n)!

 

 

 

 

 

 

Так как p = ∞ , то по признаку Даламбера ряд

 

 

 

расходится.

 

n

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

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

радикальный признак Коши. Пусть дан числовой ряд an

n=1

( a > 0, n = 1, 2,...), и пусть существует конечный предел lim n

a

 

= p .

n

 

n→∞

 

n

 

Тогда если

p < 1,

то данный ряд сходится;

 

 

 

если

p > 1,

то данный ряд расходится;

 

 

 

если

p = 1,

то признак Коши ответа не дает.

 

 

 

2

 

3

2

 

4

 

3

Рассмотри, например, ряд

 

+

 

 

 

+

 

 

 

 

+ ... . Запишем общий

 

8

11

5

 

 

 

 

 

 

 

 

 

 

 

 

 

n +1

 

n

член ряда в виде

an =

 

 

 

 

 

 

. Легко проверить получение любого

 

 

 

 

 

 

 

 

 

 

 

 

3n + 2

члена данного нам ряда, полагая n = 1, 2,...:

n = 1 a =

1 + 1

=

2

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

3 ×1 +1

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 +1

 

 

2

 

 

3 2

n = 2 a2

=

 

 

 

 

 

 

=

 

 

;

 

 

 

 

 

 

 

 

3 × 2 + 2

 

 

8

 

 

 

3 +1

 

2

 

 

4 2

n = 3 a3

=

 

 

 

 

 

=

 

 

 

 

и т.д.

 

× 3 + 2

 

 

 

 

 

 

 

3

 

 

11

31

 

 

 

 

 

 

 

 

n + 1

n

 

 

 

 

 

 

 

 

 

 

 

Найдем

 

 

p = lim n an

= lim n

 

 

 

 

 

 

=

 

 

 

 

+ 2

 

 

 

 

 

 

n→∞

n→∞ 3n

 

 

 

 

 

 

 

 

= lim

n + 1

= lim

1 + 1/ n

=

1

< 1.

 

 

 

 

 

 

 

 

 

 

 

n→∞ 3n + 2

n→∞ 3 + 2 / n 3

 

 

Так как p =

1

< 1, то по признаку Коши ряд

 

 

 

n + 1

n

 

 

 

 

 

сходится.

3

3n + 2

 

 

 

 

 

 

 

 

n=1

 

 

Еще один достаточный признак сходимости знакоположительных рядов – это интегральный признак Коши. Пусть члены числового ряда

an удовлетворяют следующим условиям:

n=1

1) они неотрицательны ( an ³ 0, n = 1,2,... ) и не возрастают, т.е. a1 ³ a2 ³ a3 ³ ... ³ an ³ ...;

2)найдется непрерывная невозрастающая функция f (x),

определенная при x > 0 и такая, что

f (1) = a1 ,

f (2) = a2 ,

f (n) = an ,...

Тогда если несобственный интеграл

f (x)dx сходится, то сходится и ряд

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an ; если несобственный интеграл f (x)dx расходится, то расходится и

n=1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряд an .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сразу же поясним, что функцию

f (x),

принимающую в точках

x = n значения

f (n), чаще всего удается получить с помощью замены

натурального

n

в

выражении

f (n)

на непрерывно

изменяющийся

аргумент

x .

Так,

например,

если

f (n) =

1

 

, то f (x) =

1

; если

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2

 

x2

f (n) =

2n

, то f (x) =

2x

и т.п.

 

 

 

 

 

 

 

 

 

nn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x x

 

 

 

 

 

 

 

 

 

32

p ≤ 1.

Однако не всегда таким путем можно получить функцию f (x).

Допустим,

что f (n) =

1

 

. В этом случае нельзя заменить n

на

x ,

т.к.

n!

 

 

 

 

 

 

символ x!

имеет смысл

только при целых значениях x .

Но

это

не

означает, что не существует функции f (x), принимающей в точках x = n

значения f (n). Напротив, она всегда существует, но ее аналитическое выражение бывает трудно найти.

 

 

 

 

 

1

 

 

Исследуем для

примера сходимость

ряда

 

.

Для этого

 

 

 

 

 

 

n=1

n p

 

рассмотрим функцию

f (x) =

1

= xp .

Пусть

p ¹ 1.

Вычислим

x p

 

 

 

 

 

 

 

 

несобственный интеграл

dx

 

N dx

 

N

 

1

 

 

p

 

 

p

 

 

 

 

 

 

 

= lim

 

 

= lim

xp dx = lim

p + 1

1 x

 

N →∞

1 x

 

N →∞

1

N →∞

= lim

1

(N 1− p − 1) .

 

N →∞

1 − p

 

 

 

 

 

− + N =

x p 1

1

 

 

 

 

 

 

 

если p > 1,

 

dx

=

1

 

 

Отсюда следует,

что

то

интеграл

 

сходится;

 

p −1

 

 

 

 

 

 

 

 

 

 

 

1

x p

 

если p < 1,

 

 

 

 

dx

= ∞

 

 

 

 

p = 1

 

то интеграл

расходится.

При

получаем

 

 

 

 

 

 

 

 

1

x p

 

 

 

 

 

 

 

dx

= lim

N

dx

= lim

[ln N − ln1] =∞

интеграл расходится. Тем самым

 

 

x

N →∞

N →∞

 

 

 

 

 

 

 

 

 

 

1

 

1 x

 

 

 

 

 

 

 

 

 

 

 

интегральный признак Коши дает возможность обосновать утверждение относительно обобщенного гармонического ряда, который мы ранее определили в качестве эталонного: он сходится при p > 1 и

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

33

 

1

 

Сходимость ряда

 

 

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

n2

 

n=1

+ 3

признака сравнения. Однако в качестве примера исследуем его с использованием интегрального признака. Для этого рассмотрим

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

несобственный интеграл

 

 

и вычислим его:

 

 

 

 

 

 

x

2

 

 

 

 

 

 

 

 

 

1

 

+ 3

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

N

dx

 

 

 

1

 

 

x

 

N

 

 

 

 

 

 

 

 

= lim

 

 

 

 

= lim

 

 

 

arctg

 

 

 

 

 

=

x2 + 3

x2 + 3

 

 

 

 

 

 

 

 

 

1

N →∞

1

N →∞

3

 

 

3

 

1

 

 

 

 

 

 

 

 

 

 

=

1

 

 

N

 

- arctg

1

=

1

 

 

 

 

 

 

N

-

1

 

 

1

 

=

 

 

 

lim arctg

 

 

 

 

 

 

 

 

 

 

lim arctg

 

 

 

 

 

arctg

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 N →∞

3

 

 

 

 

 

 

3

 

 

 

 

3 N →∞

 

3

 

3

 

3

 

 

 

 

 

 

 

 

=

1

 

× π -

1

 

× π =

1

 

× π .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

2

3

 

6

3

3

 

 

 

 

 

 

 

 

 

 

 

Видим, что несобственный интеграл сходится, следовательно, сходится и

1

 

 

 

 

ряд

 

.

 

 

 

 

 

 

 

n=1

n2 + 3

 

 

 

 

 

 

1

 

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

 

применение

 

 

 

 

n=2

n × ln n

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

призраком Коши. Так

как an =

1

, то функцией,

принимающей в

 

 

 

n ln n

 

 

точках x = n значения

an , будет функция f (x) =

1

. Она непрерывна

 

x ln x

 

 

 

 

 

для x ³ 2 и монотонно убывает. Вычислим несобственный интеграл

dx

 

 

N

 

d (ln x)

 

 

 

 

 

 

 

 

f (x)dx =

= lim

 

= limln

 

ln x

 

 

 

 

 

 

 

 

 

 

 

2

2

 

 

x ln x

N →∞ 2

 

 

ln x

N →∞

 

 

 

 

 

 

 

 

 

 

 

= lim(ln

 

ln N

 

- ln

 

ln 2

 

) = ¥ - ln

 

ln 2

 

= ¥.

 

 

 

 

 

 

 

 

N →∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N =

2

1

 

Интеграл расходится, следовательно, расходится и ряд

 

.

 

n=2

n × ln n

34

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

являются знакочередующиеся ряды.

 

 

 

 

 

 

 

Ряд

u u

2

+ u

3

u

4

+ ... + (−1)n+1 u

n

+ ... =

(−1)n+1 u

n

,

в котором

 

 

1

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

все

un

(n = 1, 2,3,...)

 

-

числа

 

одного

знака,

 

 

называется

знакочередующимся.

 

 

 

 

 

 

 

 

 

 

 

 

Для знакочередующихся рядов различают два типа сходимости –

абсолютную и

условную.

Ряд

(−1)n+1 un называется

 

абсолютно

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

сходящимся, если ряд un , составленный из модулей его членов,

n=1

сходится.

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

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

n=1

(−1)n+1 un . Обратное утверждение неверно.

n=1

Ряд (−1)n+1 un называется условно сходящимся, если сам он

n=1

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

n=1

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

как он сходится – условно или абсолютно.

Для знакочередующихся рядов справедлив признак Лейбница

(достаточный признак сходимости): если для знакочередующегося

числового ряда (−1)n+1 un выполняются два условия:

n=1

1) lim u = 0 и

n→∞ n

2) члены ряда монотонно убывают по абсолютной величине, т.е.

35

u1 > u2 > u3 > ... > un > ..., то

ряд сходится; а его сумма S положительна и меньше первого члена u1 , т.е.

0 < S < u1 .

Отметим важные свойства абсолютной и условной сходимости.

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

 

 

 

 

 

Если ряд (-1)n+1 un

сходится, то при вычислении его суммы S

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

можно заменять

S Sn ,

где Sn

n -я частичная сумма ряда. Разность

 

S Sn = Rn

называют

 

 

остатком

ряда.

Поскольку

остаток

 

Rn

 

= ±(un+1 un+2

+ un+3 − ...)

сам

является

знакочередующимся

 

рядом,

удовлетворяющим

всем

условиям

теоремы Лейбница,

он

сходится и

 

Rn

 

< un+1 ,

т.е.

погрешность

замены

S

на

Sn

 

 

меньше

первого

 

 

 

 

отброшенного слагаемого un+1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Исследуем, например, ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(-1)n+1

 

 

(-1)1+1

 

 

(-1)2+1

 

(-1)3+1

 

1

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

n × 2n

=

 

1× 21

+

2 × 22

+

3 × 23

+ ... =

 

-

 

 

+

 

 

 

 

-....

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

2 8 24

 

 

 

 

 

 

Проверим, выполняется ли признак Лейбница. Для этого

 

 

 

 

 

 

 

 

 

 

 

 

 

1)

находим предел общего члена ряда lim un = lim

 

1

 

=

 

1

= 0 ,

 

 

 

 

 

 

 

 

¥

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

n→∞ n × 2n

 

видим, что первое условие выполнено;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) проверяем

 

второе

 

условие

признака

 

 

 

 

Лейбница:

1

 

1

 

1

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

>

 

> ... >

 

>

 

> ...,

т.е. члены данного нам ряда

2

8

24

n × 2n

(n +1)2n+1

36

монотонно убывают по модулю. Таким образом, оба условия признака

 

(-1)n+1

Лейбница выполняется и, следовательно, ряд

 

сходится.

n=1

n × 2n

Выясняем теперь, как сходится ряд

 

(-1)n+1

- условно или

 

n=1

n × 2n

абсолютно. Для этого рассматриваем ряд, составленный из модулей членов

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

нашего ряда:

 

 

 

. Здесь un

=

 

 

,

 

 

 

un+1

=

 

 

 

.

 

 

 

 

 

 

 

 

 

n × 2n

 

 

(n +1)× 2n+1

 

 

 

 

 

 

 

 

 

n=1

 

n × 2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Воспользуемся признаком Даламбера, вычислив

 

 

 

 

 

 

 

 

 

 

 

 

u

n+1

 

 

 

 

 

 

 

 

 

 

 

n × 2n

 

1

 

 

 

n

 

 

 

 

1

1

 

 

 

1

 

lim

 

 

= lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

lim

 

 

 

 

 

=

 

 

lim

 

 

=

 

.

 

 

 

 

(n +1)

× 2n+1

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

un

n→∞

 

2 n→∞ n +1

 

 

2 n→∞ 1 + 1

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как

p =

< 1,

то ряд

 

 

 

 

 

 

сходится.

Следовательно,

исходный

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1 n

× 2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(-1)n+1

 

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

 

 

 

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

 

n × 2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(-1)n+1

 

 

 

 

1

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим ряд

 

 

 

 

 

 

 

= 1 -

 

 

+

 

 

-

 

 

 

+ .... Применим к нему

 

 

n

2

3

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

признак Лейбница:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) lim un = lim

1

=

 

 

1

= 0;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¥

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

n→∞ n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) 1 >

1

>

1

>

1

> ... >

1

> ... - члены ряда монотонно убывают по

 

 

 

 

 

 

 

2

 

 

3

4

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

абсолютной величине.

Следовательно, ряд сходится по признаку Лейбница. Однако он сходится

1

 

лишь условно, т.к. ряд

 

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

 

n=1

n

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

 

 

37

a = 0 , степенной

§ 5.

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

Разложение функций в степенные ряды

 

 

(x), слагаемые

Ряд вида

u1 (x) + u2 (x)+ ... + un (x)+ ... = un

 

n=1

 

которого u1 (x), u2 (x),..., un (x),… являются функциями переменной x ,

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

Областью сходимости функционального ряда чаще всего служит какой-нибудь промежуток оси ox . Каждому значению x из области сходимости функционального ряда соответствует определенное значение

n

предела lim uk ( x) , являющееся функцией от x . Его называют суммой

n→∞ = k 1

функционального ряда и обозначают S(x).

Ряд вида

a0 + a1 ( x a) + a2 ( x a)2 + ... + an ( x a)n + ... = an ( x a)n , (5.1)

n=0

составленный из степенных функций (коэффициенты ai , i = 1,2,... -

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

 

a0 + a1 x + a2 x2 + a3 x3 + ... + an xn + ... = an xn .

(5.2)

n=0

 

Заметим, что в точке x = 0 степенной ряд (5.2) всегда сходится.

38

Для нахождения области сходимости степенного ряда используется

теорема Абеля. Если степенной ряд (5.2) сходится при x = x0 ¹ 0 , то он сходится, и притом абсолютно, для всех значений x , удовлетворяющих

неравенству - x0 < x < x0 . Если же степенной ряд (5.2) расходится при

x = x0 ¹ 0 , то он расходится и для всех значений x таких, что

 

x

 

>

 

x0

 

.

 

 

 

 

Из

теоремы

Абеля

вытекает,

что всякая точка

сходимости

 

 

 

 

 

 

 

 

 

 

 

 

 

степенного ряда

an xn

расположена не дальше от точки

 

x = 0, чем

 

 

n=0

 

 

 

 

 

 

 

 

 

 

всякая

точка

его

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

Поэтому существует

 

 

 

интервал

R < x < R , для всех точек которого степенной ряд (5.2) сходится, а для

всех x : x > R – расходится.

Интервал (- R, R) называется интервалом сходимости степенного ряда (5.2), а число R - радиусом сходимости степенного ряда. На концах интервала сходимости (т.е. при x = −R и x = R ) ряд может как сходиться,

так и расходиться.

 

Поэтому

концевые

точки интервала сходимости

(x = ±R)

исследуются отдельно.

 

 

 

Радиус сходимости степенного ряда можно вычислять по одной из

 

 

an

 

 

1

 

 

 

 

 

 

 

 

 

 

формул

R = lim

 

 

или

R = lim

 

 

 

 

при условии, что входящие в

 

 

 

 

 

 

 

 

 

 

 

n→∞

an+1

 

 

n→∞ n

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

них пределы существуют.

Интервал сходимости рядов вида (5.1) симметричен относительно

точки x = a и описывается неравенствами a R < x < a + R .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2 xn

Найдем, например,

область сходимости степенного ряда

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n =1

2n

Выпишем коэффициенты

an =

n2

 

и an+1

=

(n +1)2

. Тогда

 

 

2n

 

2n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

n

 

 

 

 

 

n2 × 2n+1

 

 

 

n 2

 

 

 

 

 

 

 

 

 

 

 

 

 

R = lim

 

 

 

 

= lim

 

 

 

 

= 2lim

 

 

=

 

 

n→∞

an+1

 

n→∞ 2n

× (n +1)

 

 

n→∞ n +1

 

 

39

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]