Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck pass
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

Physical scope

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 ρ0>0 of dimension μℓ−3 and moduli λ,μs of dimension μℓ−1τ−2, with μs>0 and λ+2μs3>0 (Continuum body data, the fixed inertial frame and the dimensions of the fields). Use I=R, O=R3 and let x1 be the reference position in metres and t time in seconds. The amplitude A≠0 has dimension ℓ, and the wave number κ≠0 has dimension ℓ−1. Define the positive longitudinal speed and angular frequency by cL:=(λ+2μs)/ρ0 and ω:=κcL; then [cL]=ℓτ−1, [ω]=τ−1 and the phase is dimensionless. Let

ξ(t,x):=Acos⁡(κx1−ωt) e1,

with A≠0, κ≠0 and e1 the first standard basis vector: a longitudinal plane wave travelling along e1. This is a solution of the linear reference-field model for every declared A,κ; physical small-strain use requires small ∣Aκ∣. No finite-motion diffeomorphism is inferred: its candidate placement has determinant 1−Aκsin⁡(κx1−ωt), which need not be positive for these unrestricted algebraic data. Then:

  1. the linear strain is e11(t,x)=−Aκsin⁡(κx1−ωt) with all other entries zero, so tr⁡e=e11 and e0=e−13(tr⁡e)I3 has Frobenius squared norm 23e112;
  2. the stress matrix is σ(t,x)=(λ+2μs)e11(t,x) e1e1T+λe11(t,x) (e2e2T+e3e3T);
  3. 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 b≡0 holds exactly: ρ0∂t2ξ1=(λ+2μs)∂12ξ1;
  4. the strain-energy density, of dimension μℓ−1τ−2, is W(e)=(λ2+μs)e112=μs23e112+(λ2+μs3)e112≥0, with equality only where e11=0; both coefficients in the decomposition are positive under the branch's hypotheses, and the squared speed cL2=(λ+2μs)/ρ0 is positive with [cL]=ℓτ−1.

Facts & Assumptions

Given: the branch data (ρ0,λ,μs); the amplitude A≠0, wave number κ≠0 and the wave ξ.

[F1]

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): e=12(Dξ+DξT) and σ=λ(tr⁡e)I3+2μse, with μs>0 and λ+2μs3>0.

[F2]

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 b≡0, ρ0∂t2ξ=μsΔξ+(λ+μs)∇(div⁡ξ).

[F3]

Strain-energy decomposition and positivity (The isotropic elastic strain energy is μ∣e0∣F2+(λ/2+μ/3)(tr⁡e)2, hence positive definite under μ>0, λ+2μ/3>0, The small-strain isotropic linear elastic constitutive law and its strain energy): W(e)=λ2(tr⁡e)2+μstr⁡(e2)=μs∣e0∣F2+(λ2+μs3)(tr⁡e)2≥0, with equality only for e=0, under the stated positivity hypotheses.

[F4]

Calculcus of the wave (The derivatives of sine and cosine are cosine and minus sine, Euclidean spatial calculus: gradient, divergence and material derivative, Parity and the Pythagorean identity for sine and cosine): ∂1ξ1=−Aκsin⁡(κx1−ωt), ∂12ξ1=−Aκ2cos⁡(κx1−ωt), ∂t2ξ1=−Aω2cos⁡(κx1−ωt), and ω2=κ2cL2.

[F5]

Quantity dimensions (Continuum body data, the fixed inertial frame and the dimensions of the fields): [ξ]=ℓ, [e]=1, and the stress and strain-energy density have dimension μℓ−1τ−2.

Verification

technique · direct computation; differentiate the wave, form the strain and stress with the branch's formulae, and compare the two sides of the displacement equation
1.1givenF1F4

Strain: ξ depends on x only through x1 and only its first component is nonzero, so Dξ has the single nonzero entry ∂1ξ1=−Aκsin⁡(κx1−ωt); hence e11=∂1ξ1 and all other entries of e vanish, tr⁡e=e11, and e0=diag(23,−13,−13)e11 has ∣e0∣F2=23e112.

2.1step 1.1F1algebra

Stress: substituting e into σ=λ(tr⁡e)I3+2μse gives σ11=(λ+2μs)e11 and σ22=σ33=λe11, all off-diagonal entries zero, which is the displayed matrix.

3.1step 2.1F2F4algebra

Displacement equation: the right side of (E) of [F2] is μsΔξ+(λ+μs)∇(div⁡ξ); since Δξ=∂12ξ1e1 and ∇(div⁡ξ)=∂12ξ1e1, it equals (λ+2μs)∂12ξ1e1. The left side is ρ0∂t2ξ1e1 with ∂t2ξ1=−ω2Acos⁡(κx1−ωt) by [F4]; since ω2=κ2cL2=κ2(λ+2μs)/ρ0, one has ρ0∂t2ξ1=−ρ0Aω2cos⁡(κx1−ωt)=−(λ+2μs)Aκ2cos⁡(κx1−ωt)=(λ+2μs)∂12ξ1, so the equation holds exactly for every (t,x).

4.1step 1.1step 3.1F1F3F5algebra∎

Energy: by [F3] and step 1.1, W=μs∣e0∣F2+(λ2+μs3)(tr⁡e)2=(2μs3+λ2+μs3)e112=(λ2+μs)e112; the coefficients μs>0 and λ2+μs3=3λ+2μs6>0 are positive by [F1], so W≥0 with equality exactly where e11=0. By [F5], e is dimensionless and W has dimension μℓ−1τ−2, consistent with the constitutive formula. Finally cL2=(λ+2μs)/ρ0 is positive because λ+2μs=(λ+2μs3)+4μs3>0 and ρ0>0.

Remarks

Depends on

Dependency tree · 2 levels

Sources