Определение функции Ляпунова и реализация в Matlab
Особенности применения функций Ляпунова для исследования устойчивости различных дифференциальных уравнений и систем. Алгоритм и листинг программы определения устойчивости матрицы на основе использования метода Раусса-Гурвица в среде моделирования Matlab.
Рубрика | Математика |
Вид | реферат |
Язык | русский |
Дата добавления | 23.10.2014 |
Размер файла | 403,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://www.allbest.ru/
Министерство образований и науки Республики Казахстан
Евразийский национальный университет им. Л.Н. Гумилева
Факультет информационных технологий
Кафедра системного анализа и управления
Реферат
Тема: Определение функции Ляпунова и реализация в Matlab
Выполнила:
студентка группы АБ -35к
Ас?арова А.С.
Проверила:
преподаватель Ермекбаева Ж.Ж.
г. Астана 2014 год
Содержание
1. Определение функции Ляпунова
2. Теоремы об устойчивости
3. Теоремы о неустойчивости
4. Методический пример
1. Определение функции Ляпунова
Функция Ляпунова представляет собой скалярную функцию, заданную на фазовом пространстве системы, с помощью которой можно доказать устойчивость положения равновесия. Метод функций Ляпунова применяется для исследования устойчивости различных дифференциальных уравнений и систем. Ниже мы ограничимся рассмотрением автономных систем
имеющих нулевое положение равновесия X ? 0.
Предположим, что в некоторой окрестности U начала координат задана непрерывно дифференцируемая функция
Пусть V(X) > 0 для всех X ? U \{0}, а в начале координат V(0) = 0. Такими функциями являются, например, функции вида
Найдем полную производную функции V(X) по времени t:
Это выражение можно записать в виде скалярного произведения двух векторов:
Здесь первый вектор представляет собой градиент функции V(X), т.е. он всегда направлен в сторону наибольшего возрастания функции V(X). Как правило, функция V(X) возрастает при удалении от начала координат, т.е. при условии |X| > ?. Второй вектор в скалярном произведении ? это вектор скорости движения. В любой точке он направлен по касательной к фазовой траектории.
Рассмотрим случай, когда производная функции V(X) в окрестности U начала координат отрицательна:
Это означает, что угол ц между вектором градиента и вектором скорости больше 90°. Для функции двух переменных это схематически показано на рисунках 1 и 2.
Очевидно, что если производная dV/dt вдоль фазовой траектории всюду отрицательная, то траектория движения стремится к началу координат, т.е. система является устойчивой. В противном случае, когда производная dV/dt положительна, траектория стремится от начала координат, т.е. система является неустойчивой.
Перейдем к строгим формулировкам.
Функция V(X), непрерывно дифференцируемая в некоторой окрестности U начала координат, называется функцией Ляпунова автономной системы
если выполнены следующие условия:
2. Теоремы об устойчивости
дифференциальный уравнение matlab алгоритм
Теорема об устойчивости в смысле Ляпунова. Если в некоторой окрестности U нулевого решения X = 0 автономной системы существует функция Ляпунова V(X), то положение равновесия X = 0 является устойчивым по Ляпунову.
Теорема об асимптотической устойчивости. Если в некоторой окрестности U нулевого решения X = 0 автономной системы существует функция Ляпунова V(X) с отрицательно определенной производной dV/dt <0 для всех X ? U \{0}, то положение равновесия X =0 является асимптотически устойчивым.
Как видно, для асимптотической устойчивости нулевого решения требуется, чтобы полная производная dV/dt была строго отрицательной (отрицательно определенной) в окрестности начала координат.
3. Теоремы о неустойчивости
Теорема Ляпунова о неустойчивости. Пусть в окрестности U нулевого решения X = 0 существует непрерывно дифференцируемая функция V(X), такая, что
1. V(0) = 0;
2. dV/dt > 0.
Если в окрестности U имеются точки, в которых V(X) > 0, то нулевое решение X = 0 является неустойчивым.
Теорема Четаева о неустойчивости. Пусть в окрестности U нулевого решения X = 0 автономной системы существует непрерывно дифференцируемая функция V(X). Пусть окрестность U содержит подобласть U1, включающую начало координат (рис.3), такую, что
1. V(X) > 0 для всех X ? U1\{0};
2. dV/dt > 0 для всех X ? U1\{0};
3. V(X) = 0 для всех X ? дU1,
где дU1 обозначает границу подобласти U1.
Тогда нулевое решение X = 0 системы неустойчиво. В этом случае фазовые траектории в подобласти U1 будут стремиться от начала координат.
Таким образом, функции Ляпунова позволяют установить устойчивость или неустойчивость системы. Преимуществом данного метода является то, что здесь не требуется знать само решение X(t). Кроме того, данный метод позволяет исследовать устойчивость положений равновесия негрубых систем, ? например, в случае, когда точка равновесия является центром. Недостаток заключается в том, что не существует общего метода построения функций Ляпунова. В частном случае однородных автономных систем с постоянными коэффициентами функцию Ляпунова можно искать в виде квадратичной формы.
Пример 1
Исследовать на устойчивость нулевое решение нелинейной системы
Решение.
Очевидно, что якобиан данной системы в точке (0,0) представляет собой нулевую матрицу:
Собственные значения этой матрицы равны нулю: л1,2 = 0. Поэтому метод исследования устойчивости по первому приближению неприменим.
Посмотрим какой результат можно получить, используя функцию Ляпунова. В качестве такой функции возьмем
которая является положительно определенной всюду, кроме начала координат. Вычислим полную производную:
Здесь снова, как и в предыдущем примере, производная тождественно равна нулю. Это значит, что нулевое решение системы устойчиво (в смысле Ляпунова).
Пример 2
Исследовать на устойчивость нулевое решение системы, используя метод функций Ляпунова:
Решение.
В качестве возможной функции Ляпунова выберем функцию вида
Очевидно, эта функция является положительно определенной всюду, кроме начала координат, где она равна нулю. Вычислим ее производную (в силу данной системы):
Как видно, производная является отрицательно определенной всюду, кроме точки (0,0). Тогда нулевое решение будет асимптотически устойчивым.
Используя метод первого приближения, можно убедиться, что нулевое положение равновесия представляет собой устойчивый фокус. Действительно, собственные значения линеаризованной системы являются комплексно-сопряженными числами с отрицательной действительной частью:
4. Методический пример
Задана система управления, описываемая конечно-разностными уравнениями в пространстве состояний
x(k+1) = A(k) x(k) + B(k) u(k), (),
и известна матрица K, определяющая закон управления
u = Kx,
.
1. Зададим матрицы, определяющие систему:
2. Определим решение уравнения Ляпунова
3. Произведем расчет главных миноров
По критерию Сильвестра решение не является положительно-определенной матрицей, следовательно, система не является асимптотически устойчивой. График свободного движения системы при начальных условиях показан на рис. 4.1 и 4.2.
Рис. 4.1. x1(k).
Рис. 4.2. x2(k).
4. Аналогично можно определить свойство асимптотической устойчивости в управляемой системе.
По критерию Сильвестра решение дискретного уравнения Ляпунова не является положительно-определенной матрицей, следовательно, система не является асимптотически устойчивой.
5. Приведем текст script-файла для определения устойчивости матрицы X на основе использования метода Раусса-Гурвица.
- получение коэффициентов характеристического полинома
lm= poly(X);
- определение размерности
[L, N] =size(lm);
- создание матрицы с нулевыми значениями
g=zeros(N, N);
- заполнение нечетных строк матрицы Гурвица
- заполнение четных строк матрицы Гурвица
- вычисление главных миноров
- вывод результатов
Результат вычисления показывает, что система управления не является асимптотически устойчивой. График динамики управляемой системы при начальных условиях показан на рис. 4.3 и 4.4.
Рис. 4.3. x1(k).
Рис. 4.4.. x2(k).
Полученные графики динамики системы иллюстрируют полученный аналитический результат о неустойчивости системы.
Размещено на Allbest.ru
Подобные документы
Появление понятия функций Ляпунова. Развитие теории устойчивости движения. Применение функций Ляпунова к исследованию продолжимости решений дифференциальных уравнений. Методы построения функций Ляпунова, продолжимость решений уравнений третьего порядка.
дипломная работа [543,4 K], добавлен 29.01.2010Синтез вариационного исчисления и метода функций Ляпунова в основе принципа динамического программирования. Метод знакопостоянных функций Ляпунова в решении задач о стабилизации и синтезе управления для нелинейной и автономной управляемых систем.
курсовая работа [1,2 M], добавлен 17.06.2011Система Ляпунова - случай одной степени свободы. Необходимые и достаточные условия существования периодических решений. Применение алгоритма Ляпунова для построения приближенного периодического решения задачи Коши для системы дифференциальных уравнений.
курсовая работа [243,8 K], добавлен 11.05.2012Основные формулы, используемые в исследовании. Определение стохастической устойчивости и структура соответствующих уравнений. Применение второго метода Ляпунова. Скалярные уравнения n-го порядка. Анализ устойчивости по вероятности движений спутника.
курсовая работа [235,6 K], добавлен 21.02.2016Краткая биография английского математика Дж. Сильвестра. Устойчивость равновесия консервативной системы с конечным числом степеней свободы. Функции Ляпунова и критерий Сильвестра. Пример определения условия устойчивости равновесного положения системы.
реферат [3,0 M], добавлен 09.11.2010Системы дифференциальных уравнений первого порядка. Положение равновесия системы. Численный расчет линеаризованной системы уравнений. Определение асимптотической устойчивости состояния равновесия системы в соответствии с первым методом Ляпунова.
курсовая работа [3,0 M], добавлен 15.05.2012Система линейных алгебраических уравнений. Основные формулы Крамера. Точные, приближенные методы решения линейных систем. Алгоритм реализации метода квадратных корней на языке программирования в среде Matlab 6.5. Влияние мерности, обусловленности матрицы.
контрольная работа [76,6 K], добавлен 27.04.2011Решение эллиптических и параболических дифференциальных уравнений в частных производных. Суть метода Кранка-Николсона и теории разностных схем для теплопроводности. Построение численных методов с помощью вариационных принципов, описание Matlab и Mathcad.
курсовая работа [1,4 M], добавлен 13.03.2011Решение систем линейных алгебраических уравнений методом исключения Гаусса. Табулирование и аппроксимация функций. Численное решение обыкновенных дифференциальных уравнений. Приближенное вычисление определенных интегралов. Решение оптимизационных задач.
курсовая работа [1,6 M], добавлен 21.11.2013Дифференциальное уравнение первого порядка. Формулировка теоремы существования и единственности. Линейные уравнения с постоянными коэффициентами. Доказательство теоремы существования и единственности для одного уравнения. Теория устойчивости Ляпунова.
дипломная работа [1,0 M], добавлен 11.04.2009