Famille d’inégalités fonctionnelles dans des espaces de Sobolev bornant la norme L2 du gradient complet d’un champ de déplacement par la norme L2 de sa partie symétrique (la déformation linéarisée), à une translation et rotation rigides près : il existe une constante C (dépendant du domaine et des conditions aux limites) telle que ||∇u||_{L2} ≤ C (||ε(u)||_{L2} + termes d’ordre inférieur). Ce résultat garantit l’équivalence des normes (coercivité) nécessaire à la bien‑posée des problèmes d’élasticité linéaire lorsque les mouvements rigides sont exclus ou contrôlés.

Principe

Le contrôle du gradient symétrique (la déformation) suffit pour contrôler le gradient complet (y compris les rotations) modulo l’espace de dimension finie des déplacements rigides ; imposer des conditions aux limites appropriées ou retirer les modes rigides assure l’équivalence de normes en H^1.

Démonstration

Scénario illustratif : sur un domaine borné Lipschitz, pour un déplacement u nul sur une partie du bord, le calcul de ε(u) en L2 et l’application de l’inégalité de Korn impliquent une borne uniforme sur ||∇u||_{L2}, fournissant la coercivité du formulaire variationnel en élasticité et donc existence/unicité de la solution faible.

Mauvaise application

Supposer que l’inégalité de Korn s’applique sans éliminer les mouvements rigides ou sans tenir compte de la régularité du domaine (p. ex. négliger que les constantes dépendent de la géométrie et des contraintes au bord) ; la traiter comme une inégalité point‑par‑point plutôt qu’en L2/Sobolev est une erreur d’application.

Conséquence

Fonde mathématiquement la coercivité des fonctionnelles d’énergie élastique et donc l’existence, l’unicité et la stabilité des solutions en élasticité linéaire et dans les méthodes numériques (éléments finis) ; l’absence des hypothèses de Korn compromet ces résultats.

Inversion

L’inégalité ne fournit pas de contrôle si les mouvements rigides ne sont pas éliminés (absence de conditions au bord ou de contraintes) ou si les espaces fonctionnels manquent la régularité requise ; des variantes spécialisées ou des termes additionnels sont nécessaires pour des domaines irréguliers, des données au bord incompatibles ou des espaces pondérés.

Limite

S’applique dans des espaces de Sobolev H^1 (W^{1,2}) sur des domaines de régularité minimale (p. ex. Lipschitz) sous conditions aux limites prescrites ou modulo mouvements rigides ; ne s’applique pas point‑par‑point, pour des régularités non‑Sobolev, ni sur des domaines non bornés sans contraintes supplémentaires.

Tension sémantique

Rigueur fonctionnelle abstraite versus pratique ingénierique : l’inégalité de Korn est indispensable pour la bien‑posée mathématique mais ses constantes dépendantes du domaine et ses hypothèses sont parfois oubliées en modélisation appliquée et en mise en œuvre numérique.

Synthèse

L’inégalité de Korn formalise que les déformations (strains) contrôlent les déplacements à une translation/rotation rigide près ; elle transforme l’intuition physique en équivalence de normes nécessaire à l’analyse rigoureuse des problèmes élastiques.