Владимир Дьяконов - Maple 9.5/10 в математике, физике и образовании

> Limit((1+х)^(1/х),х=0)=limit((1+х)^(1/х),х=0);

> Limit((1+1/х)^х,x=infinity)=limit((1+1/х)^х,x=infinity);

> Limit(ln(1+x)/х,x=0)=limit(ln(1+х)/x,x=0);

> Limit((exp(х)-1)/х,х=0)=limit((exp(х)-1)/х,х=0);

> Limit(((1+х)^а-1)/х,х=0)=limit(((1+х)^а-1)/х,х=0);

Все пять замечательных пределов вычислены верно.

Рисунок 4.13 показывает вычисление пределов функции tan(x) в точке x=π/2, а также слева и справа от нее. Для указания направления используются опции right (справа) и left (слева). Видно, что в самой точке предел не определен (значение undefined), а пределы справа и слева уходят в бесконечность.

Рис. 4.13 Пример вычисления пределов функции tan(x) и построение ее графика

Показанный на рис. 4.13 график функции tan(x) наглядно подтверждает существование пределов справа и слева от точки x=π/2 и отсутствие его в самой этой точке, где функция испытывает разрыв от значения +∞ до -∞.

Для демонстрации методов пошагового вычисления пределов имеется Maplet-инструмент Step-by-step Limit Tutor. Для вызова его окна (рис. 4.14) нужно исполнить команду (в стандартном варианте интерфейса): Tools→Tutors→Calculus-Single Variables→Limit….

Рис. 4.14. Окно Maplet-демонстрации методов пошагового вычисления пределов

Нетрудно заметить, что это окно практически аналогично окну для демонстрации методов пошагового дифференцирования, описанному в разделе 4.3.4 (рис. 4.2). В связи с этим подробное описание средств и этого инструмента можно опустить. Отметим лишь, что он позволяет задавать функцию и значение x и по шагам (автоматически или вручную) вычислять пределы. По окончании работы с окном соответствующий предел и результат его вычисления появляется в окне документа — рис. 4.15.

Рис. 4.15. Пример вывода результата работы с Maplet-инструментом по методам вычисления пределов

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

Очень часто желательно представление тех или иных функций f(х) в достаточно простом и единообразном виде. Эта задача решается методами аппроксимации, которые мы рассмотрим позже. Пока же зададимся более простой задачей — представления функций в виде степенного многочлена F(x) в окрестности заданной на оси абсцисс точки х=х0. Такое разложение было впервые получено Тейлором и получило название ряда Тейлора [68, 69]:

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

Для разложения функции или выражения 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));

Здесь видно, что член, обозначающий погрешность, отсутствует в тех разложениях, которые точны — например, в разложениях степенных многочленов.

Для разложения в ряд Тейлора используется функция taylor(expr, eq/nm, n). Здесь expr — разлагаемое в ряд выражение, eq/nm — равенство (в виде х=а) или имя переменной (например, х), n — необязательный параметр, указывающий на порядок разложения и представленный целым положительным числом (при отсутствии указания порядка он по умолчанию принимается равным 6). При задании eq/nm в виде x=a разложение производится относительно точки x=a. При указании eq/nm в виде просто имени переменной разложение ищется в окрестности нулевой точки, то есть фактически вычисляется ряд Маклорена.

Ниже представлены примеры применения функции taylor (файл taylor):