* Данный текст распознан в автоматическом режиме, поэтому может содержать ошибки
Инструментальный пакет решения дифференциальных уравнений DEtools 717
• regularsp – вычисляет регулярные особые точки для дифференциаль ных уравнений второго порядка; • translate – преобразует дифференциальные уравнения в список опера торов; • untranslate – преобразует список операторов в дифференциальные уравнения; • varparam – находит общее решение дифференциальных уравнений мето дом вариации параметров. Применение этих функций гарантирует совместимость документов старых реализаций Maple.
9.4.2. Консультант по дифференциальным уравнениям
Для выявления свойств дифференциальных уравнений в Maple 9.5 в составе па кета DEtools имеется консультант (адвизор), вводимый следующей функцией:
odeadvisor(ODE) odeadvisor(ODE, y(x), [type1, type2, ...], help)
Здесь ODE – одиночное дифференциальное уравнение, y(x) – неопределенная (определяемая функция), type1, type2, ... – опционально заданное множество ти пов, которые классифицируются, и help – опционально заданное указание на вы вод страницы справки по методу решения. Примеры работы с классификатором представлены ниже:
> with(DEtools): ODE := x*diff(y(x),x)+a*y(x)+b*x^2;
> odeadvisor(ODE);
[_linear]
> ODE1 := x*diff(y(x)^2,x)+a*y(x)+b*x^2;
> odeadvisor(ODE1);
[_rational, [_Abel, 2nd type, class B]]
> ODE2 := diff(y(x),x,x,x)+D(g)(y(x))*diff(y(x),x)^3 + 2*g(y(x))*diff(y(x),x)*diff(y(x),x,x) + diff(f(x),x)*diff(y(x),x) + f(x)*diff(y(x),x,x) = 0;
> odeadvisor(ODE2,y(x));
[[_3rd_order, _exact, _nonlinear], [3rd_order, _reducible, _mu_y2]]