Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 10 / 3

The sign convention makes this a defocusing semilinear wave equation:Its wave energy includes a nonnegative potential term:For a smooth function solution, finite propagation speed preserves compact support on finite time intervals. Differentiate under the integral and use integration by parts:Equivalently the local conservation law has density $e={\varphi }_t^2/2+|\nabla \varphi {|}^2/2+{\varphi }^4/4$ and flux $-{\varphi }_t\nabla \varphi$. All three terms are nonnegative, and $E=0$ forces both Cauchy data to vanish. Hence this is a positive conserved energy, rather than the indefinite energy associated with the opposite sign.

We use the homogeneous version of the Sobolev embedding theorem in three dimensions:Here homogeneous Sobolev space ${\dot{H}}^1$ is the completion of compactly supported smooth functions in the L2 norm of the gradient, identified with its $L^6$ representative. Apply this Sobolev inequality both to $\varphi$ and to its spatial derivatives.

LetThe Plancherel theorem identifies the L2 norm of the Hessian matrix with $\Vert \varphi {\Vert }_{{\dot{H}}^2}$, because ${\sum }_{i,j}{\xi }_i^2{\xi }_j^2=|\xi {|}^4$. In particular,Differentiating the defocusing semilinear wave equation gives $\square ({\partial }_i\varphi )=3{\varphi }^2{\partial }_i\varphi$. By the Holder inequality with exponents $3$ and $6$, the preceding Sobolev inequality, and conservation of the positive wave energy,Use the inhomogeneous wave energy estimate simultaneously for the three spatial derivatives. It givesThe Gronwall inequality therefore yields $B(t)\le D\exp (CEt)$. We may take the continuous, locally bounded functionThe constant is universal; the dependence on the initial data is only through $D$ and $E$. The H2 bound for the defocusing cubic wave equation holds on every existing smooth interval, without assuming the global conclusion. If $D=0$ or $E=0$, the zero solution satisfies the same estimate.

The opposite sign is the focusing semilinear wave equation ${\varphi }_{tt}-\Delta \varphi ={\varphi }^3$. Begin with a spatially constant solution, reducing the partial differential equation to the ordinary differential equation $a^{\prime \prime }=a^3$. Substitution of $a(t)=\beta (t-1{)}^{-\alpha }$ givesFor a nonzero profile, equality of powers and coefficients gives $\alpha =1$ and ${\beta }^2=2$. ChooseTo obtain compact support, take a smooth cutoff function $\chi$ equal to one on $B(0,2)$ and zero outside $B(0,3)$, and prescribeThese are smooth, compactly supported Cauchy data. By finite propagation speed, the local solution agrees with $a(t)$ throughout $|x|<2-t$ for $0\le t<\min (1,T_{\ast })$, where $T_{\ast }$ is its maximal forward smooth existence time.

For completeness, the semilinear domain of dependence assertion follows by comparing two solutions: their difference $z$ obeys $z_{tt}-\Delta z=bz$, with $b={\varphi }^2+\varphi a+a^2$. On any compact time interval before $t=1$ on which the solutions are smooth, $b$ is bounded in the backward light cone. Add $z^2/2$ to the shrinking-ball wave energy; its derivative is bounded above by $C$ times that energy, with the same nonpositive boundary flux. Zero initial difference and the Gronwall inequality give $z=0$ there.

If $T_{\ast }>1$, the identity at the origin would imply $\varphi (t,0)=\sqrt{2}/(1-t)$ as $t\uparrow 1$, contradicting smoothness at $t=1$. ThusIf the solution loses regularity earlier, that is already finite-time blowup. The usual smooth continuation criterion for semilinear wave equations precludes a finite maximal time with all continuation norms bounded. This localized ordinary differential equation blowup for a wave equation therefore supplies the required compactly supported examples.