Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge / 2013 / Paper 1 / 2 / ii

An even function satisfying the spatial equation has $X=C\cos (kx)$. The Dirichlet boundary conditions require $\cos (kL)=0$, so the allowed wavenumbers areThere is no nonzero zero-wavenumber mode. With $T=e^{-\alpha t/2}S$, the time equation becomes $S^{\prime \prime }+{\omega }_n^{2}S=0$, where ${\omega }_n^2=c^2{k}_n^2-{\alpha }^2/4$. Thus superposition of the even normal modes givesThis uses completeness of the even Fourier series modes. Imaginary ${\omega }_n$ describe overdamping. At critical damping, ${\omega }_n=0$, the two displayed exponentials coincide: the complete time factor must instead be $e^{-\alpha t/2}(C_n+D_{n}t)$. This repeated-root exception is necessary for a genuinely general solution.