- •В. Н. Веретенников
- •ТЕОРИЯ РЯДОВ
- •Учебное пособие
- •ПРЕДИСЛОВИЕ
- •1. Основные понятия и свойства
- •1.1. Числовой ряд. Сумма ряда
- •1.2. Свойства сходящихся рядов
- •1.3. Критерий Коши сходимости ряда
- •2. Положительные ряды
- •2.1. Признаки сравнения
- •2.2. Признак Даламбера
- •2.3. Признак Коши
- •2.4. Интегральный признак сходимости ряда
- •3. Знакопеременные ряды.
- •Абсолютно и условно (неабсолютно) сходящиеся ряды
- •4. Знакочередующиеся ряды. Признак Лейбница
- •ФУНКЦИОНАЛЬНЫЕ РЯДЫ
- •1. Основные определения
- •СТЕПЕННЫЕ РЯДЫ
- •Биография
- •Научная деятельность
- •Память
- •1. Теорема Абеля
- •1.1. Интервал и радиус сходимости степенного ряда
- •2. Свойства степенных рядов
- •2.1. Равномерная сходимость степенного ряда
- •и непрерывность его суммы
- •2.2. Интегрирование степенных рядов
- •2.3. Дифференцирование степенных рядов
- •3. Ряд Тейлора
- •3.1. Условия разложимости функции в ряд Тейлора
- •3.2. Ряды Тейлора элементарных функций
- •Таблица разложений в степенной ряд (ряд Маклорена) основных элементарных функций.
- •3.3. Приложения рядов
- •3.3.1. Вычисление значений функции
- •3.3.2. Вычисление интегралов
- •3.3.3. Приближенное решение дифференциальных уравнений
- •ИСПОЛЬЗОВАННАЯ ЛИТЕРАТУРА
- •СОДЕРЖАНИЕ
- •Нильс Хенрик Абель
- •ТЕОРИЯ РЯДОВ
- •Учебное пособие
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) |
= ∑an (x − x0 )n , x (x0 − R; x0 + R) , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=9 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
то коэффициенты an этого ряда определяются формулами |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
an = |
f (n) (x0 ) |
, |
n = 0, 1, 2, (f (0) (x0 ) = |
f (x0 )). |
|
|
|
|
|
|
|
(3) |
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть функция |
|
f (x) при x = x0 |
имеет производные всех порядков |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f ′(x0 ), f ′′(x0 ), , f (n) (x0 ), , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
т. е. является бесконечно дифференцируемой в точке x0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
Составим для этой функции формальный степенной ряд ∑an |
(x − x0 )n , вычислив |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
его коэффициенты по формуле (3). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
Определение. Рядом Тейлора функции |
f (x) относительно точки |
|
x0 |
|
называется сте- |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
пенной ряд вида |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
∞ f |
(n) (x |
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∑ |
|
0 |
|
(x − x0 )n |
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
′′ |
) |
|
|
|
|
|
|
|
f |
′′′ |
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
(n) |
(x |
) |
|
|
|
|||||||
|
= f (x0 ) + f ′(x0 )(x |
− x0 ) + |
|
|
(x |
(x − x0 )2 + |
(x |
0 |
(x − x0 )3 + + |
|
|
|
|
(x − x0 )n + |
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
2! |
|
|
|
3! |
|
|
|
|
|
|
n! |
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
(здесь 0!=1, f (0) (x0 ) = f (x0 )). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
Коэффициенты этого ряда a0 |
= |
f (x0 ), a1 |
= |
|
f ′(x0 ) |
, a2 |
|
= |
|
|
f ′′(x0 ) |
, , an |
= |
|
|
f (n) (x0 ) |
, |
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1! |
|
|
|
|
|
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
||||
|
называются коэффициентами Тейлора функции |
|
|
f (x) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
Если x0 = 0 , то ряд Тейлора |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
∞ |
f |
(n) |
(0) |
|
n |
|
|
|
|
|
|
|
′ |
|
|
|
|
|
′′ |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
f |
(n) |
(0) |
|
|
n |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
∑ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
x |
|
|
= |
f (0) + f |
(0) x + |
|
|
|
|
|
x |
|
|
+ + |
|
|
|
|
|
|
|
|
x |
|
|
+ |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
n! |
|
|
|
|
2! |
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
называют рядом Маклорена. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
Из теоремы 3 вытекает следующее утверждение. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
Теорема 2. Если на интервале (x0 − R; x0 + R), R > 0 , функция |
f (x) разлагается в степенной |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ряд ∑an (x − x0 )n , то этот ряд является рядом Тейлора функции |
|
f (x) . |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3.1. Условия разложимости функции в ряд Тейлора |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
Для простоты будем рассматривать степенной ряд вида ∑an xn , т. е. ряд Маклорена. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Теорема 1.1. Для того чтобы функцию |
f (x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
можно было разложить в степенной ряд |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
∑an xn |
на интервале |
(−R; R) , необходимо и достаточно, чтобы на этом интервале функ- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ция f (x) имела производные всех порядков и чтобы в ее формуле Тейлора |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
′ |
|
|
|
f |
′′ |
|
|
|
2 |
|
|
|
|
|
|
f |
|
(n) |
(0) |
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1.1) |
|||||||||||
|
|
|
|
|
f (x) = f (0) + f |
(0) x + |
|
|
|
|
x |
|
|
+ + |
|
|
|
|
|
|
|
x |
|
|
+ Rn (x) |
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
остаточный член Rn (x) |
|
стремился к нулю при n → ∞ длявсех x (−R; R) . |
|
|
|
35
▲ Необходимость. Пусть на интервале (−R; R), R > 0 , функция |
f (x) разложима в степен- |
ной ряд |
|
∞ |
|
∑an xn , |
(1.2) |
n=0 |
|
т. е. ряд (1.2) сходится и его сумма равна f (x) . Тогда по теореме о почленном дифференцировании степенного ряда и следствию из нее функция f (x) имеет на интервале (−R; R) производные f (n) (x) всех порядков. По теореме 1 (формула 2) коэффициенты ряда (1.2) имеют
вид an = |
f (n) (x) |
, т. е. мы можем написать равенство |
|
|
|
|
|
|
|
|
|
|
|
|||||||
n! |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
f |
′′ |
|
|
|
f |
(n) |
(x) |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
2 |
|
|
n |
|
|
|
|
|
||||||
|
|
f (x) = f (0) |
′ |
|
(0) |
x |
+ + |
|
|
x |
+ . |
|
|
(1.3) |
||||||
|
|
|
|
2! |
|
|
|
n! |
|
|
|
|||||||||
|
|
+ f (0) x + |
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
(k ) |
|
|
В силу сходимости этого ряда |
на интервале (−R; |
R) |
его остаток |
Rn (x) = ∑ |
f |
|
xk |
|||||||||||||
|
k! |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k =n+1 |
|
стремится к нулю при n → ∞ длявсех x (−R; R) .
Достаточность. Пусть функция f (x) на интервале (−R; R) имеет производные всех порядков
и в ее формуле Тейлора остаточный член Rn (x) → 0 при n → ∞ для любого |
x (−R; R) . |
|
||||||||||||||||||||||||
Поскольку |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
′ |
|
|
|
f |
′′ |
|
|
|
2 |
|
|
|
f |
(n) |
(0) |
|
|
|
|
||
|
|
|
|
|
|
|
|
(0) |
|
|
|
|
|
|
|
n |
, |
|
||||||||
|
Rn (x) = f (x) − f (0) + f |
(0) x + |
|
|
|
|
|
|
x |
|
+ |
+ |
|
|
|
|
x |
|
|
|||||||
|
|
2! |
|
|
|
|
|
n! |
|
|||||||||||||||||
то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
′ |
|
f |
′′ |
|
2 |
|
|
|
|
f |
(n) |
(0) |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
(0) |
|
|
|
|
|
|
|
|
n |
|
|
Rn (x) |
→ 0 |
|
|||||||||
|
f (x) − f (0) |
+ f (0) x |
+ |
|
|
x |
|
++ |
|
|
|
|
|
|
x |
|
= |
(1.4) |
||||||||
|
2! |
|
|
|
|
n! |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
при n → ∞ . Поскольку в квадратных скобках записана n-я частичная сумма ряда Тейлора, то формула (1.4) означает, что ряд Тейлора функции f (x) сходятся на интервале (−R; R) и его суммой является функция f (x) . ▼
Достаточные условия разложимости функции в степенной ряд, удобные для практического применения, описываются следующей теоремой.
Теорема 1.2. Для того чтобы функцию f (x) на интервале (−R; R) можно было разложить
∞
в степенной ряд ∑an xn , достаточно, чтобы функция f (x) имела на этом интервале про-
n=0
изводные всех порядков и чтобы существовала постоянная M > 0 такая, что f (n) (x) ≤ M
длявсех n = 0,1, 2, идлявсех x (−R; R) .
▲ Пусть функция f (x) имеет на интервале (−R; R) производные всех порядков. Тогда для нее можно формально написать ряд Тейлора
|
|
∞ |
(n) |
(0) |
|
|
|
|
|
|
||
|
|
∑ |
f |
|
xn (0!=1, |
f (0) (0) = f (0)). |
||||||
|
|
|
|
|||||||||
|
|
n=0 |
n! |
|
|
|
|
|
||||
Докажем, что он сходится к функции f (x) . Для этого достаточно показать, что оста- |
||||||||||||
точный член R |
(x) = |
f (n+1) (θ x) |
xn+1, 0 <θ <1, в формуле Тейлора (1.1) стремится к нулю |
|||||||||
|
||||||||||||
n |
|
(n +1)! |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|||
при n → ∞ длявсех x (−R; R) . В самом деле, |
учитывая, что − R < x < R и |
|
f (n+1) (θ x) |
|
≤ M |
|||||||
|
|
|||||||||||
(θ x (−R; R)), будем иметь |
|
|
|
|
|
|
|
|
36