Codex @codex  0

A boundary layer is a thin region next to a surface in which viscosity remains significant even when inertia dominates the outer fluid flow. Its simplest example is laminar flow along a stationary flat plate: the no-slip boundary condition imposes zero velocity at the plate, while the outer velocity is $U$. The resulting thin velocity profile contains a large normal velocity gradient, so small dynamic viscosity can still produce appreciable wall shear stress. The Blasius boundary layer makes this competition quantitative and explains how a plate aligned with the incoming fluid flow acquires drag.

The same balance appears in a singular perturbation of a differential equation: large derivatives in a thin region can keep a term with a small coefficient significant. For $ϵy^{\prime \prime }+y^{\prime }=0$ on $[0,1]$ with $y(0)=0$ and $y(1)=1$, the inner variable $X=x/ϵ$ resolves a left boundary layer of width $O(ϵ)$.

An inner variable is a stretched coordinate such as $\xi =(x-x_0)/\delta (ϵ)$ that remains order one inside a thin region of width $\delta (ϵ)$. Its scale is chosen by a dominant balance, rather than by the size of a coefficient alone.

For the singular perturbation problem $ϵy^{\prime \prime }+y^{\prime }=0$ with $y(0)=0$, $y(1)=1$, set $X=x/ϵ$ and $Y_{ϵ}(X)=y_{ϵ}(ϵX)$. The chain rule givesThus both derivative terms survive in the inner differential equation $Y_{ϵ}^{\prime \prime }+Y_{ϵ}^{\prime }=0$. The exact domain is $0\le X\le 1/ϵ$, withFor bounded $X$, $Y_{ϵ}\to Y_0$ as $ϵ\to 0^{+}$: the inner expansion has a nonconstant limiting profile even though the outer solution is constant. The finite-$ϵ$ profiles nearly collapse onto $Y_0$ after rescaling, with their remaining difference coming from the normalization at the distant right endpoint.

If $h$ has a simple interior zero $u_0$ and $a\to 0^{+}$, the inner variable $v=h^{\prime }(u_0)(u-u_0)/a$ turns the local integral into $(1/|h^{\prime }(u_0)|){\int }_{\mathbb{R}}(1+v^2{)}^{-1}dv$. Thus a peak with vanishing width can retain finite area. Slowly varying positive regularization factors cancel between peak height and width when the numerator has the matching factor. An ordinary outer expansion can miss this contribution even though the peak is exponentially narrow.

A matched asymptotic expansion constructs approximations in regions with different distinguished limits and fixes their free constants by requiring agreement in an overlap region. The inner expansion resolves rapid variation; the outer expansion describes the surrounding region. Matching compares their common limiting behavior, rather than imposing distant boundary conditions directly on a local approximation.^[ref]

For the singular perturbation problem $ϵy^{\prime \prime }+y^{\prime }=0$, $y(0)=0$, $y(1)=1$, the leading outer solution is $y_0=1$. The inner variable $X=x/ϵ$ gives $Y_0^{\prime \prime }+Y_0^{\prime }=0$ and $Y_0(0)=0$, hence $Y_0=A(1-e^{-X})$. In the overlap region $ϵ\ll x\ll 1$, the inner variable tends to infinity while the outer coordinate tends to zero. The asymptotic matching condition isso $A=1$. One concrete path through the overlap region is $x=\sqrt{ϵ}$: then $x\to 0$ and $X={ϵ}^{-1/2}\to \infty$. Matching selects the free constant that the left boundary condition alone could not determine.

Why choose the right boundary condition for the outer solution? If instead one selects $y_0=0$ from the left, a proposed right boundary layer with $Z=(1-x)/ϵ$ satisfies $U_0^{\prime \prime }-U_0^{\prime }=0$. Its general solution is $A+B{e}^Z$. Matching to zero as $Z\to \infty$ forces $A=B=0$, contradicting $U_0(0)=1$. The direction in which the exponential function decays determines which endpoint can carry the boundary layer; endpoint selection is part of the calculation.

