Доказательство. Столбцы фундаментальной матрицы являются решениями однородной системы. Объединяя запись в матрицу, получим утверждение теоремы.
Выведем формулу Остроградского – Лиувилля.
Фундаментальная матрица системы является решением однородной системы. Запишем уравнение для k –го столбца фундаментальной матрицы – координат решения :
.
Отсюда .
Запишем определитель Вронского и продифференцируем его, подставляя вместо производных координат решений полученное соотношение.
, +...
+ + =
+...+ +
=
(расписывая в сумму определителей, учитывая равенство нулю определителей с одинаковыми строками)
...+ =
.
Получено соотношение , где - след матрицы системы. Отсюда имеем формулу Остроградского – Лиувилля.
.
Заметим, что эту формулу можно получить как следствие из теоремы Лиувилля о фазовом объеме.
studopediasu.com - Студопедия (2013 - 2026) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление