Первые интегралы.
28. Как известно, первым интегралом системы (1) называют функцию и
обладающую следующим свойством: если заменить в ней
их выражениями через
соответствующими любой траектории, то функция и
полученная таким образом, обращается в постоянную. Эти первые интегралы являются решениями линейного диференциального уравнения в частных производных первого порядка:
Представим себе, что уравнения (1) проинтегрированы и зависимые переменные
выражены как функции времени
и начальных значений
при
именно, пусть
если эти уравнения разрешить относительно
то последние
величин выразятся в виде функций от
которые и будут, очевидно, первыми интегралами. Таким путем получается система
первых интегралов, очевидно, независимых, т. е. таких, которые не связаны никаким соотношением, тождественным относительно
Ясно, что любая функция первых интегралов
является сама первым интегралом. И обратно, если
— некоторый первый интеграл, то его численное значение для любой траектории равно, в силу основного свойства первых интегралов, значению
Полный диференциал любой функции и от
может быть, очевидно, представлен в форме
Для того чтобы и было первым интегралом, необходимо и достаточно, чтобы коэфициент
тождественно равнялся нулю; это легко доказать непосредственно; в этом можно также убедиться, заметив, что
представляет собой не что иное, как левую часть уравнения (2).
Следовательно, диференциал любого первого интеграла представляет собой линейную комбинацию
линейных диференциальных форм
и обратно, каждая из этих форм является линейной комбинацией диференциалов данных
независимых первых интегралов.