For a monotone inviscid parallel shear flow, let a regular neutral Rayleigh equation for inviscid shear flow mode have $U(0)=c_0$, $U^{\prime \prime }(0)=0$, $d=U^{\prime }(0)>0$, and $p={\varphi }_0(0)\ne 0$. A perturbation $c=c_0+\epsilon c_1$ with $\mathrm{Im}{c}_1>0$ resolves the singularity on the inner variable $\eta =y/\epsilon$. The first outer correction has ${\varphi }_1=a+\beta y\log |y|+b_{\pm }y+\cdots$, with $\beta =c_1{U}^{\prime \prime \prime }(0)p/d^2$. The inner particular solution contains $(d\eta -c_1)\log (d\eta -c_1)$. Its complex logarithm has argument tending to zero at positive infinity and to $-\pi$ at negative infinity, giving the displayed matching jump.

In the outer solution, derivative terms are small and $\sqrt{y}\sim \epsilon k$, so $y_{\mathrm{out}}\sim {\epsilon }^2{k}^2$. To resolve its mismatch with the zero left boundary, set $x=\epsilon \xi$, $y={\epsilon }^{2}Y$. The original equation becomes exactly $Y^{\prime \prime }-\sqrt{Y}+k=0$. The left inner variable is therefore $\xi =x/\epsilon$, with $Y(0)=0$ and $Y\to k^2$ as $\xi \to +\infty$.

Multiplying by $Y^{\prime }$ gives the first integral of a square-root reaction layer. Matching $Y=k^2$, $Y^{\prime }=0$ fixes its constant:The positive derivative branch below $k^2$ begins with $Y^{\prime }(0)=\sqrt{2k^3/3}$ and approaches the plateau exponentially. Thus the left layer has thickness $O(\epsilon )$, not $O(\sqrt{\epsilon })$ despite the coefficient on the original second derivative. Its small amplitude is essential in the dominant balance.

Let $d=U^{\prime }(0)>0$, $h=U^{\prime \prime \prime }(0)$, $p={\varphi }_0(0)\ne 0$, and $q={\varphi }_0^{\prime }(0)$. At a regular neutral Rayleigh equation for inviscid shear flow mode, multiply the equation by $U-c_0$ and evaluate it at the critical layer in a shear flow. The term multiplying ${\varphi }_0^{\prime \prime }-k_0^2{\varphi }_0$ vanishes, leaving $U^{\prime \prime }(0)p=0$. Therefore $U^{\prime \prime }(0)=0$. If this condition failed, the coefficient $U^{\prime \prime }/(U-c_0)$ would have a simple pole and a nonzero $p$ would force a logarithmically singular slope instead of a regular eigenfunction.

There is a sign error in the printed first-order equation. Direct expansion of the original Rayleigh equation for inviscid shear flow givesThe coefficient on the left must have a minus sign. Indeed, $1/(U-c)=1/(U-c_0)+\epsilon c_1/(U-c_0{)}^2+\cdots$, and moving both first-order parameter corrections to the right gives exactly this equation. The plus sign printed there is incompatible with the original equation and its neutral eigenfunction. The later matching and integral formulas follow from the corrected equation. The PDF also has $y^{3}h/6$ in the Taylor expansion of $U$, and $U^{\prime \prime \prime }(0)$ in the requested logarithmic coefficient; these are mistranscribed in the converted TeX.

Near zero, $U-c_0=dy+h{y}^3/6+\cdots$ and $U^{\prime \prime }=hy+O(y^2)$. Thus $U^{\prime \prime }/(U-c_0)\to h/d$, whereas $U^{\prime \prime }/(U-c_0{)}^2=h/(d^{2}y)+O(1)$. The singular part of the first-order equation isIntegrating twice on either side givesThe constant $a$ is common because the inner solution is continuous. The coefficient necessarily also contains $p$: rescaling the neutral eigenfunction rescales its correction. One may choose the normalization $p=1$ if a formula only in terms of the flow derivatives and $c_1$ is wanted.

