Inégalité de Korn

Modèle:Voir homonymesModèle:ÉbaucheEn 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 KornModèle:,Modèle:,. 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éorieModèle:,. 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 $\mathrm{\Omega }\subset {ℝ}^n$ et à valeurs dans ${ℝ}^n$. Supposons qu'est définie sur $\mathrm{\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}{({\partial }_i{f}_j+{\partial }_j{f}_i)}_{i,j}$. Alors l'inégalité de Korn donne une majoration de $\Vert Df{\Vert }_{L^p}$ en fonction de $\Vert Sf{\Vert }_{L^p}$, pour $p>1$, sous des conditions de régularité sur $f$. Plus précisément, si $f\in W_0^{1,p}({ℝ}^n)\cap W^{1,p}(\mathrm{\Omega })$, où $W^{k,p}$ désigne l'espace de Sobolev et $W_0^{k,p}$ sa restriction aux fonctions à support compact, on a $$\Vert Df{\Vert }_{L^p}\le C_p\Vert Sf{\Vert }_{L^p}$$avec une constante $C_p>0$ qui dépend de $p$ et de $\mathrm{\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=+\mathrm{\infty }$ en général.

Démonstration dans un cas simple

Supposons $f\in H_0^1({ℝ}^n)$, alors en particulier $Sf$ est de carré sommable. On rappelle que $$\Vert v{\Vert }_{H^1(\mathrm{\Omega })}={(\underset{\mathrm{\Omega }}{\int }\sum _{i=1}^n|v_i(x){|}^2\mathrm{d}x+\underset{\mathrm{\Omega }}{\int }\sum _{i,j=1}^n|{\partial }_j{v}_i(x){|}^2\mathrm{d}x)}^{1/2}.$$Une intégration par parties donne immédiatement$$\underset{{ℝ}^n}{\int }|Sf{|}^2=\frac{1}{2}\underset{{ℝ}^n}{\int }|Df{|}^2+\frac{1}{2}\underset{{ℝ}^n}{\int }(\mathrm{\nabla }\cdot f{)}^2$$avec $\mathrm{\nabla }\cdot f$ la divergence de $f$. De cette expression on tire immédiatement l'inégalité de Korn : $$\Vert f{\Vert }_{H^1({ℝ}^n)}\le \sqrt{2}\Vert Sf{\Vert }_{L^2({ℝ}^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 :$$\epsilon (v)=\frac{1}{2}(\mathrm{\nabla }v+(\mathrm{\nabla }v{)}^T)=Sv$$où $v$ est le déplacement. On appelle « ouvert de Korn » un ouvert borné $\mathrm{\Omega }$ tel que, pour une certaine constante $C_K>0$,$$\mathrm{\forall }v\in H^1(\mathrm{\Omega })\Vert v{\Vert }_{H^1(\mathrm{\Omega })}\le C_K(\Vert v{\Vert }_{L^2(\mathrm{\Omega })}+\Vert \epsilon (v){\Vert }_{L^2(\mathrm{\Omega })}).$$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.