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

Числовые ряды

..pdf
Скачиваний:
40
Добавлен:
18.04.2015
Размер:
727.51 Кб
Скачать

Теорема 4 (О почленном дифференцировании рядов)

Пусть ряд un (x) сходится на [a;b], имеет сумму S (x),

n=1

т.е. un (x)= S (x), и пусть его члены имеют на этом

n=1

промежутке непрерывные производные, причём составленный из

этих

производных

ряд

 

сходится на [a;b]

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

n=1

равномерно и имеет сумму σ (x), т.е. un(x)=σ (x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[a;b]

 

 

 

 

 

 

Тогда

ряд

un (x)

сходится

на

равномерно, и

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

производная

его

суммы

равна

сумме

ряда

un(x)

 

S(x)=σ (x).

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

n

 

 

 

 

 

 

 

 

 

 

 

 

Показать,

что

ряд

 

 

 

 

равномерно

сходится

при

 

 

 

 

n

 

x [1;1].

 

 

 

 

n=1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так

как при любом

x [1;1]выполняется неравенство

 

 

x

n

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

а

ряд

 

 

 

 

сходится

(обобщённый

 

 

n

n

 

3

 

 

3

 

 

 

 

 

 

 

n

2

 

 

 

n=1

n

2

 

 

 

 

 

 

 

 

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

ряд

при

p =

3

>1),

то

исходный

ряд,

по

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

теореме 1, сходится равномерно.

51

Пример 2

 

Исследовать

непрерывность

суммы сходящегося

ряда

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

n

4

2

x

2

 

 

 

 

 

n=1

 

+n

 

 

 

 

 

 

 

Решение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

Каждый

член

данного ряда

un (x)=

 

 

есть

 

n4 + x2 n2

непрерывная для любого x (−∞; +∞) функция. По теореме 1,

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

ряд

 

 

 

 

 

 

 

сходится равномерно,

т.к.

 

 

 

 

 

 

, а

 

 

 

4

2

n

2

 

n

4

2

n

2

4

 

 

n=1 n

 

+ x

 

 

 

 

 

 

 

+ x

 

 

n

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряд

 

 

 

сходится. Тогда по теореме 2,

сумма

S (x)

ряда

 

4

 

 

 

n=1

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

есть непрерывная для любого x R функция.

n

4

 

 

2

n

2

 

n=1

 

+ x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

Можно ли почленно интегрировать ряд

 

 

 

?

 

 

 

 

 

n

2

+ x

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

Решение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Каждый член данного ряда u

n

(x)=

1

 

 

 

 

есть функция,

 

n2 + x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

непрерывная для любого x R . По теореме 1 этот ряд сходится

равномерно на всей действительной оси, т.к.

 

1

1

, а ряд

n2

+ x2

 

 

 

 

 

 

 

 

 

n2

 

1

 

 

 

 

 

 

 

 

 

 

 

 

сходится.

Поэтому, согласно

теореме

3,

данный

ряд

2

 

n=1

n

 

 

 

 

 

 

 

 

 

 

можно

почленно

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

по любому

промежутку

[α; y] R .

Полагая, в частности

α = 0 и

интегрируя

по

промежутку

[0; y], получим

 

 

 

 

 

 

 

52

y

 

 

1

y

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

x

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx =

 

 

 

 

 

 

 

 

dx =

 

arctg

 

 

 

 

 

=

n

2

+ x

2

 

 

 

2

+ x

2

n

 

 

n

 

 

=

 

 

 

= n

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

0

n 1

 

 

 

 

 

n 1 0

1

 

 

 

 

 

 

y

 

n 1

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

arctg

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

n

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin nx

 

Можно ли почленно дифференцировать ряд

?

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

n

 

 

 

Решение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Каждый

член

данного ряда

u

n

(x)

= sin nx

есть

 

функция,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n3

 

 

 

 

 

 

 

 

= cos nx .

дифференцируемая для любого

x R ,

причём u

(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Составим

ряд

из

 

производных

cos2nx .

Этот

 

ряд

 

сходится

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

равномерно по теореме Вейерштрасса, т.к.

 

cos nx

 

1

 

 

 

и члены

 

 

 

 

 

 

 

n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2

 

 

 

 

 

 

его un(x)= cosn2nx непрерывные функции. Поэтому по теореме 4

 

 

 

 

 

nx

 

 

 

 

 

 

 

 

исходный

ряд

sin

 

 

можно

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

 

3

 

 

 

 

 

n=1

n

 

 

 

 

 

 

 

 

 

 

sin nx

 

sin nx

cos nx

причём

n

3

 

=

n

3

 

=

n

2 .

n=1

 

 

 

n=1

 

 

x

n=1

 

8.2.3. Степенной ряд и его свойства

Важнейшим классом функциональных рядов являются степенные ряды.

Определение

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

53

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

n=0

где {an }n=0 последовательность действительных чисел.

ЗАМЕЧАНИЕ 1

Степенной ряд an (x a)n называют ещё рядом по степеням

n=0

(x a).

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

1) Всякий степенной ряд сходится при x = a , т.к. тогда a0 +a1 (x a)+a2 (x a)2 +…+an (x a)n +…= a0 .

2) Существуют степенные ряды, которые сходятся только при

