 Betti identity for elastodynamic fields

For two Fourier elastic wave fields with the same real elastic stiffness tensor, its major symmetry cancels the cross-strain terms in the divergence displayed above. The force-balance equations supply the remaining volume terms, and the divergence theorem gives their boundary integral of reciprocal tractions. Taking one field to be a complex conjugate gives energy-work identities and weighted modal orthogonality. The bilinear identity uses no complex conjugation until that field is chosen explicitly.