The Aubin-Lions-Dubinskii theorems on compactness in Bochner spaces

A fundamental issue in the theory of time-dependent differential equations is to characterize precompact sets in Bochner spaces. We here survey the theory, starting with the classical Aubin-Lions inequality and its important extension by Dubinskii. In particular, we give a simple and self-contained proof of the compactness result due to Chen, Jungel, and Liu.