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

УМК

.PDF
Скачиваний:
46
Добавлен:
17.03.2015
Размер:
2.61 Mб
Скачать

x

x

x

x

(x)dx + L или

σ(x)dx = u1

(x)dx + u2

(x)dx + L + un

α

α

α

α

 

xσ(x)dx = (u1 (x) u1 (α)) + (u 2 (x) u 2 (α)) + L + (u n (x) u n (α)) + K Но, по

α

условию теоремы, ряд u1 (x) + u 2 (x) +K + u n (x) +K сходится и его сумма равна S(x); сходится по условию и ряд u1 (α) + u 2 (α) +K + u n (α) + K, его

сумма равна S(α), тогда сходится и сумма рядов (u n (x) u n (α)). Поэтому

 

 

 

 

 

 

 

 

n=1

 

 

xσ(x)dx = S(x) S(α).

 

 

 

 

 

 

 

α

 

 

 

 

 

 

 

 

 

Дифференцируя по x обе части равенства, получим

 

 

d x

 

 

 

 

 

 

 

 

 

 

 

σ(x)dx = (S(x) S(α))σ(x) = S(x).

 

 

 

 

 

 

 

dx

α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Остается доказать, что ряд

u n (x) при выполнении условий теоремы

 

 

 

 

 

 

n =1

 

 

 

 

равномерно сходится на отрезке [a; b]. Из равенства

 

 

 

x

 

x

(x)dx

(u n (x) u n

(α))

 

 

 

 

σ(x)dx = ∑ ∫ un

=

в

силу

доказанной

α

 

n=1α

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходимости рядов (u n (x) u n (α)) и u n (α) следует, что

 

 

 

 

 

n =1

 

 

n =1

 

 

 

 

 

 

x

 

 

 

x

 

 

u n (x) = ∑ ∫ un (x)dx + u n (α), но

ряд

∑ ∫ un (x)dx

равномерно

n =1

 

n=1 α

 

n=1

 

n =1 α

 

 

 

 

 

[a; b]

 

 

 

 

 

сходится

на

отрезке

на

основании

теоремы

(1.14), а

u n (α)

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

сходящийся

числовой ряд и

их

сумма, то есть

ряд

u n (x),

равномерно

 

 

 

 

 

 

 

 

 

 

n =1

 

сходится на отрезке [a; b]. Таким образом, при выполнении условий теоремы

 

 

 

 

 

 

ряд

u n (x) равномерно сходится на отрезке

[a; b] и производная от суммы

 

n =1

 

 

 

 

 

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

 

 

 

 

ПРИМЕР 1.15. Почленно дифференцировать функциональный

ряд

sin n x

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

n =1

n 3

 

 

 

 

 

 

Ряд составленный из производных, то

есть полученный из

данного

 

 

cos n x

 

 

 

дифференцированием его членов,

 

,

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

на

всей

 

 

 

n =1

n 2

 

 

 

числовой оси, так как он мажорируется от − ∞ до + ∞ числовым сходящимся

1

 

 

cos n x

 

 

1

sin n x

рядом

 

, а

 

 

 

 

 

. Данный ряд

 

и ряд

 

n 2

n

 

 

n =1 n 2

 

 

 

2

n =1 n 3

cos n x

 

 

 

 

 

 

удовлетворяют условиям теоремы (1.15).

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

по

n 2

n =1

 

 

 

 

 

 

 

 

доказанной теореме S(x) =

cos n x

, то есть S(x)

равна σ(x),

где

 

 

 

n=1 n 2

 

 

 

S(x) сумма исходного ряда.

1.2.3. Степенные ряды

Чаще всего на практике используют функциональные ряды двух типов: степенные и тригонометрические.

ОПРЕДЕЛЕНИЕ 1.18. Степенным рядом называется функциональный ряд вида

 

a0 + a1 x + a2 x2 + K + an xn + K = an xn ,

(1.40)

n=0

 

где a 0 , a1 ,Ka n ,K − числа, называемые коэффициентами ряда.

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

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

1. Если степенной ряд сходится при некотором значении x 0 , не равном

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

при

всяком

 

 

 

значении

 

x ,

для которого

 

x

 

<

 

x 0

 

; если ряд расходится при некотором значении x0 ,

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

 

 

 

 

при всяком x , для которого

 

x

 

>

 

x0

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. По условию теоремы числовой ряд

 

 

 

 

 

 

 

 

 

 

 

 

a0 + a1 x0 + a2 x02 + K + an xn0

+ K.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1.41)

сходится, значит, при

 

n → ∞

 

 

 

a n x 0n 0 , а это значит,

