logo
du_add

44. Теорема о максимальном числе независимых первых интегралов.

Теорема. О максимальном числе независимых первых интегралов.

Максимальное число независимых первых интегралов системы (1) равно её порядку.

Док-во. Пусть независимые первые интегралы системы (1). Существование такого кол-ва первых интегралов доказано ранее. Это означает, что якобиан:

(2)

допустим, что есть ещё один первый интеграл . Записывая необходимое и достаточное условие для первых интегралов получим (n+1) уравнений:

………………………………………(3)

По типу системы (3) составим новую систему для неизвестных :

…………………………(4)

Система (4) представляет собой линейную однородную алгебраическую систему (n+1) для (n+1) неизвестных. Согласно (3) система (4) имеет ненулевое решение: при . Это означает, что определитель системы (4) тождественно равен нулю, т.е. якобиан:

(5)

Соотношение (5) показывает, что межу функциями существует зависимость, и, следовательно, одна из них является функцией остальных. Таким образом, новый первый интеграл есть функция n первых независимых интегралов: