Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 335 / 1 / i / Solution

DefineIf $A$ and $B$ commute, the Helmholtz equation operator factorizes asWhen $n$ varies with $x$, the exact product also contains the commutator $[A,B]$; neglecting it assumes longitudinal changes are slow. The forward-propagating factor isbecause it admits $e^{i{k}_{0}x}$ in a uniform medium.

Put $\psi =E{e}^{i{k}_{0}x}$. The one-way equation becomesForthe Taylor expansion $(1+Q{)}^{1/2}=1+Q/2+O(Q^2)$ givesThus the parabolic wave equation is

The expansion is accurate under the paraxial approximation: transverse wavenumbers satisfy $|k_z|/k_0\ll 1$, the envelope varies slowly on the carrier scale, the refractive-index contrast is weak enough for $Q^2$ to be negligible, and $n$ varies slowly in $x$ so $[A,B]$ is small. The one-way factor discards backward propagation and reflection; the square-root expansion additionally discards large-angle and higher-order diffraction, and it does not accurately represent strongly evanescent components or abrupt longitudinal interfaces.