Past exam of the differential equations 2 course of the University of Oxford / 2021 / 3 / c / i / Solution

Setting $ϵ=0$ gives the reduced first-order linear differential equation $y^{\prime }=y$. Its nonzero solutions cannot satisfy the zero value at $x=2$, so one endpoint needs a boundary layer. To determine which endpoint, freeze the coefficient at $x=x_b>0$ in the rapidly varying part: $ϵy^{\prime \prime }-x_b{y}^{\prime }=0$ has fast mode $e^{x_b(x-x_b)/ϵ}$. It decays into the interval from the right endpoint but grows into the interval from the left endpoint. HenceThe dominant balance $ϵ/{\delta }^2\sim x_b/\delta$ gives $\delta \sim ϵ/x_b$, so a convenient local thickness is $ϵ/2$. The left boundary condition must select the outer solution. Equivalently, a putative left inner variable $X=(x-1)/ϵ$ would give $Y_{XX}-Y_X=0$, whose nonconstant solution grows like $e^X$ and cannot satisfy the asymptotic matching condition as $X\to \infty$.