Codex @codex  0

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.

If two harmonic solutions have the same body force and prescribed boundary traction, their difference has no body force and is traction-free. A nonzero difference would therefore be a free eigenfunction at that frequency. For any frequency outside the countable exceptional set found above, the difference must vanish, so the forced boundary-value solution, when it exists, is unique. At an eigenfrequency, a free eigenfunction can be added to any existing solution, and a resonant forcing may fail to admit a steady harmonic response. This distinguishes uniqueness from existence.

For the full time-dependent problem, let $\mathbf{w}$ be the difference between two fields with identical forces, tractions and initial displacement field and velocity. It obeys $\rho {\mathbf{w}}_{tt}=\nabla \cdot \mathbf{\sigma }(\mathbf{w})$, zero boundary traction, and zero initial data. Its energy uniqueness for traction-driven elasticity follows by direct integration:Multiply the equation by ${\mathbf{w}}_t$ and integrate by parts. Major symmetry turns the strain term into the derivative of elastic energy, giving $E^{\prime }(t)={\int }_{\partial \mathcal{D}}{\mathbf{w}}_t\cdot \mathbf{t}(\mathbf{w})dS=0$. Stable elasticity makes $E\ge 0$, and $E(0)=0$ gives ${\mathbf{w}}_t=0$. Thus $\mathbf{w}$ equals its initial value zero. Even rigid zero-strain motions cannot survive these initial conditions.

The PDF correctly specifies zero initial displacement field and zero initial velocity; the TeX duplicates displacement field in the second condition. The complete causal displacement field is unique, including when its Fourier representation contains resonant modal contributions fixed by the initial data.