что M > 0 , что

для любого n будет выполняться

неравенство

 

 

 

a n x n

 

 

< M

(члены ряда

 

 

 

 

ограничены). Запишем ряд 1.41 в виде

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

2

 

 

 

x

2

 

 

 

 

n

 

 

 

x

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K

 

 

 

 

 

 

 

K

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ a2 x0

 

 

 

 

+

+ an x0

 

 

 

+

.

(1.42)

 

 

 

 

 

a0 + a1 x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

x0

 

 

 

 

 

x0

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

a0

 

+

 

a1 x0

 

 

 

 

x

 

 

+

 

a2 x02

 

 

 

 

 

 

2

 

 

+ K +

 

an xn0

 

 

 

 

x

 

 

n

+ K.

(1.43)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

x0

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Члены ряда (1.43) меньше соответствующих членов ряда

M + M

 

 

x

 

+ M

 

 

 

x

 

2

+ K + M

 

 

x

 

 

n

+ K.

(1.44)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

x0

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ряд (1.44) при

 

x

 

<

 

x 0

 

представляет

геометрическую

прогрессию со

 

 

 

 

 

x

 

 

 

< 1 и,

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

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

знаменателем

 

 

 

 

x 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

числовых рядов из сходимости ряда (1.44) следует сходимость ряда (1.43).

Из сходимости ряда (1.43) следует абсолютная сходимость ряда (1.42), а

следовательно, и ряда (1.41). Значит, при

 

x

 

<

 

x 0

 

ряд (1.40)

сходится

 

 

 

 

абсолютно.

 

2. Докажем вторую часть теоремы. Пусть в некоторой точке x0

ряд (1.40)

расходится. Тогда он будет расходиться и в любой точке x , удовлетворяющей условию x > x0 . Действительно, если бы в какой-либо точке x ,

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

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

Теорема Абеля приводит нас к следующему утверждению.

Существует такое неотрицательное R , что при R < x < R ряд

a n x n сходится, а при x > R или x < −R расходится (поведение ряда

n =0

при x = ±R подлежит дальнейшему анализу). На самом деле: пусть для всех x < x 0 степенной ряд сходится, а при x > x0 расходится.

 

ряд x0

 

 

 

 

ряд сходится

x0

ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1 x

0

 

 

0

x 0 x1

 

 

 

 

 

 

 

 

 

расходится

 

 

 

 

 

 

 

 

расходится

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Выберем

 

x 0

 

< x1 <

 

x0

 

, если при x = x1 степенной ряд сходится, тогда

 

 

 

 

 

он будет сходится при всех

 

 

x

 

<

 

x1

 

(по теореме Абеля).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряд сходится

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

ряд

 

x0

 

 

 

 

 

 

ряд

 

 

 

 

 

 

x 2 x 0

0

 

x 0

x 2

 

 

 

 

 

 

 

 

 

 

 

 

расходится

 

 

расходится

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Выберем x1 < x 2 < x0 ,

пусть при x = x 2

ряд

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

 

теореме Абеля ряд будет расходится при всех

 

x

 

> x 2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Выбирая последовательно x 3 , x 4 ,K, x n , получим такое R > 0 , что при

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряд сходится

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряд

 

x 2

 

 

 

 

 

x 2

 

ряд

 

 

 

 

 

x1 x 0

0

 

x 0

x1

 

 

 

 

 

 

 

 

 

 

 

 

 

расходится

 

расходится

 

 

 

 

 

 

 

 

 

 

 

 

 

всех x < R ряд a n x n будет сходиться, а при x > R расходиться.

n =0

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

Теорема 1.17. Областью сходимости степенного ряда вида (1.40) является интервал с центром в начале координат.

ОПРЕДЕЛЕНИЕ 1.19. Интервалом сходимости степенного ряда

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

Число R называют радиусом сходимости степенного ряда

 

 

 

ряд сходится

 

 

 

 

 

R

R

 

 

 

 

0

 

 

 

 

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

 

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

 

 

 

 

1.2.4. Определение радиуса сходимости степенного ряда

Дан ряд a 0 + a1x + a 2 x 2 + K + a n x n + K.

Рассмотрим ряд, составленный из абсолютных величин его членов:

a0

 

+

 

a1

 

 

 

x

 

+

 

a2

 

 

 

x

 

2 + K +

 

an

 

 

 

x

 

n + K.

(1.45)

 

 

 

 

 

 

 

 

 

 

 

 

 

Для определения сходимости ряда (1.45) применим признак Даламбера, то есть определим

 

 

 

 

 

 

lim

 

 

u

n +1

 

 

 

