Основанием послужили более ранние результаты, в которых решение дифференциальных соотношений сводилось к гомотопии, в частности в задачах о погружениях.
Предположим, мы хотим найти функцию на , которая удовлетворяет дифференциальному уравнению в частных производных степени в координатах .
Это уравнение можно записать как
где означает все частные производные до степени .
Вместо каждой переменной в подставим независимую переменную
Наше исходное уравнение можно рассматривать как систему
и некоторое количество уравнений следующего типа
Решение уравнения
называется формальным или неголономным решением, решение системы (которое является решением нашего первоначального уравнения) называется голономным решением.
Для существования голономного решения необходимо существование неголономного решения.
Обычно последнее довольно легко проверить, и если его нет, то наше исходное уравнение не имеет решений.
Говорят, что уравнение в частных производныхудовлетворяет h-принципу, если любое неголономное решение может быть продеформировано в голономное в классе неголономных решений.
Таким образом, при выполнении h-принципа, дифференциально-топологическая задача сводится к алгебраической и топологической задаче.
Более конкретно это означает, что кроме топологических, нет других препятствий для существования голономных решений.
Топологическая проблема поиска неголономных решений обычно намного проще.
Многие недоопределенные дифференциальные уравнения в частных производных удовлетворяют h-принципу.
Невыполнение h-принципа для определённого уравнения — тоже интересное утверждение, интуитивно это означает, что изучаемые объекты имеют нетривиальную геометрию, которая не может быть сведена к топологии.
Примером служат лагранжевы вложения в симплектическое многообразие;
они не удовлетворяют h-принципу, чтобы доказать это, используют инварианты на основе псевдо-голоморфных кривых.
Простейший пример
Рассмотрим автомобиль, движущийся в плоскости. Положение машины на плоскости определяется тремя параметрами: двумя координатами и (например, пусть эти координаты задают положение средней точки между задними колёсами) и углом , который описывает ориентацию автомобиля. В движении автомобиль удовлетворяет уравнению
предполагая, что автомобиль двигается без заноса.
Неголономное решение в данном случае соответствует движению автомобиля за счет скольжения в плоскости. В этом случае неголономные решения не только гомотопны голономным, но также они сколь угодно хорошо аппроксимируются голономными (этого можно добиться движением взад-вперед, как при параллельной парковке в ограниченном пространстве) — обратите внимание, что при этом и положение и направление автомобиля аппроксимируются сколь угодно близко. Последнее свойство сильнее, чем общий h-принцип; оно называется -плотный h-принцип.
Выворачивание конуса.[1] Рассмотрим функцию f на R2 без начала координат, . Тогда существует непрерывное однопараметрическое семейство функций таких, что , , и для любого градиент отличен от нуля в любой точке.
Любое открытое многообразие допускает (не полную) риманову метрику положительной (или отрицательной) кривизны.
Выворачивание сферы без складок или разрыва может быть проделано, используя только изометрические вложения сферы.