How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Adopted isotropic linear elastic constitutive model with its small-strain regime and strain energy
Adoption of the small-strain isotropic linear elastic constitutive branch: displacement field, linear strain, stress matrix lambda (tr e) I + 2 mu_s e with positive-definite moduli, and the elastic strain-energy density with its positivity. The postulate states the small-strain kinematic idealization, the constancy of the reference density and the validity limits (small strains relative to a stress-free reference state, isothermal, no plasticity, viscosity, damage or coupling); it adopts the linear balance in reference coordinates and asserts no measured modulus, boundary condition or approximation error bound.
Postulate
Adopt the following small-displacement elastic model on reference labels, with the body and unit conventions of Continuum body data, the fixed inertial frame and the dimensions of the fields.
(i) Reference-coordinate description. Let be a nonempty open time interval and an open reference region. Model data include of class , the displacement from a homogeneous stress-free reference placement. All spatial derivatives below are with respect to . Write and . The linear strain is , with (The small-strain isotropic linear elastic constitutive law and its strain energy). The constitutive relation is used as the first-order approximation about the reference state for small displacement gradients; no quantitative strain threshold is asserted.
If is additionally a positive-Jacobian diffeomorphism, it defines a finite motion; its spatial velocity obeys , not an equality at the same numerical spatial and reference arguments. This additional finite-motion interpretation is not required for the linear field equations below.
(ii) Constitutive law. The stress matrix of the branch is
with Lamé parameters satisfying the positivity hypotheses and (The small-strain isotropic linear elastic constitutive law and its strain energy). Both parameters are constant in space and time in this branch. Their dimension is that of stress, (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework); in SI they are measured in .
(iii) Strain energy. The strain-energy density of the branch is , and under the positivity hypotheses of (ii) it satisfies with equality only for (The isotropic elastic strain energy is , hence positive definite under , ).
(iv) Reference density and adopted linear balance. Fix a constant reference density and a continuous reference body-force-per-mass field . Adopt the linear momentum balance
The velocity, acceleration and density used here are reference fields. Constant is not an assertion of constant current density. For a finite motion with conserved mass that density instead satisfies . The displayed linear balance is an adopted approximation model, not an exact change of variables in the finite-motion balances; no error bound for discarding higher-order terms is claimed.
(v) Validity, exclusions and status. The branch is not adopted for: finite strains where the displacement gradient is not small; anisotropic materials (the law has two moduli and an isotropic form); plastic, viscous, viscoelastic, damaged or fracturing response; temperature-dependent moduli or thermoelastic coupling; and materials with internal structure. The Lamé parameters are material parameters: whenever a numerical value of or is used in a deduction it enters as a measured empirical premise with its own conditions and uncertainty, and no value is asserted here. The constitutive law itself is adopted model structure, not a measured law and not a consequence of the balance principles.
Depends on
The small-strain isotropic linear elastic constitutive law and its strain energy
The isotropic elastic strain energy is , hence positive definite under ,
Continuum body data, the fixed inertial frame and the dimensions of the fields
Traction fields and stress matrices of the continuum model, with units and sign conventions
Adopted continuum kinematic model: body data, smooth motions as families of label worldlines, the continuum idealization and frame covariance
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Euclidean maps and diffeomorphisms
Euclidean spatial calculus: gradient, divergence and material derivative
Dependency tree · 2 levels
Sources
- R. Abeyaratne, Continuum Mechanics, Volume II of Lecture Notes on the Mechanics of Solids (MIT, 1988, revised 2020), Section 11.2 and Problem 11.5 (linearized elasticity, isotropic stress-strain relations and the positive definite strain energy)
- K. Likharev, Essential Graduate Physics, Classical Mechanics (September 1, 2026 complete volume), Section 7.3 (Hooke's law and the two elastic moduli of an isotropic medium)