= lim

 

a

n

+1

x n +1

 

=

 

x

 

 

 

lim

 

a

n +1

 

 

=

 

x

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a n x n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

u n

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

a n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a n +1

 

 

 

= L .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

a n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L < 1

 

 

 

 

 

 

Тогда

 

по

признаку

 

Даламбера

ряд (1.45)

сходится, если

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

<

1

 

(L > 0 так как ряд 1.45 с положительными членами), и расходится,

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

если

 

x

 

L > 1

 

 

x

 

>

. Итак, из сходимости ряда (1.45) при

 

x

 

<

 

следует

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

x n .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

абсолютная

 

сходимость

 

 

ряда

a n

 

 

 

 

Из

вышеизложенного

интервал

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n =0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x n будет иметь вид

 

 

 

1

1

 

 

 

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

 

a n

 

 

 

 

 

 

;

 

 

. Значит,

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n =0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R =

 

1

 

 

=

 

 

 

 

1

 

 

 

 

= lim

 

 

 

 

an

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1.46)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

an+1

 

 

 

 

an+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично для определения радиуса сходимости можно пользоваться признаком Коши

R =

1

=

1

 

 

 

.

(1.47)

 

 

 

 

 

 

 

 

 

 

L

lim n

an

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

1.2.5. Схема определения интервала сходимости степенного ряда

Дан степенной ряд a n x n . Требуется определить его интервал

n =0

сходимости. Для решения поставленной задачи поступаем следующим образом: а) определяем радиус сходимости степенного ряда по формулам (1.46) и

(1.47);

б) записываем интервал сходимости (R; R );

в) проверяем поведение ряда на концах интервала (x = ±R ). В ряд вместо x подставляем x = R и x = −R , в результате чего получаем знакоположительные или знакочередующиеся числовые ряды, к которым применяем соответствующие признаки сходимости;

г) если

при

x = ±R

числовые

ряды

 

 

 

 

 

 

 

 

 

 

сходятся, то данный степенной ряд сходится на

 

 

 

 

 

 

R

0

R

отрезке [R; R].

x = ±R

 

 

 

Если при

числовые

ряды

 

 

 

 

 

 

 

 

 

 

расходятся, то данный степенной ряд сходится на

 

 

 

 

 

 

R

0

R

интервале (R; R ).

 

 

 

 

 

 

 

 

 

 

 

 

Если при

x = R числовой ряд сходится, а

 

 

 

 

 

 

 

 

 

 

при x = −R расходится или, наоборот, при x = R расходится, а при x = −R сходится, то данный степенной ряд сходится на полуинтервале (R; R] или

[R; R )

(R; R] [R; R )

R 0

R

R 0

R

ПРИМЕР 1.16. Определить интервал сходимости ряда

 

2x

(2x)2

+ (2x)3

+ K + (1)n+1 (2x)n

+ K.

 

 

1

 

 

 

 

2

 

 

3

 

 

 

 

 

 

n

 

 

 

Решение. Определим радиус сходимости по формуле (1.46), для чего

запишем a n и a n +1 .

 

 

 

 

 

 

 

 

 

(1)n+2 2n+1

 

 

a n

=

(1)n+1 2n

 

 

a n+1 =

 

 

 

 

n

 

 

 

 

 

и

n + 1

, тогда

 

 

 

 

 

 

 

 

 

 

(n + 1)

 

 

 

 

 

R = lim

a

n

 

= lim

 

 

2n

=

1

. Так как

R =

1

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

a n+1

 

 

 

n

2n +1

 

2

2

n→∞

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

будет иметь вид

 

 

;

 

.

Проверим поведение ряда на концах интервала.

2

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

Пусть x = −

1

, тогда получим числовой ряд

1

1

1

 

−K −

1

−K.

 

 

 

n

2

 

2

3

 

 

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

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

x =

1

 

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

ряд

 

 

 

 

 

 

 

 

 

2

 

 

 

1

1

+

1

1

K − (1)n+1

1

+ K, который сходится, так как для

него

 

 

 

n

2

3

4

 

 

 

 

 

выполняются условия теоремы Лейбница, а именно: члены ряда убывают по

абсолютной величине, то есть 1 >

1

>

1

 

> K и

lim u n

= lim

1

= 0 .

 

 

 

2

3

 

n→∞

n→∞ n

 

Следовательно, данный степенной ряд сходится на полуинтервале (12.;12].

Отметим, что если R = 0 , то интервал (R; R ) сходимости вырождается

в точку x = 0 , если R = ∞, то интервал сходимости (− ∞; ). ПРИМЕР 1.17. Определить интервал сходимости ряда

