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

Теория рядов. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
15.08.2026
Размер:
1 Мб
Скачать

an x0n M , n 0,1,

Если x r, то

где q

 

r

 

1.

x0

 

 

 

При этом ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

nan xn 1

 

 

 

nanrn 1

 

n

 

an x0n 1

 

 

 

r

 

 

n

 

 

M

 

 

qn 1,

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

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

 

 

x0

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n 1)

 

 

M

 

 

qn

 

 

 

 

lim

 

 

 

x0

 

 

q lim

n 1

q 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M

 

 

 

 

 

n

n

 

 

n

 

 

 

q

n 1

n

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно, ряд nanxn 1 на r; r мажорируем сходящимся рядом.

n 1

Тогда по признаку Вейерштрасса ряд nanxn 1 равномерно сходится.

n 1

Таким образом, все условия теоремы 7 выполняются, и ряд an xn можно

n 0

почленно дифференцировать, то есть

 

 

 

 

 

 

 

n

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

nan x

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S (x) anx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 0

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) По условию теоремы ряд (2.7) имеет радиус сходимости R 0. Вычислим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R1 - радиус сходимости ряда nanxn 1 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

nan

 

 

lim

n

 

 

 

 

an

 

 

 

1

 

 

lim

 

 

an

 

 

lim

 

 

an

 

 

R lim

 

 

 

 

lim

 

 

lim

 

 

 

 

 

R.

 

 

 

 

 

 

1

 

 

 

1

n

(n 1)an 1

 

n n 1 n

 

an 1

 

n 1

 

n

 

an 1

 

 

n

 

an 1

 

 

 

 

 

 

 

n

 

 

 

 

 

Значит, R1 R.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3) Получили, что

сумма

ряда

(2.7)

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

непрерывна и дифференцируема. При этом функция S (x) является суммой

степенного ряда с тем же интервалом сходимости R; R ,

значит, функцию

S (x) также можно дифференцировать. По индукции легко получить, что

S(k) (x) ann(n 1) (n (k 1))xn k ,

n k

то есть ряд (2.7) можно почленно дифференцировать любое число раз, при этом

81

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x x3

 

 

 

 

 

x5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 23. Вычислить сумму ряда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Имеем степенной ряд

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4n 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) Найдём интервал сходимости данного ряда:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

u

n 1

 

 

lim

 

 

 

 

 

x

2(n 1) 1

 

 

:

x2n 1

 

 

 

 

 

 

lim

 

 

x2n 1(4n 2)

 

 

lim

x2 (4n 2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4n 2)x2n 1

 

 

 

4n 2

 

 

 

 

 

n

 

 

 

 

n

4(n 1) 2 4n 2

 

 

n

 

 

 

n

 

 

 

 

 

 

x2 lim

4n 2

 

x2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 4n 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда x2

1, то есть 1 x 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2n 1

 

 

 

2) По теореме 13 в интервале сходимости ( 1;1)

 

функция S(x)

 

 

 

 

 

 

 

4n 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

имеет

 

 

 

производную,

 

 

 

 

 

 

которую

 

 

 

 

 

 

 

 

можно

 

 

 

 

получить

 

 

почленным

дифференцированием ряда:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сумма бесконечной

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n 1

 

 

 

 

 

 

 

2n 2

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

x

 

1

 

 

 

 

 

x

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

геометрической

 

 

 

 

 

(x)

 

 

4n

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

n 1

 

 

 

 

 

2 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

прогрессии

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2(1 x2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3) Так как S(x) S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(t)dt, то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 x 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

1

 

 

 

 

 

 

 

 

 

1

 

1 t

 

 

x

 

 

1

 

 

 

 

 

1 x

 

 

 

 

 

 

1

 

 

1 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S(x)

 

 

 

 

dt

 

 

 

 

ln

 

 

 

 

 

 

 

 

 

 

 

 

 

ln

 

 

 

 

 

 

 

 

 

 

1 x

0

 

 

 

 

ln

 

 

.

 

 

 

2(1 t2 )

4

 

 

1 t

 

 

 

 

0

4

1 x

 

4

1 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

x3

 

 

x5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln

 

 

 

 

 

 

 

 

 

 

. ◄

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

6

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

10

 

 

 

 

 

 

 

 

 

 

1 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 14. Если степенной ряд (2.7) имеет радиус сходимости R 0, то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в

 

