On the justification of Koiter's model for generalised membrane shells of the "first kind'' confined in a half-space

Résumé technique : Justification du modèle de Koiter pour les coques de membrane généralisées du premier type dans un demi-espace

Énoncé du problème
Cet article traite de la justification mathématique du modèle de Koiter pour les coques de membrane généralisées élastiques linéaires du premier type lorsqu'elles sont soumettes à une condition de confinement. Plus précisément, l'étude considère des coques qui doivent rester confinées dans un demi-espace prescrit, un scénario pertinent pour des applications telles que le mouvement des valves cardiaques ou des films élastiques en contact avec des fondations rigides.

Le défi central réside dans la formulation du « problème d'obstacle ». Contraなる aux conditions de Signorini classiques qui contraignent généralement uniquement le bord du corps déformé, la condition de confinement considérée ici exige que tous les points de la configuration de référence déformée restent dans le demi-espace. L'article cherche à démontrer que le modèle limite bidimensionnel dérivé rigoureusement des équations de l'élasticité linéaire tridimensionnelle (lorsque l'épaisseur $\varepsilon \to 0$) coïncide avec le modèle bidimensionnel dérivé directement du modèle de Koiter sous les mêmes contraintes de confinement.

Une difficulté significative surgit car l'ensemble des déplacements admissibles pour le modèle limite obtenu à partir du problème d'obstacle 3D (noté $U^\sharp_M(\omega)$) est défini sur le complétement abstrait d'un ensemble non vide, fermé et convexe par rapport à une semi-norme spécifique. En revanche, l'ensemble des déplacements admissibles pour le modèle limite dérivé du modèle de Koiter (noté $U^\sharp(\omega)$) est défini comme la clôture d'un ensemble différent. Bien que les inégalités variationnelles régissant les solutions soient identiques, les ensembles dans lesquels les solutions sont recherchées ne coïncident pas, en général. L'article vise à prouver que ces ensembles sont effectivement égaux sous des conditions géométriques spécifiques, complétant ainsi la justification du modèle de Koiter pour cette classe de coques.

Méthodologie
La méthodologie suit un cadre d'analyse asymptotique rigoureux, s'appuyant sur les travaux fondamentaux de P.G. Ciarlet et de ses collaborateurs.

1. Formulation tridimensionnelle : L'étude commence par l'énergie classique tridimensionnelle de l'élasticité linéaire. Les déplacements admissibles sont recherchés dans un espace de Sobolev contraint par la condition que la configuration déformée se situe entièrement dans un demi-espace $H = \{x \in E^3; x \cdot q \ge 0\}$.
2. Mise à l'échelle et réduction de dimension : Le problème est mis à l'échelle sur un domaine fixe $\Omega = \omega \times (-1, 1)$ indépendant du paramètre d'épaisseur $\varepsilon$. Les auteurs effectuent une analyse asymptotique lorsque $\varepsilon \to 0$.
3. Hypothèses de Kirchhoff-Love : Une étape méthodologique critique consiste à supposer la validité des hypothèses de Kirchhoff-Love (contraintes géométriques où les normales à la surface moyenne restent normales après déformation). Les auteurs montrent que, sous ces hypothèses, la condition de confinement globale est équivalente à la condition de Signorini classique appliquée aux faces de bord. Cette équivalence est cruciale pour établir la convergence du champ de déplacement vers l'espace limite.
4. Complétement abstrait : L'analyse révèle que la solution limite réside dans le complétement abstrait de l'espace des déplacements admissibles par rapport à la norme induite par le tenseur de la variation de métrique linéarisé. Cela conduit à un problème d'inégalité variationnelle bidimensionnel posé sur un ensemble abstraitement complété.
5. Arguments de densité : Pour combler l'écart entre la limite 3D-dérivée et la limite de Koiter, l'article emploie des arguments de densité. Il construit des sous-ensembles denses de fonctions lisses au sein des ensembles admissibles pour prouver que les deux ensembles distincts de solutions limites admissibles ($U^\sharp_M(\omega)$ et $U^\sharp(\omega)$) sont identiques.

Contributions clés et résultats

• Convergence vers une limite bidimensionnelle (Théorème 5.1) : L'article établit que l'unique solution du problème d'obstacle tridimensionnel pour une coque de membrane généralisée du premier type converge, lorsque l'épaisseur tend vers zéro, vers l'unique solution d'une inégalité variationnelle bidimensionnelle. Ce modèle limite est posé sur le complétement abstrait d'un ensemble fermé et convexe. Les auteurs notent que, bien que les inégalités variationnelles correspondent à celles dérivées du modèle de Koiter, les ensembles sous-jacents de solutions admissibles diffèrent par leurs définitions.
• Équivalence des ensembles admissibles (Théorme 6.3) : La principale nouveauté du travail est la preuve que l'ensemble des solutions dérivées du problème d'obstacle 3D coïncide avec l'ensemble dérivé du modèle de Koiter, à condition que des conditions géométriques spécifiques soient remplies. Ces conditions incluent :
  • Le domaine $\omega$ est un rectangle (ou un cas spécial où le bord est entièrement encastré).
  • La partie du bord où le déplacement est fixé ($\gamma_0$) consiste en des bords entiers du rectangle.
  • Une condition de symétrie (Condition 19) est satisfaite concernant l'extension des vecteurs de base et du vecteur normal $q$ par réflexion à travers les frontières du domaine.
    Sous ces conditions, l'argument de densité prouve que $U^\sharp_M(\omega) = U^\sharp(\omega)$, unifiant ainsi les deux approches.
• Équivalence des conditions de confinement et de Signorini (Lemme 4.2) : L'article démontre que la condition de confinement globale (s'appliquant à tous les points de la coque) est équivalente à la condition de Signorini classique (s'appliquant au bord) lorsque les hypothèses de Kirchhoff-Love sont valides.

Signification et revendications
L'article prétend achever la justification du modèle de Koiter pour les coques de membrane généralisées élastiques linéaires du premier type soumises à un confinement dans un demi-espace. Avant ce travail, l'identification d'un modèle limite bidimensionnel dérivé directement du problème d'obstacle tridimensionnel pour cette classe spécifique de coques était un problème ouvert.

Les auteurs soulignent que leur travail résout une divergence entre deux voies mathématiques :

1. Dériver la limite à partir des équations d'élasticité 3D complètes avec obstacles.
2. Dériver la limite à partir du modèle 2D de Koiter avec obstacles.

Bien que des études antérieures aient justifié le modèle de Koiter pour les coques de membrane elliptiques et les coques de flexion, le cas de la membrane généralisée restait non résolu en raison des complexités du complétement abstrait de l'espace de solution. En prouvant que les ensembles de solutions admissibles coïncident sous des hypothèses géométriques raisonnables, l'article valide que le modèle de Koiter capture correctement le comportement asymptotique du problème d'obstacle 3D pour ces coques.

Les auteurs restent modestes quant aux restrictions géométriques requises pour le résultat de densité (Théorème 6.3), reconnaissant que la preuve repose sur le fait que le domaine soit un rectangle et sur des configurations de bord spécifiques. Cependant, ils soutiennent que ces hypothèses couvrent des cas non triviaux et pratiquement pertinents, tels que des portions de calottes sphériques, de cylindres et d'hyperboloïdes de révolution, comme illustré dans l'article. Le travail souligne également que l'hypothèse des conditions de Kirchhoff-Love est une nécessité analytique pour contourner le manque de compacité dans l'espace de complétement abstrait, une technique cohérente avec la théorie établie des coques.