Математика / Пределы, ряды
Дифференцирование и интегрирование степенных рядов
Внутри круга сходимости степень по степеням можно дифференцировать и интегрировать член за членом, сохраняя тот же центр и радиус сходимости. Это делает ряды удобным вычислительным контуром: сложная функция заменяется полиномиальной моделью, которая легко подвергается операциям.
Формула
Обозначения
- $f(x)$
- исходная функция как степенной ряд, безразмерный
- $a_n$
- коэффициенты исходного ряда, безразмерный
- $C$
- константа интегрирования, безразмерный
- $a$
- центр разложения, единица x
Условия применения
- Ряд сходится в некотором окружении |x-a|<R.
- Выполняемые операции происходят внутри этой области.
- Интеграл берется по x в этой же области, а константа интегрирования фиксируется условием задачи.
Ограничения
- На концах радиуса сходимости операции требуют отдельной проверки.
- Для интегральной константы нужно добавить C и подбирать по краевой/начальной задаче.
- Численные подсчеты длинных сумм нужно контролировать по накоплению округлительных ошибок.
Подробное объяснение
Операции по членам — это следствие линейности пределов в области абсолютной сходимости и аккуратной проверки условий. Для степенных рядов в круге сходимости это особенно стабильно: производная просто снижает степень, умножая на n, интеграл — повышает степень и делит на (n+1). Радиус сходимости при этом сохраняется, что удобно при построении новых разложений.
Как пользоваться формулой
- Убедитесь, что вычисление выполняется в зоне сходимости исходного ряда.
- Примените формулы покомпонентно к каждому члену.
- Упростите начальные члены, чтобы получить удобную итоговую форму.
- После дифференцирования/интегрирования проверьте результат стандартным дифференциальным соотношением.
Историческая справка
Эти правила — центральная практическая часть теории рядов. Идея покомпонентных операций оформилась вместе с пониманием условия сходимости и взаимосвязи с теоремой о предельном переходе. Это резко повысило пригодность рядов в вычислительной математике.
Пример
Если известен ряд e^x=1+x+x^2/2!+..., то производная даёт тот же ряд e^x, а интеграл даёт \sum x^{n+1}/((n+1)n!)=\sum x^{n+1}/(n+1)!, то есть также e^x с нормировкой константы. На практике это позволяет проверить результат двумя способами: через ряды и через известную производную/антипроизводную функции.
Частая ошибка
Распространенная ошибка — применять покомпонентные операции за пределами круга сходимости или на концах без отдельной проверки. Ещё часто забывают константу интегрирования и получают семейство решений вместо конкретного. Иногда делают сдвиг индекса нечаянно и теряют первый член в производной.
Практика
Задачи с решением
Производная геометрического ряда
Условие. f(x)=\sum_{n=0}^{\infty} x^n, |x|<1. Найти f'(x).
Решение. f'(x)=\sum_{n=1}^{\infty}n x^{n-1}=\frac{1}{(1-x)^2}. Это проверяется как производная 1/(1-x).
Ответ. \sum_{n=1}^\infty n x^{n-1}=1/(1-x)^2
Интеграл синуса по ряду
Условие. sin x = \sum_{n=0}^{\infty}(-1)^n\frac{x^{2n+1}}{(2n+1)!}. Проинтегрировать ряд.
Решение. Интеграл: \sum_{n=0}^{\infty}(-1)^n\frac{x^{2n+2}}{(2n+2)!}+C = 1-\cos x + C.
Ответ. \sum_{n=0}^\infty(-1)^n x^{2n+2}/(2n+2)!+C
Дополнительные источники
- Apostol, Calculus, Vol. 1
- Rudin, Principles of Mathematical Analysis
Связанные формулы
Математика
Ряд Маклорена для sin x
Маклореновский ряд синуса — стандартное чередующееся разложение с только нечётными степенями. Это делает его удобным для численного приближения на малых x и для сравнения с рядом косинуса в задачах на дифференцирование и интегрирование.
Математика
Ряд Маклорена для cos x
Косинус разлагается в чётные степени с чередованием знаков, что делает его удобным для оценки и для вычислений вблизи нуля. Это разложение естественно дополняет ряд синуса и часто используется вместе с ним в задачах колебаний и в методах линейного приближения.
Математика
Формула Тейлора с остаточным членом
Формула Тейлора описывает функцию через начальные производные в точке a и остаточный член, который контролирует точность обрезки. В задачах это даёт не только аппроксимацию, но и механизм проверки погрешности через ξ между a и x. Такой подход делает разложение вычислительно безопасным.