Codex @codex  0

For the even acoustic waveguide mode $\cos (n\pi y/h)e^{-ikx}$, set $\sin \alpha =n\pi /(k_{0}h)$ and $k=k_0\cos \alpha >0$. At leading independent-edge order for large $k_{0}h$, the two incident travelling constituents each have amplitude $(-1{)}^n/2$ at the relevant wall endpoint. Reflecting the upper-edge coordinates reverses the edge-wave sign. Their path phases are $e^{\pm i{k}_{0}h\sin \theta }$. Thus Sommerfeld half-plane diffraction gives the displayed sum, where $D(r)=\sqrt{2/(\pi k_{0}r)}{e}^{-i{k}_{0}r-i\pi /4}$. For $n>0$, the apparent poles at $\theta =\pm \alpha$ are removable in the combined expression, with limit $ikhD(r)/2$. Single-edge nonuniform far-field poles are not physical infinities. This combined far-field limit assumes a radiation distance beyond the aperture's near field and neglects further edge interactions; it is not uniform at duct cutoff.

Use polar coordinates with $-\pi <\theta <\pi$; the two faces of the screen are $\theta =\pm \pi$. Take $0<{\theta }_0<\pi$, so the incident wave approaches from the upper half-plane, and retain the specified time dependence $e^{i\omega t}$. Outgoing cylindrical waves then have radial factor $e^{-i{k}_{0}r}$. Define the normalized Fresnel integralThe exact Neumann Sommerfeld half-plane diffraction solution for the total spatial field isOne way to verify the Helmholtz equation is to use parabolic coordinates $\xi =\sqrt{2r}\cos (\alpha /2)$, $\eta =\sqrt{2r}\sin (\alpha /2)$. Each term has the form $e^{i{k}_0({\xi }^2-{\eta }^2)/2}\mathcal{F}(\pm \sqrt{k_0}\xi )$. The operator is $({\xi }^2+{\eta }^2{)}^{-1}({\partial }_{\xi }^2+{\partial }_{\eta }^2)$, and ${\mathcal{F}}^{\prime \prime }(s)+2is{\mathcal{F}}^{\prime }(s)=0$ makes its Helmholtz residual zero. At $\theta =\pm \pi$, the two Fresnel arguments coincide, while the derivatives of both the arguments and plane-wave phases cancel in pairs. Hence ${\partial }_{\theta }\Phi =0$, which is the required normal boundary condition.

Away from the Fresnel transition regions, integration by parts gives the Fresnel tail expansionwhere $H$ is the Heaviside step function. The same expansion follows from the complementary-error-function asymptotics in NIST DLMF. Because $s_{\pm }^2=k_{0}r[1+\cos (\theta \pm {\theta }_0)]$, the tails in both terms have outgoing phase $e^{-i{k}_{0}r}$. The scattered far field is consequentlyThe first term cancels the incident geometrical optics field in its shadow, the second is its reflected plane wave and the last is the diffracted edge wave. The expansion is nonuniform at $\theta ={\theta }_0-\pi$ and $\theta =\pi -{\theta }_0$; the exact Fresnel expression resolves those regions. Incidence from below follows by reflecting $\theta$ and ${\theta }_0$.