Ряд Маклорена: формула, разложение и примеры

Некоторые функции слишком сложны для прямой работы с ними — поэтому математики придумали, как «подделывать» их многочленами.

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

Ряд Маклорена можно рассматривать как частный случай ряда Тейлора, только с центром в нуле. Это ограничение упрощает вывод и облегчает применение.

В этой статье я разберу формулу ряда Маклорена, пройду по самым распространённым разложениям и покажу, как их интерпретировать и применять.

Что такое ряд Маклорена?

Ряд Маклорена представляет функцию в виде бесконечной суммы членов, построенных на её производных в нуле.

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

Приближение сложной функции многочленом — ключевая идея ряда Маклорена. Многочлены легко вычислять, дифференцировать и интегрировать. Большинство других функций — нет.

Ряд Маклорена и ряд Тейлора

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

Ряд Маклорена — это просто ряд Тейлора при a = 0. Это единственное различие.

Центрирование в нуле упрощает математику, потому что в многочленных членах пропадает сдвиг (x - a), и остаются обычные степени x. У большинства стандартных функций, с которыми вы столкнётесь в математическом анализе, физике и машинном обучении, есть аккуратные, хорошо известные разложения Маклорена именно по этой причине.

Сравнение рядов Тейлора и Маклорена

Подводя итог разделу: используйте ряд Тейлора, когда нужно приблизить функцию в окрестности конкретной точки, отличной от нуля. Используйте ряд Маклорена, когда отправной точкой является ноль — а так бывает часто.

Формула ряда Маклорена

Формула ряда Маклорена выражает любую функцию f(x) как бесконечную сумму:

Формула ряда Маклорена

В развернутом виде это выглядит так:

Развёрнутая формула ряда Маклорена

Каждый член состоит из трёх частей:

• f⁽ⁿ⁾(0) — n-я производная f, вычисленная в нуле. Она показывает, как функция ведёт себя в этой точке

• n! — факториал n, который уменьшает вклад каждого члена, чтобы ряд оставался «послушным» при росте n

• xⁿ — n-я степень x, определяющая, насколько далеко от нуля «дотягивается» каждый член

Первый член f(0) задаёт значение многочлена в нуле. Каждый следующий добавляет поправку — корректирует наклон, кривизну и так далее — пока многочлен не будет достаточно точно совпадать с исходной функцией.

В двух словах: чем больше членов вы включите, тем лучше приближение.

Как работает ряд Маклорена

Построение ряда Маклорена сводится к повторяющемуся действию: вычисляйте производные в нуле, затем складывайте результаты в многочлен.

Вот как это происходит, шаг за шагом.

1. Вычислите функцию в нуле: подставьте x = 0 в f(x). Это даст первый член — константу, задающую начальное значение многочлена
2. Найдите производные: вычислите f'(x), f''(x), f'''(x) и так далее. На каждом шаге подставьте ноль. Каждое значение говорит о поведении функции — её наклоне, кривизне, скорости изменения кривизны
3. Постройте многочлен. Возьмите каждое значение производной, разделите на соответствующий факториал и умножьте на соответствующую степень x

Теперь сложите все члены вместе:

Как работает ряд Маклорена

Каждый член улучшает приближение. Первый даёт значение. Второй — наклон. Третий — кривизну. И так далее.

Вы останавливаетесь, когда точности достаточно для вашей задачи, — или продолжаете ради большей точности.

Распространённые разложения Маклорена

Есть несколько функций, которые встречаются так часто, что их разложения Маклорена стоит запомнить. Ниже — четыре самых популярных.

eˣ

Экспонента — самый простой случай: любая производная eˣ равна eˣ, а значит, все производные, вычисленные в нуле, равны 1.

Разложение e^x

Коэффициенты — просто 1/n!. Ряд сходится при любых значениях x, что делает его одним из самых полезных на практике.

sin(x)

Ряд для синуса содержит только нечётные степени x, а знаки чередуются — плюс, минус и так далее.

Разложение sin(x)

Производные чётного порядка sin(x) в нуле равны нулю, поэтому соответствующие члены исчезают. Остаются нечётные степени, факториалы в знаменателе и чередование знаков. Как и eˣ, этот ряд сходится при всех x.

cos(x)

Разложение для косинуса — зеркальное отражение синуса: присутствуют только чётные степени x с тем же чередованием знаков.

Разложение cos(x)

Это логично, поскольку cos(x) — производная от sin(x), и получить это разложение можно, продифференцировав ряд для sin(x) почленно. Члены с нечётными степенями пропадают по той же причине, по которой в синусе пропадают чётные: производные в нуле их «обнуляют». Ряд сходится при всех x.

1 / (1 − x)

Здесь самый простой рисунок из всех четырёх: каждый коэффициент равен 1, без факториалов и без чередования знаков.

Разложение 1/(1-x)

