Let $f_n \to f$ on compact subsets of the real line (these are functions defined on the real line) satisfying some conditions: $f$ has linear growth (but is nonlinear function) and is continuous and increasing and passes through the origin. The $f_n$ are smooth, satisfy the same linear growth condition, and $f_n'$ are bounded above and below positively.

> If $u_n \rightharpoonup u$ in $L^2(0,T;H^1) \cap L^p(0,T;L^p)$ and $f_n(u_n) \rightharpoonup w$ in $L^2(0,T;L^2)$, then $f_n(u_n) \to w$ in $L^2(s,T;H^{-1})$ for all $s > 0$.

I saw this on page 103 on [this paper](http://link.springer.com/article/10.1007/BF01049490#page-1). The author obtains uniform (in $m$) bounds on 
$|u_m|_{L^2(0,T;H^1)}$ and $|u_m|_{L^\infty(s,T;L^\infty)}$  for every $s$. 

And then the claims the highlighted text above. He cites "a result of Aubin (see Temam, 1984)" but I was unable to find such a statement. I posted this on [MSE](http://math.stackexchange.com/questions/814837/a-compactness-result-if-f-nu-n-rightharpoonup-w-in-l20-tl2-then-f) and was told what I had thought: that we need a bound on time derivative. But the author makes no reference to this and obtains no such bounds AFAIK.

**EDIT**: I think what the author does is rearrange $\frac{d}{dt}f_n(u_n) - \Delta u_n = g$ and uses the above bounds to obtain a bound on $\frac{d}{dt}f_n$ in the space $L^2(0,T;H^{-1})$. Then he applies the Lions-Aubin lemma with $L^2 \subset H^{-1} \subset H^{-1}$ to extract strong convergence in $H^{-1}$. Somebody agrees with this?