We consider the two-dimensional time-harmonic elastic wave scattering problem for an unbounded
rough surface, due to an inhomogeneous source term whose support lies within a finite distance
above the surface. The rough surface is supposed to be the graph of a bounded and uniformly
Lipschitz continuous function, on which the elastic displacement vanishes. We propose an upward
propagating radiation condition (angular spectrum representation) for solutions of the Navier equation
in the upper half-space above the rough surface, and establish an equivalent variational formulation.
Existence and uniqueness of solutions at arbitrary frequency is proved by applying a priori estimates
for the Navier equation and perturbation arguments for semi-Fredholm operators.
