Limite faible d'homéomorphismes dans $W^{1,n-1}$ : inversibilité et semi-continuité inférieure de l'énergie

Informations fondamentales

• Identifiant de l'article : 2212.06452
• Titre : Weak limit of homeomorphisms in $W^{1,n-1}$: invertibility and lower semicontinuity of energy
• Auteurs : Anna Doležalová, Stanislav Hencl, Anastasia Molchanova
• Classification : math.FA (Analyse fonctionnelle)
• Date de publication : Décembre 2022 (arXiv v2 : septembre 2023)
• Lien de l'article : https://arxiv.org/abs/2212.06452

Résumé

Soient $\Omega, \Omega' \subset \mathbb{R}^n$ des domaines bornés et $f_m: \Omega \to \Omega'$ une suite d'homéomorphismes avec jacobien positif $J_{f_m} > 0$ p.p. et données de Dirichlet au bord prescrites. En supposant que tous les $f_m$ satisfont la condition de Lusin (N) et que $\sup_m \int_\Omega(|Df_m|^{n-1}+A(|\text{cof} Df_m|)+\phi(J_f)) < \infty$, où $A$ et $\phi$ sont des fonctions convexes positives, on démontre que la limite faible $f$ de $f_m$ dans $W^{1,n-1}$ satisfait la condition (INV) de Conti et De Lellis, la condition de Lusin (N), ainsi que la semi-continuité inférieure de la fonctionnelle d'énergie polyconvexe, sous des conditions de croissance appropriées sur $A$ et $\phi$.

Contexte et motivation de la recherche

Contexte du problème

Le problème fondamental étudié dans cet article provient de la théorie des déformations en mécanique des milieux continus. En théorie de l'élasticité non linéaire, l'application $f: \Omega \to \mathbb{R}^n$ représente la déformation d'une configuration de référence vers une configuration déformée, où :

1. Contraintes physiques : la déformation doit être injective (principe de « non-interpénétration de la matière »)
2. Défis mathématiques : dans l'espace de Sobolev critique $W^{1,n-1}$, la théorie classique de l'inversibilité ne s'applique plus
3. Fonctionnelles d'énergie : les modèles pratiques impliquent souvent des intégrales contenant des termes $|Df|^2$, ce qui exige de travailler dans le cadre $W^{1,2}$

Motivation de la recherche

La théorie traditionnelle de la condition (INV) exige $f \in W^{1,p}$ avec $p > n-1$, mais en dimension trois ($n=3$), de nombreux modèles pratiques contiennent le terme de Dirichlet classique $|Df|^2$, ce qui rend l'hypothèse $p > n-1$ trop restrictive. Conti et De Lellis ont introduit la condition (INV) pour le cas $W^{1,2} \cap L^\infty$, mais cette classe n'est pas faiblement fermée et ne peut pas être directement utilisée dans les méthodes variationnelles.

Limitations des approches existantes

1. Absence de fermeture faible : la classe (INV) de Conti-De Lellis n'est pas faiblement fermée
2. Exigences de régularité : la théorie traditionnelle nécessite la régularité $p > n-1$
3. Applicabilité variationnelle : absence d'une classe de fonctions adaptée aux méthodes variationnelles

Contributions principales

1. Établissement de la propriété (INV) de la limite faible : démonstration que, sous un contrôle d'énergie approprié, la limite faible d'homéomorphismes de Sobolev satisfait la condition (INV)
2. Preuve de la semi-continuité inférieure de la fonctionnelle d'énergie : établissement de la semi-continuité inférieure faible dans le cadre des fonctionnelles polyconvexes
3. Construction d'une classe de fonctions adaptée aux méthodes variationnelles : la classe de limites faibles considérée est faiblement fermée et convient aux problèmes variationnels
4. Généralisation du cadre théorique : extension des résultats de $W^{1,p}$ ($p > n-1$) au cas critique $W^{1,n-1}$
5. Fourniture d'applications variationnelles : démonstration de l'existence de solutions pour les problèmes variationnels correspondants

Explication détaillée des méthodes

Formulation du problème

Considérons la fonctionnelle d'énergie : $F(f) = \int_\Omega \left( |Df(x)|^{n-1} + A(|\text{cof}Df(x)|) + \phi(Jf(x)) \right) dx$

où :

