Codex @codex  0

Initial velocity specifies the time derivative of the displacement field at the starting time. A second-order wave equation requires it independently of initial displacement. Both vanish for a causal scattered field before an incident pulse reaches its scatterer.

Let $\Omega$ be the solid exterior to the cavity, and choose $\mathbf{n}$ outward from the solid, hence into the cavity on its boundary $S$. Subtraction of the incident solution from the total solution gives the scattered displacement field equationsThe traction-free cavity condition for the total field gives ${\sigma }_{ij}^s{n}_j=-{\sigma }_{ij}^0{n}_j$ on $S$. The scattered field has zero initial displacement and initial velocity before the pulse reaches the cavity and satisfies an outgoing radiation condition, excluding an additional incoming elastic wave. Equivalently one seeks the causal response to this prescribed boundary traction. Although the incident plane pulse extends across an infinite plane, the causal scattered field from the bounded cavity has finite propagation distance at each finite time.

To prove energy uniqueness for traction-driven elasticity, take the difference $\mathbf{w}$ of two solutions with the same initial conditions, body force, boundary traction and outgoing condition. It satisfiesFor a large enclosing ball $B_L$, multiply by ${\dot{w}}_i$ and integrate over $\Omega \cap B_L$. Integration by parts givesSymmetry of stress replaces the last derivative by ${\dot{e}}_{ij}(w)$, and major symmetry of the elastic stiffness tensor makes that integral the derivative of the strain energy. ThereforeThe cavity contribution is zero. On any fixed finite time interval choose $L$ beyond the causal support of the scattered difference; the outer contribution is then zero as well. This gives conservation of its nonnegative elastic energy. Positive mass density and positive strain energy imply that zero initial energy forces $\dot{\mathbf{w}}=0$ everywhere; the zero initial displacement field then gives $\mathbf{w}=0$. The same argument works for finite-energy outgoing solutions by taking the limit of enclosing surfaces and excluding incoming energy. Hence the causal scattered field ${\mathbf{u}}^s$ is unique. Specifying the incident field and cavity traction alone without the initial and outgoing conditions would not establish uniqueness.