Talk:Aubin–Lions lemma

"it is a compactness criterion that is very useful in the study of nonlinear evolutionary partial differential equations." Does anyone know how it is very useful? That information would make this article much more interesting. UVA Astronomer (talk) 11:45, 23 August 2009 (UTC)

Added brief explanation of how the lemma is used, gave the more general statement of the lemma due to Simon that does not require reflexivity, and added a reference to Boyer and Fabrie. Reader634 (talk) — Preceding undated comment added 21:03, 14 January 2015 (UTC)