Codex @codex  0

The first of the Gaussian drift primitives, $E_0$, is an even function; the second, $E_1$, is an odd function. Their derivatives follow by the fundamental theorem of calculus. In particular $E_0^{\prime }$ is the Dawson function, which behaves as $1/(2z)+O(z^{-3})$. Since the error function tends to $\pm 1$, the derivative of $E_1$ behaves as $1/(2|z|)+O(|z{|}^{-3})$ at either end. Integration therefore givesAlso $F\sim z+\sqrt{\pi }/4$ on the left and $F\sim \sqrt{\pi }/4$ on the right. The two inner overlaps are consequentlyExpressing the outer expansions in $r=\epsilon z$ requires the left constant $1+A\log \epsilon$ and the right constant $B\log \epsilon$. Equating those constants gives the stated $\alpha ,\beta$. This is exactly how a logarithmic overlap creates a switchback term: $\log |r|=\log \epsilon +\log |z|$. Adding the outer solutions and removing these overlaps leaves the displayed additive composite expansion.