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

Ряды / Ryady_3

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

Лекция № 3

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

Определение 1. Ряд, члены которого являются функциями, называется функциональным рядом, т.е. это ряд вида

 

u1(х) +u2 (х) +... +un (х) +... = un (х) ,

(1)

n=1

где un (х) (n =1, 2,...) являются непрерывными функциями в некоторой области D. Определение 2. Множество значений x, при которых ряд (1) сходится,

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

 

 

 

 

 

 

 

 

( х 1)2 n

 

Пример 1. Найти область сходимости ряда

 

 

 

.

 

 

n

2

 

 

 

 

 

 

 

 

 

n =1

 

 

 

 

Замечаем, что ряд содержит только положительные члены, поэтому применим

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

 

 

 

 

 

 

 

 

 

 

lim

u

n+1

(x)

= lim

(x 1)2n+2 n2

=(x 1)2

<1 | x 1|<1

0 < x < 2.

 

 

 

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

n→∞ un (x)

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x =0

 

1

 

 

 

 

Исследуем

на концах интервала

:

 

 

ряд

сходится. Область

 

2

 

 

 

 

 

 

x =2

 

n=1 n

 

 

 

сходимости D =[0; 2] .

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

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

Sn

(x) = uk (x) ;

S (x) = lim Sn (x) ;

Rn (x) = S (x) Sn (x).

 

 

 

k =1

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

lim Rn ( x)

= 0 .

 

 

 

 

При этом,

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

то

 

 

 

 

 

 

 

 

 

 

n →∞

 

 

 

 

 

 

 

 

 

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

 

 

Определение 3. Функциональный ряд (1) равномерно сходится в некоторой

области

D

к

своей сумме

S (x)

,

если

ε > 0

n = N

, что при

n > N :

| S (x) Sn (x) | < ε

для всех

x D .

 

 

 

 

 

 

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

 

 

Теорема (Вейерштрасса). Если все члены

 

ряда

(1)

 

удовлетворяют

неравенству

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| un (x) |an ,

n =1, 2

,...

 

 

(2)

 

 

 

 

 

 

 

 

 

 

 

 

 

для x из области D и ряд аn < ∞ , то ряд (1)

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

области.

 

 

 

n =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 2. Исследовать на равномерную сходимость ряд

sin nx

.

n

 

 

 

 

 

 

 

 

 

 

n = 1

2

 

 

| sin nx |

 

1

1

 

sin nx

Так как

x R и ряд

сходится, то

ряд

n

n

n

n

 

2

2

n =1

2

 

n =1

2

сходится равномерно x (−∞; ∞).

Основные свойства равномерно сходящихся рядов

1. Сумма равномерно сходящегося ряда из непрерывных функций на [a ; b] также является непрерывной функцией в этой области.

2. Равномерно сходящийся ряд из непрерывных функций на [a ; b] можно почленно интегрировать и дифференцировать, если ряд, составленный из производных, сходится равномерно.

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

Определение 4. Функциональный ряд вида

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a0 + a1 (x - x0 ) + a2 (x - x0 )2 +... + an (x - x0 )n +... = an (x - x0 )n

(2)

называется степенным рядом, где

 

 

 

 

 

 

 

n = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a0 ;

a1 (x x0 ) ; a2 (x x0 )2 ; ...; an (x x0 )n ;... − члены ряда;

 

 

 

 

 

a0 ;

a1 ;

a2 ; ...; an ;... − коэффициенты ряда.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание 1. С помощью замены x - x = z ряд (2) принимает вид an z n

,

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

n = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

поэтому в дальнейшем можно считать,

что x0 = 0

 

 

и рассматривать ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an x n

= a0 + a1 x + a 2 x 2

+ ... + a n x n + ... .

 

(3)

 

 

 

 

 

 

n = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¹ 0 , то

 

 

1) Если степенной ряд (3) сходится при некотором значении x0

он

является сходящимся и причем абсолютно x : | x |< | x0 | ;

 

 

 

 

 

 

 

 

2) если

 

ряд (3)

расходится

при

некотором

x0′ ,

то

 

он

расходится

x : | x | > | x0′ |.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) Так как ряд an x0n

сходится, то lim an x0n

= 0 и n : | an x0n| < M .

 

 

 

 

 

 

 

 

