Степенные ряды
Помимо числовых рядов, существуют ряды функциональные, когда членами ряда являются некоторые функции. Общий вид такого ряда
(10.7)
Любое значение переменной
, при котором полученный числовой ряд сходится, называется точкой сходимости. Множество всех точек сходимости образует область сходимости функционального ряда. Из всего разнообразия функциональных рядов рассмотрим степенные ряды, занимающие в теории рядов важное место.
Степенным рядом называется ряд вида
(10.8)
Членами ряда являются степенные функции с возрастающими целыми положительными показателями степени переменной х,
- свободный член,
- постоянные коэффициенты. Например, 
Очевидно, что степенной ряд сходится при х=0, тогда его сумма равна свободному члену. При других значениях х степенной ряд может оказаться как сходящимся, так и расходящимся. Вопрос о сходимости степенного ряда решается теоремой Абеля (Н.Г. Абель, 1802-1829, норвежский математик):
Если степенной ряд сходится при некотором значении
, то он сходится абсолютно при всех значениях |
и расходится при всех
.
Из теоремы Абеля следует, что степенной ряд сходится во всех точках некоторого интервала
. А если он сходится и при некотором
, то он сходится во всех точках интервала
и так далее. Очевидно, что для любого степенного ряда существует интервал
, симметричный относительно начала координат, для всех точек которого ряд сходится. Он называется интервалом сходимости, а число
- радиусом сходимости степенного ряда.
Для нахождения радиуса сходимости рассмотрим ряд, составленный из абсолютных величин степенного ряда (10.8):
(10.9)
Поскольку это будет ряд с положительными членами, для исследования его сходимости воспользуемся признаком Даламбера, найдем предел
, где
, если этот
предел существует и не равен нулю.
По признаку Даламбера ряд (10.9) сходится, если предел отношения
-го члена к
-му при
меньше единицы, то есть
, откуда
или
- это и есть интервал сходимости, в котором ряд
сходится и, притом, абсолютно.
Вернемся к обозначению
.