“…We have now to show that = S(∇𝑦), where (y, 𝜌) is the limiting pair, up to a subsequence, for the approximating sequence {(y k , 𝜌 k )}. This is obtained by an application of the monotonicity trick (see, e.g., Lions, 18 Sections 2-5.2]; see also Berselli and Bisconti 10 ). Testing (5.1) 1 -written in terms of (y, 𝜌)-against y in L 2 , we obtain the following energy inequality, for 0 ≤ t 0 < t, that is, We also have that…”