Abstract

Let $\Omega \subset {\mathbb{R}}^n$ be a bounded Lipschitz domain and consider the energy functional

with $p\in ]1,\infty [$ over the space of measure preserving maps

In this paper we introduce a class of maps referred to as generalised twists and examine them in connection with the Euler–Lagrange equations associated with ${\mathbb{F}}_p$ over ${\mathcal{A}}_p(\Omega )$. The main result is a surprising discrepancy between even and odd dimensions. Here we show that in even dimensions the latter system of equations admit infinitely many smooth solutions, modulo isometries, amongst such maps. In odd dimensions this number reduces to one. The result relies on a careful analysis of the full versus the restricted Euler–Lagrange equations where a key ingredient is a necessary and sufficient condition for an associated vector field to be a gradient.

Résumé

Soit $\Omega \subset {\mathbb{R}}^n$ un domaine de Lipschitz borné, on considère la fonctionnelle d'énergie

$p\in ]1,\infty [$ sur l'espace de fonctions conservant la mesure

On introduit une classe de fonctions appellée des torsions généralisée qui est examinée dans le cadre des équations d'Euler–Lagrange associée à ${\mathbb{F}}_p$ sur ${\mathcal{A}}_p(\Omega )$. Le résultat principal est une surprenante différence de proprieté selon le parité de le dimension n. On démontre que pour n pair, ces équations admettent une infinité de solutions régulières qui sont des isometries, alors qu'en dimension impaire la solution est unique. Le résultat repose sur une analyse minutieuse de la version complète des équations d'Euler–Lagrange où l'ingrédient clé est une condition nécessaire et suffisante pour qu'un champ vectoriel soit un gradient.