Математика / Пределы, ряды

Дифференцирование и интегрирование степенных рядов

Внутри круга сходимости степень по степеням можно дифференцировать и интегрировать член за членом, сохраняя тот же центр и радиус сходимости. Это делает ряды удобным вычислительным контуром: сложная функция заменяется полиномиальной моделью, которая легко подвергается операциям.

Опубликовано: Обновлено:

Формула

$$f(x)=\sum_{n=0}^{\infty}a_n(x-a)^n \Rightarrow f'(x)=\sum_{n=1}^{\infty} n a_n(x-a)^{n-1},\quad \int f(x)\,dx=C+\sum_{n=0}^{\infty}\frac{a_n}{n+1}(x-a)^{n+1}$$

Обозначения

$f(x)$
исходная функция как степенной ряд, безразмерный
$a_n$
коэффициенты исходного ряда, безразмерный
$C$
константа интегрирования, безразмерный
$a$
центр разложения, единица x

Условия применения

  • Ряд сходится в некотором окружении |x-a|<R.
  • Выполняемые операции происходят внутри этой области.
  • Интеграл берется по x в этой же области, а константа интегрирования фиксируется условием задачи.

Ограничения

  • На концах радиуса сходимости операции требуют отдельной проверки.
  • Для интегральной константы нужно добавить C и подбирать по краевой/начальной задаче.
  • Численные подсчеты длинных сумм нужно контролировать по накоплению округлительных ошибок.

Подробное объяснение

Операции по членам — это следствие линейности пределов в области абсолютной сходимости и аккуратной проверки условий. Для степенных рядов в круге сходимости это особенно стабильно: производная просто снижает степень, умножая на n, интеграл — повышает степень и делит на (n+1). Радиус сходимости при этом сохраняется, что удобно при построении новых разложений.

Как пользоваться формулой

  1. Убедитесь, что вычисление выполняется в зоне сходимости исходного ряда.
  2. Примените формулы покомпонентно к каждому члену.
  3. Упростите начальные члены, чтобы получить удобную итоговую форму.
  4. После дифференцирования/интегрирования проверьте результат стандартным дифференциальным соотношением.

Историческая справка

Эти правила — центральная практическая часть теории рядов. Идея покомпонентных операций оформилась вместе с пониманием условия сходимости и взаимосвязи с теоремой о предельном переходе. Это резко повысило пригодность рядов в вычислительной математике.

Пример

Если известен ряд 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

$\sin x=\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n+1}}{(2n+1)!},\quad x\in\mathbb R$

Маклореновский ряд синуса — стандартное чередующееся разложение с только нечётными степенями. Это делает его удобным для численного приближения на малых x и для сравнения с рядом косинуса в задачах на дифференцирование и интегрирование.

Математика

Ряд Маклорена для cos x

$\cos x=\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n}}{(2n)!},\quad x\in\mathbb R$

Косинус разлагается в чётные степени с чередованием знаков, что делает его удобным для оценки и для вычислений вблизи нуля. Это разложение естественно дополняет ряд синуса и часто используется вместе с ним в задачах колебаний и в методах линейного приближения.

Математика

Формула Тейлора с остаточным членом

$f(x)=\sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^k+R_n(x),\quad R_n(x)=\frac{f^{(n+1)}(\xi)}{(n+1)!}(x-a)^{n+1}$

Формула Тейлора описывает функцию через начальные производные в точке a и остаточный член, который контролирует точность обрезки. В задачах это даёт не только аппроксимацию, но и механизм проверки погрешности через ξ между a и x. Такой подход делает разложение вычислительно безопасным.