интервале

 

 

 

сходимости

 

 

 

( R; R)

 

функцию

 

 

S(x) anxn

 

можно

интегрировать, причем для любого x ( R; R)

 

 

 

 

 

 

 

 

 

 

 

 

 

n 0

 

 

 

 

 

 

 

 

 

 

 

 

справедливо:

 

 

 

 

 

 

 

 

 

 

 

 

82

x

0

x

 

 

 

 

an x

n 1

 

n

 

 

 

 

 

S(t)dt ant

 

dt

 

 

 

 

.

 

 

 

n 0 0

 

 

 

n 0

n 1

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

Доказательство. 1) Проверим выполнение условий теоремы 6 для ряда (2.7).

1.

По теореме 9 степенной ряд (2.7) равномерно сходится на r; r , где

0 r R.

2.

Функции un (x) an xn, n 0,1, , непрерывны при x ( R; R).

Условия теоремы 6 выполняются, значит, ряд (2.7) можно почленно интегрировать при x ( R; R), то есть

 

 

 

x

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

an x

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S(t)dt ant

 

dt

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

n 0 0

 

 

 

 

 

 

 

 

 

n 0

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Вычислим R2 – радиус сходимости полученного ряда:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

nan

 

 

an 1

 

 

 

n 2

 

 

 

 

 

an

 

 

 

 

 

 

 

 

1

2

 

 

 

 

 

 

 

 

an

 

 

 

 

 

an

 

 

 

R2

lim

 

:

 

 

lim

lim

 

 

 

 

 

lim

 

n

lim

 

 

 

 

lim

 

 

 

 

R.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n 1 n 2

 

 

n n 1 n

 

an 1

 

 

 

n 1

 

 

n

 

an 1

 

 

n

 

an 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, радиусы рядов (2.7)

и

 

anxn 1

равны.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 0

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

Пример 24. Вычислить сумму ряда 1 2 2 3 x 3 4 x2

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Имеем степенной ряд (n 1)(n 2)xn .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) Найдём радиус сходимости данного ряда по (2.8):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R lim

(n 1)(n 2)

 

lim

n 1

 

1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n (n 2)(n 3)

n n 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда интервал сходимости:

 

 

1 x 1.

 

 

 

 

( 1;1)

 

функцию S(x)

 

 

 

 

 

 

2) По теореме 14 в интервале сходимости

 

можно

интегрировать:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

x

 

 

 

 

 

 

 

n

 

 

 

 

 

(n 1)(n 2)

n 1

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S(t)dt

 

 

(n 1)(n 2)t

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

(n 2)x

 

 

 

 

S1(x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

n 0 0

 

 

 

 

 

 

 

 

 

 

 

 

 

n 0

 

 

 

 

n 1

 

 

0

n 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Полученный ряд является степенным и по теореме 14 сходится при x ( 1;1), а значит, его можно ещё раз проинтегрировать:

x

 

 

x

 

n 1

 

 

n 2

 

n 2

 

x

 

 

 

n 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

(t)dt

 

 

(n 2)t

 

dt

 

 

 

t

 

 

 

 

 

x

 

S

2

(x).

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

n 0 0

 

 

 

 

n 0 n 2

 

 

 

0

 

n 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3) Вычислим сумму S2 (x) полученного ряда:

83

 

 

сумма бесконечной

 

 

x

2

 

 

 

 

 

 

S2 (x) xn 2

 

геометрической

 

 

 

 

.

 

 

 

 

1 x

 

 

 

 

n 0

 

 

 

прогрессии

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

 

2x x

2

 

4) Так как S (x) S

2

(x) , то S (x)

 

 

 

 

 

 

 

 

.

 

 

 

 

 

2

1

 

 

1

 

1 x

 

 

