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

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

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

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

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

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

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

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

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.