-общий вид дифференциального уравнения первого порядка, не разрешенного относительно производной. Здесь
F(x,y,p) - заданная непрерывная функция в некоторой непустой области G евклидового пространства с декартовыми прямоугольными координатами x,p,y; x - аргумент; y = y(x) - неизвестная функция.
Вектор функция , где t принадлежит промежутку
и
- непрерывно дифференцируемы на I, причем
, если при подстановке
в уравнение (1) получаем тождество
параметрическое решение (1) допускает явное представление y = ω(x).
Положим y' = p и рассмотрим смешанную систему уравнений
Покажем, что уравнение (1) эквивалентно системе (2), т.е каждое решение уравнения (1) определяет решение системы (2) и наоборот.
Действительно, если является параметрическим решением (1), то
.
Отсюда
и
. (1)
(2)
Обратное пусть удовлетворяют системе (2), находим из второго
, а из первого следует что
.
Уравнение F(x,y,p) = 0 определяет в такую гладкую поверхность S, для которой известно также и параметрическое представление. Это значит, что существуют такие непрерывно дифференцируемые функции
, в некоторой области Ω плоскости с декартовыми прямоугольными координатами u,v, для которых положительна сумма квадратов якобианов:
и для всех
.
Второе уравнение системы (2) дает уравнение вида
или
Получилось уравнение первого порядка в симметричной форме.