x = a . Например, ряд (x n)n сходится только при x = 0 .

n=1

Действительно, пусть x0 0 - любое число, тогда при n → ∞

величина x0 n , начиная

 

с

 

некоторого номера n

удовлетворяет неравенству:

 

n x0

 

> 2 , то есть общий член

 

 

ряда к нулю не стремится и в силу необходимого признака ряд при x0 0 расходится.

3) Существуют степенные ряды, сходящиеся при любом значении x R . В качестве примера рассмотрим ряд

 

 

x n

 

 

 

 

 

 

 

 

 

.

Зафиксируем

произвольное x = x0 ,

где

x0 R .

 

 

n=1

n

 

 

 

 

 

 

 

 

Очевидно,

что найдётся такое

N ,

что для любого

n > N

 

 

x

 

 

 

1

 

 

 

x

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

<

 

 

,

а тогда ряд

0

 

можно

сравнить со

n

2

 

n

 

 

 

 

 

 

 

 

n=1

 

 

 

 

54

1

 

сходящимся рядом

и убедиться, что исходный ряд

n

n=1

2

 

сходится абсолютно при любом значении x .

4)Существуют степенные ряды сходящиеся при одних значениях x и расходящиеся при других.

Вопрос о структуре области сходимости степенного ряда решает следующая теорема.

Теорема (Теорема Абеля)

Для каждого степенного ряда an (x a)n существует такое

n=0

 

 

 

 

 

 

 

 

 

 

 

 

неотрицательное число r 0 , что ряд an (x a)n

сходится, и

 

 

 

 

 

 

 

 

 

 

 

n=0

 

притом

абсолютно, при

 

x a

 

< r

x (a r; a +r ) и

 

 

расходится

при

 

x a

 

> r

 

x (−∞; a r ) (a +r; +∞).

 

 

 

Число

r

называется радиусом

сходимости, а

открытый

промежуток (a r; a +r ) интервалом сходимости.

 

ЗАМЕЧАНИЕ 2

Относительно поведения степенного ряда на границах

промежутка сходимости, т.е. при

x = a +r и

x = a r общих

 

утверждений высказать нельзя.

Ряды anrn

и an (r )n

 

n=0

n=0

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

Поэтому, принят следующий порядок отыскания области сходимости степенного ряда:

1)При помощи признаков Даламбера или Коши отыскивают промежуток сходимости степенного ряда, решая

относительно

x

неравенства: lim

 

un+1

(x)

 

<1 или

 

 

 

un (x)

 

 

 

n→∞

 

 

 

lim n un (x) <1 .

n→∞

55

2)Исследуют сходимость ряда на концах промежутка сходимости, т.е. при x = a +r и x = a r .

Примеры

1). Найти область сходимости степенного ряда xn .

n=0 n!

 

 

 

 

lim

 

u

n+1

 

 

= lim

 

xn+1 n!

 

 

 

 

= lim

xn

x n!

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un

 

 

(n +1)! xn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

n→∞ n! (n +1) xn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

x

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= lim

 

 

 

 

 

 

= 0 ряд

 

 

 

 

 

 

 

сходится для любого x R .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

n→∞ (n +1)

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

n

 

 

 

 

 

 

 

2). Найти область сходимости степенного ряда

 

 

 

 

 

 

 

 

.

 

 

 

 

n

10

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

Ищем промежуток сходимости

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

un+1

 

 

= lim

 

 

 

xn+1 n 10n

 

 

 

 

 

 

 

=

1

lim

 

 

x

 

 

=

 

 

x

 

 

 

<1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un

 

(n

+1) xn 10n+1

 

 

(1+ 1n)

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

n→∞

 

 

 

10 n→∞

 

 

 

10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

<10 x (10;10)

( r =10 радиус сходимости).

 

 

 

 

 

 

тогда

 

 

 

 

 

 

 

 

 

Исследуем сходимость на границах:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(10)n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x = −10 :

= (1)

 

 

- ряд Лейбница –

 

 

сходится

 

 

 

 

 

 

 

 

 

 

 

 

n=1

n 10

n=1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

условно.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

10

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x =10 :

 

=

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

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

n 10

 

 

n=1 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак,

область

сходимости

 

 

 

степенного

ряда

 

 

 

 

 

 

 

 

 

 

 

 

n 10

n

 

промежуток [10;10).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x 33)

2n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3). Найти область сходимости степенного ряда

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

n

 

 

 

 

56

 

 

 

 

 

 

 

 

 

u

 

=

(x 3)2n1

;

u

 

 

 

 

=

(x 3)2n+1

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

n3

 

 

 

n+1

 

(n +1)3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

u

n+1

 

 

= lim

 

 

(x 3)2n+1 n3

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un

 

