Ряд Маклорена в математике¶
Ряд Маклорена — это частный случай ряда Тейлора, а именно разложение функции в степенной ряд в окрестности точки \(x = 0\). Если функция \(f(x)\) бесконечно дифференцируема в окрестности нуля, то её ряд Маклорена записывается в виде:
\[ f(x) = f(0) + f'(0)x + \frac{f''(0)}{2!}x^2 + \frac{f'''(0)}{3!}x^3 + \dots = \sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!}x^n \]
Название дано в честь шотландского математика Колина Маклорена (1698–1746), хотя аналогичные разложения встречались ещё у Джеймса Грегори и Исаака Ньютона. Ряд Маклорена широко применяется в математическом анализе, физике, вычислительной математике и инженерии для приближённого вычисления значений функций, решения дифференциальных уравнений и анализа поведения функций вблизи нуля.
¶Определение и условия сходимости
Ряд Маклорена для функции \(f(x)\) строится по формуле:
\[ \sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!} x^n \]
Он представляет собой разложение в ряд Тейлора с центром в точке \(x_0 = 0\). Для того чтобы ряд сходился именно к самой функции \(f(x)\), необходимо выполнение условий: функция должна быть бесконечно дифференцируемой в окрестности нуля, а остаточный член \(R_n(x)\) в формуле Тейлора должен стремиться к нулю при \(n \to \infty\). Остаточный член может быть записан в формах Лагранжа, Коши или Пеано.
Если функция не является аналитической в нуле, ряд Маклорена может сходиться, но не к самой функции. Классический пример — функция \(f(x) = e^{-1/x^2}\) при \(x \neq 0\) и \(f(0)=0\): все её производные в нуле равны нулю, поэтому ряд Маклорена тождественно равен нулю, хотя сама функция отлична от нуля при \(x \neq 0\).
Радиус сходимости ряда определяется расстоянием от нуля до ближайшей особой точки функции на комплексной плоскости.
¶Основные разложения
Ниже приведены наиболее употребительные разложения Маклорена, которые изучаются в курсе математического анализа.
| Функция | Разложение | Область сходимости |
|---|---|---|
| \(e^x\) | \(\sum_{n=0}^{\infty} \frac{x^n}{n!}\) | \((-\infty, +\infty)\) |
| \(\sin x\) | \(\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!}\) | \((-\infty, +\infty)\) |
| \(\cos x\) | \(\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!}\) | \((-\infty, +\infty)\) |
| \(\ln(1+x)\) | \(\sum_{n=1}^{\infty} \frac{(-1)^{n-1} x^n}{n}\) | \((-1, 1]\) |
| \((1+x)^\alpha\) | \(\sum_{n=0}^{\infty} \binom{\alpha}{n} x^n\) | \((-1, 1)\) при нецелом \(\alpha\) |
| \(\frac{1}{1-x}\) | \(\sum_{n=0}^{\infty} x^n\) | \((-1, 1)\) |
Последнее разложение представляет собой сумму геометрической прогрессии. Биномиальный ряд для \((1+x)^\alpha\) обобщает формулу бинома Ньютона на произвольные вещественные показатели.
¶История
Разложения функций в степенные ряды появились в работах Исаака Ньютона и Джеймса Грегори в XVII веке. Ньютон использовал их для вычисления площадей и решения уравнений. Колин Маклорен в своём трактате «Treatise of Fluxions» (1742) систематически изложил метод разложения функций в ряды с центром в нуле и привёл многочисленные примеры, благодаря чему его имя закрепилось за этой конструкцией. Брук Тейлор ранее, в 1715 году, опубликовал общий результат для произвольной точки разложения, поэтому ряд Маклорена корректно рассматривать как частный случай ряда Тейлора.
В XIX веке Огюстен Луи Коши, Нильс Хенрик Абель и Карл Вейерштрасс строго обосновали теорию степенных рядов, установили критерии сходимости и ввели понятие аналитической функции. Это позволило отделить формальные разложения от разложений, действительно представляющих функцию.
¶Применение
Ряд Маклорена используется в нескольких направлениях:
- Приближённые вычисления. Заменяя функцию несколькими первыми членами ряда, получают приближённые значения с заданной точностью. Например, \(\sin x \approx x - x^3/6\) при малых \(x\).
- Пределы и эквивалентности. Разложения применяются для раскрытия неопределённостей и вывода асимптотических формул, например \(\sin x \sim x\), \(e^x - 1 \sim x\) при \(x \to 0\).
- Физика и техника. Линеаризация нелинейных зависимостей вблизи положения равновесия опирается на первые члены разложения. Так строится теория малых колебаний.
- Численные методы. Приближение функций многочленами лежит в основе вычислений на ЭВМ, поскольку многочлены легко вычисляются и интегрируются.
- Решение дифференциальных уравнений. Метод степенных рядов позволяет находить решения в виде ряда Маклорена, когда точное решение не выражается элементарными функциями.
¶Связь с рядом Тейлора
Ряд Тейлора для функции \(f(x)\) в точке \(x_0\) имеет вид \(\sum \frac{f^{(n)}(x_0)}{n!}(x-x_0)^n\). При \(x_0 = 0\) он превращается в ряд Маклорена. Таким образом, вся теория, developed для ряда Тейлора — теорема о единственности разложения, оценки остаточного члена, признаки сходимости, — автоматически переносится на ряд Маклорена. В зарубежной литературе термин «ряд Маклорена» употребляется реже: обычно говорят о разложении Тейлора в нуле.
¶Примеры вычислений
Разложение \(e^x\) даёт приближение \(e \approx 1 + 1 + 1/2 + 1/6 + 1/24 \approx 2{,}7083\), что близко к истинному значению \(2{,}71828\). Для достижения точности в четыре знака достаточно взять около восьми членов ряда.
Разложение \(\ln(1+x)\) при \(x = 1\) даёт знакочередующийся ряд \(1 - 1/2 + 1/3 - 1/4 + \dots\), сходящийся к \(\ln 2\). Этот ряд сходится медленно, поэтому на практике применяют преобразования для ускорения сходимости.
Биномиальный ряд при \(\alpha = 1/2\) даёт разложение \(\sqrt{1+x} = 1 + x/2 - x^2/8 + x^3/16 - \dots\), используемое для приближённого извлечения корней.
¶Ограничения
Ряд Маклорена применим только к функциям, аналитическим в окрестности нуля. Для функций с особенностью в нуле или разрывом разложение либо не существует, либо расходится. Кроме того, даже при сходимости ряда его сумма не всегда совпадает со значением функции, как показывает пример \(e^{-1/x^2}\). Наконец, скорость сходимости может быть низкой вблизи границы радиуса сходимости, что ограничивает практическое применение без дополнительных приёмов суммирования.
Источники: учебники по математическому анализу, трактат К. Маклорена «Treatise of Fluxions», классические работы Л. Эйлера и О. Коши по теории рядов.