 Spectral construction of a parabolic solution

For a time-independent strictly positive Dirichlet realization of an elliptic operator and $\psi \in L^2(U)$, the eigenfunction expansionsolves $u_t+Lu=0$ with homogeneous Dirichlet boundary conditions. For $t\ge \epsilon >0$, every power ${\lambda }_m^N$ times the exponential is bounded, so the series and all its time derivatives converge in all the Sobolev domains of powers of an elliptic Dirichlet operator. Elliptic regularity and the Sobolev embedding theorem give smoothness up to the spatial boundary for positive time. Parseval identity and the dominated convergence theorem give $u(t)\to \psi$ in $L^2$ as $t\downarrow 0$.