Это геометрический ряд, поэтому картина столь аккуратная. Но в отличие от трёх функций выше, этот ряд сходится только при |x| < 1. Если задать x вне этого диапазона, члены растут без границ, вместо того чтобы стремиться к нулю.

И напоследок, для визуалов — сравнительный график всех четырёх разложений с несколькими членами:

Распространённые ряды Маклорена

Приближение функций с помощью ряда Маклорена

На практике редко нужен весь бесконечный ряд Маклорена. Обычно берут частичную сумму — первые несколько членов — и используют её как приближение.

Чем больше членов вы берёте, тем ближе частичная сумма следует за исходной функцией. Если ограничиться двумя членами, получится грубое приближение возле нуля. Добавите ещё пару — точность сохранится дальше от нуля. Каждый новый член исправляет то, чего недобрали предыдущие.

Возьмём sin(x) как конкретный пример. Полный ряд:

Формула приближения sin(x)

Давайте приблизим sin(0.3) частичными суммами и посмотрим, как каждая из них соотносится с точным значением.

• 1 член: 0.3 — погрешность ~0.0045

• 2 члена: 0.3 - (0.3³/6) = 0.2955 — погрешность ~0.0000196

• 3 члена: добавляем (0.3⁵/120) = 0.29552 — погрешность ~0.0000000239

Трёх членов хватает для точности до шести знаков после запятой — обычно этого достаточно. В большинстве случаев дальше идти не нужно.

Тот же подход на Python:

import numpy as np
from math import factorial

def maclaurin_sin(x, n_terms):
    return sum(((-1)**n * x**(2*n+1)) / factorial(2*n+1) for n in range(n_terms))

vec_sin = np.vectorize(maclaurin_sin)
x_val = 0.3

print(f"Approximating sin({x_val}):")
print(f"  Exact value : {np.sin(x_val):.10f}")
for n in [1, 2, 3, 4]:
    approx = maclaurin_sin(x_val, n)
    error = abs(np.sin(x_val) - approx)
    print(f"  {n} term(s)   : {approx:.10f}  |  error: {error:.2e}"

Запуск выдаст значения частичных сумм и ошибки при x = 0.3:

Пример на Python: приближение sin(x) рядом Маклорена

Это можно посмотреть и визуально:

График приближения sin(x) рядом Маклорена

Хорошо видно, насколько точно каждое приближение повторяет функцию sin(x).

Сходимость ряда Маклорена

Ряд Маклорена не всегда работает при любых значениях x. Для некоторых функций ряд сходится к правильному значению только в определённой окрестности нуля. Вне этой области частичные суммы, наоборот, растут без границ.

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

Поведение зависит от функции:

• eˣ, sin(x), cos(x) — сходятся при любых значениях x. Можно подставлять любое число, и ряд даст верный ответ

• 1/(1-x) — сходится только при |x| < 1. При x = 1 сама функция «взрывается», и ряд отражает это, не сходясь вблизи этой точки

Думайте о радиусе сходимости как о «круге доверия» с центром в нуле. Ряд даёт корректное приближение только внутри него.

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

Зачем нужны ряды Маклорена

Ряды Маклорена встречаются в реальных вычислениях в математике, физике и машинном обучении.

Численные методы

Компьютеры не умеют вычислять большинство функций символически. Они вычисляют многочлены. Когда библиотека считает sin(x) или eˣ, часто используется многочленное приближение — полученное из разложения Маклорена или Тейлора. Ряд даёт форму, с которой железо может реально работать: быстро и без бесконечных циклов.

Приближения в физике

В физике ряды Маклорена используют, когда точное решение слишком сложно. Самый известный пример — приближение для малых углов: при малых &theta верно sin(θ) ≈ θ. Это всего лишь первый член разложения Маклорена для sin(x). Оно упрощает уравнения маятника, расчёты в оптике и модели волн — превращая нелинейные задачи в линейные, которые реально решать.

Машинное обучение и оптимизация

В машинном обучении разложения Тейлора и Маклорена лежат в основе многих повседневных методов. Градиентный спуск использует аппроксимации первого порядка функции потерь, чтобы определить направление шага. Методы второго порядка, такие как метод Ньютона, используют кривизну. Когда исследователи анализируют локальное поведение поверхности потерь модели, они часто мыслят в терминах разложения Тейлора в окрестности точки.

Ряды Маклорена также используют для приближений активационных функций, таких как sigmoid и tanh, в теоретическом анализе. Разложение их в многочлены упрощает рассуждения о градиентах и насыщении.

Выводы

Ряд Маклорена делает одну вещь: приближает функцию многочленом с центром в нуле. Проста́я идея с широкой областью применения.

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

Разложения для eˣ, sin(x), cos(x) и 1/(1-x) стоит запомнить. Они встречаются достаточно часто, чтобы узнавание их «с ходу» экономило время, особенно при чтении научных статей.