Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Ожерелкова,Рубин,Джемесюк.Ряды.pdf
Скачиваний:
43
Добавлен:
24.03.2015
Размер:
410.49 Кб
Скачать

 

 

(k )

(k )

 

an xn

 

= (an xn )

n=0

 

 

n=0

 

Задачи. Найти области сходимости степенных рядов:

 

(1)

n+1

x

n

 

60

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3x)

n

63.

(1)n

 

 

 

 

n=1

 

 

 

 

 

 

 

n

 

 

 

x

n

 

 

 

 

 

 

66.

 

 

 

 

 

n 10

n1

 

 

 

 

n=2

 

 

 

 

 

 

 

xn1

69.n=2 n 4n ln n

 

(x 2)

n

72.

 

 

 

 

 

 

 

 

n

 

 

 

n=1

 

 

 

 

x

n

 

 

75.

 

 

 

 

n(n +1)

 

n=2

 

 

 

 

 

 

78.

(4)n xn

n=1

81. (1)n+1 xn

n=2 3 n3 1

2

n

x

n

 

84.

 

 

 

 

 

 

 

 

 

 

(2n +1)2 3n

 

n=1

 

61. 2n xn

n=1

64. xn2

n=1

67.5n (x 2)n

n=1 n!

70. n +1 n xn n=1 2n +1

73. (n 1)3n1 xn1

n=1

76.ln(nn++11) xn+1n=1

79. 3n2 xn2

n=1

82.(1)n1 xn n=1 (2n)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

62.

(1)n1 n!xn

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

65.

(1)n (x 1)n

 

 

 

 

 

n

2

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

68.

n (x + 4)n

 

 

 

 

(n +1)3

n

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

71.

2n1 x2(n1)

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1)

n+1

x

2n1

74.

 

 

 

 

 

 

 

(2n 1) (2n 1)!

 

n=1

 

(1)

n1

(x

3)

n

77.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

2

 

 

n

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

(1)n (x +1)n

 

 

80.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 2

n

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

(1)

n

x

2n1

 

 

 

 

83.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n +1

 

 

 

 

 

n=1

5

 

 

 

 

 

(nx)

n

85.

 

(Указание: при исследовании сходи-

n!

 

n=1

 

 

мости на правом конце интервала учесть, что факториалы больших чисел мо-

гут быть выражены приближенно формулой Стирлинга n!n n 2πn ).

e

§5. Ряды Маклорена и Тейлора

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

31

дифференцируемая в окрестности точки x = 0, может быть представлена в виде суммы степенного ряда или, другими словами, может быть разложена в степенной ряд

 

f

(x) = a

0

+ a x + a

2

x2 +K + a

n

xn +K

 

 

 

 

 

 

 

 

 

 

 

 

(5.1)

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Выразим коэффициенты ряда через

 

f (x) . Найдем производ-

ные функции

f (x) , почленно дифференцируя ряд n раз:

 

 

 

 

f

 

+ 2a2 x + 3a3 x

2

+ 4a4 x

3

K + nan x

n1

 

+K

 

 

 

 

 

 

 

 

 

 

 

 

(x) = a1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

′′

 

 

+ 3 2a3 x + 4

3a4 x

2

 

+K

+ n(n

1)an x

n2

+K

 

 

 

 

(x) = 2a2

 

 

 

 

 

 

 

 

 

f

′′′

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n3

 

+K

 

 

 

 

(x) = 3 2a3 + 4 3 2a4 x +K + n(n 1)(n 2)an x

 

 

 

 

 

 

 

…………………………………………………………….

 

 

 

 

f (n) (x) = n(n 1)(n 2) K 3 2 1 an

+K

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

Полагая в полученных равенствах

 

x = 0, получим

 

 

f (0) = a0 ,

(0) = a1 ,

 

f

(0) = 2 1 a2

 

= 2!a2 ,

 

f

 

(0) = 3 2 1 a3 = 3!a3 , …,

 

 

 

′′

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

′′′

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (n) (0) = n(n 1)(n 2) K 3 2 1 an

= n!an

, откуда

 

 

 

f

 

(0)

 

 

 

 

 

 

 

 

 

 

 

 

f

(0)

 

 

 

 

 

 

 

f

