Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 359 / 1 / c

The estimates from part b make $(u_m)$ bounded inand $({\partial }_t{u}_m)$ bounded in $L^2(0,T;V^{\prime })$. Since the periodic embedding $V⋐H$ is compact, the Aubin-Lions lemma supplies a subsequence such thatThe derivatives converge weakly in $L^2(0,T;V^{\prime })$ to ${\partial }_{t}u$.

Because $P_{N}H$ is fixed and finite dimensional, strong convergence in $H$ impliesCombining this with the uniform $L^{\infty }H$ and $L^{2}V$ bounds in the estimate from part a identifies the weak limitPassing to the limit in the Galerkin identity givesThe projected initial data converge to $u_0$ in $H$, so $u(0)=u_0$.

The weak continuity from evolution-space bounds givesSince $T$ was arbitrary, this is a global weak solution of the Navier-Stokes equation with spectrally truncated advection.

The evolution-space regularity permits pairing the equation with $u(t)$ and givesfor almost every $t$. Since $P_{N}u$ is divergence free, periodic integration by parts givesIntegration in time, using $u(0)=u_0$, yields the exact energy balancefor every $t\in [0,T]$. Unlike the usual three-dimensional Leray construction, the improved $L^2(0,T;V^{\prime })$ control of the truncated nonlinearity permits an equality rather than only an inequality.

The energy equality shows thatis continuous. Part i gives weak continuity in $H$. In a Hilbert space, weak convergence together with convergence of norms implies strong convergence. Applying this whenever $t_n\to t$ proves the strong continuity from weak continuity and an energy equality:

Let $u$ and $v$ be two weak solutions with the same initial value, and put $w=u-v$. Bilinearity givesPair with $w$. The first transport term vanishes because $P_{N}u$ is divergence free. Part a and the Young inequality giveThereforeThe coefficient is integrable because $v\in L^2(0,T;V)$. Since $w(0)=0$, the Gronwall inequality gives $w=0$ on $[0,T]$. The global weak solution is unique.