1 +

x

+

x 2

+K +

x n

 

 

+K.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

1 2!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Вычислим радиус сходимости

 

 

 

 

 

 

a n

 

= lim

 

(n +1)!

 

= lim

 

 

n!(n +1)

 

 

 

(n +1)

 

 

R = lim

 

 

 

 

 

= lim

 

 

= ∞. Таким

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

a

n +1

 

n→∞

 

 

n!

 

n→∞

 

n!

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

образом, интервал сходимости этого ряда состоит из всех вещественных чисел x (− ∞; ).

ПРИМЕР

1.18.

Определить

интервал

сходимости

ряда

x + x 2 2!+K + x n n!+K.

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

Решение. Вычислим радиус сходимости R = lim

 

 

=

 

(n +1)!

 

 

 

 

 

 

 

 

n→∞

 

 

 

1

 

 

= lim

 

 

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

n +1

n→∞

 

 

 

 

 

 

 

 

 

есть данный ряд сходится лишь при x = 0 .

 

 

 

 

 

 

1.2.6. Характер сходимости степенного ряда Теорема 1.18. Степенной ряд сходится на любом отрезке, лежащем

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

Доказательство. Пусть отрезок [a; b] лежит внутри интервала сходимости

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(R; R )

ряда

a n x n . Тогда

найдется

 

такое

число r (0 < r < R ), что

 

 

n =0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

отрезок

[r; r]

будет

содержать

отрезок

 

[a; b].

Ряд

a n x n

абсолютно

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n =0

 

 

 

 

 

 

 

 

 

 

 

 

 

r n . Но для всех

 

сходится при x = r , то есть сходится ряд

a n

x отрезка

 

 

 

 

 

 

 

 

n =0

 

 

 

 

 

 

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

 

a n x n

 

 

a n

 

r n , которое означает, что ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a n x n

на отрезке

[r; r]мажорируется

числовым

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

n =0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно, по признаку Вейерштрасса ряд a n x n равномерно сходится

n =0

на этом отрезке, в частности, он равномерно сходится и на отрезке [a; b], что и требовалось доказать.

Из доказанной теоремы вытекает следующее следствие.

Следствие 1.2. Сумма степенного ряда является непрерывной функцией на интервале сходимости.

1.2.7. Интегрирование и дифференцирование степенных рядов

 

 

 

 

 

 

 

 

 

 

 

 

< R ,

Теорема 1.19. Степенной ряд a n x n в промежутке [0; x], где

x

 

 

 

n =0

 

 

 

 

 

 

 

 

 

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

xS(x)dx = a 0

x + a1

x 2

+ a 2

x 3

 

+ K +

a n1

x n + K,

 

 

 

 

 

 

 

0

2

3

 

 

 

n

где S(x)сумма ряда.

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Выберем число r

между

 

x

 

и R . Тогда в силу теоремы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1.18) ряд a n x n

сходится равномерно на отрезке [r; r], а по теореме о

n =0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

почленном интегрировании функциональных рядов (1.36) на отрезке [0; x] ряд

можно почленно интегрировать.

Теорема 1.20. Степенной ряд a n x n внутри его интервала

n =0

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

 

S(x)= n a n x n 1 = a1 + 2 a 2 x +K + n a n x n1 + K,

 

 

 

 

 

 

 

 

 

 

 

n =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где S(x)сумма степенного ряда a n x n .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n =0

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Для любого x = x 0 , R < x 0 < R

можно выбирать

два числа

 

 

r0 и

 

 

r так,

чтобы

 

x 0

 

< r0 < r < R .

Ввиду

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a n

r n

(теорема 1.18) его общий член ограничен:

 

 

 

 

 

 

n =0

 

a n

 

 

r n L

(n = 1, 2,K,

L = const).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда при

 

x

 

r0

 

 

 

 

 

 

 

 

 

r

n1

 

 

 

r

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x n 1

 

 

 

 

 

r n 1

 

 

 

 

 

 

r n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

a

 

 

 

 

n

a

 

= n

a

 

 

 

0

 

L

 

n

0

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

n

0

 

 

 

 

 

n

 

r

 

0

 

r

где L0 =

L

= const .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Члены ряда

 

 

n a n x n 1

для указанных значений

 

x не превосходят

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

соответствующих членов числового ряда:

 

 

r

 

 

 

r

 

2

r

n1

 

 

 

L0

+ L0 2

0

+ L0

 

3

0

 

+ K + L

0 n

0

 

+K.

(1.48)

 

 

 

 

 

r

 

 

r

 

r

 

 

 

Принимая во внимание, что