(n +1)3 (13)2n1

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x 3)2 n3

 

= (x 3)2 <1,

 

 

 

 

 

 

 

 

 

 

 

= lim

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

3

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

1+

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тогда

 

x 3

 

<1

 

промежуток сходимости (2; 4)

( r =1радиус

 

 

 

сходимости).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1)3

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x = 2 :

 

 

 

 

= −

 

 

 

 

сходится

как

обобщённый

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

n

 

 

 

 

 

 

 

 

 

n=1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

гармонический ряд ( p = 3 >1 ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x = 4 : 1

 

 

 

=

 

 

сходится.

 

 

 

 

 

 

 

 

 

 

3

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

n

 

 

 

 

n=1

 

 

n

 

 

(x 33)

2n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходится при x [2; 4].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак, степенной ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

Свойства степенных рядов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1.

Степенной ряд an (x a)n

 

сходится равномерно на любом

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

замкнутом промежутке [α; β], целиком лежащем в интервале

 

сходимости [α; β] (a r; a +r ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x a)n

 

 

 

 

 

 

2.

Пусть

степенной

ряд

 

an

 

имеет

промежуток

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходимости

 

 

(a r; a +r ),

 

тогда

его

можно почленно

 

дифференцировать

 

 

 

 

 

в

 

 

 

 

этом

промежутке,

т.е.

57

 

n

n1

, причём ряд в правой

 

an (x a)

 

= n an (x a)

 

n=0

x

n=1

 

 

части имеет тот же интервал сходимости (a r; a +r ).

Следствие

Сумма степенного ряда - бесконечно дифференцируемая функция (в промежутке сходимости).

3. Сумма степенного ряда an (x a)n является непрерывной

n=0

функцией в каждой точке его промежутка сходимости

(a r; a +r ).

4. Степенной ряд an (x a)n можно почленно интегрировать

n=0

по любому промежутку, принадлежащему промежутку

сходимости,

т.е.

если

y (a r; a +r ),

то

y

n

(y a)n+1

 

 

an (x a)

dx = an

n +1

, причём ряд в правой

0 n=0

 

n=0

 

 

части имеет тот же промежуток сходимости (a r; a +r ).

8.2.4. Теоремы о коэффициентах степенного ряда. Ряды Тейлора и Маклорена

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

Рассмотрим степенной ряд общего вида: an (x a)n .

n=0

Обозначим его сумму через f (x).

58

Теорема (О связи суммы степенного ряда и его коэффициентов)

Если в некотором промежутке (a r; a +r )

функция

f (x)

 

 

 

 

 

 

(x a)n ,

 

есть

сумма

степенного

ряда

an

т.е.

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

f (x)= an (x a)n , то коэффициенты этого ряда выражаются

 

n=0

 

 

 

 

 

 

 

через

f (x) и число a следующим образом

 

 

 

a0 = f (a), an =

 

f (n) (a)

 

(n =1, 2, 3,).

 

 

 

n!

 

 

 

 

 

 

 

 

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

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

ряд, имеющий тот

же интервал сходимости, что и исходный.

 

 

(x a)n ,

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

дифференцируя

f (x)= an

 

 

n=0

 

получим следующие равенства, справедливые для

любого

x (a r; a +r ).

 

 

 

f (x)= a0 +a1 (x a)+a2 (x a)2 +…+an (x a)n +…

f (x)= a1 +2a2 (x a)+3a3 (x a)2 +…+n an (x a)n1 +… f ′′(x)=1 2a2 +2 3a3 (x a)+…+(n 1) n an (x a)n2 +…

………………………………………………………………………

f (n) (x)=1 2 (n 1) n an +2 3 n (n +1) (x a)+…

………………………………………………………………………

Полагая в написанных выше равенствах x = a , получим f (a)= a0 , f (a)= a1 , f ′′(a)=1 2 a2 ,

59

f ′′′(a)=1 2 3 a3 ,, f (n) (a)=1 2 3 (n 1) n an .

Откуда

 

 

 

 

 

 

 

(a)

 

 

 

′′(a)

 

 

 

a0 = f (a), a1

=

 

f

, a2 =

f

,

 

 

 

1!

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a3 =

 

f ′′′(a)

,

, an =

 

f (n) (a)

,

 

 

 

 

3!

 

 

n!

 

 

 

 

если f (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак,

- сумма степенного ряда an (x a)n ,

то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

это записывают в виде

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(n)

(a)

 

 

 

 

 

 

 

 

f (x)

=

 

(x a)n .

 

 

 

 

n!

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

Определение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

f (x) некоторая

 

бесконечно дифференцируемая

в

окрестности точки x = a функция. Степенной ряд вида

f(a)+ f 1!(a)(x a)+ f ′′2!(a)(x a)2 +…

+ f (nn) !(a)(x a)n +…= f (nn) !(a)(x a)nn=0

,

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

ЗАМЕЧАНИЕ 1

В частном случае, при a = 0 ряд

f (n) (a)(x a)n

n=0 n!

принимает вид

60