Разложение функций в ряды.

Широкий класс функций (но не все!) может быть представлен степенными рядами в малой окрестности данной точки. Так получаем аппроксимацию (приближённое выражение) функции, тем более точную, чем более число взятых членов ряда.

1. Общий случай представления произвольной функции степенным рядом. Оператор series. Формат команды:

> series(f(x), x=a);

Параметр команды x=a указывает, в какой точке производим разложение (м. б. комплексный). По умолчанию выведено 6 первых членов ряда и остаточный член. Разложение производится в малой окрестности точки, т. е. при безразмерном (x-a) < 1 (в этом отличие такого разложения от асимптотического представления п. 11.2).

D(f) - дифференциальный оператор (подробнее см. Help, также п. 12)

16.2.1. Справка Help по оператору D.

· The D command can represent derivatives evaluated at a point. For example, the derivative of f(x) evaluated at x = 0 is represented by

> D(f)(0); convert(%, diff); `@@`(D, n)(f)(a);

The evaluation point can be any algebraic expression, not necessarily a constant. Derivatives evaluated at a point can also be expressed using a composition of eval and diff.

При вычислении (D, n)(f)(a) следует вначале найти производную порядка n от данной функции, а затем подставить в полученное выражение x=a. Эквивалентная команда:

> subs(x=a, diff(f(x), x));

Когда f(x) задано, Maple выполняет все дифференцирования и подстановки без дополнительных указаний.

Число выводимых членов ряда может быть задано дополнительным численным параметром команды (ниже - 3):

> series(f(x), x=a, 3);

2. Представление произвольной функции рядом Тейлора. Оператор taylor (с действительным параметром). Этот ряд применим для более узкого класса функций. Формат команды:

> taylor(f(x), x=a);