Korn's inequality from the viewpoint of calculus of variations

1. Problématique et Contexte

L'article s'intéresse à l'optimisation des constantes dans les inégalités de Korn, un pilier fondamental de l'analyse fonctionnelle et de la mécanique des milieux continus (élasticité linéarisée, mécanique des fluides).

L'inégalité de Korn classique stipule que pour un domaine $\Omega \subset \mathbb{R}^d$ et une fonction $u \in W^{1,p}_0(\Omega, \mathbb{R}^d)$, la norme du tenseur de déformation antisymétrique $A(u) = \frac{1}{2}(\nabla u - \nabla u^t)$ est contrôlée par la norme du tenseur de déformation symétrique $E(u) = \frac{1}{2}(\nabla u + \nabla u^t)$ :
$$\|A(u)\|_{L^p} \le C(p, d) \|E(u)\|_{L^p}$$
Le problème central abordé par l'auteur est de déterminer la constante optimale $C(p, d)$, en particulier pour obtenir des bornes indépendantes de la dimension ($d$).

Historiquement, la plupart des travaux se sont concentrés sur le cas $p=2$ (où la constante vaut 1) ou sur des bornes dépendant de la dimension pour $p \neq 2$. L'article vise à combler ce vide en établissant des bornes quasi-optimales indépendantes de $d$ et en reliant ce problème à la théorie des variations, spécifiquement à la quasi-convexité et au problème de Morrey.

2. Méthodologie

L'auteur adopte une approche hybride combinant l'analyse harmonique, la théorie des probabilités (martingales) et le calcul des variations.

A. Lien avec les Transformées de Riesz et l'Opérateur de Beurling-Ahlfors

L'inégalité de Korn est reformulée via l'opérateur intégral singulier $R \otimes R$ (analogue matriciel de la transformée de Riesz d'ordre 2). La constante de Korn est liée à la norme de cet opérateur agissant sur des fonctions à valeurs matricielles.
L'auteur s'inspire des travaux sur la conjecture d'Iwaniec concernant la norme de l'opérateur de Beurling-Ahlfors ($T_{BA}$), dont la norme est conjecturée être $p^* - 1$ (où $p^* = \max(p, p')$).

B. Méthode de Burkholder et Sous-ordination Différentielle

Au lieu d'utiliser uniquement des rotations complexes (méthode d'Iwaniec-Martin), l'auteur utilise la théorie des martingales différentiellement subordonnées développée par Donald Burkholder.

• Représentation par chaleur : L'opérateur $R \otimes R$ est représenté comme une limite de projections de martingales associées à l'extension par chaleur de la fonction $u$ ($M_t = P_{T-t}\nabla u(B_t)$).
• Sous-ordination : On construit des martingales $X_t$ et $Y_t$ telles que $X_t$ soit différentiellement subordonnée à $Y_t$ (c'est-à-dire que la variation quadratique de $X$ est dominée par celle de $Y$). Le théorème de Burkholder implique alors $\|X\|_p \le (p^*-1)\|Y\|_p$.

C. Calcul des Variations et Enveloppes Convexes

L'article établit un pont crucial entre les constantes d'inégalités et la quasi-convexité (au sens de Morrey) et la convexité de rang 1 des intégrandes.

• La constante optimale $C(p,d)$ est liée à la plus petite constante rendant une intégrande donnée quasi-convexe en 0.
• L'auteur montre que le problème de la constante optimale pour la convexité de rang 1 se réduit à un problème de martingales, permettant d'utiliser les fonctions de Burkholder pour obtenir des bornes exactes.

3. Résultats Principaux

A. Bornes Supérieures Indépendantes de la Dimension

Le résultat central (Théorème 1.1) établit une borne supérieure quasi-optimale pour la constante de Korn :
$$C(p, d) \le \sqrt{3}(p^* - 1)$$
Cette borne est indépendante de la dimension $d$.

• Pour le cas sans trace (trace-free), la même borne s'applique.
• Dans le cas radial généralisé ($u(x) = r(|x|)x$), la constante est améliorée et devient exactement $p^* - 1$, ce qui est optimal.
• Pour $p \ge 2$ et $d=2$, la constante $p^* - 1$ est prouvée comme étant inaméliorable pour les fonctions radiales.

B. Bornes Inférieures et Conjecture

L'auteur prouve que $C(p, d) \ge p^* - 1$.
Cela suggère fortement la conjecture que la constante optimale exacte est $p^* - 1$ pour tout $d$, ce qui généraliserait la conjecture d'Iwaniec. La preuve de cette égalité exacte pour tout $d$ serait équivalente à la preuve de la quasi-convexité d'une certaine intégrande de Burkholder généralisée.

C. Extensions aux Espaces Fonctionnels

• Espaces d'Orlicz : En utilisant un théorème d'interpolation de type Riesz-Thorin pour les espaces d'Orlicz, l'auteur étend ces bornes aux espaces de Sobolev-Orlicz $\dot{W}^{1}L^\Phi$, sous réserve que la fonction de Young $\Phi$ satisfasse les conditions $\Delta_2$ et $\nabla_2$.
• Espaces Pondérés : En utilisant des résultats récents de Domelevo, Petermichl et Skreb sur les martingales pondérées, l'article établit une version pondérée de l'inégalité pour les poids de Muckenhoupt ($A_p$), avec une dépendance explicite en la constante caractéristique du poids $[w]_{A_p}$.

D. Cas Particuliers et Dimensions

• Pour $p \in (1, 2)$, l'auteur montre que pour les fonctions radiales en grande dimension, la constante tend vers 1 (asymptotiquement optimale).
• Des améliorations sont apportées pour les inégalités impliquant le gradient complet $\nabla u$ et les champs à divergence nulle.

4. Signification et Impact

1. Unification des domaines : L'article réussit à unifier l'analyse des inégalités de Korn avec la théorie des martingales et le calcul des variations (problème de Morrey). Il démontre que les obstacles à l'optimalité des constantes dans les inégalités de Korn sont intrinsèquement liés à la différence entre convexité de rang 1 et quasi-convexité.
2. Indépendance dimensionnelle : La preuve d'une borne indépendante de la dimension (jusqu'à un facteur $\sqrt{3}$) est une avancée majeure, car les méthodes classiques de transformées de Riesz produisaient souvent des constantes croissant avec $d$.
3. Outils pour l'analyse non-linéaire : Les résultats fournissent de nouvelles estimations de coercivité pour des problèmes variationnels non-linéaires, ce qui est crucial pour l'existence et la régularité des solutions en élasticité non-linéaire.
4. Conjecture d'Iwaniec généralisée : Le travail renforce l'hypothèse que la norme de l'opérateur de Beurling-Ahlfors et ses généralisations sont gouvernées par la constante $p^* - 1$, reliant ainsi l'analyse complexe, l'analyse harmonique et la géométrie des espaces de Banach.

En résumé, Gabriele Casse propose une nouvelle perspective puissante sur les inégalités de Korn, transformant un problème d'analyse fonctionnelle en un problème de théorie des probabilités et de convexité, permettant d'obtenir des bornes quasi-optimales et indépendantes de la dimension.