Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicable
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

Physical scope

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 I⊆R be a nonempty open time interval and O⊆R3 an open reference region. Model data include ξ:I×O→R3 of class C2, the displacement from a homogeneous stress-free reference placement. All spatial derivatives below are with respect to X∈O. Write vref:=∂tξ and aref:=∂t2ξ. The linear strain is e=12(DXξ+DXξT), with eij=12(∂jξi+∂iξj) (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 χt(X)=X+ξ(t,X) is additionally a positive-Jacobian diffeomorphism, it defines a finite motion; its spatial velocity obeys u(t,χt(X))=vref(t,X), 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

σ=λ (tr⁡e) I3+2μs e,

with Lamé parameters λ,μs∈R satisfying the positivity hypotheses μs>0 and λ+2μs3>0 (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, [λ]=[μs]=μℓ−1τ−2 (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework); in SI they are measured in N m−2.

(iii) Strain energy. The strain-energy density of the branch is W(e)=λ2(tr⁡e)2+μstr⁡(e2), and under the positivity hypotheses of (ii) it satisfies W(e)≥0 with equality only for e=0 (The isotropic elastic strain energy is μ∣e0∣F2+(λ/2+μ/3)(tr⁡e)2, hence positive definite under μ>0, λ+2μ/3>0).

(iv) Reference density and adopted linear balance. Fix a constant reference density ρ0>0 and a continuous reference body-force-per-mass field bref:I×O→R3. Adopt the linear momentum balance

ρ0∂t2ξ=ρ0bref+div⁡Xσ,(div⁡Xσ)i=∑j=13∂Xjσij.

The velocity, acceleration and density used here are reference fields. Constant ρ0 is not an assertion of constant current density. For a finite motion with conserved mass that density instead satisfies ρ(t,χt(X))det⁡DXχt(X)=ρ0. 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 μs 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

Dependency tree · 2 levels

Sources