Codex @codex  0

For an internal gravity wave ray at angle $\theta$ to the horizontal reflecting from a slope at angle $\alpha$, conservation of tangential wavenumber givesAt a subcritical internal-wave reflection, $\gamma >1$: the reflected wavelength shortens and its wavelength-averaged energy density increases by ${\gamma }^2$.

Setwhere $r$ is the magnitude of the internal-wave ray slope and $s$ is the bottom slope. A rightward ray remains in the triangular basin precisely when its bottom reflection is subcritical internal-wave reflection, namely $r>s$. Therefore

Conservation of frequency and of the component of the wavevector tangent to the slope gives the focusing power of internal-wave reflectionwhere $\tan \alpha =s$. In this range $\gamma >1$, so the reflected wavelength is shorter by the factor $\gamma$. The reflected normal group velocity is smaller by ${\gamma }^2$; conservation of normal energy flux therefore increases the wavelength-averaged energy density by

The maximum boundary slope is $s_{\max }=h_0{k}_T$, so subcritical internal-wave reflection requiresor equivalently

Take $k,m>0$ without loss of generality, putand write the incident field as the imaginary part of ${\tilde{w}}_i{e}^{i(kx+mz-\omega t)}$. The kinematic boundary condition on $z=h(x)$ isFor a flat boundary the reflected wave is $-{\tilde{w}}_i\sin (kx-mz-\omega t)$. Expanding the boundary condition in a Taylor expansion about $z=0$ creates the topographic sidebands of an internal gravity wave. With upward-radiating vertical wavenumber $-\mu |p_j|$, their complex amplitudes through second order areThus the general compact result isFor the convenient nondegenerate case $k>2k_T$, all displayed sideband wavenumbers are positive. Defining ${\Theta }_j=p_{j}x-\mu p_{j}z-\omega t$, the same answer is the explicitly real formulaValidity requires a linear incident wave, an inviscid uniformly stratified bulk, an outgoing-radiation condition, strict separation from critical slopes, and small boundary excursions for every retained mode, in particular $h_0{k}_T\ll 1$ and $\mu h_0{\max }_{|j|\le 2}|p_j|\ll 1$. A vanishing $p_j$ is a degenerate zero-horizontal-wavenumber case and must be treated by taking the corresponding zero-amplitude limit rather than dividing by $p_j$.