• $A(|\cdot|)$ est une fonction convexe positive satisfaisant $\lim_{t \to \infty} \frac{A(t)}{t} = \infty$
• $\phi$ satisfait les conditions (1.2)-(1.4) :
  • $\phi$ est une fonction convexe positive sur $(0,\infty)$ avec $\lim_{t \to 0^+} \phi(t) = \infty$
  • $\lim_{t \to \infty} \frac{\phi(t)}{t} = \infty$
  • Il existe une constante $A > 0$ telle que $A^{-1}\phi(t) \leq \phi(2t) \leq A\phi(t)$

Cadre technique fondamental

Condition (INV)

Une application $f \in W^{1,n-1}(\Omega,\mathbb{R}^n) \cap L^\infty(\Omega,\mathbb{R}^n)$ satisfait la condition (INV) pour une boule $B \subset\subset \Omega$ si et seulement si :

1. sa trace sur $\partial B$ appartient à $W^{1,n-1}(\partial B,\mathbb{R}^n) \cap L^\infty(\partial B,\mathbb{R}^n)$
2. $f(x) \in \text{im}_T(f,B)$ pour p.p. $x \in B$
3. $f(x) \notin \text{im}_T(f,B)$ pour p.p. $x \in \Omega \setminus B$

où $\text{im}_T(f,B)$ est l'image topologique, définie comme l'ensemble des points de densité de l'ensemble $\{y \in \mathbb{R}^n : \text{Deg}(f,B,y) \neq 0\}$.

Outils techniques clés

1. Théorie du degré : utilisation du degré généralisé $\text{Deg}(f,B,\cdot)$ pour traiter les applications $W^{1,n-1} \cap L^\infty$
2. Équiintégrabilité : preuve de l'équiintégrabilité de $Df_m^{-1}$ (théorème 2.5)
3. Contrôle géométrique : utilisation du contrôle d'énergie pour obtenir des estimations uniformes des propriétés géométriques

Théorèmes principaux

Théorème 1.2 : Soient $n \geq 3$, $\Omega, \Omega' \subset \mathbb{R}^n$ des domaines bornés, et les fonctions $\phi$ et $A$ satisfaisant les conditions (1.2) et (1.6). Soit $f_m \in W^{1,n-1}(\Omega,\mathbb{R}^n)$ une suite d'homéomorphismes de $\Omega$ vers $\Omega'$ satisfaisant $Jf_m > 0$ p.p., $f_m$ satisfait la condition de Lusin (N), et $\sup_m F(f_m) < \infty$

Si $f$ est la limite faible de $f_m$ dans $W^{1,n-1}(\Omega,\mathbb{R}^n)$, alors :

1. $f$ satisfait la condition (INV)
2. Sous la condition supplémentaire (1.3), $f$ satisfait la condition de Lusin (N) et possède la semi-continuité inférieure de l'énergie
3. Sous la condition $|\partial\Omega'| = 0$, on a p.p. $h(f(x)) = x$ et $f(h(y)) = y$

Points d'innovation technique

Innovation dans la stratégie de preuve

1. Cadre par l'absurde : hypothèse que la condition (INV) échoue, construction d'une contradiction
2. Analyse géométrique : utilisation de l'analyse de « bulles » pour contrôler les différences de degré
3. Concentration d'énergie : utilisation des inégalités isopérimétriques pour transformer le contrôle géométrique en estimations d'énergie

Percées techniques clés

1. Contrôle de la matrice des cofacteurs : la condition $\sup_m \int_\Omega A(|\text{cof}Df_m|) dx < \infty$ assure l'équiintégrabilité de la dérivée de l'application inverse
2. Transmission de la condition de Lusin (N) : preuve que cette condition se transmet de $f_m$ à la limite $f$
3. Continuité du degré : établissement de la convergence du degré sous convergence faible

Configuration expérimentale

Vérification théorique

Cet article est principalement un travail théorique, vérifié par :

1. Construction de contre-exemples : construction d'exemples où la semi-continuité inférieure échoue lorsque la condition de Lusin (N) n'est pas satisfaite (lemme 4.5)
2. Nécessité des conditions : preuve que toutes les conditions d'hypothèse sont nécessaires
3. Vérification d'application : vérification de l'applicabilité de la théorie dans les problèmes variationnels

Preuves constructives

• Transformation des problèmes de continuité en estimations d'énergie par des recouvrements de Vitali et des constructions de sous-suites minimisantes
• Utilisation de méthodes de diagonalisation pour traiter les problèmes de convergence de suites

