Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 76 / 1 / b / Solution

PutIn free space, the parabolic wave equation is $E_x=i{E}_{zz}/(2k)$. Under the Fourier transform convention $\hat{E}(p)=\int E(z)e^{-ipz}dz$, it becomesThe Gaussian integral is legitimate because $\mathrm{Re}A=1/D^2>0$. Invert the transform after multiplying by $e^{-i{p}^{2}x/(2k)}$. A second Gaussian integral, or equivalently one-dimensional transverse Fresnel propagation, givesChoose the square-root branch continuously from $q(0{)}^{-1/2}=1$; for real $x\ge 0$ there is no zero of $q$. This gives the correct incident field at $x=0$, and direct differentiation verifies the free parabolic wave equation.

For clarity, the squared envelope magnitude isThe Gaussian beam with one transverse coordinate remains Gaussian, with one-transverse-coordinate amplitude factor $q^{-1/2}$, not the $q^{-1}$ of a beam with two transverse coordinates. The negative initial quadratic phase produces focusing for $F>0$; diffraction prevents a singularity at $x=F$. These expressions describe the paraxial approximation to free propagation, rather than an exact unrestricted Helmholtz equation beam.