(1 x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2x x

2

 

 

2

 

 

При этом S(x) S

(x) , значит

S(x)

 

 

 

 

 

 

 

.

 

 

2

 

3

1

 

 

 

(1 x)

 

 

(1 x)

 

 

 

 

 

 

 

 

 

 

Таким образом, 1 2 2 3 x 3 4 x2

 

 

2

 

. ◄

 

 

 

 

(1 x)3

 

 

 

 

 

 

 

 

 

 

 

 

 

Задачи для самостоятельного решения.

224-227. Используя дифференцирование, вычислить сумму степенного ряда:

 

 

 

x

4n 2

 

 

 

 

 

 

 

 

 

x

2n 1

 

 

 

 

 

 

224.

 

 

 

 

, 1 x 1.

225.

 

( 1)n

 

 

 

 

 

 

.

 

 

 

4n 2

5n(2n 1)

 

 

 

 

n 0

 

 

 

 

 

n 0

 

 

 

 

 

 

 

 

(x 3)

n 1

 

 

 

 

 

 

x

2n

(1 x

n

)

 

 

226.

 

 

 

, 4 x 2.

227.

 

( 1)n 1

 

 

 

, 1 x 1.

 

n2 n

 

 

 

n

 

 

 

 

 

n 1

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

228-235. Используя интегрирование, вычислить сумму степенного ряда:

 

 

 

n 1

2n 1

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

228.

 

 

 

 

x

 

 

 

.

229.

 

(n 1)(x 2)

 

.

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

n 0

3

 

 

 

 

 

 

n 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n 1)(n 2)(n 3)

 

230.

(2n 1)x2n .

231.

 

 

xn.

 

 

 

n 0

 

 

 

 

 

 

 

 

 

n 0

 

3!

 

 

 

 

 

 

 

 

232. (n2 3n)xn .

n 0

234. (3n 1)(3n 2)x3n .

n 0

 

 

(n 2)(n 3)

 

233.

 

xn 1.

 

 

n 0

2n

 

 

 

 

235.

(4n 3)x2n .

n 0

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

Пусть функция f (x) определена в некоторой окрестности точки x0 и имеет в точке x0 производные всех порядков. Рядом Тейлора функции f (x) в точке x0 называется степенной ряд следующего вида:

f (x

0

)

f (x0)

(x x

)

f (x0)

(x x

)2

f (n)(x0)

(x x

0

)n (2.10)

 

 

 

 

 

1!

0

 

2!

0

 

n!

 

 

 

 

 

 

 

 

 

 

84

Очевидно, что ряд Тейлора функции

f (x) всегда сходится в точке x0,

причем его сумма в этой точке равна f (x0).

 

Теорема 15. Представление функции

f (x) в некоторой окрестности

 

 

точки x0 сходящимся к этой функции степенным рядом f (x) an(x x0)n

n 0

, x x0 R, R 0, единственно и является рядом Тейлора.

Доказательство. Так как ряд an(x x0)n сходится, радиус сходимости R 0

n0

,то по теореме 13 функция f (x) бесконечно дифференцируема в окрестности

точки x0, причем

 

 

 

 

 

 

 

 

(x x )2 a

 

(x x )n

 

 

 

 

f (x) a

0

a (x x ) a

2

n

;

 

 

 

 

 

 

 

1

 

0

 

 

 

 

 

 

0

2

 

 

 

0

 

n 1

 

f

 

 

2a2(x x0) 3a3(x

x0)

nan(x x0)

;

(x) a1

 

 

 

f

 

 

 

 

3 2 a3(x x0) n(n 1)an(x x0)

n 2

 

;

(x) 2a2

 

………………

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(n)(x) n!a

n

(n 1)!a

n 1

(x x )n 2

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

………………

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При x x0 получаем

 

 

 

 

 

 

 

 

 

 

 

 

f (n)(x0) n!an ; …

f (x0) a0;

 

f (x0) a1;

 

 

f (x0) 2a2; …;

или

 

 

 

 

 

 

 

f (x0)

 

 

 

 

 

 

 

f (x0)

 

 

 

 

 

f (n)(x0)

 

 

a

0

f (x ); a

 

; a

2

 

; …; a

n

 

; …

 

 

 

 

0

 

 

 

1

1!

 

 

 

 

 

 

2!

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, степенной ряд функции f (x) совпадает с рядом Тейлора данной функции в точке x0.

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

Пример 25. Разложить в ряд Тейлора по степеням (x 3) функцию f (x) e2x .

Решение. Функция f (x) e2x непрерывна и бесконечно дифференцируема при x ( ; ). Найдём производные:

f

 

2x

,

f

 

2x

, …,

f

(n)

(x) 2

n

e

2x

, ….

(x) 2e

 

(x) 4e

 

 

 

 

Так как x0 3, то найдём значения функции и производных при x 3:

 

f

( 3) e

6

, f

 

6

,

 

 

 

6

, …, f

