Математический анализ 2 семестр (957837), страница 11

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 11)

или в виде

, где (векторная форма).

Пример. Эти уравнения сводятся к нормальной системе

( )

( )

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

Теорема. Пусть задана система n дифференциальных уравнений первого порядка

..................................

Обозначим

...................................

Потребуем, чтобы функция была бы дифференцируемой по совокупности переменных. Потребуем, чтобы определитель

Тогда система n дифференциальных уравнений эквивалентна одному дифференциальному уравнению n-ого порядка.

Доказательство. Метод доказательства называется методом исключения переменных и применяется на практике при сведении системы к одному уравнению. Продифференцируем :

1. Построим алгоритм метода исключения.

Пусть - решения системы ( ), тогда уравнения системы представляют собой тождества

...................................

Получены выражения производных

,

,

,

...

.

Из этих уравнений можно выразить через , так как определитель системы этих уравнений

Подставим выражения через в последнее уравнение . Так как - решения системы , то они являются и решениями полученного уравнения. Следовательно, система сведена к одному уравнению n-ого порядка.

1. Покажем эквивалентность решений. Предположим, что - решения полученного уравнения, покажем, что - решения системы.

, . Обозначим . . Обозначим , и т.д. . Обозначим .

Приравниваем полученные здесь функции введенным ранее, сокращая первые и вторые слагаемые, получаем систему уравнений

.....................................

.

Определитель этой системы равен , следовательно, в качестве единственного решения системы имеем . Поэтому решения эквивалентны. Теорема доказана.

Пример.

,

Функция называется общим решением системы, если

1. для любого - решение системы

2. для произвольных начальных условий найдется , что .

Если зафиксировать в общем решении, получим частное решение системы.

Задача Коши.

Найти решение системы , удовлетворяющее заданным начальным условиям .

Теорема Коши о существовании и единственности решения задачи Коши

Пусть функция непрерывна по совокупности переменных. Пусть существуют и непрерывны частные производные

Тогда существует и единственно решение задачи Коши.

Первые интегралы.

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

Если в качестве начальных условий выбрать , то по теореме Коши через эту точку проходит та же единственная интегральная кривая, ее уравнение можно записать в виде . Зафиксируем , обозначим , получим соотношение – общий интеграл системы дифференциальных уравнений (векторное соотношение). Первый интеграл системы дифференциальных уравнений – скалярная составляющая общего интеграла. Общий интеграл системы дифференциальных уравнений – векторная функция, сохраняющая свое значение на решениях системы. Первый интеграл системы дифференциальных уравнений – скалярная функция, сохраняющая свое значение на решениях системы.

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

Производной скалярной функции в силу системы называется

.

Скалярная функция является первым интегралом, если

.

Симметричная форма записи системы.

Запишем уравнения системы в нормальной (покоординатной) форме

................................

и запишем эти уравнения в симметричном виде

.

Или, заменяя переменные и правые части ,

получим симметричную форму записи системы

.

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

Пример.

,

Автономные системы и свойства их решений.

Система называется автономной, если в ее правую часть не входит явно независимая переменная: .

Решение автономной системы можно рассматривать в пространстве координат , которое принято называть фазовым пространством. Проекция интегральной кривой на это пространство называется фазовой траекторией (или просто траекторией). Вообще говоря, любую систему можно сделать автономной, вводя дополнительную фазовую координату – независимую переменную и дополнительное уравнение . Фазовое пространство такой системы принято называть расширенным фазовым пространством.

Свойства решений автономных систем.

1. Если - решение системы, то и тоже решение.

.

Следствие. Фазовая траектория - это та же фазовая траектория, что и .

В самом деле, любая точка первой фазовой траектории является точкой второй фазовой траектории и наоборот.

1. Две фазовых траектории либо не имеют общих точек, либо совпадают.

Пусть две различных фазовых траектории имеют общую точку . Рассмотрим решение .

. Следовательно, по теореме Коши . Но - это траектория , сдвинутая на по аргументу. По следствию, обе фазовые траектории являются одной фазовой траекторией.

Следствие. Множество фазовых траекторий автономной системы в фазовом пространстве представляет собой совокупность непересекающихся кривых.

Точка называется точкой покоя (точкой равновесия) автономной системы, если .

1. Если точка - точка покоя, то - решение системы.

В самом деле, .

1. Любая фазовая траектория автономной системы есть траектория одного из трех типов:

• гладкая, не самопересекающаяся кривая,

• замкнутая гладкая кривая,

• точка покоя.

Фазовый поток.

Рассмотрим решение задачи Коши автономной системы . Определим фазовый поток как оператор сдвига (по аргументу ) по фазовым траекториям системы = .

Рассмотрим некоторую область фазового пространства (фазовым) объемом . Фазовый поток переводит эту область в область объемом .

Справедлива теорема Лиувилля .

Здесь мерой в фазовом пространстве может служить фазовый объем , (дивергенция векторного поля правых частей системы или след матрицы Якоби). Левая часть этой формулы представляет собой изменение фазового объема в единицу «времени» – аргумента, т.е. известный из теории поля поток векторного поля правых частей системы – фазовых скоростей. Приведенная формула аналогична формуле Остроградского – Гаусса в теории поля.

Если , то .

Если , то , что дает формулу для определения фазового объема , что совпадает с формулой Остроградского – Лиувилля определителя Вронского для линейных автономных систем. Поэтому определитель Вронского имеет смысл фазового объема (определитель всегда имеет смысл некоторого объема, вспомним хотя бы смысл смешанного произведения векторов).

Лекция 21. Системы линейных дифференциальных уравнений.

Неоднородную систему линейных дифференциальных уравнений можно записать в виде

.

Однородную систему линейных дифференциальных уравнений можно записать в виде

.

Все теоремы для линейных систем аналогичны соответствующим теоремам для линейных дифференциальных уравнений высших порядков. Этого и следовало ожидать, так как система дифференциальных уравнений сводится к дифференциальному уравнению высшего порядка.

Теоремы о свойствах решений однородной и неоднородной системы.

Если - решения однородной системы, то - решения однородной системы.

Если - решения однородной и неоднородной систем, то - решение неоднородной системы.

Если - решения неоднородной системы, то - решение однородной системы.

Доказательство.

,

Теорема. Множество решений линейной однородной системы есть линейное пространство.

Из теорем о свойствах решений видно, что операции сложения и умножения на число на решениях однородной системы определены корректно.

Легко проверяется ассоциативность по сложению, существования «нуля» – тривиального решения , существование «противоположного элемента» , коммутативность по сложению. Отсюда следует, что решения однородной системы образуют коммутативную группу по сложению (абелев модуль) (4 аксиомы линейного пространства). Существует единица – число, справедлива ассоциативность по умножению на число (еще 2 аксиомы).

Наконец, справедлива дистрибутивность по сложению решений и чисел (последние 2 аксиомы). Таким образом, выполнены все 8 аксиом для корректно введенных операций сложения решений и умножения решения на число. Следовательно, множество решений однородной системы образует линейное пространство. Заметим, что точно так же доказывалась аналогичная теорема для дифференциального уравнения n-ого порядка.

Функции называются линейно независимыми, если

.

Функции называются линейно зависимыми, если

.

Характеристики

Список файлов лекций