Уравнение Клеро и его интегралы
Общее уравнение Клеро имеет вид
где
~--- гладкая функция
-й переменной.
Преобразование Лежандра переводит это уравнение в уравнение
которое не содержит производных. Уравнение
задает
-мерную поверхность в
-мерном пространстве
, а соответствующее
дифференциальное уравнение первого порядка~--- это ее прообраз при проекции
.
Рассмотрим такую точку
, что
. Тогда слой проекции
над этой точкой является
обобщенным решением уравнения
.
Применяя преобразование Лежандра к этим обобщенным решениям, мы получим
-параметрическое семейство обычных решений уравнения
, которое называется
полным интегралом уравнения Клеро.
С другой стороны, в окрестности неособой точки (т.е. там, где
) существует единственное решение уравнения
,
которое получается разрешением уравнения
относительно
.
Выясним, во что переход это решение при преобразовании Лежандра. Для этого
заметим, что уравнение графика
-струи функции
имеет вид
При преобразовании Лежандра система
преобразуется в систему
которая является совместной.
Выражая из первых
уравнений
,~
,
через переменные
,~
,
, подставляя их в уравнение
и выражая затем
через
,~
,
в силу полученного соотношения, мы можем получить конечное
число решений исходного уравнения, которые называются особыми интегралами
уравнения Клеро.
Пример. Рассмотрим уравнение Клеро в двумя неизвестными
Применяя преобразование Лежандра, получаем уравнение
при помощи которого легко найти полный интеграл исходного уравнения
Для особых интегралов получаем совместную систему
Отсюда следует, что особые интегралы существуют лишь в квадрате
,
и имеют следующий вид:
где
и
принимают независимо значения
или
. Таким
образом, формулы
определяют четыре специальных интеграла. Однако с
геометрической точки зрения имеется всего одно обобщенное решение, а именно~---
интегральная поверхность распределения Картана, задаваемая системой
. Это
поверхность четвертого порядка в
, которая проецируется на
координатную плоскость
с особенностями, и поэтому имеет четыре ветви,
каждая из которых является графиком отображения для одной из гладких функций,
определяемых формулой
.