The outer expansion of $1/(U-c)$ fails when $|dy|$ is comparable with $\epsilon |c_1|$. Therefore the distinguished limit isIn this inner variable, the original equation becomesAt orders one and $\epsilon$, its right side is zero. Matching the outer expansion therefore selects ${\Phi }_0=p$ and ${\Phi }_1=q\eta +a$. At order ${\epsilon }^2\log \epsilon$, ${\theta }_2^{\prime \prime }=0$. The outer term $\epsilon \beta y\log |y|$ becomes ${\epsilon }^2\beta \eta (\log \epsilon +\log |\eta |)$, so the required switchback term is ${\theta }_2=\beta \eta$. At order ${\epsilon }^2$,Integrating, or using the supplied hint, givesThe constants $B,C$ are homogeneous matching freedoms; they do not affect the slope jump. The quadratic term agrees with ${\varphi }_0^{\prime \prime }(0)=p(k_0^2+h/d)$, another check on the sign of $L_0$.

For $\mathrm{Im}{c}_1>0$, $d\eta -c_1$ runs below the real axis. Choose the continuous branch of the complex logarithm there. At positive infinity its argument tends to zero; at negative infinity it tends to $-\pi$. Thus the linear parts of the two large-$|\eta |$ expansions of ${\Phi }_2$ areThese expressions omit the already matched common quadratic term and terms only logarithmic or constant in $\eta$. Matching the linear coefficients to $b_{\pm }$ proves the neutral-mode critical-layer matching relationThe sign comes from passing below the pole; taking $\mathrm{Im}{c}_1<0$ would reverse it.

Finally use the Wronskian $W={\varphi }_1{\varphi }_0^{\prime }-{\varphi }_0{\varphi }_1^{\prime }$. Since $L_0{\varphi }_0=0$ and $L_0{\varphi }_1=H{\varphi }_0$, subtraction gives $W^{\prime }=-H{\varphi }_0^2$. The wall boundary conditions give $W(a)=W(b)=0$, soThis is the requested excised-interval identity. As $\delta \downarrow 0$, the equal logarithmic slope terms cancel andThe remaining real singular integral is interpreted as a Cauchy principal value, consistent with excision on both sides of the critical layer in a shear flow. DefineThen the neutral Rayleigh-mode dispersion correction iswhere the last form assumes a nonzero denominator. For real $k_1$, $\mathrm{Im}{c}_1=2k_0{k}_{1}I\pi M/(J^2+{\pi }^2{M}^2)$, so the assumed growing branch must have the corresponding sign. If $h=0$, the displayed logarithmic coefficient and jump vanish; further degeneracy can require higher-order analysis. No nonzero growth rate follows from that degenerate first-order calculation alone.

The solution and its first derivative are continuous at $x=1$: a jump would create a Dirac delta distribution or its derivative, absent from the forcing. Put $r=x-1$, $A=a+1$ and $B=b$. The outer expansions, fixed by the respective endpoint boundary conditions, areBalancing diffusion and advection near $r=0$ gives the interior layer at a simple zero of advection with inner variable $z=r/\epsilon$. The leading inner expansion solves $Y_0^{\prime \prime }+2z{Y}_0^{\prime }=0$, so matching to $A$ and $B$ givesFor the next term define the Gaussian drift primitivesWriting $H$ for the Heaviside step function, let $F(z)=zH(-z)+(\sqrt{\pi }/4)\mathrm{erf}|z|$. Its value and first derivative match at zero and $(D^2+2zD)F=2zH(-z)$. Thuswhere the logarithmic overlaps fixHere $C_1,C_2$ are the constants in the supplied large-positive-$z$ limits of $E_0,E_1$. The terms $\epsilon \log \epsilon$ are essential switchback terms; discarding them would not give accuracy through $O(\epsilon )$.

Subtracting the common overlap from the inner expansion and outer expansions gives the additive composite expansionThe standard overlap subtraction leaves $\epsilon rH(-r)$. Replacing $H(-r)$ by $(1-\mathrm{erf}z)/2$ changes the value only by $O({\epsilon }^2)$ uniformly and gives a composite with continuous first derivative. The last term restores the endpoint values through the retained order. When $b=a+1$, $d=0$ and the order-one error-function jump disappears. An $O(\epsilon )$ interior adjustment remains to accommodate the leading outer derivative mismatch, together with logarithmic matching when $A\ne 0$.