n = 0

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Преобразуем ряд (3):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

n

 

 

x

 

 

n

 

x

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an xn = an

 

 

x0n

<

| an x0n |

 

 

 

 

 

= M

 

 

 

 

< ∞ ,

 

 

 

 

 

x0

 

 

 

 

x0

 

 

 

n = 0

 

 

 

n =0

 

x0

 

n =0

 

 

 

 

 

n =0

 

 

 

 

 

 

так как q =

 

 

x

 

<1 и

ряд,

как сумма

бесконечно

убывающей

 

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

 

x0

 

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

 

 

 

 

 

 

 

 

 

 

 

 

2) Пусть при некотором x0

ряд (3) расходится. Тогда он будет расходиться при

| x | >| x0′| . Действительно, если бы в какой либо точке х ряд сходился, то из выше

доказанного,

 

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

Это

противоречие доказывает вторую часть теоремы. Чтд.

Следствие. Теорема Абеля позволяет определить расположение точек сходимости и расходимости степенного ряда: областью сходимости является

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение

5. Число R > 0

называется

радиусом

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

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

при x :

 

| x |< R и

расходится

 

при

 

x :

| x | > R , а

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из теоремы следует,

что интервалы

сходимости рядов an xn

и

 

 

| an xn |

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n = 0

 

 

n = 0

совпадают. Тогда по признаку Даламбера получаем

 

 

 

 

 

 

 

 

 

 

 

 

| a

|| xn+1|

 

 

 

| a

|

 

 

 

 

| a |

 

 

 

 

 

 

 

 

 

lim

 

n+1

 

 

 

 

=| x | lim

 

 

n+1

 

 

<1 | x |< lim

 

n

 

= R .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

 

 

 

 

 

n→∞ | a || xn |

 

 

n→∞ | a |

 

 

 

n→∞ | a

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

n+1

 

 

 

 

 

 

 

 

 

Окончательно,

 

 

R = lim

| an |

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞ | a

n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

Аналогично,

используя радикальный признак Коши,

 

R = lim

 

 

 

 

 

.

 

 

 

 

 

 

 

 

|

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n →∞ n | a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

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

Из теоремы следуют свойства степенных рядов:

1.Степенной ряд сходится равномерно на любом отрезке, принадлежащем интервалу сходимости.

2.В интервале сходимости степенной ряд сходится к непрерывной функции и его можно почленно интегрировать и дифференцировать. При этом ряд, составленный из производных, имеет тот же радиус сходимости, что и данный ряд.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

n

 

 

 

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

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n = 0 n!

 

 

 

 

R = lim

| an |

 

 

= lim

(n +1)!

= lim

(n +1)n!

= ∞.

 

 

 

 

 

 

 

 

Вычислим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞ | a

n+1

|

 

n→∞ n!

n→∞

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Область сходимости совпадает с интервалом сходимости (−∞; ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2x 1)2n

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

 

 

 

 

 

.

9

n

(n +1)

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n = 0

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

u (x) =

(2x1)2n

, u (x) =

(2x1)2(n+1)

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

9n(n+1)2

n+1

 

9n+1(n+2)2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un+1(x)

 

 

(2x−1)2n+29n(n+1)2

 

 

 

lim

(n+1)2

=

| 2x−1|2

 

lim

 

 

= lim

 

 

 

=| 2x−1|2

<1.

 

9n+1(n+2)2(2x−1)2n

 

 

n→∞

un(x)

n→∞

 

n→∞9(n+2)2

9

 

 

 

 

 

 

 

 

| 2x − 1 |2

 

 

 

 

 

 

 

 

Решим неравенство

 

< 1

 

 

 

 

 

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| 2x − 1 |2 < 9 | 2x − 1 |< 3 − 3 < 2x − 1 < 3

− 2 < 2x < 4 −1 < x < 2.

Получили x (−1;2). Исследуем сходимость на концах интервала, подставив x = −1 и x = 2 в исходный ряд:

1

 

 

 

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

 

 

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

 

 

 

(n +

1)

2

n = 0

 

 

обобщенный гармонический с p = 2 > 1; при x = 2 получаем такой же ряд.

Окончательно, областью сходимости является отрезок [−1; 2].

Соседние файлы в папке Ряды