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

1. Если степенной ряд () сходится при некотором значении х₀ 0, то он сходится абсолютно при всяком значении х, для которого |x| < |x₀|;

2. если ряд расходится при некотором значении , то он расходится при всяком х, для которого |x| > ||.

○ 1. Так как по предположению числовой ряд сходится, то = 0, и, следовательно, существует такое число М>0, что |а_n|< M для любых п N. Пусть |x| < |x₀|, тогда

= ≤ .

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

в точке х 0 сходится абсолютно.

2. Если бы в какой-либо точке х, удовлетворяющей неравенству |x| > ||, ряд сходился, то в силу доказанной первой части теоремы он должен был бы сходиться и в точке , т.к. || < |x|. Но это противоречит условию, что в точке ряд расходится. Следовательно, ряд расходится и в точке х. ●

Из теоремы Абеля следует, что если степенной ряд () сходится хотя бы в одной точке х 0, то всегда существует число R > 0 такое, что степенной ряд сходится абсолютно для всех |x| < R или х (−R, R) и расходится для всех |x| > R или х(−∞; −R)(R; +∞)

При х = ±R ряд может сходиться или расходиться. Нужна проверка.

Интервал (−R, R) − интервал сходимости степенного ряда; R − радиус сходимости.

Таким образом, областью сходимости степенного ряда является интервал сходимости (без учета проверки точек х = ±R).

Замечание. Интервал сходимости степенного ряда (1) имеет вид (− R; + R).

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

= = = L|x|.

Тогда по признаку Даламбера последний ряд сходится, если L|x| < 1, т.е. если |x| < , и расходится, если L|x| > 1, т.е. если |x| > . Обозначим через радиус сходимости R, т.е. R = . Тогда

R = = = .

Таким образом, радиус сходимости степенного ряда можно определить по формуле

R = .

Аналогично, по радикальному признаку Коши получим

R = .

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

□Найдем интервал сходимости , где R – радиус сходимости. Найдем радиус сходимости R :

Следовательно, интервал сходимости ряда. Исследуем сходимость ряда на концах интервала:

Полученный ряд является обобщенным гармоническим рядом, в котором Следовательно, полученный ряд расходится;

Получили знакочередующийся ряд. Используем теорему Лейбница :

Значит, полученный ряд сходится.

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

■

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

1⁰. Если радиус сходимости R степенного ряда отличен от нуля, то его сумма S(x) непрерывна на интервале сходимости .

2⁰. Если для степенного ряда , R 0, то степенной ряд можно почленно дифференцировать на интервале сходимости и для его суммы S(x) = справедливо равенство = .

Следствие. Степенной ряд на , R 0, можно почленно дифференцировать любое число раз.

3⁰. Степенной ряд можно почленно интегрировать на любом отрезке [x₀; x] (−R, R), при этом, если S(x) = , то

= − .

Следствие. Степенной ряд можно почленно интегрировать любое число раз на отрезке [x₀; x] (−R, R).

4⁰. Операции почленного дифференцирования и интегрирования на любом отрезке [x₀; x] (−R, R) степенного ряд не изменяют его радиуса сходимости R.

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

Рядом Тейлора для функции f(x) в окрестности точки а называется степенной ряд по степеням х − а вида

f(а) + (х − а) + (х − а)²+ … + (х − а)^п+ … . (1)

Формально ряд Тейлора можно построить для всякой функции, которая в окрестности точки а имеет производные любого порядка. Однако этот ряд будет сходиться к породившей его функции f(x) только при тех значениях х, при которых остаточный член

R_n₊₁(x) = (х − а)^п⁺¹

(с = а + (х−а), 0 < < 1) формулы Тейлора для этой функции стремится к нулю при п → ∞. Если R_n₊₁(x) → 0 при п → ∞, то можно записать

f(x) = f(а) + (х − а) + (х − а)²+ … + (х − а)^п+ …, ()

т.е. записать разложение функции f(x) в ряд Тейлора.

При а = 0 ряд Тейлора есть степенной ряд по степеням х

f(0) + х + х²+ … + х^п +… , (2)

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

Тогда разложение функции f(x) в ряд Маклорена имеет вид

f(x) = f(0) + х + х²+ … + х^п + … . ()

Для разложения функции f(x) в ряд Тейлора необходимо:

а) написать разложение функции согласно данной формуле;

б) исследовать остаточный член R_n₊₁(x) формулы Тейлора для данной функции и определить совокупность значений х, при которых =0.

Замечание. Для большинства функции область сходимости ряда Тейлора совпадает с совокупностью значений х, при которых =0. Поэтому при разложении многих функций в ряд Тейлора можно вместо исследования соответствующего остаточного члена R_n₊₁(x), что во многих случаях весьма затруднительно, исследовать сходимость самого ряда Тейлора как обычного степенного ряда.

Пример. Разложить функцию f(x) = в ряд Тейлора по степеням х − 2.

