Polyconvexity implies Hill's inequality in ${\rm SL}(2)$

Cet article démontre que dans le cas bidimensionnel incompressible, l'ellipticité de Legendre-Hadamard (convexité de rang un) et la polyconvexité impliquent toutes deux l'inégalité de Hill, clarifiant ainsi les liens étroits entre ces conditions de comportement précédemment considérées comme indépendantes.

L'essentiel

La vue d'ensemble : Rendre les élastiques prévisibles

Imaginez que vous êtes un scientifique essayant de concevoir un nouveau type d'élastique super résistant ou un bras de robot souple. Pour vous assurer que votre conception ne s'effondre pas ou ne se comporte pas bizarrement lorsque vous tirez dessus, vous devez suivre un ensemble de « règles de sécurité » mathématiques.

Ce papier traite de deux règles de sécurité spécifiques pour les matériaux qui ne peuvent pas être écrasés (matériaux incompressibles, comme l'eau ou le caoutchouc très rigide). Les auteurs, Ionel-Dumitrel Ghiba, Maximilian P. Wollner et Patrizio Neff, voulaient savoir : Si un matériau suit une règle de sécurité spécifique, suit-il automatiquement une autre ?

Ils se sont concentrés sur un scénario spécifique : les matériaux en 2D (comme une feuille de caoutchouc plate) qui sont incompressibles (vous pouvez les étirer, mais vous ne pouvez pas changer leur surface totale).

Les deux règles en question

Pour comprendre le papier, nous devons comprendre les deux « règles » qu'ils comparent :

1. La règle de la « Polyconvexité » (Le plan de l'architecte)
Considérez cela comme une règle concernant la forme de l'énergie.

• L'analogie : Imaginez que vous construisez une maison. La « polyconvexité » revient à dire : « Si je construis une maison en utilisant ces blocs spécifiques et robustes, la structure entière sera stable ». C'est une façon mathématique de garantir que l'énergie du matériau ne présente pas de creux ou de trous bizarres qui pourraient provoquer un effondrement ou un repliement inattendu sur lui-même.
• Dans le papier : Il s'agit d'une condition qui garantit que le matériau est stable sous des étirements complexes. C'est une exigence « architecturale » très forte.

2. La règle de « l'inégalité de Hill » (La promesse contrainte-déformation)
Considérez cela comme une règle sur la façon dont le matériau réagit quand on le tire.

• L'analogie : Imaginez que vous tirez sur un élastique. Si vous tirez un peu, il résiste un peu. Si vous tirez beaucoup, il devrait résister beaucoup plus. Il ne devrait jamais soudainement devenir « paresseux » et offrir moins de résistance à mesure que vous tirez plus fort.
• Dans le papier : C'est ce qu'on appelle « l'inégalité de Hill ». Elle exige qu'en étirant le matériau (en augmentant l'« étirement logarithmique »), la contrainte interne (la force qui repousse) doit toujours augmenter. Si vous tirez plus fort, le matériau doit pousser plus fort. S'il ne le fait pas, le matériau pourrait se comporter de manière imprévisible ou échouer.

La grande question

Pendant longtemps, les scientifiques savaient que ces deux règles étaient différentes. On pouvait avoir un matériau qui suivait le « Plan de l'architecte » (Polyconvexité) mais qui ne suivait pas nécessairement la « Promesse contrainte-déformation » (Inégalité de Hill). Elles étaient considérées comme indépendantes.

La découverte du papier :
Les auteurs ont prouvé que pour les matériaux plats et incompressibles (2D), si vous suivez le « Plan de l'architecte » (Polyconvexité), vous suivez automatiquement la « Promesse contrainte-déformation » (Inégalité de Hill).

C'est comme découvrir que si vous construisez une maison en utilisant uniquement les blocs les plus solides et les plus stables (Polyconvexité), vous êtes garanti que la porte d'entrée s'ouvrira toujours sans accroc et ne restera jamais coincée (Inégalité de Hill). Vous n'avez pas besoin de vérifier la porte séparément ; la qualité des blocs garantit le résultat.

Comment ils l'ont prouvé (Les étapes « magiques »)

Les auteurs n'ont pas seulement deviné ; ils ont fourni deux preuves mathématiques différentes pour montrer ce lien.

1. La preuve par la « Forme » : Ils ont montré que pour les matériaux en 2D, le « Plan de l'architecte » force la courbe d'énergie à avoir la forme d'un bol parfait (convexe). La forme d'un bol parfait garantit mathématiquement que si vous montez sur le côté du bol (étirement), la pente (résistance) devient toujours plus raide.
2. La preuve par les « Nombres signés » : Ils ont utilisé une façon astucieuse d'observer l'étirement du matériau en utilisant des « nombres signés » (permettant des valeurs négatives dans un sens mathématique spécifique). Cela leur a permis de montrer que la stabilité de la structure du matériau force la contrainte à toujours augmenter avec la déformation.

Le piège : Cela ne fonctionne qu'en 2D

C'est la partie la plus importante du papier. Les auteurs précisent explicitement que cette « garantie automatique » ne fonctionne que pour les matériaux en 2D (comme une feuille plate).

• En 3D (Objets du monde réel) : Si vous avez un bloc de caoutchouc ou un ballon, le « Plan de l'architecte » (Polyconvexité) ne garantit pas la « Promesse contrainte-déformation » (Inégalité de Hill). Vous pouvez construire une structure 3D stable qui possède tout de même un point étrange où tirer plus fort fait que la résistance diminue.
• L'analogie : Pensez à une feuille de papier plate. Si vous la pliez correctement, elle est très stable. Mais si vous essayez de faire le même pliage avec un cube en 3D, il pourrait vaciller ou s'effondrer d'une manière que la feuille plate n'aurait pas faite. Les règles qui fonctionnent pour la feuille ne fonctionnent pas automatiquement pour le cube.

Résumé

• Le problème : Les scientifiques doivent s'assurer que les matériaux sont stables et prévisibles. Deux règles différentes existent pour vérifier cela.
• La découverte : Pour les matériaux plats et incompressibles (2D), suivre la première règle (Polyconvexité) garantit que vous suivez la seconde règle (Inégalité de Hill).
• La limitation : Cette garantie disparaît en 3D. Un matériau peut être stable au sens de « l'Architecte » mais tout en se comportant bizarrement lorsqu'on le tire dans trois dimensions.
• Le résultat : Le papier fournit deux preuves mathématiques différentes pour confirmer ce lien en 2D, aidant les ingénieurs et les scientifiques à savoir exactement quand ils peuvent compter sur une règle pour garantir l'autre.

Résumé technique

Résumé Technique : La polyconvexité implique l'inégalité de Hill dans SL(2)

Énoncé du Problème
Dans la théorie de l'élasticité non linéaire compressible, les conditions de constitution de la convexité de rang un (ellipticité de Legendre-Hadamard), de la polyconvexité et de la condition de monotonie de la contrainte vraie-contrainte réelle (TSTS-M+) sont généralement indépendantes. Bien que la TSTS-M+ assure un comportement physiquement significatif tel qu'une augmentation de la contrainte de Cauchy en traction uniaxiale, elle n'est pas garantie par la seule polyconvexité. Cependant, dans le cas incompressible, la contrainte de Cauchy se réduit à la contrainte de Kirchhoff, et la TSTS-M+ se simplifie en l'inégalité de Hill. Cette inégalité exige la monotonie de la contrainte de Kirchhoff par rapport au tenseur de déformation logarithmique sur la variété des déformations préservant le volume.

Un fossé critique existe dans la littérature concernant la relation entre ces notions de stabilité dans le cadre incompressible. Alors qu'il est connu qu'en trois dimensions ($n=3$), la polyconvexité n'implique pas nécessairement l'inégalité de Hill, la relation spécifique dans le cas incompressible en deux dimensions ($SL(2)$) nécessite une clarification. Cet article examine si les notions a priori indépendantes de polyconvexité et d'inégalité de Hill sont liées dans le contexte spécifique de $SL(2)$.

Méthodologie
Les auteurs analysent des fonctions d'énergie isotropes et objectives $W^{inc}: SL(n) \to \mathbb{R}$, où $SL(n)$ est le groupe spécial linéaire des déformations préservant le volume. La méthodologie repose sur les cadres théoriques suivants :

1. Définitions de la variété : L'énergie est reparamétrée en utilisant le tenseur de déformation logarithmique $X = \log V$, où $V$ est le tenseur de déformation gauche. Cela projette la variété des étirements isochoriques vers l'espace linéaire des tenseurs symétriques déviateurs, $dev\,Sym(n) = \{X \in Sym(n) \mid \text{tr}X = 0\}$.
2. Définitions de la contrainte : Le tenseur de contrainte de Kirchhoff $\hat{\tau}$ est défini comme le gradient intrinsèque de l'énergie reparamétrée $\tilde{W}^{inc}$ sur $dev\,Sym(n)$. L'article établit un lien rigoureux entre la monotonie matricielle de $\hat{\tau}$ et la monotonie vectorielle de ses composantes principales $\hat{\tau}(\ell)$, où $\ell = (\log \lambda_1, \dots, \log \lambda_n)$.
3. Caractérisations de la convexité :
   • Pour $SL(2)$, l'article utilise l'équivalence entre la convexité de rang un et la polyconvexité pour les fonctions objectives isotropes (Théorème 2.3, basé sur Mielke [23] et Ghiba et al. [9]).
   • Il emploie la caractérisation de la polyconvexité via les valeurs singulières signées (Théorème 2.6, Wiedemann et Peter [42]).
   • Il utilise l'équivalence entre la monotonie vectorielle et la monotonie matricielle pour les fonctions tensorielles isotropes (Théorème 2.12).

Contributions Clés et Résultats

1. Équivalence des types de monotonie : L'article prouve que pour les fonctions isotropes sur $SL(n)$, le tenseur de contrainte de Kirchhoff est (strictement/fortement) monotone au sens matriciel si et seulement si sa fonction de composante principale est (strictement/fortement) monotone au sens vectoriel (Théorème 2.12). Ce résultat comble le fossé entre les inégalités de constitution tensorielles et les représentations spectrales scalaires.

2. Théorème Principal (Polyconvexité $\implies$ Inégalité de Hill dans $SL(2)$) :
   Le résultat central (Théorème 1.2) stipule que pour une fonction d'énergie objective, isotrope et différentiable $W^{inc}: SL(2) \to \mathbb{R}$, la polyconvexité implique la faible inégalité de Hill.

   • Stratégie de preuve 1 : En utilisant le Théorème 2.3, la polyconvexité dans $SL(2)$ implique l'existence d'une fonction $\phi$ convexe et non décroissante telle que l'énergie dépend de l'écart spectral. La composition de cette fonction convexe avec les variables de déformation logarithmique produit une fonction convexe sur l'ensemble de contrainte $\Pi = \{(\ell_1, \ell_2) \mid \ell_1 + \ell_2 = 0\}$. Le gradient d'une fonction convexe est monotone, ce qui, via l'équivalence établie, implique l'inégalité de Hill.
   • Stratégie de preuve 2 : Une preuve alternative utilise la décomposition en valeurs singulières signées et la convexité de la fonction génératrice $\Psi$. En analysom la tranche de cette fonction correspondant à l'incompressibilité, les auteurs démontrent la stricte convexité de la fonction spectrale réduite, menant à la même conclusion.

3. Distinction par rapport aux dimensions supérieures : L'article note explicitement que cette implication est vraie pour $n=2$ mais échoue pour $n=3$. En trois dimensions, il existe des fonctions d'énergie de convexité de rang un (et même polyconvexes) qui ne satisfont pas l'inégalité de Hill. L'article cite des contre-exemples où la réponse de la contrainte de Cauchy n'est pas monotone en traction uniaxiale malgré le fait que l'énergie satisfasse la polyconvexité.

Signification et Revendications
L'article affirme clarifier le lien intime entre l'ellipticité de Legendre-Hadamard, la polyconvexité et l'inégalité de Hill spécifiquement dans le cadre bidimensionnel incompressible. En fournissant deux preuves alternatives, les auteurs démontrent que dans $SL(2)$, l'exigence de polyconvexité est suffisante pour garantir la faible inégalité de Hill (monotonie de la contrainte de Kirchhoff par rapport à la déformation logarithmique).

Les auteurs maintiennent un champ d'application modeste concernant le cas tridimensionnel. Ils reconnaissent qu'en $SL(3)$, la polyconvexité n'implique pas l'inégalité de Hill et que la relation entre l'ellipticité de Legendre-Hadamard et la polyconvexité en 3D demeure une question ouverte. L'article ne propose pas de nouvelles applications expérimentales, mais apporte plutôt une consolidation théorique des inégalités de constitution pour les matériaux incompressibles en 2D, renforçant la validité de l'utilisation des énergies polyconvexes pour assurer la stabilité des matériaux dans ce contexte spécifique.