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.
Plane elastic waves in the adopted model: the dispersion condition and the longitudinal and transverse speeds
Conditional on the small-strain isotropic linear elastic branch: a plane displacement field a cos(<k,x> - omega t) satisfies the model's displacement equation with zero body force on all of space-time if and only if its dispersion relation holds; only solutions of that equation have the stated longitudinal or transverse phase speeds, which are real and positive under the branch's positivity hypotheses. The theorem asserts no completeness of plane waves, no measured modulus and no empirical value.
Statement
Adopt the small-displacement 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 Lamé parameters of dimension , satisfying and (Continuum body data, the fixed inertial frame and the dimensions of the fields). Let (E) be the displacement equation 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 body force . Let denote position of dimension and time of dimension . Let be a wave vector of dimension , a polarization amplitude of dimension , and an angular frequency of dimension . The phase is dimensionless. Define the plane displacement field
with the Euclidean inner product (The Euclidean inner product on ). Then satisfies (E) on all of if and only if
Moreover, if this plane wave satisfies (E) (equivalently, if (D) holds), then for : if is parallel to (longitudinal), then and its phase speed is , where ; if is orthogonal to (transverse), then and its phase speed is , where . Positivity follows from the branch hypotheses, and (Continuum body data, the fixed inertial frame and the dimensions of the fields, Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). No assertion is made that every solution of (E) is a superposition of plane waves, and no measured modulus or speed is claimed.
Facts & Assumptions
Given: the linear elastic branch data ; the vectors and the frequency ; the plane wave .
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 the momentum equation is ; with the right-hand side is the displayed operator applied to .
Plane-wave calculation (Exact plane-wave solutions of the isotropic linear elastic model, with longitudinal and transverse speeds, The small-strain isotropic linear elastic constitutive law and its strain energy): for the displayed field and stress, the identity on holds if and only if (D) holds.
Positivity hypotheses (Adopted isotropic linear elastic constitutive model with its small-strain regime and strain energy clause (ii)): the branch's moduli satisfy and .
Proof
The field is on and the branch's displacement equation (E) of [F1] with has right-hand side , which is exactly the divergence of the branch's stress as computed by [F1]; the cited plane-wave theorem [F2] therefore gives that (E) holds on all of if and only if (D) holds.
Polarization branches: suppose the plane wave satisfies (E), so (D) holds by step 1.1, and let . If , then with , and substituting into (D) gives ; dividing by and using gives , hence . If , the inner product term of (D) vanishes, so ; dividing by the nonzero vector gives , hence .
Positivity and dimensions: by [F3], gives , and gives , so both squared speeds are real and positive. By [F4], both squared speeds have dimension , hence . No completeness, boundary-value or empirical claim is made.
Remarks
-
Exact solutions of the model's linear equation. The waves displayed are exact solutions of (E) with , not approximations, but they are special solutions: a general initial-value problem must be solved by other means, and the smooth fixed-end and chain items below supply existence results for particular geometries. Existence for general data in is not asserted on this page.
-
Reading of the speeds. For a material with measured moduli the speeds and are model predictions; comparing them with measured sound speeds tests the model and its idealizations, and any such comparison uses the moduli as qualified empirical premises. No measured value is asserted here.
Depends on
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
Exact plane-wave solutions of the isotropic linear elastic model, with longitudinal and transverse speeds
The small-strain isotropic linear elastic constitutive law and its strain energy
The Euclidean inner product on
Continuum body data, the fixed inertial frame and the dimensions of the fields
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Dependency tree · 2 levels
Sources
- K. Likharev, Essential Graduate Physics, Classical Mechanics (September 1, 2026 complete volume), Section 7.7 (plane longitudinal and transverse elastic waves and their speeds)
- R. Abeyaratne, Continuum Mechanics, Volume II of Lecture Notes on the Mechanics of Solids (MIT, 1988, revised 2020), Section 11.2 (the isotropic linearized elastic field equations)