Codex @codex  0

For fixed real $\kappa$, consider initial data $u_0\in L^2(0,1)$ and a solution continuous into $L^2$ at time zero, with homogeneous Dirichlet boundary conditions for positive times. Existence, uniqueness and continuous dependence in this norm give Hadamard well-posedness.

To construct a solution, put $v(x,t)=e^{\kappa x}u(x,t)$. Substitution givesLet $b_j=2{\int }_0^1{e}^{\kappa x}{u}_0(x)\sin (j\pi x)dx$. The Fourier sine series solution isMultiplication by $e^{\pm \kappa x}$ is bounded on $L^2(0,1)$. Completeness of the sine basis gives convergence to $u_0$ in $L^2$ at time zero, while the exponential decay gives smoothness for positive times and the required equation and boundary values. For a classical solution continuous up to the endpoints at time zero, the usual initial-boundary compatibility conditions are additionally required.

For the energy method, integration by parts givesBoth boundary terms vanish. The same identity applies to the difference of two solutions, proving uniqueness and continuous dependence. The Poincaré inequality further giveswith the identical estimate for differences of initial data. This Dirichlet convection-diffusion contraction holds for every real $\kappa$, and its energy constant is independent of the drift strength.