Степенные ряды. Радиус сходимости

Степенным рядом называется функциональный ряд вида: (1), - некоторые заданные числа.

Первая теорема Абеля: Если степенной ряд(1) сходится при некотором значении , то он сходится абсолютно для всех значений , удовлетворяющих неравенству . Если ряд (1) расходится при некоторых значениях , то он расходится для всех при .

Согласно условию теоремы при x=S сходится числовой ряд.

S-некоторое число

n-нный член числового ряда имеет вид:

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

=> для положительного числа M найдется номер N такой, что для всех будет выполняться неравенство

Выбираем в качестве (2)

Согласно выбору числа M все члены числового ряда удовлетворяют неравенству .

Рассмотрим ряд из абсолютных величин членов ряда (1).

(3)

Представим члены ряда (3) в виде:

(3’)

Члены ряда (3’) меньше соответствующих членов ряда:

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

Допустим противное, пусть ряд (1) сходится при некотором значении x удовлетворяющем неравенству тогда согласно доказанной первой части теоремы степенной ряд (1) должен сходится и при значении S. Так как при ряд расходится, полученное противоречие доказывающее вторую часть теоремы Абеля.

Следствие: Если существует положительное число N называемой радиусом сходимости R. Число R обладает свойством степенного ряда (1) сходится при всех и расходится при всех в граничных точках интервала степенной ряд может как сходиться, так и расходиться.

Радиус сходимости R может выражаться в одну точку, при этом степенной ряд сходится только при Существуют также степенные ряды радиус которых бесконечен, такие ряды сходятся при любых значениях x.

Для определения радиуса сходимость степенного ряда обычно используют признак Да Лан Бера или признак Каши. Для того, чтобы использовать признак Да Лан Бера и Коши рассматривают:

(1)

Ряд сходится для всех x, удовлетворяющих => Радиус сходимости степенного ряда может быть вычислен соотношением: . В случае использования радикального признака Коши получим: .