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


— дифференцируемая функция , , такая, что её производная по направлению векторного поля

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

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

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

имеет в этой окрестности ровно функционально независимых первых интегралов.