##  [Korn's Inequality](/korns-inequality-0) 

 Definition

A family of functional inequalities in Sobolev spaces that bounds the L2 norm of the full gradient of a displacement field by the L2 norm of its symmetric part (the linearized strain) up to rigid‑body motions: there exists a constant C (depending on the domain and boundary conditions) such that ||∇u||_{L2} ≤ C (||ε(u)||_{L2} + lower‑order terms). The result guarantees equivalence of norms (coercivity) needed for well‑posedness of linear elasticity problems when rigid motions are excluded or controlled.

 

 

 

 

 

 





## Principle

Principle

Control of the symmetric gradient (strain) suffices to control the full gradient (including rotations) modulo the finite‑dimensional space of rigid motions; enforcing appropriate boundary conditions or subtracting rigid modes yields norm equivalence in H^1‑type spaces.

 

 

 

 

 





## Demonstration

Demonstration

Illustrative scenario: in a bounded Lipschitz domain with displacement u vanishing on a portion of the boundary, compute ε(u) in L2; Korn’s inequality implies a uniform bound on ||∇u||_{L2}, which in variational elasticity gives coercivity of the bilinear form and hence existence and uniqueness of the weak solution.

 

 

 

 

## Misapplication

Misapplication

Assuming Korn’s inequality holds without accounting for rigid‑body motions or domain regularity (e.g., neglecting that constants depend on domain geometry and boundary constraints); treating it as pointwise rather than an L2/Sobolev inequality leads to misuse.

 

 

 

 

 





## Consequence

Consequence

Provides the mathematical foundation for coercivity of elastic energy functionals and thus for existence, uniqueness and stability of solutions in linear elasticity and in numerical methods (finite elements); failure to satisfy Korn’s prerequisites undermines these results.

 

 

 

 

## Reversal

Reversal

The inequality fails to provide control if rigid motions are not eliminated (no boundary conditions or constraints) or if function spaces lack required regularity; specialized variants or additional terms are needed for irregular domains, incompatible boundary data, or weighted spaces.

 

 

 

 

 





## Boundary

Boundary

Applies in H^1 (W^{1,2}) Sobolev spaces on domains with minimal regularity (e.g., Lipschitz) under prescribed boundary conditions or modulo rigid motions; does not apply pointwise, for non‑Sobolev regularity, or on unbounded domains without additional constraints.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Abstract functional rigor versus engineering practice: Korn’s inequality is essential for mathematical well‑posedness but its domain‑dependent constants and assumptions are sometimes overlooked in applied modeling and numerical implementation.

 

 

 

 

 





## Synthesis

Synthesis

Korn’s inequality is the technical statement that strains control displacements up to rigid motions; it converts physical intuition (strain measures deformation) into the norm equivalence needed for rigorous analysis of elastic problems.