Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 336 / 2 / a / i

For the matched asymptotic expansion, first determine the outer expansion. Setting $\epsilon =0$ away from $x=0$ gives $y_0^{\prime }=y_0$, and the right boundary condition sets $y_0=e^x$. At first order,soThere is no outer $\sqrt{\epsilon }$ term: its homogeneous coefficient would be forced to zero by the right boundary condition. The logarithmic overlap forces a switchback term in the inner expansion.

Near zero, balance $\epsilon y^{\prime \prime }$ against $2x{y}^{\prime }$ to get the square-root boundary layer at a vanishing drift:For fixed $z$ expand $Y=Y_0+s{Y}_1+s^2{Y}_2+\cdots$, allowing logarithmic dependence on $s$ in $Y_2$. With ${\mathcal{L}}_0={\partial }_z^2+2z{\partial }_z$, the leading equation is ${\mathcal{L}}_0{Y}_0=0$. Its bounded solutions are a constant plus an error function. The left boundary condition and the overlap value one fixThe following two solution sections complete the half-order and first-order matching; their headings retain the scaffold's organization of the supplied hints.