(0)

 

 

 

 

 

 

 

 

 

 

 

 

a0

= f (0) , a1 = f

(0) , a2

=

 

 

 

′′

 

 

 

 

, a3

 

 

=

 

′′′

 

 

,…, an

=

 

 

 

(n)

 

 

,…

 

 

 

2!

 

 

 

 

 

 

 

3!

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подставляя

значения

 

коэффициентов

a0 , a1, a2 , K , an , K , в

(5.1), получим ряд:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

′′

 

 

 

 

2

 

 

f

′′′

 

 

 

3

 

 

 

 

 

f

(n)

(0)

 

n

 

 

 

 

 

 

 

 

 

 

 

 

f (0)

 

 

 

 

 

(0)

 

 

 

 

 

 

 

 

 

 

 

 

(5.2)

f (x) = f (0) + f (0)x +

 

 

 

x

 

+

 

 

 

 

 

 

 

x

 

+K

+

 

 

 

 

x

 

 

+K

2!

 

 

 

 

 

 

 

3!

 

 

 

 

 

n!

 

 

 

называемый рядом Маклорена.

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

дящимся не к функции f (x) .

Если представить ряд Маклорена в виде f (x) = Sn (x) + rn (x) , где Sn (x) – n -я частичная сумма ряда, rn (x) – n -й остаток ряда,

то можно сформулировать следующую теорему:

Теорема. Для того чтобы ряд Маклорена сходился к функции f (x) , необходимо и достаточно, чтобы при n → ∞ остаток ряда

32

стремился к нулю, т.е. lim r (x) = 0 для всех значений

x из ин-

n→∞ n

 

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

Можно доказать, что если функция f (x) разложима в ряд

Маклорена, то это разложение единственное.

Замечание. Ряд Маклорена является частным случаем ряда Тейлора:

f (x) = f (x0 ) + f (x0 )(x x0 ) +

f ′′(x0 )

(x x0 )2

+K +

f (n) (x0 )

(x x0 )n +K

2!

n!

 

 

 

 

при x0 = 0

Ряд Тейлора тесно связан с формулой Тейлора:

f (x) = f (x0 ) + f (x0 )(x x0 ) +

f ′′(x0 )

(x x0 )2

+K +

f (n) (x0 )

(x x0 )n + Rn (x),

2!

n!

 

 

 

 

где Rn (x) – остаточный член формулы Тейлора, который можно записать в форме Лагранжа:

Rn (x) =

 

f (n+1) (ξ)

(x x0 )n+1 ,

ξ (x0 ; x) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n +1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

1. y = ex

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Имеем f (x) = f

 

′′

 

 

=K

= f

(n)

(x)

= e

x

;

 

(x) = f (x)

 

 

 

 

 

f (0) = f

 

f

′′

 

 

 

 

 

(n)

(0) = e

0

 

=1

, и по формуле (5.2)

(0) =

 

(0) =K = f

 

 

 

 

получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2

 

x

3

 

x

n

 

 

 

x

n

 

 

 

 

ex =1 + x +

 

+

 

+K +

 

 

+K =

 

.

 

 

(5.3)

 

 

 

 

n!

 

 

 

 

 

 

2!

 

3!

 

 

 

n=0

n!

 

 

 

 

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

2. y = sin x

Имеем:

 

f (x) = sin x ,

 

f

(x) = cos x ,

f (x) = −sin x ,

 

 

 

 

 

 

 

 

 

 

′′

′′′

 

f

(4)

(x) = sin x , откуда

 

 

 

 

f (x) = −cos x ,

 

 

 

 

 

f (0) = 0 ,

 

 

′′

,

′′′

,

f

(4)

(0) = 0 и т.д.

f (0) =1,

f (0) = 0

f

(0) = −1

 

33

Очевидно, что производные четного порядка f (2n) (0) = 0 , а

нечетного порядка f (2n1) (0) = (1)n1 , n =1, 2, 3,K , и по формуле (5.2) имеем

 

 

x

3

 

 

x

5

 

 

n+1

x

2n+1

 

 

 

n

x

2n+1

 

sin x = x

 

 

 

+

 

 

 

+K + (1)

 

 

 

 

+K = (1)

 

 

(5.4)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3!

 

5!

 

(2n +1)!

n=0

