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.
A longitudinal plane wave in the linear elastic branch: stress, equation of motion and strain energy computed
A worked longitudinal plane wave of the adopted linear elastic branch: explicit strain, stress, verification of the displacement equation at the longitudinal speed root((lambda+2mu_s)/rho_0) and the positive strain-energy density of the wave. The computation is exact within the branch and asserts no measurement and no completeness of plane waves.
Example
Adopt the isotropic linear elastic branch of Adopted isotropic linear elastic constitutive model with its small-strain regime and strain energy with reference density of dimension and moduli of dimension , with and (Continuum body data, the fixed inertial frame and the dimensions of the fields). Use , and let be the reference position in metres and time in seconds. The amplitude has dimension , and the wave number has dimension . Define the positive longitudinal speed and angular frequency by and ; then , and the phase is dimensionless. Let
with , and the first standard basis vector: a longitudinal plane wave travelling along . This is a solution of the linear reference-field model for every declared ; physical small-strain use requires small . No finite-motion diffeomorphism is inferred: its candidate placement has determinant , which need not be positive for these unrestricted algebraic data. Then:
- the linear strain is with all other entries zero, so and has Frobenius squared norm ;
- the stress matrix is
- the displacement equation (E) of The displacement equation of the linear elastic branch: rho_0 partial_t^2 xi = rho_0 b + mu_s Laplacian xi + (lambda + mu_s) grad div xi with holds exactly: ;
- the strain-energy density, of dimension , is , with equality only where ; both coefficients in the decomposition are positive under the branch's hypotheses, and the squared speed is positive with .
Facts & Assumptions
Given: the branch data ; the amplitude , wave number and the wave .
Branch data and stress (Adopted isotropic linear elastic constitutive model with its small-strain regime and strain energy, The small-strain isotropic linear elastic constitutive law and its strain energy): and , with and .
Displacement equation (The displacement equation of the linear elastic branch: rho_0 partial_t^2 xi = rho_0 b + mu_s Laplacian xi + (lambda + mu_s) grad div xi): in the branch's description with , .
Strain-energy decomposition and positivity (The isotropic elastic strain energy is , hence positive definite under , , The small-strain isotropic linear elastic constitutive law and its strain energy): , with equality only for , under the stated positivity hypotheses.
Quantity dimensions (Continuum body data, the fixed inertial frame and the dimensions of the fields): , , and the stress and strain-energy density have dimension .
Verification
Strain: depends on only through and only its first component is nonzero, so has the single nonzero entry ; hence and all other entries of vanish, , and has .
Stress: substituting into gives and , all off-diagonal entries zero, which is the displayed matrix.
Displacement equation: the right side of (E) of [F2] is ; since and , it equals . The left side is with by [F4]; since , one has , so the equation holds exactly for every .
Energy: by [F3] and step 1.1, ; the coefficients and are positive by [F1], so with equality exactly where . By [F5], is dimensionless and has dimension , consistent with the constitutive formula. Finally is positive because and .
Remarks
-
The computation exhibits the branch's structure concretely: the wave is longitudinal (the displacement is parallel to the propagation direction) and its speed is the longitudinal speed of Plane elastic waves in the adopted model: the dispersion condition and the longitudinal and transverse speeds; the transverse branch, with speed , is not recomputed here.
-
The energy density computed is the model's strain energy of the branch (The small-strain isotropic linear elastic constitutive law and its strain energy); it is a nonnegative function of the strain and is zero exactly when the linear strain vanishes, under the branch's positivity hypotheses. Rigid translations and infinitesimal rigid rotations both have zero linear strain; for this particular longitudinal wave, zero energy is exactly . No measured modulus or speed appears.
Depends on
Plane elastic waves in the adopted model: the dispersion condition and the longitudinal and transverse speeds
The displacement equation of the linear elastic branch: rho_0 partial_t^2 xi = rho_0 b + mu_s Laplacian xi + (lambda + mu_s) grad div xi
Adopted isotropic linear elastic constitutive model with its small-strain regime and strain energy
The small-strain isotropic linear elastic constitutive law and its strain energy
The isotropic elastic strain energy is , hence positive definite under ,
Euclidean spatial calculus: gradient, divergence and material derivative
The derivatives of sine and cosine are cosine and minus sine
Parity and the Pythagorean identity for sine and cosine
Euclidean maps and diffeomorphisms
Continuum body data, the fixed inertial frame and the dimensions of the fields
Dependency tree · 2 levels
Sources
- K. Likharev, Essential Graduate Physics, Classical Mechanics (September 1, 2026 complete volume), Section 7.7 (the longitudinal plane elastic wave and its speed, and the elastic energy density)
- 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 (isotropic linear elasticity and the positive definite strain energy)