Math 2.0

Mechanics of deformable solids Foundations of continuum mechanics Theorem

Compatibility conditions

Builds on Deformation gradientSimply connected domainCurlSaint-Venant compatibility condition

Statement

Let Ω⊆ℝ3\Omega \subseteq \R^3 be an open, connected and simply connected set, and let F ⁣:Ω→ℝ3×3F \colon \Omega \to \R^{3 \times 3} be a continuously differentiable matrix field with entries FiJF_{iJ}. Then there is a twice continuously differentiable map φ ⁣:Ω→ℝ3\varphi \colon \Omega \to \R^3 with ∇φ=F\nabla \varphi = F if and only if ∂FiJ∂XK=∂FiK∂XJon Ω for all i,J,K∈{1,2,3}.\frac{\partial F_{iJ}}{\partial X_K} = \frac{\partial F_{iK}}{\partial X_J} \quad \text{on } \Omega \text{ for all } i, J, K \in \set{1, 2, 3}. In that case φ\varphi is unique up to an additive constant vector.

Remarks

Necessity is the symmetry of second partial derivatives of φ\varphi. For sufficiency, the condition says that each row (Fi1,Fi2,Fi3)(F_{i1}, F_{i2}, F_{i3}) has zero curl. On a simply connected set such a field is the gradient of a function φi\varphi_i, obtained by integrating along paths. So a candidate deformation gradient field comes from an actual deformation exactly when it is curl-free row by row. Simple connectivity is needed. Take Ω={X:1<X12+X22<4, 0<X3<1}\Omega = \set{X : 1 < X_1^2 + X_2^2 < 4, \ 0 < X_3 < 1}, and let FF have first row (−X2,X1,0)/(X12+X22)\left(-X_2, X_1, 0\right)/(X_1^2 + X_2^2), the gradient of the polar angle, and other rows e2Te_2^T and e3Te_3^T. This FF satisfies the condition but is not a gradient, since the angle is not single-valued on Ω\Omega. The analogous condition for the infinitesimal strain tensor is the Saint-Venant compatibility condition.

Going deeper

For a student

In this form the statement is the Poincaré lemma for closed 11-forms, applied to each component of φ\varphi. In solid mechanics compatibility is usually imposed on strains rather than on FF. For small strains this leads to the Saint-Venant equations, and for finite strains to the vanishing of the Riemann curvature of the metric CC. Failure of compatibility in a multiply connected body is the continuum picture of dislocations.

Reading path

To understand this page from the ground up, read these 13 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Deformation gradient concept
  2. Euclidean space object
  3. Function concept
  4. Simply connected domain concept
  5. Skew-symmetric matrix concept
  6. Strain tensor concept
  7. Function of several variables concept
  8. Vector-valued function concept
  9. Saint-Venant compatibility condition statement
  10. Partial derivative concept
  11. Vector field concept
  12. Curl concept
  13. Compatibility conditions statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Compatibility_(mechanics)
About this page
TagVV0B6C9CAS
URIm2://VV0B6C9CAS
Kindstatement, theorem
WritingW0 stub
MSC74A05
StatusThis copy of the site has no build data. Run m2 status VV0B6C9CAS.
AboutDeformation gradient
UsesDeformation gradient, Simply connected domain, Curl, Saint-Venant compatibility condition
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.