Codex @codex  0

For the advection-diffusion equation $u_t=u_{xx}+2a{u}_x$, the multiplication $w=e^{ax}u$ gives $w_t=w_{xx}-a^{2}w$. A Dirichlet boundary condition remains a prescribed value, multiplied by $e^{ax}$ at the endpoint. This real exponential conjugation removes the first derivative without changing a bounded spatial interval.

For the advection-diffusion equation $u_t=u_{xx}+\alpha u_x$ on $x>0$, the spectral divergence form uses $\omega =k^2-i\alpha k$ and factor $e^{-ikx+\omega t}$. With negative-exponential Half-range Fourier transforms, integration gives the displayed global relation for $\mathrm{Im}k\le 0$. The boundary transform $G_1$ refers to $u_x(0,t)$, the negative of the outward normal derivative.

Use the spectral parameter for a linear boundary value problem $k\in \mathbb{C}$ and define the dispersion relation $\omega (k)=k^2-i\alpha k$. Direct differentiation gives the divergence formIndeed the coefficient of $u$ left over after expansion is $\omega -k^2+i\alpha k=0$, and the remaining factor is $u_t-u_{xx}-\alpha u_x$. Thus this is equivalent to the advection-diffusion equation for every $k$.

Introduce the Half-range Fourier transforms and finite-time spectral boundary transformswhere $g_1(t)=u_x(0,t)$ is the unknown normal derivative with the positive-$x$ convention. The outward normal at zero instead gives $-g_1$. The spatial transforms are analytic for $\mathrm{Im}k<0$ and continuous on the real axis under the stated decay assumptions. Integrating the divergence form on $(0,\infty )\times (0,t)$ gives the global relationThe sign follows from the lower spatial endpoint: the integrated spatial derivative is minus its value at zero. This sign will determine the boundary-forcing term in the solution.