(2n +1)!

 

Область сходимости ряда (−∞; ) .

 

 

 

 

 

 

 

 

3. y = cos x .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассматривая аналогично функции y = sin x , получим:

 

 

 

x

2

 

 

 

x

4

 

 

n

x

2n

1)

n

x

2n

 

cos x =1

 

 

+

 

 

+K + (1)

 

 

+K = (

 

 

 

(5.5)

 

 

 

 

 

 

 

 

 

 

(2n)!

 

2!

4!

(2n)!

 

n=0

 

 

Область сходимости ряда (−∞; ) .

4. y = (1+ x)m , где m – любое действительное число.

Имеем f (x) = (1+ x)

m

, f

 

= m(1+ x)

m1

,

 

 

(x)

 

 

′′

 

 

m2

,

f

′′′

 

 

 

2)(1+ x)

f (x) = m(m 1)(1+ x)

 

 

 

(x) = m(m 1)(m

f (n) (x) = m(m 1)(m 2)K (m n +1)(1 + x)mn , …

При x = 0: f (0) =1,

 

f (0) = m ,

 

f (0) = m(m 1) ,

 

 

 

 

 

 

 

 

 

′′

 

 

 

′′′

 

 

…,

 

f

(n)

(0) = m(m 1)(m 2)K (m

f (0) = m(m 1)(m 2) ,

 

 

 

и по формуле (5.2) получаем

 

 

 

 

 

 

 

 

(1 + x)m =1 + mx + m(m 1) x2

+ m(m 1)(m 2)

x3 +K

 

 

2!

 

 

 

 

 

 

 

3!

 

K + m(m 1)K (m n +1)

xn +K

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

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

m3 , …,

n +1)

(5.6)

 

 

 

 

 

 

 

 

 

 

 

 

 

m(m 1)K (m n +1)

 

 

 

 

Ряд,

 

составленный из модулей

 

 

 

x

 

n ,

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

исследуем с помощью признака Даламбера:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m(m 1)K (m n)

 

 

 

x

 

n+1

 

 

m(m 1)K (m n +1)

 

 

 

x

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

:

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n +1)!

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

34

=

 

x

 

lim

 

m n

 

=

 

x

 

<1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

n +1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно, интервал сходимости ряда (1; 1) . На концах

интервала при x = ±1 сходимость ряда зависит от конкретных значений m .

Ряд (5.6) называется биномиальным. Если m – целое положительное число, то биномиальный ряд представляет формулу бинома Ньютона, так как при n = m +1 сомножитель m n +1 равен нулю, следовательно, n -й член ряда и все последующие равны нулю, т.е. ряд обрывается, и вместо бесконечного разложения получается конечная сумма.

Выпишем некоторые разложения функции y = (1+ x)m при различных m .

m = −1:

1

=1 x + x2 x3 +K + (1)n xn +K

1 + x

 

Если в это разложение подставить

1 +1x2 =1 x2 + x4 x6 +K + (1)n x2n

= (1)n xn , x (1; 1) (5.7)

n=0

x2 вместо x , получим:

 

+K = (1)n x2n

(5.8)

n=0

m =12 :

 

 

 

 

 

 

 

 

1 x

1

 

x2

 

 

 

 

1 3

 

 

x3

 

 

 

 

=1 +

 

+

 

 

 

 

 

+K

1 + x

 

 

 

 

 

 

2 4

2 4 6

 

 

 

1

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

n1 1 3 5 K (2n 3) n

=1 +

2

 

x +

(1)

 

 

 

 

 

2

n

n!

 

 

 

x

 

 

 

 

 

n=2

 

 

 

 

 

 

 

 

 

 

 

 

m = −1 2 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

=1

1 x +

 

1 3

x2

 

1 3 5

x3

+K

 

 

 

 

 

 

 

 

2 4 6

 

1 + x

 

 

2

 

 

2 4

 

 

 

 

 

 

 

 

 

 

n1 1 3 5 K (2n 1) n

 

=1 + (1)

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

2

n

n!

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

5.

y = ln(1+ x) .

 

 

 

 

 

 

 

 

 

 

 

 

=

, x (1; 1)

=

, x (1; 1)

(5.9)

(5.10)

35