r0

 

< 1, ряд (1.48) по признаку Даламбера сходится.

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

на отрезке [r; r] сходится

 

 

 

Поэтому

ряд

n a n x n 1

равномерно,

а по

 

 

n =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

теореме

о

почленном дифференцировании

функциональных

рядов

ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[r; r]

 

a n x n

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

 

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

и, в

n =0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

частности, при x = x 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следствие 1.3. Степенной ряд

a n x n

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

 

 

 

 

 

 

 

 

 

 

 

n =0

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a n x n +1

Замечание 1.7. В теоремах (1.19) и (1.20) показано, что ряды

 

 

n + 1

 

 

 

 

 

 

 

 

 

 

 

 

 

n =0

 

 

 

сходятся на интервале (R; R ),

 

 

 

 

 

и n a n x n 1

 

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

их радиусы

n =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходимости не

меньше

R . Но,

в свою

очередь

ряд a n x n

получается

 

 

 

 

 

 

 

 

 

 

 

 

n =0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a n x n +1

 

 

 

почленным

 

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

ряда

 

и

почленным

 

 

 

 

 

 

 

 

 

 

n =0

n + 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

интегрированием n a n x n 1 , так что R не может быть меньше упомянутых

 

R .

 

n =1

 

вытекает,

 

 

 

 

 

 

 

радиусов

Из

сказанного

что

радиусы сходимости рядов

a

 

x n +1

 

 

 

 

 

 

 

 

 

a n x n ,

 

n

 

 

и

n a n x n 1

равны между собой.

 

 

 

 

 

 

 

 

 

 

n =0

n =0

n + 1

n =1

 

 

 

 

 

 

 

 

 

1.2.8. Ряды по степеням (x x0 )

Функциональный ряд вида

(x x0 )n = a0

+ a1 (x x0 )+ a2 (x x0 )2 + K + an (x x0 )n + K(1.49)

an

n=0

 

 

называется степенным рядом по степеням разности (x x0 ).

Нетрудно заметить, что при x 0 = 0 из ряда (1.49) получается известный

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

степенной

ряд a n x n .

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

a n x n

является

частным

 

 

 

 

n =0

 

 

 

 

 

n =0

 

 

 

 

 

 

случаем ряда (1.49).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для определения интервала сходимости ряда (1.49) сделаем в нем замену:

 

x x 0 = X . Тогда ряд (1.49) примет вид

 

 

 

 

 

 

 

 

 

 

 

 

 

a0 + a1 X + a2 X2 +K + an Xn +K.

 

 

 

 

 

 

 

(1.50)

 

Ряд (1.50) разложен по степеням X . Пусть

 

 

 

 

 

 

 

 

 

интервал

сходимости

ряда

(1.50)

 

 

 

 

 

 

 

 

 

 

 

R < X < R .

 

 

 

 

 

R

 

 

R

x

 

 

Отсюда следует, что ряд (1.50) будет

 

 

 

 

 

 

 

 

0

 

 

 

сходиться

при

значениях

x ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

неравенству

 

 

 

 

 

 

 

 

 

R < x x 0 < R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

или

 

 

 

 

 

 

 

 

 

 

 

x 0 R < x < x 0 + R ,

и

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

 

0 R

 

 

x 0 + R x

 

 

x x 0

 

> R .

 

 

 

 

x

x 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

будет

интервал

 

x 0 R < x < x 0 + R с центром в точке x 0 .

 

 

 

 

 

 

 

 

 

Замечание 1.8. Все сказанное о степенных рядах по степеням x остается

справедливым и для степенных рядов по степеням разности x x 0 в

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

(x + 8)n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ПРИМЕР 1.19. Найти область сходимости ряда

 

.

 

 

Решение. Найдем радиус сходимости

 

 

 

 

 

 

 

 

 

n=1

 

 

n 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

+

2

 

+

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a n

 

 

 

 

(n +1)2

 

 

 

n

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n 2

 

 

 

 

 

R = lim

 

 

= lim

= lim

 

 

 

 

 

 

 

 

 

= 1.

 

 

 

a n+1

 

n

2

 

 

 

 

 

 

n 2

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

n→∞

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x + 8

 

< 1 1 < x + 8 < 1 9 < x < −7 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x = −7 получим числовой ряд

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

При

 

 

 

, который сходится,

так как

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n =1 n 2

 

 

 

 

 

 

 

 

 

 

является обобщенным гармоническим рядом с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p = 2 > 1.

 

 

x = −9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При

 

 

получим

числовой

 

 

 

9

 

 

 

7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

ряд (1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

,

 

 

для

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n =1

n 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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