Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 326 / 2

For a Banach space $X$, weak convergence $u_k\rightharpoonup u$ meansFor its continuous dual space $X^{\ast }$, convergence in the weak-star topology meansWeak convergence on $X^{\ast }$ tests against all of $X^{\ast \ast }$, whereas weak-star convergence tests only against the canonical image of $X$. Thus weak convergence always implies weak-star convergence. If $X$ is a reflexive Banach space, that image is all of $X^{\ast \ast }$, so the weak and weak-star topologies on $X^{\ast }$ coincide. Weak-star topology is defined relative to a chosen predual; it is not an extra intrinsic topology on an arbitrary Banach space without such an identification.

The Radon-Riesz property of a norm is the implicationIn a Hilbert space, expand the square using its inner product:Weak convergence gives $⟨u_k,u⟩\to \Vert u{\Vert }^2$, and convergence of norms gives $\Vert u_k{\Vert }^2\to \Vert u{\Vert }^2$. Hence the right side tends to zero. This proves the Hilbert-space Radon-Riesz theorem.

The assumptions prove convergence to the set of J-minimizing solutions, and subsequential convergence to a member of that set. Convergence to a single fixed member requires uniqueness or a suitable selection rule.

Let $u^{†}$ be any J-minimizing solution, whose existence is granted. It is feasible for every noisy-data constraint because $A{u}^{†}=f$ and $\Vert f-f_{\delta }\Vert \le \delta$. Minimality therefore gives $J(u_{\delta })\le J(u^{†})$. All reconstructions lie in this strongly sequentially compact space sublevel set. For any sequence ${\delta }_k\downarrow 0$, pass to a subsequence with $u_{{\delta }_k}\to u_{\ast }$. Boundedness of $A$ and the triangle inequality implyso $A{u}_{\ast }=f$. By sequential lower semicontinuity,Thus $u_{\ast }$ is a J-minimizing solution. The same compactness argument shows the distance to a set of exact minimizers tends to zero: otherwise a subsequence at a fixed positive distance would converge to an exact minimizer, a contradiction. If that minimizer is unique, every convergent subsequence has the same limit, giving the asserted full strong convergence.

For a counterexample to full convergence under the printed hypotheses alone, take $\mathcal{U}=\mathcal{V}=\mathbb{R}$, $A=0$, $f=f_{\delta }=0$, and $J(u)=\max \{|u|-1,0\}$. This is nonnegative and continuous, with compact sublevel sets $[-1-C,1+C]$ for $C\ge 0$. Every point of $[-1,1]$ is both an exact and a residual-method minimizer. Choosing $u_{1/k}=(-1{)}^k$ gives a valid sequence of minimizers that does not converge. The reusable corrected statement is compact-sublevel convergence of the residual method.