Добрый день! Интересует такой вопрос:
Допустим, у нас есть система уравнений (рассмотрим на примере мелкой воды,

произвольная фиксированная):

Ограничение распределения Картана на систему порождается векторными полями

в том смысле, что всякое поле из распределения Картана на системе есть комбинация этих 4-х, взятых с коэффициентами, зависящими от точки. (Параметризация поверхности, которая здесь была выбрана, вроде бы понятна, обозначения координат рассматриваемой системы координат на содержащем систему

взяты соответствующими обозначениям производных зависимых переменных по независимым).
У распределения Картана на системе нет первых интегралов, но можно обнаружить, что в случае

можно найти первый интеграл для подраспределения, которое порождается полями

в указанном смысле.
Этот первый интеграл позволяет рассмотреть (для решений, которые являются интегральными поверхностями пар полей из подраспределения) вместо исходной системы одно уравнение первого порядка на

и одно алгебраическое соотношение между

и

. Понятно, что часть решений (а именно, которые являлись интегральными поверхностями тех пар векторных полей из распределения на системе, которые не вошли полностью в рассматриваемое подраспределение) теряется, но эта редукция всё равно представляет большой интерес.
Собственно вопрос: известно, что только при

мелкая вода может быть линеаризована точечной заменой переменных, нет ли связи между подобными вопросами (о существовании первого интеграла для подраспределения, порождённого тремя полями и линеаризуемостью, наличием инвариантов Римана и т.д.)? И где в литературе рассматривался вопрос о наличии первых интегралов для подраспределений на уравнениях/системах и их связи с подобного рода редукциями для некоторых решений?