(n)

( 3) 2

n

e

6

, ….

 

 

 

( 3) 2e

 

f ( 3) 4e

 

 

 

 

Таким образом, получаем разложение в ряд Тейлора:

 

 

 

 

 

 

 

 

2x

 

6

 

 

2e 6

 

4e 6

 

2

 

 

 

2ne 6

 

 

n

 

 

 

 

 

e

 

e

 

 

 

 

 

 

(x 3)

 

 

 

(x 3)

 

 

 

 

(x 3)

 

 

 

 

 

 

 

 

1!

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

85

2ne 6 (x 3)n .

n 0 n!

Найдем область сходимости данного ряда. По формуле (2.8) вычислим радиус сходимости:

R lim

a

n

 

lim

2ne 6

:

2n 1e 6

 

lim

n 1

.

an 1

 

n!

(n 1)!

 

2

 

n

 

n

 

 

n

 

 

Получили, что областью сходимости полученного ряда Тейлора является x ( ; ). ◄

Заметим, что если функция f (x) бесконечно дифференцируема, то f (x) разлагается в ряд Тейлора. Однако, ряд Тейлора для f (x) может сходиться

лишь в одной точке x x0, то есть ряд Тейлора не представляет функцию f (x)

. Приведем пример функции, ряд Тейлора которой сходится в каждой точке x R, но не к заданной функции.

 

 

 

 

 

 

 

1 x2

 

 

 

 

 

 

 

 

 

 

 

 

 

, при x 0

 

 

 

 

Пример 26. Дана функция

e

 

.

 

 

 

f (x)

 

 

 

 

 

 

 

 

 

 

 

 

при x 0

 

 

 

 

 

 

 

 

 

 

0,

 

 

 

► Данная функция является

бесконечно

дифференцируемой, причем при

x

0

 

имеем

f (0) 0,

f (n)(0) 0,

n 0,1, 2, .

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

0

 

 

(n)

 

 

 

 

 

 

 

 

 

 

 

f

(0)

 

 

 

 

 

 

 

 

an

 

 

0.

Тогда ряд

an(x x0)n

сходится для

любых

x R и

 

 

 

 

 

 

n!

 

n 0

 

 

 

 

 

S(x) 0. Но f (x) 0 при x 0, то есть не существует окрестности,

в которой

функция

f (x) представляется рядом Тейлора. ◄

 

 

 

Представим формулу Тейлора в следующем виде:

 

n

f (k)(x )

 

 

 

 

 

k!

 

)k R (x),

 

f (x)

 

0

(x x

n 0,1, 2, ,

 

 

 

0

n

 

k 0

где Rn(x) – остаточный член.

Разложимость числовой функции f (x) в ряд Тейлора по степеням (x x0)

означает, что lim R (x) 0. Действительно,

 

 

 

n

n

 

 

 

 

 

 

 

 

 

 

 

n

(k)

(x0)

 

 

 

 

 

 

 

Rn (x) f (x)

f

 

(x x0)k .

 

 

 

 

k!

 

 

 

 

k 0

 

 

 

 

 

 

 

Перейдем к пределу при n

 

 

 

 

 

 

 

 

 

 

 

n

f

(k)

(x0)

 

 

 

 

limR (x) lim f (x)

 

 

(x x

)k

,

 

 

 

n n

n

 

 

 

k!

0

 

 

 

 

 

 

k 0

 

 

 

 

86

тогда

lim R (x) f (x)

f

(k)(x

0

)

(x x

 

)k

 

 

 

 

 

0

 

n

n

k!

 

 

 

 

 

 

 

k 0

 

 

 

 

 

или

limR (x) f (x) f (x),

 

 

 

 

 

 

 

n

n

 

 

 

 

 

 

 

 

то есть

lim R (x) 0.

 

 

 

 

 

 

 

 

 

n

n

 

 

 

 

 

 

 

 

Установить возможность разложения функции f (x) в ряд Тейлора помогает нижеследующая теорема 16.

Теорема 16. Если существует число M 0 такое, что при R x R

выполняется f (n)(x) M , n 0,1, 2, , то функция f (x) разлагается в ряд

Тейлора для x R; R .

Доказательство. Как известно ([10], [11]), остаточный член формулы Тейлора может быть представлен в форме Лагранжа:

 

Rn(x)

f (n 1)( )

(x x0)n 1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n 1)!

 

 

 

 

 

 

 

 

 

 

 

