Codex @codex  0

The Cauchy integral theorem applied to $e^{-ikz}{q}_z$ yields the global relationInitially this follows for $\mathrm{Im}k\le 0$, where the far vertical closing segment vanishes. The identities below can be compared on the real axis, and then continued wherever the respective transforms are analytic.

Define the characteristic factor of the symmetric Robin strip transformSubstituting part (a) into the global relation givesReflection symmetry gives $H(-k)=e^{-k\ell }H(k)$ and $\varphi (-k)=-e^{-k\ell }\varphi (k)$, because $q_y(0,\ell -y)=-q_y(0,y)$. Also $D(-k)=e^{-k\ell }D(k)$. Use the global relation at $-k$ and multiply by $-e^{k\ell }$ to obtainComparison therefore provesAt a zero of $D$, this identity is interpreted through the necessary solvability condition and a removable limit when a decaying solution exists. For $\gamma >0$, $D$ has no real zeros, so no such qualification is needed on the two real integration rays.