Saint-Venant's Compatibility Condition¶
The differential integrability test for whether a symmetric small-strain field can be the symmetrized gradient of one displacement field.
Core Idea¶
Saint-Venant's compatibility condition tests whether a proposed symmetric infinitesimal-strain field \(e\) can be the symmetric gradient of one displacement field \(\mathbf u\): \(e_{ij}=\tfrac12(\partial_i u_j+\partial_j u_i)\). A second-derivative incompatibility operator vanishes for every such field. On a suitable simply connected domain, vanishing is also sufficient for a displacement to exist under the theorem's regularity assumptions. That displacement remains nonunique up to infinitesimal rigid motion.[^ref-d37424a6660c]
In two smooth spatial dimensions, the condition is \(\partial_{yy}e_{xx}+\partial_{xx}e_{yy}-2\partial_{xy}e_{xy}=0\). Zero is a local integrability test; on a domain with holes, global single-valued reconstruction can require additional loop conditions. The condition is neither Hooke's law nor stress equilibrium.[^ref-d37424a6660c]
Scope of Application¶
In small-strain linearized elasticity, the condition keeps a strain-primary formulation tied to actual displacements. Ciarlet and Ciarlet Jr. study this role in three dimensions. In dislocation-containing media, elastic-strain incompatibility can instead be constrained by a source consistent with defect density, as in Gröger, Lookman and Saxena's edge-dislocation example. That does not license treating every nonzero strain incompatibility as arbitrary or physically impossible.[ref-f0fa312336c8][ref-e164679456a7]
The equation is linearized and Euclidean; finite-strain deformation uses different compatibility conditions. The broad live Compatibility prime is related but does not supply the tensor derivatives or topology theorem.
Clarity¶
Symmetry of \(e\) is not enough: its components must fit together as derivatives of one vector field. A zero local operator proves global existence only under the right domain and regularity hypotheses. Passing the test says nothing by itself about loads, material stiffness or a unique absolute position.[^ref-d37424a6660c]
Manages Complexity¶
The operator compresses a potential-existence question into derivative checks on the strain field. In two dimensions one scalar expression exposes local failure; in three dimensions a tensor system does. This makes strain data or strain-primary models testable for kinematic admissibility without confusing that question with constitutive response.[ref-d37424a6660c][ref-f0fa312336c8]
Abstract Reasoning¶
For a proposed smooth planar field, compute \(\partial_{yy}e_{xx}+\partial_{xx}e_{yy}-2\partial_{xy}e_{xy}\). The field from \(\mathbf u=(xy,0)\) has \(e_{xx}=y\), \(e_{xy}=x/2\), \(e_{yy}=0\) and passes. Setting \(e_{xx}=y^2\) and the other two components to zero gives $2$, so it cannot be the symmetric gradient of a smooth displacement on an open patch. For a passing field, check topology before concluding global existence; for a defect model, check the source-augmented condition instead.[ref-d37424a6660c][ref-e164679456a7]
Knowledge Transfer¶
The same integrability test applies to analytical strain fields and strain-primary formulations, while defect theory preserves the operator's diagnostic role with a source-consistent extension. It does not transfer merely because another field uses the word “compatibility.” The proposed DAG edge is a composition prerequisite to Tensor Field, not a claim that the condition is itself a tensor field; a broader local-to-global integrability motif is a future-prime question.[ref-f0fa312336c8][ref-e164679456a7]
[^ref-d37424a6660c]: Philippe G. Ciarlet, Patrick Ciarlet Jr., Giuseppe Geymonat and Françoise Krasucki, “Characterization of the kernel of the operator CURL CURL,” Comptes Rendus Mathématique 344 (2007), 305–308, original theorem on symmetric tensor fields and linearized strains in simply connected domains. https://www.numdam.org/articles/10.1016/j.crma.2007.01.001/ . [^ref-f0fa312336c8]: Philippe G. Ciarlet and Patrick Ciarlet Jr., “Another approach to linearized elasticity and Korn's inequality,” Comptes Rendus Mathématique 339 (2004), 307–312, original article. https://www.numdam.org/articles/10.1016/j.crma.2004.06.021/ . [^ref-e164679456a7]: R. Gröger, T. Lookman and A. Saxena, “Incompatibility of strains and its application to mesoscopic studies of plasticity,” Physical Review B 82, 144104 (2010). https://journals.aps.org/prb/abstract/10.1103/PhysRevB.82.144104 .
Relationships to Other Abstractions¶
Current abstraction Saint-Venant's Compatibility Condition Domain-specific
Parents (1) — more general patterns this builds on
-
Saint-Venant's Compatibility Condition presupposes Tensor field Domain-specific
The condition acts on a symmetric rank-two tensor field over a region.
Hierarchy path (1) — routes to 1 parentless root
- Saint-Venant's Compatibility Condition → Tensor field → Local-to-Global Aggregation
Neighborhood in Abstraction Space¶
Saint-Venant's Compatibility Condition sits in a sparse region of the domain-specific corpus (83rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (2551 abstractions)
Nearest neighbors
- Tidal tensor — 0.83
- Bismut Connection — 0.82
- Bounded deformation — 0.82
- Eshelby's inclusion — 0.81
- Causal Dynamical Triangulation — 0.81
Computed from structural-signature embeddings · 2026-10-08