x0

 

x ( (x0, x)), x

где – некоторая

точка, заключенная

между

и

произвольная точка из окрестности точки x0. Тогда при x R; R имеем

 

 

 

R (x)

 

 

 

 

 

 

f (n 1)( )

(x x

 

)n 1

 

 

M

 

Rn 1,

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

(n 1)!

 

 

 

 

 

 

 

 

 

 

 

(n 1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M

 

 

 

 

 

 

 

 

то есть

 

 

 

0

 

R (x)

 

 

 

Rn 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

(n 1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Перейдем к пределу при n :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 lim

 

R (x)

 

 

lim

M

 

 

Rn 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M Rn 1

 

n

 

 

n

 

 

 

 

 

 

n (n 1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Но lim

 

0 при любом R 0,

поэтому lim R (x) 0.

 

 

 

n (n 1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n

Таким образом, функция

f (x) разложима в ряд Тейлора при x R; R .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Частный случай ряда Тейлора при x0 0 называется рядом Маклорена

 

 

f

 

 

 

 

 

 

 

 

 

f

 

2

 

 

 

 

f

(n)

(0)

 

n

 

 

 

f (0)

 

(0)

 

x

 

 

(0)

 

 

x

 

 

 

 

 

x

 

(2.11)

 

1!

 

 

2!

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Маклорена.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I. Показательная функция f (x) ex .

 

 

 

 

 

 

 

 

 

 

 

 

Функция f (x) ex

определена и бесконечно дифференцируема при всех

87

x R, имеет производные:

 

 

 

 

 

 

 

 

 

 

 

 

(n)

(x) e

x

.

 

 

 

 

 

 

 

 

f (x) f

(x) f

 

 

 

 

 

 

 

 

 

 

 

 

При x R; R справедлива оценка

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (n) (x)

 

ex eR ,

 

 

n 0,1, 2,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Значит, f (

x) ex

 

разложима в ряд Маклорена при x R; R .

 

Вычислим значения функции и производных при x 0:

 

f (0) f

 

 

f

 

 

f

(n)

(0)

e

0

1.

 

 

 

 

(0)

 

(0)

 

 

 

 

 

 

 

Таким образом, получаем разложение:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

 

 

 

 

xn

 

 

 

 

xn

 

 

 

 

 

 

 

 

 

ex 1 x

 

 

.

 

 

(2.12)

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

n 0

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

формуле (2.8):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an

 

 

1

 

 

 

1

 

 

 

 

 

 

R lim

 

 

 

 

lim

 

:

 

 

 

 

lim(n 1) .

 

 

 

an 1

 

 

(n 1)!

 

 

 

n

 

 

n

n!

 

 

 

n

 

 

 

 

 

 

 

 

 

Следовательно, областью сходимости ряда (2.12) является x ( ; ).

II. Тригонометрические функции f (x) sin x

и

f (x) cos x.

 

Функция

 

f (x) sin x определена и бесконечно дифференцируема при всех

x R. Найдем производные данной функции:

 

 

 

 

 

IV

 

 

 

 

 

 

 

f

 

(x) sin x,

 

 

f

 

 

 

 

 

 

 

, f

(x) sin x,

f (x) cos x,

 

 

 

 

(x) cos x

 

Так как при x R; R справедлива оценка

f (n)(x) 1, n 0,1, 2, ,

то f (x) sin x разложима в ряд Маклорена.

Вычислим значения функции и производных при x 0:

 

 

f (0) 0, f (0) 1,

f (0) 0, f (0) 1,

f IV (0) 0, …

 

 

Таким образом, получаем разложение:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

x3

 

 

 

 

x2n 1

 

 

 

 

 

 

 

 

x2n 1

 

 

 

 

 

 

sin x

 

 

( 1)n

 

 

( 1)n

 

.

(2.13)

 

 

 

 

(2n 1)!

 

 

 

 

1!

3!

 

 

 

 

 

 

 

 

n 0

 

 

(2n 1)!

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

n 1

 

 

 

 

( 1)n 1x2(n 1) 1

 

( 1)n x2n 1

 

 

 

 

 

x2n 3

(2n 1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

lim

 

 

 

 

:

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

un

 

 

 

 

 

(2n 1)!

 

 

(2n 3)!x2n 1

 

 

n

 

n

(2(n 1) 1)!

 

 

 

n

 

 

 

x2

lim

 

 

 

 

1

 

 

x2 0 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n (2n 2)(2n 3)

Полученный результат всегда меньше 1, значит, ряд (2.13) сходится при x ( ; ).

88

Аналогично можно получить разложение в ряд Маклорена функции f (x) cos x:

 

x2

 

x4

 

x2n

 

 

x2n

 

 

cosx 1

 

( 1)n

( 1)n

 

.

(2.14)

 

 

 

 

 

2!

4!

 

(2n)!

n 0

 

(2n)!

 

Областью сходимости ряда (2.14) является x ( ;

).

 

III. Биномиальный ряд.

Биномиальным рядом называется степенной ряд функции f (x) (1 x) , где α – некоторое вещественное число.

Найдем производные данной функции: f (x) α(1 x) 1,

f (x) α(α 1)(1 x) 2, …,

f (n) (x) α(α 1) (α n 1)(1 x) n ,

При x 0 имеем: f (0) 1,

f (0) α,

f (0) α(α 1), …,

f (n) (0) α(α 1) (α n 1),

 

 

 

 

 

 

 

 

 

 

Тогда биномиальный ряд имеет вид:

 

 

(1 x)

1

α x

 

α(α 1)

x2

α(α 1) (α n 1)

xn

 

 

 

 

 

1!

2!

 

 

 

n!

 

 

 

α(α 1) (α n 1)

 

 

 

 

1

xn .

(2.15)

 

 

 

n 1

 

 

n!

 

 

Обоснованность нахождения данного разложения можно найти в [10], [11]. Для нахождения области сходимости ряда (2.15) вычислим радиус

сходимости по формуле (2.8):

R lim

 

an

 

lim

α(α 1) (α n 1)

:

α(α 1) (α n)

 

 

an 1

n!

(n 1)!

n

 

n

 

 

 

 

 

n 1

 

 

1

1

 

 

 

 

 

 

 

 

lim

 

 

lim

n

1.

 

 

 

 

 

 

 

 

 

α n

α

 

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

x

 

1 или

1 x 1.

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

89

 

Сходимость биномиального ряда в точках x 1 зависит от показателя α. Не приводя дополнительных исследований заметим, что при x 1 ряд сходится для α 1, при x 1 для α 0.

Таким образом, область сходимости биномиального ряда: x 1;1 при α 0;

x 1;1 при 1 α 0; x ( 1;1) при α 1.

Часто при решении задач используются частные случаи биномиального разложения при α 1:

1

 

 

 

 

1 x x2 ( 1)n xn ( 1)n xn ,

(2.16)

1 x

 

 

n 0

 

1

 

1

 

 

 

1 x x2 xn xn .

(2.17)

1 x

 

1 ( x)

n 0

 

Ряды (2.16) и (2.17) сходятся при x ( 1;1).

IV. Логарифмическая функция f (x) ln(1 x).

Функция f (x) ln(1 x) определена и бесконечно дифференцируема при x 1; . Найдем производные данной функции:

f

 

(x)

1

,

f

 

1

,

f

 

2

, …,

 

1 x

(x)

(1 x)2

(x)

(1 x)3

 

f (n)(x)

( 1)( 2) ( (n 1))

 

( 1)n 1(n 1)!

 

, …

 

 

 

 

 

(1 x)n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1 x)n

 

 

 

 

Так как

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (n)(x)

 

 

 

( 1)n 1(n 1)!

 

 

(n 1)!

 

, n 0,1, 2, ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1 x)n

 

 

 

 

1 x

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n 1)!

 

 

 

и

lim

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

1 x

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то не можем воспользоваться теоремой 16.

Рассмотрим разложение в биномиальный ряд (2.16), которое справедливо при x ( 1;1). Так как при x 1 имеет место равенство

x dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln(1 x),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то по теореме 14 при x ( 1;1) получаем:

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

x

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

n 1

 

 

dt

 

 

 

n

 

 

 

n

 

n

 

 

n x

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

ln(1 x)

 

 

( 1)

 

t

dt

 

( 1)

 

t

 

dt

 

( 1)

 

 

.

1 t

 

 

 

n 1

0

 

 

 

0

n 0

 

 

 

n 0

 

 

0

 

 

 

n 0

 

 

 

 

90

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