Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 7 / 3 / f / Solution

If $f$ and $\tilde{f}$ are two weak solutions with the same initial value and the required local time bound, their difference $w$ satisfies $w=\tau w$. By linearity this implies $w={\tau }^{n}w$ for every $n$. On $[0,T]$ put $A_T={\sup }_{s\le T}\Vert w(s){\Vert }_1<\infty$. The factorial bound for a Volterra iterate now givesFor fixed $T$, the factor tends to zero; its successive-term ratio is $2T/(n+1)$. Therefore $w(t)=0$ as an $L^1$ element at every time on this interval. Since $T$ is arbitrary, the locally time-bounded $L^1$ weak solution is unique globally. This proof uses precisely the additional condition requested, rather than assuming arbitrary pointwise-in-time integrability alone supplies a finite uniform bound.