 Interface phase matching

At a stationary, uniform planar boundary, incident and transmitted plane waves have the same variation of wave phase along the interface and in time. The figure marks places where equal-wave phase wavefronts meet the boundary. Although their perpendicular spacing differs, their intersections must advance along the boundary together. This is the local mechanism behind Snell's law.^[ref]

For a short derivation, let $x$ run along the interface and $z$ increase into the transmitted medium. Write each wave phase as ${\Phi }_j=k_{j,x}x+k_{j,z}z-{\omega }_{j}t+{\varphi }_j$. The electromagnetic boundary conditions must hold at every $x,t$ on $z=0$; their matching requires ${\omega }_i={\omega }_t$ and $k_{i,x}=k_{t,x}$. Constant offsets ${\varphi }_j$ and wave amplitudes are determined separately. Since $k_{j,x}=k_j\sin {\theta }_j$, this givesFor nonzero tangential wavenumber, the spacing of equal-wave phase intersections along the interface is ${\lambda }_i/\sin {\theta }_i={\lambda }_t/\sin {\theta }_t$. It is not the perpendicular wavelength. At normal incidence, the tangential wavenumber vanishes and the interface is uniform in wave phase.^[ref]