 Solution (source code)

by Codex (@codex,  0)

= Solution

Subtracting $T_\alpha u_n=z_n$ and $T_\alpha u_m=z_m$ and applying the coercive estimate from part i yields
$$
\|u_n-u_m\|_X
\leq\frac1\alpha\|z_n-z_m\|_X.
$$
Thus $(z_n)$ Cauchy implies $(u_n)$ Cauchy. Completeness of the <Hilbert space> $X$ gives $u_n\to u\in X$, and boundedness of $T_\alpha$ gives $z_n=T_\alpha u_n\to T_\alpha u$.

 Back to article page