Ряды Тейлора для exp x, sin x, cos x, ln(1+x) и (1+x)^α

Основные разложения Маклорена таковы. Для всех \(x\in \mathbb{R}\) выполняются \(e^{x}=\sum _{n=0}^{\infty }\frac{x^{n}}{n!}, \cos x=\sum _{n=0}^{\infty }\frac{(-1)^{n} x^{2n}}{(2n)!}\) и \(\sin x=\sum _{n=0}^{\infty }\frac{(-1)^{n} x^{2n+1}}{(2n+1)!}\).1

Для \(-1\lt x\le 1\) выполняется \(\ln (1+x)=\sum _{n=1}^{\infty }\frac{(-1)^{n-1}x^{n}}{n}\). Если \(\alpha \) не является неотрицательным целым числом, то при \(|x|\lt 1\) имеем \((1+x)^{\alpha }=\sum _{n=0}^{\infty } \binom{\alpha}{n}x^{n}\). Если \(\alpha =m\in \mathbb{Z}, m\ge 0\), ряд обрывается и получается конечная формула бинома Ньютона, справедливая для всех \(x\in \mathbb{R}\).1

Что важно запомнить
  • Ряды для \(\exp , \sin \) и \(\cos \) сходятся при всех вещественных \(x\).
  • Ряд для \(\ln (1+x)\) имеет радиус \(1\) и в точке \(x=1\) даёт \(\ln 2\).
  • Если \(\alpha \) не является неотрицательным целым числом, биномиальное разложение рассматривают при \(|x|\lt 1\).
  • Если \(\alpha =m\ge 0\) и \(m\) является целым числом, биномиальный ряд обрывается и даёт конечный многочлен для всех \(x\).

Экспонента, косинус и синус

Для любого \(x\in \mathbb{R}\) справедливы разложения

\[e^{x}=\sum _{n=0}^{\infty } \frac{x^{n}}{n!}\],

\[\cos x=\sum _{n=0}^{\infty }\frac{(-1)^{n} x^{2n}}{(2n)!}\],

\[\sin x=\sum _{n=0}^{\infty }\frac{(-1)^{n} x^{2n+1}}{(2n+1)!}\].1

Радиус сходимости каждого из этих рядов равен \(+\infty \).

Логарифм

Для \(-1\lt x\le 1\)

\[\ln (1+x)=\sum _{n=1}^{\infty }\frac{(-1)^{n-1}x^{n}}{n}\].1

На интервале \(|x|\lt 1\) формулу получают почленным интегрированием геометрического ряда \(\frac{1}{(1+x)}=\sum (-1)^{n} x^{n}\). В точке \(x=1\) равенство продолжается по второй теореме Абеля и даёт \(\ln 2=\sum _{n=1}^{\infty }\frac{(-1)^{n-1}}{n}\). Точка \(x=-1\) не входит в область определения \(\ln (1+x)\).

Биномиальный ряд

Положим \(\binom{\alpha}{0}=1\) и при \(n\ge 1\)

\[\binom{\alpha}{n}=\alpha (\alpha -1)\ldots \frac{(\alpha -n+1)}{n!}\].

Если \(\alpha \) не является неотрицательным целым числом, то для \(|x|\lt 1\)

\[(1+x)^{\alpha }=\sum _{n=0}^{\infty } \binom{\alpha}{n}x^{n}\].1

Если \(\alpha =m\in \mathbb{Z}\) и \(m\ge 0\), коэффициенты после \(n=m\) равны нулю. Получается конечный биномиальный многочлен

\[(1+x)^{m}=\sum _{n=0}^{m} \binom{m}{n}x^{n}\],

и это равенство справедливо для любого вещественного \(x\).1

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

При \(\alpha =-1\) биномиальный ряд даёт \((1+x)^{-1}=1-x+x^{2}-x^{3}+\ldots \) при \(|x|\lt 1\). Интегрирование этого равенства от \(0\) до \(x\) приводит к ряду для \(\ln (1+x)\).

Частые ошибки
  • Использовать ряд для \(\ln (1+x)\) в точке \(x=-1\).
  • Указывать радиус \(1\) для рядов \(\exp , \sin \) или \(\cos \).
  • Считать биномиальный ряд бесконечным при неотрицательном целом \(\alpha \), хотя в этом случае он обрывается.

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

Источники

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