Оглавление:
Функциональные ряды и их область сходимости:
Пусть — некоторая последовательность функций.
Определение:
Выражение вида
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74797.png)
называется функциональным рядом.
Если в ряде (1) положить то получим числовой ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74799.png)
Определение:
Функциональный ряд (1) называется сходящимся в точке , если числовой ряд (2) полученный из ряда (1) подстановкой
, является сходящимся рядом. При этом
называется точкой
сходимости ряда.
Пример:
Функциональный ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74805.png)
сходится в точке . В самом деле, подставляя в (3)
получим числовой ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74813.png)
который, как известно, сходится. Данный функциональный ряд расходится в точке , так как числовой ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74822.png)
является расходящимся.
Определение:
Множество всех точек сходимости функционального ряда (1) называется областью сходимости ряда.
Как правило, область сходимости функционального ряда является некоторым промежутком числовой прямой.
Так, область сходимости функционального ряда (3) совпадает с интервалом . В самом деле, при
получаем числовой ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74833.png)
который является рядом геометрической прогрессии со знаменателем и, следовательно, сходится; если же
, то ряд (4) расходится.
Сумма функционального ряда (1) зависит от взятой точки x области сходимости, следовательно, сумма ряда (1) является некоторой функцией . Область определения суммы ряда
совпадает с областью сходимости данного ряда. Говорят также, что ряд (1) сходится к функции
и что для функции
имеет место разложение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74851.png)
в области сходимости ряда (1).
Например, ряд (3) является рядом геометрической
прогрессии со знаменателем следовательно, для
сумма ряда (3) равна функции
Таким образом, для
имеет место разложение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74866.png)
Пример:
Найти область сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74868.png)
Решение:
По признаку Даламбера имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74882.png)
Следовательно, ряд сходится на всей числовой прямой.
Пример:
Найти область сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74884.png)
Решение:
Очевидно, что для любого фиксированного существует такой номер N, что
следовательно, общий член ряда не стремится к нулю, т. е. ряд расходится на всей числовой прямой.
Пример:
Исследовать на сходимость ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74891.png)
Решение:
Очевидно, что при любом
Так как ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74897.png)
сходится, то по признаку сравнения при любом x ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74899.png)
также сходится. Следовательно, данный ряд сходится абсолютно на всей числовой прямой.
Пример:
Найти область сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74902.png)
Решение:
Данный ряд является рядом геометрической прогрессии со знаменателем Следовательно, этот ряд сходится при
т. е. при
Отсюда получаем, что область сходимости этого ряда состоит из двух интервалов
Как и в случае числовых рядов, для
функционального ряда (1) можно составить последовательность
частичных сумм
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74910.png)
где В каждой точке x из области сходимости ряда (1) его сумма
равняется пределу последовательности частичных сумм при
:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74917.png)
Ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74918.png)
называется остатком ряда (1). Область сходимости ряда (6) совпадает с областью сходимости ряда (1), сумму
ряда. (6) тоже называют остатком ряда (1), причем в этом случае
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74927.png)
откуда при
. Кроме того, из (7) получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74934.png)
т. е. представляет собой абсолютную погрешность приближения
. Как известно, для конечных сумм имеют место следующие свойства: сумма непрерывных функций
является непрерывной функцией; производная суммы равна сумме производных слагаемых; интеграл суммы равен сумме интегралов слагаемых. Для функциональных рядов (бесконечных сумм) эти свойства, вообще говоря, не имеют места. В результате почленного
дифференцирования (интегрирования) функционального ряда можно получить ряд, сумма которого отлична от производной (интеграла) суммы данного ряда или даже расходящийся ряд.
Степенные ряды и их свойства
Определение:
Степенным рядом называется функциональный ряд вида
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74940.png)
где x — независимая переменная, постоянные коэффициенты.
Коэффициенты степенного ряда могут быть действительными или комплексными числами. Ограничимся изучением степенных рядов с действительными коэффициентами.
Если произвести замену , то степенной ряд примет вид
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74949.png)
Следовательно, при изучении степенных рядов мы можем ограничиться степенными рядами вида
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74950.png)
1. Область сходимости степенного ряда. Переходим теперь к выяснению структуры области сходимости степенного ряда. Заметим вначале, что любой степенной ряд сходится в точке . В самом деле, если подставить в (1)
, получим значение
Таким
образом, точка входит в области сходимости любого степенного ряда.
Основную роль в определении структуры области сходимости и характера сходимости степенного ряда (1) играет следующая лемма.
Лемма Абеля:
1) Если степенной ряд (1) сходится при некотором значении , то он абсолютно сходится при любом значении x, для которого
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74962.png)
2) Если степенной ряд (1) расходится при некотором значении то он расходится при любой значении x, для которого
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74969.png)
Доказательство:
1) Пусть степенной ряд (1) сходится в точке следовательно, числовой ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74974.png)
является сходящимся. Тогда общий член ряда (2) стремится к нулю при . Отсюда следует, что последовательность
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-74980.png)
ограничена, т. е. существует такое число M, что для всех
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75003.png)
Пусть теперь причем
. Мы должны показать, что ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75018.png)
сходится. Перепишем ряд (4) в виде
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75020.png)
и рассмотрим ряд из модулей членов ряда (5):
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75024.png)
В силу неравенства (3) члены ряда (6) меньше соответствующих членов ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75036.png)
При ряд (7) является рядом геометрической прогрессии со знаменателем
и, следовательно, сходится. Тогда, по признаку сравнения рядов, ряд (6) также сходится, а это означает, что ряд (5) или» что то же самое, (4) сходится абсолютно, что и требовалось доказать.
2) Пусть в точке степенной ряд (1) расходится и
Мы должны доказать, что при
ряд (1) расходится. Допустим противное, что ряд (1) сходится в точке
Но тогда, так как
, по доказанной первой части данный ряд сходится в точке
— получили противоречие. Лемма доказана полностью.
Теорема:
О структуре области сходимости степенного ряда. Если степенной ряд (1) имеет как отличные от нуля точки сходимости, так и точки расходимости, то существует такое число , что ряд (1) абсолютно сходится при всех x из интервала
,
т. е. для которых , и расходится при всех x, для которых
.
Доказательство:
Пусть — точка сходимости ряда (1). Тогда по Лемме Абеля все точки интервала
являются точками абсолютной сходимости ряда. Если в точке
ряд расходится, то он расходится на полупрямой
и на полупрямой
(рис. 125). Поэтому интуитивно ясно
(строгое доказательство мы здесь опускаем), что существует такая точка , что при
ряд сходится, а при
ряд расходится.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75175.png)
Заметим, что сходимость в точках зависит от конкретного ряда.
Доказанная теорема позволяет дать полное описание области сходимости ряда (1), поэтому эту теорему называют теоремой о структуре области сходимости степенного ряда.
Рассмотрим случаи:
1. Ряд (1) сходится только при . Область сходимости состоит из одной точки
.
2. Ряд (1) не имеет точек расходимости. Область сходимости совпадает со всей числовой прямой ;
3. Ряд (1) имеет как отличные от нуля точки сходимости, так и точки расходимости. В зависимости от данного ряда, область сходимости является одним из промежутков
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75190.png)
Независимо от того, какой именно случай имеет место, интервал называется интервалом сходимости ряда. Следовательно, область сходимости степенного ряда либо совпадает с его интервалом сходимости, либо получается из этого интервала добавлением одной или обеих граничных точек.
Число R называется радиусом сходимости степенного ряда. В случае 1 будем считать , в случае 2
, случаю 3 соответствует значение
Пример:
Найти область сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75201.png)
Решение:
Пусть x — некоторое фиксированное число, отличное от нуля. Тогда существует такой номер N что при n > N выполняется неравенство nx > 1. Следовательно, , т. е. общий член ряда не стремится к нулю. Таким образом, в каждой точке
ряд расходится.
Итак, область сходимости данного ряда состоит только из нулевой точки, т. е. R = 0.
Для многих, встречающихся на практике, степенных рядов радиус сходимости можно определить применением признака Даламбера к, ряду
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75209.png)
составленному из модулей членов ряда (1). Рассмотрим случай, когда все ; если некоторые коэффициенты равны нулю, например, если x входит только в четных или только в нечетных степенях, то радиус сходимости можно определить, аналогично оперируя с двумя
соседними членами ряда. Для нашего случая имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75213.png)
Пусть предел существует:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75216.png)
Тогда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75217.png)
По признаку Даламбера ряд (8) сходится, если
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75218.png)
и расходится, если из соотношения (9) при
получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75223.png)
Таким образом, ряд (8) сходится, а следовательно, ряд (1) сходится абсолютно, если
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75226.png)
Отсюда для радиуса сходимости при получаем соотношение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75229.png)
Если ; тогда по признаку Даламбера ряд сходится для любого x, т. е.
. В случае
ряд расходится для любого
, следовательно,
.
Из (10) получаем следующую формулу для вычисления радиуса сходимости:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75245.png)
т. е.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75247.png)
Пример:
Найти область сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75248.png)
Решение:
По формуле (11) имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75251.png)
Данный ряд сходится только в точке .
Пример:
Найти область сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75255.png)
Решение:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75257.png)
т. е. R = 2, ряд сходится в интервале . Исследуем ряд на сходимость в концах интервала. При x = 2
получаем числовой ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75265.png)
или
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75266.png)
т е. гармонический ряд, который расходится. При приходим к ряду
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75269.png)
который по признаку Лейбница сходится.
Итак, областью сходимости будет промежуток .
Область сходимости степенного ряда можно определить и применяя непосредственно признак Даламбера. Так, для ряда примера 3 имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75271.png)
Следовательно, ряд сходится для тех значений x для которых и мы приходим к тому же интервалу
После этого надо проверить сходимость на концах интервала.
Пример:
Найти радиус сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75279.png)
Решение:
К этому ряду формула (11)
неприменима, так как отсутствуют нечетные степени переменной Применяем
непосредственно признак Даламбера:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75285.png)
при любом x т. е. ряд сходится на всей числовой прямой.
Пример:
Найти область сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75851.png)
Решение:
Так как , то формула (5) неприменима Применяем признак Даламбера:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75854.png)
Следовательно, ряд сходится для.
Проверим сходимость на концах интервала. При
получаем ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75866.png)
или
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75869.png)
Так как ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75871.png)
сходится и то по признаку сравнения сходится и ряд (12)
Таким образом, область сходимости данного ряда совпадает с отрезком .
Пример:
Найти область сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75882.png)
Решение:
Применим признак Даламбера:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75886.png)
Следовательно, ряд сходится при
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75891.png)
Проверим сходимость на концах полученного интервала.
При получаем ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75898.png)
т. е.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75902.png)
который, очевидно, расходится. При получаем ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75907.png)
т. е.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75909.png)
который также расходится._Следовательно, областью сходимости будет .
Свойства степенных рядов
В отличие от функционального ряда общего вида, степенные ряды обладают рядом свойств, которые имеют место для обычных многочленов (конечных сумм одночленов вида ). Сформулируем основные свойства степенных рядов.
Свойство:
Сумма степенного ряда (1) является непрерывной функцией в области сходимости ряда.
Свойство:
Если ряд (1) сходится к функции , т. e.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75949.png)
то для любого отрезка содержащегося в области сходимости ряда (1),
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75957.png)
Другими словами, степенной ряд можно почленно интегрировать по любому отрезку, содержащемуся в области сходимости.
Заметим, что полученный ряд (14) является числовым рядом. Например, так как ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-75971.png)
имеет область сходимости , то его можно интегрировать на отрезке
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76145.png)
Учитывая, что
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76150.png)
получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76155.png)
откуда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76166.png)
с абсолютной погрешностью
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76172.png)
Интегрирование степенных рядов можно использовать для получения разложения в степенной ряд функций вида если известно разложение (13)
функции в степенной ряд. Для этого достаточно степенной ряд (13) интегрировать на отрезке
для любого x из области сходимости ряда (13) (тогда, как известно, и весь отрезок
принадлежит области сходимости):
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76245.png)
Полученный ряд (16), в отличие от ряда (14), является функциональным, даже степенным рядом (так как все интегралы, входящие в (16), имеют переменный верхний предел), и имеет тот же интервал сходимости, что и ряд (13).
Таким образом, из свойства 2 получаем: если для функции в некотором интервале имеет место разложение (13), то для функции
имеет место о разложение (16) в том же интервале.
Пример:
Заменяя в (15) x на—x, получаем ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76274.png)
областью сходимости которого является промежуток . Интегрируя ряд (17) на отрезке
, получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76288.png)
или
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76294.png)
Полученный ряд (18) представляет собой разложение функции в степенной ряд в промежутке
. Отсюда, например, при
получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76324.png)
Пример:
Заменяя в (17) x на получим разложение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76340.png)
в промежутке . Интегрируя ряд (19) на отрезке
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76349.png)
получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76359.png)
Подставляя в (20) х = 1 и учитывая, что получим ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76372.png)
который может быть использован для приближенного вычисления числа .
Свойство:
Если ряд (1) сходится к функции т. е. имеет место равенство (7), то ряд
составленный из производных членов ряда (1), имеет тот же радиус сходимости и сходится к производной функции
т. е.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76416.png)
Другими словами, степенной ряд можно почленно дифференцировать в любой внутренней точке из области его сходимости.
Пример:
Дифференцируя почленно равенство (17), получим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76499.png)
или
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76501.png)
Замечание:
Если степенной ряд имеет вид
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76512.png)
то подстановкой он приводится к степенному ряду вида (1). Интервалом сходимости степенного ряда (22) будет
.
Пример:
Найти область сходимости степенного ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76525.png)
Решение:
Здесь
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76528.png)
Следовательно, ряд сходится при т. е.
при
Проверкой убеждаемся, что данный ряд сходится на концах интервала . Следовательно, областью сходимости является отрезок
.
Формула Тейлора и ее остаточный член
Пусть функция определена в точке
и имеет в некоторой окрестности этой точки все производные до (n + 1)-го порядка включительно. Тогда для функции
можно составить выражение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76547.png)
которое называется многочленом Тейлора степени n для функции в точке
. Из (1) видно, что при
. Подсчеты показывают, что для многих функций, встречающихся в математике, физике, технике и других областях, многочлены Тейлора
для значений x, близких к
, принимают значения, близкие к
. Обозначив абсолютную погрешность, т. е. разность
, через
, получим
формулу , или
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76633.png)
Отсюда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76638.png)
Формула (2) называется формулой Тейлора для функции в точке
.
Функция называется остаточным членом формулы Тейлора, Известны различные выражения для остаточного члена
.
Следующая формула выражает остаточный член в форме Лагранжа:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76694.png)
где t — некоторая точка интервала при
и интервала
при
.
Учитывая (3), формулу Тейлора (2) можно писать в виде
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76714.png)
Если , то формула Тейлора (4) принимает вид
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-76720.png)
где , причем t и x одного знака.
Формула (5) известна под названием формулы Маклорена.
Пример:
Найти формулу Маклорена для функции с остаточным членом в форме Лагранжа для n = 4.
Решение:
Находим производные до порядка 4 + 1 = 5 включительно:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77006.png)
При n = 4 из (5) имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77015.png)
Для нашего случая
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77017.png)
аналогично, Следовательно,
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77031.png)
или
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77033.png)
где и x — одного знака.
Ряд Тейлора
Дана функция , которая имеет производные любого порядка в точке
. Тогда можно составить ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77056.png)
Ряд (1) называется рядом Тейлора для функции в точке
. Функция
называется порождающей для ряда Тейлора (1).
Сходимость ряда Тейлора к порождающей функции. Вообще говоря, составленный ряд (1) для функции может быть расходящимся, может сходиться в некотором промежутке, но его сумма необязательно должна равняться порождающей функции
. Поэтому очень важно знать условия, при которых ряд (1) сходится к порождающей его функции
. Приводим необходимое и достаточное условие сходимости ряда Тейлора к порождающей его функции.
Теорема:
Ряд Тейлора (1) сходится к порождающей функции в некоторой окрестности точки
тогда и только тогда, когда остаточный член в формуле Тейлора
для функции
в каждой точке этой окрестности стремится к нулю.
Доказательство:
Легко видеть, что n-я частичная сумма ряда (1) совпадает с многочленом Тейлора
степени
для функции
Пусть теперь ряд (1) сходится к функции
в некоторой окрестности точки
т. е.
Тогда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77135.png)
Обратно, пусть Тогда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77141.png)
Теорема доказана.
Следующая теорема дает только достаточное условие сходимости ряда Тейлора к порождающей функции и может быть применена при разложении функций.
Теорема:
Если все производные функции ограничены в некоторой окрестности точки
то для любого x из этой окрестности ряд Тейлора функции
сходится к функции
, т. е. имеет место
разложение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77155.png)
Доказательство:
В силу теоремы 1 достаточно показать, что Из условия нашей теоремы следует существование такого числа M, что для любого n
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77220.png)
для любого x из рассматриваемой окрестности. Беря остаточный член в форме Лагранжа (формула (3) предыдущего параграфа), имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77226.png)
Осталось показать, что Для этого заметим, что ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77241.png)
сходится при любом x: (это можно проверить по признаку Даламбера; см. пример 2 § 1). Следовательно, его общий член стремится к нулю,
т. е. Отсюда получаем
и тогда из теоремы 1 следует требуемое равенство (2).
Единственность разложения функции в степенной ряд
Теорему об единственности разложений функций в степенных рядах можно сформулировать следующим образом.
Теорема:
Если функция разлагается в некотором промежутке в степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77269.png)
то это разложение единственно и совпадает с рядом Тейлора функции в точке
, т. е.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77276.png)
Доказательство:
Почленным дифференцированием из (4) получаем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77286.png)
Подставляя в формулу (4) и в полученные формулы для производных функции
, получим:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77291.png)
Из этих соотношений найдем, что
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77293.png)
Следовательно, ряд (4) совпадает с рядом Тейлора (1) функции в точке
. Теорема доказана.
Если в (1) взять то получаем ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77301.png)
который является частным случаем ряда Тейлора и известен под названием ряда Маклорена для функции . Из формулу (2) при
получаем разложение функции
в ряд Маклорена:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77312.png)
Ряды Тейлора для некоторых элементарных функций
Рассмотрим разложение в ряд Тейлора некоторых элементарных функций. При этом ограничимся частным случаем , т. е. рядами Маклорена, которые чаще используются на практике.
Для разложения некоторой функции в ряд Маклорена надо вычислить значения всех производных данной функции при
и воспользоваться формулой (5) предыдущего параграфа.
1. Разложение функции . Заметим, что
и, вообще,
Отсюда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77397.png)
Таким образом, функции сопоставляется ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77405.png)
Покажем, что равна сумме этого ряда. Для данного x найдем интервал
, содержащий число x и обозначим
. Тогда для любой производной функции имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77422.png)
Отсюда по теореме 3 § 4 сумма ряда равна порождающей его функции, т. е.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77426.png)
Разложение функции
Найдем производные данной функции:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77436.png)
Вычислим значения функции и ее производных для
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77728.png)
Вообще, если n четное, т. е. где
то
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77735.png)
если n нечетное, то рассмотрим случаи:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77738.png)
Для первого случая имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77742.png)
Для второго случая имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77743.png)
Учитывая далее, что производные функции sin x ограничены на всей числовой прямой,
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77749.png)
по теореме 3 § А получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77752.png)
Отбросив члены с нулевыми коэффициентами, получим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-77754.png)
Разложение функции
Повторяя рас суждения и выкладки, аналогичные случаю функции , получим
. Отсюда при нечетном n, т. е. при
, получим
для четного n рассмотрим отдельно случаи
при
имеем
при
имеем
Следовательно,
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78711.png)
Заметим, что согласно теореме 2 § 4 функции , sin x; и cos x; разлагаются в свои ряды Маклорена на всей числовой оси.
Разложение функции , где
— произвольное действительное число
Имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78728.png)
и, вообще,
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78732.png)
Отсюда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78735.png)
и, вообще,
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78737.png)
следовательно, функции сопоставляется следующий ряд Маклорена:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78745.png)
По признаку Даламбера найдем область сходимости полученного ряда (4):
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78750.png)
Следовательно, ряд сходится при , т. е. в интервале
, и расходится при
.
Примем без доказательства, что ряд (4) сходится к порождающей функции в интервале сходимости
.Таким образом,
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78769.png)
для
Более того, можно показать, что при разложение (5) верно и в обоих концах интервала
, т. е. имеет место на отрезке
, а при
— в правом конце, т. е. на полуинтервале
.
Ряд (5) называется биномиальным рядом.
Если — натуральное число,
, то все члены формулы (5), начиная с
— го, равны нулю, так как содержат множитель
. В этом случае биномиальный ряд (5) представляет собой известную формулу бинома Ньютона:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78793.png)
Указанный в этом параграфе метод разложения функций в степенной ряд может быть применен к произвольной функции. Однако в отдельных случаях вычисления и обоснование сходимости могут оказаться очень громоздкими. Разложения некоторых функций в ряд можно получить, выполняя те или иные преобразования
над имеющимися разложениями. Так, в примерах 7, 8, 9 § 2 получены разложения для функций ,
при помощи замены переменной, интегрирования и дифференцирования степенных рядов. Заметим, например, что разложение (3) функции cos x можно получить путем почленного дифференцирования
из разложения (2) функции sin x.
Элементарные функции в области комплексных чисел
Как мы отметили, можно рассматривать степенные ряды не только с действительными, но и с комплексными значениями коэффициентов и переменной x.
Степенные ряды представляют собой удобное средство для определения функций от комплексного переменного Так, имея разложение показательной функции
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78813.png)
на действительной оси, распространяем эту формулу на комплексной плоскости, т. е. для показательной функции от комплексного переменного z принимается следующее определение:
Показательной функцией от комплексной переменной
называется функция, заданная формулой
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78826.png)
Аналогично, тригонометрические функции sin z и cos z для комплексного переменного определяются по формулам:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78831.png)
Можно показать, что по формулам (7), (8) и (9) функции определены для всех
, т. е. что соответствующие ряды сходятся на всей комплексной плоскости.
Используя определения (7), (8), (9) функций можно вывести формулу Эйлера (см. § 8
гл. 9). Полагая в формуле (7) где
— действительное число, получим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78849.png)
или
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78850.png)
Отделяя действительные и мнимые части, находим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78852.png)
Так как в правой части (10) в скобках стоят соответственно разложения в ряды cos и sin
, то получаем формулу Эйлера
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78854.png)
Примеры практического применения степенных рядов
Вычисление значений функций
Пример:
Вычислить число e, т. е. значение функции при x = 1, с точностью до 0,001 (если известно, что e < 3).
Решение:
Имеем.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78863.png)
Тогда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78864.png)
причем абсолютная погрешность этого приближения равна
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78867.png)
где При x = 1 получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78871.png)
При этом
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78874.png)
где Но так как
то
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78881.png)
Число n определим из неравенства
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78884.png)
Имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78886.png)
Достаточно взять n = 6, так как
Следовательно,
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78896.png)
Пример:
Вычислить sin 18° с четырьмя верными десятичными знаками.
Решение:
По формуле (2) § 5 имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78897.png)
Так как угол 18° в радианной мере (с точностью до ) равен 0,3142, то
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78901.png)
Так как мы имеем знакочередующийся ряд, то при замене его суммы некоторой частичной суммой абсолютная погрешность не превышает модуля первого отброшенного члена. Непосредственной проверкой убеждаемся, что следовательно, достаточно
ограничиться двумя членами:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78907.png)
Вычисление определенных интегралов
Пример:
Вычислить интеграл
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78910.png)
с точностью до. 0,0001.
Решение:
Из формулы (2) § 5 делением обеих частей на x находим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78955.png)
Это разложение, как и разложение для sin x, имеет место на всей числовой оси, поэтому его можно почленно интегрировать:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78956.png)
При x = 1 имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78958.png)
Полученный ряд является знакочередующимся рядом. Так как
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78959.png)
то достаточно взять
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78960.png)
Вычисляя промежуточные результаты с пятью десятичными знаками, получим окончательный результат с четырьмя верными десятичными знаками:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78962.png)
Пример:
Вычислить интеграл с точностью до 0,0001.
Решение:
Заменяя в разложении 2 § 5 x на , получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78969.png)
Отсюда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78972.png)
При x = 1 поручаем знакочередующийся ряд:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78976.png)
Приближение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78978.png)
имеет границу абсолютной погрешности
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78980.png)
Таким образом, вычисляя промежуточные результаты с пятью десятичными знаками, получим окончательный результат с четырьмя верными десятичными знаками:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78982.png)
Замечание. Интегралы, рассмотренные в примерах 3 и 4, как мы знаем, не берутся в элементарных функциях. Однако изложенный метод вычисления интегралов оказывается удобным и в тех случаях, когда интегралы выражаются; через элементарные функции.
Пример:
Вычислить интеграл
Заметим что
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78988.png)
Однако практическое применение этого результата приводит к громоздким вычислениям. Намного проще вычисляется данный интеграл при помощи степенных рядов.
Решение:
Заменяя в известном разложении
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78991.png)
x на получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-78995.png)
Так как отрезок содержится в интервале сходимости
полученного ряда, то этот ряд можно почленно интегрировать в пределах от 0 до
:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79007.png)
Учитывая, что полученный ряд знакочередующийся, получаем, что приближение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79008.png)
имеет границу абсолютной погрешности
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79010.png)
В действительности, все цифры верные.
Решение дифференциальных уравнений
Пусть дано некоторое дифференциальное уравнение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79013.png)
Требуется найти его решение, удовлетворяющее
начальным условиям:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79015.png)
Изложим схему получения искомого решения в виде ряда Тейлора.
Подставляя значения (2) в уравнение (1), получим уравнение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79017.png)
из которого можно определить значение n-й производной
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79021.png)
Дифференцируя равенство (1), получим уравнение, которое помимо будет содержать и производную
:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79029.png)
Подставляя в (4) значения (2) и (3), получим уравнение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79031.png)
из которого можно определить значение (n+1)-й производной. Продолжая так и далее, находим последовательно значения всех производных искомой функции y в точке x = . По этим данным можно написать разложение искомого решения у в ряд Тейлора в точке
Таким образом, решение уравнения (1) получается в виде степенного ряда.
Пример:
Найти решение дифференциального уравнения
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79043.png)
удовлетворяющее начальным условиям
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79044.png)
Решение:
Из (5) находим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79045.png)
Дифференцируя (5), получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79047.png)
Отсюда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79048.png)
Дифференцируя (6), находим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79049.png)
Отсюда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79050.png)
Дифференцируя (7), находим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79051.png)
откуда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79055.png)
Аналогично:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79058.png)
и т. д. Поскольку , получаем разложение решения в ряд Маклорена:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79061.png)
т. е.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79062.png)
Пример:
Найти частное решение дифференциального уравнения
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79063.png)
удовлетворяющее начальным условиям
Решение:
Из (8) имеем: Дифференцируя (8), находим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79067.png)
Из (9) имеем Дифференцируем (9):
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79069.png)
отсюда Дифференцируем (10):
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79072.png)
отсюда и т. д. Следовательно, искомое решение записывается в виде ряда Тейлора в точке
:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-79080.png)
Дополнение к степенным рядам
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_1-456.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_2-441.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_3-411.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_4-350.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_5-262.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_6-205.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_7-152.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_8-133.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_9-105.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_10-90.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_11-69.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_12-65.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_13-60.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_14-49.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_15-41.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_16-34.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_17-34.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_18-27.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_19-26.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_20-25.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_21-23.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_22-18.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_23-14.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_24-12.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_25-11.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_26-7.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_27-7.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_28-6.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_29-4.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_30-6.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_31-3.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_32-3.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_33-3.png)
Смотрите также:
Числовые ряды | Приложение рядов к приближенным вычислениям |
Функциональные ряды | Решение систем линейных уравнений методом Гаусса |
Решение степенных рядов
Теорема Абеля. Интервал и радиус сходимости степенного ряда
Степенным рядом называется функциональный ряд вида
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33356.png)
или вида
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33360.png)
где коэффициенты — постоянные.
Ряд (2) формальной заменой сводится к ряду (1). Степенной ряд (1) всегда сходится в точке х = 0, а ряд (2) — в точке Х0, и их сумма в этих точках равна
Пример:
Ряды
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33376.png)
являются степенными рядами.
Выясним вид области сходимости степенного ряда.
Теорема:
Абель. Если степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33379.png)
сходится при то он сходится абсолютно для всех х таких, что
если степенной ряд расходится при х = x2, то он расходится при любом х, для которого
Пусть степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33399.png)
сходится при т. е. сходится числовой ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33408.png)
Отсюда следует, что
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33410.png)
а значит, существует число М > 0 такое, что для всех n. Рассмотрим ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33414.png)
где и оценим его общий член. Имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33417.png)
где Но ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33420.png)
составлен из членов геометрической прогрессии со знаменателем и значит, сходится. На основании признака сравнения ряд
сходится в любой точке х, для которой
Следовательно, степенной ряд
абсолютно сходится для
Пусть теперь степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33430.png)
расходится при х = х2. Допустим, что этот ряд сходится для |х| > |х2|. По доказанному он должен сходиться и при х = х2, так как |х2| < |х|, что противоречит условию расходимости ряда при х = х2.
Теорема Абеля дает возможность установить характер области сходимости степенного ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33431.png)
Пусть в точке ряд сходится. Тогда ряд будет абсолютно сходиться в интервале
Если в некоторой точке х2 (здесь
ряд расходится, то он будет расходиться и в бесконечных интервалах
В этих условиях на оси Ох существуют две точки (симметричные относительно начальной точки О), которые отделяют интервалы расходимости от интервала сходимости. Имеет место следующая теорема.
Теорема:
Пусть степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33487.png)
сходится в точке Тогда либо этот ряд абсолютно сходится в каждой точке числовой прямой, либо существует число R > 0 такое, что ряд сходится абсолютно при |х| < R и расходится при |х| > R.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33492.png)
Определение:
Интервалом сходимости степенного ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33493.png)
называется интервал (-R, R), где R > 0, такой, что в каждой точке (-R, R) ряд абсолютно сходится, а в точках х таких, что |х| > R, ряд расходится. Число R называется радиусом сходимости степенного ряда.
Замечание:
Что касается концов интервала сходимости ( -R, R ), то возможны следующие три случая: 1) степенной ряд сходится как в точке х = -R , так и в точке х = R , 2) степенной ряд расходится в обеих точках, 3) степенной ряд сходится водном конце интервала сходимости и расходится в другом.
Замечание:
Степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33504.png)
где имеет тот же радиус сходимости, что и ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33511.png)
но его интервалом сходимости является интервал
При условии существования конечного предела
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33515.png)
радиус сходимости степенного ряда можно найти по формуле
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33524.png)
Для доказательства формулы (3) рассмотрим ряд, составленный из абсолютных величин членов данного ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33535.png)
Применяя к этому ряду признак Даламбера, находим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33540.png)
Отсюда следует, что ряд (4) будет сходиться, если т. е. степенной ряд сходится абсолютно для всех х таких, что
и расходится при
По определению радиуса сходимости получаем, что
т. е.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33558.png)
Радиус сходимости степенного ряда можно находить также по формуле
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33559.png)
если существует конечный предел
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33560.png)
Формулу (5) легко получить, используя признак Коши. Если степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33565.png)
сходится только в точке х = 0, то говорят, что его радиус сходимости R = 0 (это возможно, например, при
Если степенной ряд сходится во всех точках числовой оси, то полагают (это имеет место, например, при
Областью сходимости степенного ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33579.png)
может оказаться либо интервал , либо отрезок
либо один из полуинтервалов
Если
то областью сходимости ряда будет вся числовая ось, т. е. интервал
Для отыскания области сходимости степенного ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33598.png)
нужно сначала вычислить его радиус сходимости R (например, по одной из приведенных выше формул) и тем самым найти интервал сходимости в котором рад абсолютно сходится, затем — исследовать «сходимость рада в концах интервала сходимости — в точках
Пример:
Найти область сходимости степенного ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33627.png)
1) Для нахождения радиуса сходимости R данного ряда удобно применить формулу (3). Так как то будем иметь
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33632.png)
Ряд сходится абсолютно на интервале — 1 < х < 1.
2) Исследуем сходимость ряда (6) в концах интервала сходимости. Положив х = -1, получим числовой ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33638.png)
расходимость которого очевидна (не выполнен необходимый признак сходимости: При х = 1 получим числовой ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33645.png)
не существует, а значит, этот ряд расходится.
Итак, область сходимости ряда (6) есть интервал -1 < х < 1.
Пример:
Найти область сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33649.png)
1) Радиус сходимости находим по формуле (3). Имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33652.png)
Ряд (7) сходится абсолютно на интервале
2) При х = -4 получим числовой ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33664.png)
который расходится (гармонический ряд). При х = 0 будем иметь числовой ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33666.png)
сходящийся условно.
Таким образом, ряд (7) сходится в области
Пример:
Найти интервал сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33672.png)
Так как то для нахождения радиуса сходимости применим формулу (5):
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33684.png)
Это означает, что данный ряд сходится при всех значениях х, т.е. областью сходимости является интервал
Пример:
Найти интервал сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33691.png)
то получим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33697.png)
Равенство R = 0 означает, что ряд (8) сходится только в точке x = 0, т. е. область сходимости данного степенного ряда состоит из одной точки х = 0.
Равномерная сходимость степенного ряда и непрерывность его суммы
Теорема:
Степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33701.png)
сходится абсолютно и равномерно на любом отрезке [-а, а], а > 0, содержащемся в интервале сходимости ряда (-R, R), R > 0.
Пусть 0 < а < R. Тогда для всех х, удовлетворяющих условию | и для любого n = 0, 1, 2, … будем иметь
Но так как числовой ряд
сходится, то по признаку Вейерштрасса данный степенной ряд сходится на отрезке [-a, а] абсолютно и равномерно.
Теорема:
Сумма степенного ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33712.png)
непрерывна в каждой точке х его интервала сходимости (-R, R), R > 0.
Любую точку х из интервала сходимости (-R, R) можно заключить в некоторый отрезок [-а, а], 0 < |х| < а < R, на котором данный ряд сходится равномерно. Так как члены ряда непрерывны, то его сумма S(х) будет непрерывной на отрезке [-а, а], а значит, и в точке х.
Интегрирование степенных рядов
Теорема:
О почленном интегрировании степенного ряда. Степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33727.png)
можно интегрировать почленно в его интервале сходимости (-R, R), R > 0, причем радиус сходимости ряда, полученного почленным интегрированием, также равен R. В частности, для любого х из интервала (-R, R) справедлива формула
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33731.png)
Любую точку х из интервала сходимости (-R, R) можно заключить в некоторый отрезок [-а, а], где 0 < |x| < а < R. На этом отрезке данный ряд будет сходиться равномерно, а так как члены ряда непрерывны, то его можно почленно интегрировать, например, в пределах от 0 до х. Тогда, согласно теореме 4 главы XVIII,
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33740.png)
Найдем радиус сходимости R’ полученного ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33743.png)
при дополнительном условии существования конечного предела Имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33750.png)
Итак, радиус сходимости степенного ряда при интегрировании не меняется.
Замечание:
Утверждение теоремы остается справедливым и при
Дифференцирование степенных рядов
Теорема:
О почленном дифференцировании степенного ряда. Степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33757.png)
можно дифференцировать почленно в любой точке х его интервала сходимости (-R, R), R > 0, при этом выполняется равенство
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33778.png)
Пусть R — радиус сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33782.png)
a — радиус сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33784.png)
Предположим, что существует (конечный или бесконечный) предел
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33792.png)
Найдем радиус R’ ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33795.png)
Имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33799.png)
Тем самым, радиусы сходимости рядов (1) и (2) равны. Обозначим сумму ряда (2) через
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33806.png)
Ряды (1) и (2) равномерно сходятся на любом отрезке [-а, а], где 0 < а < R. При этом все члены ряда (2) непрерывны и являются производными соответствующих членов ряда (1). Поэтому, согласно теореме 5 главы XVIII, на отрезке [-а, а] выполняется равенство В силу произвольности а последнее равенство выполнено и на интервале (-R, R).
Следствие:
Степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33812.png)
можно почленно дифференцировать сколько угодно раз в любой точке х его интервала сходимости (-R, R), причем радиусы сходимости всех получаемых рядов будут равны R.
Ряд Тейлора
Определение:
Будем говорить, что функция f(х) разлагается в степенной ряд на интервале (-R, R), если на этом интервале указанный ряд сходится и его сумма равна f(х):
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33825.png)
Докажем сначала, что функция f(x) не может иметь двух различных разложений в степенной ряд вида (1).
Теорема:
Если функция f(х) на интервале (-R, R) разлагается в степенной ряд (1), то это разложение единственно, т. е. коэффициенты ряда (1) по его сумме определяются однозначно.
Пусть функция f(х) в интервале (-R, R) разложена в сходящийся степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33829.png)
Дифференцируя этот ряд почленно n раз, найдем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33834.png)
При x = 0 получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33838.png)
(здесь
Таким образом, коэффициенты степенного ряда (1) формулой (2) определяются однозначно.
Замечание:
Если функция f(x) разложена в степенной ряд по степеням разности
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33860.png)
то коэффициенты сn этого ряда определяются формулами
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33864.png)
Пусть функция f(x) при х = Хо имеет производные всех порядков f'(xо), f»(х0), … , является бесконечно дифференцируемой в точке Xо. Составим для этой функции формальный степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-33871.png)
вычислив его коэффициенты по формуле (3).
Определение:
Рядом Тейлора функции f(х) относительно точки х0 называется степенной ряд вида
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36679.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36682.png)
Коэффициенты этого ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36683.png)
называются коэффициентами Тейлора функции f(х). При X0 = 0 ряд Тейлора
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36686.png)
называют рядом Маклорена.
Из теоремы 5 вытекает следующее утверждение.
Теорема:
Если на интервале функция f(х) разлагается в степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36691.png)
то этот ряд является рядом Тейлора функции f(х).
Пример:
Рассмотрим функцию
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36692.png)
и найдем ее производные.
Для эта функция имеет производные всех порядков, которые находятся по обычным правилам
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36699.png)
где — многочлен степени Зn относительно
Покажем теперь, что в точке х = 0 данная функция также имеет производные любого порядка, причем все они равны нулю. Исходя из определения производной, имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36706.png)
(при вычислении предела мы применили правило Лопиталя). Аналогичным образом можно доказать, что
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36707.png)
Тем самым, заданная функция имеет на числовой оси производные всех порядков,
Построим формальный ряд Тейлора исходной функции относительно точки Xо = 0. Имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36709.png)
Очевидно, что сумма S(x) этого ряда тождественно равна нулю, в то время как сама функция f(x) тождественно равной нулю не является.
Про этот пример стоит вспомнить при обсуждении комплексного анализа (аналитичности): функция, внешне совершенно благопристойная, проявляет на действительной оси капризный характер, являющийся следствием неприятностей на мнимой оси.
Формально построенный в примере для заданной бесконечно дифференцируемой функции ряд сходится, но его сумма не совпадает со значениями этой функции при . В связи с этим возникает естественный вопрос: каким условиям должна удовлетворять функция f(х) на интервале
чтобы ее можно было разложить в сходящийся к ней ряд Тейлора?
Условия разложимости функции в ряд Тейлора
Для простоты будем рассматривать степенной ряд вида
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36712.png)
т. е. ряд Маклорена.
Теорема:
Для того чтобы функцию f(x) можно было разложить в степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36714.png)
на интервале (-R, R), необходимо и достаточно, чтобы на этом интервале функция f(х) имела производные всех порядков и чтобы в ее формуле Тейлора
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36716.png)
остаточный член Rn(x) стремился к нулю при (-R, R).
Необходимость:
Пусть на интервале (-R,R), R > 0, функция f(х) разложима в степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36721.png)
т. е. ряд (2) сходится и его сумма равна f(х). Тогда по теореме 4 и следствию из нее функция f(х) имеет на интервале (-R, R) производные всех порядков. По теореме 5 (формула (2)) коэффициенты ряда (2) имеют вид
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36723.png)
т. е. мы можем написать равенство
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36724.png)
В силу сходимости этого ряда на интервале (-R, R) его остаток
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36726.png)
стремится к нулю при (-R, R).
Достаточность:
Пусть функция f(х) на интервале (-R, R) имеет производные всех порядков и в ее формуле Тейлора остаточный член для любого
Поскольку
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36731.png)
при Поскольку в квадратных скобках записана n-я частичная сумма ряда Тейлора, то формула (4) означает, что ряд Тейлора функции f(х) сходится на интервале (-R, R) и его суммой является функция f(х).
Достаточные условия разложимости функции в степенной ряд, удобные для практического применения, описываются следующей теоремой.
Теорема:
Для того, чтобы функцию f(х) на интервале (-R, R) можно разложить в степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36735.png)
достаточно, чтобы функция f(х) имела на этом интервале производные всех порядков и чтобы существовала постоянная М > 0 такая, что
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36737.png)
для всех n = 0, 1, 2,… и для всех
Пусть функция f(х) имеет на интервале (-R, R) производные всех порядков. Тогда для нее можно формально написать ряд Тейлора
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36738.png)
Докажем, что он сходится к функции f(х). Для этого достаточно показать, что остаточный член
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36740.png)
в формуле Тейлора (1) стремится к нулю при для всех
В самом деле, учитывая, что
будем иметь
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36743.png)
для n = 0, 1,… и для всех Числовой ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36745.png)
сходится в силу признака Даламбера:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36746.png)
Поэтому
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36747.png)
в силу необходимого признака сходимости. Из неравенства (3) получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36748.png)
для всех
Продолжение примера 1. Хотя функция из примера 1 и имеет на числовой оси производные всех порядков, универсальной постоянной М, ограничивающей их абсолютные величины, не существует,
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36752.png)
при
Ряды Тейлора элементарных функций
Рассмотрим разложения в ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36753.png)
основных элементарных функций.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36755.png)
Эта функция имеет производные всех порядков на интервале (-а, а), где а > 0 — любое число, причем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36756.png)
Следовательно, показательная функция разлагается в ряд Тейлора на любом интервале (-а, а) и, тем самым, на всей оси Ох. Так как
то получаем ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36760.png)
Радиус сходимости этого ряда
Если в разложении (1) заменить х на —х, то будем иметь
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36767.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36768.png)
Данная функция имеет производные любого порядка, причем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36769.png)
для n = 0, 1, 2,… и Тем самым, по теореме 8 функция sin а: разлагается в сходящийся к ней на интервале
ряд Тейлора. Так как
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36774.png)
то этот ряд имеет следующий вид
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36775.png)
Радиус сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36777.png)
Аналогично получаем, что
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36778.png)
любое действительное число.
Эта функция удовлетворяет соотношению
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36782.png)
и условию f(0) = 1.
Будем искать степенной ряд, сумма которого S(х) удовлетворяет соотношению (4) и условию S(0) = 1. Положим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36784.png)
Отсюда находим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36785.png)
Подставляя соотношения (5) и (6) в формулу (4), будем иметь
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36786.png)
Приравнивая коэффициенты при одинаковых степенях х в левой и правой частях равенства, получим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36788.png)
откуда находим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36789.png)
Подставляя эти значения коэффициентов в соотношение (5), получим ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36790.png)
Найдем радиус сходимости ряда (7) в случае, когда а не является натуральным числом. Имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36791.png)
Итак, ряд (7) сходится при |х|< 1,т.е. на интервале (-1,1).
Докажем, что сумма S(х) ряда (7) на интервале (-1,1) равна Для этого рассмотрим отношение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36794.png)
Так как S(х) удовлетворяет соотношению (4), т. е.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36801.png)
то для производной функции получаем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36802.png)
для (-1,1). Отсюда следует, что
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36806.png)
на (-1, 1). В частности, при х = 0 имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36807.png)
и значит,
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36809.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36811.png)
где -1 < х < 1.
Полученный ряд называется биномиальным, а его коэффициенты — биномиальными коэффициентами.
Замечание. В случае, если а — натуральное число (a = n), функция будет многочленом n-й степени, и
Отметим еще два разложения. При а = -1 будем иметь
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36817.png)
Заменив x на -x в последнем равенстве, получим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36818.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36821.png)
Для получения разложения этой функции в ряд Тейлора по степеням х проинтегрируем равенство (9) в пределах от 0 до х, где (-1,1). Имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36825.png)
Равенство (11) справедливо в интервале -1 < х < 1. Заменяя в нем х на -х, получим ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36828.png)
где -1 < х < 1.
Можно доказать, что равенство (11) справедливо и для х = 1:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36830.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36835.png)
Пользуясь этой таблицей, можно получать разложения в степенной ряд более сложных функций. Покажем на примерах, как это делается.
Пример:
Разложить функцию
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36842.png)
в степенной ряд в окрестности точки Хо = 2, т.е. по степеням разности х — 2.
Преобразуем данную функцию так, чтобы можно было использовать ряд (10) для функции Имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36847.png)
Заменяя в формуле (10) х на получим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36852.png)
Это разложение справедливо, когда выполнено любое из эквивалентных неравенств
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36855.png)
Пример:
Разложить по степеням х функцию
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36856.png)
используя формулу (10).
Разлагая знаменатель на множители, представим данную рациональную функцию в виде разности двух простейших дробей. Имеем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36858.png)
После простых преобразований получим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36864.png)
К каждому слагаемому в правой части равенства (13) применяем формулу (10), в результате чего получим степенные ряды
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36867.png)
Ряд (14) сходится для а ряд (15) сходится для
Оба ряда (14) и (15) будут сходиться одновременно для |x| < 1. Так как в интервале (-1,1) ряды (14) и (15) сходятся, то их можно почленно вычитать. В результате мы получим искомый степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36873.png)
радиус сходимости которого равен R = 1.
Этот ряд сходится абсолютно для |x| < 1.
Пример:
Разложить в ряд Тейлора в окрестности точки Xo = 0 функцию arcsin x.
Известно, что
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36878.png)
Применим к функции формулу (8), заменяя в ней
В результате для |-X2| =
получаем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36885.png)
Интегрируя обе части последнего равенства от нуля до x (почленное интегирование законно, так как степенной ряд равномерно сходится на любом отрезке с концами в точках 0 и x, лежащем в интервале (-1,1)), найдем
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36892.png)
Тем самым, окончательно получаем, что
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36895.png)
где -1 < x < 1 (R = 1).
Замечание:
Разложение в степенные ряды можно использовать для вычисления интегралов, не выражающихся в конечном виде через элементарные функции.
Приведем несколько примеров.
Пример:
Вычислить интеграл (интегральный синус)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36906.png)
Известно, что первообразная для функции не выражается через элементарные функции. Разложим подынтегральную функцию в степенной ряд, пользуясь тем, что
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36916.png)
Из равенства (16) находим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36918.png)
Заметим, что деление ряда (16) на t при t законно. Равенство (17) сохраняется и при t = 0, если считать, что при t = 0 отношение
Тем самым, ряд (17) сходится при всех значениях t
Интегрируя его почленно, получим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36930.png)
Полученный ряд — знакочередующийся, так что погрешность при замене его суммы частичной суммой оценивается просто.
Пример:
Вычислить интеграл
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36933.png)
Здесь первообразная для подынтегральной функции также не является элементарной функцией. Для вычисления интеграла заменим в формуле
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36939.png)
х на Получим
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36943.png)
Проинтегрируем обе части этого равенства в пределах от 0 до х:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-36945.png)
Этот ряд сходится при любых х (его радиус сходимости и является знакочередующимся при х > 0.
Степенные ряды основные определения и свойства с подробным объяснением и теорией
Функциональные ряды
Ряд, членами которого являются функции от х, называется функциональным:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98286.png)
Придавая x определенное значение , мы получим числовой ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98288.png)
который может быть как сходящимся, так и расходящимся.
Если полученный числовой ряд сходится, то точка называется точкой сходимости ряда (62.1); если же ряд расходится — точкой расходимости функционального ряда.
Совокупность числовых значений аргумента х, при которых функциональный ряд сходится, называется его областью сходимости.
В области сходимости функционального ряда его сумма является некоторой функцией от х: S = S(x). Определяется она в области сходимости равенством
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98289.png)
частичная сумма ряда.
Пример:
Найти область сходимости ряда
Решение:
Данный ряд является рядом геометрической прогрессии со знаменателем q = х. Следовательно, этот ряд сходится при |х| < 1, т.е. при всех сумма ряда равна
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98293.png)
Пример:
Исследовать сходимость функционального ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98294.png)
Решение:
Составим ряд из абсолютных величин членов исходного ряда:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98306.png)
Так как при любом имеет место соотношение
а ряд с общим членом
сходится (обобщенный гармонический ряд,
см. п. 60.4), то по признаку сравнения ряд (62.2) сходится при
Следовательно, исходный ряд абсолютно сходится при всех
Среди функциональных рядов в математике и ее приложениях особую роль играет ряд, членами которого являются степенные функции аргумента х, т. е. так называемый степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98315.png)
Действительные (или комплексные) числа называются коэффициентами ряда (62.3),
— действительная переменная.
Ряд (62.3) расположен по степеням х. Рассматривают также степенной ряд, расположенный по степеням , т. е. ряд вида
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98319.png)
где — некоторое постоянное число.
Ряд (62.4) легко приводится к виду (62.3), если положить Поэтому при изучении степенных рядов можем ограничиться степенными рядами вида (62.3).
Сходимость степенных рядов
Выясним вопрос о сходимости степенного ряда (62.3). Область сходимости степенного ряда (62.3) содержит по крайней мере одну точку: х = 0 (ряд (62.4) сходится в точке ).
Теорема Н.Абеля
Об области сходимости степенного ряда можно судить, исходя из следующей теоремы.
Теорема:
Абель. Если степенной ряд (62.3) сходится при то он абсолютно сходится при всех значениях х, удовлетворяющих неравенству
По условию ряд сходится. Следовательно, по необходимому признаку сходимости
Отсюда следует, что величина
ограничена, т. е. найдется такое число М > 0, что для всех п выполняется неравенство
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98331.png)
Пусть тогда величина
и, следовательно,
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98336.png)
т. е. модуль каждого члена ряда (62.3) не превосходит соответствующего члена сходящегося (q < 1) ряда геометрической прогрессии. Поэтому по признаку сравнения при ряд (62.3) абсолютно сходящийся.
Следствие:
Если ряд (62.3) расходится при то он расходится и при всех х, удовлетворяющих неравенству
.
Действительно, если допустить сходимость ряда в точке , для которой
, то по теореме Абеля ряд сходится при всех х, для которых
, и, в частности, в точке
, что противоречит условию.
Интервал и радиус сходимости степенного ряда
Из теоремы Абеля следует, что если есть точка сходимости степенного ряда, то интервал
весь состоит из точек сходимости данного ряда; при всех значениях х вне этого интервала ряд (62.3) расходится.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98450.png)
Интервал и называют интервалом сходимости степенного ряда. Положив
, интервал сходимости можно записать в виде (—R;R). Число R называют радиусом сходимости степенного ряда, т. е. R > 0 — это такое число, что при всех х, для которых |х| < R, ряд (62.3) абсолютно сходится, а при |х| > R ряд расходится (см. рис. 259).
В частности, когда ряд (62.3) сходится лишь в одной точке то считаем, что R = 0. Если же ряд (62.3) сходится при всех значениях
(т. е. во всех точках числовой оси), то считаем, что
Отметим, что на концах интервала сходимости (т. е. при х = R и при х = —R) сходимость ряда проверяется в каждом случае отдельно.
Для нахождения радиуса сходимости степенного ряда (62.3) можно поступить следующим образом. Составим ряд из модулей членов данного степенного ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98463.png)
и применим к нему признак Даламбера. Допустим, что существует предел
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98465.png)
По признаку Даламбера ряд сходится, если т. е. ряд сходится при тех значениях х, для которых
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98468.png)
ряд, составленный из модулей членов ряда (62.3), расходится при тех значениях х, для которых Таким образом, для ряда (62.3) радиус абсолютной сходимости
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98475.png)
Аналогично, воспользовавшись радикальным признаком Коши, можно установить, что
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98476.png)
Замечания. 1. Если то можно убедиться, что ряд (62.3) абсолютно сходится на всей числовой оси. В этом случае
Если
2.Интервал сходимости степенного ряда (62.4) находят из неравенства , имеет вид
3.Если степенной ряд содержит не все степени х, т. е. задан неполный степенной ряд, то интервал сходимости ряда находят без определения радиуса сходимости (формулы (63.1) и (63.2)), а непосредственно применяя признак Даламбера (или Коши) для ряда, составленного из модулей членов данного ряда.
Пример:
Найти область сходимости ряда
Решение:
Воспользуемся формулой (63.1):
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98486.png)
Следовательно, данный ряд абсолютно сходится на всей числовой оси.
Пример:
Найти область сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98487.png)
Решение:
Заданный ряд неполный. Воспользуемся признаком Даламбера. Для данного ряда имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98488.png)
Ряд абсолютно сходится, если Исследуем поведение ряда на концах интервала сходимости.
При х = — 1 имеем ряд который сходится по
признаку Лейбница.
При х = 1 имеем ряд это тоже сходящийся лейбницевский ряд. Следовательно, областью сходимости исходного ряда является отрезок [-1; 1].
Пример:
Найти область сходимости ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98497.png)
Решение:
Находим радиус сходимости ряда по формуле (63.1):
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98499.png)
Следовательно, ряд сходится при — 2 < х + 2 < 2, т. е. при — 4 < х < 0. При х = — 4 имеем ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98502.png)
который сходится по признаку Лейбница. При х = 0 имеем расходящийся ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98503.png)
Следовательно, областью сходимости исходного ряда является полуотрезок [-4; 0).
Свойства степенных рядов
Сформулируем без доказательства основные свойства степенных рядов.
1. Сумма S(x) степенного ряда (62.3) является непрерывной функцией в интервале сходимости (—R; R).
2.Степенные ряды имеющие радиусы сходимости соответственно
, можно почленно складывать, вычитать и умножать. Радиус сходимости произведения, суммы и разности рядов не меньше, чем меньшее из чисел
.
3.Степенной ряд внутри интервала сходимости можно почленно дифференцировать; при этом для ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98510.png)
при —R<x<R выполняется равенство
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98511.png)
4. Степенной ряд можно почленно интегрировать на каждом отрезке, расположенном внутри интервала сходимости; при этом для ряда (63.3) при — R < а < х < R выполняется равенство (см. замечание 1, с. 416)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98513.png)
Ряды (63.4) и (63.5) имеют тот же радиус сходимости, что и исходный степенной ряд.
Перечисленные свойства 1-4 остаются справедливыми и для степенных рядов вида (62.4).
Свойства степенных рядов широко используются в теоретических исследованиях и в приближенных вычислениях.
Разложение функции в степенные ряды
Ряды Тейлора и Маклорена
Для приложений важно уметь данную функцию f(х) разлагать в степенной ряд, т. е. функцию f(х) представлять в виде суммы степенного ряда.
Как известно (см. теорема 26.1), для любой функции f(х), определенной в окрестности точки и имеющей в ней производные до (п + 1)-го порядка включительно, справедлива формула Тейлора:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98516.png)
где остаточный член в форме Лагранжа. Число с можно записать в виде
где
Формулу (64.1) кратко можно записать в виде
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98532.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98533.png)
— многочлен Тейлора.
Если функция f(х) имеет производные любых порядков (т. е. бесконечно дифференцируема) в окрестности точки хо и остаточный член стремится к нулю при
то из формулы Тейлора получается разложение функции f(х) по степеням
, называемое рядом Тейлора:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98550.png)
Если в ряде Тейлора положить , то получим разложение функции по степеням х в так называемый ряд Маклорена:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98558.png)
Отметим, что ряд Тейлора можно формально построить для любой бесконечно дифференцируемой функции (это необходимое условие) в окрестности точки . Но отсюда еще не следует, что он будет сходиться к данной функции f(x); он может оказаться расходящимся или сходиться, но не к функции f(x). Так, например, функция
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98560.png)
имеет в точке х = 0 производные всех порядков, причем при всяком п (см. пример 19.5). Ряд Маклорена имеет вид
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98565.png)
Он сходится, но его сумма S(x) в любой точке х равна нулю, а не f(x).
Пусть для функции f(х) составлен соответствующий ей ряд Тейлора.
Теорема:
Для того чтобы ряд Тейлора (64.2) функции f(х) сходился к f(х) в точке х, необходимо и достаточно, чтобы в этой точке остаточный член формулы Тейлора (64.1) стремился к нулю при т. е. чтобы
Пусть ряд Тейлора (64.2) сходится к функции f(х) в некоторой окрестности точки , т. е.
Так как п-я частичная сумма
ряда (64.2) совпадает с многочленом Тейлора
, т. е.
, находим:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98580.png)
Обратно, пусть Тогда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98582.png)
Замечание:
Если ряд Тейлора (64.2) сходится к порождающей функции f(х), то остаточный член формулы Тейлора равен остатку ряда Тейлора, т. е. (Напомним, что
a
— сумма ряда Тейлора.)
Таким образом, задача разложения функции f(х) в степенной ряд сведена по существу к определению значений х, при которых Если сделать это не просто, то следует каким-нибудь иным способом убедиться, что написанный ряд Тейлора сходится к данной функции.
На практике часто пользуются следующей теоремой, которая дает простое достаточное условие разложимости функции в ряд Тейлора.
Теорема:
Если модули всех производных функций f(х) ограничены в окрестности точки одним и тем же числом М > 0, то для любого х из этой окрестности ряд Тейлора функции f(х) сходится к функции f(х), т. е. имеет место разложение (64.2).
Согласно теореме 64.1, достаточно показать, что
По условию теоремы 64.2 для любого п имеет место неравенство Тогда имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98593.png)
Осталось показать, что Для этого рассмотрим ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98596.png)
то пo признаку Даламбера этот ряд сходится на всей числовой оси. Но тогда, в силу необходимого признака сходимости,
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98597.png)
Следовательно,
Разложение некоторых элементарных функций в ряд Тейлора (Маклорена)
Для разложения функции f(х) в ряд Маклорена (64.3) нужно:
а) найти производные
б) вычислить значения производных в точке
в) написать ряд (64.3) для заданной функции и найти его интервал сходимости;
г) найти интервал (—R;R), в котором остаточный член ряда Маклорена Если такой интервал существует, то в нем функция f(х) и сумма ряда Маклорена совпадают.
Замечание:
В интервале сходимости степенного ряда остаточный член стремится к нулю при
Приведем таблицу, содержащую разложения в ряд Маклорена некоторых элементарных функций (эти разложения следует запомнить):
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98605.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98606.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98607.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98608.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98609.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98610.png)
Докажем формулу (64.4). Пусть
Имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98612.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98615.png)
г) для всех имеем
т.е. все производные в этом интервале ограничены одним и тем же числом
.
Докажем формулу (64.5). Пусть
Имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98621.png)
Легко проверить, что полученный ряд сходится на всей числовой оси, т. е. при всех
г) любая производная функции f(х) = sinx по модулю не превосходит единицы, Следовательно, по теореме 64.2 имеет место разложение (64.5).
Докажем формулу (64.6). Пусть
Формулу (64.6) можно доказать так же, как и формулу (64.5). Однако проще получить разложение функции cos х, воспользовавшись свойством 3 степенных рядов. Продифференцировав почленно ряд (64.5), получим:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98628.png)
Докажем формулы (64.13), (64.14). Пусть
Заменив в формуле (64.4) х на — х, получим разложение функции :
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98632.png)
справедливое для всех
Суммируя (и вычитая) почленно равенства (64.4) и (64.15), получим разложение гиперболического косинуса (синуса):
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98634.png)
Формулы (64.13) и (64.14) доказаны. ■
Докажем формулу (64.7). Пусть
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98635.png)
Имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98636.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98637.png)
т. е. составленный для функции ряд сходится в интервале (—1; 1).
Можно показать, что и в данном случае, т.е. при остаточный член
) стремится к нулю при
.
Ряд (64.7) называется биномиальным. Если то все члены ряда с (п + 1)-го номера равны 0, так как содержат множитель
В этом случае ряд (64.7) представляет собой известную формулу бинома Ньютона:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98645.png)
Докажем формулу (64.8). Пусть
Формула (64.8) может быть получена разными способами:
1) пользуясь правилом разложения функции в ряд;
2) рассматривая ряд как ряд геометрической прогрессии, первый член которой равен единице и знаменатель q = х; известно (см. пример 62.1), что данный ряд сходится при
и его сумма равна
3) воспользовавшись формулой (64.7): положив в ней и заменив х на -х, получим формулу (64.8).
Докажем формулу (64.9). Пусть Формула (64.9) также может быть доказана разными способами. Приведем один из них.
Рассмотрим равенство
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98654.png)
справедливое для всех . Используя свойство 4 степенных рядов, проинтегрируем данный ряд на отрезке
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98659.png)
или
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98660.png)
Можно показать, что это равенство справедливо и для х = 1. В
Докажем формулу (64.10). Пусть
Положив в формуле (64.7) а = —1 и заменив , получим равенство
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98665.png)
Тогда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98666.png)
или
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98667.png)
Можно показать, что равенство справедливо и при х = ±1, т. е. при всех х € [-1; 1].
Докажем формулу (64.12). Пусть
Положив в формуле (64.7) и заменив
получим равенство
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98675.png)
Тогда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98676.png)
или
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98677.png)
Можно показать, что полученное равенство справедливо при всех
Ряды (64.4)-(64.14) в комбинации с правилами сложения, вычитания, умножения, дифференцирования, интегрирования степенных рядов (см. свойства степенных рядов) могут быть использованы при разложении (некоторых) других функций в ряд Маклорена (Тейлора).
Пример:
Разложить в ряд Маклорена функцию
Решение:
Так как то, заменяя х на xln3 в разложении (64.4), получим:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98681.png)
Пример:
Выписать ряд Маклорена функции
Решение:
Так как
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98683.png)
то, воспользовавшись формулой (64.9), в которой заменим х на (— получим:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98684.png)
или
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98685.png)
Если
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98686.png)
Пример:
Разложить в ряд Маклорена функцию
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98687.png)
Решение:
Воспользуемся формулой (64.8). Так как
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98688.png)
то, заменив в формуле (64.8), получим:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98690.png)
или
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98691.png)
где
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98692.png)
Некоторые приложения степенных рядов
Приближенное вычисление значений функции:
Пусть требуется вычислить значение функции f(х) при заданной точностью
Если функцию f(х) в интервале (—R;R) можно разложить в степенной ряд
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98696.png)
и то точное значение
равно сумме этого ряда при
, т. е.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98700.png)
а приближенное — частичной сумме , т.е.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98702.png)
Точность этого равенства увеличивается с ростом п. Абсолютная погрешность этого приближенного равенства равна модулю остатка ряда, т.е.
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98703.png)
где
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98704.png)
Таким образом, ошибку можно найти, оценив остаток
ряда.
Для рядов лейбницевского типа
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98708.png)
В остальных случаях (ряд знакопеременный или знакоположительный) составляют ряд из модулей членов ряда и для него стараются найти (подобрать) положительный ряд с большими членами (обычно это сходящийся ряд геометрической прогрессии), который легко бы суммировался. И в качестве оценки берут величину остатка этого нового ряда.
Пример:
Найти sin 1 с точностью до 0,001.
Решение:
Согласно формуле (64.5),
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98710.png)
Стоящий справа ряд сходится абсолютно (проверить самостоятельно). Так как
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98712.png)
то для нахождения sin 1 с точностью до 0,001 достаточно первых трех слагаемых:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98713.png)
Допускаемая при этом ошибка меньше, чем первый отброшенный член (т.е. меньше, чем 0,0002). Вычисленное микрокалькулятором значение sin 1 примерно равно 0,84147.
Пример:
Вычислить число е с точностью до 0,001.
Решение:
Подставляя х = 1 в формулу (64.4), получим:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98715.png)
Справа стоит знакоположительный ряд. Возьмем п слагаемых и оценим ошибку
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98718.png)
т.е. Остается подобрать наименьшее натуральное число it, чтобы выполнялось неравенство
Нетрудно вычислить, что это неравенство выполняется при Поэтому имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98722.png)
Замечание:
Оценку остатка ряда можно производить с помощью остаточного члена ряда Маклорена
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98723.png)
где с находится между . В последнем примере
Так как
При п = 6 имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98727.png)
Приближенное вычисление определенных интегралов
Бесконечные ряды применяются также для приближенного вычисления неопределенных и определенных интегралов в случаях, когда первообразная не выражается в конечном виде через элементарные функции (см. § 34) либо нахождение первообразной сложно.
Пусть требуется вычислить с точностью до
Если подынтегральную функцию f(x) можно разложить в ряд по степеням х и интервал сходимости (-R; R) включит в себя отрезок [а; b], то для вычисления заданного интеграла можно воспользоваться свойством почленного интегрирования этого ряда. Ошибку вычислений определяют так же, как и при вычислении значений функций.
Пример:
Вычислить интеграл с точностью до
Решение:
Разложим подынтегральную функцию в ряд Маклорена, заменяя в формуле (64.4):
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98733.png)
Интегрируя обе части равенства (65.1) на отрезке , лежащем внутри интервала сходимости
, получим:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98739.png)
Получили ряд лейбницевского типа. Так как
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98740.png)
то с точностью до 0,001 имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98741.png)
Замечание:
Первообразную F(x) для функции легко найти в виде степенного ряда, проинтегрировав равенство (65.1) в пределах от 0 до х:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98743.png)
Функции
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98744.png)
играют очень важную роль в теории вероятностей. Первая — плотность стандартного распределения вероятностей, вторая — функция Лапласа
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98745.png)
(или интеграл вероятностей). Мы получили, что о функция Лапласа представляется рядом
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98746.png)
который сходится на всей числовой оси.
Приближенное решение дифференциальных уравнений
Если решение дифференциального уравнения не выражается че-1>ез элементарные функции в конечном виде или способ его решения слишком сложен, то для приближенного решения уравнения можно воспользоваться рядом Тейлора.
Познакомимся с двумя способами решения дифференциальных уравнений с помощью степенных рядов.
Пусть, например, требуется решить уравнение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98884.png)
удовлетворяющее начальным условиям
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98885.png)
Способ последовательного дифференцирования
Решение у = у(х) уравнения (65.2) ищем в виде ряда Тейлора:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98886.png)
при этом первые два коэффициента находим из начальных условий (65.3). Подставив в уравнение (65.2) значения находим третий коэффициент:
Значения
находим путем последовательного дифференцирования уравнения (65.2) по х и вычисления производных при
-Найденные значения производных (коэффициентов) подставляем в равенство (65.4). Ряд (65.4) представляет искомое частное решение уравнения (65.2) для тех значений х, при которых он сходится. Частичная сумма этого ряда будет приближенным решением дифференциального уравнения (65.2).
Рассмотренный способ применим и для построения общего решения уравнения (65.2), если рассматривать как произвольные постоянные.
Способ последовательного дифференцирования применим для решения дифференциальных уравнений любого порядка.
Пример:
Методом последовательного дифференцирования найти пять первых членов (отличных от нуля) разложения в ряд решения уравнения
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98894.png)
Решение:
Будем искать решение уравнения в виде
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98895.png)
Здесь Находим у»(—1), подставив х = — 1 в исходное уравнение:
Для нахождения последующих коэффициентов дифференцируем заданное дифференциальное уравнение:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98898.png)
При х = — 1 имеем:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98899.png)
Подставляя найденные значения производных в искомый ряд, получим:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98900.png)
Способ неопределенных коэффициентов
Этот способ приближенного решения наиболее удобен для интегрирования линейных дифференциальных уравнений с переменными коэффициентами.
Пусть, например, требуется решить уравнение
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98901.png)
с начальными условиями
Предполагая, что коэффициенты и свободный член f(х) разлагаются в ряды по степеням
, сходящиеся в некотором интервале
, искомое решение у = у(х) ищем в виде степенного ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98908.png)
с неопределенными коэффициентами.
Коэффициенты определяются при помощи начальных условий
Для нахождения последующих коэффициентов дифференцируем ряд (65.6) два раза (каков порядок уравнения) и подставляем выражения для функции у и ее производных в уравнение (65.5), заменив в нем их разложениями. В результате получаем тождество, из которого методом неопределенных коэффициентов находим недостающие коэффициенты. Построенный ряд (65.6) сходится в том же интервале
и служит решением уравнения (65.5).
Пример:
Найти решение уравнения
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98918.png)
используя метод неопределенных коэффициентов.
Решение:
Разложим коэффициенты уравнения в степенные ряды:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98919.png)
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98920.png)
Ищем решение уравнения в виде ряда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98921.png)
Тогда
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98922.png)
Из начальных условий находим: Подставляем полученные ряды в дифференциальное уравнение:
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98925.png)
Приравниваем коэффициенты при одинаковых степенях
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98926.png)
Отсюда находим, что
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98927.png)
Таким образом, получаем решение уравнения в виде
![Степенные ряды](https://lfirmal.com/wp-content/uploads/image-98928.png)
Решение заданий и задач по предметам:
Дополнительные лекции по высшей математике:
- Тождественные преобразования алгебраических выражений
- Функции и графики
- Преобразования графиков функций
- Квадратная функция и её графики
- Алгебраические неравенства
- Неравенства
- Неравенства с переменными
- Прогрессии в математике
- Арифметическая прогрессия
- Геометрическая прогрессия
- Показатели в математике
- Логарифмы в математике
- Исследование уравнений
- Уравнения высших степеней
- Уравнения высших степеней с одним неизвестным
- Комплексные числа
- Непрерывная дробь (цепная дробь)
- Алгебраические уравнения
- Неопределенные уравнения
- Соединения
- Бином Ньютона
- Число е
- Непрерывные дроби
- Функция
- Исследование функций
- Предел
- Интеграл
- Двойной интеграл
- Тройной интеграл
- Интегрирование
- Неопределённый интеграл
- Определенный интеграл
- Криволинейные интегралы
- Поверхностные интегралы
- Несобственные интегралы
- Кратные интегралы
- Интегралы, зависящие от параметра
- Квадратный трехчлен
- Производная
- Применение производной к исследованию функций
- Приложения производной
- Дифференциал функции
- Дифференцирование в математике
- Формулы и правила дифференцирования
- Дифференциальное исчисление
- Дифференциальные уравнения
- Дифференциальные уравнения первого порядка
- Дифференциальные уравнения высших порядков
- Дифференциальные уравнения в частных производных
- Тригонометрические функции
- Тригонометрические уравнения и неравенства
- Показательная функция
- Показательные уравнения
- Обобщенная степень
- Взаимно обратные функции
- Логарифмическая функция
- Уравнения и неравенства
- Положительные и отрицательные числа
- Алгебраические выражения
- Иррациональные алгебраические выражения
- Преобразование алгебраических выражений
- Преобразование дробных алгебраических выражений
- Разложение многочленов на множители
- Многочлены от одного переменного
- Алгебраические дроби
- Пропорции
- Уравнения
- Системы уравнений
- Системы уравнений высших степеней
- Системы алгебраических уравнений
- Системы линейных уравнений
- Системы дифференциальных уравнений
- Арифметический квадратный корень
- Квадратные и кубические корни
- Извлечение квадратного корня
- Рациональные числа
- Иррациональные числа
- Арифметический корень
- Квадратные уравнения
- Иррациональные уравнения
- Последовательность
- Ряды сходящиеся и расходящиеся
- Тригонометрические функции произвольного угла
- Тригонометрические формулы
- Обратные тригонометрические функции
- Теорема Безу
- Математическая индукция
- Показатель степени
- Показательные функции и логарифмы
- Множество
- Множество действительных чисел
- Числовые множества
- Преобразование рациональных выражений
- Преобразование иррациональных выражений
- Геометрия
- Действительные числа
- Степени и корни
- Степень с рациональным показателем
- Тригонометрические функции угла
- Тригонометрические функции числового аргумента
- Тригонометрические выражения и их преобразования
- Преобразование тригонометрических выражений
- Комбинаторика
- Вычислительная математика
- Прямая линия на плоскости и ее уравнения
- Прямая и плоскость
- Линии и уравнения
- Прямая линия
- Уравнения прямой и плоскости в пространстве
- Кривые второго порядка
- Кривые и поверхности второго порядка
- Числовые ряды
- Ряды Фурье
- Преобразование Фурье
- Функциональные ряды
- Функции многих переменных
- Метод координат
- Гармонический анализ
- Вещественные числа
- Предел последовательности
- Аналитическая геометрия
- Аналитическая геометрия на плоскости
- Аналитическая геометрия в пространстве
- Функции одной переменной
- Высшая алгебра
- Векторная алгебра
- Векторный анализ
- Векторы
- Скалярное произведение векторов
- Векторное произведение векторов
- Смешанное произведение векторов
- Операции над векторами
- Непрерывность функций
- Предел и непрерывность функций нескольких переменных
- Предел и непрерывность функции одной переменной
- Производные и дифференциалы функции одной переменной
- Частные производные и дифференцируемость функций нескольких переменных
- Дифференциальное исчисление функции одной переменной
- Матрицы
- Линейные и евклидовы пространства
- Линейные отображения
- Дифференциальные теоремы о среднем
- Теория устойчивости дифференциальных уравнений
- Функции комплексного переменного
- Преобразование Лапласа
- Теории поля
- Операционное исчисление
- Системы координат
- Рациональная функция
- Интегральное исчисление
- Интегральное исчисление функций одной переменной
- Дифференциальное исчисление функций нескольких переменных
- Отношение в математике
- Математическая логика
- Графы в математике
- Линейные пространства
- Первообразная и неопределенный интеграл
- Линейная функция
- Выпуклые множества точек
- Система координат