 Solution

Differentiating the first auxiliary equation in $t$, the second in $x$, and equating ${\psi }_{xt}$ and ${\psi }_{tx}$ leaves preciselyso the Airy equation is their compatibility condition.

Multiplication of ${\psi }_x-ik\psi =q$ by $e^{-ikx}$ givesHenceFor $\mathrm{Im}k\ge 0$, the kernel $e^{ik(x-y)}$ is bounded when $y\le x$; dominated differentiation makes ${\psi }_{+}$ analytic for $\mathrm{Im}k>0$. Rapid decrease gives

For real $k$, multiply the time equation by $e^{-ikx}$ and let $x\to +\infty$. The rapidly decreasing terms on its right vanish, leavingThereforeand the Fourier inversion theorem gives