Résultats principaux

Résultats théoriques

1. Théorème d'existence : existence d'un minimiseur pour le problème variationnel correspondant sous les conditions de bord données
2. Résultats de régularité : le minimiseur satisfait les conditions (INV) et de Lusin (N)
3. Semi-continuité inférieure : la fonctionnelle d'énergie polyconvexe est semi-continue inférieurement pour la topologie faible

Résultats d'application

Théorème 5.3 : Pour les fonctions polyconvexes $W$ satisfaisant les conditions appropriées, le problème variationnel $\min\{E(h) : h \in H^w_{f_0}(\Omega,\mathbb{R}^n)\}$ possède une solution satisfaisant les conditions de rationalité physique.

Analyse comparative

Par rapport aux travaux de Henao et Mora-Corral 24, cet article :

1. fournit une méthode de preuve plus géométrique
2. ne nécessite pas la condition (1.3) pour obtenir la propriété (INV)
3. établit une nouvelle propriété d'inversibilité p.p. (1.9)

Travaux connexes

Développement historique

1. Ball et Ciarlet-Nečas : fondation de la recherche sur l'inversibilité en élasticité non linéaire
2. Müller et Spector : introduction de la condition (INV) pour le cas $W^{1,p}$ ($p > n-1$)
3. Conti et De Lellis : extension de la théorie au cas $W^{1,2} \cap L^\infty$

Positionnement de la contribution

Cet article comble le vide théorique dans le cas critique $W^{1,n-1}$ et fournit une base mathématique pour les modèles physiques pratiques.

Conclusion et discussion

Conclusions principales

1. Sous un contrôle d'énergie approprié, la limite faible d'homéomorphismes de Sobolev conserve les propriétés d'inversibilité
2. Les fonctionnelles d'énergie polyconvexes possèdent de bonnes propriétés variationnelles sur la classe de fonctions construite
3. Le problème variationnel correspondant possède une solution physiquement raisonnable

Limitations

1. Restriction de cavitation : la condition (1.3) empêche la simulation du phénomène de cavitation
2. Régularité au bord : nécessité d'hypothèses sur les domaines lipschitziens
3. Restriction dimensionnelle : les résultats principaux se limitent au cas $n \geq 3$

Directions futures

1. Étude de la possibilité de relâcher la condition de Lusin (N)
2. Exploration de la théorie sur des domaines plus généraux
3. Développement de méthodes numériques pour calculer les minimiseurs correspondants

Évaluation approfondie

Avantages

1. Profondeur théorique : résolution de problèmes fondamentaux dans l'espace de Sobolev critique
2. Innovation méthodologique : combinaison ingénieuse de l'analyse géométrique et des méthodes variationnelles
3. Valeur d'application : fourniture d'une base mathématique rigoureuse pour la théorie de l'élasticité non linéaire
4. Rigueur technique : preuves détaillées et traitement technique précis

Insuffisances

1. Complexité des conditions : nécessité de multiples conditions techniques, vérification pratique potentiellement difficile
2. Caractère constructif : absence d'algorithmes efficaces pour calculer les minimiseurs
3. Généralité : certains résultats dépendent fortement de classes de fonctions spécifiques

Impact

1. Contribution académique : avancement du développement de la théorie des applications de Sobolev
2. Perspectives d'application : soutien théorique pour la mécanique computationnelle
3. Valeur méthodologique : les techniques développées peuvent être appliquées à d'autres problèmes connexes

Domaines d'application

1. Élasticité non linéaire : théorie de l'élasticité en grandes déformations
2. Mécanique des fluides : description variationnelle des fluides incompressibles
3. Science des matériaux : modélisation des relations constitutives de nouveaux matériaux

Références

Cet article cite les travaux importants du domaine, notamment :

• Ball 2 : conditions de convexité en élasticité non linéaire
• Müller-Spector 34 : définition originale de la condition (INV)
• Conti-De Lellis 12 : théorie pour le cas $W^{1,2} \cap L^\infty$
• Henao-Mora-Corral 24 : théorie du jacobien distribué connexe

Caractéristiques techniques : Cet article réussit à combiner la théorie géométrique de la mesure, le calcul des variations et la théorie des espaces de Sobolev pour fournir de nouveaux outils théoriques et méthodes permettant de résoudre les problèmes mathématiques fondamentaux en mécanique des milieux continus.