Получить разложение для этой функции, непосредственно вычисляя коэффициенты с помощью производных, не очень просто, поэтому мы воспользуемся разложением (5.7) и сво й- ством 2) степенных рядов. Интегрируя почленно равенство (5.7)

в интервале (0; x) , где

 

x

 

<1, с учетом того, что

 

 

x

dx

= ln1+ x

 

0x

= ln(1+ x) , получим

 

 

 

 

 

 

 

 

 

 

 

 

 

1+ x

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2

 

x

3

 

 

(1)

n

x

n+1

 

n

x

n+1

 

ln(1 + x) = x

 

 

+

 

−K

+

 

 

+K = (1)

 

 

(5.11)

 

 

 

 

 

n +1

 

 

 

 

 

 

2

3

 

 

n=0

n +1

 

Область сходимости ряда (после выяснения сходимости на концах интервала) есть (1; 1] .

6. y = arctgx

Проделаем то же самое, что и в предыдущем случае, воспользовавшись разложением (5.8):

 

 

 

 

x

dx

 

 

 

x

 

 

 

 

 

 

arctgx =

 

 

= (1 x2

+ x4 x6

+K + (1)n x2n +K )dx =

1 + x

2

 

 

 

 

0

 

 

 

0

 

 

 

 

 

(5.12)

 

 

 

x

2n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= (1)n

 

 

 

 

 

 

 

 

 

 

 

2n +1

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

Область сходимости ряда (1; 1] .

 

 

7. y = arcsin x

 

 

 

 

 

 

 

 

 

Воспользуемся

разложением (5.10), подставив в него x2

вместо x :

 

 

 

 

 

 

 

 

 

 

 

 

1

 

=1 + 1 x2

+

1 3

x4

+

1 3 5

x6 +K =

 

 

 

 

 

2 4 6

 

1 x2

 

 

2

 

 

 

 

2 4

 

 

 

 

 

1 3 5 K (2n 1)

 

2n

 

=1 +

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

2

n

 

n!

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

Интегрируя в интервале (0; x) , где x <1, получаем:

36

 

 

x

 

dx

 

 

 

x

 

1 3 5 K (2n 1)

 

2n

 

arcsin x =

 

 

 

 

 

 

 

=

1

+

 

 

 

 

x

dx =

 

0

 

 

 

 

 

2

n

n!

 

 

 

 

 

 

 

 

1 x2

0

 

n=1

 

 

 

(5.13)

1 3

5 K (2n 1)

 

x2n+1

 

 

 

 

 

 

 

 

 

 

= x +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

n

n!

 

 

(2n +1)

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

Область сходимости ряда [1; 1)

Можно доказать, что ряды, приведенные в формулах (5.3) – (5.13), сходятся к функциям, для которых они составлены.

При разложении более сложных функций часто используют готовые разложения (5.3) – (5.13).

Примеры

1) Разложить в ряд Маклорена функцию f (x) = cos2 x Решение. Воспользуемся известной тригонометрической

формулой cos2 x =

1+ cos 2x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

Разложим в ряд Маклорена функцию cos 2x ,

заменяя в раз-

ложении (5.5)

x на 2x :

 

 

(1)n

(2x)2n

 

cos 2x =1

(2x)2

(2x)4

+

 

 

2!

+

 

4!

−K

 

(2n)!

+K =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=1

 

22

x2 + 24 x4 −K +

(1)n 22n

x2n

+K

 

 

 

 

 

2!

 

4!

 

 

 

(2n)!

 

 

 

 

 

 

Тогда

1 +

1 cos2x =

 

 

 

 

 

 

 

 

cos2 x =

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

4

 

 

 

n

2n

 

 

 

=

1 +

1

 

2

 

x

2 +

2

x4

−K +

(1) 2

 

 

=

 

1

 

 

x2n +K

 

2

 

2

 

 

2!

 

 

4!

 

 

(2n)!

 

 

 

=

1

 

2

 

x2 +

23

x

4 −K + (1)n 22n1

x2n +K

 

 

2!

4!

 

 

 

 

 

 

 

 

 

(2n)!

 

 

 

 

 

 

Это

 

и

есть

 

разложение

в

ряд

 

Маклорена функции

f (x) = cos2 x . Очевидно, что оно справедливо при любом x .

37