Maple 9.5/10 в математике, физике и образовании
Шрифт:
Рис. 7.18. Построение фазового портрета в виде графика векторного поля
Обратите внимание на использование опций в этом примере — в частности, на вывод надписи на русском языке. В целом список параметров функции phaseportrait аналогичен таковому для функции DEplot (отсутствует лишь задание начальных условий).
7.5.6. Графическая функция phaseportrait
Графическая функция phaseportrait служит для построения фазовых портретов по результатам
При задании уравнений достаточно указать их правые части. На рис. 7.19 представлен пример применения функции phaseportrait для решения системы из трех дифференциальных уравнений первого порядка.
Рис. 7.19. Построение фазового портрета с помощью функции phaserportrait
В этом примере система дифференциальных уравнений задана с помощью оператора дифференцирования D. Функциональная окраска линии фазового портрета достигается использованием параметра linecolor в правой части которой задана формула для цвета.
Еще более интересный пример решения дифференциального уравнения представлен на рис. 7.20. Здесь построены фазовые портреты для асимптотических решений.
Рис. 7.20. Построение асимптотического решения на фоне графика векторного поля
В целом надо отметить, что возможности визуализации решений дифференциальных уравнений с помощью системы Maple весьма велики и приведенные выше примеры лишь частично иллюстрируют сказанное.
7.6. Углублённый анализ дифференциальных уравнений
7.6.1. Задачи углубленного анализа ДУ
Maple 9.5 существенно доработан по части решения дифференциальных уравнений (ДУ) и систем с ДУ. Эта доработка, прежде всего, направлена на получение верных решений как можно большего числа ДУ разных классов и систем с ДУ. В частности расширен круг нелинейных дифференциальных уравнений, для которых система Maple 9.5 способна дать аналитические решения.
Весь арсенал средств решения ДУ и методика их применения вполне заслуживают отражения в отдельной большой книге. Мы ограничимся описанием только трех средств системы Maple — проверки ДУ на автономность, углубленным анализом решения с помощью контроля уровня выхода и получением приближенного полиномиального аналитического решения.
7.6.2. Проверка ДУ на автономность
Одиночное дифференциальное уравнение или система дифференциальных уравнений называется автономной, если их правая часть явно не зависит от независимой переменной. Для автономных дифференциальных уравнений или систем при построении графиков решений функцией DEplot не обязательно задавать начальные условия, но нужно указывать диапазон изменения искомых переменных.
Для проверки уравнений (или систем) на автономность используется функция
где des — заданное дифференциальное уравнение или (в виде списка) система дифференциальных уравнений, vars — зависимые переменные и ivar — независимая переменная. Если система автономна, то эта функция возвращает true, в противном случае false.
Примеры:
В первом случае система дифференциальных уравнений (модель Лотки-Вольтерра) автономна, а во втором случае дифференциальное уравнение не автономно.
7.6.3. Контроль уровня вывода решения ДУ
Для углубленного анализа аналитического решения ДУ (или системы ДУ) можно использовать специальную возможность управления уровнем вывода решения с помощью системной переменной infolevel(dsolve):=level. Значение level=all дает обычный вывод решения без комментариев, уровень 1 зарезервирован для информации, которую может сообщить пользователь, уровень 2 или 3 дает более детальный вывод (включая сообщения об использованном алгоритме и технике решения) и, наконец, уровни 4 и 5 дают наиболее детальную информацию (если таковая есть в дополнение к той информации, которую дает уровень 2 или 3).
Приведем пример аналитического решения ДУ третьего порядка с контролем уровня вывода решения (файл deil):