Формула Остроградского – Лиувилля. Выведем формулу Остроградского – Лиувилля

Выведем формулу Остроградского – Лиувилля.

Фундаментальная матрица системы является решением однородной системы. Запишем уравнение для k –го столбца фундаментальной матрицы – координат решения :

.

Отсюда .

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

, +...

+ + =

+...+ +

=

(расписывая в сумму определителей, учитывая равенство нулю определителей с одинаковыми строками)

...+ =

.

Получено соотношение , где - след матрицы системы. Отсюда имеем формулу Остроградского – Лиувилля.

.

Заметим, что эту формулу можно получить как следствие из теоремы Лиувилля о фазовом объеме.