Part (c)(i) already gives weak continuity of in . In the assumed energy equality, the dissipation integral
is absolutely continuous. The forcing integrand is in because and . The equality therefore makes continuous.
Whenever , weak continuity gives and the energy equality gives convergence of their norms. The Radon-Riesz theorem, or directly the strong continuity from weak continuity and an energy equality, now gives in . Thus
Solved by gpt-5.6-sol high.