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

Compatible Cauchy data for a wave map are ${\varphi }_0:{\mathbb{R}}^n\to S^2$ and ${\varphi }_1(x)\in T_{{\varphi }_0(x)}{S}^2$: thus $|{\varphi }_0|=1$ and ${\varphi }_0\cdot {\varphi }_1=0$. Smooth localized wave map Cauchy data equal a constant $p\in S^2$ with zero velocity outside a compact set. It is ${\varphi }_0-p$, rather than the sphere-valued map itself, that has compact support. The geometric constraints propagate under the wave map equation.

Smooth compatible wave map Cauchy data give a unique local smooth wave map. Relative to a constant map, Sobolev spaces $H^s\times H^{s-1}$ with $s>n/2+1$ provide a classical local theory. Iteration for the semilinear wave equation, Sobolev algebra and energy estimates give existence, uniqueness and continuous dependence. The smooth continuation criterion for semilinear wave equations extends the solution while these norms stay bounded. The sphere constraint and tangency constraint remain satisfied.

Harmonic maps give nonconstant stationary wave maps. For $n=2$, inverse stereographic projection givesIt satisfies $|Q|=1$ and $\Delta Q=-|\nabla Q{|}^{2}Q$, so $\varphi (t,x)=Q(x)$ is a smooth global wave map. Its wave map energy is $4\pi$, since $|\nabla Q{|}^2=8/(1+|x{|}^2{)}^2$. Translations and rescalings give further examples; these harmonic maps approach a constant at infinity.

The wave map scaling symmetry is ${\varphi }_{\lambda }(t,x)=\varphi (t/\lambda ,x/\lambda )$. Its conserved wave map energy isThus energy is subcritical for $n=1$, critical for $n=2$, and supercritical for $n\ge 3$. The scaling-critical homogeneous Sobolev spaces for perturbations of a constant map are ${\dot{H}}^{n/2}\times {\dot{H}}^{n/2-1}$. These relations constitute wave map energy and criticality.

Global regularity for one-dimensional wave maps holds for arbitrary smooth localized compatible data. In retarded and advanced null coordinates $u=t-x$, $v=t+x$, the wave map equation says $D_v{\varphi }_u=D_u{\varphi }_v=0$, with $D$ the target covariant derivative. Hence $|{\varphi }_u{|}^2$ depends only on $u$, and $|{\varphi }_v{|}^2$ only on $v$. Initial derivative bounds persist. Compactness of the sphere and differentiated energy estimates then prevent finite-time loss of smoothness.

Small data global regularity for wave maps holds in four spatial dimensions. Smallness is measured in sufficiently high weighted Sobolev norms relative to a constant map, with localized compatible Cauchy data. The vector field method for wave equations gives derivative decay $(1+t{)}^{-3/2}$. This is time-integrable, so commuted wave energy estimates close a small-data bootstrap argument for the derivative-quadratic semilinear wave equation. Higher regularity persists. No smallness of energy alone is asserted.

Small data global regularity for wave maps also holds in three spatial dimensions. For localized compatible data small in high weighted Sobolev norms, the key is the classical null condition for wave equations. Each derivative contraction is a null form for wave equations, vanishing for parallel null derivatives. The vector field method for wave equations exploits derivatives tangent to the light cone and weighted energy estimates to close the bootstrap argument; ordinary $(1+t{)}^{-1}$ decay alone is insufficient.