Степенные ряды и радиус сходимости
От геометрического ряда-прототипа до полного набора инструментов для исследования сходимости
1. Что такое степенной ряд?
Степенной ряд — это бесконечный ряд, члены которого представляют собой коэффициенты, умноженные на степени переменной. В простейшей форме (с центром в начале координат):
В более общем виде степенной ряд, центрированный в точке $a$ (сдвинутая форма), записывается так:
Здесь каждое $a_n$ — фиксированное вещественное число (коэффициент), которое может зависеть от $n$, но не от $x$. Точка $a$ называется центром ряда.
🔑 Ключевая идея: машина, превращающая точки в ряды
Представь степенной ряд как машину. Ты подаёшь ей число $x$, и она выдаёт числовой ряд — сумму констант, — который либо сходится, либо расходится. Главный вопрос:
Геометрический степенной ряд — наш прототип
Простейший и важнейший степенной ряд — это геометрический ряд:
Из нашего предыдущего изучения геометрических рядов мы знаем, что этот ряд сходится тогда и только тогда, когда $|x| < 1$, и расходится при $|x| \geq 1$. Множество сходимости — это открытый интервал $(-1, 1)$.
Это говорит нам, что радиус сходимости равен $R = 1$. Ряд сходится для всех $x$, находящихся на расстоянии менее $1$ от центра (начала координат), и расходится для всех $x$, находящихся дальше. Это шаблон для всего, что последует далее.
2. Структурная теорема и трихотомия
Почему множество сходимости всегда является интервалом
Замечательная теорема утверждает, что множество сходимости любого степенного ряда — это не произвольный набор точек, а всегда интервал с центром в центре ряда.