Asymptotic rigidity of codimension-1 isometric immersions via quantitative estimates

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie différentielle et de la théorie de l'élasticité, en se concentrant sur la rigidité asymptotique des immersions isométriques de codimension 1.

• Contexte mathématique : Le théorème classique de Liouville stipule qu'une application $C^1$ dont la dérivée appartient presque partout au groupe des rotations $SO(d)$ est une isométrie affine. Une généralisation majeure, l'estimation quantitative de rigidité de Friesecke-James-Müller (FJM), établit que si la dérivée d'une application est « proche » de $SO(d)$ en norme $L^p$, alors l'application elle-même est proche d'une isométrie affine.
• Le défi spécifique : Ces résultats sont bien établis pour les espaces euclidiens de même dimension (immersions $M \to \mathbb{R}^d$). Cependant, lorsque la variété cible $N$ a une dimension supérieure ($d+1$), la rigidité échoue si l'on ne considère que l'énergie d'étirement (stretching). En effet, une courbe unitaire dans $\mathbb{R}^2$ peut avoir une dérivée de norme 1 (pas d'étirement) tout en ayant une courbure arbitraire. Pour restaurer la rigidité en codimension 1, il est nécessaire de contrôler non seulement l'étirement, mais aussi le fléchissement (bending), encodé par la forme fondamentale seconde ou l'opérateur de forme.
• Objectif : L'auteur vise à fournir une preuve alternative du théorème de rigidité asymptotique pour les immersions entre variétés compactes $M$ (dimension $d$) et $N$ (dimension $d+1$), lorsque l'énergie totale (étirement + fléchissement) tend vers zéro. Ce résultat avait été établi précédemment par Alpern, Kupferman et Maor [1, 2] en utilisant une approche intrinsèque basée sur les mesures de Young.

2. Méthodologie

La contribution principale de l'article réside dans l'approche méthodologique, qui diffère radicalement des travaux antérieurs :

• Réduction au cas euclidien : Au lieu de travailler directement sur les variétés riemanniennes avec des outils intrinsèques complexes, l'auteur réduit le problème au cadre euclidien. Il utilise le théorème de plongement de Nash pour isométriquement plonger la variété cible $N$ dans un espace euclidien $\mathbb{R}^D$.
• Estimations quantitatives locales : La preuve repose sur l'application de l'estimation de rigidité de Friesecke-James-Müller (FJM) dans un cadre local. L'idée clé est que si l'énergie de fléchissement est petite, le champ normal $\nu_u$ varie peu à petite échelle. Par conséquent, l'image de l'immersion est localement proche d'un sous-espace affine de dimension $d$.
• Technique de projection : L'auteur projette l'immersion (plongée dans $\mathbb{R}^D$) sur un sous-espace de dimension $d$. Cela permet de transformer localement l'application en une application « presque équidimensionnelle » ($d \to d$), où l'estimation FJM classique peut être appliquée.
• Contrôle de l'erreur : Une partie technique majeure consiste à estimer l'erreur introduite par la projection. Cela nécessite de borner la norme $L^p$ de la dérivée du champ normal $D\bar{\nu}_u$ en fonction de l'énergie de fléchissement $E_b(u)$.
• Argument de compacité : Une fois l'estimation de rigidité locale établie, le résultat global est obtenu par un argument de compacité (théorème de Fréchet-Kolmogorov) similaire à celui utilisé dans la dérivation des modèles de plaques et de coques.

3. Résultats Clés

L'article établit plusieurs résultats techniques et principaux :

A. Estimation de rigidité quantitative locale (Théorème 3.1)

Pour une immersion $u$ définie sur un cube $Q \subset \mathbb{R}^d$ à valeurs dans une variété $N \subset \mathbb{R}^D$, si l'énergie totale $E(u)$ est petite, alors il existe une rotation locale $R$ telle que :
$$\int_Q |D\bar{u} - R|^p \, dx \leq C \left( |Q| (\text{osc}_Q g)^p + E_s(u) + \text{diam}(Q) E(u) \right)$$
où $E_s$ est l'énergie d'étirement et $E$ inclut l'énergie de fléchissement. Cette estimation montre que l'immersion est localement proche d'une isométrie affine.

B. Rigidité asymptotique (Théorème 4.1)

Soient $(M, g)$ et $(N, h)$ des variétés riemanniennes compactes orientées de dimensions $d$ et $d+1$. Soit $(u_k)$ une suite d'immersions de Sobolev dans la classe $\text{Immp}(M; N)$ telle que :

1. L'énergie d'étirement $E_s(u_k) \to 0$.
2. L'énergie de fléchissement $E_b(u_k)$ est bornée.

Alors, à une sous-suite près, $(u_k)$ converge faiblement dans $W^{1,p}$ vers une immersion isométrique lisse $u$. De plus, si l'énergie de fléchissement par rapport à un opérateur de forme de référence $S$ tend vers zéro ($E_b^S(u_k) \to 0$), alors l'opérateur de forme induit par la limite $S_u$ coïncide avec $S$ presque partout.

C. Preuve élémentaire

Contrairement à l'approche par mesures de Young de [2], cette preuve utilise uniquement l'estimation FJM et des techniques élémentaires d'analyse fonctionnelle (inégalités de Poincaré, théorèmes de compacité), rendant le résultat plus accessible et direct.

4. Contributions et Signification

• Alternative aux méthodes intrinsèques : L'article démontre que les problèmes de rigidité sur les variétés peuvent être traités efficacement en les ramenant au cadre euclidien via un plongement isométrique, évitant ainsi la complexité des calculs intrinsèques sur les variétés courbes.
• Unification des énergies : Il formalise rigoureusement la nécessité de combiner les énergies d'étirement et de fléchissement pour obtenir la rigidité en codimension 1, en fournissant des estimations quantitatives précises reliant ces énergies à la distance à l'ensemble des isométries.
• Indépendance des résultats : Les estimations de rigidité locales obtenues (Théorème 3.1) sont d'un intérêt indépendant et pourraient être appliquées à d'autres problèmes de géométrie variationnelle ou d'élasticité non-euclidienne.
• Extension potentielle : L'auteur mentionne dans l'introduction que ces résultats sont étendus dans un article complémentaire [3] au cas des variétés non compactes (variétés complètes), bien que la preuve actuelle se concentre sur le cas compact.

Conclusion

Ce travail offre une perspective nouvelle et simplifiée sur la rigidité des immersions isométriques de codimension 1. En exploitant la puissance de l'estimation quantitative de Friesecke-James-Müller et en la combinant avec une analyse fine du champ normal, l'auteur réussit à récupérer les résultats profonds d'Alpern, Kupferman et Maor avec des outils plus élémentaires, tout en fournissant des bornes quantitatives explicites. Cela renforce le lien entre la théorie de l'élasticité non-euclidienne et l'analyse géométrique moderne.