 Snell law for elastic and acoustic waves

Phase matching at a planar interface preserves frequency and tangential wavenumber. Thus waves of speeds $c_j$ and angles ${\theta }_j$ from the normal satisfy