□

Из условия видно, что а = 2.

а) Найдем значения этой функции и ее производных для х = а = 2:

f(x) =х⁻¹, f(2) = 2⁻¹ ;

=−1х⁻², =−1∙2⁻²;

=1∙2 х⁻³, =1∙2∙2⁻³;

=−1∙2∙3 х⁻⁴, =−1∙2∙3∙2⁻⁴;

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

=(−1)^пп!х^−п⁻¹, = (−1)^пп!2^−п^{− 1}= ;

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

Подставляя в формулу разложения (), получим

= − + − + … + + …

или

= − + − + … + + … .

б) Чтобы установить, при каких значениях х полученное разложение справедливо, определим область сходимости построенного ряда.

Найдем радиус сходимости R:

R = = = = 2,

т.е. интервалом сходимости будет интервал (−2; 2). Но это интервал для х − 2, а не для х. Поэтому проведем следующее преобразование:

−2 < х − 2 < 2, 0 < х < 4,

т.е. интервалом сходимости для построенного ряда будет интервал (0; 4).

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

Пусть х = 0:

= = = = (1+1+1+..+1+…).

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

Пусть х = 4:

=== = (1−1+1−...+(−1)^п+…).

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

Следовательно, областью сходимости построенного ряда является интервал (0; 4). Значит разложение функции f(x)= справедливо для всех х (0; 4).

■

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

1. Разложить в ряд Маклорена функцию f(x) = .

□

а) Найдем значения этой функции и ее производных:

f(x) = , f(0) = = 1;

= , = = 1;

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

= , = = 1;

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

Подставляя в формулу разложения (), получим

= 1 + + + + … + + … . (3)

б) Остаточный член формулы Маклорена имеет вид

R_n₊₁(x) = , 0 < < 1.

Чтобы установить, при каких значениях х предел = 0, рассмотрим ряд . Применим к этому ряду признак Даламбера:

= = = 0 < 1

при любом х.

Следовательно, ряд сходится. Отсюда следует, что = 0 (необходимый признак сходимости) при любых х. Таким образом, полученный ряд сходится к функции при всех значения х или, другими словами, разложение функции справедливо на интервале (−∞; +∞).

Проверим справедливость разложения по приведенному замечанию, т.е. найдем область сходимости построенного ряда. Найдем радиус сходимости R:

R = = = == +∞.

Следовательно, областью сходимости полученного ряда является интервал (−∞; +∞). Делаем вывод, что разложение справедливо для всех х(−∞; +∞).

■

Аналогично можно разложить в ряд Маклорена следующие функции:

2. f(x) = :

= х −+ − … + (−1)^п+ … (4)

для х (−∞; +∞).

3. f(x) = :

= 1 −+ − … + (−1)^п+ … (5)

для х (−∞; +∞).

4. f(x) = (1+х)^т (биномиальный ряд):

(1+х)^т= 1+ тх +х² +х³+…+х^п +… (6)

при т 0 для х [−1; 1];

−1< т < 0 для х (−1; 1];

т −1 для х (−1; 1).

5. f(x) = :

= х + + + + … + ∙+ … (7)

для х (−1; 1).

6. f(x) = :

= х −+ − + … + (−1)^п+ … (8)

для х [−1; 1].

7. f(x) = (f(x) = ):

= х −+ − + … + (−1)^п+ … (9)

для х (−1; 1].

Заменяя х на −х :

= −х −− − − … − − … (10)

для х [−1; 1).

Приложения степенных рядов

1. Приближенное вычисление значений функций.

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

Пример. Вычислить с точностью = 10⁻⁵ = 0,00001.

□

Воспользуемся разложением функции f(x) = в степенной ряд :

для х (−∞;+∞).

Градусную меру измерения необходимо перевести в радианную:

= , 0,174533.

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

= = 0,174533 − 0,000886 + 0,000001 ≈

≈ | 0,000001 < = 0,00001| ≈ 0,174533 − 0,000886 = 0,173647,

т.е. ≈ 0,173647.

Значения пяти знаков после запятой гарантированы.

■

2. Приближенное вычисление интегралов.

Существуют определенные интегралы, которые не выражаются через элементарные функции. Такие интегралы удобно вычислять с помощью рядов.

Пример. Вычислить определенный интеграл с точностью :

□ Так как

, для х ,

то

= ,

для х .

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

= ≈

т.е.

≈ 0,743.

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

■

3. Интегрирование дифференциальных уравнений.

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

Так, если требуется решить для уравнения = f(x, y) задачу Коши при начальном условии у(х₀) = у₀, то можно воспользоваться рядом Тейлора

у = = у(х₀) + (х − х₀) + (х − х₀)²+ …,

где у(х₀) = у₀, = f(х₀, у₀). Дальнейшие производные находят последовательным дифференцированием исходного уравнения и подстановкой в результат дифференцирования вместо х, у,, … значений х₀, у₀, , … .