5194-1 (612435)
Текст из файла
Устойчивость систем дифференциальных уравнений
Курсовая работа по дисциплине "Специальные разделы математики"
Выполнил студент Новичков А. А., группа: 450
Севмашвтуз - Филиал СПбГМТУ
Кафедра №2
Введение.
Решения большинства дифференциальных уравнений и их систем не выражаются через элементарные функции, и в этих случаях при решении конкретных уравнений применяются приближенные методы интегрирования. Вместе тем часто бывает необходимо знать не конкретные численные решения, а особенности решений: поведение отдельных решений при изменении параметров систем, взаимное поведение решений при различных начальных данных, является ли решение периодическим, как меняется общее поведение системы при изменении параметров. Все эти вопросы изучает качественная теория дифференциальных уравнений.
Одним из основных вопросов этой теории является вопрос об устойчивости решения, или движения системы, если ее трактовать как модель физической системы. Здесь важнейшим является выяснение взаимного поведения отдельных решений, незначительно отличающихся начальными условиями, то есть будут ли малые изменения начальных условий вызывать малые же изменения решений. Этот вопрос был подробно исследован А. М. Ляпуновым.
Основу теории Ляпунова составляет выяснение поведения решений при асимптотическом стремлении расстояния между решениями к нулю. В данной курсовой работе излагаются основы теории Ляпунова устойчивости непрерывных гладких решений систем дифференциальных уравнений первого порядка, а именно: в главе 1 излагаются основные определения, необходимые для изучения устойчивости; в главе 2 дается понятие устойчивости решений систем в общем виде и по первому приближению; в главе 3 излагаются основы второго метода Ляпунова.
1. Свойства систем дифференциальных уравнений.
1.1. Основные определения.
Пусть — непрерывные в области G (n+1)-мерного пространства скалярные функции.
Определение. Совокупность уравнений
(1)
называется нормальной системой n дифференциальных уравнений первого порядка. Ее можно записать в матричной форме, если положить
Определение. Решением системы (1) на интервале (a, b) называется совокупность n функций , непрерывно дифференцируемых на этом интервале, если при всех
:
;
Задача Коши для системы (1) ставится следующим образом: найти решение системы, определенное в окрестности точки
, которое удовлетворяет начальным условиям
…,
, где
— заданная точка из области G. Решение задачи Коши существует и единственно, если все функции в правых частях уравнений системы (1) непрерывно дифференцируемы по всем
в окрестности точки
.
Каждому решению системы (1) сопоставляется 2 геометрических объекта: интегральная кривая и траектория.
Определение. Если — решение системы (1) на промежутке (a, b), то множество точек (x,
),
, (n+1)-мерного пространства называется интегральной кривой решения, а множество точек (
),
, n-мерного пространства называется траекторией решения. Заметим, что из существования и единственности решения задачи Коши интегральные кривые не могут пересекаться или иметь общих точек, однако траектории могут пересекаться без нарушения единственности, так как начальная точка определяется n+1 координатой. В частности траектория может совпадать с точкой (положение равновесия).
Система (1) называется автономной, если в правые части уравнений не входит явно независимая переменная. Система (1) называется линейной, если она имеет вид:
,
или в матричной форме (1')
где
,
.
Фундаментальной матрицей линейной однородной системы называется матричная функция (t), определитель которой отличен от нуля и столбцы которой являются решениями системы: . С помощью фундаментальной матрицы (t) общее решение системы можно записать в виде
. Фундаментальная матрица, обладающая свойством
, называется нормированной при
. Если
— нормированная при
фундаментальная матрица, то частное решение системы записывается в виде
, где
— начальное при
значение решения.
1.2. Траектории автономных систем.
Будем рассматривать автономную систему в векторной форме: (2)
где функция f(x) определена в .
Автономные системы обладают тем свойством, что если — решение уравнения (2), то
,
, также решение уравнения (2). Отсюда в частности следует, что решение
можно записать в виде
. В геометрической интерпретации эта запись означает, что если две траектории уравнения (2) имеют общую точку, то они совпадают. При этом можно заметить, что траектория вполне определяется начальной точкой
, поэтому можно везде считать
.
Пусть — положение равновесия, т. е.
. Для того чтобы точка
была положением равновесия, необходимо и достаточно, чтобы
. Предположим теперь, что траектория решения
не является положением равновесия, но имеет кратную точку, т. е. существуют
, такие, что
. Так как
— не положение равновесия, то
. Поэтому можно считать, что
при
. Обозначим
и покажем, что
— -периодическая функция.
Действительно, функция является решением уравнения (2) при
, причем
. В силу единственности
и
совпадают при всех
. Применяя аналогичное рассуждение к решению
, получим, что
определено при
и функции
и
совпадают при этих t. Таким образом, можно продолжить
на все
, при этом должно выполняться тождество
,
то есть — периодическая функция с наименьшим периодом.
Траектория такого решения является замкнутой кривой. Из приведенного вытекает следующий результат: Каждая траектория автономного уравнения (2) принадлежит одному из следующих трех типов:
положение равновесия;
замкнутая траектория, которой соответствует периодическое решение с положительным наименьшим периодом;
траектория без самопересечения, которой соответствует непериодическое решение.
1.3. Предельные множества траекторий.
Определение. Точка называется -предельной точкой траектории
,
, если существует последовательность
такая, что
при
. Множество всех -предельных точек траектории называется ее -предельным множеством. Аналогично для траектории
при
определяется понятие -предельной точки как предела
, а также -предельного множества.
Определение. Траектория называется положительно (отрицательно) устойчивой по Лагранжу (обозн.
(
)), если существует компакт
такой, что
при всех
(
), при которых
определена. Иными словами, если траектория всегда остается в некоторой ограниченной области фазового пространства.
Можно показать, что предельное множество устойчивой по Лагранжу траектории не пусто, компактно и связно.
Траектория называется устойчивой по Пуассону, если каждая ее точка является -предельной и -предельной, т. е.
. Примером устойчивой по Пуассону траектории является состояние равновесия. Если же рассматривается траектория, отличная от неподвижной точки, то устойчивой по Пуассону она будет в том случае, если обладает свойством возвращаться в сколь угодно малую окрестность каждой своей точки бесконечное число раз. Поэтому устойчивыми по Пуассону будут циклы и квазипериодические траектории (суперпозиция двух периодических колебаний с несоизмеримыми частотами), а также более сложные траектории, возникающие в хаотических системах.
Рассмотрим (без доказательств) некоторые свойства предельных множеств в случае n = 2.
1. Предельные множества траекторий автономных систем состоят из целых траекторий.
2. Если траектория содержит по крайней мере одну свою предельную точку, то эта траектория замкнутая или представляет собой точку покоя.
3. Если траектория остается в конечной замкнутой области, не содержащей точек покоя системы, то она либо является циклом, либо спиралевидно приближается при к некоторому циклу.
4. Пусть в некоторой окрестности замкнутой траектории нет других замкнутых траекторий. Тогда все траектории, начинающиеся достаточно близко от , спиралевидно приближаются к при
или при
.
Пример. Рассмотрим автономную систему при :
Для исследования системы удобно в фазовой плоскости ввести полярные координаты. Тогда получаем следующие уравнения для определения :
откуда получаем .
Первое из этих уравнений легко интегрируется. Оно имеет решения и
. При
решения
монотонно убывают от
до 0, а при
решения
монотонно возрастают от
до бесконечности. Так как
, то отсюда следует, что при
и
все траектории системы образуют спирали, раскручивающиеся от окружности
к бесконечно удаленной точке или к началу координат при неограниченном возрастании полярного угла. Начало координат является положением равновесия и одновременно -предельным множеством для всех траекторий, у которых
. Если
, то -предельное множество траектории пусто. Окружность
является замкнутой траекторией и одновременно -предельным множеством для всех траекторий, отличных от положения равновесия.
1.4. Траектории линейных систем на плоскости.
Рассмотрим автономную линейную однородную систему (3) с постоянными коэффициентами. Будем полагать n = 2 и
. В этом предположении система имеет единственное положение равновесия в начале координат. С помощью линейного неособого преобразования X = SY приведем систему (3) к виду
,
где J — жорданова форма матрицы A. В зависимости от вида собственных чисел имеют место следующие случаи:
1) вещественны, различны и
. В этом случае
. Параметрические уравнения траекторий таковы:
. Координатные полуоси являются траекториями, соответствующими
или
. При
и
.
Картина расположения траекторий при , имеющая специальное название — узел, изображена на рис. 1а.
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.