Korn inequality ($\Vert \nabla v{\Vert }_{L^2}\le C\Vert \epsilon (v){\Vert }_{L^2}$)

The zero-boundary Korn inequality controls the full displacement gradient tensor by the infinitesimal strain tensor for $v\in H_0^1(\Omega ;{\mathbb{R}}^d)$. On a bounded Lipschitz domain, combining it with the Poincaré inequality makes a positive linear elasticity energy a coercive bilinear form in the first-order Sobolev norm. The zero Dirichlet boundary condition removes the otherwise uncontrolled rigid displacements.

For this zero-boundary version one can prove an exact identity. For a smooth compactly supported vector field, two applications of integration by parts giveExpanding the symmetric gradient and using density in the zero-boundary Sobolev space therefore yieldsIn three dimensions this also gives the stronger trace-free versionHere the matrix-valued L2 norm uses the Frobenius inner product. This explains why the trace-free form printed in the examination suffices for the usual Korn inequality estimate.