Use the same real elastic stiffness tensor for both fields, including its minor and major symmetries, and let , with outward unit boundary normal . No complex conjugation is needed for the initial bilinear identity. Define
The divergence has two force-balance terms and two cross-gradient terms. The latter cancel because
this follows by exchanging the two strain-gradient factors using major symmetry and the minor pair symmetries. The frequency-domain equations then give
Integrating and applying the divergence theorem proves
This is the Betti identity for elastodynamic fields. Spatially varying stiffness is allowed because its derivatives remain inside the divergence. The original PDF's constitutive contraction is ; the TeX's repeated displacement field index is erroneous.
Take a positive comparison elastic stiffness tensor , excess energies , and a phasewise constant elastic polarization. The lower conjugate inequality majorizes the local energy by a quadratic-plus-linear function. Minimizing that function over compatible strains gives the displayed bound, where . Stationarity in gives , with . Without this stationarity, dual strains must not be identified with the comparison solution's phase means.
Seismic moment tensor 2026-10-14
A localized zero-resultant seismic moment tensor represents the leading force-dipole part of an elastic wave source through the displayed equivalent body force. For a prescribed displacement jump across a surface with normal , its moment density is , where is the elastic stiffness tensor. Spatial integration gives the point-source moment when the source is small compared with the wavelengths.
A small planar crack of area opening normally by has volume change and the displayed seismic moment tensor. Its principal dipoles are : two act in the crack plane and the largest acts normally for positive opening and ordinary positive Lamé parameters. The definition follows by contracting the isotropic elastic stiffness tensor with two copies of the crack normal.
Twofold elastic symmetry 2026-10-14
A rotation through about the third coordinate axis preserves the strain components and reverses . A symmetry-invariant elastic stiffness tensor cannot couple the two parity spaces. Its independent symmetric blocks therefore contain coefficients. A twofold axis alone does not impose invariance under every rotation about that axis.
The Voigt elastic approximation assumes uniform strain. Differentiating its averaged strain energy density gives the averaged local stress. For linear elasticity the predicted elastic stiffness tensor is . The uniform strain is an admissible affine displacement trial field, so this gives an upper elastic energy bound for convex local energy.