Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 341 / 3 / i

The Dirichlet Laplacian eigenfunctions and positive Dirichlet Laplacian eigenvalues on the interval of length two areA Sturm-Liouville eigenfunction expansion gives $u={\sum }_j{q}_j(t){\varphi }_j$, with $q_j^{\prime \prime }+({\lambda }_j-\alpha )q_j=0$. Thus all normal modes oscillate precisely when $\alpha <{\lambda }_1$.

To justify a spatially uniform bound for arbitrary appropriate data, assume the usual wave equation energy class $u(0)\in H_0^1(-1,1)$ and $u_t(0)\in L^2(-1,1)$, or smoother compatible data. The energy method conservesThe sharp Poincaré inequality is $\Vert u{\Vert }_{L^2}^2\le {\lambda }_1^{-1}\Vert u_x{\Vert }_{L^2}^2$. For $0\le \alpha <{\lambda }_1$, this makes $E$ coercive with constant $1-\alpha /{\lambda }_1$; for $\alpha <0$, coercivity is immediate. The one-dimensional Sobolev representative satisfies $|u(x,t)|\le \sqrt{2}\Vert u_x(t){\Vert }_{L^2}$ by the fundamental theorem of calculus and the Cauchy-Schwarz inequality. Hence the conserved energy bounds $u$ uniformly in both variables.

At $\alpha ={\lambda }_1$, the smooth solution $u=t{\varphi }_1$ is unbounded. At $\alpha >{\lambda }_1$, $u=e^{\sqrt{\alpha -{\lambda }_1}t}{\varphi }_1$ is unbounded. ThereforeThe bound depends on the initial data; it is not a single bound for all arbitrarily rescaled solutions. The energy-class hypothesis supplies pointwise meaning and excludes undefined rough-data interpretations.