Some variants of the classical Aubin-Lions lemma (Q263033)

The compactness of a bounded sequence \(u_n\) in \(L^2(I\times\Omega)\) with an interval \(I\) and a domain \(\Omega\) in the Euclidean space is shown under boundedness assumptions (in a distributional and measure sense) on the sequence of partial derivatives \(\partial_tu_n\) and \(\nabla_x(\Phi(u_n))\) where \(\Phi'\) might have some zeroes. A similar though more technical result is given when \(I\times\Omega\) is replaced by a non-cylindrical domain and when only divergence-free test functions are used. The proof rests on a result about a certain weak convergence of the pointwise product of weakly convergent sequences. The proof of the latter result resembles the compensated compactness techniques.