4.6. Разложение функций в ряды
4.6.1 Определение рядов Тейлора и Маклорена
Огромное разнообразие функций давно заставляло математиков задумываться над возможностями их приближенного, но единообразного представления. К таким представлениям относятся различные
Очень часто желательно представление тех или иных функций f(х) в достаточно простом и единообразном виде. Эта задача решается методами аппроксимации, которые мы рассмотрим позже. Пока же зададимся более простой задачей — представления функций в виде степенного многочлена

Если разложение выполняется относительно точки х=0, его принято называть

4.6.2. Разложение в степенной ряд
Для разложения функции или выражения expr в обычный степенной ряд в системе Maple служат функции:
series(expr, eqn)
и
series(expr, eqn, n)
Здесь expr — разлагаемое выражение, eqn — условие (например, в виде х=а) или имя переменной (например, х) и n — необязательное и неотрицательное целое число, задающее число членов ряда (при его отсутствии оно по умолчанию берется равным 6, но может переустанавливаться системной переменной Order). Если в качестве eqn задано имя переменной, то это соответствует разложению по этой переменной в области точки с ее нулевым значением. Задав eqn в виде x=x0 можно получить разложение по переменной х в окрестности точки x=х0.
Разложение получается в форме степенного многочлена, коэффициенты которого задаются рациональными числами. Остаточная погрешность задается членом вида O(х)^n. При точном разложении этот член отсутствует. В общем случае для его удаления можно использовать функцию convert. Ниже представлены примеры разложения различных выражений в ряд (файл series):
> series(sinh(х), х=0);

> series(sinh(х),х=1,3);

> series(sinh(х),х=1.0,3);
> series(2*х^2-х+1,х=1,10);
> f(х):=sin(х)/х;

> series(f(х),х=0,10);

> convert(%,polynom);

> s:=series(ln(х),х=2, 4);

> evalf(convert(s,polynom));
Здесь видно, что член, обозначающий погрешность, отсутствует в тех разложениях, которые точны — например, в разложениях степенных многочленов.
4.6.3. Разложение в ряды Тейлора и Маклорена
Для разложения в
Ниже представлены примеры применения функции taylor (файл taylor):
> taylor(1-ехр(х), х=1, 4);

> convert(%,polynom);

> taylor(sinh(x), x, 10);

> taylor(int(sin(x)/x,x),x);

> taylor(erf(х),х);

Не все выражения (функции) имеют разложение в ряд Тейлора. Ниже дан пример такого рода:
> taylor(1/х+х^2,х,5);
Error, does not have a taylor expansion, try series()
> series(1/х+х^2,x,10);
> taylor(1/х+х^2,x=1,5);
Здесь Maple 9.5 отказался от вычисления ряда Тейлора в окрестности точки х=0 (по умолчанию) и предложил воспользоваться функцией series. Однако эта функция просто повторяет исходное разложение. В то же время в окрестности точки х=1 ряд Тейлора вычисляется.
Для разложения в ряд Тейлора функций нескольких переменных используется библиотечная функция mtaylor:
mtaylor(f, v)