Aubin–Lions lemma is a result in the field of functional analysis, particularly in the study of the convergence of sequences of functions, and is often used in the context of nonlinear partial differential equations. The lemma provides conditions under which compactness can be guaranteed for a sequence of functions in certain function spaces. More specifically, it deals with the convergence properties of families of bounded sets in reflexive Banach spaces.
