title: Inégalité de Korn
text: # Inégalité de Korn
  
  En mathématiques, plus particulièrement en analyse fonctionnelle, l'inégalité de Korn est un résultat démontré pour la première fois en 1908 par le physicien allemand Arthur $Korn^,^,.$ Ce résultat, issu des recherches de Korn en théorie de l'élasticité, a depuis été étendu et continue de jouer un rôle important dans cette $théorie^,.$ Néanmoins, il s'agit d'abord d'un théorème mathématique portant sur la norme de la jacobienne d'une fonction assez régulière, dont l'utilisation déborde le seul cadre de la physique des matériaux. De fait, des généralisations de cette inégalité et d'inégalités du même type sont au cœur des recherches sur la stabilité des systèmes dynamiques continus et dans l'étude numérique des équations aux dérivées partielles elliptiques.
  
  ## Énoncé
  
  Soit $f$ une fonction définie sur un sous-ensemble $\Omega \subset \mathbb {R} ^{n}$ et à valeurs dans $\mathbb {R} ^{n}$. Supposons qu'est définie sur $\Omega$ la matrice jacobienne $Df$ de $f$. On note alors $Sf$ la partie symétrique de la jacobienne, c'est-à-dire $Sf={\frac {1}{2}}\left(\partial _{i}f_{j}+\partial _{j}f_{i}\right)_{i,j}$. Alors l'inégalité de Korn donne une majoration de $\|Df\|_{L^{p}}$ en fonction de $\|Sf\|_{L^{p}}$, pour $p>1$, sous des conditions de régularité sur $f$. Plus précisément, si $f\in W_{0}^{1,p}(\mathbb {R} ^{n})\cap W^{1,p}(\Omega )$, où $W^{k,p}$ désigne l'espace de Sobolev et $W_{0}^{k,p}$ sa restriction aux fonctions à support compact, on a
  
  $\|Df\|_{L^{p}}\leq C_{p}\|Sf\|_{L^{p}}$
  
  avec une constante $C_{p}>0$ qui dépend de $p$ et de $\Omega$ uniquement, et appelée « constante de Korn ».
  
  La démonstration initiale par Korn portait sur deux cas particuliers, avec des hypothèses plus fortes sur $f$. L'inégalité n'est pas vraie pour $p=1$ ni pour $p=+\infty$ en général.
  
  ## Démonstration dans un cas simple
  
  Supposons $f\in H_{0}^{1}(\mathbb {R} ^{n})$, alors en particulier $Sf$ est de carré sommable. On rappelle que
  
  $\|v\|_{H^{1}(\Omega )}=\left(\int _{\Omega }\sum _{i=1}^{n}|v_{i}(x)|^{2}\,\mathrm {d} x+\int _{\Omega }\sum _{i,j=1}^{n}|\partial _{j}v_{i}(x)|^{2}\,\mathrm {d} x\right)^{1/2}.$
  
  Une intégration par parties donne immédiatement
  
  $\int _{\mathbb {R} ^{n}}|Sf|^{2}={\frac {1}{2}}\int _{\mathbb {R} ^{n}}|Df|^{2}+{\frac {1}{2}}\int _{\mathbb {R} ^{n}}(\nabla \cdot f)^{2}$
  
  avec $\nabla \cdot f$ la divergence de $f$. De cette expression on tire immédiatement l'inégalité de Korn :
  
  $\|f\|_{H^{1}(\mathbb {R} ^{n})}\leq {\sqrt {2}}\|Sf\|_{L^{2}(\mathbb {R} ^{n})}.$
  
  ## Application à la théorie de l'élasticité
  
  La déformation d'un matériau élastique peut être décrite par le tenseur des déformations donné en chaque point du matériau. Pour de petites déformations, une approximation linéaire de ce tenseur suffit, et possède l'expression suivante :
  
  $\varepsilon (v)={\frac {1}{2}}\left(\nabla v+(\nabla v)^{T}\right)=Sv$
  
  où $v$ est le déplacement. On appelle « ouvert de Korn » un ouvert borné $\Omega$ tel que, pour une certaine constante $C_{K}>0$,
  
  $\forall v\in H^{1}(\Omega )\quad \|v\|_{H^{1}(\Omega )}\leq C_{K}\left(\|v\|_{L^{2}(\Omega )}+\|\varepsilon (v)\|_{L^{2}(\Omega )}\right).$
  
  En particulier, un ouvert borné, connexe, de bord lipschitzien, est un ouvert de Korn. Dans un tel ouvert, l'inégalité de Korn est observée. Ainsi, il est possible de contrôler le champ de déplacements dans le matériau, en n'utilisant qu'une approximation linéaire du tenseur des déformations, qui est souvent plus maniable que le tenseur exact. Il en découle l'existence de modèles relativement simples par exemple pour l'étude des coques élastiques.
  
  