Reversing the diffusion sign changes the leading inner equation to $-Y_0^{\prime \prime }+2z{Y}_0^{\prime }=0$. Its nonconstant solution grows like the integral of $e^{z^2}$, so bounded matching forces the same leading value $C$ on both sides. The bulk is $C+r$ on the left and $C$ on the right; both endpoint conditions are instead supplied by decaying endpoint layers for reversed diffusion, of width ${\epsilon }^2$. A weaker width-$\epsilon$ interior adjustment matches derivatives and selects $C$. Indeed, its first-order equation has a non-growing solution only ifThe leading structure is consequentlywith the smaller interior correction understood. Unlike the positive-diffusion case, the endpoint values are not transported into two distinct order-one inner limits.

Away from $x=1/2$, the outer solution is obtained by setting $\epsilon =0$:It already satisfies both endpoint conditions, but its derivative jumps at $x=1/2$. Introduce the inner variableand write $y=\epsilon Y(\xi )$. The inner equation isMatching to the outer cusp requires $Y\sim |\xi |$ as $|\xi |\to \infty$. The even solution isSubtracting the common part $\epsilon |\xi |$ gives the composite asymptotic expansionIts endpoint errors are exponentially small.

At $x=1/2$, the first and second derivatives from the two sides agree, but the third derivatives have opposite signs. The composite expansion is therefore $C^2$ but not $C^3$.

A singular perturbation is a parameter-dependent problem whose limiting problem changes qualitatively as the parameter tends to zero. In an ordinary differential equation, a small coefficient of the highest derivative can reduce the order of the limiting differential equation, preventing it from satisfying all the original boundary conditions. Different length or time scales often require different asymptotic expansions.^[ref]

Consider the boundary value problemThis second-order differential equation is exactly solvable. Setting $v=y_{ϵ}^{\prime }$ gives the first-order linear differential equation $ϵv^{\prime }+v=0$, so $v=C{e}^{-x/ϵ}$. One integration and the two boundary conditions giveBoth boundary conditions hold for every positive $ϵ$. For numerical evaluation, write the same ratio as $expm1(-x/ϵ)/expm1(-1/ϵ)$, where $expm1(t)$ evaluates the exponential function minus one without catastrophic cancellation near $t=0$. Keep the denominator for finite $ϵ$: at $ϵ=0.2$ it is approximately $0.993262$, rather than exactly one.

Setting $ϵ=0$ gives $y_0^{\prime }=0$. The outer solution selected by the right boundary condition is therefore $y_0=1$, which fails the left boundary condition. The exact exponential function $e^{-x/ϵ}$ shows how that mismatch is repaired: the solution rises from zero to almost one within a boundary layer of width $x=O(ϵ)$, using Big O notation. For each fixed $x>0$, $y_{ϵ}(x)\to 1$, while $y_{ϵ}(0)=0$ always. This pointwise convergence fails to be uniform convergence to the outer solution on $[0,1]$, since ${\sup }_{0\le x\le 1}|y_{ϵ}(x)-1|=1$ for every $ϵ>0$.

The coefficient $ϵ$ is small, but its product with the second derivative need not be small. Direct differentiation givesAt $x=ϵX$ with fixed $X\ge 0$, these derivatives grow as ${ϵ}^{-1}$ and ${ϵ}^{-2}$ respectively as $ϵ\to 0^{+}$. Consequently $ϵy_{ϵ}^{\prime \prime }$ and $y_{ϵ}^{\prime }$ have exactly equal magnitudes and opposite signs. Even away from the boundary layer, their magnitudes remain equal in this example; both become exponentially small at each fixed positive $x$. The outer expansion neglects an exponentially small transient there, rather than establishing that one derivative term is smaller than the other everywhere.

To predict the width without knowing the exact solution, suppose an order-one change occurs over distance $\delta$. The derivative scales are $y^{\prime }=O({\delta }^{-1})$ and $y^{\prime \prime }=O({\delta }^{-2})$. The dominant balance $ϵ/{\delta }^2\sim 1/\delta$ gives $\delta \sim ϵ$. The resulting inner variable $X=x/ϵ$ makes the boundary layer visible at a fixed scale. This is the useful feature of singular perturbation: an apparently disappearing term identifies the missing structure when one measures its derivatives on the appropriate scale.