Равномерная сходимость степенного ряда. Вторая теорема Абеля. Сумма и произведение степенных рядов

Если степенной ряд имеет радиус сходимости \(R\gt 0\), то на каждом замкнутом отрезке \(|x-x_{0}|\le r\lt R\) он сходится равномерно.1 Вторая теорема Абеля описывает поведение у границы. Если ряд сходится при \(x=x_{0}+R\), то его сумма непрерывна слева в этой точке. Аналогичное утверждение верно для левой границы.1

Сумма двух степенных рядов с общим центром и их произведение Коши снова являются степенными рядами. На интервале \(|x-x_{0}|\lt \min (R_{1},R_{2})\) их суммы равны соответственно сумме и произведению исходных функций. Радиусы новых рядов не меньше \(\min (R_{1},R_{2})\).1

Что важно запомнить
  • Внутри радиуса степенной ряд сходится равномерно на каждом меньшем замкнутом отрезке.
  • Вторая теорема Абеля позволяет перейти к сумме ряда в граничной точке, если сам ряд там сходится.
  • Для суммы коэффициенты складываются почленно.
  • Для произведения коэффициенты образуются по правилу произведения Коши.

Равномерная сходимость внутри радиуса

Пусть \(\sum a_{n}(x-x_{0})^{n}\) имеет радиус сходимости \(R\gt 0\). Для любого \(r, 0\lt r\lt R\), ряд сходится равномерно на отрезке \(|x-x_{0}|\le r\).1

Действительно, числовой ряд \(\sum |a_{n}|r^{n}\) сходится. На выбранном отрезке \(|a_{n}(x-x_{0})^{n}|\le |a_{n}|r^{n}\), поэтому применяется признак Вейерштрасса.

Вторая теорема Абеля

Рассмотрим для простоты центр \(x_{0}=0\). Если радиус равен \(R\gt 0\) и ряд \(\sum a_{n}R^{n}\) сходится, то функция

\[S(x)=\sum _{n=0}^{\infty }a_{n}x^{n}\]

непрерывна на полуинтервале \((-R,R]\). В частности, \(\lim _{x\to R-}S(x)=\sum a_{n}R^{n}\).1

Если ряд сходится при \(x=-R\), аналогичное утверждение получается для \([-R,R)\). Если он сходится на обеих границах, то ряд сходится равномерно на всём отрезке \([-R,R]\).1

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

Пусть \(A(x)=\sum a_{n}x^{n}\) и \(B(x)=\sum b_{n}x^{n}\) имеют радиусы \(R_{1}\) и \(R_{2}\). Тогда их сумма задаётся рядом

\[A(x)+B(x)=\sum (a_{n}+b_{n})x^{n}\].

Произведение задаётся произведением Коши

\(A(x)B(x)=\sum _{n=0}^{\infty }d_{n}x^{n}\), где \(d_{n}=\sum _{k=0}^{n} a_{k}b_{n-k}\).

Оба равенства верны как обычные равенства функций при \(|x|\lt \min (R_{1},R_{2})\), где исходные ряды сходятся абсолютно. Радиусы рядов суммы и произведения не меньше \(\min (R_{1},R_{2})\).1

Пример простыми словами

Ряд \(\sum _{n=1}^{\infty }\frac{(-1)^{n-1}x^{n}}{n}\) имеет радиус \(1\). Он сходится при \(x=1\) к \(\ln 2\). Вторая теорема Абеля позволяет получить \(\lim _{x\to 1-}\sum \frac{(-1)^{n-1}x^{n}}{n}=\ln 2\).

Частые ошибки
  • Требовать равномерную сходимость на всём открытом интервале \((x_{0}-R,x_{0}+R)\). Теорема гарантирует её на каждом меньшем замкнутом отрезке.
  • Использовать вторую теорему Абеля в граничной точке, где исходный ряд не сходится.
  • Перемножать коэффициенты с одинаковыми номерами вместо использования произведения Коши.

Другие вопросы

Источники

  1. 1 Бадерко Е. А. Лекции по математическому анализу, III семестр Механико-математический факультет МГУ, 2 курс, 3 семестр. Гл. 2, §3, пп. 3.2–3.3: теоремы 8–10